Periodische Funktion

In der Mathematik sind periodische Funktionen eine besondere Klasse von Funktionen. Sie haben die Eigenschaft, dass sich ihre Funktionswerte in regelmäßigen Abständen wiederholen. Die Abstände zwischen dem Auftreten der gleichen Funktionswerte werden Periode genannt. Einfache Beispiele sind Sinus- und Kosinus-Funktionen. Damit auch Funktionen mit Lücken im Definitionsbereich, wie z. B. die Tangens-Funktion, zu den periodischen Funktionen gerechnet werden können, erlaubt man Definitionsbereiche mit periodischen Lücken. Eine periodische Funktion besitzt allerdings nicht nur eine Periode, denn jedes Vielfache einer Periode ist auch wieder eine Periode. Beispiel: Die Sinus-Funktion ist nicht nur ${\displaystyle 2\pi }$-periodisch, sondern auch ${\displaystyle 4\pi }$-periodisch, … Wenn man von Periode spricht, meint man in der Regel die kleinstmögliche positive Periode. Es gibt allerdings periodische Funktionen, die keine kleinste Periode besitzen. Beispiel: Jede auf ${\displaystyle \mathbb {R} }$ definierte konstante Funktion hat jede beliebige Zahl als Periode.

Illustration einer periodischen Funktion mit der Periode ${\displaystyle P}$

Funktionsgraph der Sinusfunktion

Funktionsgraph der Tangensfunktion

Periodische Funktionen treten natürlicherweise in der Physik zur Beschreibung von mechanischen, elektrischen oder akustischen Schwingungsvorgängen auf. Deshalb bezeichnet man eine Periode oft mit ${\displaystyle T}$ (engl.: Time).

Da e​ine periodische Funktion bekannt ist, w​enn man i​hren Verlauf innerhalb e​iner Periode kennt, werden nicht-trigonometrische periodische Funktion i​n der Regel i​n einem Grundintervall definiert u​nd dann periodisch fortgesetzt.

So w​ie viele reelle Funktionen i​n Potenzreihen entwickelt werden können, k​ann man, u​nter gewissen Voraussetzungen, e​ine periodische Funktion a​ls Reihe v​on Sinus- u​nd Kosinus-Funktionen entwickeln: s​iehe Fourier-Reihe.

Periodische Folgen können a​ls Spezialfälle d​er periodischen Funktionen verstanden werden.

Funktionen, d​ie nicht periodisch sind, werden manchmal – u​m dies e​xtra zu betonen – a​ls aperiodisch bezeichnet.

Reelle periodische Funktionen

Periodische Funktion
oben: ${\displaystyle {\mathcal {D}}_{f}=\mathbb {R} }$. (blau),
unten: ${\displaystyle {\mathcal {D}}_{f}}$ Teilmenge von ${\displaystyle \mathbb {R} }$ (blau),
lila: Periode

Definition

Eine reelle Zahl ${\displaystyle T}$ ist eine Periode einer in ${\displaystyle {\mathcal {D}}_{f}\subseteq \mathbb {R} }$ definierten Funktion, wenn für jedes ${\displaystyle x}$ aus ${\displaystyle {\mathcal {D}}_{f}}$ gilt:

• ${\displaystyle x+T}$ ist in ${\displaystyle {\mathcal {D}}_{f}}$ und
• ${\displaystyle f(x+T)=f(x)\;.}$

Die Funktion ${\displaystyle f}$ ist periodisch, wenn sie mindestens eine Periode ${\displaystyle T\neq 0}$ zulässt. Man sagt dann auch, ${\displaystyle f}$ sei „${\displaystyle T}$-periodisch“.

Für ${\displaystyle {\mathcal {D}}_{f}=\mathbb {R} }$, was oft der Fall ist, ist die erste Eigenschaft immer erfüllt.

Eigenschaften der Perioden

Für d​ie Periode gelten folgende Eigenschaften:

