Distribution (mathematics): Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Aleksander Stos
(convergence in K)
imported>Aleksander Stos
m (tweak (postponing "function" to the context where it can be explained in more details))
Line 1: Line 1:
'''Distributions''' (also known as '''generalized functions''') are mathematical objects that are important in physics and engineering where many non-continuous problems are formulated in terms of distributions. An important example is the Dirac delta function. 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.
'''Distributions''' (also known as '''generalized functions''') are mathematical objects that are important in physics and engineering where many non-continuous problems are formulated in terms of distributions.
 
An important example of a distribution is the Dirac delta. 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.


The physicist's  definition of the Dirac delta function  
The physicist's  definition of the Dirac delta function  
Line 5: Line 7:
\int_{-\infty}^{\infty} \, \delta(x-x_0) \phi(x)\, dx = \phi(x_0),
\int_{-\infty}^{\infty} \, \delta(x-x_0) \phi(x)\, dx = \phi(x_0),
</math>
</math>
is recognized by the mathematician as a [[linear functional]] acting on a "well-behaved" ''test function'' &phi;(''x'').  
is recognized by the mathematician as a [[linear functional]] acting on a set of "well-behaved" ''test functions'' &phi;(''x'').  


In order to generalize this, the concept of "test functions" is needed.  Let the set ''K''  consist of all real functions &phi;(''x'') with continuous derivatives of all orders and bounded [[support (mathematics)|support]]. This means that the function &phi;(''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  [[vector space|linear space]].
In order to generalize this, the concept of "test functions" is needed.  Let the set ''K''  consist of all real functions &phi;(''x'') with continuous derivatives of all orders and bounded [[support (mathematics)|support]]. This means that the function &phi;(''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  [[vector space|linear space]].

Revision as of 14:12, 4 December 2007

Distributions (also known as generalized functions) are mathematical objects that are important in physics and engineering where many non-continuous problems are formulated in terms of distributions.

An important example of a distribution is the Dirac delta. 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.

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 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.