Théorème de Śleszyński-Pringsheim
# Théorème de Śleszyński-Pringsheim

En mathématiques, et plus précisément en analyse, le théorème de Śleszyński-Pringsheim donne des conditions de convergence de certaines fractions continues généralisées. Il fut découvert par Ivan Śleszyński puis par Alfred $Pringsheim^,$ à la fin du dix-neuvième siècle.

## Énoncé

Soient $a_n$ et $b_n,$ pour n = 1, 2, 3…, des nombres complexes tels que $|b_n|$ ≥ $|a_n|$ + 1 pour tout n, et soient $ƒ_n$ les réduites de la fraction continue généralisée

${\frac {a_{1}\mid }{\mid b_{1}}}+{\frac {a_{2}\mid }{\mid b_{2}}}+{\frac {a_{3}\mid }{\mid b_{3}}}+\cdots .$

* La fraction converge absolument, c'est-à-dire que la série numérique suivante est absolument convergente :$f=\sum _{n}(f_{n}-f_{n-1}).$
* Les modules des réduites $ƒ_n$ sont strictement inférieurs à 1.
* Le cas limite |ƒ| = 1 a lieu si et seulement si les trois conditions suivantes sont réunies :
   * $|b_n|$ = $|a_n|$ + 1 pour tout n ;
   * tous les $a_{n+1}/(b_nb_{n+1})$ sont des réels négatifs ;
   * la série $\sum _{n}|a_{1}a_{2}\ldots a_{n}|$ est divergente. Dans ce cas, la valeur de la fraction est $f={\frac {a_{1}|b_{1}|}{|a_{1}|b_{1}}}.$

## Corollaires

On peut déduire d'autres critères de convergence de celui de Śleszyński-Pringsheim, parmi $lesquels^,$ :

### Théorème de Worpitzky

Pour tous complexes $a_1,$ $a_2,$ $a_3…$ de modules inférieurs ou égaux à 1/4, la fraction continue généralisée

${\frac {a_{1}\mid }{\mid 1}}+{\frac {a_{2}\mid }{\mid 1}}+{\frac {a_{3}\mid }{\mid 1}}+\cdots$

converge, et ses réduites sont de modules strictement inférieurs à 1/2.

Ce théorème, publié en 1865 par Julius $Worpitzky^,,$ passe pour avoir été le premier critère de convergence concernant des fractions continues à coefficients complexes.

C'est un cas particulier du théorème de Śleszyński-Pringsheim, d'après l'équivalence de fractions : ${\frac {2a_{1}\mid }{\mid 1}}+{\frac {a_{2}\mid }{\mid 1}}+{\frac {a_{3}\mid }{\mid 1}}+\cdots ={\frac {4a_{1}\mid }{\mid 2}}+{\frac {4a_{2}\mid }{\mid 2}}+{\frac {4a_{3}\mid }{\mid 2}}+\cdots .$

### Autre critère de Pringsheim

Pringsheim a formulé le corollaire suivant de « son » $théorème^,$ :

Pour tous complexes $b_1,$ $b_2,$ $b_3…$ vérifiant, pour tout entier i > 0

    ${\frac {1}{|b_{2i-1}|}}+{\frac {1}{|b_{2i}|}}\leq 1,$

la fraction continue régulière suivante converge :

${\frac {1\mid }{\mid b_{1}}}+{\frac {1\mid }{\mid b_{2}}}+{\frac {1\mid }{\mid b_{3}}}+\cdots .$

Ce critère est un cas particulier du théorème de Śleszyński-Pringsheim, d'après l'équivalence de fractions : ${\frac {1\mid }{\mid b_{1}}}+{\frac {1\mid }{\mid b_{2}}}+\cdots ={\frac {b_{2}/b_{1}\mid }{\mid b_{2}}}+{\frac {b_{2}/b_{1}\mid }{\mid b_{2}}}+{\frac {b_{4}/b_{3}\mid }{\mid b_{4}}}+{\frac {b_{4}/b_{3}\mid }{\mid b_{4}}}+\cdots .$

Il s'applique par exemple si tous les $b_n$ sont de module au moins 2 (cf. § Exemples ci-dessous).

## Théorème de convergence de Tietze

Le théorème de Śleszyński-Pringsheim est complété par certains critères classiques de convergence ou de divergence, parmi lesquels ce théorème de $Tietze^,^,$ :

Soient $a_n$ et $b_n,$ pour n = 1, 2, 3…, des réels tels que pour tout indice n, $b_n$ ≥ $|a_n|$ > 0 et même, chaque fois que $a_{n+1}$ < 0, $b_n$ ≥ $|a_n|$ + 1.

