Limiting absorption principle

Last updated

In mathematics, the limiting absorption principle (LAP) is a concept from operator theory and scattering theory that consists of choosing the "correct" resolvent of a linear operator at the essential spectrum based on the behavior of the resolvent near the essential spectrum. The term is often used to indicate that the resolvent, when considered not in the original space (which is usually the space), but in certain weighted spaces (usually , see below), has a limit as the spectral parameter approaches the essential spectrum. This concept developed from the idea of introducing complex parameter into the Helmholtz equation for selecting a particular solution. This idea is credited to Vladimir Ignatowski, who was considering the propagation and absorption of the electromagnetic waves in a wire. [1] It is closely related to the Sommerfeld radiation condition and the limiting amplitude principle (1948). The terminology – both the limiting absorption principle and the limiting amplitude principle – was introduced by Aleksei Sveshnikov. [2]

Contents

Formulation

To find which solution to the Helmholz equation with nonzero right-hand side

with some fixed , corresponds to the outgoing waves, one considers the limit [2] [3]

The relation to absorption can be traced to the expression for the electric field used by Ignatowsky: the absorption corresponds to nonzero imaginary part of , and the equation satisfied by is given by the Helmholtz equation (or reduced wave equation) , with

having negative imaginary part (and thus with no longer belonging to the spectrum of ). Above, is magnetic permeability, is electric conductivity, is dielectric constant, and is the speed of light in vacuum. [1]


Example and relation to the limiting amplitude principle

One can consider the Laplace operator in one dimension, which is an unbounded operator acting in and defined on the domain , the Sobolev space. Let us describe its resolvent, . Given the equation

,

then, for the spectral parameter from the resolvent set , the solution is given by where is the convolution of F with the fundamental solution G:

where the fundamental solution is given by

To obtain an operator bounded in , one needs to use the branch of the square root which has positive real part (which decays for large absolute value of x), so that the convolution of G with makes sense.

One can also consider the limit of the fundamental solution as approaches the spectrum of , given by . Assume that approaches , with some . Depending on whether approaches in the complex plane from above () or from below () of the real axis, there will be two different limiting expressions: when approaches from above and when approaches from below. The resolvent (convolution with ) corresponds to outgoing waves of the inhomogeneous Helmholtz equation , while corresponds to incoming waves. This is directly related to the limiting amplitude principle: to find which solution corresponds to the outgoing waves, one considers the inhomogeneous wave equation

with zero initial data . A particular solution to the inhomogeneous Helmholtz equation corresponding to outgoing waves is obtained as the limit of for large times. [3]

Estimates in the weighted spaces

Let be a linear operator in a Banach space , defined on the domain . For the values of the spectral parameter from the resolvent set of the operator, , the resolvent is bounded when considered as a linear operator acting from to itself, , but its bound depends on the spectral parameter and tends to infinity as approaches the spectrum of the operator, . More precisely, there is the relation

Many scientists refer to the "limiting absorption principle" when they want to say that the resolvent of a particular operator , when considered as acting in certain weighted spaces, has a limit (and/or remains uniformly bounded) as the spectral parameter approaches the essential spectrum, . For instance, in the above example of the Laplace operator in one dimension, , defined on the domain , for , both operators with the integral kernels are not bounded in (that is, as operators from to itself), but will both be uniformly bounded when considered as operators

with fixed . The spaces are defined as spaces of locally integrable functions such that their -norm,

is finite. [4] [5]

See also

Related Research Articles

<span class="mw-page-title-main">Dirac delta function</span> Generalized function whose value is zero everywhere except at zero

In mathematical analysis, the Dirac delta distribution, also known as the unit impulse, is a generalized function or distribution over the real numbers, whose value is zero everywhere except at zero, and whose integral over the entire real line is equal to one.

Distributions, also known as Schwartz distributions or generalized functions, are objects that generalize the classical notion of functions in mathematical analysis. Distributions make it possible to differentiate functions whose derivatives do not exist in the classical sense. In particular, any locally integrable function has a distributional derivative.

<span class="mw-page-title-main">Fokker–Planck equation</span> Partial differential equation

In statistical mechanics and information theory, the Fokker–Planck equation is a partial differential equation that describes the time evolution of the probability density function of the velocity of a particle under the influence of drag forces and random forces, as in Brownian motion. The equation can be generalized to other observables as well. The Fokker-Planck equation has multiple applications in information theory, graph theory, data science, finance, economics etc.

In mathematics, the Laplace operator or Laplacian is a differential operator given by the divergence of the gradient of a scalar function on Euclidean space. It is usually denoted by the symbols , (where is the nabla operator), or . In a Cartesian coordinate system, the Laplacian is given by the sum of second partial derivatives of the function with respect to each independent variable. In other coordinate systems, such as cylindrical and spherical coordinates, the Laplacian also has a useful form. Informally, the Laplacian Δf (p) of a function f at a point p measures by how much the average value of f over small spheres or balls centered at p deviates from f (p).

In vector calculus, Green's theorem relates a line integral around a simple closed curve C to a double integral over the plane region D bounded by C. It is the two-dimensional special case of Stokes' theorem.

In mathematics, the limit of a function is a fundamental concept in calculus and analysis concerning the behavior of that function near a particular input which may or may not be in the domain of the function.

Linear elasticity is a mathematical model of how solid objects deform and become internally stressed due to prescribed loading conditions. It is a simplification of the more general nonlinear theory of elasticity and a branch of continuum mechanics.

