• Keine Ergebnisse gefunden

Sheaf E X of microdifferential operators

For practical manipulation, we introduce the class of microdifferential operators in this section, which is located between the class of microlocal operators and the class of differential operators. Roughly, the class of microdifferential operators is a special case of microlocal operators of which the inverse exist.

Definition 2.5.1. LetM andN be real analytic manifolds, and letZbe a locally closed subset of√

−1S(M×N)such thatZ∩M×√

−1SN =∅andZ∩√

−1SM×N =∅.

Furthermore, one define two projections p1 :√ elements ofN byvN, then define anintegral operatorK as

K (u) = whereais the antipodal map.

From the above definition, for an element K(x, y)dy ∈H0−1S

M(M×M)(CM×M), the integral operator K (u) = R

K(x, y)u(y)dy defines a sheaf homomorphism from CM toCM.

Definition 2.5.2. The sheaf H0−1S

M(M×M)(CM×M ⊗ vM) is said to be the sheaf of microlocal operatorsand denoted byLM.

Definition 2.5.3. Let P(x, ∂x) = P

|α|≤maα(x)∂xα be a linear differential operator of order m, where ∂xα = ∂xα1|α|

1 ···∂xαnn

4 α = (α1,· · · , αn) ∈ (Z+ t {0})n and

4in [KKK] [40], it claimsDx= ∂x , and then the principal symbol isσ(P)(x,

−1ξ). I will follow

