Problem 3 - A Course in Modern Mathematical Physics: Groups, Hilbert Space and Differential Geometry

Question

Which of the following is a distribution? (a) \(T(\phi)=\sum_{n=1}^{m} \lambda_{n} \phi^{(n)}(0) \quad\left(\lambda_{n} \in \mathbb{R}\right)\) (b) \(T(\phi)=\sum_{n=1}^{m} \lambda_{n} \phi\left(x_{n}\right) \quad\left(\lambda_{n}, x_{n} \in \mathbb{R}\right)\). (c) \(T(\phi)=(\phi(0))^{2}\). (d) \(T(\phi)=\sup \phi\) (c) \(T(\phi)=\int_{-\infty}^{\infty}|\phi(x)| \mathrm{d} x\).

Step-by-Step Solution

Answer

The distributions are (a) \(T(\phi)=\sum_{n=1}^{m} \lambda_{n} \phi^{(n)}(0) \quad(\lambda_{n}\in \mathbb{R})\) and (b) \(T(\phi)=\sum_{n=1}^{m} \lambda_{n} \phi\left(x_{n}\right) \quad(\lambda_{n}, x_{n} \in \mathbb{R})\)

Step 1: Checking Option (a)

Option (a) \(T(\phi)=\sum_{n=1}^{m} \lambda_{n} \phi^{(n)}(0) \quad(\lambda_{n} \in \mathbb{R})\) is a distribution because it is linear in \(\phi\) and also sends compactly supported smooth functions into continuous linear functionals.

Step 2: Checking Option (b)

Option (b) \(T(\phi)=\sum_{n=1}^{m} \lambda_{n} \phi\left(x_{n}\right) \quad(\lambda_{n}, x_{n} \in \mathbb{R})\) is also a distribution for the same reasons as in Option (a). It is linear in \(\phi\) and sends compactly supported smooth functions into real numbers in a linear way.

Step 3: Checking Option (c)

Option (c) \(T(\phi)=(\phi(0))^{2}\) is not a distribution because it is nonlinear which eventuates into failure to satisfy the required properties of the distributions.

Step 4: Checking Option (d)

Option (d) \(T(\phi)=\sup \phi\) is not a distribution because it is not linear in \(\phi\). The supremum operation is a nonlinear operation, so this does not satisfy the linearity property that distributions must have.

Step 5: Checking Option (e)

Option (e) \(T(\phi)=\int_{-\infty}^{\infty}|\phi(x)| \mathrm{d} x\) is not a distribution because the absolute value operation makes the function nonlinear in \(\phi\), so it does not satisfy the linearity property of distributions

Key Concepts

Linearity

Linearity is a fundamental concept when dealing with distributions in mathematics. It implies that the operation of a distribution should maintain two essential properties: additivity and homogeneity.

To understand these properties, consider a distribution \(T(\phi)\). For linearity, the following must hold:

• Additivity: \(T(\phi_1 + \phi_2) = T(\phi_1) + T(\phi_2)\) for any functions \(\phi_1\) and \(\phi_2\).
• Homogeneity: \(T(c \cdot \phi) = c \cdot T(\phi)\) for any scalar \(c\) and function \(\phi\).

Functions like \(T(\phi) = \sum_{n=1}^{m} \lambda_{n} \phi^{(n)}(0)\) in Option (a) satisfy these conditions, hence they are distributions. However, nonlinear operations like taking the square or supremum fail to maintain these properties, leading to non-distribution results.

This principle of linearity allows for a predictable and systematic way to work with distributions, making them a powerful tool in mathematical analysis.

Compact Support

Compact support refers to functions that are zero outside a certain interval, meaning they have a "limited" reach.

This property is essential in distribution theory because it ensures that a function behaves well for operations involved in distributions.

• When a function has compact support, it makes integrations and summations more manageable.
• In distribution theory, we often require test functions to have compact support to guarantee convergence and stability in certain operations.

For example, in Option (a), \(T(\phi) = \sum_{n=1}^{m} \lambda_{n} \phi^{(n)}(0)\), the function \(\phi\) is assumed to have compact support, making the distribution continuous and linear on such functions. This allows the distribution to be extended beyond finite variations of \(\phi\), leading to broader applications in fields like differential equations and signal processing.

In mathematical contexts, compact support often provides a clear boundary within which analysis is performed, simplifying numerous theoretical concerns.

Smooth Functions

Smooth functions are those which can be differentiated infinitely many times. This property makes them particularly suitable for use in distribution and analysis.

These functions often serve as test functions in distribution theory:

• They allow the behavior of distributions to be explored through infinite derivatives.
• Being infinitely differentiable means they can be manipulated through various mathematical operations while maintaining desired properties.

Option (a), once again, relies on the assumption that \(\phi\) is a smooth function. This assumption is crucial because it facilitates the extension of the linear properties of the distribution over multiple derivatives. Smooth functions' predictability and continuity make them ideal candidates for operations involving distributions, as they eliminate concerns about undefined behaviors or breaks in continuity.

In practical terms, understanding smooth functions helps mathematicians perform comprehensive analyses, leading to insights in areas ranging from calculus to theoretical physics.