• Tidak ada hasil yang ditemukan

Directory UMM :Journals:Journal_of_mathematics:OTHER:

N/A
N/A
Protected

Academic year: 2017

Membagikan "Directory UMM :Journals:Journal_of_mathematics:OTHER:"

Copied!
18
0
0

Teks penuh

(1)

G.H. Hakobyan

ESTIMATES OF THE HIGHER ORDER DERIVATIVES OF

THE SOLUTIONS OF HYPOELLIPTIC EQUATIONS

Abstract. In this work we establish a connection between the behaviour of the higher order derivatives of the solutions of the hypoelliptic equa-tion P(D)u = f and the estimates of the derivatives of f(x)in terms of multianisotropic Gevrey classes.

1. Introduction

The Gevrey classes play an important role in the theory of linear partial differential equations as intermediate spaces between the Cand the analytic functions. In

par-ticular, whenever the properties of an operator differ in the Cand in the analytic

framework, it is natural to test its behaviour in the classes of the Gevrey functions and distributions. As a matter of facts, that weak solutions of the equation P(D)u = f belong to C∞,in particular to Gevrey classes, is important for the application of varia-tional methods to the differential equation. A complete description of linear differential equations with constant coefficients having only C∞solutions for all infinitely differ-entiable right-hand sides has been given by L. H¨ormander [8]. Equations of this type are called hypoelliptic.

It is well known (cf. [8], Chapter 11) that the regularity of the solutions of the hypoelliptic equation P(D)u = f is determined by the behaviour of the function dP(ξ ) asξ → ∞, where dP(ξ )is the distance from the pointξ ∈Rnto the surface{ζ :ζ ∈ Cn,P(ζ )=0}.

The behaviour of the function dP(ξ )at infinity is related to many properties of the solutions of an hypoelliptic equation P(D)u=0, in particular it belongs to the Gevrey class Gλ(), whereλ ∈ Rn is determinated by the growth of the function dP(ξ )if ξ ∈Rnand|ξ|is sufficiently large (cf. [8], Theorem 11.4.1) (for the definition of the Gevrey classes Gλ(),see for example [8] Def. 11.4.11).

V. Grushin [3, 4] proved that if P(D)is an hypoelliptic operator with index of hypoelliplticity equal to λ, then all the solutions of the nonhomogeneous equation P(D)u = f belong to Gλ()if fGλ().

In [2] L. Cattabriga derived for an hypoelliptic operator P(D)the algebraic con-ditions ensuring that the map P(D) : Gλ(Rn)7→ Gλ(Rn)is an isomorphism. Such hypoelliptic operators are called Gλ-hypoelliptic operators. The Gλ-hypoelliptic oper-ators have been studied by many authors: L.R.Volevich, B.Pini, L.Rodino, L.Zanghirati and others. Detailed references for Gλ-hypoelliptic operators can be found in the books

(2)

L. Rodino [12, 1].

G.Ghazaryan [9] introduced some functional characteristics, called weight of hy-poellipticity, which coincides with the function h(ξ ) = |ξ|in the elliptic case and is specified in the general case. Moreover, more fine estimates of higher order derivatives of the solutions of an hypoelliptic equation P(D)u=0 are obtained.

After introducing in [5] the concept of multianisotropic Gevrey classes, it became possible to improve the above mentioned results and formulate a general theorem, es-tablishing the relationship between the growth of the derivatives of the solutions of the hypoelliptic equation P(D)u = f and the growth of the function f . We shall prove:

THEOREM 1. Let fGB(). Then any solution of the hypoelliptic equation

P(D)u = f belongs to GBAP().

For a convex set B,GB()is the associated multianisotropic Gevrey class, and the set APis determined by the hypoelliptic operator P(D).

2. Definitions and notations

Let P(D)=P

α

γαDα be a linear differential operator with constant coefficients, and let P(ξ )be its characteristic polynomial . Here the sum goes over a finite set(P)= {α :α∈ Nn

0, γα 6= 0},whereNn0 = {α=(α1, . . . , αn): αi ∈ N0, i =1, . . . ,n}is

the set of n-dimensional multi-indices. We denote:

Rn

0= {ξ ∈Rn:ξ1...ξn6=0},

Rn

+= {ξ ∈Rnj ≥0,j =1, ...n}. Let A= {νk ∈Rn

+,k=0, ...,m}.

