Asymptotische Analyse

In der Mathematik und ihren Anwendungen, insbesondere in der Komplexitätstheorie, bezeichnet asymptotische Analyse eine Methode um das Grenzverhalten von Funktionen zu klassifizieren, indem man nur den wesentlichen Trend des Grenzverhaltens beschreibt.

Inhaltsverzeichnis

Beschreibung des asymptotischen Verhaltens

Das asymptotische Verhalten von Funktionen lässt sich mit einer Äquivalenzrelation beschreiben. Sind beispielsweise f und g reellwertige Funktionen natürlicher Zahlen n, so lässt sich eine Äquivalenzrelation definieren durch

fg

genau dann wenn

\frac{f(n)}{g(n)} \to 1 \mathrm{\ f\ddot{u}r\ } n\to\infty.

Die Äquivalenzklassen von g bestehen aus allen Funktionen h, bei denen der relative Fehler zu g beim Grenzübergang n\to\infty gegen 0 strebt. Diese Definition lässt sich unmittelbar auf Funktionen einer reellen oder komplexen Veränderlichen x übertragen sowie auf den Fall x gegen x0, wobei die Annäherung an x0 oft nur über eine Teilmenge erfolgt..

Einige Beispiele für asymptotische Resultate

  • Der Primzahlsatz der Zahlentheorie besagt, dass die Anzahl von Primzahlen kleiner x für große x sich asymptotisch verhält wie x/log(x).
  • Die Stirling-Formel beschreibt das asymptotische Verhalten der Fakultäten.
  • Drei elementare Beispiele sind sin(x), 1 − cos(x) und cot(x) mit dem asymptotischen Verhalten x, x2 / 2 bzw. 1/x für x gegen 0.

Landau-Notation

Eine nützliche Notation zur Beschreibung der Wachstumsklassen ist die Landau-Notation, die ursprünglich von Paul Bachmann stammt, aber durch Edmund Landau bekannt gemacht wurde. Eine wichtige Anwendung der Landau-Notation ist die Komplexitätstheorie, in der asymptotische Laufzeit und Speicherverbrauch eines Algorithmus untersucht werden.

Die einfachste Art, diese Symbole zu definieren, ist die folgende: O(f(x)) und o(f(x)) sind Klassen von Funktionen mit den Eigenschaften

Für alle g(x) \in O(f(x))\Leftrightarrow \limsup\limits_{x\to x_0} \left |\frac{g(x)}{f(x)}\right| < \infty,
Für alle g(x) \in o(f(x))\Leftrightarrow \lim\limits_{x\to x_0} \left |\frac{g(x)}{f(x)}\right| =0.

x0 wird in der Regel aus dem Kontext klar. Weiter schreibt man häufig statt g(x) \in O(f(x)) das Folgende: g(x) = O(f(x)).

Asymptotische Entwicklung

Unter einer asymptotischen Entwicklung einer Funktion f(x) versteht man die Darstellung der Funktion als divergente (oder zumindest nicht notwendigerweise konvergente) Reihe. Die Partialsummen einer solchen Reihe brauchen nicht zu konvergieren, liefern aber in der Nähe von x0 gute Näherungen für den Funktionswert. Das bekannteste Beispiel einer asymptotischen Entwicklung ist die stirlingsche Reihe als asymptotische Entwicklung für die Fakultät. Definieren lässt sich eine solche Entwicklung mit Hilfe einer asymptotischen Folge n) als

f(x) = \sum_{i=1}^N a_i\varphi_i(x) + \hbox{o}(\varphi_N(x))

mit \varphi_{n+1}(x) = \hbox{o}(\varphi_n(x)), \; x \to x_0.

Falls die asymptotische Entwicklung nicht konvergiert, gibt es für jedes Funktionsargument x einen Index k, bei dem der Approximationsfehler

f(x)-\sum_{i=1}^k a_i\varphi_i(x)

