A glimpse to the general theory

1. Introduction

We have talked about a very basic result in singular integral, i.e. if we have an additional condition, i.e. $latex {q-q}&fg=000000$ bounded condition, then by interpolation theorem we only need to establish the weak $latex {1-1}&fg=000000$ bound then we establish the $latex {p-p}&fg=000000$ bound of $latex {T}&fg=000000$, $latex {\forall 1< p< q }&fg=000000$.

The category of of singular integral is very general, in fact the singular integral we interested in always equipped more special structure. We discuss following 3 types result which world be the central role in this further series note.

  1. Approximation of the identity.
  2. Singular integral with $latex {L^2}&fg=000000$ bounded translation invariant operator.
  3. Maximal function, singular integral, and square functions.

The underlying object we consider in both the three case is some special singular integral, in the first case, it looks like a $latex {T=sup_{t>0} \Phi_{t}*f}&fg=000000$, this, among the other thing, has a close relationship with the maximal operator $latex {Mf}&fg=000000$. This is discussed in 2. For the singular integral with $latex {L^2}&fg=000000$ bound, the Fourier transform or its discretization version, Fourier series is natural involved. And there is a “representation theorem” similar to the sprite of Reisz representation theorem, said, roughly speaking, if we consider the $latex {L^2}&fg=000000$ bound operator adding the condition of transform invariant, then it is really coinside with the case of our image, the operator must behaviour as a Fourier multiple. This is the contant of famous Mikhlin multiplier theorem, and we discuss some technique difficulty in the process of establishing such a theorem, this is the contact of 3. At last we discuss some deep relationship between three basic underlying intution and objects in harmonica analysis, the Maximal function, singular integral, and square functions. They could all be understanding as tools to understanding the variant complicated emerging in singular integral. But there is definitely some common points. This is the theme of 4. Of course there are some further topic which are also interesting, but I do not want to discuss them here, maybe somewhere else.

2. Approximation of the identity

First topic, we discuss the approximation of the identity, this play a central role in understanding solution of PDE, why, I think a key point is this tools carry a lots of information about the scaling of the space, as it well known, analysis could roughly divide into two parts, “hard analysis” and “soft analysis”, approximation of the identity supply a way to transform a result form “hard analysis” side to “soft analysis” side and reverse. And when it shows its whole power always along with the involving of following Dominate convergence theorem:

Theorem 1 (DCT)

Let $latex {\{f_n\}_{n=1}^{\infty}}&fg=000000$ be a series of function on measure space $latex {(X,\Sigma,\mu)}&fg=000000$, and $latex {f_n \rightarrow f, a.e. x\in X}&fg=000000$, and $latex {\{f_n\}_{n=1}^{\infty}}&fg=000000$ satisfied a controlling condition, i.e. we can find a integrable function $latex {g\in L^{1}(X)}&fg=000000$, such that $latex {|f_n(x)|\leq |g(x)|, a.e. x\in X, \forall n\in {\mathbb N}^*}&fg=000000$, then we know,

$latex \displaystyle \lim_{n\rightarrow \infty} \int_{X}f_n(x)d\mu\rightarrow \int f(x)d\mu \ \ \ \ \ (1)&fg=000000$

 

In fact we have even stronger,

$latex \displaystyle \lim_{n\rightarrow \infty} \int_{X}|f_n(x)-f(x)|d\mu=0 \ \ \ \ \ (2)&fg=000000$

 

This is a standard theorem in real analysis, we give the proof.

Proof: $latex {f}&fg=000000$ is the point-wise limit of $latex {f_n}&fg=000000$ so we know f is measurable and also dominate by $latex {g}&fg=000000$, so by triangle inequality we have:

$latex \displaystyle |f-f_n|\leq 2|g|&fg=000000$

Then the 1 is trivially true, due to a diagonal taking subsequences trick. For more subtle result 2, we need use reverse Fatou theorem to show it is true, roughly speaking we have,

$latex \displaystyle \limsup_{n\rightarrow \infty}\int_{X}|f_n-f|\leq \int_{X}\limsup_{n\rightarrow \infty}|f_n-f|=0&fg=000000$

The key point is the first inequality above used the reverse Fatou theorem. $latex \Box&fg=000000$

Now we discuss of the main result of the approximation identity. So first we need to define what is a approximation identity. a key ingredient is scaling. i.e. we given a function $latex {\Phi}&fg=000000$ and consider $latex {\Phi_t=t^{-n}\Phi(\frac{x}{t})}&fg=000000$, and we wish,

$latex \displaystyle \lim_{t\rightarrow 0}(f*\Phi_t(x))=f(x), for a.e. x\ \in {\mathbb R}^n \ \ \ \ \ (3)&fg=000000$

 

Whenever $latex {f\in L^p, 1\leq p\leq \infty}&fg=000000$, but there need some technique assume to make this intuition to be tight, this lead the following definition.

Definition 2 (Approximation of the identity) Suppose $latex {\Phi}&fg=000000$ is a fixed function on $latex {{\mathbb R}^n}&fg=000000$ that is appropriated small at infinity (have good enough decay rate), for example, take,

$latex \displaystyle |\Phi(x)|\leq A(1+|x|)^{-n-\epsilon} \ \ \ \ \ (4)&fg=000000$

 

Then we define $latex {\{\Phi_t:\Phi_t(x)=t^{-n}\Phi(\frac{x}{t})\}}&fg=000000$ to be an approximation of the identity.

The key theorem is the following, related the approximation of the indentity with the maximal operator.

Theorem 3

$latex \displaystyle \sup_{t>0}|(\Phi_t*f)(x)|\leq c_{\Phi}Mf(x) \ \ \ \ \ (5)&fg=000000$

 

For heat kernel, the thing is more subtle.

Theorem 4 [Heat kernel estimate]

$latex \displaystyle \|f-e^{t\Delta}f\|_2\leq \|\nabla f\|_2\sqrt{t} \ \ \ \ \ (6)&fg=000000$

 

Remark 1 I know this theorem from Lieb’s book. The power of 4 combine with Plancherel theorem could use to establish the Sobolev inequality, at least for the index $latex {p=2}&fg=000000$.

There are 3 ingredients which cold be useful.

  1. the power of Rearrangement inequality involve in the Approximation of indentity operator. we could consider the relationship between $latex {f*\Phi_t}&fg=000000$ and $latex {f*\overline \Phi_t}&fg=000000$, where $latex {\overline \Phi}&fg=000000$ is constructed by take the average of $latex {\Phi}&fg=000000$ on the level set but the foliation of scaling. Intuition seems some monotonic property natural emerge.
  2. There is a discretization model, i.e. the toy model on gragh, or we think it as correlation between particles, the key point is the rescaling deformation could be instead by semi group or renormalization property.
  3. We consider the more general case, now there is not only one $latex {\Phi}&fg=000000$ but a group of them, i.e. $latex {\Phi_k, k\in A}&fg=000000$, this will involve some amenable theory I think.

We give two of the original and most important examples, First, if

$latex \displaystyle \Phi(x)=c_n(1+|x|^2)^{\frac{-(n+1)}{2}}&fg=000000$

where

$latex \displaystyle c_n=\frac{\Gamma(\frac{n+1}{2})}{\pi^{\frac{n+1}{2}}}&fg=000000$

then $latex {\Phi_t(x)}&fg=000000$ is the possion kernel, and,

$latex \displaystyle u(x,t)=(f*\Phi_t)(x)&fg=000000$

Gives the solution of the Dirichlet problem for the upper half space,

$latex \displaystyle {\mathbb R}^{n+1}_{+}=\{(x,t):x\in {\mathbb R}^n,t>0\}&fg=000000$

Namely

$latex \displaystyle \Delta u=(\frac{\partial^2}{\partial t^2}+ \sum_{j=1}^n\frac{\partial^2}{\partial x_j^2})u(x,t)=0,\ u(x,0)\equiv f(x) \ \ \ \ \ (7)&fg=000000$

 

The second example is the Gaussian kernel,

$latex \displaystyle \Phi(x)=(4\pi)^{-\frac{n}{2}}e^{-\frac{|x|^2}{4}}.&fg=000000$

This time, if $latex {u(x,t)=(f*\Phi_{t^{\frac{1}{2}}})(x)}&fg=000000$, then $latex {u}&fg=000000$ is a solution of the heat equation,

$latex \displaystyle (\frac{\partial}{\partial t}- \sum_{j=1}^n\frac{\partial^2}{\partial x_j^2})u(x,t)=0,\ u(x,0)\equiv f(x) \ \ \ \ \ (8)&fg=000000$

 

 

3. Singular integral with $latex {L^2}&fg=000000$ bounded translation invariant operator

The main result proved in last note about singular integral is a conditional one, guaranteeing the boundedness on $latex {L^p}&fg=000000$ for a range $latex {1<p\leq q}&fg=000000$, on the assupution that the boundedness on $latex {L^q}&fg=000000$ is already known; the most important instance of this occurs when $latex {q=2}&fg=000000$. In keeping with this, we consider bounded linear transformation $latex {T}&fg=000000$ from $latex {L^2({\mathbb R}^n)}&fg=000000$ to itself that commute with translation. As is well known, such operator are characterized by the existence of a bounded function $latex {m}&fg=000000$ on $latex {{\mathbb R}^n}&fg=000000$ (the “multiper”), so that $latex {T}&fg=000000$ can be realized as,

$latex \displaystyle \widehat{Tf(\xi)}=m(\xi)\widehat f(\xi) \ \ \ \ \ (9)&fg=000000$

Where $latex {\widehat{}}&fg=000000$ denotes the Fourier transform. Alternatively, at least on test function $latex {f\in S}&fg=000000$, $latex {T}&fg=000000$ can be realized in terms of convolution with a kernel $latex {K}&fg=000000$,

$latex \displaystyle Tf=f*K \ \ \ \ \ (10)&fg=000000$

 

Where $latex {K}&fg=000000$ is the distribution given by $latex {\hat K=m}&fg=000000$. We shall now examine how the theorem with condition on singular integral weill lead to some result of this type of operator. Roughly speaking, it is due to now we know the boundedness on $latex {L^2}&fg=000000$, for technique condition, we need to assume the distribution $latex {K}&fg=000000$ agree away from the origin with a function that is locally integrable away from the origin with a function that is locally integrable away from the origin; in this case we define the function by $latex {K(x)}&fg=000000$. Then 10 implies that,

$latex \displaystyle Tf(x)=\int K(x-y)f(y)dy,\ for \ a.e. x\notin supp f. \ \ \ \ \ (11)&fg=000000$

Whenever $latex {f}&fg=000000$ is in $latex {L^2}&fg=000000$ and $latex {f}&fg=000000$ has campact support. Tis is the representation of singular integral in the present context. Next, the crucial hormander condition is then equivalent with,

$latex \displaystyle \int_{|x|\geq c|y|}|K(x-y)-K(x)|dx\leq A \ \ \ \ \ (12)&fg=000000$

 

for all $latex {y\neq 0}&fg=000000$, where $latex {c>1}&fg=000000$. In this case, the condition 12 have a further understanding, in fact,

Lemma 5

$latex \displaystyle |(\frac{\partial}{\partial x}^{\alpha}K(x))|\leq A_{\alpha}|x|^{-n-|\alpha|},\ for\ all \ \ \alpha \ \ \ \ \ (13)&fg=000000$

 

or its weaker form, (here $latex {\gamma>0}&fg=000000$ is fixed )

$latex \displaystyle |K(x-y)-K()|\leq A\frac{|y|^{\gamma}}{|x|^{n+\gamma}}, whenever \ |x|\geq c|y|. \ \ \ \ \ (14)&fg=000000$

imply the hormander condition 12

Proof: Integral by part. $latex \Box&fg=000000$

So, now the key point is how do $latex {K}&fg=000000$, satisfied such conditions, come about? It turns out that, toughly speaking, such condition on $latex {K}&fg=000000$ have equivalent versions when sated in terms of the Fourier transform of $latex {K}&fg=000000$, namely the multiper $latex {m}&fg=000000$. This is transform the difficulties from physics space to fractional space In the future note, we will find a proof of the following Theorem:

Theorem 6 For $latex {m=\hat K}&fg=000000$.

If we assume that,

$latex \displaystyle |(\frac{\partial}{\partial \xi}^{\alpha}m(\xi))|\leq A’_{\alpha}|\xi|^{-n-|\alpha|},\ for\ all \ \ \alpha \ \ \ \ \ (15)&fg=000000$

holds for all $latex {\alpha}&fg=000000$, then $latex {K}&fg=000000$ satisfied 5 for all $latex {\alpha}&fg=000000$.

If we assume that $latex {m}&fg=000000$ satisfied the above inequality for all $latex {0\leq |\alpha| \leq l}&fg=000000$, where $latex {l}&fg=000000$ is the smallest integer $latex {>\frac{n}{2}}&fg=000000$, then $latex {K}&fg=000000$ satisfied 12

Remark 2 The multiplier $latex {m}&fg=000000$ satisfied the second part condition of 6, are called Marcinkiewicz mulltiplier.

 

4. Maximal function, singular integral, and square functions.