En cálculo , la integración simbólica es el problema de encontrar una fórmula para la antiderivada , o integral indefinida , de una función dada f ( x ), es decir, encontrar una fórmula para una función diferenciable F ( x ) tal que
Esto también se denota
El término simbólico se utiliza para distinguir este problema del de integración numérica , donde el valor de F se busca en una entrada o conjunto de entradas particular, en lugar de una fórmula general para F.
Ambos problemas se consideraban de importancia práctica y teórica mucho antes de la época de las computadoras digitales, pero ahora generalmente se consideran dominio de la informática , ya que actualmente las computadoras se utilizan con mayor frecuencia para abordar casos individuales.
Encontrar la derivada de una expresión es un proceso sencillo para el cual es fácil construir un algoritmo . La cuestión inversa de encontrar la integral es mucho más difícil. Muchas expresiones que son relativamente simples no tienen integrales que puedan expresarse en forma cerrada . Consulte integral antiderivada e integral no elemental para obtener más detalles.
Existe un procedimiento llamado algoritmo de Risch que es capaz de determinar si la integral de una función elemental (función construida a partir de un número finito de exponenciales , logaritmos , constantes y raíces enésimas mediante composición y combinaciones utilizando las cuatro operaciones elementales ) es elemental y devolviéndolo si lo es. En su forma original, el algoritmo de Risch no era adecuado para una implementación directa y su implementación completa llevó mucho tiempo. Se implementó por primera vez en Reduce en el caso de funciones puramente trascendentales ; el caso de funciones puramente algebraicas fue resuelto e implementado en Reducir por James H. Davenport ; El caso general fue resuelto por Manuel Bronstein, quien implementó casi todo en Axiom , aunque hasta la fecha no existe ninguna implementación del algoritmo de Risch que pueda manejar todos los casos especiales y ramas del mismo. [1] [2]
Sin embargo, el algoritmo de Risch se aplica sólo a integrales indefinidas , mientras que la mayoría de las integrales de interés para físicos, químicos teóricos e ingenieros son integrales definidas , a menudo relacionadas con las transformadas de Laplace , las transformadas de Fourier y las transformadas de Mellin . A falta de un algoritmo general, los desarrolladores de sistemas de álgebra informática han implementado heurísticas basadas en la coincidencia de patrones y la explotación de funciones especiales, en particular la función gamma incompleta . [3] Aunque este enfoque es más heurístico que algorítmico, no deja de ser un método eficaz para resolver muchas integrales definidas que se encuentran en las aplicaciones prácticas de ingeniería. Los sistemas anteriores, como Macsyma, tenían algunas integrales definidas relacionadas con funciones especiales dentro de una tabla de consulta. Sin embargo, este método particular, que implica diferenciación de funciones especiales con respecto a sus parámetros, transformación de variables, coincidencia de patrones y otras manipulaciones, fue iniciado por los desarrolladores del sistema Maple [4] y luego emulado por Mathematica , Axiom , MuPAD y otros sistemas.
El principal problema en el enfoque clásico de la integración simbólica es que, si una función se representa en forma cerrada , entonces, en general, su antiderivada no tiene una representación similar. En otras palabras, la clase de funciones que se pueden representar en forma cerrada no lo es bajo antiderivación.
Las funciones holonómicas son una gran clase de funciones, que están cerradas bajo antiderivación y permiten la implementación algorítmica en computadoras de integración y muchas otras operaciones de cálculo.
Más precisamente, una función holonómica es una solución de una ecuación diferencial lineal homogénea con coeficientes polinomiales. Las funciones holonómicas están cerradas bajo suma y multiplicación, derivación y antiderivación. Incluyen funciones algebraicas , función exponencial , logaritmo , seno , coseno , funciones trigonométricas inversas , funciones hiperbólicas inversas . Incluyen también las funciones especiales más comunes, como la función de Airy , la función de error , las funciones de Bessel y todas las funciones hipergeométricas .
Una propiedad fundamental de las funciones holonómicas es que los coeficientes de su serie de Taylor en cualquier punto satisfacen una relación de recurrencia lineal con coeficientes polinomiales, y que esta relación de recurrencia puede calcularse a partir de la ecuación diferencial que define la función. A la inversa, dada tal relación de recurrencia entre los coeficientes de una serie de potencias , esta serie de potencias define una función holonómica cuya ecuación diferencial puede calcularse algorítmicamente. Esta relación de recurrencia permite un cálculo rápido de la serie de Taylor y, por tanto, del valor de la función en cualquier punto, con un pequeño error certificado arbitrario.
Esto hace que la mayoría de las operaciones del cálculo sean algorítmicas , cuando se restringen a funciones holonómicas, representadas por su ecuación diferencial y condiciones iniciales. Esto incluye el cálculo de antiderivadas e integrales definidas (esto equivale a evaluar la antiderivada en los puntos finales del intervalo de integración). Esto incluye también el cálculo del comportamiento asintótico de la función en el infinito y, por tanto, las integrales definidas en intervalos ilimitados.
Todas estas operaciones están implementadas en la biblioteca algolib para Maple . [5] Véase también el Diccionario dinámico de funciones matemáticas. [6]
Por ejemplo:
es un resultado simbólico para una integral indefinida (aquí C es una constante de integración ),
es un resultado simbólico para una integral definida, y
es un resultado numérico para la misma integral definida.
![{\displaystyle \int _{-1}^{1}x^{2}\,dx=\left[{\frac {x^{3}}{3}}\right]_{-1}^{ 1}={\frac {1^{3}}{3}}-{\frac {(-1)^{3}}{3}}={\frac {2}{3}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d149c23a7665391ebb6b7f36d0d974624c81570)