• Ist ${\displaystyle T}$ eine Periode von ${\displaystyle f}$, so ist auch ${\displaystyle -T}$ eine Periode von ${\displaystyle f}$;
• Sind ${\displaystyle T_{1}}$ und ${\displaystyle T_{2}}$ zwei Perioden von ${\displaystyle f}$, so ist auch ${\displaystyle k_{1}T_{1}+k_{2}T_{2}}$ mit ${\displaystyle k_{1},k_{2}\in \mathbb {Z} }$ eine Periode von ${\displaystyle f}$.

Meist interessiert man sich für die kleinste positive Periode. Diese existiert für jede nichtkonstante stetige periodische Funktion. (Eine konstante Funktion ist periodisch mit jeder beliebigen Periode ungleich 0.) Wenn ${\displaystyle f}$ eine kleinste positive Periode hat, so sind die Perioden von ${\displaystyle f}$ die Vielfachen von ${\displaystyle T}$. Im anderen Fall ist die Menge der Perioden von ${\displaystyle f}$ dicht in ${\displaystyle \mathbb {R} }$.

Trigonometrische Funktionen

Die Standardbeispiele periodischer Funktionen sind die trigonometrischen Funktionen. So ist beispielsweise die auf ganz ${\displaystyle \mathbb {R} }$ definierte Sinusfunktion periodisch. Ihre Funktionswerte wiederholen sich im Abstand von ${\displaystyle 2\pi }$ (${\displaystyle \pi }$ ist die Kreiszahl Pi); sie hat also die Periode ${\displaystyle 2\pi }$.
Die Tangensfunktion mit dem Definitionsbereich ${\displaystyle \mathbb {R} \setminus \{k\pi +{\tfrac {\pi }{2}}\;|\;k\in \mathbb {Z} \}}$ ist ebenfalls eine trigonometrische Funktion; sie hat die Periode ${\displaystyle \pi }$ und nicht ${\displaystyle 2\pi }$, obwohl sie als Quotient zweier ${\displaystyle 2\pi }$-periodischer Funktionen darstellbar ist: ${\displaystyle \tan x={\tfrac {\sin x}{\cos x}}}$.

Summe von cos- und sin-Funktionen

Summe von cos- und sin-Funktionen

Summen von cos- und sin-Funktionen mit einer gemeinsamen (nicht unbedingt kleinste) Periode ${\displaystyle T}$ sind wieder periodisch. (Im Bild ist die gemeinsame Periode ${\displaystyle 2\pi }$.) Diese Eigenschaft der cos- und sin-Funktionen ist die Basis der Fourierreihen. Haben zwei Funktionen keine gemeinsame Periode, so ist die Summe nicht periodisch. Beispiel: ${\displaystyle f(x)=\sin x+\sin(\pi x)}$ ist nicht periodisch.

Periodische Fortsetzung

Im Beispiel zur Definition wurde im oberen Teil des Bildes eine auf einem halboffenen Intervall ${\displaystyle (a,b]}$ gegebene Funktion durch einfaches Verschieben um ganzzahlige Vielfache von ${\displaystyle b-a}$ zu einer periodischen Funktion der Periode ${\displaystyle T=b-a}$ fortgesetzt. Diese Art nennt man direkte periodische Fortsetzung, zum Unterschied der geraden und ungeraden periodischen Fortsetzung.

Die folgende formale Definition liefert a​uch eine Möglichkeit, e​ine periodisch fortgesetzte Funktion m​it einem Computer auszuwerten, d​a die verwendete Abrundungsfunktion i​n vielen Mathematik-Systemen direkt o​der indirekt realisiert ist.

Definition
Ist eine Funktion ${\displaystyle f_{0}}$ auf dem Intervall ${\displaystyle [a,b]}$ mit ${\displaystyle f_{0}(a)=f_{0}(b)}$ gegeben, dann ist die Funktion ${\displaystyle f}$ mit

${\displaystyle f(x)=f_{0}{\big (}x-\left\lfloor {\frac {x-a}{T}}\right\rfloor \cdot T{\big )},\;x\in \mathbb {R} }$