In mathematics, the Hodge star operator or Hodge star is a linear map defined on the exterior algebra of a finite-dimensional oriented vector space endowed with a nondegenerate symmetric bilinear form. Applying the operator to an element of the algebra produces the Hodge dual of the element. This map was introduced by W. V. D. Hodge.

<span class="mw-page-title-main">Green's function</span> Impulse response of an inhomogeneous linear differential operator

In mathematics, a Green's function is the impulse response of an inhomogeneous linear differential operator defined on a domain with specified initial conditions or boundary conditions.

In mathematics, the Fourier inversion theorem says that for many types of functions it is possible to recover a function from its Fourier transform. Intuitively it may be viewed as the statement that if we know all frequency and phase information about a wave then we may reconstruct the original wave precisely.

In mathematics, the Cauchy principal value, named after Augustin Louis Cauchy, is a method for assigning values to certain improper integrals which would otherwise be undefined. In this method, a singularity on an integral interval is avoided by limiting the integral interval to the non singular domain.

<span class="mw-page-title-main">Path integral formulation</span> Formulation of quantum mechanics

The path integral formulation is a description in quantum mechanics that generalizes the stationary action principle of classical mechanics. It replaces the classical notion of a single, unique classical trajectory for a system with a sum, or functional integral, over an infinity of quantum-mechanically possible trajectories to compute a quantum amplitude.

The Arzelà–Ascoli theorem is a fundamental result of mathematical analysis giving necessary and sufficient conditions to decide whether every sequence of a given family of real-valued continuous functions defined on a closed and bounded interval has a uniformly convergent subsequence. The main condition is the equicontinuity of the family of functions. The theorem is the basis of many proofs in mathematics, including that of the Peano existence theorem in the theory of ordinary differential equations, Montel's theorem in complex analysis, and the Peter–Weyl theorem in harmonic analysis and various results concerning compactness of integral operators.

In probability theory and related fields, Malliavin calculus is a set of mathematical techniques and ideas that extend the mathematical field of calculus of variations from deterministic functions to stochastic processes. In particular, it allows the computation of derivatives of random variables. Malliavin calculus is also called the stochastic calculus of variations. P. Malliavin first initiated the calculus on infinite dimensional space. Then, the significant contributors such as S. Kusuoka, D. Stroock, J-M. Bismut, S. Watanabe, I. Shigekawa, and so on finally completed the foundations.

In mathematics, in particular in algebraic geometry and differential geometry, Dolbeault cohomology (named after Pierre Dolbeault) is an analog of de Rham cohomology for complex manifolds. Let M be a complex manifold. Then the Dolbeault cohomology groups depend on a pair of integers p and q and are realized as a subquotient of the space of complex differential forms of degree (p,q).

In mathematics, more specifically in dynamical systems, the method of averaging exploits systems containing time-scales separation: a fast oscillationversus a slow drift. It suggests that we perform an averaging over a given amount of time in order to iron out the fast oscillations and observe the qualitative behavior from the resulting dynamics. The approximated solution holds under finite time inversely proportional to the parameter denoting the slow time scale. It turns out to be a customary problem where there exists the trade off between how good is the approximated solution balanced by how much time it holds to be close to the original solution.

In applied mathematics, discontinuous Galerkin methods (DG methods) form a class of numerical methods for solving differential equations. They combine features of the finite element and the finite volume framework and have been successfully applied to hyperbolic, elliptic, parabolic and mixed form problems arising from a wide range of applications. DG methods have in particular received considerable interest for problems with a dominant first-order part, e.g. in electrodynamics, fluid mechanics and plasma physics.

In mathematics, the Möbius energy of a knot is a particular knot energy, i.e., a functional on the space of knots. It was discovered by Jun O'Hara, who demonstrated that the energy blows up as the knot's strands get close to one another. This is a useful property because it prevents self-intersection and ensures the result under gradient descent is of the same knot type.

In mathematics, Maass forms or Maass wave forms are studied in the theory of automorphic forms. Maass forms are complex-valued smooth functions of the upper half plane, which transform in a similar way under the operation of a discrete subgroup of as modular forms. They are eigenforms of the hyperbolic Laplace operator defined on and satisfy certain growth conditions at the cusps of a fundamental domain of . In contrast to modular forms, Maass forms need not be holomorphic. They were studied first by Hans Maass in 1949.

In functional analysis, the Fréchet–Kolmogorov theorem gives a necessary and sufficient condition for a set of functions to be relatively compact in an Lp space. It can be thought of as an Lp version of the Arzelà–Ascoli theorem, from which it can be deduced. The theorem is named after Maurice René Fréchet and Andrey Kolmogorov.

References

  1. 1 2 W. v. Ignatowsky (1905). "Reflexion elektromagnetischer Wellen an einem Draft" (PDF). Annalen der Physik. 18 (13): 495–522. Bibcode:1905AnP...323..495I. doi:10.1002/andp.19053231305.
  2. 1 2 Sveshnikov, A.G. (1950). "Radiation principle". Doklady Akademii Nauk SSSR. Novaya Seriya. 5: 917–920.
  3. 1 2 Smirnov, V.I. (1974). Course in Higher Mathematics. Vol. 4 (6 ed.). Moscow, Nauka.
  4. Agmon, S (1975). "Spectral properties of Schrödinger operators and scattering theory" (PDF). Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4). 2: 151–218.
  5. Reed, Michael C.; Simon, Barry (1978). Methods of modern mathematical physics. Analysis of operators. Vol. 4. Academic Press. ISBN   0-12-585004-2.