Greensche Formeln

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

In der Mathematik, speziell der Vektoranalysis, sind die beiden greenschen Formeln (manchmal auch greensche Identitäten, greensche Sätze oder Theoreme) spezielle Anwendungen des gaußschen Integralsatzes. Sie sind benannt nach dem Mathematiker George Green. Anwendung finden sie unter anderem in der Elektrostatik bei der Berechnung von Potentialen. Die Formeln sind nicht zu verwechseln mit dem Satz von Green, bei dem es um ebene Integrale geht.

Im Folgenden sei U \subset \mathbb{R}^n kompakt mit abschnittweise glattem Rand und \phi und \psi seien zwei Funktionen auf U, wobei \phi einfach und \psi zweifach stetig differenzierbar sei. \nabla ist der Nabla-Operator.

Erste greensche Identität[Bearbeiten]

\int\limits_{U} (\phi\nabla ^2\psi + \nabla \phi \cdot \nabla \psi)\, \mathrm{d}U = \int\limits_{\partial U} \phi \frac{\partial\psi}{\partial n} \mathrm{d}S,

wobei \tfrac{\partial\psi}{\partial n} = \nabla \psi\cdot\vec{n} die Normalenableitung von \psi, also die Normalkomponente des Gradienten von \psi auf dem Rand \partial U bezeichnet.

Diese Identität lässt sich wie folgt beweisen:

\int\limits_{\partial U} \phi \frac{\partial\psi}{\partial n} \mathrm{d}S = \int\limits_{\partial U} (\phi\,\nabla\psi)\cdot\vec{n}\,\mathrm{d}S = \int\limits_{U} \nabla\cdot(\phi\,\nabla\psi) \, \mathrm dU = \int\limits_{U} (\phi\nabla ^2\psi + \nabla \phi \cdot \nabla \psi)\, \mathrm{d}U,

wobei im zweiten Schritt der gaußsche Integralsatz in der Form

\int\limits_{\partial U} \vec F \cdot \vec n\; \mathrm dS = \int\limits_{U} \nabla\cdot \vec F \; \mathrm dU

benutzt wurde.

Zweite greensche Identität[Bearbeiten]

 \int\limits_{U} (\phi\nabla ^2\psi - \psi\nabla ^2\phi)\, \mathrm{d}U = \int\limits_{\partial U} \left(\phi \frac{\partial\psi}{\partial n} - \psi \frac{\partial\phi}{\partial n}\right) \,\mathrm{d}S

Die zweite greensche Identität folgt aus der ersten greenschen Identität, wobei nun vorausgesetzt wird, dass auch  \phi zweimal stetig differenzierbar ist:

\int\limits_{U} (\phi\nabla ^2\psi + \nabla \phi \cdot \nabla \psi)\, \mathrm{d}U = \int\limits_{\partial U} \phi \frac{\partial\psi}{\partial n} \,\mathrm{d}S,
\int\limits_{U} (\psi\nabla ^2\phi + \nabla \psi \cdot \nabla \phi)\, \mathrm{d}U = \int\limits_{\partial U} \psi \frac{\partial\phi}{\partial n} \,\mathrm{d}S

Subtrahiert man nun die zweite Gleichung von der ersten Gleichung, so ergibt sich die zweite greensche Identität.

Anwendungen in der Elektrostatik (3D)[Bearbeiten]

Eindeutigkeitssatz[Bearbeiten]

Für ein elektrostatisches Potential  \phi\!\, gilt die Poissongleichung  \nabla^2 \phi = - 4\pi \rho wobei \rho\!\, die elektrische Ladungsdichte ist (Gaußsches Einheitensystem). Wenn in einem Volumen  U \!\, die Ladungsdichte gegeben ist, und wenn zusätzlich auf dem Rand \partial U die Werte von  \phi\!\, gegeben sind (Dirichlet-Randbedingung), dann gilt:

Innerhalb von  U \!\, ist \phi(\vec{r}) eindeutig bestimmt.

Beweis: Es seien  \phi_1(\vec{r}) und  \phi_2(\vec{r}) zwei Potentiale, die dieselben Vorgaben über Ladungsdichte und Randwerte erfüllen. Für die Differenzfunktion gilt dann


   \chi(\vec{r}): = \phi_1(\vec{r}) - \phi_2(\vec{r}) \qquad 
   \begin{array}{rl}
   \nabla^2 \chi(\vec{r}) = 0  &  \vec{r}\in U  \\
   \chi(\vec{r}) = 0 & \vec{r}\in \partial U \end{array}

