Simbolo P di Riemann

In matematica, il simbolo P di Riemann è stato introdotto per rappresentare in modo semplice e immediato le soluzioni dell'equazione di Papperitz-Riemann, in quanto risulta molto comodo da maneggiare, possiede semplici proprietà di trasformazione e permette di ricostruire la soluzione nella sua forma esplicita in qualunque momento. Questo simbolo viene utilizzato per varie formule riguardanti funzioni speciali.

Definizione

Data un'equazione di Papperitz-Riemann avente ${\xi }_1$, ${\xi }_2$ e ${\xi }_3$ come punti fuchsiani, se $({\alpha }_1,{\beta }_1)$, $({\alpha }_2,{\beta }_2)$ e $({\alpha }_3,{\beta }_3)$ sono i rispettivi esponenti delle soluzioni, la corrispondente P di Riemann è data da:

$u=P\left\{\begin{array}{ccc}{\xi }_1& {\xi }_2& {\xi }_3\\ {\alpha }_1& {\alpha }_2& {\alpha }_3& z\\ {\beta }_1& {\beta }_2& {\beta }_3\end{array}\right\}$

Nel simbolo quindi compaiono i punti singolari nella prima linea e i relativi esponenti della soluzione al di sotto di essi; nella quarta colonna compare la variabile che si considera come indipendente. È opportuno notare che esso indica una qualsiasi soluzione dell'equazione differenziale data; equivalentemente esso potrebbe essere interpretato come l'insieme di tutte le soluzioni.

Per esempio, data l'equazione di Legendre:

$(z^2-1)\frac{d^{2}u(z)}{d{z}^2}+2z\frac{du(z)}{dz}-\lambda (\lambda +1)u(z)=0$

che si vede avere tre punti fuchsiani in $z=-1,+1,\mathrm{\infty }$ con corrispondenti esponenti $(0,0)$, $(0,0)$ e $(-\lambda ,\lambda +1)$, per dire che $u(z)$ è una soluzione si potrà scrivere:

$u=P\left\{\begin{array}{ccc}-1& +1& \mathrm{\infty }\\ 0& 0& -\lambda & z\\ 0& 0& \lambda +1\end{array}\right\}$

In questa equazione il simbolo di uguaglianza si potrebbe sostituire con quello di appartenenza.

Gli esponenti soddisfano la restrizione:

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

così da assicurarsi che l'equazione abbia solo tre punti singolari. Si può notare che uno dei punti fuchsiani è il punto all'infinito; tuttavia ogni punto mappato al finito può essere portato all'infinito tramite una semplice trasformazione conforme e, viceversa, si può trasformare una equazione con un punto fuchsiano all'infinito in una con tutte le singolarità al finito. Quindi la teoria delle equazioni di Papperitz-Riemann per i punti al finito rimane ancora valida anche per le equazioni con un punto all'infinito.

Proprietà del Simbolo P

Il simbolo P di Riemann gode di un certo numero di proprietà che si dimostrano assai utili per la ricerca pratica delle soluzioni di un'equazione di Papperitz-Riemann. Ad esempio, è immediato notare che è invariante per permutazione delle prime tre colonne, dato che i tre punti singolari considerati sono tutti dello stesso tipo. Così, per esempio:

$u=P\left\{\begin{array}{ccc}{\xi }_1& {\xi }_2& {\xi }_3\\ {\alpha }_1& {\alpha }_2& {\alpha }_3& z\\ {\beta }_1& {\beta }_2& {\beta }_3\end{array}\right\}=P\left\{\begin{array}{ccc}{\xi }_2& {\xi }_1& {\xi }_3\\ {\alpha }_2& {\alpha }_1& {\alpha }_3& z\\ {\beta }_2& {\beta }_1& {\beta }_3\end{array}\right\}$

Inoltre, siccome non c'è alcuna caratterizzazione particolare degli esponenti, gli esponenti ${\alpha }_i,{\beta }_i$ possono essere invertiti e si può dunque avere:

$u=P\left\{\begin{array}{ccc}{\xi }_1& {\xi }_2& {\xi }_3\\ {\alpha }_1& {\alpha }_2& {\alpha }_3& z\\ {\beta }_1& {\beta }_2& {\beta }_3\end{array}\right\}=P\left\{\begin{array}{ccc}{\xi }_1& {\xi }_2& {\xi }_3\\ {\beta }_1& {\alpha }_2& {\alpha }_3& z\\ {\alpha }_1& {\beta }_2& {\beta }_3\end{array}\right\}$

La P di Riemann è inoltre invariante per la moltiplicazione di una costante, in quanto rappresenta una generica soluzione di un'equazione differenziale che rimane definita a meno di una costante arbitraria:

$u=P\left\{\begin{array}{ccc}{\xi }_1& {\xi }_2& {\xi }_3\\ {\alpha }_1& {\alpha }_2& {\alpha }_3& z\\ {\beta }_1& {\beta }_2& {\beta }_3\end{array}\right\}=K^{a}P\left\{\begin{array}{ccc}{\xi }_1& {\xi }_2& {\xi }_3\\ {\alpha }_1& {\alpha }_2& {\alpha }_3& z\\ {\beta }_1& {\beta }_2& {\beta }_3\end{array}\right\}$

