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

Sintesi Tecnica: Derivata dei Polinomi di Jacobi rispetto all'Ordine e Applicazioni all'Integrazione Indefinita

Enunciato del Problema
Le funzioni speciali, in particolare quelle che dipendono da parametri numerici, sono fondamentali nella modellazione di processi fisici e matematici. Mentre le derivate delle funzioni speciali rispetto ai loro argomenti sono standard, le derivate rispetto ai loro parametri (derivate parametriche) sono spesso più difficili da determinare. Sebbene le derivate parametriche dei polinomi di Jacobi rispetto ai parametri $a$ e $b$ siano note per produrre forme polinomiali, la derivata dei polinomi di Jacobi rispetto al loro ordine (tradizionalmente un intero discreto $n$) non è stata esplicitamente formulata in forma chiusa. Questo articolo affronta il vuoto nella determinazione della prima derivata dei polinomi di Jacobi rispetto all'ordine, trattando l'ordine come una variabile reale continua.

Metodologia
L'autore impiega un approccio analitico in tre fasi:

1. Estensione del Dominio: L'ordine discreto $n$ del polinomio di Jacobi $P_n^{(a,b)}(x)$ viene esteso a una variabile reale continua $\mu$ esprimendo il polinomio tramite la funzione ipergeometrica gaussiana $_2F_1$. Ciò si basa sulla relazione:
   $$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)$$
   Questa estensione permette la differenziazione rispetto a $\mu$ sull'asse reale positivo.
2. Differenziazione ed Espansione in Serie: La derivata $\frac{\partial}{\partial \mu} P_\mu^{(a,b)}(x)$ viene calcolata utilizzando la regola del prodotto. La derivata della funzione ipergeometrica viene valutata differenziando la sua rappresentazione in serie termine per termine. Ciò introduce la funzione digamma $\psi$.
3. Valutazione ai Valori Interi: La derivata risultante viene valutata in valori interi non negativi $\mu = n$. L'autore gestisce con cura i limiti delle differenze della funzione digamma quando $\mu \to n$, scomponendo le serie infinite in somme finite (per $k \le n$) e code infinite (per $k > n$). Vengono applicate specifiche identità per i limiti delle differenze di digamma per risolvere le singolarità e semplificare la serie.

Contributi Principali e Risultati
Il contributo primario è la derivazione di un'espressione esplicita in forma chiusa per la derivata dei polinomi di Jacobi rispetto al loro ordine, denotata come $\left[ \frac{\partial}{\partial \mu} P_\mu^{(a,b)}(x) \right]_{\mu=n}$.

• Forma Generale: La derivata risultante è generalmente non elementare, contenente una funzione ipergeometrica generalizzata $_3F_2$. La formula combina termini che coinvolgono il polinomio di Jacobi originale, somme finite di funzioni razionali che coinvolgono termini digamma e il termine $_3F_2$.
• Casi Speciali Elementari: Il documento dimostra che, per specifiche impostazioni dei parametri, il termine non elementare $_3F_2$ si riduce a funzioni elementari. Sono forniti tre casi specifici per $n=0$:
  • Per $a = -b-3$, il risultato è un polinomio più costanti digamma.
  • Per $a = b = 1$, il risultato coinvolge termini logaritmici.
  • Per $a = b = -1/2$, il risultato coinvolge termini trigonometrici inversi (specificamente $\arcsin$).
• Applicazione all'Integrazione Indefinita: La derivata dell'ordine derivata viene applicata a un metodo recentemente sviluppato per risolvere integrali indefiniti utilizzando i Wronskiani. Identificando l'equazione differenziale di Jacobi con una forma specifica risolvibile con il metodo del Wronskiano, l'autore deriva una rappresentazione in forma chiusa per l'integrale indefinito:
  $$\int (1-t)^a (1+t)^b \left[ P_n^{(a,b)}(t) \right]^2 dt$$
  Questa classe di integrali, che precedentemente mancava di una soluzione in forma chiusa riportata in letteratura, viene risolta valutando il Wronskiano della funzione $u(x, \mu)$ e della sua derivata rispetto a $\mu$. Un esempio esplicito per $a=b=1$ e $n=2$ viene elaborato, confermando la validità del metodo.

Significatività e Ambito
L'articolo rivendica importanza in due aree principali:

1. Completezza Matematica: Fornisce la prima espressione esplicita in forma chiusa per la derivata dei polinomi di Jacobi rispetto al loro ordine, una quantità distinta dalle note derivate parametriche rispetto a $a$ e $b$.
2. Utilità Pratica: Dimostra che questa derivata non è meramente una costruzione teorica ma un componente necessario per risolvere una specifica classe di integrali indefiniti che coinvolgono i quadrati dei polinomi di Jacobi.

L'autore osserva che il risultato può essere esteso ad altri sistemi polinomiali che sono casi speciali dei polinomi di Jacobi, inclusi i polinomi di Gegenbauer, Legendre e Chebyshev (sia della prima che della seconda specie). Il documento conclude riconoscendo che la rappresentazione ipergeometrica utilizzata ha dei vincoli (ad esempio, $a$ non può essere un intero negativo) e suggerisce che esistono rappresentazioni alternative per quegli specifici intervalli di parametri. Il lavoro è presentato come una nota che stabilisce la derivata e la sua immediata applicazione all'integrazione, senza proporre ulteriori estensioni sperimentali o computazionali oltre al quadro matematico fornito.