Schur’s Test


Theorem 1.

(Schur’s Test) Let (X,μ) be a measure spaceMathworldPlanetmath (μ a positive measure). Let K be a positive, measurable functionMathworldPlanetmath on X×X. Define the operator

T⁢f⁢(x) :=∫XK⁢(x,y)⁢f⁢(y)⁢𝑑μ⁢(y),x∈X

If for some 1<p<∞ there exists a measurable, strictly positive function h and a constant M>0 such that

∫XK⁢(x,y)⁢h⁢(y)q⁢𝑑μ⁢(y)≤M⁢h⁢(x)q
∫XK⁢(x,y)⁢h⁢(x)p⁢𝑑μ⁢(x)≤M⁢h⁢(y)p

with p-1+q-1=1, then ||T||≤M in Lp⁢(X,d⁢μ).

Proof.

Let f∈Lp⁢(X,d⁢μ). We have

|T⁢f⁢(x)| ≤∫Xh⁢(y)⁢h⁢(y)-1⁢|f⁢(y)|⁢K⁢(x,y)⁢𝑑μ⁢(y)

hence by Hoelder’s inequalityMathworldPlanetmath

|T⁢f⁢(x)| ≤[∫XK⁢(x,y)⁢h⁢(y)q⁢𝑑μ⁢(y)]1q⁢[∫XK⁢(x,y)⁢h⁢(y)-p⁢|f⁢(y)|p⁢𝑑μ⁢(y)]1p

By the first inequality in the assumptionPlanetmathPlanetmath we have

|T⁢f⁢(x)| ≤M1q⁢h⁢(x)⁢[∫XK⁢(x,y)⁢h⁢(y)-p⁢|f⁢(y)|p⁢𝑑μ⁢(y)]1p

Evaluating ||T⁢f||pp by Fubini and the second inequality in the assumption we obtain

∫X|T⁢f⁢(x)|p⁢𝑑μ⁢(x) ≤Mp⁢∫X|f⁢(y)|p⁢𝑑μ⁢(y)

This completesPlanetmathPlanetmathPlanetmathPlanetmath the proof. ∎

A noted special case is Young’s Inequality

Corollary 1.

(Young)

Let K:Rn×Rn→C be Borel-measurable such that there is a constant C>0 with

supx∈ℝn⁡∫ℝn|K⁢(x,y)|⁢𝑑λn⁢(y)≤C
supy∈ℝn⁡∫ℝn|K⁢(x,y)|⁢𝑑λn⁢(x)≤C

For f∈Lp⁢(Rn) (1≤p≤+∞) define

T⁢(f)⁢(x) :=∫ℝnK⁢(x,y)⁢f⁢(y)⁢𝑑λn⁢(y)

Then ||T⁢f||p≤C⁢||f||p.

References

  • (Hedenmalm 2000) H. Hedenmalm, Boris Korenblum, Kehe Zhu Theory of Bergman spaces, Springer Verlag, New York, 2000
Title Schur’s Test
Canonical name SchursTest
Date of creation 2013-03-22 19:01:19
Last modified on 2013-03-22 19:01:19
Owner karstenb (16623)
Last modified by karstenb (16623)
Numerical id 6
Author karstenb (16623)
Entry type Theorem
Classification msc 46G99