I was interested in the almost everywhere pointwise convergence problem of the Schrödinger solution as time goes to zero since I was a graduate student. The question was raised by Carleson, and remains open in high dimensions. It is closely related to the boundedness of the Schrodinger maximal operator (local or global); in turn it is closely related to the interesting oscillatory integrals in harmonic analysis and Strichartz estimates in PDE. Recently I understood some of the problem and wrote down a note to re-construct the two dimensional proof. These results contained in this note are not new; in the note I explore them from a slightly different perspective.

**Shuanglin Shao**| June 14, 2010

## On localization of the Schrodinger maximal function

Posted in Blogroll

**Shuanglin Shao**| December 6, 2009

## Kato-smoothing effect

“Kato smoothing” “is ” important in dispersive PDE.“Smoothing”, as it stands, sounds like a very good word. But why is it good? How will it be used remains as vague questions to me.

In the last week, I began to report a paper by Alazard-Burq-Zuily, “On the water waves questions with surface tension”, which contains a “local-smoothing” result: roughly speaking, solutions to 2-D water waves with surface tension in will get regularity upgrade to , to the price of locally in space and being averaged in time. This result was first proven by Christianson-Hur-Staffilani.

A question came to me, why ? Where can I quickly see it? Soon I found out it is determined by the structure of the water-wave equation. To oversimplify the major result in the paper on the derivation of water-wave equations by means of paralinearization, it can be written as a type of dispersive equations,

(I have dropped a lot of terms, for instance, only looking at a linear equation, and no flow-terms in (*); it is because I am only looking at main terms which I think reflect dispersion). (*) suggests a dispersive relation . If one look for

, the maximum value of turns out to be . ( was proved for 2D, does this suggest that it was the case in all dimensions?)

To understand this necessary condition on , I would like to draw an analogy with the “1/2-local smoothing” for the Schrodinger equations: for any ,

Why there? and how it was proved? Then the clarifications of these matters provides a model (to me) that for water-wave sounds reasonable.

Let us first motivate “local-smoothing” for Schr\”odinger? It is well known that the solutions to a free Schr\”odinger equation

obeys the conservation law of mass, i.e.,

Note that we can not add any with to the left hand side of (1) due to the Galilean transform (or simply by creating a bump at high frequency). One may argue that, is this no-gain-of-derivative due to we asking for too much in time by requiring a ? For instance, on a time interval, , -norm is stronger than any norm with ? So is the following true,

for some and . Unfortunately (2) does not hold for any due to the same reason as above (one can take the same examples.).

Is there any hope that some variant of (2) holds true? By using the heuristic that solutions to a dispersive equations at high frequency travels much faster than low frequency, after waiting for a long time, only low-frequencies are left behind around spatial origin and they do not hurt positive derivatives. So if we were asking for an estimate locally in space, was it possible? The answer turns out to be Yes. We have the following estimate,

This is referred to as “Kato smoothing estimate" for Schr\"odinger in literature. Moreover is the most one can expect due to the obstruction (counterexample) we mentioned above. (3) will lead to a more general estimate, for any

The implication of (4) from (3) is easier by partitioning and rescaling, and using the information that .

We focus on proving (3). It will follow from a Plancherel argument.

Writing

where is the Dirac mass, and . We set

To prove (3), it suffices to prove

where . Obviously by the Plancherel theorem, the left hand side of (5) is bounded by

Fixing , Cauchy-Schwarz yields

The second factor on the right hand side of (6) is bounded by an absolute if we restricting to to set ; it is not hard to do so if at the beginning we aim to prove (3) under this restriction; then the general estimate follows from the triangle inequality and partition the frequency space into $laex d $ pieces.

So plugging (6) in (5) and interchanging the integration order, and using , we find out the left hand side of (5) is bounded by . This is exactly what we need. So we finish proving (3).

I like the previous type of argument very much; but I did not remember where it was the first place/time I saw it. So I recorded it for my own benefits.

