Math 2.0

Integral equations Integral operators Theorem

Schur test

Builds on Measure spaceMeasurable functionLp spaceContinuous linear map

Statement

Let (X,μ)(X, \mu) and (Y,ν)(Y, \nu) be σ\sigma-finite measure spaces, and let K ⁣:X×Y→ℂK \colon X \times Y \to \C be a measurable function. Assume that there are measurable functions p ⁣:X→(0,∞)p \colon X \to (0, \infty) and q ⁣:Y→(0,∞)q \colon Y \to (0, \infty) and constants α,β>0\alpha, \beta > 0 such that ∫Y∣K(x,y)∣ q(y) dν(y)≤α p(x)for almost every x∈X,\int_Y \abs{K(x, y)} \, q(y) \, d\nu(y) \le \alpha \, p(x) \quad \text{for almost every } x \in X, ∫X∣K(x,y)∣ p(x) dμ(x)≤β q(y)for almost every y∈Y.\int_X \abs{K(x, y)} \, p(x) \, d\mu(x) \le \beta \, q(y) \quad \text{for almost every } y \in Y. Then for every f∈L2(Y,ν)f \in L^2(Y, \nu) the integral (Tf)(x)=∫YK(x,y) f(y) dν(y)(T f)(x) = \int_Y K(x, y) \, f(y) \, d\nu(y) converges absolutely for almost every xx. Moreover, TT is a bounded linear operator from L2(Y,ν)L^2(Y, \nu) to L2(X,μ)L^2(X, \mu) with operator norm ∥T∥≤αβ\norm{T} \le \sqrt{\alpha \beta}.

Remarks

Proof idea: write ∣K∣∣f∣=(∣K∣q)1/2(∣K∣∣f∣2/q)1/2\abs{K} \abs{f} = \big(\abs{K} q\big)^{1/2} \big(\abs{K} \abs{f}^2 / q\big)^{1/2} and apply the Cauchy–Schwarz inequality in yy. The first hypothesis gives ∣Tf(x)∣2≤α p(x)∫Y∣K(x,y)∣∣f(y)∣2q(y)−1 dν(y)\abs{T f(x)}^2 \le \alpha \, p(x) \int_Y \abs{K(x, y)} \abs{f(y)}^2 q(y)^{-1} \, d\nu(y). Integrating in xx and exchanging the integrals by Tonelli's theorem, the second hypothesis gives ∥Tf∥22≤αβ∥f∥22\norm{T f}_2^2 \le \alpha \beta \norm{f}_2^2.

With p=q=1p = q = 1 the test says: if ∫Y∣K(x,y)∣ dν(y)≤α\int_Y \abs{K(x, y)} \, d\nu(y) \le \alpha for almost every xx and ∫X∣K(x,y)∣ dμ(x)≤β\int_X \abs{K(x, y)} \, d\mu(x) \le \beta for almost every yy, then ∥T∥≤αβ\norm{T} \le \sqrt{\alpha \beta} on L2L^2. For α=β\alpha = \beta this is the case p=2p = 2 of Young's inequality for integral operators. The freedom to choose the weights pp and qq is what makes the test useful for kernels such as 1/(x+y)1/(x + y), which have no finite row or column integrals.

Example: let X=Y=(0,∞)X = Y = (0, \infty) with Lebesgue measure and K(x,y)=1/(x+y)K(x, y) = 1/(x + y). Take p(x)=x−1/2p(x) = x^{-1/2} and q(y)=y−1/2q(y) = y^{-1/2}. The substitution y=xuy = x u gives ∫0∞y−1/2x+y dy=x−1/2∫0∞u−1/21+u du=πx−1/2\int_0^\infty \frac{y^{-1/2}}{x + y} \, dy = x^{-1/2} \int_0^\infty \frac{u^{-1/2}}{1 + u} \, du = \pi x^{-1/2}, and by symmetry the same holds for the second hypothesis. So α=β=π\alpha = \beta = \pi and ∥T∥≤π\norm{T} \le \pi, which is the continuous form of Hilbert's inequality.

Going deeper

For a student

The Schur test is the main elementary tool to prove that an integral operator is bounded on L2L^2 when its kernel is not square-integrable. Such an operator is not Hilbert–Schmidt. It is used for kernels with a singularity or slow decay, such as homogeneous kernels on (0,∞)(0, \infty) and kernels in the study of Bergman projections. It is the continuous analogue of the bound of the norm of a matrix by the geometric mean of the largest row sum and the largest column sum. For LpL^p with p≠2p \ne 2, the same idea with Hölder's inequality in place of Cauchy–Schwarz gives a version with weights.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Continuous linear map concept
  2. Lp space concept
  3. Measurable function concept
  4. Measure space concept
  5. Schur test statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Schur_test
About this page
Tag25HF1WPPKX
URIm2://25HF1WPPKX
Kindstatement, theorem
WritingW0 stub
MSC45P05, 47G10, 47B38
StatusThis copy of the site has no build data. Run m2 status 25HF1WPPKX.
AboutLp space
UsesMeasure space, Measurable function, Lp space, Continuous linear map
Same as

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.