Periodische Funktion
{{#if: behandelt den mathematischen Begriff Periode in der Bedeutung des Abstandes beim regelmäßigen Wiederkehren eines Funktionswertes. Siehe Periode (Dezimalbruch) und Periode für weitere Bedeutungen des Begriffs.
| Vorlage:Hinweisbaustein | {{#ifeq: 0 | 0 |}}
}}
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 <math>2\pi</math>-periodisch, sondern auch <math>4\pi</math>-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 <math>\R</math> definierte konstante Funktion hat jede beliebige Zahl als Periode.
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 <math>T</math> (engl.: Time).
Da eine periodische Funktion bekannt ist, wenn man ihren Verlauf innerhalb einer Periode kennt, werden nicht-trigonometrische periodische Funktion in der Regel in einem Grundintervall definiert und dann periodisch fortgesetzt.
So wie viele reelle Funktionen in Potenzreihen entwickelt werden können, kann man, unter gewissen Voraussetzungen, eine periodische Funktion als Reihe von Sinus- und Kosinus-Funktionen entwickeln: siehe Fourier-Reihe.
Periodische Folgen können als Spezialfälle der periodischen Funktionen verstanden werden.
Funktionen, die nicht periodisch sind, werden manchmal – um dies extra zu betonen – als aperiodisch bezeichnet.
Reelle periodische Funktionen
oben: <math>\mathcal D_f=\R</math>. (blau),
unten: <math>\mathcal D_f</math> Teilmenge von <math>\R</math> (blau),
lila: Periode
Definition
Eine reelle Zahl <math>T</math> ist eine Periode einer in <math>\mathcal{D}_f \subseteq \mathbb{R}</math> definierten Funktion, wenn für jedes <math>x</math> aus <math> \mathcal{D}_f </math> gilt:
- <math> x + T</math> ist in <math> \mathcal{D}_f</math> und
- <math>f(x+T) = f(x)\; .</math>
Die Funktion <math>f</math> ist periodisch, wenn sie mindestens eine Periode <math>T \neq 0</math> zulässt. Man sagt dann auch, <math>f</math> sei „<math>T</math>-periodisch“.
Für <math>\mathcal{D}_f =\mathbb{R}</math>, was oft der Fall ist, ist die erste Eigenschaft immer erfüllt.
Eigenschaften der Perioden
Für die Periode gelten folgende Eigenschaften:
- Ist <math>T</math> eine Periode von <math>f</math>, so ist auch <math>-T</math> eine Periode von <math>f</math>;
- Sind <math>T_1</math> und <math>T_2</math> zwei Perioden von <math>f</math>, so ist auch <math>k_1 T_1+ k_2 T_2</math> mit <math>k_1, k_2 \in \Z</math> eine Periode von <math>f</math>.
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 <math>f</math> eine kleinste positive Periode hat, so sind die Perioden von <math>f</math> die Vielfachen von <math>T</math>. Im anderen Fall ist die Menge der Perioden von <math>f</math> dicht in <math>\mathbb R</math>.
Beispiele
Trigonometrische Funktionen
Die Standardbeispiele periodischer Funktionen sind die trigonometrischen Funktionen.
So ist beispielsweise die auf ganz <math>\R</math> definierte Sinusfunktion periodisch. Ihre Funktionswerte wiederholen sich im Abstand von <math>2 \pi</math> (<math>\pi</math> ist die Kreiszahl Pi); sie hat also die Periode <math>2\pi</math>.
Die Tangensfunktion mit dem Definitionsbereich <math>\R\setminus \{k\pi + \tfrac \pi 2\;|\;k\in\mathbb Z\}</math> ist ebenfalls eine trigonometrische Funktion; sie hat die Periode <math>\pi</math> und nicht <math>2\pi</math>, obwohl sie als Quotient zweier <math>2\pi</math>-periodischer Funktionen darstellbar ist: <math>\tan x=\tfrac{\sin x}{\cos x}</math>.
Summe von cos- und sin-Funktionen
Summen von cos- und sin-Funktionen mit einer gemeinsamen (nicht unbedingt kleinste) Periode <math>T</math> sind wieder periodisch. (Im Bild ist die gemeinsame Periode <math>2\pi</math>.) 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: <math>f(x)=\sin x +\sin(\pi x)</math> ist nicht periodisch.
Periodische Fortsetzung
Im Beispiel zur Definition wurde im oberen Teil des Bildes eine auf einem halboffenen Intervall <math>(a,b]</math> gegebene Funktion durch einfaches Verschieben um ganzzahlige Vielfache von <math>b-a</math> zu einer periodischen Funktion der Periode <math>T=b-a</math> fortgesetzt. Diese Art nennt man direkte periodische Fortsetzung, zum Unterschied der geraden und ungeraden periodischen Fortsetzung.
Die folgende formale Definition liefert auch eine Möglichkeit, eine periodisch fortgesetzte Funktion mit einem Computer auszuwerten, da die verwendete Abrundungsfunktion in vielen Mathematik-Systemen direkt oder indirekt realisiert ist.
Definition
Ist eine Funktion <math>f_0</math> auf dem Intervall <math>[a, b]</math> mit <math>f_0(a) = f_0(b)</math> gegeben, dann ist die Funktion <math>f</math> mit
- <math>f(x) = f_0\left(x - \left\lfloor \frac{x-a}{T} \right\rfloor \cdot T\right), \; x\in \R </math>
die (direkte) periodische Fortsetzung von <math>f_0</math> auf ganz <math>\mathbb R</math> und <math>T = b-a</math> ihre Periode.
<math>\lfloor\cdot \rfloor</math> ist die Abrundungsfunktion. Die Verwendung der Abrundungsfunktion stellt sicher, dass die Funktion <math>f_0</math> nur für x-Werte aus ihrem Definitionsbereich ausgewertet wird (s. Bild).
Beispiel: Periodische Fortsetzung des Parabelbogens <math>f_0(x)=(x-1)(4-x),\; a=1,b=4</math> mit der Periode <math>T = b-a = 3</math>. Der Funktionswert an der Stelle (z. B.) <math>x=8</math>
- <math>f(8) = f_0\left(8-\left\lfloor\frac 7 3 \right\rfloor\cdot 3\right) = f_0(8-2\cdot 3)=f_0(2)=2\; .</math>
Da periodische Funktionen oft in Fourier-Reihen entwickelt werden und eine gerade/ungerade periodische Funktion ausschließlich mit Kosinus/Sinus-Termen darstellbar ist, sind die folgenden Fortsetzungen von besonderem Interesse:
oben: ungerade, unten: gerade
Ungerade Fortsetzung:
In diesem Fall geht man von einer auf dem Intervall <math>[0,b]</math> definierte Funktion <math>f_0</math> mit <math>f_0(0)=f_0(b)=0</math> aus. In einem ersten Schritt setzt man die Funktion durch Spiegeln am Nullpunkt auf das Intervall <math>[-b,0]</math> fort:
- <math> f_u(x)=\begin{cases} \quad f_0(x)\;, \ \quad 0\le x \le b\\
-f_0(-x)\;, \; -b\le x < 0 \ .
\end{cases}</math>
Die auf dem Intervall <math>[-b,b]</math> definierte Funktion <math>f_u</math> wird jetzt (wie oben beschrieben) direkt periodisch fortgesetzt. Dadurch entsteht eine auf <math>\R</math> definierte ungerade periodische Funktion <math>f</math> der Periode <math>T=2b</math>.
Gerade Fortsetzung:
Die analoge Prozedur mit
- <math> f_g(x)=\begin{cases} f_0(x), \quad \ \ 0\le x \le b\\
f_0(-x), \; -b\le x < 0
\end{cases}</math>
liefert eine gerade periodische Funktion der Periode <math>T=2b</math>.
Fourierreihe: Beispiel
{{#if: Fourierreihe|{{#ifexist:Fourierreihe|
|{{#if: |{{#ifexist:{{{2}}}|
|{{#if: |{{#ifexist:{{{3}}}|
|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}
Die Fourierreihe einer <math>2\pi</math>-periodischen ungeraden Funktion <math>f</math> hat die Form
- <math>\;\sum_{k=1}^{\infty}b_k\sin\left(kt\right)\;</math>
mit
- <math>
b_{k} = \frac{1}{\pi}\int_{-\pi}^{\pi}f(t)\cdot\sin\left(kt\right)\mathrm dt\quad\text{für }k\geq1\; . </math>
Das Ziel einer Fourierreihenentwicklung ist die Approximation einer periodischen Funktion auf (ganz !) <math>\R</math> durch Summen von einfachen periodischen Funktionen. Im Idealfall stellt die Fourierreihe die gegebene Funktion auf <math>\R</math> 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 <math>[0,\pi]</math> gegebene Funktion <math>f_0</math> (zwei Geradenstücke, rot) ungerade zu einer <math>2\pi</math>-periodischen Funktion <math>f</math> fortgesetzt und dann in eine Fourierreihe (nur mit sin-Termen) entwickelt. Man erkennt, wie gut/schlecht Teilsummen der Fourierreihe (der Längen <math>n= 3, 6, 12</math>) die Funktion <math>f_0</math> approximieren. Während <math>f_0</math> unstetig ist (sie hat Sprungstellen), sind die Teilsummen als Summen von sin-Termen alle stetig.
Im Beispiel ist
- <math> f_0(x)=\begin{cases} x \;, \ \quad 0\le x \le \frac \pi 2\\
2{,}5\;, \; \frac \pi 2< x < \pi \\
0 \;, \qquad x=\pi \ .
\end{cases}</math>
und die Teilsumme für <math>n=3</math>:
- <math>\;\sum_{k=1}^{3}b_k\sin\left(kt\right)
= \frac{1}{\pi} \left(7 \sin x + \left(\frac \pi 2-5\right)\sin 2x + \frac{13}{9} \sin3x\right) \ . </math>
Allgemeinere Definition
Der Begriff der periodischen Funktion beschränkt sich nicht nur auf reelle Funktionen. Man kann ihn allgemeiner definieren für Funktionen, auf deren Quellmenge eine Addition erklärt ist.
Sei also <math>G</math> eine (additive) Halbgruppe, <math>M</math> eine Menge und <math>f \colon G \to M</math> eine Funktion. Existiert ein <math>T \in G</math> mit
- <math>f(g + T) = f(g)</math>
für alle <math>g \in G</math>, dann heißt die Funktion <math>f</math> periodisch mit Periode <math>T</math>.<ref>{{#invoke:Vorlage:Literatur|f}}</ref>
Beispiele
Periodische Folgen
{{#if: Periodische Folge|{{#ifexist:Periodische Folge|
|{{#if: |{{#ifexist:{{{2}}}|
|{{#if: |{{#ifexist:{{{3}}}|
|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}
Da eine reelle Folge <math>(a_{n})_{n \in \N}</math> eine Funktion von den natürlichen Zahlen <math>\N</math> in die reellen Zahlen <math>\R</math> ist, kann der Begriff der periodischen Folge als Spezialfall einer periodischen Funktion aufgefasst werden. Eine Folge heißt periodisch, falls es ein <math>T</math> gibt, so dass für alle <math>n \in \N</math> die Gleichheit <math>a_{n+T} = a_n</math> gilt. Hierbei wurde ausgenutzt, dass die Menge der natürlichen Zahlen eine Halbgruppe ist.
Exponentialfunktion
{{#if: Exponentialfunktion|{{#ifexist:Exponentialfunktion|
|{{#if: |{{#ifexist:{{{2}}}|
|{{#if: |{{#ifexist:{{{3}}}|
|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}
Die (komplexe) Exponentialfunktion <math>\exp \colon \Complex \to \Complex</math> mit <math>x \mapsto \mathrm e^x</math> ist eine <math>2\pi \mathrm{i}</math>-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 <math>S^1=\{z\in\mathbb C\mid |z|=1\}</math> der Einheitskreis. Man kann periodische Funktionen auf <math>\R</math> mit Periode <math>T</math> mit Funktionen auf <math>S^1</math> identifizieren: Einer Funktion <math>f</math> auf <math>S^1</math> entspricht die <math>T</math>-periodische Funktion
- <math>x\mapsto f(\mathrm e^{2\pi\mathrm i x/T})</math>.
Hierbei ist <math>\textstyle x\mapsto f(\mathrm e^{2\pi\mathrm i x/T})</math> 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 <math>\textstyle \sum_{n\in\mathbb Z}c_n\mathrm e^{\mathrm in\omega t}</math> unter dieser Abbildung den Laurent-Reihen <math>\textstyle \sum_{n\in\mathbb Z}c_nz^n</math>.
Periodische Funktionen auf reellen Vektorräumen
Es sei <math>V</math> ein <math>n</math>-dimensionaler reeller Vektorraum, z. B. <math>\R^n</math>. Eine Periode einer stetigen, reell- oder komplexwertigen Funktion <math>f</math> auf <math>V</math> oder einem (offenen, zusammenhängenden) Teil <math>D</math> von <math>V</math> ist ein Vektor <math>\gamma\in V</math>, so dass
- der Definitionsbereich <math>D</math> von <math>f</math> invariant unter der Translation mit <math>\gamma</math> ist, d. h. <math>x\in D \; \Leftrightarrow \; x+\gamma\in D</math>
- für alle <math>x\in D</math> gilt: <math>f(x+\gamma)=f(x)</math>.
Die Menge <math>\Gamma</math> aller Perioden von <math>f</math> ist eine abgeschlossene Untergruppe von <math>V</math>. Jede solche Untergruppe ist die direkte Summe aus einem Untervektorraum von <math>V</math> 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 <math>V=\mathbb C</math> an und betrachtet nur holomorphe Funktionen <math>f</math>, so gibt es die folgenden Fälle:
- <math>\Gamma=\{0\}</math>: <math>f</math> ist nicht periodisch.
- <math>\Gamma=\mathbb Z\cdot\gamma</math>: <math>f</math> ist eine gewöhnliche periodische Funktion; beispielsweise ist die Exponentialfunktion periodisch mit Periode <math>\gamma=2\pi\mathrm i</math>.
- <math>\Gamma</math> enthält einen nichttrivialen reellen Unterraum: Eine holomorphe Funktion, die entlang einer Gerade konstant ist, ist insgesamt konstant.
- <math>\Gamma=\mathbb Z\cdot\gamma_1+\mathbb Z\cdot\gamma_2</math>: <math>f</math> hat zwei reell linear unabhängige Perioden. Ist <math>f</math> auf der ganzen Ebene meromorph, so spricht man von einer elliptischen Funktion.
Siehe auch
Weblinks
- {{#invoke:Vorlage:Literatur|f}}{{#if:Periodic_function|}}
- {{#if: | {{{author}}} | Eric W. Weisstein }}: PeriodicFunction. In: MathWorld (englisch). {{#if: | {{#ifeq: {{#property:P2812}} | {{{id}}} | | {{#if: {{#property:P2812}} | {{#ifeq: 0 | 0 | }} | {{#ifeq: 0 | 0 | }} }} }} }}
Einzelnachweise
<references />
{{#ifeq: s | p | | {{#if: 4224901-6 | |
}} }}{{#ifeq:||{{#if: | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|{{{GNDCheck}}}|7}}]] }}{{#if: | {{#if: | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: s | p | {{#if: 4224901-6 | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: s | p | {{#if: 4224901-6 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: s | p | {{#if: | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: s | p | {{#if: | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: s | p | {{#if: | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: s | p | {{#if: | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung
- Wikipedia:Vorlagenfehler/Mehrdeutigkeitshinweis
- Wikipedia:Wikidata P2812 verschieden
- Wikipedia:Wikidata P2812 fehlt
- Wikipedia:GND fehlt
- Wikipedia:Normdaten-TYP falsch oder fehlend
- Wikipedia:GND in Wikipedia fehlt, in Wikidata vorhanden
- Wikipedia:GND in Wikipedia vorhanden, fehlt jedoch in Wikidata
- Wikipedia:LCCN in Wikipedia fehlt, in Wikidata vorhanden
- Wikipedia:LCCN in Wikipedia vorhanden, fehlt jedoch in Wikidata
- Wikipedia:VIAF in Wikipedia fehlt, in Wikidata vorhanden
- Wikipedia:VIAF in Wikipedia vorhanden, fehlt jedoch in Wikidata
- Folgen und Reihen