• 検索結果がありません。

人(Ω汁・・

ドキュメント内        with1og termina1singu1arities (ページ 42-48)

Since we1ater con−sider the exceptiona11ocus亙∬c(π)as亙,we may assume that the

supPort of亙。ontains that of亙。,亙and F,i,e.,

       supP万∪supPFUsupPEo⊂supP五1,

LetΩbe the v〇五ume form satis丘es Condition2,0and一∫xΩ二[ωo1η…乃after normahza−

tion.Letθbe a五xed K包h王er form on X.

   Let

      ω、…ωo+3汐>O  for.8∈(O,1ユ.

And−1et

      Ω≡1軌…θ

      「1 「213ポ、十・・

be the perturbed−smooth positive vo1ume form on X,whereθis asmooth positive vo1ume form on X1We consider tbe fami1y of・Monge−Ampさre且。ws as fo!lows:

知州,・。一1・・(ω8+平葦w・)肌

  ψ、,、ユ,、、し一F0

   By app1y虹g standard parabo1ic theory,we obtain a unique smooth so1ution for each 3,r1,グ2∈(0,ユ]and£or左∈[0,η).whereη>O is&su舐。ient1y sma11time.By making the same argument in sub−section3.2,we have the fonowing resu1t.

L・mm・4.2.F・…y・,・。ラ・。∈一 iO,11,thg・…i・t…iq…m・・th・・1・ti・岬、,、、,、、・fth・

Monge−Ampさre且。w above on p,oo)×X.

   We needto noma1izethe且。wto get the00−estimate.We de丘ne

      ブ

       目ωε「=㌦・…人Ω・・,・・コ

・・d・・,・1,・・…1・g考、、L・・ψ・,・・,1・≡恥,η,ゲ1・・,w・

   Thenthe Monge−A血pさre丑。w above is equiva1ent to the fo11owing fami1y ofthe Monge−

Ampさre且。ws:

細,・。,・。一1・・(ωs+守葦W・)L・・,・。・。

  ψ、,、、,、、し一・:O

The constants c、,、、,、、are uniform1y bounded−for3,r1,r2∈(O,1]and−they apProach O as 8,γ1,ザ2→0,

4.2 Some estimatesおr the proofofProposition4.1

I・emma4.3.There existρ>1and0>O such that for a1け1,r2∈(0コ11

PR00F. We have

      人(Ω着「2)ρθ人(叱…)州い・)一ρθ

       ・小雌θf・・・・・・・…t・・t・…

H…lw・…th・f・・tth・tf・リ・lw・h…ん,1]ガ物・十・・Th…f…w・・h…

〃8・1青二θ<十・・f…W・1withハ・lf…1リTh…f…,1fw・・h・…ρ〉1

su担。ient1y sma11we have

      入(Ω宕「2)ρθ・…

几emma4−4.Letφ、,、エ,、。beω、一p1urisubharmonicfllnctionssatisfyingthefo11owing1〉1㎝ge−

Ampさre equations:

      (ω・・ρ∂∂ψ・,・・,・・)㌧寸、、Ω・・,・・

       {

      maxxφ。,。。,。。=0

f・・…h・,れ,γ。∈(0コ11.

Thenφ、,、1,、、are unique weak so1utions of the equations for each18,グ1,r2∈(0,1]such that φ、,、、,、、∈P3一σ(X,ω、)∩ム。o(X).

   PR00F.Let

       K Ωr、,、、・

      Φ、,、1,、2三

      W、,、。ω二

   Since we showed in Lemma413that for any sエ皿。oth positive vohme for二mθ,we have

       Ω、。,、、

      ∈工ρ(X,ω、)f・…m・ρ>1。

      θ

Therefore we have

      Φ、,、ユ,、、と工ρ(X,ω、) for someρ>1.

We rewrite the equation:

      {

      (ω、十〉⊂了∂∂φ、,、、,、、)犯=Φ、,、ユ,、、ω二,

      maxxφ、,、。,、。・=0・

Here we introduce the fonowing resu1t deveエ。ped mostエy by S−Ko1odziej:

   Over a cユ。sed K三h1er manifo1d(X,ω),the equation consid−ered is:

  (ω十〉FT∂∂u)η::Φω肌,

  maxx覚二〇

wbere伽is an upper semi−continuous function on X withω十vq∂∂刎≧0(i,e.,u is

ω一P工urisubharmonic),亜is a non−negative funct三〇n王ies in工戸(X)£or someρ>1satisfying ムφωη:∫÷ωη.Then there exists a unique weak so1ution in P3∬(X,ω)∩ム。o(X)(cf.

[Koj1],[EGZ],王ST2],[Zh2])一

   Getting back to our equations,which satisfy∫xΦ。,ブ王,。、ω二}。==ムω二,亜。,。ユ,。、∈〃(X)

for someρ>1are non−negative andφ、,ブユ,、、a.reω、一p1urisubharmonic,There£ore we may a.pp1y the Ko1od−zieゴs resu1t above and−conc1ude tha.tφ、,。、,、、are unique weak so1utions in P5∬(X,ω、)∩工。o(X).一Hence we have the fo11owing工。。一estimates:

      llφ、、、、、、、1州x)≦0f・…y・,・・,・・∈(o,11・

      口

Lemma4.5.There exists0>0such that fo縦118,r王,r2∈(0.11

      11ψ。,γ、,、、l1州・,。。)。x)≦o

   PR00F.Letψ≡ψ、、、一ユ、、。一φ、,、・。,、。.Then we have

       ∂  (ω、十ρ∂∂¢、,、王,、、)η       一ψ・=10g

       ∂左         eC岳1「ユ1『2Ω、、,、、

       (ω、十ρ∂∂φ、,、、,、、十ρ∂∂ψ)肌        =1Og        一

      (ω、十ρ∂∂φ、,、王,、、)η

Letψmin≡minxψ(乏,.).Assume thatψacb三eves its minimum at zo∈X,i.e一,ψmi。:

ψ(左,zo).We have at the point zo∈X

      ∂   (ω、十ρ∂∂φ、,、!,、,)n        一ψ㎜n≧1og       一       :・O       ∂τ  (ω、十ρ∂∂φ、,、工,ヅ、)η

Therefore,we have

       ψ(之,z)≧ψ(広,zo)≧ψ(0,zo):一φ、,、、,、、(0,zo)≧一0

for some constant0.This gives us that

       ψ、,、1,、、≧φ、,、、,、、一0≧一σ

for some constant O since we have the uniξorm1ower bound ofφ、,、1,、、.

   TheuniformupPerboundforψ、,、1,、、canbeobtainedsimi1ar1y・.ロ

エemma4.6.There existsλ,0>0such that for之∈[0,oo)and8,ヅ1フγ2∈(O,1]

      ∂

      沖舳・0一エ・・喘貧ポ

PR00F.Let

  ∂ ψ ・.房¢・舳・伐篶バλ1・・峨届・

L・tD、,、工,、、…ω、十ρ∂∂ψ、,、エ,、、・・パ、,、、,、、,△、,、1,、、b・th・g・・di・・t・・dL・p1・・i・・

operators with respect to the metricお、,、互,、、.

When之コO,by choosing su伍。ient1y1argeλ,we have

      ωη固言、十γ・1

    ヅ(0フz)二1og前ポ月・小カ1ゼら舳≧・σb「a1 z∈X

Now we ca1cu1ate

(岳一礼舳)ツーλ・岳〜。バ^・・㌦、(λ・叫・旧111・・1・l11彦)・

  λ2ω・・λρ∂∂1・・舳広一λ2ω后,去・

      ≧〃f・・λ・u舐・i・nt1y1・・g・,・ny・∈(O,11,

sinceω亘⊥>O forλsu担。ientユyユa・rge,Therefore we have

   ,λ

(品ぺ、…)ヅ・λ・・〜、山・品沁一・

       ・・(。∴)㌧・λ21・・働∴・λ21・・。÷

          1       

         十2λ21・・Ω、1,、、I。庖iλ十λ3 ・・I3君トλ21・・Ωブ、,、、イ

         ≧ 一λ2ψ 一0,

where we used that forμ>0we have ハト→λ16gμ_0μ1/ηis uniform1y bounded from

above for some constantλchosen sui五。ient1y1a.rge.

Wemayassumethatψ■achievesitsminimumat zo∈X,T≧to>Ofor any0<T<oc.

App1ying the maxiInum princip}e,thenψ{≧一σat(to,zo).Th6reわrd,we have

      ψ一≧一0on(0,co)xX.

Since we h&veψ「t=o≧_σa.s we11,we fina11y obtain

      ψ一i≧一0on[0,・・)×X.

From Lemma4.5,we conc1ud−e曲a七〇n[0,oo)×X,

       ∂

       玩¢W・≧十λ1・・13白11看・

 Let       ∂

        ψ十一ブ州・瓶舳一λ1・・1眺・

W・…h…th…並・m・pP・・b・・ムdf・・細、,、、,。、by・pP1yi・gtb・・lmi1・…g・m・・tt・

ψ十.       口

Lemma4.7.There existσ,α>0such that forむ∈10,oo)and8,r1,r2∈(O,11

       o   _坦       t軌,・。,・。≦郊亘1ん虚亡・

   PR00F.Let

       ψ≡t1・g・帆,・ユ,ゾ瓶,/ユ,・。十A1・g13店ほ亘・

Sinceψ(01z)=λ1og i8角ほ.,ψ(0,宕)achieves its maximum at some zo∈ X\盾and−we

       亙

haveψ(0,z)≦ψ(0,zo)≦σfor some constantσ>0−We compute for左∈[0,ηwhere

0<T<○o is arbi七rary taken.As we see in the proof of Lemma3,5,we have

       (岳一・舳)1・・帆,・。・σ批灼灼H・・・・・・・…t…σ・…

By using the esキimate above,we have forλsu舐。ient1y1arge

       ∂  _

      (ガ△W・)ψ≦一・・棚畠,・。,・。(λ2ω・・λ^∂∂1・・i・重11亘一榊)

       ・1・…^,。。バ吟,。、,。。・^

      が

      ≦一札W。θ・σ帆・・一…λ21・・働、

       8,「!グ2

十λ21・g

Ω、ユ,、、

十0

       ・一λ((1一)1)ぺ、;9η)㍉・^,。、,。、)÷

       5,「1,「2

       ・・t以ハ、・・(お甘

      3グ1グ2        ・λ・1・・働ヂησ(働享7孔ユ

       8,τ1,γ2       5,γ1,T2        

       ・λ21・・Ωザ、,、、鮎二一λ31・・峨1・0

      ・一σ(。≠n)㍉軌_片十H・1・・峨面

       5,τ1,「2

where we estimated at the second inequa.1i尤y for su舐。ient1y1a.rgeλ

λ2ω・・λ戸∂∂1・g舳亘一C〃≧λ2ω亘,ギ0〃≧〃

sinceω垣⊥>O看。rλsu笛。三ent1y1arge,and a.t the third inequahty,we used the estimate:

       ヨA

      1    ・           t軌舳・(、.。)1(t・1州・汐)η一ユ芳寺「2ラ

a」nd choseλsuf五。ient1y Ia.rge such that

         λ((1一)f)★(。ヂn)㍉帆_)★イ(、ヂη)㌧・・帆,。1他

       5,rユ,r2       5,r1,7■2

      ・・(働ヂη)㍉^,。、 )占

       8コ「1,r2

Furthermore,we used the fact that forμ>0we haveμトトλ1ogμ一0μ1/犯is uniforlm1y

bounded−from above for su舐。ientIy1argeλ.Th呈s te11s us that we can choose su舐。ient1y エarge.4such tbat

      λ・1・・の≠n・(。ギη)去・・

      8,「1,ブ2      8,「1,r2

We chose Asu飼。ient1y1arge such tbat

λ・1・・、÷、1帝!・1・・筈映十;l1峨・・

We may予ssume thatψachieves its maximm!atτ≧之。>01zo∈X一\亙for any

0<T<○c.At(広。,zo)we h&ve

       oγ^

      邸W・≦σ箒 「2(σ一一31・・13重11重)肌■1≦0・

for some constant OT>0depends on T.Therefore,we baveψ≦0on(0,」r]×X,Since ψ(0,z)≦0for any2∈X,we obtainψ≦0on[0,η×X−In conc1usion,we have for

芭∈[O,η・・d・,ヅ。,・。∈(0,11,

       0T   _迦       t・、ゆ、,、ユ,ザ、≦・丁晦!ん.㌧

       E

Si…0・T…w…h坤…bit…ylw・・bt・i・th・i・・q・・1ityf・・之干[01・・)・ 口 Rgmark4.1.For any compact set K⊂X\亙and any K註h1er form汐。n X,we have

       O

trρ、,、、,、2≦σfor some constant0=0K>0.

   We h血ve an intention that we wou1d1ike to app1y the parabo1ic Schauder estimate

(c£[Fr],[GT])to嘉ψ、,。1,、、in order to have its02・α一estimate and−to obtain more higher derivative bound−s.In th三s regard一,we shou1d prove七he』 獅??煤@estimate with using the estimate in Remark4.1.

lLemma4.8.For any compact set K⊂X\刀there exist constantsλ>0and0>0

…hth・tf・・む∈10,・・)

       入        11ψ。,。ユ、。、10・(κ)≦σθ丁・

   P・・…N・t・th・t働、、。、,、、一ω。十ρ砺。,。王,。、・W・d・五・・η…ηト(ω、)αλ(お、,。1,、、)ヌβ、

We can compute for anyvector丘e1dγ=γ王∂互as fo11ows:

     (▽、,、、,、、)mト(▽(ω・))。乃:∂、、ト}篶一∂、乙w+(F(ω眉))島κ

       :篶((ω、)αδ∂㎜(ω、)ザ(園、,、1,、、)αδ∂m(の、,、エ,、、)!否)

       ニイ(((▽、,、、,、、)、、η)η一1)αい

And we have the fouowing computation,

      ゆ・,・、,1、)石ゴαグR(ω・)1ゴαβ一郎・,1・,・・)榔α一R(ω・)ゴ石βα       一一椰β十∂石(F(ω月))9β       =一∂雇(((▽。,。王,。、)ゴη)η一1)㌔,

wh…ゆ・舳)舶一(〜就)ηδ郎舳)バ・・打茄,(r(眺))茄…Ch・i・t・任・1・y血b・1・

・f▽、、、ユ灼,▽(眺)…p・・ti・・1γ

   Take巧二(δ。,。、,γ、)石ゴ,then we have

(帆,。ユ〃)伽・・ (▽(叫))m∂石∂凧、、〃

ドキュメント内        with1og termina1singu1arities (ページ 42-48)