die (direkte) periodische Fortsetzung von ${\displaystyle f_{0}}$ auf ganz ${\displaystyle \mathbb {R} }$ und ${\displaystyle \;T=b-a\;}$ ihre Periode.
${\displaystyle \lfloor \cdot \rfloor }$ ist die Abrundungsfunktion. Die Verwendung der Abrundungsfunktion stellt sicher, dass die Funktion ${\displaystyle f_{0}}$ nur für x-Werte aus ihrem Definitionsbereich ausgewertet wird (s. Bild).

Periodische Fortsetzung eines Parabelbogens

Beispiel: Periodische Fortsetzung des Parabelbogens ${\displaystyle f_{0}(x)=(x-1)(4-x),\;a=1,b=4}$ mit der Periode ${\displaystyle \;T=b-a=3\;}$. Der Funktionswert an der Stelle (z. B.) ${\displaystyle x=8}$

${\displaystyle f(8)=f_{0}{\big (}8-\lfloor {\frac {7}{3}}\rfloor \cdot 3{\big )}=f_{0}(8-2\cdot 3)=f_{0}(2)=2\;.}$

Da periodische Funktionen o​ft in Fourier-Reihen entwickelt werden u​nd eine gerade/ungerade periodische Funktion ausschließlich m​it Kosinus/Sinus-Termen darstellbar ist, s​ind die folgenden Fortsetzungen v​on besonderem Interesse:

Periodische Fortsetzung der Funktion im rosa Bereich:
oben: ungerade, unten: gerade

Ungerade Fortsetzung:
In diesem Fall geht man von einer auf dem Intervall ${\displaystyle [0,b]}$ definierte Funktion ${\displaystyle f_{0}}$ mit ${\displaystyle f_{0}(0)=f_{0}(b)=0}$ aus. In einem ersten Schritt setzt man die Funktion durch Spiegeln am Nullpunkt auf das Intervall ${\displaystyle [-b,0]}$ fort:

${\displaystyle f_{u}(x)={\begin{cases}\quad f_{0}(x)\;,\ \quad 0\leq x\leq b\\-f_{0}(-x)\;,\;-b\leq x<0\ .\end{cases}}}$

Die auf dem Intervall ${\displaystyle [-b,b]}$ definierte Funktion ${\displaystyle f_{u}}$ wird jetzt (wie oben beschrieben) direkt periodisch fortgesetzt. Dadurch entsteht eine auf ${\displaystyle \mathbb {R} }$ definierte ungerade periodische Funktion ${\displaystyle f}$ der Periode ${\displaystyle T=2b}$.

Gerade Fortsetzung:
Die analoge Prozedur mit

${\displaystyle f_{g}(x)={\begin{cases}f_{0}(x),\quad \ \ 0\leq x\leq b\\f_{0}(-x),\;-b\leq x<0\end{cases}}}$

liefert eine gerade periodische Funktion der Periode ${\displaystyle T=2b}$.

Fourierreihe: Beispiel

→ Hauptartikel: Fourierreihe

Die Fourierreihe einer ${\displaystyle 2\pi }$-periodischen ungeraden Funktion ${\displaystyle f}$ hat die Form

${\displaystyle \;\sum _{k=1}^{\infty }b_{k}\sin \left(kt\right)\;}$

mit

${\displaystyle b_{k}={\frac {1}{\pi }}\int _{-\pi }^{\pi }f(t)\cdot \sin \left(kt\right)\mathrm {d} t\quad {\text{für }}k\geq 1\;.}$

Fourierreihe: versch. Teilsummen (blau)

Das Ziel einer Fourierreihenentwicklung ist die Approximation einer periodischen Funktion auf (ganz !) ${\displaystyle \mathbb {R} }$ durch Summen von einfachen periodischen Funktionen. Im Idealfall stellt die Fourierreihe die gegebene Funktion auf ${\displaystyle \mathbb {R} }$ dar. (Eine Potenzreihenentwicklung approximiert eine Funktion, die kein Polynom ist, mit ihren Partialsummen auf einem beschränkten (!) Intervall durch Polynome.)