Setzt man \chi\!\, in der ersten greenschen Formel für \phi\!\, und auch für \psi\!\, ein, so folgt


   \int_{U} \nabla \chi \cdot \nabla \chi \, \mathrm{d}U = 0

Also muss der Gradient \nabla\chi überall in  U \!\, verschwinden, somit  \chi\, konstant sein, und wegen seines Null-Randwerts sogar konstant gleich null sein. Also gilt \phi_1(\vec{r})=\!\, \phi_2(\vec{r}) innerhalb von  U \!\, .

N.B. Bei dem Beweis wird die Poissongleichung und somit die Ladungsdichte nur innerhalb von  U \!\, benutzt.

Abschirmung durch geschlossene Leiterfläche[Bearbeiten]

\partial U sei eine geschlossene Leiterfläche, so dass das elektrostatische Potential  \phi\!\, auf \partial U einen konstanten Wert \phi_0\!\, hat (Äquipotentialfläche). Zum Beispiel lässt sich \phi_0\!\,=0 physikalisch realisieren, indem die Leiterfläche geerdet wird. Nach dem Eindeutigkeitssatz ist der Potentialverlauf innerhalb von  U \!\, bereits durch die Ladungsverteilung in  U \!\, und durch den Randwert bestimmt. Folglich haben elektrische Ladungen im Aussenraum keinen Einfluss auf den Potentialverlauf im Innenraum.

Wenn die geschlossene Leiterfläche nicht geerdet ist, dann sind die Randwerte von  \phi\!\, immer noch konstant, aber mit unbekanntem Wert. Dieser Wert kann davon abhängen, welche Ladungen außerhalb von  U \!\, vorhanden sind. Der Beweis des Eindeutigkeitssatzes lässt sich dahingehend verallgemeinern, dass die Differenzfunktion \chi\!\, noch konstant in  U \!\, , aber nicht mehr gleich null ist. Für die elektrische Feldstärke, die durch Ableitungen aus dem Potential gewonnen wird, spielt die Konstante keine Rolle; die elektrische Feldstärke ist also auch ohne Erdung abgeschirmt.

Symmetrie der Greenschen Funktion[Bearbeiten]

Die Greensche Funktion mit Dirichlet-Randbedingung und mit vektoriellem Parameter \vec{r}_1\in U ist definiert durch


  \begin{array}{cl}
  \nabla^2 G_D(\vec{r},\vec{r}_1) = \delta(\vec{r}-\vec{r}_1) & \vec{r}\in U \\ 
   G_D(\vec{r},\vec{r}_1) = 0 & \vec{r}\in \partial U
  \end{array}

Bis auf einen Faktor -4\pi entspricht das der Poissongleichung für ein Potential  \phi(\vec{r}) , das von einer Punktladung am Ort \vec{r}_1 erzeugt wird, und das auf der geerdeten Oberfläche \partial U den Randwert 0 hat. Die Existenz einer solchen Funktion ist physikalisch klar, und wegen des Eindeutigkeitssatzes ist sie eindeutig bestimmt. Obwohl die Rollen von \vec{r} (Messpunkt) und \vec{r}_1 (Position der Ladung) physikalisch verschieden sind, besteht mathematisch eine Symmetrie:


  G_D(\vec{r}_2,\vec{r}_1) = G_D(\vec{r}_1,\vec{r}_2)

Beweis: Setzt man in der zweiten greenschen Formel


  \phi(\vec{r}) = G_D(\vec{r},\vec{r}_1) \qquad \psi(\vec{r}) = G_D(\vec{r},\vec{r}_2)

so erhält man auf der linken Seite Integrale mit Delta-Funktionen, die  G_D(\vec{r}_2,\vec{r}_1) - G_D(\vec{r}_1,\vec{r}_2) ergeben. Auf der rechten Seite verschwinden die Integranden wegen der Randwerte von G_D.

Potential ausgedrückt durch Ladungsdichte und Randwerte[Bearbeiten]

Verwendet man in der zweiten greenschen Formel als Integrationsvariable \vec{r}_1 und lässt man  \phi\!\, das elektrostatische Potential sein, so erhält man mit  \psi(\vec{r}_1) = G_D(\vec{r},\vec{r}_1) und mit Hilfe der Symmetrie von G_D den expliziten Ausdruck


   \phi(\vec{r}) = - 4 \pi \int_U G_D(\vec{r},\vec{r}_1) \rho(\vec{r}_1) dU_1 + \int_{\partial U} \phi(\vec{r}_1) \frac{\partial G_D(\vec{r},\vec{r}_1)}{\partial n_1} dS_1

