Funktionalableitung

aus Wikipedia, der freien Enzyklopädie

Die Funktionalableitung auch Variationsableitung[1] ist eine verallgemeinerte Richtungsableitung eines Funktionals. Ein Funktional ist dabei eine Abbildung, die einer Funktion eine Zahl zuordnet. Weil der zugrundeliegende Vektorraum in diesem Fall also ein Funktionenraum ist, wird „in Richtung einer Funktion“ abgeleitet. Ein verwandtes Konzept ist die erste Variation.

Die Funktionalableitung ist in der theoretischen Physik relevant. Dort wird sie unter anderem in der Dichtefunktionaltheorie und der Feldtheorie verwendet.

Definition

Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M} eine Untermenge eines topologischen Vektorraumes und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F \colon M \to \mathbb{K}} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{K} \in \{\R, \Complex\}} ein (nicht zwingend lineares) Funktional, dann ist die erste Variation von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} definiert durch

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \delta F[y]:= \lim_{\varepsilon\to 0}\frac{F[y+\varepsilon \phi]-F[y]}{\varepsilon} = \frac{d}{d\varepsilon}F[y+\varepsilon \phi]\bigg\vert_{\varepsilon=0}}

für eine beliebige Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \phi} (in einem nicht näher bestimmten Funktionenraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Omega(D)} ) mit der einzigen Bedingung, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y+\varepsilon \phi} eindeutig definiert ist für hinreichend kleine Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varepsilon > 0} . Der Funktionenraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Omega(D)} muss kein Unterraum von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M} sein, so lange Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y+\varepsilon \phi \in M} für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varepsilon > 0} ist.

Die Funktionalableitung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \tfrac{\delta F[y]}{\delta y(x)}} von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} ist dann definiert durch

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \int_D \frac{\delta F[y]}{\delta y(x)} \phi(x) \mathrm{d} x:= \left. \frac{d}{d\varepsilon}F[y+\varepsilon \phi]\right |_{\varepsilon=0}} .

Diese Definition impliziert, dass die rechte Seite in die Form eines linearen Integraloperators mit Integralkern Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \tfrac{\delta F[Y]}{\delta y(x)}} gebracht werden kann. Dies ist im Allgemeinen für beliebige Funktionale und beliebige Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} nicht möglich. Ein Funktional, für das eine solche Integralform existiert, heißt differenzierbar.[1][2]

Die Funktionalableitung spielt hierbei die Rolle eines Gradienten, was durch die Notation Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \tfrac{\delta}{\delta y(x)}} ausgedrückt werden soll.

Eigenschaften

Analog zur üblichen Richtungsableitung hat auch die Funktionalableitung folgende Eigenschaften.

  1. Die Funktionalableitung ist eine lineare Abbildung[2]:
    Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac{\delta}{\delta y(x)} (\alpha F[y] + \beta G[y]) = \alpha \frac{\delta F[y]}{\delta y(x)} + \beta \frac{\delta G[y]}{\delta y(x)}}
  2. Für ein Produkt aus Funktionalen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H[y] = F[y] G[y]} gilt die Produktregel[2]:
    Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac{\delta}{\delta y(x)} (F[y] G[y]) = F[y] \frac{\delta G[y]}{\delta y(x)} + \frac{\delta F[y]}{\delta y(x)} G[y] }
  3. Falls Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} linear ist, dann ist
    Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F[y] = \int_{D} y(x) \frac{\delta F[y]}{\delta y(x)} dx} .
    Dies ist auch ein Folgerung aus dem Darstellungssatz von Fréchet-Riesz: Weil Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} hier ein lineares Funktional ist, lässt es sich als Skalarprodukt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \textstyle \left\langle y, \frac{\delta F[y]}{\delta y} \right\rangle} darstellen.
  4. Operiert das Funktional Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} zwischen Teilmengen von Banachräumen und ist die Funktionalableitung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y \mapsto \tfrac{\delta F[y]}{\delta y(x)}} von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} eine lineare Abbildung, dann existiert auch die Fréchet-Ableitung von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} und stimmt mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \textstyle \int_D y(x) \frac{\delta F[y]}{\delta y(x)} dx} überein.[1]

