Riesz transform

In the mathematical theory of harmonic analysis, the Riesz transforms are a family of generalizations of the Hilbert transform to Euclidean spaces of dimension d > 1. They are a type of singular integral operator, meaning that they are given by a convolution of one function with another function having a singularity at the origin. Specifically, the Riesz transforms of a complex-valued function ƒ on Rd are defined by

R_jf(x) = c_d\lim_{\epsilon\to 0}\int_{\mathbf{R}^d\backslash B_\epsilon(x)}\frac{(t_j-x_j)f(t)}{|x-t|^{d+1}}\,dt

 

 

 

 

(1)

for j = 1,2,...,d. The constant cd is a dimensional normalization given by

c_d = \frac{1}{\pi\omega_{d-1}} = \frac{\Gamma[(d+1)/2]}{\pi^{(d+1)/2}}.

where ωd1 is the volume of the (d  1)-ball. The limit is written in various ways, often as a principal value, or as a convolution with the tempered distribution

K(x) = \frac{1}{\pi\omega_{d-1}} \, p.v. \frac{x_j}{|x|^{d+1}}.

The Riesz transforms arises in the study of differentiability properties of harmonic potentials in potential theory and harmonic analysis. In particular, they arise in the proof of the Calderón-Zygmund inequality (Gilbarg & Trudinger 1983, §9.4).

Multiplier properties

The Riesz transforms are given by a Fourier multiplier. Indeed, the Fourier transform of Rjƒ is given by

\mathcal{F}(R_jf)(x) = i\frac{x_j}{|x|}(\mathcal{F}f)(x)

(up to an overall positive constant depending on the normalization of the Fourier transform). In this form, the Riesz transforms are seen to be generalizations of the Hilbert transform. The kernel is a distribution which is homogeneous of degree zero. A particular consequence of this last observation is that the Riesz transform defines a bounded linear operator from L2(Rd) to itself.[1]

This homogeneity property can also be stated more directly without the aid of the Fourier transform. If σs is the dilation on Rd by the scalar s, that is σsx = sx, then σs defines an action on functions via pullback:

\sigma_s^* f = f\circ\sigma_s.

The Riesz transforms commute with σs:

\sigma_s^* (R_jf) = R_j(\sigma_x^*f).

Similarly, the Riesz transforms commute with translations. Let τa be the translation on Rd along the vector a; that is, τa(x) = x + a. Then

\tau_a^* (R_jf) = R_j(\tau_a^*f).

For the final property, it is convenient to regard the Riesz transforms as a single vectorial entity Rƒ = (R1ƒ,…,Rdƒ). Consider a rotation ρ in Rd. The rotation acts on spatial variables, and thus on functions via pullback. But it also can act on the spatial vector Rƒ. The final transformation property asserts that the Riesz transform is equivariant with respect to these two actions; that is,

\rho^* R_j [(\rho^{-1})^*f] = \sum_{k=1}^d \rho_{jk} R_kf.

These three properties in fact characterize the Riesz transform in the following sense. Let T=(T1,…,Td) be a d-tuple of bounded linear operators from L2(Rd) to L2(Rd) such that

Then, for some constant c, T = cR.

Relationship with the Laplacian

Somewhat imprecisely, the Riesz transforms of ƒ give the first partial derivatives of a solution of the equation

{(-\Delta)^{\frac{1}{2}} u = f},

where Δ is the Laplacian. Thus the Riesz transform of ƒ can be written as:

{R f = \nabla (-\Delta)^{-\frac{1}{2}}f}

In particular, one should also have

R_iR_j\Delta u = -\frac{\partial^2u}{\partial x_i\partial x_j},

so that the Riesz transforms give a way of recovering information about the entire hessian of a function from knowledge of only its Laplacian.

This is now made more precise. Suppose that u is a Schwartz function. Then indeed by the explicit form of the Fourier multiplier, one has

R_iR_j(\Delta u) = -\frac{\partial^2u}{\partial x_i\partial x_j}.

The identity is not generally true in the sense of distributions. For instance, if u is a tempered distribution such that Δu  L2(Rd), then one can only conclude that

\frac{\partial^2u}{\partial x_i\partial x_j} = -R_iR_j\Delta u + P_{ij}(x)

for some polynomial Pij.

See also

References

  1. Strictly speaking, the definition (1) may only make sense for Schwartz function f. Boundedness on a dense subspace of L2 implies that each Riesz transform admits a continuous linear extension to all of L2.
This article is issued from Wikipedia - version of the Tuesday, January 13, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.