请输入您要查询的字词:

 

单词 Distribution
释义

distribution


Motivation

The main motivation behind distribution theory is toextend the common linear operators on functions,such as the derivativePlanetmathPlanetmath, convolution, and the Fourier transformMathworldPlanetmath,so that they also apply to the singular, non-smooth, or non-integrablefunctions that regularly appear in both theoretical and appliedanalysisMathworldPlanetmath.

Distribution theory also seeks to define suitable structuresMathworldPlanetmathon the spaces of functions involvedto ensure the convergence of suitable approximating functions,and the continuity of certain operatorsMathworldPlanetmath.For example, the limit of derivatives should be equalto the derivative of the limit, with some definition of the limitingoperationMathworldPlanetmath.

When this program is carried out,inevitably we find that we have to enlarge the space of objects that wewould consider as “functions”. For example, the derivative of a stepfunctionPlanetmathPlanetmath is the Dirac delta function with a spike at the discontinuousMathworldPlanetmath step;the Fourier transform of a constant function is also a Dirac deltafunction, with the spike representing infiniteMathworldPlanetmath spectral magnitudeat one single frequency. (These facts, of course, had long beenused in engineering mathematics.)

Remark:Dirac’s notion of delta distributions was introduced to facilitate computations in Quantum Mechanics,however without having at the beginning a proper mathematical definition. In part asa (negative) reaction to such a state of affairs, von Neumann produced a mathematicallywell-defined foundation of Quantum Mechanics (http://planetmath.org/QuantumGroupsAndVonNeumannAlgebras) based on actions ofself-adjoint operators on Hilbert spacesMathworldPlanetmath which is still currently in use, with several significantadditions such as Frechét nuclear spaces and quantum groupsPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath.

There are several theories of such ‘generalized functions’.In this entry, we describe Schwartz’ theory of distributions,which is probably the most widely used.

Essentially, a distribution on is a linear mapping that takes asmooth functionMathworldPlanetmath (with compact support) on into a real number.For example, the delta distribution is the map,

ff(0)

while any smooth function g on induces a distribution

ffg.

Distributions are also well behaved under coordinate changes, andcan be defined onto a manifold. Differential forms withdistribution valued coefficients are called currents.However, it is not possible to define a productPlanetmathPlanetmath of twodistributions generalizing the product of usual functions.

Formal definition

A note on notation. In distribution theory, thetopological vector spaceMathworldPlanetmath of smooth functions with compact support onan open set Unis traditionally denoted by 𝒟(U). Let us also denote by𝒟K(U) the subset of 𝒟(U) of functions with supportMathworldPlanetmath in acompact set KU.

Definition 1 (Distribution).

A distribution is a linear continuous functional on D(U),i.e., a linear continuous mapping D(U)C.The set of all distributions on U is denoted by D(U).

Suppose T is a linear functionalMathworldPlanetmath on 𝒟(U).Then T is continuousMathworldPlanetmath if and only if T is continuousin the origin (see this page (http://planetmath.org/ContinuousLinearMapping)).This condition can be rewritten in various ways, andthe below theorem gives two convenient conditions that can be used to provethat a linear mapping is a distribution.

Theorem 1.

Let U be an open set in Rn,and let T be a linear functional on D(U). Then thefollowing are equivalentMathworldPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath:

  1. 1.

    T is a distribution.

  2. 2.

    If K is a compact set in U, and{ui}i=1 be a sequence in 𝒟K(U), such thatfor any multi-index α, we have

    Dαui0

    in the supremum normMathworldPlanetmath as i,then T(ui)0 in .

  3. 3.

    For any compact set K in U, there are constants C>0 andk{1,2,} such that for all u𝒟K(U), we have

    |T(u)|C|α|k||Dαu||,(1)

    where α is a multi-index, and|||| is the supremum norm.

Proof The equivalence of (2) and (3) can befound on this page (http://planetmath.org/EquivalenceOfConditions2And3),and the equivalence of (1) and (3) is shown in[1].

Distributions of order k

If T is a distribution on an open set U,and the same k can be used for any Kin the above inequalityMathworldPlanetmath, then T is adistribution of order k.The set of all such distributions is denoted by Dk(U).

Both usual functions and the delta distribution are of order 0.One can also show that by differentiating a distribution its order increasesby at most one. Thus, in some sense, the order is a measure of how”smooth” a distribution is.

Topology for 𝒟(U)

The standard topology for 𝒟(U) is the weak topologyMathworldPlanetmath.In this topology, a sequence {Ti}i=1 of distributions(in 𝒟(U)) convergesPlanetmathPlanetmath to a distribution T𝒟(U) if and only if

Ti(u)T(u)(in ) as i

for every u𝒟(U).

Notes

A common notation for the action of a distribution T onto a test function u𝒟(U)(i.e., T(u) with above notation) is T,u.The motivation for thiscomes from this example (http://planetmath.org/EveryLocallyIntegrableFunctionIsADistribution).

References

  • 1 W. Rudin, Functional AnalysisMathworldPlanetmath,McGraw-Hill Book Company, 1973.
  • 2 L. Hörmander, The Analysis of Linear Partial Differential Operators I,(Distribution theory and Fourier Analysis), 2nd ed, Springer-Verlag, 1990.
随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 12:15:19