Green's function
Encyclopedia
In mathematics
Mathematics
Mathematics is the study of quantity, space, structure, and change. Mathematicians seek out patterns and formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proofs, which are arguments sufficient to convince other mathematicians of their validity...

, a Green's function is a type of function used to solve inhomogeneous differential equation
Differential equation
A differential equation is a mathematical equation for an unknown function of one or several variables that relates the values of the function itself and its derivatives of various orders...

s subject to specific initial conditions or boundary conditions. Under many-body theory
Green's function (many-body theory)
In many-body theory, the term Green's function is sometimes used interchangeably with correlation function, but refers specifically to correlators of field operators or creation and annihilation operators....

, the term is also used in physics
Physics
Physics is a natural science that involves the study of matter and its motion through spacetime, along with related concepts such as energy and force. More broadly, it is the general analysis of nature, conducted in order to understand how the universe behaves.Physics is one of the oldest academic...

, specifically in quantum field theory
Quantum field theory
Quantum field theory provides a theoretical framework for constructing quantum mechanical models of systems classically parametrized by an infinite number of dynamical degrees of freedom, that is, fields and many-body systems. It is the natural and quantitative language of particle physics and...

, electrodynamics and statistical field theory
Statistical field theory
A statistical field theory is any model in statistical mechanics where the degrees of freedom comprise a field or fields. In other words, the microstates of the system are expressed through field configurations...

, to refer to various types of correlation functions
Correlation function (quantum field theory)
In quantum field theory, the matrix element computed by inserting a product of operators between two states, usually the vacuum states, is called a correlation function....

, even those that do not fit the mathematical definition.

Green's functions are named after the British mathematician
Mathematician
A mathematician is a person whose primary area of study is the field of mathematics. Mathematicians are concerned with quantity, structure, space, and change....

 George Green
George Green
George Green was a British mathematical physicist who wrote An Essay on the Application of Mathematical Analysis to the Theories of Electricity and Magnetism...

, who first developed the concept in the 1830s. In the modern study of linear partial differential equation
Partial differential equation
In mathematics, partial differential equations are a type of differential equation, i.e., a relation involving an unknown function of several independent variables and their partial derivatives with respect to those variables...

s, Green's functions are studied largely from the point of view of fundamental solution
Fundamental solution
In mathematics, a fundamental solution for a linear partial differential operator L is a formulation in the language of distribution theory of the older idea of a Green's function...

s instead.

Definition and uses

A Green's function, G(xs), of a linear differential operator L = L(x) acting on distribution
Distribution (mathematics)
In mathematical analysis, distributions are objects that generalize functions. Distributions make it possible to differentiate functions whose derivatives do not exist in the classical sense. In particular, any locally integrable function has a distributional derivative...

s over a subset of the Euclidean space Rn, at a point s, is any solution of
where is the Dirac delta function
Dirac delta function
The Dirac delta function, or δ function, is a generalized function depending on a real parameter such that it is zero for all values of the parameter except when the parameter is zero, and its integral over the parameter from −∞ to ∞ is equal to one. It was introduced by theoretical...

. This property of a Green's function can be exploited to solve differential equations of the form
If the kernel of L is non-trivial, then the Green's function is not unique. However, in practice, some combination of symmetry
Symmetry
Symmetry generally conveys two primary meanings. The first is an imprecise sense of harmonious or aesthetically pleasing proportionality and balance; such that it reflects beauty or perfection...

, boundary conditions and/or other externally imposed criteria will give a unique Green's function. Also, Green's functions in general are distributions
Distribution (mathematics)
In mathematical analysis, distributions are objects that generalize functions. Distributions make it possible to differentiate functions whose derivatives do not exist in the classical sense. In particular, any locally integrable function has a distributional derivative...

, not necessarily proper functions
Function (mathematics)
In mathematics, a function associates one quantity, the argument of the function, also known as the input, with another quantity, the value of the function, also known as the output. A function assigns exactly one output to each input. The argument and the value may be real numbers, but they can...

.

