Green's theorem

ADVERTISEMENT
From SEG Wiki
Revision as of 00:01, 26 December 2020 by JohnWStockwellJr (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


The term Green's theorem is applied to a collection of results that are really just restatements of the fundamental theorem of calculus in higher dimensional problems. The various forms of Green's theorem includes the Divergence Theorem which is called by physicists Gauss's Law, or the Gauss-Ostrogradski law. Stokes' theorem is another related result.

Green's theorem for first order differential operators

Fundamental theorem of Calculus

The classical definition of the definite integral of a function on the closed interval as [1]

Integration by parts

The second important result from calculus is the form of the Fundamental Theorem known as Integration by parts or partial integration.

Green's theorem in 1D, first order differential operator

Suppose we have a second function which is at least once differentiable and we write, applying integration by parts



If we rewrite this with the integrations on the left hand side, we have

We note that the part in square brackets [] is an exact differential


More generally, if we have two operators and and two functions and such that


then is called the adjoint of

In the 1D, first order example, is the adjoint of

Green's theorem in 2D, first order differential operator

This result is important as it is a critical step in the proof of Cauchy's theorem in Complex Analysis.


Figure 1: Integration paths for the function .
Figure 2: Integration paths for the function .


Here we follow standard texts, such as Spiegel (1964)[2] or Levinson and Redheffer (1970). [3]


A form of Green's theorem in two dimensions is given by considering two functions and such that each of these functions is at least once differentiable inside and on a simple closed curve in a region of the plane.


If we consider a simple, closed curve and the integral over the area of bounded by


The last two equalities follow because we want to turn these two integrals, which both go from to into an integral over added to an integration from to . This reverses the integration in the integral over , accounting for the extra minus sign. See Figure 1.

Similarly we have

Here the second integral which is over the curve from to must be reversed, eliminating the minus sign on the second integral. See Figure 2.

In each case above, the integration order has been reversed, so as to make the integral in the counter-clockwise direction over the path .


If we combine the two results, we have an equivalence between integrations of the derivatives of functions over an area and the line integral the functions over the boundary of that encloses the area


This final result is called Green's theorem in two dimensions and is used in proofs of theorems in Complex Analysis.

Green's theorem for second order differential operators

Second order operators in 1D[4] [5]

We consider the case of a second derivative by performing integration by parts yields

Here the symbol represents differentiation with respect to .

A second application of integration by parts applied to the integral on the right hand side yields

Rewriting so that the integral terms are on the left and the integrated terms are on the right, we obtain the familiar form of Green's theorem


Green's theorem in higher dimensions

We consider a problem governed by a 2nd order partial differential operator, in a volume in dimensions with a boundary of dimensions.

Such discussions are pertinent for many mathematical physics problems. The governing equation may be the Laplace equation, the Poisson equation, the heat or diffusion equation, or some form of the wave equation.

The Divergence Theorem

The generalization of the fundamental theorem of calculus in higher dimensions is called the Divergence Theorem". The is also called Gauss's Law, or the Gauss-Ostrogradski Law. If we have an integral over the volume in bounded by the surface (really a hyper surface in dimensions greater than 3) in then the following relation holds

Here, is a vector field, meaning that the integrand of the volume integral is an exact divergence. The quantity is the outward-pointing normal vector to the surface Note, in some materials the normal vector is chosen to be outward pointing, leading to a minus sign on the surface integral term.

Green's theorem in dimensions, for 2nd order operators

Many mathematical physics problems are governed by second order partial differential operators. The governing equation may be the Laplace equation, the Poisson equation, the heat or diffusion equation, the Schroedinger equation, or some form of the wave equation.

Laplace equation

Potential field problems are governed by some form of the Laplace operator meaning that considering solutions to the Laplace operator is of importance. We may consider two solutions and such that each are solutions to the Laplace equation

and


If we form the integral

and note that

and thus

We may write, using this identity that

Similarly, we may write


and thus,

and substituting, we have:

Rearranging terms, we obtain

Applying the divergence theorem

Applying the Divergence Theorem to the right hand side yields the familiar form of Green's theorem

Another variation may be obtained by defining the normal derivative as

which allows us to write

Self-adjoint 2nd order operators

A typical physical sciences problem involves a second order partial differential equation, with boundary conditions. We may use Green's theorem to solve such problems.

More general self-adjoint operators

For partial differential operators that are more general, consisting of the sum then we may write

Examples of self-adjoint operators are the Laplace and Poisson operators. A number of operators may be Fourier transformed in time to yield self-adjoint representations. These include the Schroedinger operator, the heat or diffusion operator, the scalar wave equation, and the Navier (elastic) wave equation.

Non-self adjoint operators

In the more general case, the operator that makes the integrand into an exact divergence is not the same as the forward operator. This second operator is called the adjoint operator. An example of a class of second order non-self adjoint operators would be of the form to yield the most general form of Green's theorem as


Here the integrand of the volume integral is an exact divergence

where the value of is specific to the problem.

The application of Green's theorem

Green's theorem is the source of many powerful results in mathematical physics. These derive from an approach called loosely the Green's function method. This method permits a solution of a boundary value problem to be generated given knowledge of the Green's function of the governing equation and boundary conditions for the problem.

References

  1. Greenspan, Harvey Philip, and David J. Benney. Calculus: an introduction to applied mathematics. H, P. GREENSPAN, 1997.
  2. Spiegel, Murray R. "Theory and problems of complex variables, with an introduction to Conformal Mapping and its applications." Schaum's outline series (1964).
  3. Levinson, Norman, and Raymond M. Redheffer. "Complex variables." (1970), Holden-Day, New York.
  4. Bleistein, N. (1984). Mathematical methods for wave phenomena. Academic Press.
  5. Bleistein, N., J. K. Cohen, & J. W. Stockwell Jr., (2001). Mathematics of multidimensional seismic imaging, migration, and inversion. Springer Verlag.

External links

find literature about
Green's theorem
SEG button search.png Datapages button.png GeoScienceWorld button.png OnePetro button.png Schlumberger button.png Google button.png AGI button.png