This article is about the integral inequality. For the algebraic inequality in 3 variables, see Schur's inequality.
In mathematical analysis, the Schur test, named after German mathematician Issai Schur, is a bound on the
operator norm of an integral operator in terms of its Schwartz kernel (see Schwartz kernel theorem).
Here is one version.[1] Let
be two measurable spaces (such as
). Let
be an integral operator with the non-negative Schwartz kernel
,
,
:
![{\displaystyle Tf(x)=\int _{Y}K(x,y)f(y)\,dy.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0178db8271168ff87f5b6f370b2a2cdb19aa4788)
If there exist real functions
and
and numbers
such that
![{\displaystyle (1)\qquad \int _{Y}K(x,y)q(y)\,dy\leq \alpha p(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f850a189b43e5a8663ea39160fd117b371f362e)
for almost all
and
![{\displaystyle (2)\qquad \int _{X}p(x)K(x,y)\,dx\leq \beta q(y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa6560ec5433b546f8e735d93134f948443ea393)
for almost all
, then
extends to a continuous operator
with the operator norm
![{\displaystyle \Vert T\Vert _{L^{2}\to L^{2}}\leq {\sqrt {\alpha \beta }}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/775701e55707333725e7e94f51cec71afc18a9fd)
Such functions
,
are called the Schur test functions.
In the original version,
is a matrix and
.[2]
- ^ Paul Richard Halmos and Viakalathur Shankar Sunder, Bounded integral operators on
spaces, Ergebnisse der Mathematik und ihrer Grenzgebiete (Results in Mathematics and Related Areas), vol. 96., Springer-Verlag, Berlin, 1978. Theorem 5.2.
- ^ I. Schur, Bemerkungen zur Theorie der Beschränkten Bilinearformen mit unendlich vielen Veränderlichen, J. reine angew. Math. 140 (1911), 1–28.