Beispiele

  • Das nicht-lineare Funktional
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F[y] = \int_{\mathbb{R}} y(x)^2 g(x) dx}
hat die Funktionalableitung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \tfrac{\delta F[y]}{\delta y(x)} = 2 y(x) g(x)} , wie sich mithilfe der Definition zeigen lässt:
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \begin{align} \int_{\mathbb{R}} \frac{\delta F[y]}{\delta y(x)} h(x) dx &= \lim_{\varepsilon\to 0}\frac{1}{\varepsilon} (F[y+\varepsilon h]-F[y]) \\ &= \lim_{\varepsilon\to 0}\frac{1}{\varepsilon} \left( \int_{\mathbb{R}} (y(x) + \varepsilon h(x))^2 g(x) dx - \int_{\mathbb{R}} y(x)^2 g(x) dx \right) \\ &= \lim_{\varepsilon\to 0}\frac{1}{\varepsilon} \int_{\mathbb{R}} 2 y(x) \varepsilon h(x) g(x) + \varepsilon^2 h(x)^2 g(x) dx \\ &= \int_{\mathbb{R}} 2 y(x) g(x) h(x) dx \end{align} } .
Da dies für alle Testfunktionen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle h} gelten muss, folgt
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac{\delta F[y]}{\delta y(x)} = 2 y(x) g(x)} .
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E_x[\varrho] := c \int_{\mathbb{R}} \varrho(r)^{4/3} d^3 r}
ein Funktional der Dichte Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varrho} .[3] Das zugehörige Austauschpotential ist
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V_x(r) := \frac{\delta E_x[\varrho]}{\delta \varrho(r)} = c \frac{4}{3} \varrho(r)^{1/3}} .
  • Ein weiteres, mehrdimensionales Beispiel aus der Dichtefunktionaltheorie ist die Elektron-Elektron-Wechselwirkung als Funktional Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} der Dichte Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varrho} :
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F[\varrho] = \frac{k}{2} \iint_{\mathbb{R}^6} \frac{\varrho(\mathbf{r}) \varrho(\mathbf{r}')}{\vert \mathbf{r}-\mathbf{r}' \vert}\, d\mathbf{r} d\mathbf{r}' \, .}
Es gilt
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \begin{align} \int_{\mathbb{R}^3} \frac{\delta F[\varrho]}{\delta \varrho(\mathbf{r})} h(\mathbf{r}) d\boldsymbol{r} &= \lim_{\varepsilon\to 0}\frac{1}{\varepsilon} (F[\varrho+\varepsilon h]-F[\varrho]) \\ &= \lim_{\varepsilon\to 0}\frac{1}{\varepsilon} \frac{k}{2} \left( \iint_{\mathbb{R}^6} \frac {[\varrho(\boldsymbol{r}) + \epsilon h(\boldsymbol{r})] \, [\varrho(\boldsymbol{r}') + \epsilon h(\boldsymbol{r}')] }{\vert \boldsymbol{r}-\boldsymbol{r}' \vert}\, d\boldsymbol{r} d\boldsymbol{r}' - \iint_{\mathbb{R}^6} \frac {\rho(\boldsymbol{r}) \, \rho(\boldsymbol{r}')}{\vert \boldsymbol{r}-\boldsymbol{r}' \vert}\, d\boldsymbol{r} d\boldsymbol{r}' \right) \\ &= \frac{k}{2}\iint_{\mathbb{R}^6} \frac {\varrho(\boldsymbol{r}') h(\boldsymbol{r}) }{\vert \boldsymbol{r}-\boldsymbol{r}' \vert}\, d\boldsymbol{r} d\boldsymbol{r}' + \frac{k}{2}\iint_{\mathbb{R}^6} \frac {\varrho(\boldsymbol{r}) h(\boldsymbol{r}') }{\vert \boldsymbol{r}-\boldsymbol{r}' \vert}\, d\boldsymbol{r} d\boldsymbol{r}' \\ &= \frac{2k}{2} \iint_{\mathbb{R}^6} \frac {\varrho(\boldsymbol{r}') h(\boldsymbol{r}) }{\vert \boldsymbol{r}-\boldsymbol{r}' \vert}\, d\boldsymbol{r}' d\boldsymbol{r} \\ &= \int_{\mathbb{R}^3} \left( k \int_{\mathbb{R}^3} \frac {\varrho(\boldsymbol{r}') }{\vert \boldsymbol{r}-\boldsymbol{r}' \vert}\, d\boldsymbol{r}' \right) h(\boldsymbol{r}) d\boldsymbol{r} \end{align} } .
Da dies für alle Testfunktionen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle h} gelten muss, folgert man das[2] Ergebnis
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac{\delta F[y]}{\delta \varrho(\boldsymbol{r})} = k \int_{\mathbb{R}^3} \frac {\varrho(\boldsymbol{r}') }{\vert \boldsymbol{r}-\boldsymbol{r}' \vert} d\boldsymbol{r}'} .
  • In der Quantenfeldtheorie ist folgendes Beispiel nützlich, um Korrelationsfunktionen aus Zustandssummen zu berechnen. Das Funktional ist
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F[y]= e^{\int_{\mathbb{R}} y(x) g(x) dx}} .
Mithilfe des Grenzwerts
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \lim_{\varepsilon\to 0}\frac{e^{\varepsilon a} - 1}{\varepsilon} = \lim_{\varepsilon\to 0}\frac{1 + \varepsilon a + \frac{\varepsilon^2}{2} a^2 + ... - 1}{\varepsilon} = a}
zeigt man
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac{\delta F[y]}{\delta y(x)} = e^{\int_{\mathbb{R}} y(x) g(x) dx} g(x) = F[y] g(x)} .
  • Lässt man auch Distributionen zu, so kann man eine reelle Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} mithilfe der Delta-Distribution als Funktional schreiben:
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(x) = F_x[f] := \int_{\mathbb{R}} f(y) \delta(x - y) dy} .
In diesem Sinne ist[4]
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac{\delta f(x)}{\delta f(y)} = \delta(x - y)} .

