Spherical surface functions

from Wikipedia, the free encyclopedia
Representation of the first spherical surface functions. The colors indicate the sign of the spherical surface function (red corresponds to positive, green corresponds to negative)
Illustration of some spherical surface functions (rotating around the z-axis). Is shown , where corresponds to the row and the column. Rows and columns are numbered starting with zero.

The spherical surface functions are a complete and orthonormal set of eigenfunctions of the angular component of the Laplace operator . This angular component is shown when the Laplace operator is written in spherical coordinates . The eigenvalue equation is:

The eigenfunctions are the spherical surface functions , with normalization factors and the assigned Legendre polynomials (details see below):

In theoretical physics in particular, the spherical surface functions are of great importance for the solution of partial differential equations . They occur, for example, in the calculation of atomic orbitals , since the descriptive time-independent Schrödinger equation contains the Laplace operator and the problem can best be solved in spherical coordinates. The boundary value problems that occur in electrostatics can also be elegantly solved by developing according to spherical surface functions. In geophysics and geodesy , the spherical surface functions are used to approximate the geoid and the magnetic field.

Relation to the Laplace operator

The angular component of the Laplace operator is shown when it is written in spherical coordinates :

The right, bracketed part is referred to here as the angle part . It is directly proportional to the square of the angular momentum operator .

The Laplace equation in spherical coordinates

In addition to the trivial solution,, has a wide variety of solutions with many technical applications.

The following product approach is used to solve this, whereby it only depends on the radius and only on the polar and azimuth angles:

This results in inserted:

Multiplication of and division by gives:

This equation can only be fulfilled if the radius and angle can be varied independently of one another in both summands. Both summands must therefore assume the same constant value that is chosen (this determination will prove useful later):

With this procedure, which is called the separation approach , the original problem, namely the solution of the Laplace equation ( partial differential equation with three independent variables), was reduced to the simpler problem of solving an ordinary differential equation (radial equation)

and a partial differential equation with two independent variables (angle-dependent equation), which is just satisfied by the spherical surface functions.

Now, due to the orthogonality and completeness of the spherical surface functions, it can be shown that every square-integrable function can be composed of these special functions as a sum:

Due to the linearity of the Laplace operator, any number of solutions to the Laplace equation can be constructed by adding the solutions to the radial equation multiplied by the spherical surface functions. This automatically results in a representation of the solution space of the Laplace equation.

The spherical functions have been dealt with in particular by Legendre (spherical functions of the first kind), Laplace (spherical functions of the second kind) and Carl Gottfried Neumann (spherical functions with several variables).

Solution of the eigenvalue equation

The eigenvalue equation

is separated with the following product approach:

Re-sorting delivers:

In order to be able to vary both sides separately, both sides must assume the same constant value. This separation constant is chosen as. There are two ordinary differential equations, the polar equation

and the azimuthal equation .

The azimuthal equation is solved by, whereby, because of the additional condition of uniqueness on the surface of the sphere , they are restricted to whole numbers . With you get the normalized solution of the azimuthal equation:

The polar equation can be solved with a power series approach. The solutions are only finite, unambiguous and continuous if

.

Then the solutions are the assigned Legendre polynomials and with one gets the normalized solution of the polar equation:

The total solution of the angle component is the product of the two solutions obtained, namely the spherical surface functions.

presentation

3D plot of the spherical surface functions (here instead of and instead of ) for degrees

The representation of the spherical surface functions results from the solution of the eigenvalue equation mentioned above. The concrete invoice delivers:

Are there

the assigned Legendre polynomials and

are normalization factors. Sometimes the calculation is via:

With

more advantageous ( ), since multiple derivation is not required.

Another definition is about homogeneous, harmonic polynomials . These are clearly determined by their value on the sphere. Every homogeneous harmonic polynomial of degree n can be written as a linear combination of spherical surface functions multiplied by and vice versa. For example, if you choose the function, which is constant 1, as the basis of the one-dimensional vector space of the 0-homogeneous harmonic polynomials and x, y and z as the basis of the three-dimensional vector space of the 1-homogeneous, you get the functions in spherical coordinates after dividing

