Equation of Laplace

In vectorial Analysis, the equation of Laplace is a partial derivative equation of the second order, whose name is a homage to the physicist mathematician Pierre-Simon Laplace.

Introduced for the needs for the Newtonian Mechanical , the equation of Laplace appears in many other branches of the theoretical physics: electrostatic Astronomy, , Mechanical of the fluids, propagation of heat, diffusion, Brownian Movement, Mechanical quantum.

Any function solution of the equation of Laplace is known as harmonic.

Equation of Laplace with three dimensions

Of Cartesian coordinates in an Euclidean space of Dimension 3, the problem consists in finding all the functions with three real variables $\backslash \; varphi\; (X,\; there,\; Z)$ which check the partial derivative equation of the second order:

$\backslash \; frac\; \{\backslash \; partial^2\; \backslash \; varphi\}\; \{\backslash \; partial\; x^2\}\; \backslash \; +\; \backslash \; \backslash \; frac\; \{\backslash \; partial^2\; \backslash \; varphi\}\; \{\backslash \; partial\; y^2\}\; \backslash \; +\; \backslash \; \backslash \; frac\; \{\backslash \; partial^2\; \backslash \; varphi\}\; \{\backslash \; partial\; z^2\}\; \backslash \; =\; \backslash \; 0$

To simplify the writing, one introduces a differential Opérateur noted $\backslash \; Delta$ and called operator of Laplace , or simply Laplacian , such as the partial derivative equation preceding is written in a compact way:

$\backslash \; Delta\; \backslash \; varphi\; \backslash \; =\; \backslash \; 0$

Equation of Laplace with two dimensions

Of Cartesian coordinates in an Euclidean space of Dimension 2, the problem consists in finding all the functions with two real variables $V\; (X,\; there)$ which check:

$\backslash \; frac\; \{\backslash \; partial^2\; V\}\; \{\backslash \; partial\; x^2\}\; \backslash \; +\; \backslash \; \backslash \; frac\; \{\backslash \; partial^2\; V\}\; \{\backslash \; partial\; y^2\}\; \backslash \; =\; \backslash \; 0$

It is shown that all holomorphic Fonction gives solutions of the equation of Laplace to two dimensions by their real part and their imaginary part; moreover, these solutions are orthogonal in any point.

Recalls on the holomorphic functions

All polynomial function with Coefficient S complexes is holomorphic on $\backslash \; mathbb\; C$; to also are it the goniometrical functions and the exponential function. (The goniometrical functions are in fact relatively close to the exponential function since they can be defined from this one by using the formulas of Euler).

• the function Logarithme is holomorphic on the whole of the complex numbers private of the half-line of negative realities (one can choose an unspecified half-line resulting from 0).

• the function square root can be defined by

  $\backslash \; sqrt\; \{Z\}\; =\; e^$ and is thus holomorphic everywhere where the function logarithm is.

• the function reverses $z\; \backslash \; mapsto\; 1/z$ is holomorphic on $\backslash \; mathbb\; C^*$.

• the reciprocal goniometrical functions have same manners of the seams and are holomorphic safe everywhere with the seams.

Results on the equation of Laplace and the functions holomorphic

First theorem

Demonstration

The complex variable is introduced: $z=x+iy$ where $i^2\; =\; -1$, and one defines the holomorphic function $F\; (Z)$. By derivation, one obtains that:

$\backslash \; frac\; \{\backslash \; partial\; F\}\; \{\backslash \; partial\; X\}\; \backslash \; =\; \backslash \; \backslash \; frac\; \{\backslash \; mathrm\; D\; F\}\; \{\backslash \; mathrm\; dz\}\; \backslash \; \backslash \; frac\; \{\backslash \; partial\; Z\}\; \{\backslash \; partial\; X\}\; \backslash \; =\; \backslash \; F\text{'}\; (Z)$

whereas:

$\backslash \; frac\; \{\backslash \; partial\; F\}\; \{\backslash \; partial\; there\}\; \backslash \; =\; \backslash \; \backslash \; frac\; \{\backslash \; mathrm\; dF\}\; \{\backslash \; mathrm\; dz\}\; \backslash \; \backslash \; frac\; \{\backslash \; partial\; Z\}\; \{\backslash \; partial\; there\}\; \backslash \; =\; \backslash \; I\; \backslash \; F\text{'}\; (Z)$.

By deriving one second time, one obtains in a similar way:

$\backslash \; frac\; \{\backslash \; partial^2\; F\}\; \{\backslash \; partial\; x^2\}\; \backslash \; =\; \backslash \; F$ (Z)

whereas:

$\backslash \; frac\; \{\backslash \; partial^2\; F\}\; \{\backslash \; partial\; y^2\}\; \backslash \; =\; \backslash \; -\; \backslash \; F$ (Z)

The sum is null, therefore the holomorphic function F is well a solution of the equation of Laplace:

$\backslash \; frac\; \{\backslash \; partial^2\; F\}\; \{\backslash \; partial\; x^2\}\; \backslash \; +\; \backslash \; \backslash \; frac\; \{\backslash \; partial^2\; F\}\; \{\backslash \; partial\; y^2\}\; \backslash \; =\; \backslash \; 0$

Note: the holomorphic function always admits a partly real decomposition and imaginary part:

$F\; (Z)\; \backslash \; =\; \backslash \; V\; (X,\; there)\; \backslash \; +\; \backslash \; I\; \backslash \; \backslash \; phi\; (X,\; there)$

By cancelling the real part and the imaginary part separately, one obtains two equations of independent Laplace:

$\backslash \; frac\; \{\backslash \; partial^2\; V\}\; \{\backslash \; partial\; x^2\}\; +\; \backslash \; frac\; \{\backslash \; partial^2\; V\}\; \{\backslash \; partial\; y^2\}\; =0\; \backslash \; qquad\; \backslash \; mathrm\; \{and:\}\; \backslash \; qquad\; \backslash \; frac\; \{\backslash \; partial^2\; \backslash \; partial\; phi\}\; \{\backslash \; x^2\}\; +\; \backslash \; frac\; \{\backslash \; partial^2\; \backslash \; partial\; phi\}\; \{\backslash \; y^2\}\; =0$

Second theorem

Demonstration

One can write:

$\backslash \; frac\; \{\backslash \; partial\; F\}\; \{\backslash \; partial\; X\}\; \backslash \; =\; \backslash \; F\text{'}\; (x+iy)\; \backslash \; =\; \backslash \; \backslash \; frac\; \{\backslash \; partial\; V\; (X,\; there)\}\{\backslash \; partial\; X\}\; \backslash \; +\; \backslash \; I\; \backslash \; \backslash \; frac\; \{\backslash \; partial\; \backslash \; Phi\; (X,\; there)\}\{\backslash \; partial\; X\}$

and:

$\backslash \; frac\; \{\backslash \; partial\; F\}\; \{\backslash \; partial\; there\}\; \backslash \; =\; \backslash \; I\; F\text{'}\; (x+iy)\; \backslash \; =\; \backslash \; \backslash \; frac\; \{\backslash \; partial\; V\; (X,\; there)\}\{\backslash \; partial\; there\}\; \backslash \; +\; \backslash \; I\; \backslash \; \backslash \; frac\; \{\backslash \; partial\; \backslash \; Phi\; (X,\; there)\}\{\backslash \; partial\; there\}$

One from of deduced:

$\backslash \; frac\; \{\backslash \; partial\; V\; (X,\; there)\}\{\backslash \; partial\; X\}\; \backslash \; =\; \backslash \; \backslash \; frac\; \{\backslash \; partial\; \backslash \; Phi\; (X,\; there)\}\{\backslash \; partial\; there\}\; \backslash \; qquad\; \backslash \; mathrm\; \{and:\}\; \backslash \; qquad\; \backslash \; frac\; \{\backslash \; partial\; \backslash \; Phi\; (X,\; there)\}\{\backslash \; partial\; X\}\; \backslash \; =\; \backslash \; -\; \backslash \; \backslash \; frac\; \{\backslash \; partial\; V\; (X,\; there)\}\{\backslash \; partial\; there\}$

that is to say finally:

$\backslash \; frac\; \{\backslash \; partial\; V\; (X,\; there)\}\{\backslash \; partial\; X\}\; \backslash \; cdot\; \backslash \; frac\; \{\backslash \; partial\; \backslash \; Phi\; (X,\; there)\}\{\backslash \; partial\; X\}\; \backslash \; +\; \backslash \; \backslash \; frac\; \{\backslash \; partial\; V\; (X,\; there)\}\{\backslash \; partial\; there\}\; \backslash \; cdot\; \backslash \; frac\; \{\backslash \; partial\; \backslash \; Phi\; (X,\; there)\}\{\backslash \; partial\; there\}\; \backslash \; =\; \backslash \; 0$ One recognizes the scalar Produit there of the two vectors:

$\backslash \; overrightarrow\; \backslash \; operatorname\; \{grad\}\; \backslash \; (V)\; \backslash \; cdot\; \backslash \; overrightarrow\; \backslash \; operatorname\; \{grad\}\; \backslash \; (\backslash \; Phi)\; \backslash \; =\; \backslash \; 0$

One from of deduced that the curves with “= constant” and “= constant” are perpendicular (transformation in conformity). With the result that if “= constant” represents the curves in the same way potential, then “= constant” the lines of electrostatic Electric field in represents

Poisson's equation

If the member of right-hand side is a given function $f\; (X,\; there,\; Z)$, one obtains the Poisson's equation:

$\backslash \; Delta\; \backslash \; varphi\; =\; f$

Dependant articles

• Opérateur Laplacian

• Théorie of the potential
• Poisson's equation
• Analyze complexes

Random links:

Unknown at this address | Hagedet | William Price (Father) | Kay Scarpetta | Jean-Philippe Nozzle | Coup_de_grâce

© 2007-2008 speedlook.com; article text available under the terms of GFDL, from fr.wikipedia.org