Cotlar–Stein lemma

In mathematics, in the field of functional analysis, the Cotlar–Stein almost orthogonality lemma is named after mathematicians Mischa Cotlar and Elias Stein. It may be used to obtain information on the operator norm on an operator, acting from one Hilbert space into another when the operator can be decomposed into almost orthogonal pieces. The original version of this lemma (for self-adjoint and mutually commuting operators) was proved by Mischa Cotlar in 1955^[1] and allowed him to conclude that the Hilbert transform is a continuous linear operator in $L^{2}$ without using the Fourier transform. A more general version was proved by Elias Stein.^[2]

Cotlar–Stein almost orthogonality lemma

Let $E,\,F$ be two Hilbert spaces. Consider a family of operators $T_{j}$ , $j\geq 1$ , with each $T_{j}$ a bounded linear operator from $E$ to $F$ .

Denote

a_{jk}=\Vert T_{j}T_{k}^{\ast }\Vert ,\qquad b_{jk}=\Vert T_{j}^{\ast }T_{k}\Vert .

The family of operators $T_{j}:\;E\to F$ , $j\geq 1,$ is almost orthogonal if

A=\sup _{j}\sum _{k}{\sqrt {a_{jk}}}<\infty ,\qquad B=\sup _{j}\sum _{k}{\sqrt {b_{jk}}}<\infty .

The Cotlar–Stein lemma states that if $T_{j}$ are almost orthogonal, then the series $\sum _{j}T_{j}$ converges in the strong operator topology, and that

\Vert \sum _{j}T_{j}\Vert \leq {\sqrt {AB}}.

Proof

If R₁, ..., R_n is a finite collection of bounded operators, then^[3]

\displaystyle {\sum _{i,j}|(R_{i}v,R_{j}v)|\leq \left(\max _{i}\sum _{j}\|R_{i}^{*}R_{j}\|^{1 \over 2}\right)\left(\max _{i}\sum _{j}\|R_{i}R_{j}^{*}\|^{1 \over 2}\right)\|v\|^{2}.}

So under the hypotheses of the lemma,

\displaystyle {\sum _{i,j}|(T_{i}v,T_{j}v)|\leq AB\|v\|^{2}.}

It follows that

\displaystyle {\|\sum _{i=1}^{n}T_{i}v\|^{2}\leq AB\|v\|^{2},}

and that

\displaystyle {\|\sum _{i=m}^{n}T_{i}v\|^{2}\leq \sum _{i,j\geq m}|(T_{i}v,T_{j}v)|.}

Hence the partial sums

\displaystyle {s_{n}=\sum _{i=1}^{n}T_{i}v}

form a Cauchy sequence.

The sum is therefore absolutely convergent with limit satisfying the stated inequality.

To prove the inequality above set

\displaystyle {R=\sum a_{ij}R_{i}^{*}R_{j}}

with |a_ij| ≤ 1 chosen so that

\displaystyle {(Rv,v)=|(Rv,v)|=\sum |(R_{i}v,R_{j}v)|.}

Then

\displaystyle {\|R\|^{2m}=\|(R^{*}R)^{m}\|\leq \sum \|R_{i_{1}}^{*}R_{i_{2}}R_{i_{3}}^{*}R_{i_{4}}\cdots R_{i_{2m}}\|\leq \sum \left(\|R_{i_{1}}^{*}\|\|R_{i_{1}}^{*}R_{i_{2}}\|\|R_{i_{2}}R_{i_{3}}^{*}\|\cdots \|R_{i_{2m-1}}^{*}R_{i_{2m}}\|\|R_{i_{2m}}\|\right)^{1 \over 2}.}

Hence

\displaystyle {\|R\|^{2m}\leq n\cdot \max \|R_{i}\|\left(\max _{i}\sum _{j}\|R_{i}^{*}R_{j}\|^{1 \over 2}\right)^{2m}\left(\max _{i}\sum _{j}\|R_{i}R_{j}^{*}\|^{1 \over 2}\right)^{2m-1}.}