Mögliche Voraussetzungen für die Existenz der Funktionalableitung

Die Abbildung

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \phi \mapsto \left [ \frac{d}{d\varepsilon}F[y+\varepsilon \phi]\right ]_{\varepsilon=0}}

ist ein lineares Funktional. Erfüllt es zusätzliche Voraussetzungen, so kann auf dieses Funktional der Darstellungssatz von Riesz-Markow angewandt werden. Dann gibt es ein Maß Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu} , so dass das Funktional als Integral gegen dieses Maß aufgefasst werden kann, das heißt es gibt eine Darstellung

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \delta F[y] = \int_D y(x) \mathrm{d} \mu(x)} .

Kann man zusätzlich den Satz von Radon-Nikodým anwenden, so gibt es eine Dichtefunktion, so dass

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \delta F[y] = \int_D y(x) \frac{\delta F[y]}{\delta y(x)} \mathrm{d} x}

gilt. Diese Dichtefunktion ist dann die Funktionalableitung.

Siehe auch

Einzelnachweise

  1. ↑ a b c Eberhard Engel, Reiner M. Dreizler: Density Functional Theory: An Advanced Course (Theoretical and Mathematical Physics). Springer, 2011, ISBN 978-3-642-14089-1, S. 405–406.
  2. ↑ a b c d R. G. Parr, W. Yang Appendix A, Functionals. In: Density-Functional Theory of Atoms and Molecules. Oxford University Press, New York 1989, ISBN 978-0195042795, S. 246–254.
  3. ↑ Klaus Capelle, A bird's-eye view of density-functional theory, Version 5, November 2006, Gleichung (83)
  4. ↑ Eberhard Engel, Reiner M. Dreizler: Density Functional Theory: An Advanced Course (Theoretical and Mathematical Physics). Springer, 2011, ISBN 978-3-642-14089-1, S. 407–408.
Abgerufen von „https://de.wikiup.org/index.php?title=Funktionalableitung&oldid=218783270“