Puneet Varma (Editor)

Riesz potential

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit

In mathematics, the Riesz potential is a potential named after its discoverer, the Hungarian mathematician Marcel Riesz. In a sense, the Riesz potential defines an inverse for a power of the Laplace operator on Euclidean space. They generalize to several variables the Riemann–Liouville integrals of one variable.

If 0 < α < n, then the Riesz potential Iαf of a locally integrable function f on Rn is the function defined by

where the constant is given by

c α = π n / 2 2 α Γ ( α / 2 ) Γ ( ( n α ) / 2 ) .

This singular integral is well-defined provided f decays sufficiently rapidly at infinity, specifically if f ∈ Lp(Rn) with 1 ≤ p < n/α. In fact, for any 1 ≤ p (p>1 is classical, due to Sobolev, while for p=1 see (Schikorra & Spector Van Schaftingen)), the rate of decay of f and that of Iαf are related in the form of an inequality (the Hardy–Littlewood–Sobolev inequality)

I α f p C p R f p , p = n p n α p ,

where R f = D I 1 f is the vector-valued Riesz transform. More generally, the operators Iα are well-defined for complex α such that 0 < Re α < n.

The Riesz potential can be defined more generally in a weak sense as the convolution

I α f = f K α

where Kα is the locally integrable function:

K α ( x ) = 1 c α 1 | x | n α .

The Riesz potential can therefore be defined whenever f is a compactly supported distribution. In this connection, the Riesz potential of a positive Borel measure μ with compact support is chiefly of interest in potential theory because Iαμ is then a (continuous) subharmonic function off the support of μ, and is lower semicontinuous on all of Rn.

Consideration of the Fourier transform reveals that the Riesz potential is a Fourier multiplier. In fact, one has

K α ^ ( ξ ) = | 2 π ξ | α

and so, by the convolution theorem,

I α f ^ ( ξ ) = | 2 π ξ | α f ^ ( ξ ) .

The Riesz potentials satisfy the following semigroup property on, for instance, rapidly decreasing continuous functions

I α I β = I α + β  

provided

0 < R e α , R e β < n , 0 < R e ( α + β ) < n .

Furthermore, if 2 < Re α <n, then

Δ I α + 2 = I α .  

One also has, for this class of functions,

lim α 0 + ( I α f ) ( x ) = f ( x ) .

References

Riesz potential Wikipedia


Similar Topics