Green's functions are also a useful tool in solving wave equations, diffusion equations, and in quantum mechanics
Quantum mechanics
Quantum mechanics, also known as quantum physics or quantum theory, is a branch of physics providing a mathematical description of much of the dual particle-like and wave-like behavior and interactions of energy and matter. It departs from classical mechanics primarily at the atomic and subatomic...

, where the Green's function of the Hamiltonian is a key concept, with important links to the concept of density of states
Density of states
In solid-state and condensed matter physics, the density of states of a system describes the number of states per interval of energy at each energy level that are available to be occupied by electrons. Unlike isolated systems, like atoms or molecules in gas phase, the density distributions are not...

. As a side note, the Green's function as used in physics is usually defined with the opposite sign; that is,


This definition does not significantly change any of the properties of the Green's function.

If the operator is translation invariant, that is when L has constant coefficients
Constant coefficients
In mathematics, constant coefficients is a term applied to differential operators, and also some difference operators, to signify that they contain no functions of the independent variables, other than constant functions. In other words, it singles out special operators, within the larger class of...

 with respect to x, then the Green's function can be taken to be a convolution operator, that is,


In this case, the Green's function is the same as the impulse response
Impulse response
In signal processing, the impulse response, or impulse response function , of a dynamic system is its output when presented with a brief input signal, called an impulse. More generally, an impulse response refers to the reaction of any dynamic system in response to some external change...

 of linear time-invariant system theory
LTI system theory
Linear time-invariant system theory, commonly known as LTI system theory, comes from applied mathematics and has direct applications in NMR spectroscopy, seismology, circuits, signal processing, control theory, and other technical areas. It investigates the response of a linear and time-invariant...

.

Motivation

Loosely speaking, if such a function G can be found for the operator L, then if we multiply the equation (1) for the Green's function by f(s), and then perform an integration in the s variable, we obtain;


The right hand side is now given by the equation (2) to be equal to L u(x), thus:


Because the operator L = L(x) is linear and acts on the variable x alone (not on the variable of integration s), we can take the operator L outside of the integration on the right hand side, obtaining;


And this suggests;
Thus, we can obtain the function u(x) through knowledge of the Green's function in equation (1), and the source term on the right hand side in equation (2). This process relies upon the linearity of the operator L.

In other words, the solution of equation (2), u(x), can be determined by the integration given in equation (3). Although f(x) is known, this integration cannot be performed unless G is also known. The problem now lies in finding the Green's function G that satisfies equation (1). For this reason, the Green's function is also sometimes called the fundamental solution associated to the operator L.

Not every operator L admits a Green's function. A Green's function can also be thought of as a right inverse
Right inverse
A right inverse in mathematics may refer to:* A right inverse element with respect to a binary operation on a set* A right inverse function for a mapping between sets...

 of L. Aside from the difficulties of finding a Green's function for a particular operator, the integral in equation (3), may be quite difficult to evaluate. However the method gives a theoretically exact result.

This can be thought of as an expansion of f according to a Dirac delta function
Dirac delta function
The Dirac delta function, or δ function, is a generalized function depending on a real parameter such that it is zero for all values of the parameter except when the parameter is zero, and its integral over the parameter from −∞ to ∞ is equal to one. It was introduced by theoretical...

 basis (projecting f over δ(x − s)) and a superposition of the solution on each projection
Projection (mathematics)
Generally speaking, in mathematics, a projection is a mapping of a set which is idempotent, which means that a projection is equal to its composition with itself. A projection may also refer to a mapping which has a left inverse. Bot notions are strongly related, as follows...

. Such an integral equation is known as a Fredholm integral equation
Fredholm integral equation
In mathematics, the Fredholm integral equation is an integral equation whose solution gives rise to Fredholm theory, the study of Fredholm kernels and Fredholm operators. The integral equation was studied by Ivar Fredholm.-Equation of the first kind :...

, the study of which constitutes Fredholm theory
Fredholm theory
In mathematics, Fredholm theory is a theory of integral equations. In the narrowest sense, Fredholm theory concerns itself with the solution of the Fredholm integral equation. In a broader sense, the abstract structure of Fredholm's theory is given in terms of the spectral theory of Fredholm...

.

Green's functions for solving inhomogeneous boundary value problems

