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

Resumo Técnico: Derivada de Polinômios de Jacobi em Relação à Ordem e Aplicações à Integração Indefinida

Enunciado do Problema
Funções especiais, particularmente aquelas que dependem de parâmetros numéricos, são fundamentais na modelagem de processos físicos e matemáticos. Embora as derivadas de funções especiais em relação aos seus argumentos sejam padrão, as derivadas em relação aos seus parâmetros (derivadas de parâmetros) costumam ser mais difíceis de determinar. Embora as derivadas de parâmetros de polinômios de Jacobi em relação aos parâmetros $a$ e $b$ sejam conhecidas por produzirem formas polinomiais, a derivada de polinômios de Jacobi em relação à sua ordem (tradicionalmente um inteiro discreto $n$) não foi explicitamente formulada em forma fechada. Este artigo aborda a lacuna na determinação da primeira derivada de polinômios de Jacobi em relação à sua ordem, tratando a ordem como uma variável real contínua.

Metodologia
O autor emprega uma abordagem analítica de três etapas:

1. Extensão do Domínio: A ordem discreta $n$ do polinômio de Jacobi $P_n^{(a,b)}(x)$ é estendida para uma variável real contínua $\mu$ através da expressão do polinômio via função hipergeométrica Gaussiana $_2F_1$. Esta extensão baseia-se na relação:
   $$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 extensão permite a diferenciação em relação a $\mu$ no eixo real positivo.
2. Diferenciação e Expansão em Série: A derivada $\frac{\partial}{\partial \mu} P_\mu^{(a,b)}(x)$ é computada utilizando a regra do produto. A derivada da função hipergeométrica é avaliada diferenciando sua representação em série termo a termo. Isso introduz a função digama $\psi$.
3. Avaliação em Valores Inteiros: A expressão resultante é avaliada em valores inteiros não negativos $\mu = n$. O autor lida cuidadosamente com os limites das diferenças da função digama conforme $\mu \to n$, dividindo as séries infinitas em somas finitas (para $k \le n$) e caudas infinitas (para $k > n$). Identidades específicas para os limites das diferenças de digama são aplicadas para resolver singularidades e simplificar as séries.

Principais Contribuições e Resultados
A principal contribuição é a derivação de uma expressão explícita em forma fechada para a derivada de polinômios de Jacobi em relação à sua ordem, denotada como $\left[ \frac{\partial}{\partial \mu} P_\mu^{(a,b)}(x) \right]_{\mu=n}$.

• Forma Geral: A derivada resultante é geralmente não elementar, contendo uma função hipergeométrica generalizada $_3F_2$. A fórmula combina termos envolvendo o próprio polinômio de Jacobi, somas finitas de funções racionais envolvendo termos de digama e o termo $_3F_2$.
• Casos Especiais Elementares: O artigo demonstra que, para configurações específicas de parâmetros, o termo não elementar $_3F_2$ reduz-se a funções elementares. Três casos específicos para $n=0$ são fornecidos:
  • Para $a = -b-3$, o resultado é um polinômio mais constantes de digama.
  • Para $a = b = 1$, o resultado envolve termos logarítmicos.
  • Para $a = b = -1/2$, o resultado envolve termos trigonométricos inversos (especificamente $\arcsin$).
• Aplicação à Integração Indefinida: A derivada de ordem derivada é aplicada a um método recentemente desenvolvido para resolver integrais indefinidas usando Wronskianos. Ao identificar a equação diferencial de Jacobi com uma forma específica solucionável pelo método do Wronskiano, o autor deriva uma representação em forma fechada para a integral indefinida:
  $$\int (1-t)^a (1+t)^b \left[ P_n^{(a,b)}(t) \right]^2 dt$$
  Esta classe de integral, que anteriormente carecia de uma solução em forma fechada relatada na literatura, é resolvida avaliando o Wronskiano da função $u(x, \mu)$ e sua derivada em relação a $\mu$. Um exemplo explícito para $a=b=1$ e $n=2$ é trabalhado, confirmando a validade do método.

Significância e Escopo
O artigo reivindica significância em duas áreas principais:

1. Completude Matemática: Fornece a primeira expressão explícita em forma fechada para a derivada de polinômios de Jacobi em relação à sua ordem, uma quantidade distinta das derivadas de parâmetros conhecidas em relação a $a$ e $b$.
2. Utilidade Prática: Demonstra que esta derivada não é meramente um constructo teórico, mas um componente necessário para resolver uma classe específica de integrais indefinidas envolvendo polinômios de Jacobi ao quadrado.

O autor observa que o resultado pode ser estendido para outros sistemas polinomiais que são casos especiais dos polinômios de Jacobi, incluindo os polinômios de Gegenbauer, Legendre e Chebyshev (de ambos os primeiros e segundos tipos). O artigo conclui reconhecendo que a representação hipergeométrica utilizada possui restrições (por exemplo, $a$ não pode ser um inteiro negativo) e sugere que representações alternativas existem para esses intervalos de parâmetros específicos. O trabalho é apresentado como uma nota estabelecendo a derivada e sua aplicação imediata à integração, sem propor extensões experimentais ou computacionais além do arcabouço matemático fornecido.