31 Heun Functions Properties 31.13 Asymptotic Approximations 31.15 Stieltjes Polynomials

§31.14 General Fuchsian Equation

Permalink:: http://dlmf.nist.gov/31.14

§31.14(i) Definitions
§31.14(ii) Kovacic’s Algorithm

§31.14(i) Definitions

Notes:: See Ince (1926, Chapter XV).
Keywords:: Fuchsian equation
Permalink:: http://dlmf.nist.gov/31.14.i

The general second-order Fuchsian equation with regular singularities at $z=a_{j}$ , $j=1,2,\dots,N$ , and at $\infty$ , is given by

31.14.1 ${\frac{{d}^{2}w}{{dz}^{2}}+\left(\sum_{{j=1}}^{N}\frac{\gamma_{j}}{z-a_{j}}% \right)\frac{dw}{dz}+\left(\sum_{{j=1}}^{N}\frac{q_{j}}{z-a_{j}}\right)w=0},$ $\sum_{{j=1}}^{N}q_{j}=0$ .

Symbols:: $\frac{df}{dx}$ : derivative of with respect to , : complex variable, $\gamma$ : real or complex parameter, : nonnegative integer, : complex parameter, : real or complex parameter and : number of singularities
Referenced by:: §31.15(i)
Permalink:: http://dlmf.nist.gov/31.14.E1
Encodings:: TeX, pMML, png

The exponents at the finite singularities $a_{j}$ are $\{0,{1-\gamma_{j}}\}$ and those at $\infty$ are $\{\alpha,\beta\}$ , where

31.14.2

$\alpha+\beta+1=\sum_{{j=1}}^{N}\gamma_{j},$

$\alpha\beta=\sum_{{j=1}}^{N}a_{j}q_{j}.$

Symbols:: $\gamma$ : real or complex parameter, : nonnegative integer, : complex parameter, : real or complex parameter, $\alpha$ : real or complex parameter, $\beta$ : real or complex parameter and : number of singularities
Permalink:: http://dlmf.nist.gov/31.14.E2
Encodings:: TeX, TeX, pMML, pMML, png, png

The three sets of parameters comprise the singularity parameters $a_{j}$ , the exponent parameters $\alpha,\beta,\gamma_{j}$ , and the free accessory parameters $q_{j}$ . With $a_{1}=0$ and $a_{2}=1$ the total number of free parameters is . Heun’s equation (31.2.1) corresponds to .

¶ Normal Form

Keywords:: Fuchsian equation, Heun’s equation

31.14.3 $w(z)=\left(\prod_{{j=1}}^{N}(z-a_{j})^{{-\gamma_{j}/2}}\right)W(z),$

Symbols:: : complex variable, $\gamma$ : real or complex parameter, : nonnegative integer, : complex parameter, : number of singularities and : solution
Permalink:: http://dlmf.nist.gov/31.14.E3
Encodings:: TeX, pMML, png

31.14.4 $\frac{{d}^{2}W}{{dz}^{2}}=\sum_{{j=1}}^{N}\left(\frac{\tilde{\gamma}_{j}}{(z-a% _{j})^{2}}+\frac{\tilde{q}_{j}}{z-a_{j}}\right)W,$ $\sum_{{j=1}}^{N}\tilde{q}_{j}=0$ ,

Symbols:: $\frac{df}{dx}$ : derivative of with respect to , : complex variable, $\gamma$ : real or complex parameter, : nonnegative integer, : complex parameter, : real or complex parameter, : number of singularities and : solution
Permalink:: http://dlmf.nist.gov/31.14.E4
Encodings:: TeX, pMML, png

31.14.5

$\tilde{q}_{j}=\frac{1}{2}\sum_{{\substack{k=1\\ k\neq j}}}^{N}\frac{\gamma_{j}\gamma_{k}}{a_{j}-a_{k}}-q_{j},$

$\tilde{\gamma}_{j}=\frac{\gamma_{j}}{2}\left(\frac{\gamma_{j}}{2}-1\right).$

Symbols:: $\gamma$ : real or complex parameter, : nonnegative integer, : complex parameter, : real or complex parameter and : number of singularities
Permalink:: http://dlmf.nist.gov/31.14.E5
Encodings:: TeX, TeX, pMML, pMML, png, png

§31.14(ii) Kovacic’s Algorithm

Keywords:: Heun functions, Kovacic’s algorithm, spatio-temporal dynamics
Referenced by:: §31.8
Permalink:: http://dlmf.nist.gov/31.14.ii

An algorithm given in Kovacic (1986) determines if a given (not necessarily Fuchsian) second-order homogeneous linear differential equation with rational coefficients has solutions expressible in finite terms (Liouvillean solutions). The algorithm returns a list of solutions if they exist.

For applications of Kovacic’s algorithm in spatio-temporal dynamics see Rod and Sleeman (1995).

© 2010–2013 NIST / Privacy Policy / Disclaimer / Feedback; Version 1.0.6; Release date 2013-05-06 Math-Image version (See MathML) . A Printed Companionis available. 31.13 Asymptotic Approximations 31.15 Stieltjes Polynomials

§31.14 General Fuchsian Equation

Contents

§31.14(i) Definitions

¶ Normal Form

§31.14(ii) Kovacic’s Algorithm