Los problemas de la integración se obtiene en el Cálculo 2 integrands especialmente diseñadas para admitir lo suficientemente simples de forma cerrada antiderivatives. En el platónico mundo de las matemáticas, integrands son más propensos a tener horrendo aspecto antiderivatives que luzca limpio, y mucho más probable aún no tiene ningún primaria de forma cerrada. Tenemos que ser selectivos acerca de la definición de funciones especiales: el zoológico es demasiado grande para el nombre de todos los no-funciones elementales, así que tenemos que escoger los que (una) girar a la mayoría, (b) son los más interesantes, y (c) tener la mayor utilidad.
En mi experiencia, la mayoría de las funciones especiales en el contexto de las ecuaciones diferenciales, teoría de números y combinatoria (con análisis complejo como un dado). La mayoría de la clase general de función especial de la que soy consciente de que es en realidad una familia de ellos, multivariable funciones hipergeométricas, que se define a través de series infinitas expansiones con proporciones de aumento de los factoriales como coeficientes.
El hypergeometrics son ampliamente aplicables porque aparentemente casi cualquier función primaria y muchos no-funciones elementales y sus madres y los perros pueden ser expresadas como uno. Para un ejemplo más sencillo de cómo una sola función especial puede "cubrir extra territorio" que en un principio cabría conjeturar, considere la función W de Lambert. Es la inversa de a $xe^x$. Por lo $W(xe^x)=x$, ignorando las cosas técnicas como cortes de ramas en el plano complejo. Inicialmente, el único tipo de ecuación parece ser útil para el es $xe^x=a~\Rightarrow~ x=W(a)$. Sorprendentemente, algunos muy simples manipulaciones permitir cosas como $e^x+x=a$ a resolver (restar $x$ desde ambos lados, se multiplican ambos lados por $e^{a-x}$, ????, de lucro). Queremos que nuestras funciones especiales para la más amplia aplicabilidad, todo lo demás igual.
Muchas funciones elementales (las expresiones obtenidas a través de la escuela primaria operaciones aplicadas a las composiciones de exponenciales, logaritmos, trigonemtric y funciones trigonométricas inversas - si trabajamos con variables complejas, los dos últimos son casos especiales de los dos primeros) que nos encontramos no tiene una escuela primaria antiderivada. Y hemos visto que queremos que haya algo de estrategia en el cual de estos podemos escoger para definir como funciones especiales. No es sólo que aún no hemos encontrado antiderivatives y la sospecha de que no hay ninguna, podemos demostrar que no hay ninguna.
Algunos ejemplos son los $e^{e^x}$$e^{-x^2}$. Creo $\sin\sin x$ es otro ejemplo, pero no puedo encontrar una fuente y yo no estoy familiarizado con la maquinaria necesaria para determinar si es. Una heurística o de la regla de oro es que componer exponenciales o funciones trigonométricas está caminando sobre una cuerda floja a la hora de tener primaria antiderivatives. Tal vez la razón de $\int \sin\sin xdx$ no tiene nombre es que no es algo que realmente en la práctica. Sin embargo, resulta que hay algunos casos de funciones trigonométricas compuestas con funciones trigonométricas se producen "en la naturaleza". Las funciones especiales que se necesitan para esta situación son las funciones de Bessel (que aparecen en otra respuesta aquí).
Hay históricamente alguna otra imposibilidad de los problemas que se han activado. Los antiguos podría bisecar un ángulo, pero no podía trisect uno. A la vuelta de la $18$th siglo, podríamos resolver cúbicas y cuárticas, pero no podía resolver un general quintic. El de Abel-Ruffini teorema demostrado la imposibilidad de resolver genérico de quinto grado o superior polinomios mediante radicales. Galois desarrolló su teoría de la simetría de las ecuaciones que explican por qué esto era cierto. Resulta que la imposibilidad de trisecting ángulos es un corolario de la teoría de Galois. Muy oportunamente, el tema actual en la que se aborda la imposibilidad de la integración de algunas funciones elementales es un fruto llamado diferencial de la teoría de Galois. Hay varios teoremas y algoritmos de importancia aquí; ver este hilo.
(Con lo suficientemente general funciones hipergeométricas uno puede exactamente resolver polinomios arbitrarios.)
La verdadera pregunta aquí es, entonces, ¿por qué es tan fácil diferenciar y tan difícil de integrar? Hay varias reglas para diferenciar las cosas como productos y composiciones. El más cercano reglas producto de las integrales es por partes , el más cercano a la regla de la cadena para las integrales es la sustitución. ¿Por qué la asimetría?
Esta misma pregunta fue planteada aquí. Mi favorito, la respuesta es que las operaciones locales son más fáciles de operaciones globales (diferenciación es local y la integración global).