Equazione di Papperitz-Riemann

In matematica, l'equazione di Papperitz-Riemann o equazione di Papperitz è un'equazione differenziale del secondo ordine che rappresenta la più generale equazione totalmente fuchsiana con tre punti fuchsiani (o regolari). Molte delle equazioni che s'incontrano nella fisica matematica sono equazioni di questo tipo, o sono riconducibili a un'equazione ipergeometrica confluente, e gran parte delle funzioni speciali sono soluzioni di queste equazioni.

Le equazioni con uno o due punti fuchsiani sono completamente risolvibili in termini di funzioni elementari e rivestono scarso interesse. D'altra parte, le funzioni con quattro punti fuchsiani s'incontrano di rado e non si conosce una teoria generale per la loro risoluzione. Le funzioni di Papperitz-Riemann sono invece state studiate estremamente a fondo, e le loro soluzioni costituiscono la vasta classe delle funzioni ipergeometriche. La forma confluente, studiata altrettanto a fondo, dà poi origine alla classe delle funzioni ipergeometriche confluenti.

L'equazione di Papperitz-Riemann ha la forma:

$\frac{d^{2}w}{d{z}^2}+[\frac{1-\alpha -{\alpha }^{\prime }}{z-a}+\frac{1-\beta -{\beta }^{\prime }}{z-b}+\frac{1-\gamma -{\gamma }^{\prime }}{z-c}]\frac{dw}{dz}$

$+[\frac{\alpha {\alpha }^{\prime }(a-b)(a-c)}{z-a}+\frac{\beta {\beta }^{\prime }(b-c)(b-a)}{z-b}+\frac{\gamma {\gamma }^{\prime }(c-a)(c-b)}{z-c}]\frac{w}{(z-a)(z-b)(z-c)}=0$

dove $a$, $b$ e $c$ sono singolarità regolari, e:

$\alpha +{\alpha }^{\prime }+\beta +{\beta }^{\prime }+\gamma +{\gamma }^{\prime }=1$

con $\alpha$ e ${\alpha }^{\prime }$ gli esponenti caratteristici delle soluzioni in corrispondenza di $z=a$, dove si presentano due rami:

$w_1(z)=(z-a{)}^{\alpha }{\varphi }_1(z)w_2(z)=(z-a{)}^{{\alpha }^{\prime }}{\varphi }_2(z)$

con ${\varphi }_{1,2}(z)$ una funzione olomorfa in $z=a$. Analogamente si verifica per $z=b$ e $z=c$.

Per dire che $w$ è soluzione dell'equazione di Papperitz-Riemann è d'uso introdurre il simbolo P di Riemann scrivendo:

$w(z)=P\left\{\begin{array}{cccc}a& b& c& \\ \alpha & \beta & \gamma & z\\ {\alpha }^{\prime }& {\beta }^{\prime }& {\gamma }^{\prime }& \end{array}\right\}$

Con tale formalismo, la funzione ipergeometrica assume la forma:

${}_2{F}_1(a,b;c;z)=P\left\{\begin{array}{cccc}0& \mathrm{\infty }& 1& \\ 0& a& 0& z\\ 1-c& b& c-a-b& \end{array}\right\}$

L'equazione

