Poincaré–Steklov operator


In mathematics, a Poincaré–Steklov operator maps the values of one boundary condition of the solution of an elliptic partial differential equation in a domain to the values of another boundary condition. Usually, either of the boundary conditions determines the solution. Thus, a Poincaré–Steklov operator encapsulates the boundary response of the system modelled by the partial differential equation. When the partial differential equation is discretized, for example by finite elements or finite differences, the discretization of the Poincaré–Steklov operator is the Schur complement obtained by eliminating all degrees of freedom inside the domain.
Note that there may be many suitable different boundary conditions for a given partial differential equation and the direction in which a Poincaré–Steklov operator maps the values of one into another is given only by a convention.

Dirichlet-to-Neumann operator on a bounded domain

Consider a steady-state distribution of temperature in a body for given temperature values on the body surface. Then the resulting heat flux through the boundary is determined uniquely. The mapping of the surface temperature to the surface heat flux is a Poincaré–Steklov operator. This particular Poincaré–Steklov operator is called the Dirichlet to Neumann operator. The values of the temperature on the surface is the Dirichlet boundary condition of the Laplace equation, which describes the distribution of the temperature inside the body. The heat flux through the surface is the Neumann boundary condition.
Mathematically, for a function harmonic in a domain, the Dirichlet-to-Neumann operator maps the values of on the boundary of to the normal derivative on the boundary of. This Poincaré–Steklov operator is at the foundation of iterative substructuring.
Calderón's inverse boundary problem is the problem of finding the coefficient of a divergence form elliptic partial differential equation from its Dirichlet-to-Neumann operator. This is the mathematical formulation of electrical impedance tomography.

Dirichlet-to-Neumann operator for a boundary condition at infinity

The solution of partial differential equation in an external domain gives rise to a Poincaré–Steklov operator that brings the boundary condition from infinity to the boundary. One example is the Dirichlet-to-Neumann operator that maps the given temperature on the boundary of a cavity in infinite medium with zero temperature at infinity to the heat flux on the cavity boundary. Similarly, one can define the Dirichlet-to-Neumann operator on the boundary of a sphere for the solution for the Helmholtz equation in the exterior of the sphere. Approximations of this operator are at the foundation of a class of method for the modeling of acoustic scattering in infinite medium, with the scatterer enclosed in the sphere and the Poincaré–Steklov operator serving as a non-reflective boundary condition.

Poincaré–Steklov operator in electromagnetics

The Poincaré–Steklov operator is defined to be the operator mapping the time-harmonic tangential electric field on the boundary of a region to the equivalent electric current on its boundary.