Almost orthogonality

 

Motivation and Cotlar’s lemma

We always need to consider a transform T on Hilbert space l^2(\mathbb Z) (this is a discrete model), or a finite dimensional space V. If under a basis T is given by a diagonal matrix this story is easy,

\displaystyle A = \begin{pmatrix} \Lambda_1 & 0 & \ldots & 0 \\ 0 & \Lambda_2 & \ldots & 0 \\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \ldots & \Lambda_n \end{pmatrix} \ \ \ \ \ (5)

Then ||T||=\max_{i}\lambda_i.

In fact, for T is a transform of a finite dimensional space, T is given by (a_{ij})_{n\times n} by duality we have ||T||=||TT^*||, so we have,

||T||=||TT^*||=|(\sum a_{ij}x_j)y_i|\leq |\sum_{i,j}\frac{1}{2}(|a_{ij}(|x_i|^2+|y_j|^2)|\leq M

If we have given \sum_{i}|a_{ij}|\leq M and \sum_{j}|a_{ij}|\leq M \forall i,j\in \{1,2,...,n\}.

But in application of this idea, the orthogonal condition always seems to be too restricted and due too this we have the following lemma which is follow the idea but change the orthogonal condition by almost orthogonal.

Lemma(Catlar-Stein)

Let \{T_j\}_{j=1}^N be finitely many operators on some Hilbert space H. Such that for some function \gamma : \mathbb Z\to R^+ one has,

||T_j^*T_k||\leq \gamma^2(j-k),||T_jT_k^*||\leq \gamma^2(j-k)

for any 1\leq j,k\leq N. Let \sum_{l=-\infty}^{\infty}\gamma(l)=A<\infty. then ,

||\sum_{j=1}^NT_j||\leq A

Pf:

tensor power trick + duality ||T||=||TT^*||^{\frac{1}{2}}.

Singular integrals on L^2

 

Lemma(Schur)

Define T is a operator on measure space X\times Y equipped positive product measure \mu\wedge \nu, via,

(Tf)(x)=\int_YK(x,y)f(y)\nu(dy)

K is a measurable kernel, then,

1). ||T||_{1\to 1}\leq \sup_{y\in Y}\int_{X}|K(x,y)|\mu(dx)=:A.

2). ||T||_{\infty\to \infty}\leq \sup_{x\in X}\int_{Y}|K(x,y)|\nu(dy)=:B.

3). ||T||_{p\to p}\leq A^{\frac{1}{p}}B^{\frac{1}{p'}},  \forall 1\leq p\leq \infty.

4). ||T||_{1\to \infty}\leq ||K||_{L^{\infty}(X\times Y)}.

Pf:

1),2),4) merely due to Fubini theorem and Bath lemma.

 

3) proof by the interpolation and combine 1) and 2).

Theorem

Let K be a Calderon-Zegmund operator, with the additional assumption

that |\nabla K(x)|\leq B|x|^{-d-1}. Then

||T||_{2\to 2} \leq CB

with C = C(d).

Caldero ́n–Vaillancourt theorem

 

Hardy’s inequality

Theorem(Hardy inequality)

For any 0 \leq s < \frac{d}{2} there is a constant C(s, d) with the prop-

arty that,

|||x|^{-s} f||_2 \leq C(s,d)||f||_{H^s(R^d)}

for all f \in H^s(R^d).

 

广告

Almost orthogonality”的一个响应

发表评论

Fill in your details below or click an icon to log in:

WordPress.com 徽标

您正在使用您的 WordPress.com 账号评论。 注销 /  更改 )

Facebook photo

您正在使用您的 Facebook 账号评论。 注销 /  更改 )

Connecting to %s