Physlib.SpaceAndTime.Space.DistConst
The constant distribution on space
i. Overview
In this module we define the constant distribution from `Space d` to a module `M`. That is the distribution which sends every Schwartz function to its integral multiplied by a fixed element `m : M`.
We show that the derivatives of this constant distribution are zero. ## ii. Key results
- `distConst` : The constant distribution from `Space d` to a module `M`.
iii. Table of contents
- A. The definition of the constant distribution
- B. Derivatives of the constant distribution
iv. References
A. The definition of the constant distribution
B. Derivatives of the constant distribution
5 declarations
Constant distribution on
Let be a real normed space and be a natural number representing the dimension of the space. For any fixed vector , the constant distribution is the -valued tempered distribution on defined by its action on a Schwartz test function as the integral: where denotes the volume measure on .
The partial derivative of a constant distribution is zero
Let be a real normed space and be a natural number. For any fixed vector , let be the -valued tempered distribution on that maps a test function to the integral . Then, for any index , the partial derivative of this constant distribution in the direction of the -th basis vector, denoted by , is zero.
The Gradient of a Constant Distribution is Zero
For any dimension and any real number , let be the constant distribution on that maps a Schwartz test function to the integral . Then, the distributional gradient of this constant distribution is zero, i.e., .
The distributional divergence of a constant distribution is zero
For any dimension and any vector in the -dimensional Euclidean space , the distributional divergence of the constant distribution associated with on is equal to zero.
The distributional curl of a constant distribution in is zero
Let be a constant vector. Let be the constant distribution on the -dimensional space (isomorphic to ) that maps a Schwartz test function to the integral . Then the distributional curl of this constant distribution is the zero distribution:
