This article covers Green's function as a tool for solving differential equations. For the Green function in stochastics see
Green function (stochastics) .
Green's functions are an important tool for solving inhomogeneous linear partial differential equations . They are named after the physicist and mathematician George Green . Using Green's formulas , he solved a special Dirichlet problem . A special solution to this partial boundary value problem that occurs in this procedure and with the help of which one can determine further solutions through the superposition principle , today bears the name Green's function. Until today, this solution method described by Green has been extended to a larger class of differential equations or of boundary value problems . Therefore, the concept of Green's function was placed in a much more general context. Laurent Schwartz transferred the Green function into the context of the distribution theory he developed . There it is understood as distribution itself and is often referred to as a fundamental solution. Other authors also refer to them as Green's function in the context of distributions.
In potential theory and gravity measurement it is u. a. used to solve the first boundary value problem . In theoretical physics , especially in high-energy and many-particle physics, an abundance of different functions is also defined, all of which are referred to as "Green's functions" and are related to the functions given here in one form or another, without this being related to the would be recognizable at first glance. These functions, especially the propagators of the relativistic quantum theories, are not meant in the following.
motivation
An inhomogeneous linear differential equation with constant complex coefficients has the form
-
,
where is a linear differential operator . The aim is to find a particular solution to the inhomogeneity . One would now like to find something like a "reverse operator" , because then one could write the solution of the above equation as . But if has non-trivial solutions, it is not injective , so there can be no left inverse. But it is surjective if the equation has solutions for each of a suitable function space. Therefore one can look for a right inverse operator for which
applies. With you have found a particular solution of the initial equation, because it applies
-
.
The general solution is obtained by adding the general solution of the homogeneous problem to the particular solution. Is chosen as inhomogeneity the delta function , then called the fundamental solution of . Depending on the author and the main topic, it is also referred to as Green's function.
For any inhomogeneity , the question now arises as to how the fundamental solution can be used. The following then applies by
means of the convolution
-
.
Physically this describes the superposition principle , mathematically one speaks of the linearity of .
Explanation of the individual steps:
The first equal sign is the starting equation . For each function that is convolution with the delta distribution possible and again supplies the output function: . Use , that is, that solves the differential equation with -inhomogeneity. If the derivative of a convolution is formed, the derivative is simply drawn into it, that is to say . Finally , the particulate solution can be identified, namely as a convolution of the fundamental solution with the inhomogeneity .
If, instead of a linear differential equation, one considers a linear differential equation with additional conditions such as boundary values or initial values , then the previously examined function is called Green's function.
definition
Ordinary differential equations
Be
a differential operator with its inhomogeneous differential equation . Then Green's function for this operator satisfies the fundamental equation:
-
,
where is the delta distribution (ie it applies to an arbitrarily often differentiable function ).
Additional conditions may be added later, e.g. B. Retardation conditions (see below) or the equivalent "Sommerfeldian radiation condition" or an initial or boundary condition that makes it unambiguous. A special solution results from folding :
-
,
as can be seen as follows:
For this corresponds to the stationary ("steady") response of the system, a damped harmonic oscillator, to a ballistic unit impact , i.e. H. on the special reduced driving force
-
.
Partial differential equations
The defining equation also applies to partial differential equations
and a special solution results from convolution:
-
.
In this case, however, finding a Green function and calculating the multi-dimensional integrals are more problematic.
Green's function with boundary conditions
If you know a Green function for an operator , you can solve the inhomogeneous part of the differential equation without problems. For the general solution, however, one generally still has to meet boundary conditions . This can be done in many ways, but an elegant method is the addition of a solution to the homogeneous problem so that the boundary conditions are met. Clearly, when solving the Poisson equation , this corresponds to adding image charges and removing the edges, so that the previously specified values are assumed where the edge was. As a simple example, think of a charged particle in front of a grounded plane. If you place an oppositely charged charge on the other side of the plane and mentally remove the plane, then where the plane was, the potential is zero, which fulfills the required boundary condition.
This method is often used to solve Poisson's equation (Gaussian units). Using the Gaussian integral theorem one finds ( ):
Depending on whether you have specified the potential or its derivative on the edge, you now choose the function that is to be added to in such a way that in the first case applies and is usually called Dirichlet's Green function . In the second case one does not choose - as would be obvious - such that it disappears, since this would violate Gaussian theorem. Instead, one chooses so that
applies (which in the above integral only produces the mean value of the potential across the surface, a constant around which the solution is undetermined anyway) and usually calls Neumann's Green function . The Green functions to be determined are often found in symmetrical problems from geometrical considerations. Alternatively, one can develop according to an orthonormal system of the operator. If a solution has been found, it is clearly determined, as follows directly from the maximum principle for elliptic differential equations.
Examples
Poisson problem
Often one understands by Green's function the integral kernel of the Laplace operator taking into account certain boundary values , that is to say for applies
-
.
George Green used this function with the boundary value problems that follow from potential theory to determine Green's formulas . However, the importance of this result was only realized after his death.
In this section, Green's function of Dirichlet's problem is the Poisson equation
where is the Laplace operator and an open bounded region with a smooth edge . The fundamental solution of the Laplace operator is
where the volume of the unit ball is in. Now fix and choose a ball around with radius , so very located. Define . On this set, the fundamental solution is smooth. It then follows
from Green's formula
-
,
where is the partial derivative with respect to the outer unit normal vector . There and is, it arises
.
for apply
and
-
,
from what
follows. This is one way of presenting the solution to the Poisson problem. However, in this context the normal derivation of is unknown. For this reason a correction function is introduced to solve the boundary value problem
solves. Using the same reasoning as before, it follows from Green's formula
-
.
Adding this equation to the representation of so found above gives the representation
without the term . The function is called Green's function of the Laplace operator for the area . It can also be shown that the function depends symmetrically on its arguments, i.e. it is true .
Determination of the static electric field
According to Maxwell's equations , the source strength of the time-invariable electric field in a homogeneous, linear and isotropic material applies
-
,
where is the electric field strength and the electric charge density. Since the electrostatic case is a conservative system , the following applies
-
,
where is the electrical potential. Insertion yields the Poisson equation
-
,
thus an inhomogeneous linear partial differential equation of the 2nd order. If one knows a Green function of the Laplace operator , then reads a particular solution
-
.
A (not clearly determined) Green function of the Laplace operator in 3 dimensions is
-
,
with which after insertion
results. The last equation is intended to clarify the physical interpretation of Green's function. The Green function together with the differential represent a "potential impulse", the total potential is then obtained by superposing all "potential impulses", ie by executing the integral.
Inhomogeneous wave equation
This case is a little more difficult and of a different nature, because you are dealing with a hyperbolic differential equation rather than an elliptical one. This is where the complications indicated above arise.
Green's function by Fourier analysis
The inhomogeneous wave equation has the form
-
.
By means of Fourier decomposition one finds after executing the operator for the Fourier transform
-
.
According to the convolution theorem we have:
-
.
The inverse transformation can be calculated and found with the help of the residual calculus
-
,
which naturally gives rise to two parts (“retarded” or “advanced” part) of Green's function. The argument in the first delta function,, means that a "cause" generated at the point in time at , due to the finite speed of propagation of the wave, only causes its "effect" at the point in time . For the second delta function, the result is that the field leads the inhomogeneity by the corresponding time interval. For reasons of causality, that would be unphysical if one viewed the inhomogeneity as a cause and the field as an effect; but it is entirely physical when the inhomogeneity acts as an absorber (receiver) of the wave.
The retarded Green function , in which the inhomogeneity causally corresponds to a "transmission process" of expiring spherical waves, is thus
The retarded solution of the wave equation then results from convolution:
So there is a superposition principle with retardation : The solution is a superposition of escaping spherical waves ( Huygens principle , Sommerfeld radiation condition ), the formation of which takes place similar to electrostatics.
The advanced Green function , in which the inhomogeneity corresponds causally to a “receiving process” of incoming spherical waves, is
-
.
Alternative derivation
If one assumes that the Green function of the Laplace operator is known (see main article Laplace operator and Poisson equation ), the retarded Green function of the wave equation can be obtained without Fourier transformation. First of all applies to any “smooth” function
-
,
where is the three-dimensional delta function. To see that the left side in the area is always zero, write the Laplace operator in spherical coordinates with the radial part in the shape . In the immediate vicinity of , the smooth function can be viewed as spatially constant . Applying the Laplace operator to the factor then creates the three-dimensional delta function.
The argument can be made more precise by expanding from to powers of , whereby the leading power must be treated separately when using the Laplace operator.
In particular, a Gaussian function can be chosen for. Since the delta distribution can be represented as a limit of Gaussian functions, the defining equation for the Green function of the wave equation is obtained in the limit .
Further examples
In the following table the Green functions are given for some operators.
comment |
Differential operator
|
Green's function
|
|
|
|
|
|
|
|
|
|
one-dimensional harmonic oscillator |
|
|
two-dimensional Laplace operator |
|
|
three-dimensional Laplace operator |
|
|
Helmholtz equation |
|
|
Diffusion equation |
|
|
D'Alembert operator |
|
|
See also
Web links
Individual evidence
-
↑ Hans Niels Jahnke (Ed.): A History of Analysis . AMS, 2003, ISBN 0-8218-2623-9 , pp. 204 .
-
↑ Eric W. Weisstein : Greens Function . In: MathWorld (English).
-
^ Lars Hörmander : The Analysis of Linear Partial Differential Operators. Volume 1: Distribution Theory and Fourier Analysis. Second edition. Springer-Verlag, Berlin et al. 1990, ISBN 3-540-52345-6 ( Basic Teachings of Mathematical Sciences 256), p. 80.
-
↑ Y. Chover, J. Rubinstein: An Introduction to partial differential equations. Pp. 208-214.
-
↑ Y. Chover, J. Rubinstein: An Introduction to partial differential equations. P. 208.
-
↑ Lawrence C. Evans : Partial Differential Equations. Reprinted with corrections. American Mathematical Society, Providence RI 2008, ISBN 978-0-8218-0772-9 ( Graduate studies in mathematics 19), pp. 33-35.
-
↑ Y. Chover, J. Rubinstein: An Introduction to partial differential equations. Pp. 208-215.
-
^ RP Feynman , Lectures on Physics , Volume 2: Electrodynamics, Oldenbourg-Verlag 2001, Section 21-2.
-
↑ In part taken from H. Schulz , Physik mit Pencil , Verlag Harri Deutsch 2009, page 155.