2.5 SheafEX of microdifferential operators aα(x) are holomorphic functions. It is clearly a microlocal operator with the kernel function P(x, ∂x)δ(x − y)dy. The principal symbol σ(P)(x,√

Sato’s fundamental theorem is a consequence of the Cauchy-Kovalevsky theorem.

Theorem 2.5.4. (M. Sato)A linear differential operator of finite orderP(x, ∂x)is left-and right-invertible in the ringLM over

{(x,√

−1ξ∞)∈√

−1SM|σ(P)(x,√

−1ξ)6= 0}.

Definition 2.5.5. A linear differential operatorP(x, ∂x)is said to be anelliptic operator atx0 if for an arbitraryξ ∈Rn− {0},σ(P)(x0,√

Specially, ifP(x, ∂x)is elliptic at arbitrary point inM, thenf(x)is real analytic inM implies u(x) is also real analytic in M. More precisely, if we denote by A the sheaf of real analytic functions on M and by B (resp. D0) the sheaf of hyperfunctions (resp. distributions) onM, thenP : B/A → B/A (resp. P : D0/A →D0/A) is a sheaf isomorphism.

(b) IfP(x, ∂x)is elliptic atx0, thenP :Bx0 →Bx0 is an epimorphism, whereBx0

is the sheaf of hyperfunctions with support atx0.

For f(x) ∈ A(M), a solution u(x) of P(x, ∂x)u(x) = f(x) has the singular

and the zeros set is called characteristic variety. Study and analysis such set is one of the most important goal in the theory of linear differential equations. The central problem has been recognized in the case of equations with constant coefficients (Ehrenpreis [17]). In the case of variable coefficients, Hömander [29] and Mizohata [60] had shown some results, and the theory of microfunctions is of great advantage to consider this problem.

The class of micro-local operator LM is too general to manipulate the algebraic properties. A desired class for algebraic consideration is the microdifferential operators.

Let X be an n-dimensional complex manifold and let πX : TX → X be the cotangent bundle of X. Take a local coordinate system (x1,· · · , xn) of X and the associated coordinates(x1,· · · , xn1,· · · , ξn)ofTX. Let{Pj(x, ξ)}and{Qj(x, ξ)}

their notation in this chapter. However, in the last two chapters, we follow the modern way of definition Dx=1−1∂x .

be the total symbol of the differential operatorP =P

Pj(x, ∂)andQ =P

Qj(x, ∂), respectively. SetS =P +QandR=P Q, then the total symbols{Sj}and{Rj}ofR andSare given by

Sj =Pj +Qj (2.3)

Rl = X

l=j+k−|α|

, α∈Nn 1

α!(∂ξαPj)(∂xαQk), (2.4) where∂ξα = (∂/∂ξ1)α1· · ·(∂/∂ξn)αn and ∂xα = (∂/∂x1)α1· · ·(∂/∂xn)αn.

The total symbol{Pj(x, ξ)}of a differential operator is a polynomial inξ. We shall define microdifferential operator by admittingPj to be holomorphic inξ. The class of microdifferential operators is between the class of microlocal operators and the class of differential operators.

For λ ∈ C, let OTX(λ) be the sheaf of homogeneous holomorphic functions of degreeλonTX, i.e., holomorphic functionsf(x, ξ)satisfying

X

j

ξj

∂ξj

−λ

f(x, ξ) = 0.

Definition 2.5.7. Forλ ∈ Cwe define the sheaf EX(λ) ofmicrodifferential operators of order equal or less thenλonTX by

Ω7→n

Pλ−j(x, ξ)

j∈N; Pλ−j ∈Γ Ω;OTX(λ−j) and satisfies the following conditions(*)

o

(*) for any compact subsetKofΩ, there exists aCk>0such that sup

K

|Pλ−j| ≤CK−j(j!) for all j >0.

Remark2.5.8. The growth condition (*) can be explained as follows. For a differential operatorP =P

Pj(x, ∂), we have P(x, ∂)(hx, ξi+p)µ=X

Pj(x, ξ) Γ(µ)

Γ(µ−j+ 1)(hx, ξi+p)µ−j. ForP =Pλ−j(x, ξ)∈ E(λ), by analogy we set

P(hx, ξi+p)µ=X

j

Pλ−j(x, ξ) Γ(µ)

Γ(µ−λ+j+ 1)(hx, ξi+p)µ−λ+j.

Then the growth condition(*)is simply the condition that the right hand side converges when0<|hx, ξi+p| 1.

Proposition 2.5.9. ForP ∈ E(m)andQ∈ E(n), set

[P, Q] =P Q−QP ∈ E(m+n−1),

2.5 SheafEX of microdifferential operators then

σm+n−1([P, Q]) ={σm(P), σn(Q)}.

Proposition 2.5.10. ([SKK] [63], Chapter 2)We have (1) EX(λ)containsEX(λ−m)as a subsheaf form ∈N.

(2) EX(λ)can be defined globally onTX, by patching local pieces.

(3) EX(λ)is a sheaf ofC-vector space onTX.

(4) Use the formula(2.4), one can define a homomorphism EX(λ)⊗CEX(µ)→ EX(λ+µ).

(5) EX(0) and EX = ∩m∈ZEX(m) become sheaves of non commutative rings on TXwith a unit.

We define the homomorphism

σλ :EX(λ) →OTX(λ) (Pλ−j) 7→Pλ.

Thenσλ is well-defined onTX (i.e., compatible with coordinate transformation) and we have an exact sequence

0 −−−→ EX(λ−1) −−−→ EX(λ) −−−→σλ OTX(λ) −−−→ 0.

Proposition 2.5.11. We have the following proposition, which says that the ringEX is a kind of localization ofDX.

(1) ForP ∈ E(λ)andQ∈ E(µ), we haveσλ+µ(P Q) = σλ(P)σµ(Q).

(2) ([SKK]) If P ∈ E(λ) satisfies σλ(P)(q) 6= 0 at q ∈ TX, then there exists Q∈ EX(−λ)such thatP Q=QP = 1.

Theorem 2.5.12. The relations betweenEX andDX are summarized as following:

(1) EX containsπ−1DX as a subring and is flat5 overπ−1DX. (2) EX|T

XX ' DX, whereTXXis the zero section ofTX.

(3) For a coherent DX-module M, the characteristic variety ofM coincides with the support ofEXπ−1

X DX πX−1M.

5 Let M be a R-module. For two R-modules A andB, iff : A B is injective implies that MRAM RBis injective, we sayM is flat overR.

Definition 2.5.13. The sheafEbX = lim←−m∈NEX/EX(−m)is called thesheaf of formal micro-differential operators. It is the sheaf similar to E by dropping the growth condition (*).

More specifically, let Ω be a subset of TX, denote by EbX(m)(Ω) the space of formal series:

P = X

−∞<j≤m

pj,

wherepj is a section ofOTX(j)onU. The correspondence U → {EˆX(m)(Ω)}

defines a sheaf, denotedEbX(m), and set EbX =[

m

EbX(m).

Definition 2.5.14. The sheafEXofmicro-differential operators of infinite ordercan be defined as

Γ(Ω;E)7→n

(pj)j∈Z; Pj ∈Γ Ω;OTX(j) satisfying the following conditions(a)and(b)

o .

(a) For any compact subset K of Ω, there is a CK > 0 such that supK|pj| ≤ CK−j(−j)!forj <0.

(b) For any compact subsetK ofΩand anyε >0, there exists aCK,ε >0such that supK|pj| ≤CK,εεj

j! forj ≥1.

Remark2.5.15. ([SKK] [63] Chap. II) We have (1) EX ⊂ EXandEX ⊂EbX 6.

(2) EXand EbX are faithfully flat 7 over EX, and EX is flat over π−1DX, where π : TX →Xis the canonical projection.

(3) The sheafEX,EX(0)andEbX are Noetherian rings onTX.

Proposition 2.5.16. LetX be a complex manifold, then we have EbX|T

XX ∼=DX.

6In [SKK][63], E,EbandEare denoted byPf,PcandP

7A module is faithfully flat if taking the tensor product with a sequence produces an exact sequence if and only if the original sequence is exact.

Chapter 3

Linearization of vector fields

In section 3.1 we introduce contact vector field and assign each real analytic function a contact vector field. Then we study linearization of vector fields with real analytic coefficients in section 3.2. Later in section 3.3, we discuss eigenvalues of symplectic mappings and clarify the non-resonant condition on the eigenvalues to linearize the contact vector field. At last, Birkhoff normal form is mentioned in section 3.4.

3.1 Contact vector fields

LetXbe a2n+ 1dimensional manifold, letLbe the line subbundle ofTX in section A.2 and letLbe the dual bundle ofL. WriteA(L)as the space of real analytic sections ofL. Eachf ∈ A(L)can be regarded as a real analytic functionf˜onZ = L \0 satisfying

f˜(x, aw) =af(x, w) (3.1) fora ∈ R\0 andw ∈ Lx. Conversely, every real analytic function on Z, which is homogeneous of degree one in the sense of (3.1), can be identified with a section ofL. LetZbe a2n+ 2dimensional symplectic manifold. Functions onZform a Poisson algebra under the Poisson bracket{·,·}. There is a Lie algebra homomorphism

A(Z)→symplectic vector fields f 7→Hf

mapping each real analytic functionf onZ onto its Hamiltonian vector fieldHf. Assume Z sits in the symplectic manifold (TX, ω), and the restriction of the symplectic formω onZ is also symplectic. The functions of homogeneous of degree one form a Lie subalgebra of the Poisson algebra. Identify these functions as sections ofL, thenA(L)has a canonical Lie algebra structure with Lie bracket[·,·].

A real analytic functionf˜onZ is homogeneous of degree one, then its Hamiltonian vector fieldHf˜is homogeneous of degree zero, and it determines a real analytic vector

fieldVf onZ/(R−0) =X. ThenVf is a contact vector field and the mapping A(L)→Contact vector fields with real analytic coefficients

f 7→Vf is a Lie algebra homomorphism.

Consider the above discussion in coordinates, take a global section α =dz+ 1 the dual section of the dual bundleL.

Lemma 3.1.1. Let (x1,· · ·, xn, y1,· · · , yn, z) be local coordinates of R2n+1. Given f ∈ A(R2n+1), then the associated contact vector field

Vf =

Proof. Given the one formαdefined by (3.2) and introduce (x, y, z, t)as coordinates on Z = R2n+2, by assigning to tα at (x, y, z) the coordinates (x, y, z, t). Then the

Given f ∈ A(R2n+1), the associated homogeneous functionf˜on Z is just tf. Write Hf˜in the form

X

i

(aixi +biyi +c∂z +γ∂t),

wherea0is, b0is, candγ are unknown functions to be determined. We solve the equation Hf˜yΩ = df˜

to obtain all the unknown coefficients and we have Hf˜=

The contact vector fieldVf can be acquired by projectingHf˜on(x, y, z)space.

3.2 Linearization of vector fields