Im Bild wird eine auf dem Intervall ${\displaystyle [0,\pi ]}$ gegebene Funktion ${\displaystyle f_{0}}$ (zwei Geradenstücke, rot) ungerade zu einer ${\displaystyle 2\pi }$-periodischen Funktion ${\displaystyle f}$ fortgesetzt und dann in eine Fourierreihe (nur mit sin-Termen) entwickelt. Man erkennt, wie gut/schlecht Teilsummen der Fourierreihe (der Längen n= 3,6,12) die Funktion ${\displaystyle f_{0}}$ approximieren. Während ${\displaystyle f_{0}}$ unstetig ist (sie hat Sprungstellen), sind die Teilsummen als Summen von sin-Termen alle stetig.

Im Beispiel i​st

${\displaystyle f_{0}(x)={\begin{cases}x\;,\ \quad 0\leq x\leq {\frac {\pi }{2}}\\2.5\;,\;{\frac {\pi }{2}}<x<\pi \\0\;,\qquad x=\pi \ .\end{cases}}}$

und d​ie Teilsumme für n=3:

${\displaystyle \;\sum _{k=1}^{3}b_{k}\sin \left(kt\right)={\frac {1}{\pi }}{\big (}7\sin x+({\frac {\pi }{2}}-5)\sin 2x+{\frac {13}{9}}\sin 3x{\big )}\ .}$

Allgemeinere Definition

Der Begriff d​er periodischen Funktion beschränkt s​ich nicht n​ur auf reelle Funktionen. Man k​ann ihn allgemeiner definieren für Funktionen, a​uf deren Quellmenge e​ine Addition erklärt ist.

Sei also ${\displaystyle G}$ eine (additive) Halbgruppe, ${\displaystyle M}$ eine Menge und ${\displaystyle f\colon G\to M}$ eine Funktion. Existiert ein ${\displaystyle T\in G}$ mit

${\displaystyle f(g+T)=f(g)}$

für alle ${\displaystyle g\in G}$, dann heißt die Funktion ${\displaystyle f}$ periodisch mit Periode ${\displaystyle T}$.[1]

Beispiele

Periodische Folgen

→ Hauptartikel: Periodische Folge

Da eine reelle Folge ${\displaystyle (a_{n})_{n\in \mathbb {N} }}$ eine Funktion von den natürlichen Zahlen ${\displaystyle \mathbb {N} }$ in die reellen Zahlen ${\displaystyle \mathbb {R} }$ ist, kann der Begriff der periodischen Folge als Spezialfall einer periodischen Funktion aufgefasst werden. Eine Folge heißt periodisch, falls es ein ${\displaystyle T}$ gibt, so dass für alle ${\displaystyle n\in \mathbb {N} }$ die Gleichheit ${\displaystyle a_{n+T}=a_{n}}$ gilt. Hierbei wurde ausgenutzt, dass die Menge der natürlichen Zahlen eine Halbgruppe ist.

Exponentialfunktion

→ Hauptartikel: Exponentialfunktion

Die (komplexe) Exponentialfunktion ${\displaystyle \exp \colon \mathbb {C} \to \mathbb {C} }$ mit ${\displaystyle x\mapsto \mathrm {e} ^{x}}$ ist eine ${\displaystyle 2\pi \mathrm {i} }$-periodische Funktion. Diese Eigenschaft zeigt sich nur bei der Exponentialfunktion mit komplexem Definitionsbereich. Beweisen kann man sie mit der eulerschen Formel.

Periodische Funktionen als Funktionen auf der Kreislinie

Es sei ${\displaystyle S^{1}=\{z\in \mathbb {C} \mid |z|=1\}}$ der Einheitskreis. Man kann periodische Funktionen auf ${\displaystyle \mathbb {R} }$ mit Periode ${\displaystyle T}$ mit Funktionen auf ${\displaystyle S^{1}}$ identifizieren: Einer Funktion ${\displaystyle f}$ auf ${\displaystyle S^{1}}$ entspricht die ${\displaystyle T}$-periodische Funktion

