riesz-thorin theorem

In mathematics, the Riesz-Thorin theorem is a result that allows to interpolate between L^p spaces. Its usefulness stems from the fact that some of these spaces have much simpler structure than others. Usually that refers to

L^2

which is a Hilbert space, or to

L^1

and L^∞ (see examples below). Therefore one may prove theorems about the more complicated cases by proving them in two simple cases and then using the Riesz-Thorin theorem to pass from the simple cases to the complicated cases. A related approach is to use the Marcinkiewicz theorem.

Definition

A slighty informal version of the theorem can be stated as follows: Theorem: Assume T is a bounded linear operator from $L^p$ to $L^p$ and at the same time from $L^q$ to $L^q$ . Then it is also a bounded operator from $L^r$ to $L^r$ for any r between p and q. The reason we say it is informal is because formally an operator cannot be defined on two different spaces at the same time. To formalize it we need to say: let T be a linear operator defined on a family F of functions which is dense in both

L^p

and

L^q

(for example, the family of all simple functions). And assume that Tf is in both

L^p

and

L^q

for any f in F, and that T is bounded in both norms. Then for any r between p and q we have that F is dense in

L^r

, that Tf is in

L^r

for any f in F and that T is bounded in the

L^r

norm. These three ensure that T can be extended to an operator from

L^r

L^r

. In addition an inequality for the norms hold, namely

||T||_{L^r\to L^r}\leq \max ||T||_{L^p\to L^p},||T||_{L^q\to L^q}

A version of this theorem exists also when the domain and range of T are not identical. In this case, if T is bounded from

L^{p_1}

L^{p_2}

then one should draw the point

1/p_1, 1/p_2

in the unit square. The two q-s give a second point. Connect them with a straight line segment and you get the r-s for which T is bounded. Here is again the almost formal version Theorem: Assume T is a bounded linear operator from $L^{p_1}$ to $L^{p_2}$ and at the same time from $L^{q_1}$ to $L^{q_2}$ . Then it is also a bounded operator from $L^{r_1}$ to $L^{r_2}$ where

r_1=\frac{1}{\frac{t}{p_1}+\frac{1-t}{q_1}}\quad r_2=\frac{1}{\frac{t}{p_2}+\frac{1-t}{q_2}}

and t is any number between 0 and 1. The perfect formalization is done as in the simpler case. One last generalization is that the theorem holds for

L^p(\Omega)

for any measure space Ω. In particular it holds for the

l^p

spaces.

Application examples

The first example is the Fourier operator, namely let T be the operator that takes a function on the unit circle and outputs its Fourier series. Parseval's theorem shows that T is bounded from

L^2

l^2

with norm 1. On the other hand, clearly,

|(Tf)(n)|=|\widehat{f}(n)|=\left|\int_0^{2\pi}f(t)e^{int}\,dt\right|\leq\int_0^{2\pi}|f(t)|\,dt

so T is bounded from

L^1

to l^∞ with norm 1. Therefore we may invoke the Riesz-Thorin theorem to get, for any 1 < p < 2 that T, as an operator from

L^p

l^q

with norm 1, where

\frac{1}{p}+\frac{1}{q}=1.

In a short formula, this says that

\left(\sum_{n=-\infty}^{\infty}|\widehat{f}(n)|^q\right)^{1/q}\leq

\left(\int_0^{2\pi}|f(t)|^p\,dt\right)^{1/p}. This is the well known Hausdorff-Young inequality. It might be interesting to note that for p > 2 the natural exterpolation of this inequality fails, and the fact that a function belongs to

L^p

, does not give any additional information on the order of growth of its Fourier series beyond the fact that it is in

l^2

Convolution operators

Let f be an integrable function and let T be the operator of convolution with f, i.e.

\,Tg = f * g.

It is well known that T is bounded from

L^1

L^1

and it is trivial that it is bounded from L^∞ to L^∞ (both bounds are by

||f||_1

). Therefore the Riesz-Thorin theorem gives

||f*g||_p\leq ||f||_1||g||_p.

We take this inequality and switch the role of the operator and the operand, or in other words, we think of S as the operator of convolution with g, and get that S is bounded from

L^1

L^p

. Further, since g is in

L^p

we get, for the same trivial reason as above, that S is bounded from

L^q

to L^∞, where again

1/p+1/q=1

. So interpolating we get

||f*g||_s\leq ||f||_r||g||_p

where the connection between p, r and s is

\frac{1}{r}+\frac{1}{p}=1+\frac{1}{s}.

Thorin's contribution

Riesz and Thorin did not publish this result together nor concurrently. The original proof of Riesz was a long and difficult calculation. Thorin discovered a far more elegant proof, which we will now sketch very briefly. He defined a generalization of the

L^p

spaces to complex p. After defining an appropriate complex function, it turned out that the boundedness of T on

L^p

gave that this complex function was bounded on the line

p+iy

. The boundedness on

L^q

gave that the function was bounded on the line

q+iy

. Applying the Phragmn-Lindelf principle (a kind of maximum principle for infinite domains) one gets that the function is bounded on the entire strip between these two lines, and in particular in the point r. Attempts at generalizing this approach were largely successful, and led to the notion of complex interpolation. In rough terms, we say that two Banach spaces have complex interpolation between them if a similar procedure can be applied to get the boundedness of an operator T on a continuum of Banach spaces "between them". See for example Sobolev space.

<< Previous

Word Browser

Next >>

hms victorious (1895)
liberty generation
major force
press & sun bulletin
brian greig
rh bing
cotswold rail
list of fictional films
ara parseghian
genesis lpmud
hustle (movie)

kerri irvin ross
medlla (album)
max stern
cayetano redondo ace%f1a
turkmenabat
thomas barnett
synagogue council of america
steve berthiaume
amon amarth (band)
the blood horse magazine
uss mugford (dd 105)

george hickes (politician)
townhall.com
uss chew (dd 106)
blood horse publications
moshe arens
samuel chew (1750 1778)
donald clarke
practicalism
samuel chew (1699 1744)
mondlangism
lankhmar

spiral galaxy m77
robert linn
the nbc monday movie
standard oil of colorado
pumpkinseed
diffuse nebula m78
dragonfly: nasa and the crisis aboard mir
mangkra souvannaphouma
globular cluster m79
dragonstar
jan laverty jones