Posted in Blogroll

**Shuanglin Shao**| November 14, 2009

## Reading: GWP for critical 2D dissipative SQG

Last weekend I attended a wonderful conference SCAPDE at UC Irvine, where I learned an interesting theorem from Kiselev: solutions to critical 2D dissipative quasi-geostrophic equations (SQG) are globally wellposed

where is a scalar function, are the usual Riesz transform in defined via and .

This is his joint work with Nazarov and Volberg. I took a look at this paper in the past few days. The proof makes good use of classical tools in Fourier analysis such as singular integrals and modulus of continuity, which are familiar topics in Stein’s book, Singular integrals and differentiability properties of functions. It is a place where I do not see Strichartz estimates or Littlewood Paley decompositions and see the power of classical Fourier analysis.

The monotonicity formula they have is

for periodic smooth initial data . I am new to this field of fluid dynamics but I would still like to say a few words on this estimate. The proof is to find an “upper bound “, modulus of continuity , for solutions ; then they show that a family of modulus of continuity is preserved under evolution of the equation, which is strong enough to control . Quoted from the paper, the idea is to show that the critical SQG possesses a stronger “nonlocal” maximum principle than control.

Recall a modulus of continuity is just an arbitrarily increasing continuous and concave function such that . A function has modulus of continuity if for all .

We choose not to report the crucial/essential part of finding the continuity of modulus (maybe later). Instead we assume that has modolus of continuity , which is unbounded and and . Then there holds

.

The proof is actually very simple. The explicit form of will take care of the implication of (1) from (2).

Assume that for some . We consider the point for . On the one hand, we have

for all . On the other hand, the left hand side of (3) is at least where while its right hand side can be represented as with as .

Then

for all sufficiently small $\xi>0$, and it remains to choose some satisfying .

**Shuanglin Shao**| May 1, 2009

## The Cotlar-Stein lemma

The Coltar-Stein lemma is a powerful tool to deal with boundedness of some translation-invariant operators such as convolution operators, which can be expressed as

I recently began to understand how powerful it might be via the method. I would like to reproduce its proof following Fefferman’s presentation.

Suppose is a sum of operators on Hilbert spaces (say the usual ). Assume that

and . Then .

Here is a non-negative even function.

The argument follows an idea of iteration.

Step 1. . We estimate into two ways. Firstly it is easy to see that

; secondly it is also trival that

. Hence by taking the geometric means of these two bounds, we have

.

Hence

.

This gives that

Step 2. We investigate one more iteration of . We write

Also we estimate by organizing the operators in two ways.

Firstly since , we see that

secondly since ,

By taking geometric means, we see that

Hence

.

Step 3. by induction, we see that for any , we have

.

Let , we see that

. The proof of this lemma is complete.

We remark that in the argument both bounds and are used.

Let where be the Littlerwood-Paley projection operator. It is easy to see that is a self-adjoint operator. Also and for .

Then Stein-Cotlar gives,

,

which matches that .

Posted in Blogroll | Tags: Cotlar-Stein

**Shuanglin Shao**| February 28, 2009

## A misleading argument for the adjoint Fourier restriction for the sphere in 3 dimension

Today I thought that I had a new proof of the adjoint Fourier transform for the sphere in three dimensions; but it turns out it was wrong. I would like to record it here, which I hope is useful at some point.

First let us define the notion of Fourier transform. Let

Then the Plancherel theorem reads,

From this definition the convolution of two functions behaves under the Fourier transform like

Now let us begin the argument. By Plancherel,

In view of this, we may assume that .

We write the integrand out,

(1) By Cauchy-Schwarz inequality, we have

We observe that

Then

(2)Then by Minkowsik inequality,

Note that the best constant for Young’s inequality is .

(I orginially thought that . However, it is wrong since or , which can be seen from the asympotics for large in . Incidentally, today I found that Terry remarked on his blog that the Dirac mass by a trick of epsilon regularization (another way is to use Pancherel theorem and observe that ).)

