Poisson's equation


Poisson's equation is an elliptic partial differential equation of broad utility in theoretical physics. For example, the solution to Poisson's equation the potential field caused by a given electric charge or mass density distribution; with the potential field known, one can then calculate electrostatic or gravitational field. It is a generalization of Laplace's equation, which is also frequently seen in physics. The equation is named after French mathematician and physicist Siméon Denis Poisson.

Statement of the equation

Poisson's equation is
where is the Laplace operator, and ' and ' are real or complex-valued functions on a manifold. Usually, ' is given and ' is sought. When the manifold is Euclidean space, the Laplace operator is often denoted as ∇2 and so Poisson's equation is frequently written as
In three-dimensional Cartesian coordinates, it takes the form
When identically we obtain Laplace's equation.
Poisson's equation may be solved using a Green's function:
where the integral is over all of space. A general exposition of the Green's function for Poisson's equation is given in the article on the screened Poisson equation. There are various methods for numerical solution, such as the relaxation method, an iterative algorithm.

Newtonian gravity

In the case of a gravitational field g due to an attracting massive object of density ρ, Gauss's law for gravity in differential form can be used to obtain the corresponding Poisson equation for gravity,
Since the gravitational field is conservative, it can be expressed in terms of a scalar potential Φ,
Substituting into Gauss's law
yields Poisson's equation for gravity,
If the mass density is zero, Poisson's equation reduces to Laplace's equation. Using Green's Function, the potential at distance from a central point mass is
which is equivalent to Newton's law of universal gravitation.

Electrostatics

One of the cornerstones of electrostatics is setting up and solving problems described by the Poisson equation. Solving the Poisson equation amounts to finding the electric potential for a given charge distribution '.
The mathematical details behind Poisson's equation in electrostatics are as follows.
Starting with Gauss's law for electricity in differential form, one has
where is the divergence operator, D = electric displacement field, and ρf = free charge volume density.
Assuming the medium is linear, isotropic, and homogeneous, we have the constitutive equation,
where = permittivity of the medium and E = electric field.
Substituting this into Gauss's law and assuming is spatially constant in the region of interest yields
where is a total volume charge density. In electrostatic, we assume that there is no magnetic field. Then, we have that
where ∇× is the curl operator and is the time. This equation means that we can write the electric field as the gradient of a scalar function , since the curl of any gradient is zero. Thus we can write,
where the minus sign is introduced so that is identified as the potential energy per unit charge.
The derivation of Poisson's equation under these circumstances is straightforward. Substituting the potential gradient for the electric field,
directly produces Poisson's equation for electrostatics, which is
Solving Poisson's equation for the potential requires knowing the charge density distribution. If the charge density is zero, then Laplace's equation results. If the charge density follows a Boltzmann distribution, then the Poisson-Boltzmann equation results. The Poisson–Boltzmann equation plays a role in the development of the Debye–Hückel theory of dilute electrolyte solutions.
Using Green's Function, the potential at distance from a central point charge is:
which is Coulomb's law of electrostatics.
The above discussion assumes that the magnetic field is not varying in time. The same Poisson equation arises even if it does vary in time, as long as the Coulomb gauge is used. In this more general context, computing is no longer sufficient to calculate E, since E also depends on the magnetic vector potential A, which must be independently computed. See Maxwell's equation in potential formulation for more on and A''' in Maxwell's equations and how Poisson's equation is obtained in this case.

Potential of a Gaussian charge density

If there is a static spherically symmetric Gaussian charge density
where is the total charge, then the solution of Poisson's equation,
is given by
where erf is the error function.
This solution can be checked explicitly by evaluating ∇2.
Note that, for much greater than, the erf function approaches unity and the potential approaches the point charge potential
as one would expect. Furthermore, the erf function approaches 1 extremely quickly as its argument increases; in practice for > 3 the relative error is smaller than one part in a thousand.

Surface reconstruction

Surface reconstruction is an inverse problem. The goal is to digitally reconstruct a smooth surface based on a large number of points pi where each point also carries an estimate of the local surface normal ni. Poisson's equation can be utilized to solve this problem with a technique called Poisson surface reconstruction.
The goal of this technique is to reconstruct an implicit function f whose value is zero at the points pi and whose gradient at the points pi equals the normal vectors ni. The set of is thus modeled as a continuous vector field V. The implicit function f is found by integrating the vector field V. Since not every vector field is the gradient of a function, the problem may or may not have a solution: the necessary and sufficient condition for a smooth vector field V to be the gradient of a function f is that the curl of V must be identically zero. In case this condition is difficult to impose, it is still possible to perform a least-squares fit to minimize the difference between V and the gradient of f.
In order to effectively apply Poisson's equation to the problem of surface reconstruction, it is necessary to find a good discretization of the vector field V. The basic approach is to bound the data with a finite difference grid. For a function valued at the nodes of such a grid, its gradient can be represented as valued on staggered grids, i.e. on grids whose nodes lie in between the nodes of the original grid. It is convenient to define three staggered grids, each shifted in one and only one direction corresponding to the components of the normal data. On each staggered grid we perform on the set of points. The interpolation weights are then used to distribute the magnitude of the associated component of ni onto the nodes of the particular staggered grid cell containing pi. Kazhdan and coauthors give a more accurate method of discretization using an adaptive finite difference grid, i.e. the cells of the grid are smaller where there are more data points. They suggest implementing this technique with an adaptive octree.

Fluid dynamics

For the incompressible Navier–Stokes equations, given by:
The equation for the pressure field is an example of a nonlinear Poisson equation:
where is the Frobenius norm.