Integralgleichung für das Potential[Bearbeiten]

Unter Anwendung der oben gezeigten greenschen Formeln lassen sich Ausdrücke für das elektrostatische Potential einer Ladungsverteilung herleiten. Dabei sei \rho (\vec r\,') die Ladungsdichte am Ort \vec r\,'. Mit \phi(\vec r) werde das Potenzial am Ort \vec r bezeichnet. Gesucht ist die Funktion \phi.


Wir setzen für \psi(\vec{r}\,') = \frac{1}{|\vec{r} - \vec{r}\,'|}. Es gilt dann:

  1. \Delta' \psi(\vec{r}\,') = \Delta'\frac{1}{|\vec{r} - \vec{r}\,'|} = -4\pi \delta(\vec{r} - \vec{r}\,'),
    Diese Identität ist also im Sinne von distributionellen Ableitungen zu verstehen.
  2. \Delta' \phi(\vec{r}\,') = -4\pi \rho(\vec{r}\,') mit der Ladungsverteilung \rho am Ort \vec{r}\,'.

Setzen wir beides in die zweite greensche Identität ein, erhalten wir auf der linken Seite:

\int\limits_{V} (\phi(\vec{r}\,') (-4\pi \delta(\vec{r} - \vec{r}\,')) - \frac{1}{|\vec{r} - \vec{r}\,'|} (-4\pi \rho(\vec{r}\,')))\, \mathrm{d}V' = -4\pi\int\limits_V \phi(\vec{r}\,') \delta(\vec{r} - \vec{r}\,') \, \mathrm{d}V' + 4\pi \int\limits_V \frac{\rho(\vec{r}\,')}{|\vec{r} - \vec{r}\,'|} \, \mathrm{d}V'.

Die rechte Seite der Identität ist:

\int\limits_F \left(\phi(\vec{r}\,') \frac{\partial}{\partial n'}\frac{1}{|\vec{r} - \vec{r}\,'|} - \frac{1}{|\vec{r} - \vec{r}\,'|} \frac{\partial}{\partial n'}\phi(\vec{r}\,') \right) \mathrm{d}F'.

Als Identität geschrieben:

-4\pi \int\limits_V \phi(\vec{r}\,') \delta(\vec{r} - \vec{r}\,') \, \mathrm{d}V' + 4\pi \int\limits_V \frac{\rho(\vec{r}\,')}{|\vec{r} - \vec{r}\,'|} \, \mathrm{d}V' = \int\limits_F \left(\phi(\vec{r}\,') \frac{\partial}{\partial n'}\frac{1}{|\vec{r} - \vec{r}\,'|} - \frac{1}{|\vec{r} - \vec{r}\,'|} \frac{\partial}{\partial n'}\phi(\vec{r}\,') \right) \mathrm{d}F'.

Innerhalb des Volumens gilt an der Stelle \vec{r} wegen der \delta-Funktion

-4\pi \int\limits_V \phi(\vec{r}\,') \delta(\vec{r} - \vec{r}\,') \mathrm{d}V' = -4\pi \phi(\vec{r})

Damit können wir schließlich obige Identität nach dem Potential auflösen und erhalten:

\phi(\vec{r}) = \int\limits_V \frac{\rho(\vec{r}\,')}{|\vec{r} - \vec{r}\,'|} \, \mathrm{d}V' - \frac{1}{4\pi} \int\limits_F \left(\phi(\vec{r}\,') \frac{\partial}{\partial n'}\frac{1}{|\vec{r} - \vec{r}\,'|} - \frac{1}{|\vec{r} - \vec{r}\,'|} \frac{\partial}{\partial n'}\phi(\vec{r}\,') \right) \mathrm{d}F'.

Literatur[Bearbeiten]

  • John David Jackson: Klassische Elektrodynamik. Walter de Gruyter, Berlin 2006, ISBN 3-11-018970-4
  • Walter Greiner: Theoretische Physik Band 3 – Klassische Elektrodynamik. Verlag Harri Deutsch, Frankfurt am Main, Thun ISBN 3-8171-1184-3
  • Otto Forster: Analysis 3. Integralrechnung im Rn mit Anwendungen. 3. Aufl. Vieweg-Verlag, 1996. ISBN 3-528-27252-X