Considerando la più generale equazione differenziale del secondo ordine con esattamente tre punti regolari, siano ${\xi }_1$, ${\xi }_2$ e ${\xi }_3$ i tre punti fuchsiani e siano $({\alpha }_1,{\beta }_1)$, $({\alpha }_2,{\beta }_2)$ e $({\alpha }_3,{\beta }_3)$ i rispettivi esponenti delle soluzioni (determinati dalle radici dell'equazione indiciale relativa). Scrivendo l'equazione in forma standard:

$\frac{d^{2}u}{d{z}^2}+p(z)\frac{du}{dz}+q(z)u=0$

i coefficienti $p(z)$ e $q(z)$ hanno la forma:

$p(z)=\frac{P(z)}{(z-{\xi }_1)(z-{\xi }_2)(z-{\xi }_3)}$

$q(z)=\frac{Q(z)}{(z-{\xi }_1{)}^2(z-{\xi }_2{)}^2(z-{\xi }_3{)}^2}$

con $P(z)$ e $Q(z)$ funzioni intere. È da notare che, poiché il punto all'infinito deve per ipotesi essere ordinario, $P(z)$ e $Q(z)$ sono necessariamente polinomi di secondo grado che si possono scrivere nella forma:

$P(z)=A_1(z-{\xi }_2)(z-{\xi }_3)+A_2(z-{\xi }_3)(z-{\xi }_1)+A_3(z-{\xi }_1)(z-{\xi }_2)$

$Q(z)=B_1(z-{\xi }_2)(z-{\xi }_3)+B_2(z-{\xi }_3)(z-{\xi }_1)+B_3(z-{\xi }_1)(z-{\xi }_2)$

con la condizione che $A_1+A_2+A_3=2$. La forma dei coefficienti diventa:

$p(z)=\frac{A_1}{z-{\xi }_1}+\frac{A_2}{z-{\xi }_2}+\frac{A_3}{z-{\xi }_3}$

$q(z)=\frac{1}{(z-{\xi }_1)(z-{\xi }_2)(z-{\xi }_3)}\{\frac{B_1}{(z-{\xi }_1)}+\frac{B_2}{(z-{\xi }_2)}+\frac{B_3}{(z-{\xi }_3)}\}$

e si può quindi scrivere l'equazione relativa al punto ${\xi }_i$, con $i=1,2,3$, e si possono ricavare gli esponenti della soluzione $({\alpha }_i,{\beta }_i)$. Si ha:

$\{\begin{array}{c}{A}_i=1-{\alpha }_i-{\beta }_i\\ B_i={\alpha }_i{\beta }_i({\xi }_i-{\xi }_k)({\xi }_i-{\xi }_l)\end{array}i,k,l=1,2,3i\ne k\ne l$

Inoltre, la condizione $A_1+A_2+A_3=2$ impone una restrizione sulla scelta dei possibili esponenti, fissa cioè:

$\sum _{i=1}^3({\alpha }_i+{\beta }_i)=1$

L'equazione in forma standard assume la forma:

$\frac{d^{2}u}{d{z}^2}+\left\{\sum _{i=1}^3\frac{1-{\alpha }_i-{\beta }_i}{(z-{\xi }_i)}\right\}\frac{du}{dz}-\frac{({\xi }_1-{\xi }_2)({\xi }_2-{\xi }_3)({\xi }_3-{\xi }_1)}{(z-{\xi }_1)(z-{\xi }_2)(z-{\xi }_3)}\{\frac{{\alpha }_1{\beta }_1}{(z-{\xi }_1)({\xi }_2-{\xi }_3)}+\frac{{\alpha }_2{\beta }_2}{(z-{\xi }_2)({\xi }_3-{\xi }_1)}+\frac{{\alpha }_3{\beta }_3}{(z-{\xi }_3)({\xi }_1-{\xi }_2)}\}u=0$

che è la forma dell'equazione di Papperitz-Riemann.

Soluzioni

Le soluzioni possono essere scritte attraverso la funzione ipergeometrica:

$u(z)={\left(\frac{z-{\xi }_1}{z-{\xi }_2}\right)}^{\alpha }{\left(\frac{z-{\xi }_3}{z-{\xi }_2}\right)}^{\gamma }{}_2{F}_1(\alpha +\beta +\gamma ,\alpha +{\beta }^{\prime }+\gamma ;1+\alpha -{\alpha }^{\prime };\frac{(z-{\xi }_1)({\xi }_3-{\xi }_2)}{(z-{\xi }_2)({\xi }_3-{\xi }_1)})$

dal momento che vale la relazione generale:

$P\left\{\begin{array}{cccc}{\xi }_1& {\xi }_2& {\xi }_3& \\ \alpha & \beta & \gamma & z\\ {\alpha }^{\prime }& {\beta }^{\prime }& {\gamma }^{\prime }& \end{array}\right\}={\left(\frac{z-{\xi }_1}{z-{\xi }_2}\right)}^{\alpha }{\left(\frac{z-{\xi }_3}{z-{\xi }_2}\right)}^{\gamma }P\left\{\begin{array}{cccc}0& \mathrm{\infty }& 1& \\ 0& \alpha +\beta +\gamma & 0& \frac{(z-{\xi }_1)(c-{\xi }_2)}{(z-{\xi }_2)({\xi }_3-{\xi }_1)}\\ {\alpha }^{\prime }-\alpha & \alpha +{\beta }^{\prime }+\gamma & {\gamma }^{\prime }-\gamma & \end{array}\right\}$

Bibliografia

• Francesco Tricomi (1953) Equazioni differenziali, II ed., Einaudi, par.46
• Template:EnBarnes, E. W. "A New Development in the Theory of the Hypergeometric Functions." Proc. London Math. Soc. 6, 141-177, 1908.
• Template:EnMorse, P. M. and Feshbach, H. Methods of Theoretical Physics, Part I. New York: McGraw-Hill, pp. 541–543, 1953.
• Template:EnZwillinger, D. (Ed.). CRC Standard Mathematical Tables and Formulae. Boca Raton, FL: CRC Press, 1995.
• Template:EnZwillinger, D. Handbook of Differential Equations, 3rd ed. Boston, MA: Academic Press, p. 126, 1997.
• Template:EnMilton Abramowitz, Irene A. Stegun, eds. (1972): Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. New York: Dover, pp. 564–565, 1972.
  • Chapter 15 Hypergeometric Functions
  • Section 15.6 Riemann's Differential Equation

Voci correlate

• Equazione ipergeometrica
• Equazione ipergeometrica confluente
• Equazione di Heun
• Serie ipergeometrica
• Simbolo P di Riemann

Collegamenti esterni

• Template:Collegamenti esterni
• Template:Cita web