HOME

TheInfoList



OR:

In the
mathematical Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
theory of
harmonic analysis Harmonic analysis is a branch of mathematics concerned with investigating the connections between a function and its representation in frequency. The frequency representation is found by using the Fourier transform for functions on unbounded do ...
, the Riesz transforms are a family of generalizations of the
Hilbert transform In mathematics and signal processing, the Hilbert transform is a specific singular integral that takes a function, of a real variable and produces another function of a real variable . The Hilbert transform is given by the Cauchy principal value ...
to
Euclidean space Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are ''Euclidean spaces ...
s of dimension ''d'' > 1. They are a type of
singular integral In mathematics, singular integrals are central to harmonic analysis and are intimately connected with the study of partial differential equations. Broadly speaking a singular integral is an integral operator : T(f)(x) = \int K(x,y)f(y) \, dy, wh ...
operator Operator may refer to: Mathematics * A symbol indicating a mathematical operation * Logical operator or logical connective in mathematical logic * Operator (mathematics), mapping that acts on elements of a space to produce elements of another sp ...
, meaning that they are given by a
convolution In mathematics (in particular, functional analysis), convolution is a operation (mathematics), mathematical operation on two function (mathematics), functions f and g that produces a third function f*g, as the integral of the product of the two ...
of one function with another function having a singularity at the origin. Specifically, the Riesz transforms of a complex-valued function ƒ on R''d'' are defined by for ''j'' = 1,2,...,''d''. The constant ''c''''d'' is a dimensional normalization given by :c_d = \frac = \frac. where ω''d''−1 is the volume of the unit (''d'' − 1)-ball. The limit is written in various ways, often as a
principal value In mathematics, specifically complex analysis, the principal values of a multivalued function are the values along one chosen branch (mathematical analysis), branch of that Function (mathematics), function, so that it is Single-valued function, ...
, or as a
convolution In mathematics (in particular, functional analysis), convolution is a operation (mathematics), mathematical operation on two function (mathematics), functions f and g that produces a third function f*g, as the integral of the product of the two ...
with the
tempered distribution Distributions, also known as Schwartz distributions are a kind of generalized function in mathematical analysis. Distributions make it possible to differentiate functions whose derivatives do not exist in the classical sense. In particular, an ...
:K(x) = \frac \, p.v. \frac. The Riesz transforms arises in the study of differentiability properties of harmonic potentials in
potential theory In mathematics and mathematical physics, potential theory is the study of harmonic functions. The term "potential theory" was coined in 19th-century physics when it was realized that the two fundamental forces of nature known at the time, namely g ...
and
harmonic analysis Harmonic analysis is a branch of mathematics concerned with investigating the connections between a function and its representation in frequency. The frequency representation is found by using the Fourier transform for functions on unbounded do ...
. In particular, they arise in the proof of the Calderón-Zygmund inequality .


Multiplier properties

The Riesz transforms are given by a
Fourier multiplier In Fourier analysis, a multiplier operator is a type of linear operator, or transformation of functions. These operators act on a function by altering its Fourier transform. Specifically they multiply the Fourier transform of a function by a speci ...
. Indeed, the
Fourier transform In mathematics, the Fourier transform (FT) is an integral transform that takes a function as input then outputs another function that describes the extent to which various frequencies are present in the original function. The output of the tr ...
of ''R''''j''ƒ is given by :\mathcal(R_jf)(x) = -i\frac(\mathcalf)(x). In this form, the Riesz transforms are seen to be generalizations of the
Hilbert transform In mathematics and signal processing, the Hilbert transform is a specific singular integral that takes a function, of a real variable and produces another function of a real variable . The Hilbert transform is given by the Cauchy principal value ...
. The kernel is a
distribution Distribution may refer to: Mathematics *Distribution (mathematics), generalized functions used to formulate solutions of partial differential equations *Probability distribution, the probability of a particular value or value range of a varia ...
which is
homogeneous Homogeneity and heterogeneity are concepts relating to the uniformity of a substance, process or image. A homogeneous feature is uniform in composition or character (i.e., color, shape, size, weight, height, distribution, texture, language, i ...
of degree zero. A particular consequence of this last observation is that the Riesz transform defines a
bounded linear operator In functional analysis and operator theory, a bounded linear operator is a linear transformation L : X \to Y between topological vector spaces (TVSs) X and Y that maps bounded subsets of X to bounded subsets of Y. If X and Y are normed vector ...
from ''L''2(R''d'') to itself.Strictly speaking, the definition () may only make sense for
Schwartz function In mathematics, Schwartz space \mathcal is the function space of all functions whose derivatives are rapidly decreasing. This space has the important property that the Fourier transform is an automorphism on this space. This property enables ...
''f''. Boundedness on a dense subspace of ''L''2 implies that each Riesz transform admits a continuous linear extension to all of ''L''2.
This homogeneity property can also be stated more directly without the aid of the Fourier transform. If σ''s'' is the
dilation wiktionary:dilation, Dilation (or dilatation) may refer to: Physiology or medicine * Cervical dilation, the widening of the cervix in childbirth, miscarriage etc. * Coronary dilation, or coronary reflex * Dilation and curettage, the opening of ...
on R''d'' by the scalar ''s'', that is σ''s''''x'' = ''sx'', then σ''s'' defines an action on functions via
pullback In mathematics, a pullback is either of two different, but related processes: precomposition and fiber-product. Its dual is a pushforward. Precomposition Precomposition with a function probably provides the most elementary notion of 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 R''d'' 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''ƒ = (''R''1ƒ,...,''R''''d''ƒ). Consider a
rotation Rotation or rotational/rotary motion is the circular movement of an object around a central line, known as an ''axis of rotation''. A plane figure can rotate in either a clockwise or counterclockwise sense around a perpendicular axis intersect ...
ρ in R''d''. 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 In mathematics, equivariance is a form of symmetry for functions from one space with symmetry to another (such as symmetric spaces). A function is said to be an equivariant map when its domain and codomain are acted on by the same symmetry group, ...
with respect to these two actions; that is, :\rho^* R_j \rho^)^*f= \sum_^d \rho_ R_kf. These three properties in fact characterize the Riesz transform in the following sense. Let ''T''=(''T''''1'',...,''T''''d'') be a ''d''-tuple of bounded linear operators from ''L''2(R''d'') to ''L''2(R''d'') such that * ''T'' commutes with all dilations and translations. * ''T'' is equivariant with respect to rotations. Then, for some constant ''c'', ''T'' = ''cR''.


Relationship with the Laplacian

Somewhat imprecisely, the Riesz transforms of f give the first
partial derivative In mathematics, a partial derivative of a function of several variables is its derivative with respect to one of those variables, with the others held constant (as opposed to the total derivative, in which all variables are allowed to vary). P ...
s of a solution of the equation :, where Δ is the Laplacian. Thus the Riesz transform of f can be written as: : In particular, one should also have :R_iR_j\Delta u = -\frac, 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 In mathematics, Schwartz space \mathcal is the function space of all functions whose derivatives are rapidly decreasing. This space has the important property that the Fourier transform is an automorphism on this space. This property enables ...
. Then indeed by the explicit form of the Fourier multiplier, one has :R_iR_j(\Delta u) = -\frac. The identity is not generally true in the sense of distributions. For instance, if ''u'' is a
tempered distribution Distributions, also known as Schwartz distributions are a kind of generalized function in mathematical analysis. Distributions make it possible to differentiate functions whose derivatives do not exist in the classical sense. In particular, an ...
such that \Delta u \in L^2 (\R^d), then one can only conclude that :\frac = -R_iR_j\Delta u + P_(x) for some polynomial P_.


See also

*
Hilbert Transform In mathematics and signal processing, the Hilbert transform is a specific singular integral that takes a function, of a real variable and produces another function of a real variable . The Hilbert transform is given by the Cauchy principal value ...
*
Poisson kernel In mathematics, and specifically in potential theory, the Poisson kernel is an integral kernel, used for solving the two-dimensional Laplace equation, given Dirichlet boundary conditions on the unit disk. The kernel can be understood as the deriv ...
* Riesz potential


References

* . * . * . * {{citation, first1=N., last1=Arcozzi, title=Riesz Transform on spheres and compact Lie groups, publisher=Springer, publication-place=New York, year=1998, doi=10.1007/BF02384766 , s2cid=119919955 , issn=0004-2080, doi-access=free. Harmonic analysis Integral transforms Potential theory Singular integrals