Integral equations Integral operators Theorem
Schur test
Builds on Measure spaceMeasurable functionLp spaceContinuous linear map
Statement
Let and be -finite measure spaces, and let be a measurable function. Assume that there are measurable functions and and constants such that Then for every the integral converges absolutely for almost every . Moreover, is a bounded linear operator from to with operator norm .
Remarks
Proof idea: write and apply the Cauchy–Schwarz inequality in . The first hypothesis gives . Integrating in and exchanging the integrals by Tonelli's theorem, the second hypothesis gives .
With the test says: if for almost every and for almost every , then on . For this is the case of Young's inequality for integral operators. The freedom to choose the weights and is what makes the test useful for kernels such as , which have no finite row or column integrals.
Example: let with Lebesgue measure and . Take and . The substitution gives , and by symmetry the same holds for the second hypothesis. So and , 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 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 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 with , 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
- no evidence level
- Continuous linear map concept
- Lp space concept
- Measurable function concept
- Measure space concept
- Schur test statement
Further reading
About this page
| Tag | 25HF1WPPKX |
|---|---|
| URI | m2://25HF1WPPKX |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 45P05, 47G10, 47B38 |
| Status | This copy of the site has no build data. Run m2 status 25HF1WPPKX. |
| About | Lp space |
| Uses | Measure 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.