Distribution (mathematics): Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Aleksander Stos
m (paragraph)
imported>Aleksander Stos
No edit summary
Line 4: Line 4:


A widely used intuitive description of the Dirac delta  reads "this is a function that is equal to zero everywhere except for ''x''=0; the integral of this function is equal to 1". The latter, roughly speaking, represents the important fact that our electron is to be localized somewhere in the space (or the "flash" comes in a moment of time).
A widely used intuitive description of the Dirac delta  reads "this is a function that is equal to zero everywhere except for ''x''=0; the integral of this function is equal to 1". The latter, roughly speaking, represents the important fact that our electron is to be localized somewhere in the space (or the "flash" comes in a moment of time).
Strictly speaking, these two intuitive properties are simply ''contradictory''. Doesn't matter what value you put at ''x''=0, the integral of such a "function" will always be equal to zero. And if you put "<math>\scriptstyle\infty</math>", as it is often stipulated, then a serious problem arises in applications. When you deal with signals represented as <math>\delta</math> and <math>2\delta,</math> say, how to make a practical difference between </math>\infty</math> and <math>2\times\infty</math>? Definitely, Dirac's delta is ''not'' a usual function and a rigorous mathematical background for such an object is really needed.
Strictly speaking, these two intuitive properties are simply ''contradictory''. Doesn't matter what value you put at ''x''=0, the integral of such a "function" will always be equal to zero. And if you put "<math>\scriptstyle\infty</math>", as it is often stipulated, then a serious problem arises in applications. When you deal with signals represented as <math>\delta</math> and <math>2\delta,</math> say, how to make a practical difference between <math>\scriptstyle\infty</math> and <math>\scriptstyle 2\times\infty</math>? Definitely, Dirac's delta is ''not'' a usual function and a rigorous mathematical background for such an object is really needed.


Dirac's intuitive ideas were placed on firm mathematical footing by S. L. Sobolev in 1936, who studied the uniqueness of solutions of the Cauchy problem for linear hyperbolic equations. In 1950 Laurent Schwartz published his ''Théorie des Distributions''. In this book he systematizes the theory of generalized functions unifying all earlier approaches and extending the results.
Dirac's intuitive ideas were placed on firm mathematical footing by S. L. Sobolev in 1936, who studied the uniqueness of solutions of the Cauchy problem for linear hyperbolic equations. In 1950 Laurent Schwartz published his ''Théorie des Distributions''. In this book he systematizes the theory of generalized functions unifying all earlier approaches and extending the results.

Revision as of 16:57, 4 December 2007

Distributions (or generalized functions) are mathematical objects that allow to extend the concept of derivative to a much larger class of (not necessarily continuous) functions. Many classical calculus tools as convolution or Fourier transform can be defined for distributions and, more importantly, the theory of differential equations can be developed. This provides the theoretical background for many important non-continuous problems in physics and engineering. In fact, engineers and physicists performed computations using distributions even before the complete mathematical theory was formulated. By careful use of a few simple properties of otherwise mysterious objects they were able to found the right answers to some practical problems. Now, the spaces of distributions, called Sobolev spaces, are a fundamental concept both in theoretical and applied sciences.

A widely known example of a distribution is the Dirac's delta. In physics, it may represent a position of a unit electrical charge (an very useful idealisation of an electron). In signal theory and engineering it may describe a "flash" signal: a very short and strong excitation of an electrical circuit ("a spark"). In mathematics, it is thought of as of the "derivative" of the Heaviside function, a function that is constant everywhere but makes the unit jump at x=0. Obviously, the "derivative" understood as the rate of change is infinite at this point (formally, the Heaviside function is not derivable).

A widely used intuitive description of the Dirac delta reads "this is a function that is equal to zero everywhere except for x=0; the integral of this function is equal to 1". The latter, roughly speaking, represents the important fact that our electron is to be localized somewhere in the space (or the "flash" comes in a moment of time). Strictly speaking, these two intuitive properties are simply contradictory. Doesn't matter what value you put at x=0, the integral of such a "function" will always be equal to zero. And if you put "", as it is often stipulated, then a serious problem arises in applications. When you deal with signals represented as and say, how to make a practical difference between and ? Definitely, Dirac's delta is not a usual function and a rigorous mathematical background for such an object is really needed.

Dirac's intuitive ideas were placed on firm mathematical footing by S. L. Sobolev in 1936, who studied the uniqueness of solutions of the Cauchy problem for linear hyperbolic equations. In 1950 Laurent Schwartz published his Théorie des Distributions. In this book he systematizes the theory of generalized functions unifying all earlier approaches and extending the results.

Nowadays, the physicist's definition of the Dirac delta function

is recognized by the mathematician as a linear functional acting on a set of "well-behaved" test functions φ(x).

In order to understand and generalize this, the concept of "test functions" is needed. Let the set K consist of all real functions φ(x) with continuous derivatives of all orders and bounded support. This means that the function φ(x) vanishes outside some bounded region, which may differ for different functions. The set K is the space of test functions. It can be shown that K is a linear space.

Secondly, the concept of linear functional is needed. We call f a continuous linear functional on K, if f maps all elements of K onto a real number such that

(i). For any two real numbers and and any two functions in K, and , we have linearity

(ii). If the sequence converges to zero in K (i.e. functions have support contained in a common compact set A and the functions and their derivatives converge to 0 in the supremum norm) then

converges to zero (this is continuity of f). Equivalently, the functional f on K is continuous if for any compact set there exist and such that for any test function with support in A

Here denotes a multi-index and is usual partial derivative described by

A distribution (generalized function) is defined as any linear continuous functional on K.