Gegenbeispiele der Funktionentheorie und Analysis: Unterschied zwischen den Versionen
| Zeile 6: | Zeile 6: | ||
=== Motivation === | === Motivation === | ||
| − | In der eindimensionalen reellen Analysis definieren wir die Differenzierbarkeit einer Funktion <math>f\colon\mathbb{R} \to \mathbb{R}</math> im Punkt <math>x_0</math> über ihren Differenzenquotienten | + | In der eindimensionalen reellen Analysis definieren wir die Differenzierbarkeit einer Funktion <math>f\colon\mathbb{R} \to \mathbb{R}</math> im Punkt <math>x_0</math> über ihren Differenzenquotienten <math>\frac {f(x) - f(x_0)} {x-x_0}</math>. |
| − | |||
| − | <math>\frac {f(x) - f(x_0)} {x-x_0}</math>. | ||
Für mehrdimensionale Funktionen <math>f\colon\mathbb{R^n} \to \mathbb{R^m}</math> ist dieser Ausdruck aber nicht mehr sinnvoll, da man hier durch einen Vektor <math>x-x_0 \in \mathbb{R^n}</math> teilen würde. Daher benötigt man dort die Definition über das totale Differential. | Für mehrdimensionale Funktionen <math>f\colon\mathbb{R^n} \to \mathbb{R^m}</math> ist dieser Ausdruck aber nicht mehr sinnvoll, da man hier durch einen Vektor <math>x-x_0 \in \mathbb{R^n}</math> teilen würde. Daher benötigt man dort die Definition über das totale Differential. | ||
Version vom 26. März 2021, 18:27 Uhr
Diese Seite untersucht Gegenbeispiele in den mathematischen Teilgebieten "Funktionentheorie" und "Analysis".
Wir untersuchen die Unterschiede zwischen komplexer Differenzierbarkeit und total reeller Differenzierbarkeit. Hierfür formulieren wir einige besondere Eigenschaften komplex Differenzierbarer (holomorpher) Funktionen, und finden reelle Gegenbeispiele, für welche diese Aussagen nicht gelten. Dem gegenüber stellen wir harmonische Funktionen, eine Klasse reellwertiger [math]C^2[/math]-Funktionen, welche holomorphen Funktionen in gewisser Weise ähnlich sind.
Holomorphe Funktionen
Motivation
In der eindimensionalen reellen Analysis definieren wir die Differenzierbarkeit einer Funktion [math]f\colon\mathbb{R} \to \mathbb{R}[/math] im Punkt [math]x_0[/math] über ihren Differenzenquotienten [math]\frac {f(x) - f(x_0)} {x-x_0}[/math].
Für mehrdimensionale Funktionen [math]f\colon\mathbb{R^n} \to \mathbb{R^m}[/math] ist dieser Ausdruck aber nicht mehr sinnvoll, da man hier durch einen Vektor [math]x-x_0 \in \mathbb{R^n}[/math] teilen würde. Daher benötigt man dort die Definition über das totale Differential.
Für den Spezialfall [math]f\colon\mathbb{R}^2 \to \mathbb{R}^2[/math] können wir jedoch auch [math]\mathbb{R}^2[/math] mit [math]\mathbb{C}[/math] identifizieren und die Körperstruktur von [math]\mathbb{C}[/math] nutzen. Dort ist also die Division durch [math]x-x_0 \in \mathbb{C}[/math] möglich, und wir erhalten mit dem klassischen Differenzenquotienten eine stärkere Art der Differenzierbarkeit, welche die Existenz eines totalen Differentials impliziert und darüber hinaus geht.
Definition
Sei [math]U\subseteq \mathbb{C}[/math] eine offene Teilmenge der komplexen Ebene. Eine Funktion [math]f\colon U \to \mathbb{C}[/math] heißt komplex differenzierbar im Punkt [math]z_0 \in U[/math], falls der Grenzwert [math]\lim \limits_{h \to 0}\frac{f(z_0+h)-f(z_0)}{h}[/math] existiert. Den Grenzwert bezeichnet man als [math]f'(z_0)[/math].
Ist [math]f[/math] in jedem Punkt [math]z \in U[/math] komplex differenzierbar, so heißt [math]f[/math] holomorph in [math]U[/math].
Ist [math]f[/math] auf ganz [math]\mathbb{C}[/math] komplex differenzierbar, so heißt [math]f[/math] ganze Funktion.