, , , November 27, 2006

In [1] , J.J. Kohn proved the hypoellipticity of the operator

P = L^{*} L + ({\bar{z}}^{k} L) ({\bar{z}}^{k} L)^{*}, L = \frac{\partial}{\partial z} - i \bar{z} \frac{\partial}{\partial t},

for which there is a large loss of derivatives indeed in the a priori estimate one bounds only the Sobolev norm of order

- (k + 1) / 2 .

We show in this note that solutions of

P u = f

with

f

real analytic are themselves real analytic in any open set where

f

is. For simplicity we shall write out in detail the case for

k = 1

only, as larger values of

k

pose no difficulties.

The a priori estimate with which we will work is

∥ L v ∥_{0}^{2} + ∥ z \bar{L} v ∥_{0}^{2} ≲ | (P v, v)_{L^{2}} |, v \in C_{0}^{\infty}

since the loss of derivatives and extra low order term on the left is of no use to us and this estimate is immediate from the definition of

P .

Our first observation is that we know the analyticity of the solution for

z \neq 0

from the earlier work of the second author [2] , [3] and Treves [4] .

Our second observation is that it suffices to bound derivatives measured in terms of high powers of the vector fields

L

and

\bar{L}

L^{2}

norm, by standard arguments, and indeed estimating high powers of

\bar{L}

can be reduced to bounding high powers of

L

and powers of

T = 2 i \partial / \partial t = [L, \bar{L}]

of half the order, by repeated integration by parts. Thus our overall scheme will be to start with high powers (order

2 p

) of

L

\bar{L},

use integration by parts and the a priori estimate repeatedly to reduce to treating

T^{p} u

in a slightly larger set.

And to do this, as in many other papers of ours, we will create a (new) special localization of

T^{p} .

The new localization of

T^{p}

may be written in the simple form:

Local Analyticity for complex vector fields

(T^{p_{1}, p_{2}})_{φ} = \sum_{\binom{a \leq p_{1}}{b \leq p_{2}}} \frac{L^{a} z^{a} T^{p_{1} - a} φ^{(a + b)} T^{p_{2} - b} {\bar{z}}^{b} {\bar{L}}^{b}}{a! b!},

Here by

φ^{(r)}

we mean

(i \partial / \partial t)^{r} φ (t)

since near

z = 0

we may take the localizing function independent of

z .

We have the commutation relations:

[L, (T^{p_{1}, p_{2}})_{φ}] \equiv L \circ (T^{p_{1} - 1, p_{2}})_{φ^{'}}, [\bar{L}, (T^{p_{1}, p_{2}})_{φ}] \equiv (T^{p_{1}, p_{2} - 1})_{φ^{'}} \circ \bar{L},

[(T^{p_{1}, p_{2}})_{φ}, z] = (T^{p_{1} - 1, p_{2}})_{φ^{'}} \circ z, a n d [(T^{p_{1}, p_{2}})_{φ}, \bar{z}] = \bar{z} \circ (T^{p_{1}, p_{2} - 1})_{φ^{'}},

where the

\equiv

denotes modulo

C^{p_{1} - p_{1}^{'} + p_{2} - p_{2}^{'}}

terms of the form

\frac{L^{p_{1} - p_{1}^{'}} \circ z^{p_{1} - p_{1}^{'}} \circ T^{p_{1}^{'}} \circ φ^{(p_{1}^{'} + p_{2}^{'} + 1)} \circ T^{p_{2}^{'}} \circ {\bar{z}}^{p_{2} - p_{2}^{'}} \circ {\bar{L}}^{p_{2} - p_{2}^{'}}}{(p_{1} - p_{1}^{'} + p_{2} - p_{2}^{'})!}

with either