Taking 2mth roots and letting m tend to ∞,

\displaystyle {\|R\|\leq \left(\max _{i}\sum _{j}\|R_{i}^{*}R_{j}\|^{1 \over 2}\right)\left(\max _{i}\sum _{j}\|R_{i}R_{j}^{*}\|^{1 \over 2}\right),}

which immediately implies the inequality.

Generalization

There is a generalization of the Cotlar–Stein lemma with sums replaced by integrals.^[4]^[5]Let X be a locally compact space and μ a Borel measure on X. Let T(x) be a map from X into bounded operators from E to F which is uniformly bounded and continuous in the strong operator topology. If

\displaystyle {A=\sup _{x}\int _{X}\|T(x)^{*}T(y)\|^{1 \over 2}\,d\mu (y),\,\,\,B=\sup _{x}\int _{X}\|T(y)T(x)^{*}\|^{1 \over 2}\,d\mu (y),}

are finite, then the function T(x)v is integrable for each v in E with

\displaystyle {\|\int _{X}T(x)v\,d\mu (x)\|\leq {\sqrt {AB}}\cdot \|v\|.}

The result can be proved by replacing sums by integrals in the previous proof or by using Riemann sums to approximate the integrals.

Example

Here is an example of an orthogonal family of operators. Consider the inifite-dimensional matrices

T=\left[{\begin{array}{cccc}1&0&0&\vdots \\0&1&0&\vdots \\0&0&1&\vdots \\\cdots &\cdots &\cdots &\ddots \end{array}}\right]

and also

\qquad T_{1}=\left[{\begin{array}{cccc}1&0&0&\vdots \\0&0&0&\vdots \\0&0&0&\vdots \\\cdots &\cdots &\cdots &\ddots \end{array}}\right],\qquad T_{2}=\left[{\begin{array}{cccc}0&0&0&\vdots \\0&1&0&\vdots \\0&0&0&\vdots \\\cdots &\cdots &\cdots &\ddots \end{array}}\right],\qquad T_{3}=\left[{\begin{array}{cccc}0&0&0&\vdots \\0&0&0&\vdots \\0&0&1&\vdots \\\cdots &\cdots &\cdots &\ddots \end{array}}\right],\qquad \dots .

Then $\Vert T_{j}\Vert =1$ for each $j$ , hence the series $\sum _{j\in \mathbb {N} }T_{j}$ does not converge in the uniform operator topology.

Yet, since $\Vert T_{j}T_{k}^{\ast }\Vert =0$ and $\Vert T_{j}^{\ast }T_{k}\Vert =0$ for $j\neq k$ , the Cotlar–Stein almost orthogonality lemma tells us that

T=\sum _{j\in \mathbb {N} }T_{j}

converges in the strong operator topology and is bounded by 1.

Notes

↑ Cotlar 1955
↑ Stein 1993
↑ Hörmander 1994
↑ Knapp & Stein 1971
↑ Calderon, Alberto; Vaillancourt, Remi (1971). "On the boundedness of pseudo-differential operators". Journal of the Mathematical Society of Japan. 23 (2): 374–378. doi:10.2969/jmsj/02320374.

References

Cotlar, Mischa (1955), "A combinatorial inequality and its application to L² spaces", Math. Cuyana, 1: 41–55
Hörmander, Lars (1994), Analysis of Partial Differential Operators III: Pseudodifferential Operators (2nd ed.), Springer-Verlag, pp. 165–166, ISBN 978-3-540-49937-4
Knapp, Anthony W.; Stein, Elias (1971), "Intertwining operators for semisimple Lie groups", Ann. Math., 93: 489–579
Stein, Elias (1993), Harmonic Analysis: Real-variable Methods, Orthogonality and Oscillatory Integrals, Princeton University Press, ISBN 0-691-03216-5

This article is issued from Wikipedia - version of the 9/28/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.