Hadamardsche Lückenreihe
# Hadamardsche Lückenreihe

Hadamardsche Lückenreihe ist ein Terminus aus dem mathematischen Teilgebiet der Funktionentheorie. Man versteht darunter eine komplexwertige Potenzreihe mit Entwicklungspunkt Null, deren Koeffizienten einer Lückenbedingung genügen

Der Terminus verweist auf den französischen Mathematiker Jacques Hadamard (1865–1963), der in einer wichtigen Arbeit aus dem Jahre 1892 die Beziehungen zwischen den Singularitäten einer holomorphen Funktion und den Koeffizienten ihrer Taylorentwicklung untersuchte. Die hier zugrundeliegende allgemeine Problemstellung ist die Frage nach dem Randverhalten von Potenzreihen. Es geht um die Frage nach den Holomorphiegebieten der zu gegebenen Potenzreihen gehörigen holomorphen Funktionen und darum, inwieweit der Rand des Konvergenzkreises einer Potenzreihe deren natürliche Grenze darstellt.

## Lückenbedingung

Eine (Hadamardsche) Lückenreihe ist eine komplexe Potenzreihe $\textstyle P(z)=\sum _{n=0}^{\infty }{a_{n}}z^{n}$, die die folgende Eigenschaft erfüllt:

(HL) Es existiert eine streng monoton wachsende Zahlenfolge $(m_{n})_{n=0,1,2,\dots }$ natürlicher Zahlen und eine reelle Zahl $\delta >0$ derart, dass gilt:

       (HL1) Für $n=0,1,2,\dots$ ist stets $m_{n+1}-m_{n}>{\delta }\cdot m_{n}$ .
       (HL2) Für $k,n=0,1,2,\dots$ sind stets $a_{m_{n}}\neq 0$ und zugleich $a_{k}=0$ , falls $m_{n}<k<m_{n+1}$.

Es gilt also:

    (HL*) $P(z)=\sum _{n=0}^{\infty }a_{m_{n}}z^{m_{n}}$ mit $\liminf _{n\rightarrow \infty }{\frac {m_{n+1}}{m_{n}}}>1$. Setzt man $b_{n}=a_{m_{n}}\;(n=0,1,2,\dots )$, so hat man eine Darstellung $\textstyle P(z)=\sum _{n=0}^{\infty }b_{n}z^{m_{n}}$.

## Lückensatz von Hadamard

Der Lückensatz von Hadamard (im englischsprachigen Raum auch Ostrowski-Hadamard Gap Theorem genannt) macht nun die Aussage, dass mittels Hadamardscher Lückenreihen gegebene holomorphe Funktionen nirgends analytisch fortsetzbar sind.

Genauer gesagt gilt:

    Ist eine komplexwertige Potenzreihe $P(z)$ mit dem Konvergenzradius $R>0$ eine Hadamardsche Lückenreihe, so ist die zugehörige holomorphe Funktion $z\mapsto P(z)$ nirgends über die offene Konvergenzkreisscheibe $B_{R}=\{z\colon \,|z|<R\}\subseteq \mathbb {C}$ hinaus fortsetzbar und der Rand $\partial {B_{R}}=\{z\colon \,|z|=R\}$ bildet die natürliche Grenze.

## Verwandter Satz: Der Lückensatz von Fabry

Einer der schärfsten Nichtfortsetzbarkeitssätze ist der Lückensatz von Fabry – so genannt nach dem französischen Mathematiker Eugène Fabry –, der den Hadamardschen Lückensatz sogar umfasst und wie folgt lautet:

Erfüllt eine komplexwertige Potenzreihe $\textstyle P(z)=\sum _{n=0}^{\infty }a_{n}z^{m_{n}}$ mit dem Konvergenzradius $R$ die Bedingung $\textstyle \lim _{n\rightarrow \infty }{\frac {m_{n}}{n}}=\infty$, so ist die zugehörige holomorphe Funktion $z\mapsto P(z)$ nirgends über die offene Konvergenzkreisscheibe $B_{R}=\{z\colon \,|z|<R\}\subseteq \mathbb {C}$ hinaus fortsetzbar und der Rand $\partial {B_{R}}=\{z\colon \,|z|=R\}$ bildet die natürliche Grenze.

## Zusammenfassung

Die Aussage beider Sätze lässt sich zusammenfassen wie folgt:

    Unter den jeweiligen Bedingungen ist der Konvergenzkreis $B_{R}=\{z\colon \,|z|<R\}\subseteq \mathbb {C}$ das Holomorphiegebiet der zugehörigen holomorphen Funktion $z\mapsto P(z)$

## Zwei Beispiele

    (1) $P(z)=\sum _{n=0}^{\infty }z^{2^{n}}$
    (2) $P(z)=\sum _{n=0}^{\infty }z^{n!}$

In beiden Fällen ist das Holomorphiegebiet die Einheitskreisscheibe.

