Chapter 1 Distributions - Istituto Nazionale di Fisica ...moby.mib.infn.it/~zaffaron/  ·...

Click here to load reader

  • date post

    14-Oct-2019
  • Category

    Documents

  • view

    0
  • download

    0

Embed Size (px)

Transcript of Chapter 1 Distributions - Istituto Nazionale di Fisica ...moby.mib.infn.it/~zaffaron/  ·...

  • Chapter 1

    Distributions

    The concept of distribution generalises and extends the concept of function.

    A distribution is basically defined by its action on a set of test functions.

    It is indeed a linear functional T

    T : F → C φ(x) → T (φ) . (1.1)

    from a space of functions F of real variable, called the test functions, to C. For example, to any integrable real function f(x) we can associate the linear

    functional Tf : F → R defined as

    φ(x)→ Tf (φ) = ∫∞ −∞ dx f(x)φ(x) . (1.2)

    The idea is that, knowing the value of the integral Tf (φ) on a large enough

    number of test functions φ, we can reconstruct the original function f . Al-

    lowing for general linear functionals we extend the concept of function.

    We can define operations on distributions even in cases where they are

    not well defined on functions. For example, we will be able to define the

    derivative of a discontinuous function when it is seen as a distribution. In

    the world of distributions, everything is infinitely differentiable and limits

    always commute with other operations. The distributions are also called

    generalized functions.

    1

  • 2 CHAPTER 1. DISTRIBUTIONS

    1.1 Test functions

    In this section we discuss the space F of test functions and its properties. A distribution will be a linear functional on F . For simplicity, we consider test functions of real variable. We want to choose test functions φ ∈ F that are as smooth as possible, in particular that are infinitely differentiable,

    φ ∈ C∞(R). Moreover, in order to guarantee the existence of the integral in (1.2) we require that φ vanishes sufficiently rapidly at infinity. There are two

    canonical choices for F , the space of bump functions D(R) and the space of rapidly decreasing functions S(R), which we now discuss.

    1.1.1 The space D(R)

    The support of a function of real variable is the closure of the set of points

    where the function is non-zero

    supp(f) = {x ∈ R | f(x) 6= 0} (1.3)

    A function with compact support is a function whose support is compact (a

    closed and bounded subset of R). We call D(R) the space of real functions of real variable that are infinitely

    differentiable and with compact support,

    D(R) = {φ(x) |φ ∈ C∞(R) with compact support} (1.4)

    D(R) is obviously a vector space. It is also a topological space, but the notion of limit that is useful for the theory of distribution is not induced by

    any norm or metric. For our purposes, it is enough to define the notion of

    convergence of a sequence in the topology of D(R). We say that the sequence {φn ∈ D(R)} converges to the function φ ∈ D(R) if the following conditions are satisfied,

    • it exists a bounded interval Î ⊂ R which contains the supports of all the functions φn and φ. In other words, it exists a real number R such

    that

    φn(x) = 0 and φ(x) = 0 ∀ |x| ≥ R ; (1.5)

  • 1.1. TEST FUNCTIONS 3

    • the sequence of the p-th derivatives of φn(x) converges uniformly to the p-th derivative of φ(x)

    sup x∈R

    ∣∣∣∣ dpdxpφn(x)− dpdxpφ(x) ∣∣∣∣ n−→∞−→ 0 ∀ p = 0, 1, . . . . (1.6)

    In particular, φn(x) converges uniformly to φ(x).

    The generalization of the space D(R) to the case of complex-valued func- tions or of functions defined in Rn is straightforward.

    Example 1.1. The function

    f(x) =

    { e − 1

    1−x2 |x| < 1 0 |x| ≥ 1

    (1.7)

    belongs to D(R) since it is zero outside the interval [−1, 1], infinitely differ- entiable in (−1, 1) and with vanishing derivatives of all orders in x = ±1. Notice that the function is C∞(R) but not analytic. The Taylor series in x = ±1 is identically zero since all derivatives are zero, but the function is not zero in the neighborhood of x = ±1. All the functions in D(R) are necessarily non analytic.

    1.1.2 The space S(R)

    A function f of real variable is called a rapidly decreasing function, or a

    Schwarz function, if it is infinitely differentiable on R, f ∈ C∞(R), and

    xp dq

    dxq f(x)

    x→±∞−→ 0 ∀ p, q = 0, 1, . . . . (1.8)

    In other words, f is infinitely differentiable and f and all its derivatives

    vanish at infinity more rapidly than any polynomial.

    The vector space of rapidly decreasing functions is denoted

    S(R) = {φ(x) |φ ∈ C∞(R) and rapidly decreasing} . (1.9)

    We define a notion of convergence in S(R) as follows. We say that the sequence of functions {φn ∈ S(R)} converges to the function φ ∈ S(R) if xp d

    q

    dxq φn(x) converges uniformly to x

    p dq

    dxq φ(x) for all p and q

    sup x∈R

    ∣∣∣∣xp dqdxqφn(x)− xp dqdxqφ(x) ∣∣∣∣ n−→∞−→ 0 ∀ p, q = 0, 1, . . . . (1.10)

  • 4 CHAPTER 1. DISTRIBUTIONS

    Example 1.2. The functions

    φ(x) = P (x)e−x 2

    , φ(x) = sinx e−x 2

    , (1.11)

    where P (x) is an arbitrary polynomial, are elements of S(R). On the other hand, the functions

    φ(x) = 1

    1 + x2 , φ(x) = e−|x| (1.12)

    are not, for the first vanishes as an inverse polynomial at infinity and the

    second, while vanishing faster than any polynomial at infinity, is not C∞(R).

    Example 1.3. Since every function in S(R) is square integrable, S(R) is a vector subspace of L2(R). S(R) is dense in L2(R). In fact, any element of L2(R) is the limit of a sequence of elements of S(R). To see this, it is enough to expand f ∈ L2(R) in the Hermite basis, f =

    ∑∞ n=0 cnun, where

    un(x) ∼ Hn(x)e−x 2

    are obviously rapidly decreasing functions.

    1.2 Distributions

    We call distribution a functional T : F → C

    φ(x) → T (φ) . (1.13)

    where F = D(R) or F = S(R), with the properties

    • T is linear: T (λ1φ1 + λ2φ2) = λ1T (φ1) + λ2T (φ2) , (1.14)

    for all λ1, λ2 ∈ C and φ1, φ2 ∈ F ;

    • T is continuous in the following sense: if the sequence φn(x) converges to φ(x) in F , limn→∞ φn(x) = φ(x), then

    lim n→∞

    T (φn) = T (φ) . (1.15)

  • 1.2. DISTRIBUTIONS 5

    It is also customary to use the notation

    (T, φ) ≡ T (φ) (1.16)

    for the action of a distribution on a test function.

    In the theory of distributions, the functions φ in D(R) and S(R) are called test functions. The functionals T acting on F = D(R) are simply called distributions and form a space denoted D′(R). The functionals T acting on F = S(R) are called tempered distributions and form a space denoted S ′(R).

    We say that two distributions, T1 et T2, are equal if they act in the same

    way on all test functions

    T1(φ) = T2(φ) ∀φ ∈ D(R) (S(R)) . (1.17)

    The spaces of distributions D′(R) et S ′(R) are vector spaces if we define sum and multiplication by scalars by

    (T1 + T2)(φ) = T1(φ) + T2(φ) , (1.18)

    (λT )(φ) = λT (φ) , (1.19)

    for all φ ∈ D′(R) (S ′(R)) and all complex numbers λ. The functions with compact support are a subset of the rapidly decreasing

    functions

    D(R) ⊂ S(R) . (1.20)

    This implies the opposite inclusion for the space of distributions

    S ′(R) ⊂ D′(R) . (1.21)

    since every functional that is defined on all the functions in S(R) is a fortiori defined on the functions in D(R).

    It is straightforward to extend the previous definitions to the case of

    multi-variable distributions.

    In the following we discuss the case of distributions in D′(R), since all properties we will introduce in this chapter are also valid for tempered dis-

    tributions. More sophisticated operations, like the Fourier transform, can be

    only defined for tempered distributions.

  • 6 CHAPTER 1. DISTRIBUTIONS

    1.2.1 Regular distributions

    We say that a function f(x) is locally integrable, and we write f ∈ L1loc(R), if its integral on any compact subset K of R is finite∫

    K

    |f(x)|dx

  • 1.2. DISTRIBUTIONS 7

    The presence of the complex conjugate of f in the definition (1.23) can

    be startling but it is dictated by convenience. In particular, with this choice,

    Tf (φ) can be formally written as the scalar product (f, φ) of f with φ. This

    definition also explains the notation (1.16) which is often used for the action

    of a distribution on a test function.

    Example 1.4. The function f(x) = sign(x) is not continuous, it is not

    differentiable and it is not integrable on R. It is however integrable on any finite interval [a, b] and thus defines the distribution

    Tf (φ) =

    ∫ ∞ −∞

    dx f(x)φ(x) = − ∫ 0 −∞

    dxφ(x) +

    ∫ ∞ 0

    dxφ(x) .

    Since f has an algebraic growth, Tf is a tempered distribution. The previous

    expression is indeed finite for all φ ∈ S(R).

    Example 1.5. The Heaviside function

    θ(x) =

    { 1 x ≥ 0 0 x < 0 ,

    (1.24)

    is similarly associated to the tempered distribution

    Tθ(φ) =

    ∫ ∞ −∞

    dx θ(x)φ(x) =

    ∫ ∞ 0

    dxφ(x) .

    Example 1.6. By identifying locally integrable functions with the associ-

    ated distribution, we have the following inclusion: C∞(R) ⊂ D′(R). The elementary functions sin(x), cos(x), log(x), P (x), where P (x) is a polynomial

    are tempered distr