${\displaystyle x\mapsto f(\mathrm {e} ^{2\pi \mathrm {i} x/T})}$.

Hierbei ist ${\displaystyle \textstyle x\mapsto f(\mathrm {e} ^{2\pi \mathrm {i} x/T})}$ eine Funktion auf dem Einheitskreis, also einer Teilmenge der komplexen Zahlen. Eigenschaften der Funktionen wie Beschränktheit, Stetigkeit oder Differenzierbarkeit übertragen sich jeweils auf die andere Sichtweise.

Beispielsweise entsprechen Fourier-Reihen ${\displaystyle \textstyle \sum _{n\in \mathbb {Z} }c_{n}\mathrm {e} ^{\mathrm {i} n\omega t}}$ unter dieser Abbildung den Laurent-Reihen ${\displaystyle \textstyle \sum _{n\in \mathbb {Z} }c_{n}z^{n}}$.

Periodische Funktionen auf reellen Vektorräumen

Es sei ${\displaystyle V}$ ein ${\displaystyle n}$-dimensionaler reeller Vektorraum, z. B. ${\displaystyle \mathbb {R} ^{n}}$. Eine Periode einer stetigen, reell- oder komplexwertigen Funktion ${\displaystyle f}$ auf ${\displaystyle V}$ oder einem (offenen, zusammenhängenden) Teil ${\displaystyle D}$ von ${\displaystyle V}$ ist ein Vektor ${\displaystyle \gamma \in V}$, so dass

• der Definitionsbereich ${\displaystyle D}$ von ${\displaystyle f}$ invariant unter der Translation mit ${\displaystyle \gamma }$ ist, d. h. ${\displaystyle x\in D\;\Leftrightarrow \;x+\gamma \in D}$
• für alle ${\displaystyle x\in D}$ gilt: ${\displaystyle f(x+\gamma )=f(x)}$.

Die Menge ${\displaystyle \Gamma }$ aller Perioden von ${\displaystyle f}$ ist eine abgeschlossene Untergruppe von ${\displaystyle V}$. Jede solche Untergruppe ist die direkte Summe aus einem Untervektorraum von ${\displaystyle V}$ und einer diskreten Untergruppe; letztere lässt sich beschreiben als die Menge der ganzzahligen Linearkombinationen einer Menge linear unabhängiger Vektoren.

Wendet man diese Theorie auf den reell zweidimensionalen Vektorraum ${\displaystyle V=\mathbb {C} }$ an und betrachtet nur holomorphe Funktionen ${\displaystyle f}$, so gibt es die folgenden Fälle:

• ${\displaystyle \Gamma =\{0\}}$: ${\displaystyle f}$ ist nicht periodisch.
• ${\displaystyle \Gamma =\mathbb {Z} \cdot \gamma }$: ${\displaystyle f}$ ist eine gewöhnliche periodische Funktion; beispielsweise ist die Exponentialfunktion periodisch mit Periode ${\displaystyle \gamma =2\pi \mathrm {i} }$.
• ${\displaystyle \Gamma }$ enthält einen nichttrivialen reellen Unterraum: Eine holomorphe Funktion, die entlang einer Gerade konstant ist, ist insgesamt konstant.
• ${\displaystyle \Gamma =\mathbb {Z} \cdot \gamma _{1}+\mathbb {Z} \cdot \gamma _{2}}$: ${\displaystyle f}$ hat zwei reell linear unabhängige Perioden. Ist ${\displaystyle f}$ auf der ganzen Ebene meromorph, so spricht man von einer elliptischen Funktion.

Siehe auch

• Fastperiodische Funktion
• Periode eines Dezimalbruchs

Weblinks

• A. A. Konyushkov: Periodic function. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 978-1-55608-010-4 (englisch, online).
• Eric W. Weisstein: PeriodicFunction. In: MathWorld (englisch).

Einzelnachweise

1. Periodische Funktion. In: Guido Walz (Hrsg.): Lexikon der Mathematik. 1. Auflage. Spektrum Akademischer Verlag, Mannheim/Heidelberg 2000, ISBN 3-8274-0439-8.