The primary use of Green's functions in mathematics is to solve non-homogeneous boundary value problem
Boundary value problem
In mathematics, in the field of differential equations, a boundary value problem is a differential equation together with a set of additional restraints, called the boundary conditions...

s. In modern theoretical physics
Theoretical physics
Theoretical physics is a branch of physics which employs mathematical models and abstractions of physics to rationalize, explain and predict natural phenomena...

, Green's functions are also usually used as propagator
Propagator
In quantum mechanics and quantum field theory, the propagator gives the probability amplitude for a particle to travel from one place to another in a given time, or to travel with a certain energy and momentum. Propagators are used to represent the contribution of virtual particles on the internal...

s in Feynman diagram
Feynman diagram
Feynman diagrams are a pictorial representation scheme for the mathematical expressions governing the behavior of subatomic particles, first developed by the Nobel Prize-winning American physicist Richard Feynman, and first introduced in 1948...

s (and the phrase Green's function is often used for any correlation function
Correlation function (quantum field theory)
In quantum field theory, the matrix element computed by inserting a product of operators between two states, usually the vacuum states, is called a correlation function....

).

Framework

Let L be the Sturm–Liouville operator, a linear differential operator of the form
and let D be the boundary conditions operator

Let f(x) be a continuous function
Continuous function
In mathematics, a continuous function is a function for which, intuitively, "small" changes in the input result in "small" changes in the output. Otherwise, a function is said to be "discontinuous". A continuous function with a continuous inverse function is called "bicontinuous".Continuity of...

 in [0,l]. We shall also suppose that the problem
is regular (i.e., only the trivial
Trivial (mathematics)
In mathematics, the adjective trivial is frequently used for objects that have a very simple structure...

 solution exists for the homogeneous problem).

Theorem

There is one and only one solution u(x) which satisfies


and it is given by


where G(x,s) is a Green's function satisfying the following conditions:
  1. G(x,s) is continuous in x and s
  2. For ,
  3. For ,
  4. Derivative
    Derivative
    In calculus, a branch of mathematics, the derivative is a measure of how a function changes as its input changes. Loosely speaking, a derivative can be thought of as how much one quantity is changing in response to changes in some other quantity; for example, the derivative of the position of a...

     "jump":
  5. Symmetry: G(x, s) = G(s, x)

Eigenvalue expansions

If a differential operator
Differential operator
In mathematics, a differential operator is an operator defined as a function of the differentiation operator. It is helpful, as a matter of notation first, to consider differentiation as an abstract operation, accepting a function and returning another .This article considers only linear operators,...

 L admits a set of eigenvectors  (i.e., a set of functions and scalars such that ) that is complete, then it is possible to construct a Green's function from these eigenvectors and eigenvalues.

Complete means that the set of functions satisfies the following completeness relation:


Then the following holds:


where represents complex conjugation.

Applying the operator L to each side of this equation results in the completeness relation, which was assumed true.

The general study of the Green's function written in the above form, and its relationship to the function space
Function space
In mathematics, a function space is a set of functions of a given kind from a set X to a set Y. It is called a space because in many applications it is a topological space, a vector space, or both.-Examples:...

s formed by the eigenvectors, is known as Fredholm theory
Fredholm theory
In mathematics, Fredholm theory is a theory of integral equations. In the narrowest sense, Fredholm theory concerns itself with the solution of the Fredholm integral equation. In a broader sense, the abstract structure of Fredholm's theory is given in terms of the spectral theory of Fredholm...

.

Green's functions for the Laplacian

Green's functions for linear differential operators involving the Laplacian may be readily put to use using the second of Green's identities
Green's identities
In mathematics, Green's identities are a set of three identities in vector calculus. They are named after the mathematician George Green, who discovered Green's theorem.-Green's first identity:...

.