Un'altra proprietà molto usata è l'invarianza del simbolo P di Riemann per trasformazioni omografiche del tipo:

$z^{\prime }=\frac{az+b}{cz+d}ad-bc\ne 0$

Vale infatti la relazione:

$P\left\{\begin{array}{ccc}{\xi }_1& {\xi }_2& {\xi }_3\\ {\alpha }_1& {\alpha }_2& {\alpha }_3& z\\ {\beta }_1& {\beta }_2& {\beta }_3\end{array}\right\}=P\left\{\begin{array}{ccc}{\xi }_1^{*}& {\xi }_2^{*}& {\xi }_3^{*}\\ {\alpha }_1& {\alpha }_2& {\alpha }_3& z^{\prime }\\ {\beta }_1& {\beta }_2& {\beta }_3\end{array}\right\}*$

che ha la proprietà quindi di trasformare l'equazione di Papperitz-Riemann in una analoga equazione in cui le posizioni dei punti singolari sono mutate in accordo con la precedente relazione sopra, ma gli esponenti ad essi relativi rimangono invariati.

Analogamente alla $*$, che permette di spostare i punti singolari di un'equazione di Papperitz-Riemann lasciandone però invariati gli esponenti (e quindi l'andamento della soluzione in un intorno dei punti), vi è una proprietà che permette di lasciare invariati i punti singolari ma modificarne gli esponenti e quindi l'andamento della soluzione in un loro intorno. La più generale di queste trasformazioni può scriversi nella forma:

$P\left\{\begin{array}{ccc}{\xi }_1& {\xi }_2& {\xi }_3\\ {\alpha }_1& {\alpha }_2& {\alpha }_3& z\\ {\beta }_1& {\beta }_2& {\beta }_3\end{array}\right\}=(z-{\xi }_1{)}^{{\gamma }_1}(z-{\xi }_2{)}^{{\gamma }_2}(z-{\xi }_3{)}^{{\gamma }_3}P\left\{\begin{array}{ccc}{\xi }_1& {\xi }_2& {\xi }_3\\ {\alpha }_1-{\gamma }_1& {\alpha }_2-{\gamma }_2& {\alpha }_3-{\gamma }_3& z\\ {\beta }_1-{\gamma }_1& {\beta }_2-{\gamma }_2& {\beta }_3-{\gamma }_3\end{array}\right\}**$

con ${\gamma }_1$, ${\gamma }_2$ e ${\gamma }_3$ costanti arbitrarie legate solamente dalla relazione ${\gamma }_1+{\gamma }_2+{\gamma }_3=0$, condizione necessaria per mantenere ancora valida la relazione tra gli esponenti ${\alpha }_i$ e ${\beta }_i$ riportata sopra.

Come caso particolare della $**$ si ha:

$P\left\{\begin{array}{ccc}{\xi }_1& {\xi }_2& {\xi }_3\\ {\alpha }_1& {\alpha }_2& {\alpha }_3& z\\ {\beta }_1& {\beta }_2& {\beta }_3\end{array}\right\}={\left(\frac{z-{\xi }_1}{z-{\xi }_2}\right)}^{\gamma }P\left\{\begin{array}{ccc}{\xi }_1& {\xi }_2& {\xi }_3\\ {\alpha }_1-\gamma & {\alpha }_2+\gamma & {\alpha }_3& z\\ {\beta }_1-\gamma & {\beta }_2+\gamma & {\beta }_3\end{array}\right\}$

e se ad esempio il punto ${\xi }_3$ è il punto all'infinito si ottiene che:

$P\left\{\begin{array}{ccc}{\xi }_1& {\xi }_2& \mathrm{\infty }\\ {\alpha }_1& {\alpha }_2& {\alpha }_3& z\\ {\beta }_1& {\beta }_2& {\beta }_3\end{array}\right\}=(z-{\xi }_1{)}^{\gamma }P\left\{\begin{array}{ccc}{\xi }_1& {\xi }_2& \mathrm{\infty }\\ {\alpha }_1-\gamma & {\alpha }_2& {\alpha }_3+\gamma & z\\ {\beta }_1-\gamma & {\beta }_2& {\beta }_3+\gamma \end{array}\right\}$

poiché:

$(z-{\xi }_1{)}^{\gamma }\sim {\left(\frac{1}{z}\right)}^{-\gamma }z\to \mathrm{\infty }$

Come già accennato, le proprietà $*$ e $**$ risultano particolarmente importanti nella risoluzione pratica di equazioni totalmente fuchsiane con tre punti fuchsiani poiché permettono di fissare sempre le singolarità nei punti più comodi alla risoluzione.

Bibliografia

• Template:En E. T. Whittaker; G. N. Watson, A course of modern analysis, Cambridge University Press, 1915. pp. 200-202 e pp. 277-280
• Template:En M. Abramowitz; I. Stegun, Handbook of Mathematical Functions, U. S. Governement Printing Office, 1964 p. 564
• V. I. Smirnov, Corso di matematica superiore: volume terzo: parte seconda, Roma: Editori Riuniti, 1999

Voci correlate

• Equazione di Papperitz-Riemann
• Funzione speciale
• Punto fuchsiano