In mathematics, the Fuchs relation is a relation between the starting exponents of formal series solutions of certain linear differential equations, so called Fuchsian equations. It is named after Lazarus Immanuel Fuchs.

Definition Fuchsian equation

A linear differential equation in which every singular point, including the point at infinity, is a regular singularity is called Fuchsian equation or equation of Fuchsian type.^[1] For Fuchsian equations a formal fundamental system exists at any point, due to the Fuchsian theory.

Fuchs relation

Let ${\displaystyle Lf=0}$ be a Fuchsian equation of order ${\displaystyle n}$ with the singularities ${\displaystyle a_{1},\dots ,a_{r}\in \mathbb {C} }$ and the point at infinity. Let ${\displaystyle \alpha _{i1},\dots ,\alpha _{in}\in \mathbb {C} }$ be the roots of the indicial polynomial relative to ${\displaystyle a_{i}}$, for ${\displaystyle i\in \{1,\dots ,r\}}$. Let ${\displaystyle \beta _{1},\dots ,\beta _{n}\in \mathbb {C} }$ be the roots of the indicial polynomial relative to ${\displaystyle \infty }$, which is given by the indicial polynomial of ${\displaystyle Lf}$ transformed by ${\displaystyle z=x^{-1}}$ at ${\displaystyle x=0}$. Then the so called Fuchs relation holds:

${\displaystyle \sum _{i=1}^{r}\sum _{k=1}^{n}\alpha _{ik}+\sum _{k=1}^{n}\beta _{k}={\frac {n(n-1)(r-1)}{2}}}$.^[3]

The Fuchs relation can be rewritten as infinite sum. Let ${\displaystyle P_{\xi }}$ denote the indicial polynomial relative to ${\displaystyle \xi \in \mathbb {C} \cup \{\infty \}}$ of the Fuchsian equation ${\displaystyle Lf=0}$. Define ${\displaystyle \operatorname {defect}$ :\mathbb {C} \cup \{\infty \}\to \mathbb {C} } as

${\displaystyle \operatorname {defect} (\xi ):={\begin{cases}\operatorname {Tr} (P_{\xi })-{\frac {n(n-1)}{2}}{\text{, for }}\xi \in \mathbb {C} \\\operatorname {Tr} (P_{\xi })+{\frac {n(n-1)}{2}}{\text{, for }}\xi =\infty \end{cases}}}$

where ${\textstyle \operatorname {Tr} (P):=\sum _{\{z\in \mathbb {C} :P(z)=0\}}z}$ gives the trace of a polynomial ${\displaystyle P}$, i. e., ${\displaystyle \operatorname {Tr} }$ denotes the sum of a polynomial's roots counted with multiplicity.

This means that ${\displaystyle \operatorname {defect} (\xi )=0}$ for any ordinary point ${\displaystyle \xi }$, due to the fact that the indicial polynomial relative to any ordinary point is ${\displaystyle P_{\xi }(\alpha )=\alpha (\alpha -1)\cdots (\alpha -n+1)}$. The transformation ${\displaystyle z=x^{-1}}$, that is used to obtain the indicial equation relative to ${\displaystyle \infty }$, motivates the changed sign in the definition of ${\displaystyle \operatorname {defect} }$ for ${\displaystyle \xi =\infty }$. The rewritten Fuchs relation is:

${\displaystyle \sum _{\xi \in \mathbb {C} \cup \{\infty \}}\operatorname {defect} (\xi )=0.}$^[4]

References

• Ince, Edward Lindsay (1956). Ordinary Differential Equations. New York, USA: Dover Publications. ISBN 9780486158211.
• Tenenbaum, Morris; Pollard, Harry (1963). Ordinary Differential Equations. New York, USA: Dover Publications. pp. Lecture 40. ISBN 9780486649405.
• Horn, Jakob (1905). Gewöhnliche Differentialgleichungen beliebiger Ordnung. Leipzig, Germany: G. J. Göschensche Verlagshandlung.
• Schlesinger, Ludwig (1897). Handbuch der Theorie der linearen Differentialgleichungen (2. Band, 1. Teil). Leipzig, Germany: B. G.Teubner. pp. 241 ff.