At this point, there is no need to read on since the following is based on Step 2. I worte it down before I realized the mistake; so I backed it up as my notes.

{Then we can conclude that

}

Posted in Blogroll | Tags: adjoint Fourier restriction

**Shuanglin Shao**| February 18, 2009

## Pohazav argument: no moving-to-left “solitions” for the critical gKdV

I would like to show a short but beautiful Pohazav argument to exclude “moving-to-left” solitons in the form of for the focusing generalized Korteweg de Vries equation

This is to show that .

Firstly we assume that is a solution for the equation above and also assume that decays to in the infinity (to justify the arguments). Then

Then an integration yields .

We multiply (1) by and integrate,

We multiply (1) by and integrate,

which is simiplified to

Now we see that yields that

,

This forces .

In general, for the defocusing critical gKdV, to exclude solutions in the “solitions” sense is really a hard topic.

A decay estimate on the right is desired.

Posted in Blogroll

**Shuanglin Shao**| February 17, 2009

## A continuation in reading: heat flow monotonicity of Strichartz norms

It has been a long time that I haven’t updated this blog. I promised to post my readings on the Bennett-Bez-Carbery-Hundertmark’s short but beautiful paper, “heat flow monotonicity of Strichartz norm”. Here it goes!

In this paper, the authors applied the method of heat-flow in the setting of Strichartz inequality for the Schr\”odinger equation and amusingly obtained, among other things, the Strichartz norm

is nondecreasing as the initial datum evolvs under a under quadratic flow when . This immediately yields that the Gaussians are extremisers to the classical Strichartz inequality,

The paper also consider the monotonicity given by some other flows such as Mehler-flow; it also considers the higher dimensions’s analogues by embedding the usual Strichartz norm into one-parameter family of norms . In this post I will focus on the monotonicity induced by the heat-flow.

The method of heat-flow deformation is interesting in itself. It is expected to be applied to related problems such as the existence of extremisers to the adjoint Fourier restriction operators to the sphere; but it is a different story; so far I can see an immediate difficulty in the latter setting, i.e., an representation formula for where is the standard surface measure for the unit sphere in .

Fortunately the representation formula of this kind is available in the paraboloid setting thanks to Hundertmark-Zharnitsky’s work; I already reported it in my previous post but I would like to record it here again basically because an “equation” is rare in analysis: for nonnegative ,

where is the projection operator onto the subspace of functions on which are invariant under the isometries which fix the direction . ( We have a similiar representation formula when . )

The paper innovatively combines this formula with monotonicity given by some heat-flow version of Cauchy-Schwartz inequality together to prove the following main theorem.

Let If is Schr\”odinger admissible and is an even integer which divides then the one-parameter family of functions

is nondecreasing for all ; i.e., is nondecreasing in the case and . Next we show how to prove this theorem in the case .

Given and nonnegative integrable functions on , we define . Then is nondecreasing for all . Instead of repeating the proof in the paper of using the convolution with the heat-kernel, we will try working out how it is deduced from the divergence theorem. Our goal is to prove the following explicit formula

Let for . Then

We write . Then

. Then

.

Hence

. This is not surprising because formally solves the heat equation.

Let , then

.

Hence we see

Here we have used,

, which yields

,

i.e.,

We start with a general representation formula for the projection map in . For functions in we write

where is the group of isometries on which fix the direction , and denotes the right-invariant Haar probability measure on .

Let and . Then by using the fact the heat-flow operator commutes with tensor product and Hundertmark-Zharnistsky representation formula, we have

This is in form of . Then the monotonicity of follows from that of and the non-negativity of the measure .

For , define with , and the rescaled

Then

This leads to

On the other hand,

We observe that, by Plancherel theorem in both variables,

where denotes the surface measure of the paraboloid in . Hence we obtain