To derive Green's theorem, begin with the divergence theorem
Divergence theorem
In vector calculus, the divergence theorem, also known as Gauss' theorem , Ostrogradsky's theorem , or Gauss–Ostrogradsky theorem is a result that relates the flow of a vector field through a surface to the behavior of the vector field inside the surface.More precisely, the divergence theorem...

 (otherwise known as Gauss's theorem):


Let and substitute into Gauss' law. Compute and apply the chain rule for the operator:


Plugging this into the divergence theorem produces Green's theorem
Green's theorem
In mathematics, Green's theorem gives the relationship between a line integral around a simple closed curve C and a double integral over the plane region D bounded by C...

:


Suppose that the linear differential operator L is the Laplacian, , and that there is a Green's function G for the Laplacian. The defining property of the Green's function still holds:


Let in Green's theorem
Green's theorem
In mathematics, Green's theorem gives the relationship between a line integral around a simple closed curve C and a double integral over the plane region D bounded by C...

. Then:


Using this expression, it is possible to solve Laplace's equation
Laplace's equation
In mathematics, Laplace's equation is a second-order partial differential equation named after Pierre-Simon Laplace who first studied its properties. This is often written as:where ∆ = ∇² is the Laplace operator and \varphi is a scalar function...

  or Poisson's equation
Poisson's equation
In mathematics, Poisson's equation is a partial differential equation of elliptic type with broad utility in electrostatics, mechanical engineering and theoretical physics...

 , subject to either Neumann
Neumann boundary condition
In mathematics, the Neumann boundary condition is a type of boundary condition, named after Carl Neumann.When imposed on an ordinary or a partial differential equation, it specifies the values that the derivative of a solution is to take on the boundary of the domain.* For an ordinary...

 or Dirichlet
Dirichlet boundary condition
In mathematics, the Dirichlet boundary condition is a type of boundary condition, named after Johann Peter Gustav Lejeune Dirichlet who studied under Cauchy and succeeded Gauss at University of Göttingen. When imposed on an ordinary or a partial differential equation, it specifies the values a...

 boundary conditions. In other words, we can solve for everywhere inside a volume where either (1) the value of is specified on the bounding surface of the volume (Dirichlet boundary conditions), or (2) the normal derivative of is specified on the bounding surface (Neumann boundary conditions).

Suppose the problem is to solve for inside the region. Then the integral
reduces to simply due to the defining property of the Dirac delta function
Dirac delta function
The Dirac delta function, or δ function, is a generalized function depending on a real parameter such that it is zero for all values of the parameter except when the parameter is zero, and its integral over the parameter from −∞ to ∞ is equal to one. It was introduced by theoretical...

 and we have:


This form expresses the well-known property of harmonic function
Harmonic function
In mathematics, mathematical physics and the theory of stochastic processes, a harmonic function is a twice continuously differentiable function f : U → R which satisfies Laplace's equation, i.e....

s that if the value or normal derivative is known on a bounding surface, then the value of the function inside the volume is known everywhere.

In electrostatics
Electrostatics
Electrostatics is the branch of physics that deals with the phenomena and properties of stationary or slow-moving electric charges....

, is interpreted as the electric potential
Electric potential
In classical electromagnetism, the electric potential at a point within a defined space is equal to the electric potential energy at that location divided by the charge there...

, as electric charge
Electric charge
Electric charge is a physical property of matter that causes it to experience a force when near other electrically charged matter. Electric charge comes in two types, called positive and negative. Two positively charged substances, or objects, experience a mutual repulsive force, as do two...

 density
Density
The mass density or density of a material is defined as its mass per unit volume. The symbol most often used for density is ρ . In some cases , density is also defined as its weight per unit volume; although, this quantity is more properly called specific weight...

, and the normal derivative as the normal component of the electric field.

If the problem is to solve a Dirichlet boundary value problem, the Green's function should be chosen such that vanishes when either x or x' is on the bounding surface.Thus only one of the two terms in the surface integral remains. If the problem is to solve a Neumann boundary value problem, the Green's function is chosen such that its normal derivative vanishes on the bounding surface, as it would seems to be the most logical choice. (See Jackson J.D. classical electrodynamics, page 39). However, application of Gauss's theorem to the differential equation defining the Green's function yields


meaning the normal derivative of cannot vanish on the surface, because it must integrate to 1 on the surface. (Again, see Jackson J.D. classical electrodynamics, page 39 for this and the following argument).
The simplest form the normal derivative can take is that of a constant, namely , where S is the surface area of the surface. The surface term in the solution becomes


where is the average value of the potential on the surface. This number is not known in general, but is often unimportant, as the goal is often to obtain the electric field given by the gradient of the potential, rather than the potential itself.

With no boundary conditions, the Green's function for the Laplacian (Green's function for the three-variable Laplace equation
Green's function for the three-variable Laplace equation
In physics, the Green's function for Laplace's equation in three variables is used to describe the response of a particular type of physical system to a point source...

) is:


Supposing that the bounding surface goes out to infinity, and plugging in this expression for the Green's function, this gives the familiar expression for electric potential in terms of electric charge density (in the CGS unit system) as

Example

Given the problem


Find the Green's function.

First step:
The Green's function for the linear operator at hand is defined as the solution to

If , then the delta function gives zero, and the general solution is

For , the boundary condition at implies

The equation of is skipped because if and

For , the boundary condition at implies


The equation of is skipped for similar reasons.

To summarize the results thus far:


Second step:
The next task is to determine and .

Ensuring continuity in the Green's function at implies


One can also ensure proper discontinuity in the first derivative by integrating the defining differential equation from to and taking the limit as goes to zero:


The two (dis)continuity equations can be solved for and to obtain


So the Green's function for this problem is:

Further examples

  • Let n = 1 and let the subset be all of R. Let L be d/dx. Then, the Heaviside step function
    Heaviside step function
    The Heaviside step function, or the unit step function, usually denoted by H , is a discontinuous function whose value is zero for negative argument and one for positive argument....

     H(xx0) is a Green's function of L at x0.
  • Let n = 2 and let the subset be the quarter-plane { (x, y) : x, y ≥ 0 } and L be the Laplacian. Also, assume a Dirichlet boundary condition
    Dirichlet boundary condition
    In mathematics, the Dirichlet boundary condition is a type of boundary condition, named after Johann Peter Gustav Lejeune Dirichlet who studied under Cauchy and succeeded Gauss at University of Göttingen. When imposed on an ordinary or a partial differential equation, it specifies the values a...

     is imposed at x = 0 and a Neumann boundary condition
    Neumann boundary condition
    In mathematics, the Neumann boundary condition is a type of boundary condition, named after Carl Neumann.When imposed on an ordinary or a partial differential equation, it specifies the values that the derivative of a solution is to take on the boundary of the domain.* For an ordinary...

     is imposed at y = 0. Then the Green's function is


See also

  • Discrete Green's functions can be defined on graphs
    Graph (mathematics)
    In mathematics, a graph is an abstract representation of a set of objects where some pairs of the objects are connected by links. The interconnected objects are represented by mathematical abstractions called vertices, and the links that connect some pairs of vertices are called edges...

     and grids.
  • Feynman propagators
  • Green's identities
    Green's identities
    In mathematics, Green's identities are a set of three identities in vector calculus. They are named after the mathematician George Green, who discovered Green's theorem.-Green's first identity:...

  • Impulse response
    Impulse response
    In signal processing, the impulse response, or impulse response function , of a dynamic system is its output when presented with a brief input signal, called an impulse. More generally, an impulse response refers to the reaction of any dynamic system in response to some external change...

    , the analog of a Green's function in signal processing
    Signal processing
    Signal processing is an area of systems engineering, electrical engineering and applied mathematics that deals with operations on or analysis of signals, in either discrete or continuous time...

  • Keldysh formalism
    Keldysh formalism
    In condensed matter physics, the Keldysh formalism is a general framework for describing the quantum mechanical evolution of a system in a non-equilibrium state, e.g. in the presence of time varying fields . The main mathematical object in the Keldysh formalism is the non-equilibrium Green's...

  • Spectral theory
    Spectral theory
    In mathematics, spectral theory is an inclusive term for theories extending the eigenvector and eigenvalue theory of a single square matrix to a much broader theory of the structure of operators in a variety of mathematical spaces. It is a result of studies of linear algebra and the solutions of...


External links

The source of this article is wikipedia, the free encyclopedia.  The text of this article is licensed under the GFDL.
 
x
OK