* Pour que la fraction associée${\frac {a_{1}\mid }{\mid b_{1}}}+{\frac {a_{2}\mid }{\mid b_{2}}}+{\frac {a_{3}\mid }{\mid b_{3}}}+\cdots .$converge, il suffit que les $a_n$ soient négatifs à partir d'un certain rang ou que l'une des trois séries suivantes diverge :$\sum _{a_{n}>0}{\sqrt {a_{n}}},\quad \sum _{a_{n+1}>0}{\sqrt {b_{n}-|a_{n}|}},\quad \sum _{a_{n+1}<0}{\sqrt {b_{n}-|a_{n}|-1}}.$
* Si la fraction converge, la limite ƒ des réduites vérifie : 0 < $a_1ƒ$ ≤ $|a_1|,$ et ne peut être égale à ±1 que si $a_n$ < 0 pour tout n > 1 et $b_n$ = $|a_n|$ + 1 pour tout n > 0.
* Si les $a_n$ et $b_n$ sont entiers alors, sauf dans un cas exceptionnel, la fraction converge et la limite ƒ est irrationnelle. Le cas exceptionnel est celui où, à partir d'un certain rang, $a_n$ < 0 et $b_n$ = $|a_n|$ + 1.

## Exemples

### Fractions régulières de période 1

Pour un complexe z (non nul), une étude directe (cf. article détaillé) montre que la fraction

${\frac {1\mid }{\mid z}}+{\frac {1\mid }{\mid z}}+{\frac {1\mid }{\mid z}}+\cdots$

converge si et seulement si z n'appartient pas à l'intervalle imaginaire pur ]−2i, 2i[.

La convergence était prévisible pour z de module supérieur ou égal à 2 par le théorème ou le corollaire de Pringsheim (et pour z réel positif, par le théorème de Seidel-Stern).

### Fractions « négativement régulières »

**Définition**

Pringsheim s'intéresse aux fractions qu'il qualifie de « négativement régulières ». Ce sont les fractions de la forme

$b_{0}-{\frac {1\mid }{\mid b_{1}}}-{\frac {1\mid }{\mid b_{2}}}-\cdots ,$

où les $b_n$ sont entiers et, pour n > 0, $b_n$ ≥ 2.

Il s'agit donc de la variante des fractions continues simples obtenue en remplaçant les signes « + » par des signes « – » et en interdisant la valeur 1 pour les $b_n$ (sauf pour $b_0).$

**Théorème de représentation**

Les fractions « négativement régulières » convergent d'après le théorème de Śleszyński-Pringsheim, de même que les fractions simples convergent d'après le théorème de Seidel-Stern. De plus — de même que les fractions simples infinies sont en bijection avec les irrationnels — les fractions « négativement régulières » infinies sont en bijection avec tous les réels, par le théorème $suivant^,$ :

   Tout réel est la limite d'une unique fraction « négativement régulière » infinie.

**Caractérisation des rationnels**

Alors qu'avec les fractions simples, un rationnel se reconnaît à ce que son développement est fini, avec les fractions « négativement régulières », il se reconnaît au fait qu'à partir d'un certain rang, tous les $b_n$ sont égaux à $2^,.$

**Algorithme**

L'analogue de l'algorithme de développement en fraction simple, pour déterminer les dénominateurs partiels $b_n$ du développement en fraction négativement régulière d'un réel x, est le $suivant^,.$ Pour tout réel t, notons ⌊t⌋ la partie entière de t et G(t) l'entier ⌊t⌋ + 1. On a donc 1/(G(t) – t) ≥ 1.

On définit alors par récurrence deux suites $(x_n)$ et $(b_n)$ par : $x_{0}=x{\text{ et }}\forall n\in \mathbb {N} \quad b_{n}=G(x_{n}){\text{ et }}x_{n+1}={\frac {1}{b_{n}-x_{n}}}.$

**Exemples de développements**

Par exemple :

* Développements de période 1 :$\forall n\in \{2,3,\ldots \}\quad -{\frac {1\mid }{\mid n}}-{\frac {1\mid }{\mid n}}-\cdots ={\frac {-n+{\sqrt {n^{2}-4}}}{2}},$en particulier :
   * pour n = 2 : le développement de –1 est un cas limite du théorème de Śleszyński-Pringsheim ;
   * pour n = 2m :$\forall m\in \{1,2,3,\ldots \}\quad {\sqrt {m^{2}-1}}=m-{\frac {1\mid }{\mid 2m}}-{\frac {1\mid }{\mid 2m}}-\cdots .$
* Développements de période 2 :$\forall m,n\in \{2,3,\ldots \}\quad -{\frac {1\mid }{\mid m}}-{\frac {1\mid }{\mid n}}-{\frac {1\mid }{\mid m}}-{\frac {1\mid }{\mid n}}-\cdots ={\frac {1}{2}}\left(-n+{\sqrt {\frac {n(mn-4)}{m}}}\right),$en particulier (pour n = 2m)$\forall m\in \{2,3,\ldots \}\quad {\sqrt {m^{2}-2}}=m-{\frac {1\mid }{\mid m}}-{\frac {1\mid }{\mid 2m}}-{\frac {1\mid }{\mid m}}-{\frac {1\mid }{\mid 2m}}-\cdots .$