,
,
.

For the homogeneous polynomials of degree 2 you can quickly recognize the terms in the list below , only with a wrong prefactor.

properties

Representation of the spherical surface functions

The spherical surface functions have the following properties:

  • Orthogonality relation : ( is the Kronecker delta )
  • Parity : The transition looks in spherical coordinates as follows: . Under this transformation, the spherical surface functions behave as follows:
  • Complex conjugation : The respective can be obtained from :

Development according to spherical surface functions

The spherical surface functions form a complete system of functions. Therefore, all square-integrable functions (with and in the sense of spherical coordinates) can be expanded according to the spherical surface functions:

The expansion coefficients are calculated as follows:

It is the complex conjugate to . The representation of a function with - and - function as a Fourier series is an analogue to the development of a two-dimensional function with on a spherical surface.

Addition theorem

One result for the spherical surface functions is the addition theorem. For this purpose, two unit vectors and are represented by spherical coordinates and . The following then applies to the angle between these two vectors

The addition theorem for spherical surface functions now says

The theorem can also be written with the assigned Legendre functions instead of the spherical surface functions

For is obtained from the addition theorem

This can be seen as a generalization of identity on three dimensions and is known as the Unsöld theorem (after Albrecht Unsöld ).

The first spherical surface functions

The first spherical surface functions
Y lm l = 0 l = 1 l = 2 l = 3
m = −3
m = −2
m = −1
m = 0
m = 1
m = 2
m = 3

Applications

Quantum mechanics

As eigenfunctions of the angular component of the Laplace operator, the spherical surface functions are also eigenfunctions of the angular momentum operator for the secondary quantum number as eigenvalue. Therefore, they play a major role in describing atomic states. Furthermore is

Solution of Laplace's equation

For each , the function is the solution of Laplace's equation in three dimensions, because the function just satisfies the above equation

.

Every solution of the Laplace equation can now be uniquely as

represent. Thus, with the spherical surface functions, the Laplace equation can be solved with spherical Dirichlet boundary conditions : If the boundary conditions fix the value of the solution , which should be defined on the closed unit sphere, to a certain square-integrable function on the unit sphere, then spherical surface functions can be developed which results in the coefficients and thus in an unambiguous way entirely . On the basis of this knowledge of solvability with spherical boundary conditions, the general solvability of the Dirichlet problem of the Laplace equation for sufficiently smooth boundary conditions can be shown; this proof goes back to Oskar Perron . The Dirichlet problem is used in electrostatics and magnetostatics . To solve the Laplace equation, in which a function is sought that is defined outside a sphere and disappears at infinity, under given boundary conditions, the approach is a decomposition

possible, which also always provides a solution to the Laplace equation for the given boundary conditions.

Nomenclature in geophysics

Spherical surface functions are also used in geophysics . A distinction is made here between:

  • zonal ( ): independent of longitude
  • sectoral ( ):
  • tesseral (otherwise): depending on latitude and longitude

literature

Spherical surface functions are also covered in many textbooks in theoretical physics, e.g. B .:

  • Arnold Sommerfeld : Lectures on Theoretical Physics , Volume 6 Partial Differential Equations of Physics . Harri Deutsch, 1992
  • Claude Cohen-Tannoudji , Bernard Diu, Franck Laloë: Quantum Mechanics 1 . 2nd edition, Walter de Gruyter, Berlin / New York 1999, p. 649 ff.
  • Torsten Fließbach : Electrodynamics . 4th edition, Spektrum, Munich 2005, p. 99 ff.

Web links

Individual evidence

  1. Albrecht Unsöld: Contributions to the quantum mechanics of atoms . In: Annals of Physics . tape 387 , no. 3 , 1927, pp. 376-377 , doi : 10.1002 / andp.19273870304 .
  2. ^ Oskar Perron: A new treatment of the first boundary value problem for Δu = 0 . In: Mathematical Journal . tape 18 , no. 1 . Springer , 1923, ISSN  0025-5874 , p. 42-54 , doi : 10.1007 / BF01192395 .