p_{1}^{'} = 0

p_{2}^{'} = 0 .

Note that if we start with

p_{1} = p_{2} = p / 2,

and iteratively apply these commutation relations, the number of

T

derivatives not necessarily applied to

φ

is eventually at most

p / 2;

in our previous works the number dropped to zero (i.e., only

L

and

\bar{L}

derivatives remained and at most

p

of them, half the number of

L

and

\bar{L}

derivatives we started with, but any fraction of the original number would do as well.

So we insert first

v = (T^{p / 2, p / 2})_{φ} u

in the a priori inequality, then bring

(T^{p / 2, p / 2})_{φ}

to the left of

P = - \bar{L} L - L \bar{z} z \bar{L}

since

P u

is known and analytic. By the above bracket relations,

([\bar{L} L + L \bar{z} z \bar{L}, (T^{p / 2, p / 2})_{φ}] u, (T^{p / 2, p / 2})_{φ} u) \equiv

M. Derridj and D.S.Tartakoff

\equiv ((T^{p / 2, p / 2 - 1})_{φ^{'}} \bar{L} L u, (T^{p / 2, p / 2})_{φ} u) + (\bar{L} L (T^{p / 2 - 1, p / 2})_{φ^{'}} u, (T^{p / 2, p / 2})_{φ} u)

+ (L (T^{p / 2 - 1, p / 2})_{φ^{'}} \bar{z} z \bar{L} u, (T^{p / 2, p / 2})_{φ} u) + (L \bar{z} (T^{p / 2, p / 2 - 1})_{φ^{'}} z \bar{L} u, (T^{p / 2, p / 2})_{φ} u)

+ (L \bar{z} (T^{p / 2 - 1, p / 2})_{φ^{'}} z \bar{L} u, (T^{p / 2, p / 2})_{φ} u) + (L \bar{z} z (T^{p / 2, p / 2 - 1})_{φ^{'}} \bar{L} u, (T^{p / 2, p / 2})_{φ} u) .

In every case, the brackets reduce the order of the sum of the two indices

p_{1}

and

p_{2}

by one (here we started with

p_{1} = p_{2} = p / 2

), pick up one derivative on

φ,

and leave the vector fields over which we have maximal control in the estimate intact and in the correct order. Thus we may bring either

L \bar{z}

to the right as

z \bar{L},

(possibly after additional iterations of the brackets to obtain an

\bar{z}

to the left of

(T^{q_{1}, q_{2}})_{ψ}

), and use a weighted Schwarz inequality on the result to take maximal advantage of the a priori inequality. Iterations of all of this continue until there remain at most

p / 2

free

T

derivatives (i.e., the

T

derivatives on at least one side of

φ

are all `corrected' by good vector fields) and perhaps as many as

p / 2 L

z \bar{L}

derivatives, and we may continue further until, at worst, the remaining

L

and

\bar{L}

derivatives bracket two at a time to produce more

T

's, one at a time. After all of this, there will be at most

T^{3 p / 4},

and at this point we introduce a new localizing function of Ehrenpreis type with slightly larger support, geared to

3 p / 4

instead of to

p .

In our previous work, the order dropped by half and we used

{log}_{2} N

nested open sets, but here we employ

{log}_{4 / 3} N

nested open sets of prescribed size growth may be constructed to prove that for derivatives of order no greater than

N,

| D^{| α |} u | \leq C C^{N} N^{N} \sim C^{'} {C^{'}}^{N} N!

locally with

C

independent of

N,

which proves the analyticity of the solution. Local Analyticity for complex vector fields The situation is not different with larger values of

k,

and we do not write this out.

References

J.J. Kohn, Hypoellipticity and loss of derivatives, Annals of Mathematics, to appear.
D.S. Tartakoff, Local Analytic Hypoellipticity for $□_{b}$ on Non-Degenerate Cauchy Riemann Manifolds, Proc. Nat. Acad. Sci. U.S.A. 75 (1978), pp. 3027-3028.
D.S. Tartakoff, On the Local Real Analyticity of Solutions to $□_{b}$ and the $\bar{\partial}$ -Neumann Problem, Acta Math. 145 (1980), pp. 117-204.
F. Treves, Analytic Hypo-ellipticity of a Class of Pseudo-Differential Operators with Double Characteristics and Application to the $\bar{\partial}$ -Neumann Problem, Comm. in P.D.E. 3 (6-7) (1978), pp. 475-642.

5 rue de la Juviniere, 78350 Les Loges en Josas, FRANCE E-mail address : Makhlouf.Derridj@univ-rouen.fr Department of Mathematics, University of Illinois at Chicago, m/c 249, 851 S. Morgan St., Chicago IL 60607, USA E-mail address : dst@uic.edu

November 27, 2006

Makhlouf Derridj

David S. Tartakoff