am kleinsten wird; Hinzufügen weiterer Terme verschlechtert die Approximation. Der Index k der besten Approximation wird bei asymptotischen Entwicklungen aber umso größer, je näher x bei x0 liegt.

Asymptotische Entwicklungen treten insbesondere bei der Approximation gewisser Integrale auf, beispielsweise mittels der Sattelpunktmethode. Das asymptotische Verhalten von Reihen lässt sich darauf oft mit Hilfe der eulerschen Summenformel zurückführen.

Literatur

  • Erdélyi, A.: Asymptotic Expansions, New York: Dover, 1987.
  • Berg, L.: Asymptotische Darstellungen und Entwicklungen, Berlin: VEB Deutscher Verlag der Wissenschaften, 1968.

Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Asymptotische Entwicklung — In der Mathematik und ihren Anwendungen, insbesondere in der Komplexitätstheorie, bezeichnet asymptotische Analyse eine Methode um das Grenzverhalten von Funktionen zu klassifizieren, indem man nur den wesentlichen Trend des Grenzverhaltens… …   Deutsch Wikipedia

  • Asymptotische Folge — In der Analysis ist eine asymptotische Folge ein Grundbaustein einer asymptotischen Analyse. Die asymptotische Folge definiert den Ansatzraum einer asymptotischen Entwicklung und bestimmt damit die möglichen Ergebnisse der Analyse. Eine endliche… …   Deutsch Wikipedia

  • Asymptotische Laufzeit — Unter der Zeitkomplexität eines Problems versteht man die Anzahl der Rechenschritte, die ein optimaler Algorithmus zur Lösung dieses Problems benötigt, in Abhängigkeit von der Länge der Eingabe. Man spricht hier auch von der asymptotischen… …   Deutsch Wikipedia

  • Amortisierte Analyse — In der theoretischen Informatik betrachtet die amortisierte Laufzeitanalyse die durchschnittlichen Kosten von Operationen in Folgen. Im Unterschied zur allgemeinen Laufzeitanalyse werden nicht nur die maximalen Kosten der einzelnen Schritte… …   Deutsch Wikipedia

  • Panel-Analyse — Inhaltsverzeichnis 1 Abgrenzung statische und dynamische Modelle 2 Schätzverfahren in den statischen Modellen 3 Schätzverfahren in den dynamischen Modellen 4 Literatur // …   Deutsch Wikipedia

  • Akra-Bazzi-Methode — In der Informatik dient das Akra Bazzi Theorem, oder auch die Akra Bazzi Methode, dazu, das asymptotische Verhalten von Lösungen mathematischer Rekursionsgleichungen zu bestimmen, die bei der asymtotischen Analyse insbesondere von Divide and… …   Deutsch Wikipedia

  • Asymptotik — In der Mathematik und ihren Anwendungen, insbesondere in der Komplexitätstheorie, bezeichnet asymptotische Analyse eine Methode um das Grenzverhalten von Funktionen zu klassifizieren, indem man nur den wesentlichen Trend des Grenzverhaltens… …   Deutsch Wikipedia

  • Aufwandsmaß — Landau Symbole werden in der Mathematik und in der Informatik verwendet, um das asymptotische Verhalten von Funktionen und Folgen zu beschreiben. In der Informatik werden sie insbesondere in der Komplexitätstheorie verwendet, um verschiedene… …   Deutsch Wikipedia

  • Groß-O-Notation — Landau Symbole werden in der Mathematik und in der Informatik verwendet, um das asymptotische Verhalten von Funktionen und Folgen zu beschreiben. In der Informatik werden sie insbesondere in der Komplexitätstheorie verwendet, um verschiedene… …   Deutsch Wikipedia

  • Kostenmaß — Landau Symbole werden in der Mathematik und in der Informatik verwendet, um das asymptotische Verhalten von Funktionen und Folgen zu beschreiben. In der Informatik werden sie insbesondere in der Komplexitätstheorie verwendet, um verschiedene… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”