DEFINITION 1. The characteristic polyhedron (or Newton polyhedron) (C.P.)

N(A)of the set A is defined to be the smallest convex polyhedron inRn

+containing

all the points A∪ {0}. The characteristic polyhedron (or Newton polyhedron) (C.P.)

N =N(P)of a polynomial P(ξ )(or of a operator P(D)) is defined to be the smallest convex polyhedron inRn+containing all the points(P)∪ {0}.

DEFINITION2. A polyhedronN is said to be completely regular (C.R.) if:

a)N has vertices at the origin and on all the coordinate axes ofNn

0different from

the origin.

b) all the coordinates of the exterior normals to the non-coordinate(n−1)- di-mensional facesN are strictly positive.

It is well known that if P(D)is an hypoelliptic operator, then C.P. of P(D)is a C.R.

Let h(ξ ) = m

P

k=0

|ξ|νk,whereν0 = 0, νk ∈ Rn +,|ξ|ν

k

= |ξ1|ν

k

(3)

Ah= {νk}mk=0.

DEFINITION3. (cf. [9]) A function h(ξ )is called weight of hypoellipticity of the polynomial P(ξ )(or of the operator P(D)) if there exists a constant C >0 such that:

(1) FP(ξ )=

X

α6=0

|DαP(ξ )|

|P(ξ )| +1

|1α|

C

h(ξ ), ∀ξ ∈R n.

DEFINITION 4. A weight of hypoellipticity of the operator P(D)is called exact weight of hypoellipticity of the operator P(D)if for anyν ∈Rn

+\N(Ah): sup

ξ

|ξν|FP(ξ )= +∞.

By Lemma 11.1.4 of [8], for any weight of hypoellipticity of the operator P(D), there exists a constant C>0 such that:

(2) h(ξ )≤C·(1+dP(ξ )), ∀ ξ ∈Rn.

We denote by3n−1the set of the exterior normalsλ(relative toN(P)) of the

non-coordinate(n−1)- dimensional facesN(P), for which min

1≤inλi =1. We set:

MP = {ν:ν∈Rn +,sup

ξ

|ξν| ·FP(ξ ) <∞}, E(N(P)) = {ν∈Rn

+, (ν, λ)≤1,∀λ∈3n−1}.

It is well known (cf. [9], Lemma 3.5), that for any hypoelliptic operator P(D)the set

MPis included in E(N(P)).

LEMMA1. Let⊂Rn be a bounded set, P(D)be an hypoelliptic operator and h(ξ )be a weight of hypoellipticity of the operator P(D). Then there exists a constant C>0 such that for any function VC0∞(),anyε∈(0,1)and any natural number l the following estimate is satisfied:

X

06=α∈Nn

0

ε−2|α| P

(α)(ξ )(εh(ξ ))lF(V)

2

L2(Rn)

C X α∈Nn

0

ε−2|α|

P

(α)(ξ )(εh(ξ ))l−1F(V)

2

L2(Rn)

,

where F(V)is the Fourier transform of the function V(x).

This lemma can be proved similary to Lemma 11.1.4 of [8] using the estimates (2). For a bounded set⊂Rnand forε >0, we denote

(4)

Rn,||x||<1}andϕ(x)0 a function such thatϕC

the characteristic function of the setε.

LEMMA2. Let⊂Rnbe a bounded set, l be a natural number. Then there exists a constant Cl =Cl() >0 such that:

sup x∈

|Dαϕεj| ≤Cl·ε−|α|, |α| ≤l, j =1,2, . . . .

The proof easily follows from the following computations:

|Dαϕεj(x)| =

LEMMA3. Let P(D)be an hypoelliptic operator (ordP=m), l be a natural number. Then there exists a constant C>0 such that for anyε∈(0,1), β∈l AP∩Nn0and any function uC()the following estimate is satisfied:

(5)

ChlA

P(ξ ), ∀ξ ∈R

n.Then by Parceval equality there is a constant C

1>0 such that:

(6)

By the estimate (4) there is a constant C4>0 such that: the estimate (3).

We denote by s the smallest natural number such that s · A0P ⊂ Nn LEMMA4. Let P(D)be an hypoelliptic operator (ordP=m). Then there is a con-stant C >0 such that, for anyε∈ (0,1),and any function uC∞()the following estimate is satisfied:

