In mathematics, Riemann's differential equation, named after Bernhard Riemann, is a generalization of the hypergeometric differential equation, allowing the regular singular points (RSPs) to occur anywhere on the Riemann sphere, rather than merely at 0, 1, and ∞ {\displaystyle \infty } \infty . The equation is also known as the Papperitz equation.[1]
The hypergeometric differential equation is a second-order linear differential equation which has three regular singular points, 0, 1 and \( \infty \) . That equation admits two linearly independent solutions; near a singularity \( z_{s} \) , the solutions take the form \( x^{s}f(x) \) , where \( x=z-z_{s} \) is a local variable, and f is locally holomorphic with \( f(0)\neq 0 \). The real number s is called the exponent of the solution at \( z_{s} \). Let α, β and γ be the exponents of one solution at 0, 1 and \( \infty \) respectively; and let α', β' and γ' be those of the other. Then
\( \alpha +\alpha '+\beta +\beta '+\gamma +\gamma '=1. \)
By applying suitable changes of variable, it is possible to transform the hypergeometric equation: Applying Möbius transformations will adjust the positions of the RSPs, while other transformations (see below) can change the exponents at the RSPs, subject to the exponents adding up to 1.
Definition
The differential equation is given by
\( {\frac {d^{2}w}{dz^{2}}}+\left[{\frac {1-\alpha -\alpha '}{z-a}}+{\frac {1-\beta -\beta '}{z-b}}+{\frac {1-\gamma -\gamma '}{z-c}}\right]{\frac {dw}{dz}} \)
\( +\left[{\frac {\alpha \alpha '(a-b)(a-c)}{z-a}}+{\frac {\beta \beta '(b-c)(b-a)}{z-b}}+{\frac {\gamma \gamma '(c-a)(c-b)}{z-c}}\right]{\frac {w}{(z-a)(z-b)(z-c)}}=0. \)
The regular singular points are a, b, and c. The exponents of the solutions at these RSPs are, respectively, α; α′, β; β′, and γ; γ′. As before, the exponents are subject to the condition
\( \alpha +\alpha '+\beta +\beta '+\gamma +\gamma '=1. \)
Solutions and relationship with the hypergeometric function
The solutions are denoted by the Riemann P-symbol (also known as the Papperitz symbol)
\( w(z)=P\left\{{\begin{matrix}a&b&c&\;\\\alpha &\beta &\gamma &z\\\alpha '&\beta '&\gamma '&\;\end{matrix}}\right\} \)
The standard hypergeometric function may be expressed as
\( \;_{2}F_{1}(a,b;c;z)=P\left\{{\begin{matrix}0&\infty &1&\;\\0&a&0&z\\1-c&b&c-a-b&\;\end{matrix}}\right\} \)
The P-functions obey a number of identities; one of them allows a general P-function to be expressed in terms of the hypergeometric function. It is
\( P\left\{{\begin{matrix}a&b&c&\;\\\alpha &\beta &\gamma &z\\\alpha '&\beta '&\gamma '&\;\end{matrix}}\right\}=\left({\frac {z-a}{z-b}}\right)^{\alpha }\left({\frac {z-c}{z-b}}\right)^{\gamma }P\left\{{\begin{matrix}0&\infty &1&\;\\0&\alpha +\beta +\gamma &0&\;{\frac {(z-a)(c-b)}{(z-b)(c-a)}}\\\alpha '-\alpha &\alpha +\beta '+\gamma &\gamma '-\gamma &\;\end{matrix}}\right\} \)
In other words, one may write the solutions in terms of the hypergeometric function as
\( w(z)=\left({\frac {z-a}{z-b}}\right)^{\alpha }\left({\frac {z-c}{z-b}}\right)^{\gamma }\;_{2}F_{1}\left(\alpha +\beta +\gamma ,\alpha +\beta '+\gamma ;1+\alpha -\alpha ';{\frac {(z-a)(c-b)}{(z-b)(c-a)}}\right) \)
The full complement of Kummer's 24 solutions may be obtained in this way; see the article hypergeometric differential equation for a treatment of Kummer's solutions.
Fractional linear transformations
The P-function possesses a simple symmetry under the action of fractional linear transformations known as Möbius transformations (that are the conformal remappings of the Riemann sphere), or equivalently, under the action of the group GL(2, C). Given arbitrary complex numbers A, B, C, D such that AD − BC ≠ 0, define the quantities
\( u={\frac {Az+B}{Cz+D}}\quad {\text{ and }}\quad \eta ={\frac {Aa+B}{Ca+D}} \)
and
\( \zeta ={\frac {Ab+B}{Cb+D}}\quad {\text{ and }}\quad \theta ={\frac {Ac+B}{Cc+D}} \)
then one has the simple relation
\( P\left\{{\begin{matrix}a&b&c&\;\\\alpha &\beta &\gamma &z\\\alpha '&\beta '&\gamma '&\;\end{matrix}}\right\}=P\left\{{\begin{matrix}\eta &\zeta &\theta &\;\\\alpha &\beta &\gamma &u\\\alpha '&\beta '&\gamma '&\;\end{matrix}}\right\} \)
expressing the symmetry.
See also
Complex differential equation
Method of Frobenius
Monodromy
Notes
Siklos, Stephen. "The Papperitz equation" (PDF). Retrieved 21 April 2014.
References
Milton Abramowitz and Irene A. Stegun, eds., Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables (Dover: New York, 1972)
Chapter 15 Hypergeometric Functions
Section 15.6 Riemann's Differential Equation
vte
Sequences and series
Integer
sequences
Basic
Arithmetic progression Geometric progression Harmonic progression Square number Cubic number Factorial Powers of two Powers of three Powers of 10
Advanced (list)
Complete sequence Fibonacci numbers Figurate number Heptagonal number Hexagonal number Lucas number Pell number Pentagonal number Polygonal number Triangular number
Fibonacci spiral with square sizes up to 34.
Properties of sequences
Cauchy sequence Monotone sequence Periodic sequence
Properties of series
Convergent series Divergent series Conditional convergence Absolute convergence Uniform convergence Alternating series Telescoping series
Explicit series
Convergent
1/2 − 1/4 + 1/8 − 1/16 + ⋯ 1/2 + 1/4 + 1/8 + 1/16 + ⋯ 1/4 + 1/16 + 1/64 + 1/256 + ⋯ 1 + 1/2s+ 1/3s + ... (Riemann zeta function)
Divergent
1 + 1 + 1 + 1 + ⋯ 1 + 2 + 3 + 4 + ⋯ 1 + 2 + 4 + 8 + ⋯ 1 − 1 + 1 − 1 + ⋯ (Grandi's series) Infinite arithmetic series 1 − 2 + 3 − 4 + ⋯ 1 − 2 + 4 − 8 + ⋯ 1 + 1/2 + 1/3 + 1/4 + ⋯ (harmonic series) 1 − 1 + 2 − 6 + 24 − 120 + ⋯ (alternating factorials) 1/2 + 1/3 + 1/5 + 1/7 + 1/11 + ⋯ (inverses of primes)
Kinds of series
Taylor series Power series Formal power series Laurent series Puiseux series Dirichlet series Trigonometric series Fourier series Generating series
Hypergeometric
series
Generalized hypergeometric series Hypergeometric function of a matrix argument Lauricella hypergeometric series Modular hypergeometric series Riemann's differential equation Theta hypergeometric series
Undergraduate Texts in Mathematics
Graduate Studies in Mathematics
Hellenica World - Scientific Library
Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License
