Derivative of the Jacobi polynomials with respect to their order and applications to indefinite integration

Resumen Técnico: Derivada de los Polinomios de Jacobi con Respecto al Orden y Aplicaciones a la Integración Indefinida

Planteamiento del Problema
Las funciones especiales, particularmente aquellas que dependen de parámetros numéricos, son fundamentales en el modelado de procesos físicos y matemáticos. Mientras que las derivadas de las funciones especiales con respecto a sus argumentos son estándar, las derivadas con respecto a sus parámetros (derivadas de parámetros) suelen ser más difíciles de determinar. Aunque las derivadas de los polinomios de Jacobi con respecto a los parámetros $a$ y $b$ son conocidas por producir formas polinómicas, la derivada de los polinomios de Jacobi con respecto a su orden (tradicionalmente un entero discreto $n$) no se ha formulado explícitamente en una forma cerrada. Este artículo aborda la brecha en la determinación de la primera derivada de los polinomios de Jacobi con respecto a su orden, tratando el orden como una variable real continua.

Metodología
El autor emplea un enfoque analítico de tres pasos:

1. Extensión del Dominio: El orden discreto $n$ del polinomio de Jacobi $P_n^{(a,b)}(x)$ se extiende a una variable real continua $\mu$ mediante la expresión del polinomio a través de la función hipergeométrica gaussiana $_2F_1$. Esto se basa en la relación:
   $$P_\mu^{(a,b)}(x) = \frac{\Gamma(a+\mu+1)}{\Gamma(\mu+1)\Gamma(a+1)} {}_2F_1\left(-\mu, a+b+\mu+1, a+1, \frac{1-x}{2}\right)$$
   Esta extensión permite la diferenciación con respecto a $\mu$ en el eje real positivo.
2. Diferenciación y Expansión de Series: La derivada $\frac{\partial}{\partial \mu} P_\mu^{(a,b)}(x)$ se calcula utilizando la regla del producto. La derivada de la función hipergeométrica se evalúa diferenciando su representación en serie término a término. Esto introduce la función digamma $\psi$.
3. Evaluación en Valores Enteros: La expresión resultante se evalúa en valores enteros no negativos $\mu = n$. El autor maneja cuidadosamente los límites de las diferencias de la función digamma cuando $\mu \to n$, dividiendo las series infinitas en sumas finitas (para $k \le n$) y colas infinitas (para $k > n$). Se aplican identidades específicas para los límites de las diferencias de la digamma para resolver las singularidades y simplificar la serie.

Contribuciones Clave y Resultados
La contribución principal es la derivación de una expresión explícita en forma cerrada para la derivada de los polinomios de Jacobi con respecto a su orden, denotada como $\left[ \frac{\partial}{\partial \mu} P_\mu^{(a,b)}(x) \right]_{\mu=n}$.

• Forma General: La derivada resultante es generalmente no elemental, conteniendo una función hipergeométrica generalizada $_3F_2$. La fórmula combina términos que involucran al polinomio de Jacobi original, sumas finitas de funciones racionales que involucran términos de digamma, y el término $_3F_2$.
• Casos Especiales Elementales: El artículo demuestra que, para configuraciones de parámetros específicas, el término no elemental $_3F_2$ se reduce a funciones elementales. Se proporcionan tres casos específicos para $n=0$:
  • Para $a = -b-3$, el resultado es un polinomio más constantes de digamma.
  • Para $a = b = 1$, el resultado involucra términos logarítmicos.
  • Para $a = b = -1/2$, el resultado involucra términos trigonométricos inversos (específicamente $\arcsin$).
• Aplicación a la Integración Indefinida: La derivada de orden derivada se aplica a un método recientemente desarrollado para resolver integrales indefinidas utilizando Wronskianos. Al identificar la ecuación diferencial de Jacobi con una forma específica resoluble por el método del Wronskiano, el autor deriva una representación en forma cerrada para la integral indefinida:
  $$\int (1-t)^a (1+t)^b \left[ P_n^{(a,b)}(t) \right]^2 dt$$
  Esta clase de integral, que anteriormente carecía de una solución en forma cerrada reportada en la literatura, se resuelve evaluando el Wronskiano de la función $u(x, \mu)$ y su derivada con respecto a $\mu$. Se trabaja un ejemplo explícito para $a=b=1$ y $n=2$, confirmando la validez del método.

Significancia y Alcance
El artículo reclama significancia en dos áreas principales:

1. Completitud Matemática: Proporciona la primera expresión explícita en forma cerrada de la derivada de los polinomios de Jacobi con respecto a su orden, una cantidad distinta de las derivadas de parámetros conocidas con respecto a $a$ y $b$.
2. Utilidad Práctica: Demuestra que esta derivada no es meramente un constructo teórico, sino un componente necesario para resolver una clase específica de integrales indefinidas que involucran polinomios de Jacobi al cuadrado.

El autor señala que el resultado puede extenderse a otros sistemas polinómicos que son casos especiales de los polinomios de Jacobi, incluyendo los polinomios de Gegenbauer, Legendre y Chebyshev (tanto de primera como de segunda clase). El artículo concluye reconociendo que la representación hipergeométrica utilizada tiene restricciones (por ejemplo, $a$ no puede ser un entero negativo) y sugiere que existen representaciones alternativas para esos rangos de parámetros específicos. El trabajo se presenta como una nota que establece la derivada y su aplicación inmediata a la integración, sin proponer más extensiones experimentales o computacionales más allá del marco matemático proporcionado.