Elementare Funktionen: Analyse und komplexe Eigenschaften

Elementare Funktionen in der komplexen Analysis: Eine strenge axiomatische Konstruktion

Die Exponentialfunktion wird über eine Potenzreihe mit unendlichem Konvergenzradius definiert:

exp(z) = \sum_{k=0}^\infty \frac{z^k}{k!}, \quad z = t + i\tau \in \mathbb{C}

Sie ist eine ganze Funktion, die ein komplexes Argument auf einen komplexen Wert abbildet. Eine direkte Überprüfung bestätigt, dass sie das Cauchy-Problem erfüllt:

\frac{dw}{dz} = w, \quad w(0) = 1, \quad w(z) = \exp(z)

Die Gruppeneigenschaft von Lösungen gewöhnlicher Differentialgleichungen ergibt die Multiplikativität:

\exp(z_1 + z_2) = \exp(z_1) \exp(z_2)

Die Exponentialfunktion verschwindet an keiner Stelle in \mathbb{C}, sonst wäre sie identisch null. Auf der reellen Achse gilt \exp(t) > 0 und sie ist monoton steigend.

Definiere e := \exp(1) > 1. Aus der Multiplikativität folgt:

\exp(m/n) = \sqrt[n]{e^m}, \quad m \in \mathbb{Z}, \quad n \in \mathbb{N}

Daher die Grenzwerte: \lim_{t \to \infty} \exp(t) = \infty, \lim_{t \to -\infty} \exp(t) = 0. Dies rechtfertigt die Schreibweise e^z := \exp(z).

Logarithmus und Verallgemeinerungen

Der natürliche Logarithmus ist die Umkehrfunktion der Exponentialfunktion:

\ln: (0, \infty) \to \mathbb{R}, \quad \ln \exp t = t, \quad \exp \ln \xi = \xi, \quad \xi > 0

Allgemeiner Logarithmus und Potenz:

\log_a \xi := \frac{\ln \xi}{\ln a}, \quad a^t := \exp(t \ln a), \quad a > 0, \ a \ne 1

Diese Definitionen bewahren algebraische Eigenschaften in der komplexen Ebene bei Verwendung des Hauptzweigs.

Komplexe trigonometrische Funktionen

Kosinus und Sinus werden über die Exponentialfunktion definiert:

\cos z := \frac{e^{iz} + e^{-iz}}{2}, \quad \sin z := \frac{e^{iz} - e^{-iz}}{2i}

Dies ergibt den trigonometrischen Pythagoras und die Ableitungen:

\cos^2 z + \sin^2 z = 1, \quad \frac{d}{dz} \cos z = -\sin z, \quad \frac{d}{dz} \sin z = \cos z

Eulersche Formel:

e^{iz} = \cos z + i \sin z

Geometrische Interpretation auf dem Einheitskreis

Eine parametrische Kurve in \mathbb{R}^2:

x(t) = \cos t, \quad y(t) = \sin t

Erfüllt:

x^2(t) + y^2(t) = 1, \quad \dot{x}^2 + \dot{y}^2 = 1, \quad \begin{vmatrix} x(t) & y(t) \\ \dot{x}(t) & \dot{y}(t) \end{vmatrix} = 1

Theorem. Die Funktionen (x(t), y(t)) geben eine parametrische Gleichung des Einheitskreises mit Mittelpunkt im Ursprung an. Der Parameter t ist natürlich: Geschwindigkeit \sqrt{\dot{x}^2 + \dot{y}^2} = 1. Zunehmendes t entspricht einer Durchlaufung gegen den Uhrzeigersinn.

Periodizität: \cos(t + 2\pi) = \cos t, \sin(t + 2\pi) = \sin t, wobei \pi die halbe Umfangslänge ist.

Natürlicher Parameter und Bogenlänge

Für eine glatte Kurve \gamma(t) = (x(t), y(t)), x, y \in C^1[t_1, t_2], \dot{\gamma} \ne 0:

\ell = \int_{t_1}^{t_2} \sqrt{\dot{x}^2(t) + \dot{y}^2(t)} \, dt

Der Parameter ist natürlich, wenn der Wurzelausdruck gleich 1 ist. Dann ist t proportional zur Bogenlänge, wie im Fall des Einheitskreises.

Wichtige Eigenschaften für die Analysis:

• Die Exponentialfunktion ist die einzige ganze Lösung des Cauchy-Problems dw/dz = w, w(0)=1.
• Multiplikativität stellt sicher, dass Nullstellen unmöglich sind.
• Trigonometrie reduziert sich auf die Exponentialfunktion und bewahrt Differentialeigenschaften.
• Die Kreisparametrisierung zeigt den Zusammenhang zur euklidischen Geometrie.
• Der natürliche Parameter vereinheitlicht das Längenkonzept in der Differentialgeometrie.

Wichtige Erkenntnisse

• Die Exponentialfunktion wird durch eine Taylorreihe mit unendlichem Konvergenzradius definiert, eine ganze Funktion.
• Multiplikativität \exp(z_1 + z_2) = \exp(z_1)\exp(z_2) folgt aus der gewöhnlichen Differentialgleichung.
• Trigonometrische Funktionen werden über die Exponentialfunktion definiert und erfüllen klassische Identitäten.
• Die parametrische Kurve (\cos t, \sin t) ist der Einheitskreis mit einem natürlichen Parameter.
• Bogenlänge wird über das Integral der Geschwindigkeit berechnet; der natürliche Parameter vereinfacht Berechnungen.

— Editorial Team