Equació diferencial de Riemann

En matemàtiques, l'equació diferencial de Riemann, batejada amb el nom de Bernhard Riemann, és una generalització de l'equació diferencial hipergeomètrica, que permet que els punts singulars regulars es produeixin en qualsevol lloc de l'esfera de Riemann, en comptes de simplement $0$, $1$ i $\mathrm{\infty }$. L'equació també es coneix amb el nom d'equació de Papperitz.

L'equació diferencial hipergeomètrica és una equació diferencial lineal de segon ordre que té tres punts singulars regulars: $0$, $1$ i $\mathrm{\infty }$. Aquesta equació admet dues solucions lineals independents; prop d'una singularitat $z_s$, les solucions prenen la forma $x^{s}f(x)$, on $x=z-z_s$ és una variable local, i $f$ és localment holomòrfic amb $f(0)\ne 0$. El nombre real $s$ s'anomena exponent de la solució a $z_s$.

Siguin $\alpha$, $\beta$ i $\gamma$ els exponents d'una solució a $0$, $1$ i $\mathrm{\infty }$ respectivament; i siguin ${\alpha }^{\prime }$, ${\beta }^{\prime }$ i ${\gamma }^{\prime }$ les d'una altra solució. Llavors

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

Mitjançant l'aplicació de canvis de variable adequats, és possible transformar l'equació hipergeomètrica: l'aplicació de les transformacions de Möbius ajustarà les posicions dels punts singulars regulars, mentre que altres transformacions (vegeu més endavant) poden canviar els exponents en els punts singulars regulars tot i que els exponents sumen fins a $1$.

Definició

L'equació diferencial es dona per

$\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.$

Els punts singulars habituals són $a$, $b$, i $c$. Els exponents de les solucions en aquests punts singulars regulars són, respectivament, $\alpha ;{\alpha }^{\prime },\beta ;{\beta }^{\prime },\gamma ;{\gamma }^{\prime }$. Com abans, els exponents estan subjectes a la condició

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

Solucions i relació amb la funció hipergeomètrica

Les solucions es denoten pels símbols P de Riemann (coneguts també com el símbols de Papperitz)

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

La funció hipergeomètrica estàndard es pot expressar com

${}_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\}$

Les P-funcions obeeixen una sèrie d'identitats; una d'elles permet expressar una P-funció general en termes de la funció hipergeomètrica com:

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

En altres paraules, es poden escriure les solucions en termes de la funció hipergeomètrica com:

$w(z)={\left(\frac{z-a}{z-b}\right)}^{\alpha }{\left(\frac{z-c}{z-b}\right)}^{\gamma }{}_2{F}_1(\alpha +\beta +\gamma ,\alpha +{\beta }^{\prime }+\gamma ;1+\alpha -{\alpha }^{\prime };\frac{(z-a)(c-b)}{(z-b)(c-a)})$

El complement complet de les 24 solucions d'Ernst Kummer es pot obtenir d'aquesta manera (vegeu l'article Equació diferencial hipergeomètrica per a un tractament de les solucions de Kummer).

Transformacions lineals fraccionals

La P-funció posseeix una simetria simple sota l'acció de les transformacions lineals fraccionals conegudes com les transformacions de Möbius (que són les remapestacions conformes de l'esfera de Riemann), o equivalentment, sota l'acció del grup Plantilla:Math. Tenint en compte els nombres complexos arbitraris $A,B,C,D$ tals que $AD-BC\ne 0$, es defineixen les quantitats

$u=\frac{Az+B}{Cz+D}\text{ i }\eta =\frac{Aa+B}{Ca+D}$

i

$\zeta =\frac{Ab+B}{Cb+D}\text{ i }\theta =\frac{Ac+B}{Cc+D}$

llavors s'obté la relació simple

$P\left\{\begin{array}{cccc}a& b& c& \\ \alpha & \beta & \gamma & z\\ {\alpha }^{\prime }& {\beta }^{\prime }& {\gamma }^{\prime }& \end{array}\right\}=P\left\{\begin{array}{cccc}\eta & \zeta & \theta & \\ \alpha & \beta & \gamma & u\\ {\alpha }^{\prime }& {\beta }^{\prime }& {\gamma }^{\prime }& \end{array}\right\}$

expressant la simetria.

Bibliografia

• Plantilla:Ref-llibre

Vegeu també

• Monodromia

Enllaços externs

• Hypergeometric Functions, chapter 15 Plantilla:En
• Riemann's Differential Equation, section 15.6 Plantilla:En