Английская Википедия:Homogeneous distribution
Шаблон:Distinguish Шаблон:Inline In mathematics, a homogeneous distribution is a distribution S on Euclidean space Rn or Шаблон:Nowrap} that is homogeneous in the sense that, roughly speaking,
- <math>S(tx) = t^m S(x)\,</math>
for all t > 0.
More precisely, let <math>\mu_t : x\mapsto x/t</math> be the scalar division operator on Rn. A distribution S on Rn or Шаблон:Nowrap} is homogeneous of degree m provided that
- <math>S[t^{-n}\varphi\circ\mu_t] = t^mS[\varphi]</math>
for all positive real t and all test functions φ. The additional factor of t−n is needed to reproduce the usual notion of homogeneity for locally integrable functions, and comes about from the Jacobian change of variables. The number m can be real or complex.
It can be a non-trivial problem to extend a given homogeneous distribution from Rn \ {0} to a distribution on Rn, although this is necessary for many of the techniques of Fourier analysis, in particular the Fourier transform, to be brought to bear. Such an extension exists in most cases, however, although it may not be unique.
Properties
If S is a homogeneous distribution on Rn \ {0} of degree α, then the weak first partial derivative of S
- <math>\frac{\partial S}{\partial x_i}</math>
has degree α−1. Furthermore, a version of Euler's homogeneous function theorem holds: a distribution S is homogeneous of degree α if and only if
- <math>\sum_{i=1}^n x_i\frac{\partial S}{\partial x_i} = \alpha S.</math>
One dimension
A complete classification of homogeneous distributions in one dimension is possible. The homogeneous distributions on Шаблон:Nowrap} are given by various power functions. In addition to the power functions, homogeneous distributions on R include the Dirac delta function and its derivatives.
The Dirac delta function is homogeneous of degree −1. Intuitively,
- <math>\int_{\mathbb{R}} \delta(tx)\varphi(x)\,dx = \int_{\mathbb{R}} \delta(y)\varphi(y/t)\,\frac{dy}{t} = t^{-1}\varphi(0)</math>
by making a change of variables y = tx in the "integral". Moreover, the kth weak derivative of the delta function δ(k) is homogeneous of degree −k−1. These distributions all have support consisting only of the origin: when localized over Шаблон:Nowrap}, these distributions are all identically zero.
xШаблон:Su
In one dimension, the function
- <math>x_+^\alpha = \begin{cases}x^\alpha&\text{if }x>0\\ 0&\text{otherwise}\end{cases}</math>
is locally integrable on Шаблон:Nowrap}, and thus defines a distribution. The distribution is homogeneous of degree α. Similarly <math>x_-^\alpha = (-x)_+^\alpha</math> and <math>|x|^\alpha = x_+^\alpha + x_-^\alpha</math> are homogeneous distributions of degree α.
However, each of these distributions is only locally integrable on all of R provided Re(α) > −1. But although the function <math>x_+^\alpha</math> naively defined by the above formula fails to be locally integrable for Re α ≤ −1, the mapping
- <math>\alpha\mapsto x_+^\alpha</math>
is a holomorphic function from the right half-plane to the topological vector space of tempered distributions. It admits a unique meromorphic extension with simple poles at each negative integer Шаблон:Nowrap. The resulting extension is homogeneous of degree α, provided α is not a negative integer, since on the one hand the relation
- <math>x_+^\alpha[\varphi\circ\mu_t] = t^{\alpha+1}x_+^\alpha[\varphi]</math>
holds and is holomorphic in α > 0. On the other hand, both sides extend meromorphically in α, and so remain equal throughout the domain of definition.
Throughout the domain of definition, xШаблон:Su also satisfies the following properties:
- <math>\frac{d}{dx} x_+^\alpha = \alpha x_+^{\alpha-1}</math>
- <math>x x_+^\alpha = x_+^{\alpha+1}</math>
Other extensions
There are several distinct ways to extend the definition of power functions to homogeneous distributions on R at the negative integers.
The poles in xШаблон:Su at the negative integers can be removed by renormalizing. Put
- <math>\chi_+^\alpha = \frac{x_+^\alpha}{\Gamma(1+\alpha)}.</math>
This is an entire function of α. At the negative integers,
- <math>\chi_+^{-k} = \delta^{(k-1)}.</math>
The distributions <math>\chi_+^a</math> have the properties
- <math>\frac{d}{dx} \chi_+^\alpha = \chi_+^{\alpha-1}</math>
- <math>x \chi_+^\alpha = \alpha\chi_+^{\alpha+1}.</math>
- <math>\underline{x}^k</math>
A second approach is to define the distribution <math>\underline{x}^{-k}</math>, for Шаблон:Nowrap
- <math>\underline{x}^{-k} = \frac{(-1)^{k-1}}{(k-1)!}\frac{d^k}{dx^k}\log |x|.</math>
These clearly retain the original properties of power functions:
- <math>\frac{d}{dx} \underline{x}^{-k} = -k \underline{x}^{-k-1}</math>
- <math>x \underline{x}^{-k} = \underline{x}^{-k+1},\quad\text{if }k>1.</math>
These distributions are also characterized by their action on test functions
- <math>\underline{x}^{-k} = \int_{-\infty}^\infty \frac{\phi(x) - \sum_{j=0}^{k-1}x^j\phi^{(j)}(0)/j!}{x^k}\,dx,</math>
and so generalize the Cauchy principal value distribution of 1/x that arises in the Hilbert transform.
- (x ± i0)α
Another homogeneous distribution is given by the distributional limit
- <math>(x + i0)^\alpha = \lim_{\epsilon\downarrow 0} (x+i\epsilon)^\alpha.</math>
That is, acting on test functions
- <math>(x + i0)^\alpha[\varphi] = \lim_{\epsilon\downarrow 0} \int_{\mathbb{R}} (x+i\epsilon)^\alpha\varphi(x)\,dx.</math>
The branch of the logarithm is chosen to be single-valued in the upper half-plane and to agree with the natural log along the positive real axis. As the limit of entire functions, Шаблон:Nowrap is an entire function of α. Similarly,
- <math>(x-i0)^\alpha = \lim_{\epsilon\downarrow 0} (x-i\epsilon)^\alpha</math>
is also a well-defined distribution for all α
When Re α > 0,
- <math>(x\pm i0)^\alpha = x_+^\alpha + e^{\pm i\pi \alpha}x_-^\alpha,</math>
which then holds by analytic continuation whenever α is not a negative integer. By the permanence of functional relations,
- <math>\frac{d}{dx} (x\pm i0)^\alpha = \alpha(x\pm i0)^{\alpha-1}.</math>
At the negative integers, the identity holds (at the level of distributions on R \ {0})
- <math>(x\pm i0)^{-k}=x_+^{-k} + (-1)^kx_-^{-k}\pm\pi i(-1)^k \frac{\delta^{(k-1)}}{(k-1)!},</math>
and the singularities cancel to give a well-defined distribution on R. The average of the two distributions agrees with <math>\underline{x}^{-k}</math>:
- <math>\frac{(x + i0)^{-k}+ (x- i0)^{-k}}{2} = \underline{x}^{-k}.</math>
The difference of the two distributions is a multiple of the delta function:
- <math>(x + i0)^{-k} - (x- i0)^{-k} = 2\pi i (-1)^k \frac{\delta^{(k-1)}}{(k-1)!},</math>
which is known as the Plemelj jump relation.
Classification
The following classification theorem holds Шаблон:Harv. Let S be a distribution homogeneous of degree α on Шаблон:Nowrap}. Then <math>S = a x_+^\alpha + b x_-^\alpha</math> for some constants a, b. Any distribution S on R homogeneous of degree Шаблон:Nowrap is of this form as well. As a result, every homogeneous distribution of degree Шаблон:Nowrap on Шаблон:Nowrap} extends to R.
Finally, homogeneous distributions of degree −k, a negative integer, on R are all of the form:
- <math>a\underline{x}^{-k} + b\delta^{(k-1)}.</math>
Higher dimensions
Homogeneous distributions on the Euclidean space Шаблон:Nowrap} with the origin deleted are always of the form Шаблон:NumBlk where ƒ is a distribution on the unit sphere Sn−1. The number λ, which is the degree of the homogeneous distribution S, may be real or complex.
Any homogeneous distribution of the form (Шаблон:EquationNote) on Шаблон:Nowrap} extends uniquely to a homogeneous distribution on Rn provided Шаблон:Nowrap. In fact, an analytic continuation argument similar to the one-dimensional case extends this for all Шаблон:Nowrap.
References