This shows that is an extremiser. So we are done.

You can see that the heat-flow deformation method is a very nice method; it has been applied by the authors in several settings such as the Hausdorff-Young inequality, and Young’s inequality (but I haven’t carefully read their previous works). It is also proved effective in treating -linear analogues of the Strichartz estimate (Bennett-Carbery-Tao’s work) and in the setting of multilinear Brascamp_Lieb inequalities (Bennett-Carbery-Christ-Tao) (I admitted that I haven’t read them carefully either). The “disadvantage” is that this method doesn’t charaterize the set of extremisers. Of course, we can’t hope it is a tool of catch-all. The question of charaterization is a completely different problem.

Posted in Blogroll | Tags: Bennett-Bez_Carbery_Hundertmark, Heat flow, Sharp Strichartz inequality

**Shuanglin Shao**| October 1, 2008

## Readings on sharp Strichartz inequalities for the Schrodinger equation

Since last weekend, I have read several papers due to Bennett-Bez-Carbery-Hundertmark, Carneiro, Foschi, Hundertmark-Zharnitsky and on the sharp Strichartz inequality

where is the solution to the following free Schrodinger equation

with initial data , where .

I am happy that the latest two papers cited mine on the existence of a maximiser for the nonendpoint Strichartz inequality. For my own benefits, I would like to record here the main idea of their proofs respectively.

I choose to start with Hundertmark-Zharnitsky’s paper, “on sharp Strichartz inequalities in low dimensions”(IMRN) since this paper introduces a beatiful argument which seems to be of general interest (at least essential to papers by Carneiro and Bennett-Bez-Carbery-Hundertmark). In this paper, Hundertmark-Zharnitsky obtained the sharp value for

when in lower dimensions . They first built an interesting representation formula for the Strichartz norm as follows,

If , then

where denotes the usual tensor product and denotes the orthogonal projection to the closed linear subspace which consists of functions invariant under rotations of which keep the direction fixed.

If ,

denotes the orthogonal projection to the closed linear subspace which consists of functions invariant under rotations of which keep the and directions fixed.

They proved them in a simple way. we only look at the case and its explicit maximizers. By using the definition of the delta function they expressed the left side as

This leads to define the following symmetric linear operator: for ,

Then they showed that is a bounded operator with operator bound on by showing the measure is a probability measure on for almost every . Finally they extended onto the whole and showed that is a multiple of the orthogonal projection . Now they obtain the representation formula for the Strichartz norm.

Once having representation formula, they obtained that

which gives . Also they saw that in order to have equality, the function must lie in the rangle of , that is to say, it is invariant under rotations of which fix . Obviously, all functions of the form

with , i.e., Gausssians, are maximisres.

In the second part of their paper, they managed to show that the Gausssians turn out to be the only maximizers in the following three steps,

“1”. Assume is a maximizer for the Strichartz inequality (then is in the range of ). Then never vanishes for all $t>0$. Here is the convolution of with the approximation to identity .

“2”. never vanishes and is differentiable, then is a Gausssian. hence as a limit, is a Gausssian too.

The fact “2” above is actually the following general theme: if is differentialable and never vanishes and is in the range of , then is a Gausssian, which is proven by working out the explicit forms of the rotations in which keep invariant and use for all differentiable functions invariant under rotations. At this step, we note that is a product of one dimensional function, which we need in the one dimensional argument. In higher dimensions, for and invariant under rotations which keep with standard basis , we will have to prove that is a product of one dimensional functions.

Recently, Carneiro generaized this argument to a prove a sharp form of “Strichartz inequalities” as follows, for and ,

with

and with for and the kernel .

This inequality is sharp if and only if is a Gaussian.

How to find is mysterious for me here.

(I leave the discussion on Foschi’s and Bennett-Bez-Carbery-Hundertmark’s papers to a later time)

Posted in Readings | Tags: Sharp Strichartz inequality