ε2s· X

The proof follows from Lemma 3 and the definition of the polynomial QP(ξ ). LEMMA 5. For any couple of multi-indecesβ, α such that β ∈ s AP andα ∈ j AP\(j−1)AP,β ≥α (j ∈N10,js),we have|β−α| ≤sj.

Proof. We prove it by contradiction. Let’s suppose there are two multiindecesβ ∈

(7)

index i0: 1≤i0≤k such that(α, λi0) >di0(j−1).As min

LEMMA6. Let P(D)be an hypoelliptic operator (ordP=m), j be a natural num-ber. Then there is a constant C>0 for which the following estimate is satisfied:

ε2s X

Proof. By Lemma 3, it is sufficient to estimate the second term of the right hand side of (5). There is a constant C1>0 for which it holds:

Applying Parceval equality and the Newton-Leibniz formula to the first term of the right hand side of (7), we obtain:

(8)

As from Lemma 5, for anyα ∈ s · AP, β ∈ r AP\(r−1)AP, β ≥ α (sr)

Then by Lemma 2 from (7), there exists a constant C3>0 such that:

s

From this estimate we get the proof of the Lemma.

3. Estimates for higher order derivatives

For a convex set A⊂Rn+we denote:

The class GA()is called multianisotropic Gevrey class. In [5] it was proved that if A= {ν :ν∈Rn

+;(ν, λ)≤1}for someλ∈Rn+∩Rn0,

min

1≤inλi =1, then G

(9)

LEMMA7. LetN be a C.R. polyhedron, l a natural number,Rnan open set with diameter less than 2. If fGN(′), then there is a constant C =C(l, f) >0 such that, for any j >l (j ∈ N1

0),and any multiindexα∈ j·N andδ ∈ (0,1)the

following estimate is satisfied:

(9) δj· sup

Now the proof easily follows.

(10)

And by induction we have:

For the second term of the right hand side of the estimate (11), by Lemma 7, and as fGAP(),then there is a constant q=q(f, ω) >0 such that:

And by (12)-(13), we obtain from (11):

ε2s(l+1)+2m·X

if K is sufficiently large.

THEOREM 3. Let u(x)be a solution of the hypoelliptic equation P(D)u = f, Proof. Since for any multiindexα:

(11)

then it is sufficient to consider the caseα ∈ s AP. Let β0 ∈ s A0P∩Nn0 be such that

α≤β0,α6=β0, then|β0−α| ≥1. By the difinition of the set AP,there is a natural number i0, (1≤i0≤k)such that(α, λi0) >di0(s−1)and min

1≤jnλ i0

j =1. So we obtain (β0, λi0)=(β0−α, λi0)+(α, λi0) >|β0−α|+di0(s−1)≥1+di0(s−1)≥sdi0. This

leads to a contradiction, therefore suchβ0∈s A0P∩Nn0can’t exist. The Proposition is

proved.

LEMMA 8. For anyε > 0 and any functionϕ ∈ C0 (Rn),there is a constant C>0 for which the following estimate is satisfied:

ε−(sj)||Dαϕ||L2(Rn)≤C(||QP(D)ϕ||L2(Rn)+ε

−(s)||ϕ||

L2(Rn),0≤ js,∀α∈ j AP.

Proof. By the definition of the polynomial QP(ξ ), for anyα ∈ j AP, (0 ≤ js) there is a constant C1>0 such that|ξ2α| ≤C1|QP(ξ )|

2 j

s ,∀ξ ∈Rn.

Multiply the latter byε−2(sj), forε > 0, then by Holder’s inequality there is a¨

constant C2>0 such that:

(14) ε−2(sj)|ξ2α| ≤C1ε−2(sj)|QP(ξ )|

2 j

s C2(Q2

P(ξ )+ε−

2s).

Applying Parceval equality, then for anyϕ ∈C0 (Rn)the following is satisfied:

ε−(sj)||Dαϕ||L2(Rn)≤C(||QP(D)ϕ||L2(Rn)+ε

−(s)||ϕ|| L2(Rn)).

LEMMA 9. Let  ⊂ Rn be an open set, j be a natural number, 0js,

δ∈(0,1). Then for any functionϕδ∈C0 (), 0≤ϕδ≤1, ϕδ =1 on, there is a constant Cs >0 such that:

sup 

|Q(α)P (D)ϕδ| ≤Csδ−(sj), ∀α∈ j AP\(j−1)AP.

The proof easily follows from Lemma 4.1 in [7] and Proposition 1.

For any numberµ, any open set⊂Rnand any function fLloc2 ()we write (cf. [7]):

N,µ(f)=Nµ(f)=sup δ>0

δµ||f||L2(δ).

THEOREM 4. For any multiindexβ ∈ j AP (j ∈ N10, 0 ≤ js)there is a

constant C>0 such that:

(12)

Proof. Letϕδ ∈ C0 ()be a function satisfying the condition of Lemma 9, then by Newton-Leibniz formula, we have:

QP(D)(ϕδu)=

X

α

Q(α)P(D)ϕδ

α! D αu

= X

α6∈(s−1)AP

Q(α)P (D)ϕδ

α! D

αu+ X

α∈(s−1)AP

Q(α)P (D)ϕδ

α! D

αu. (15)

By Proposition 1 the first term of (15) is equal toϕδQP(D)u.Therefore:

QP(D)(ϕδu)=ϕδQP(D)u+ s−1

X

j=0

X

α∈(j AP\(j−1)AP)

Q(α)P (D)ϕδα! D

α

u.

So there is a constant C>0 such that:

||QP(D)(ϕδu)||L2(Rn)≤C{||ϕδQP(D)u||L2(Rn)

+ s−1

X

j=0

X

α∈(j AP\(j−1)AP)

||Q(α)P (D)ϕδDαu||L2(Rn)}.

By the definition of Nµ, for a suitable constant C1>0 we have:

||QP(D)(ϕδu)||L2(Rn)

C1δ−s

  

Ns(QP(D)u)+ s−1

X

j=0

X

α∈(j AP\(j−1)AP)

Nj(Dαu)

  

C1δ−s

  

Ns(QP(D)u)+ s−1

X

j=0

X

α∈j AP

Nj(Dαu)

  

.

(16)

Since||ϕδu||L2(Rn)≤ N0(u),then by Lemma 8 from (16) it follows that for a constant

C2>0 we have:

ε−(sj)||Dβ(ϕδu)||L2(Rn)

C2

  

δ−s

  

Ns(QP(D)u)+ s−1

X

j=0

X

α∈j AP

Nj(Dαu)

  

+ε−sN0(u)

  

,

(17)

∀β ∈ j AP. Takingε= σδ, δ < dim2and multiplying by (17)δs,we get:

σ(sj)Nj(Dβu)≤C2

  

Ns(QP(D)u)+ s−1

X

j=0

X

α∈j AP

Nj(Dαu)

  

,

(13)

Taking the sum of (18) for all j,j =0, ...,s : s

X

j=0

σ(sj) X

β∈j AP

Nj(Dβu)

≤(s+1)·C2

  

Ns(Q(D)u)+ s−1

X

j=0

X

α∈j AP

Nj(Dαu)+σsN0(u)

  

.

For sufficiently largeσ, we can find a constant C3=C3(σ ) >0 such that:

s

X

j=0

σ(sj) X

β∈j AP

Nj(Dβu)≤C3{Ns(QP(D)u)+N0(u)}.

The proof of the Lemma follows.

THEOREM 5. Any solution of an hypoelliptic equation P(D)u = f belongs to

GAP(),if f GAP().

Proof. Letω⊂⊂.By Theorem 4, for anyv∈C(), we have: ||Dβv||L2(ωs+t)≤C2(||QP(D)v||L2(ωs)+t

s||v|| L2(ωs)),

where t >0.Taking t= δl,s=(1−1l)δwe get:

(19) ||Dβv||L2(ωδ)≤C2 ||QP(D)v||L2(ω(11

l)δ )+

δ

l

s

||v||L2(ω(11

l)δ )

!

.

By Theorem 1.1 of [6], for the polyhedron s APthere is a natural number j0≥s such

that any multi-indexα ∈ j AP, jj0, can be represented in the formα = β+γ ,

whereβ∈s AP∩Nn0, γ ∈(js)AP∩Nn0.For simplicity let j0=s. Therefore, every

multiindexαcan be represented asα= l

X

k=1

α(k),where l =[sj] if [sj] is integer, and l =[sj]+1 otherwise,α(k)∈s AP∩Nn0,k=1, ..,l. Now letβ =α1,then by (19) we get:

||Dα1(Dα−α1)u||L2(ωδ)

C2 ||QP(D)(Dα−α

1

)u||L2(ω(11

l

+

δ

l

s

||Dα−α1u||L2(ω(11

l)δ )

!

C2

||Dα2Dα−α1−α2QP(D)u||L2(ω(11

l

+

δ

l

s

||Dα2(Dα−α1−α2)u||L2(ω(11

l)δ )

!

.

(14)

Taking the functionv = Dα−α1−α2QP(D)u in the first term of the right hand side of (20) and takingv = Dα−α1−α2u in the second term of the right hand side of (20), applying to (20) the estimate (19) and working anologously to step(l−1), we obtain:

||Dαu||L2(ωδ)≤C

l

2

l

X

i=0

Cli

l

δ

si

||Q(Pli)(D)u||L2(ωs)

C2l l

X

i=0

Cli

l

δ

si

Kli+1(li)s(li)

C3l l

X

i=0

Cli

1

δ

si

(l)sl ≤(C4(δ))j+1jj,

i.e. uGAP().

Letµ∈Rn

+,i =1, ...,n, min

1≤inµi

=1 and 0< ρi ≤1,i =1, ...n . We denote by B= {ν∈Rn

+, (ν, µi)≤ρi,i=1, ...,n}.

THEOREM 6. Let fGB(). Then any solution of the hypoelliptic equation

P(D)u = f belongs to GBAP().

The theorem was proved analogously to Theorem 2.4 with some modifications. We now present two examples clarifying the previous results.

EXAMPLE1. Let n =2,P(x,y)=(∂2

x2 −

∂ ∂y)(

∂2 ∂y2 −

x).Using the notations D1= 1ix,D2= 1iy, we have:

P(D)=(−D21i D2)(−D22−i D1)=i D31+i D 3

2+D

2 1D

2

2−D1D2,

and its characteristic polynomial is:

P(ξ )=(−ξ12−iξ2)(−ξ22−iξ1)=iξ13+iξ23+ξ12ξ22−ξ1ξ2.

It is easy to see that P(ξ )is a multi-quasi-elliptic polynomial, and therefore the set MPis a C.R. polyhedron. Simple computations show that MP = {ν∈ R+2,2ν1+ν1≤

1;ν1+2ν1≤1}.The exact weight hypoellipticity of the operator P(D)is

h(ξ )= |ξ1| 1

2| + |ξ2|12| + |ξ1|132|13.

By H¨ormander Theorem (cf. 8, Theorem 11.4.1), all the solutions of the equation P(D)u =0 belong to the Gevrey class G2,2()and this result is sharp remaining in the frame of the anisotropic Gevrey classes. However, from the hypoellipticity and the form of the operator P(D), it follows that any solution can be represented in the form:

(15)

where u1(x,y) ∈ G1,2(),u2(x,y) ∈ G2,1(). Using this fact, we can estimate

Dα1

1 D

α2

2 u, where α1 = α2 = j,j = 1,2, ... as follows: for any compact subset

K ⊂there exist two constants C1=C1(K,u1) >0 and C2=C2(K,u2) >0 such

that:

sup xK

|D1jD2ju(x,y)| ≤sup xK

|D1jD2ju1(x,y)| +sup

xK

|D1jD2ju2(x,y)|

C12 j+1j1 jj2 j+C22 j+1j2 jj1 jC32 j+1j3,

where C3=max(C1,C2).Therefore, the classical Gevrey classes don’t describe

com-pletely the behaviour of the solutions of the hypoelliptic equation P(D)u =0. Using the multianisotropic classes Gevrey and noticing that(j,j)∈3 j MP, we have:

sup xK

|D1jD2ju(x,y)| ≤C2 j+1j3 j.

Let for example fGB(), where: B =

ν∈ R2+,3ν1+

3 2ν2≤1

.

Then A=MPB= {ν∈R2+,3ν1+32ν2≤1;ν1+2ν2≤1}.

From Theorem 2.5 we have that all the solutions of the equation P(D)u = f belong to GA().

EXAMPLE2. Let n =2 and P(D)be the operator with symbol:

P(ξ )=ξ16(ξ1−ξ2)6+ξ18ξ22+ξ18+1.

The polynomial P(ξ )is not multi-quasi-elliptic. Simple computations show that:

MP =

ν∈ R2+,2ν1+3ν2≤1;ν1+ν2≤

2 3

.

Let P(D)u= f , where fGB(),B for instance has the form: B= {ν∈ R+2,2ν1+

3

2ν2≤1}.

Since BMP =MP, then from Theorem 2.5 it follows that uGMP.

References

[1] BOGGIATTOP., BUZANOE.ANDRODINOL., Global hypoellipticity and spec-tral theory, Akademie Verlag, Berlin 1996.

(16)

[3] GRUSHINV.V., On a class of solutions of a hypoelliptic equation, Doklady Akad. Nauk. USSR 137 (1961), 768–771.

[4] GRUSHIN V.V., Connection between local and global properties of solutions of hypoelliptic equation with constant coefficients, Mat. Sbornik 108 (1965), 525– 550.

[5] HAKOBYAN G.H. AND MARGARYAN V.N., On Gevrey type solutions of hy-poelliptic equations, Izvestiya Akad. Nauk Armenia. Matematika 31 2 (1996), 33–47 (in Russian, English translation in J. of Contemp. Math. Anal., Armenian Academy of Sciences).

[6] HAKOBYAN G.H. AND MARGARYAN V.N., On Gevrey class solutions of hy-poelliptic equations, IIzvestiya Akad. Nauk Armenia. Matematika 33 1 (1998), 35–47.

[7] H ¨ORMANDER L., On interior regularity of the solutions of partial differential equations, Comm. Pure Appl. Math. 11 (1958), 197-218.

[8] H ¨ORMANDERL., The analysis of linear partial differential operators, I,II,III,IV, Springer-Verlag, Berlin 1963.

[9] KAZARYANG.G., On the functional index of hypoellipticity, Mat. Sbornik 128 (1985), 339–353.

[10] NEWBERGERE.ANDZIELEZNYZ., The growth of hypoelliptic polynomials and Gevrey classes, Proc. of the AMS 39 3 (1973).

[11] PINIB., Propriet `a locali delle soluzioni di una classe di equazioni ipoellittiche, Rend. Sem. Mat. Padova 32 (1962), 221–238.

[12] RODINOL., Linear partial differential operators in Gevrey spaces, World Scien-tific Publishing Co., Singapore 1993.

[13] VOLEVICH L.R., Local regularity of the solutions of the quasi-elliptic systems, Mat. Sbornik 59 (1962), 3–52 (Russian).

(17)

AMS Subject Classification: 35B05, 35H10.

Gagik HAKOBYAN Department of Physics Yerevan State University Al. Manoogian str. 1 375025 Yerevan, ARMENIA e-mail:gaghakob@ysu.am

(18)

Referensi

Dokumen terkait

2 Text field 2 Untuk menampilkan text nama 3 Text field 3 Untuk menampilkan text kelas 4 Text field 4 Untuk menampilkan text tempat lahir 5 Text field 5 Untuk

Pokja Unit Layanan Pengadaan Kantor Kesyahbandaran dan Otoritas Pelabuhan Kelas II Benoa Paket Pekerjaan Pembangunan Kantor Pelayanan = 1.500 m 2 (2 Lantai) pada

internasional sehingga memunculkan sebuah ‘sense of collective identity’ diantara kelompok negara. 22) Artinya, kelompok negara dalam konteks ini adalah kampanye kolektif dari NGOs

Pokja Pemilihan Penyedia Barang/Jasa Pekerjaan pada Satker Peningkatan Keselamatan Lalu Lintas Angkutan Laut Pusat akan melaksanakan Pelelangan Umum dengan

Pada tingkat pengamatan, hasil pengamatan berupa { ~r, ~ p } pada fisika klasik sama persis dengan prediksi yang diberikan oleh formulasi. Dengan demikian,

Secondly, the government also adopted an “ideologi- cal” approach to battle against the “extremist ideology.” This approach is mainly aimed at refuting and neutraliz- ing

Kepada penyedia barang/jasa baik sendiri-sendiri maupun bersama-sama yang berkeberatan atas pengumuman ini diberikan waktu untuk mengajukan sanggahan selama 3 (tiga) hari

[r]