Продолжаемые и непродолжаемые решения дифур первого порядка (1187973), страница 2
Текст из файла (страница 2)
ந§¢®¤ ïà¥è¥¨ï ϕ (x) ï¥âáï ¥¯à¥à뢮© äãªæ¨¥© ¨â¥à¢ «¥ (a, b) ¨ ϕ (x) = f (x, ϕ(x)). ª ª ª f (x, ϕ(x)) ¥¯à¥àë¢ ï äãªæ¨ï ®â१ª¥ [a, b], â® áãé¥áâ¢ãî⠯।¥«ë1lim y(x) = B ∃ ρ > 0, ∀ x ∈ (b − ρ, b) y(x)x→b−0∃δ > 0∀ x1 , x2δ= ε .â ª®¥, çâ®®áâ â®ç® ¢§ïâìâ ª¨å, çâ®®¯à¥¤¥«¥®;∀ε > 0|x2 − x1 | < δ , |y(x2 ) − y(x1 )| < ε.M%lim ϕ (x) =x→b−0=lim f (x, ϕ(x)) = f (b, ϕ(b)),x→b−0lim f (x, ϕ(x)) = f (a, ϕ(a)).x→a+0lim ϕ (x) =x→a+0ëç¨á«¨¬ ⥯¥àì ¯à®¨§¢®¤-a ¨ á«¥¢ ¢ â®çª¥ b.c ∈ (a, b), ⮠ᮣ« á® «¥¬¬¥ë¥ á¯à ¢ ¢ â®çª¥ ᫨ â®çª ∈ [a, b]1 ¤«ï «î¡®£®x∈á¯à ¢¥¤«¨¢® ãà ¢¥¨¥ ® ª § â ¥ « ì á â ¢ ®. § ä®à¬ã« (6), (8) á«¥¤ã¥â, çâ® à¥è¥¨¥ ϕ(x) ¬®¦¥â ¡ëâì ¯à®¤®«¦¥® ®â१®ª [a, b], ¯à¨ç¥¬ϕ(b) = B , ϕ (b) = f (b, B).
áᬮâਬ ¥¯à¥àë¢ãî äãªæ¨îϕ(x), x ∈ [a, b),ψ(x) =(9)ϕ1 (x), x ∈ [b, b1 ),xf (t, ϕ(t)) dt.ϕ(x) = ϕ(c) +c ª ª ª äãªæ¨ïϕ(x)¥¯à¥àë¢ ®â१ª¥bϕ(b) = ϕ(c) +[a, b],â®b−hf (t, ϕ(t)) dt,ϕ(b − h) = ϕ(c) +cf (t, ϕ(t)) dt.cëç¨â ï ¨§ ¯¥à¢®£® à ¢¥á⢠¢â®à®¥, ¯®«ã稬 ᮣ« á®â¥®à¥¬¥ ® á।¥¬bϕ(b) − ϕ(b − h) =f (t, ϕ(t)) dt = f (ξ, ϕ(ξ))h,ξ ∈ (b − h, b).b−hâªã¤ á«¥¤ã¥â, çâ®ϕ(b) − ϕ(b − h)= lim f (ξ, ϕ(ξ)) = f (b, ϕ(b)).h→+0ξ→b−0hϕ (b − 0) = lim(7) «®£¨ç® ¬®¦® ¯®ª § âì, çâ®ϕ (a+0) = limh→+0ϕ(a + h) − ϕ(a)= lim f (ξ, ϕ(ξ)) = f (a, ϕ(a)).ξ→a+0h(8)ϕ(x), çâ® ¥ñ ¯à®¨§¢®¤ ï á«¥¢ áãé¥áâ¢ã¥â ¢ â®çª¥ b ¨ ¥¯à¥àë¢ á«¥¢ ¢ b, â ª¦¥, çâ® áãé¥áâ¢ã¥â ¥ñ ¯à®¨§¢®¤ ï á¯à ¢ ¢ â®çª¥ a ¨¥¯à¥àë¢ á¯à ¢ ¢ â®çª¥ a (â ª ª ª ϕ (a + 0) = f (a, ϕ(a)) ¨ϕ (b − 0) = f (b, ϕ(b)), f (x, y) ¥¯à¥àë¢ ï äãªæ¨ï).
«¥¤®¢ ⥫ì®, äãªæ¨ï ϕ(x) ï¥âáï à¥è¥¨¥¬ ãà ¢¥¨ï (1) ®â१ª¥ [a, b]. ¯¨á ï ¢ëè¥ ¯à®æ¥¤ãà ¯à®¤®«¦¥¨ï à¥è¥ ª¨¬ ®¡à §®¬, ¬ë ¯®ª § «¨ ¤«ï äãªæ¨¨¨ï ¯à¨¢®¤¨â ª á«¥¤ãî饩 ⥮६¥.&¥®à¥¬ 2. ãáâì äãªæ¨ï f (x, y) ¢ ®¡« áâ¨ Ω ã¤®¢«¥â¢®àï¥â ¢á¥¬ ãá«®¢¨ï¬ ⥮६ë 1, ϕ(x) | à¥è¥¨¥ ãà ¢¥¨ï (1), ®¯à¥¤¥«¥®¥ ¯à®¬¥¦ã⪥ [a, b). ᫨ áãé¥áâ¢ã¥âª®¥çë© ¯à¥¤¥« ξ→b−0lim ϕ(x) = B ¨ â®çª (b, B) ∈ Ω, â® à¥è¥¨¥ ϕ(x) ¬®¦¥â ¡ëâì ¯à®¤®«¦¥® ¢¯à ¢®.£¤¥ ϕ1 (x) ¥áâì à¥è¥¨¥ ãà ¢¥¨ï (1) á ç «ìë¬ ãá«®¢¨¥¬ϕ1 (b) = B ((b1 , ϕ1 (b1 )) ∈ Ω). ®£« á® ä®à¬ã« ¬ (7), (8) ¨ ¥¯à¥à뢮á⨠äãªæ¨¨ f (x, y) ¯à®¨§¢®¤ë¥ ¥¯à¥à뢮© äãªæ¨¨ ψ(x) á«¥¢ ¨ á¯à ¢ ¢ â®çª¥ x = b à ¢ë.
«¥¤®¢ ⥫ì®,® | ¥¯à¥à뢮 ¤¨ää¥à¥æ¨à㥬 ï äãªæ¨ï ¨ ï¥âáïà¥è¥¨¥¬ ãà ¢¥¨ï (1). ãªæ¨ï ψ(x) ∈ C 1 ([a, b1 )) ¨ ï¥âáï ¯à®¤®«¦¥¨¥¬ à¥è¥¨ï ϕ(x) ¢¯à ¢® § ¯à®¬¥¦ã⮪ [a, b). ®á®¢¥ í⮣® ¤®ª § ⥫ìá⢠«¥¦¨â ý᪫¥©ª þ ¤¢ãå à¥è¥¨© ϕ(x), x ∈ [a, b) ¨ ϕ1 (x), x ∈ [b, b1 ) ¢ â®çª¥ x = b. ª®©á¯®á®¡ ¯à®¤®«¦¥¨ï à¥è¥¨ï ¤¨ää¥à¥æ¨ «ì®£® ãà ¢¥¨ïï¥âáï ª®áâàãªâ¨¢ë¬ ¨ ç áâ® ¨á¯®«ì§ã¥âáï.®ª ¦¥¬ ⥯¥àì ⥮६ã 2, ®á®¢ë¢ ïáì ¨â¥£à «ì®¬ãà ¢¥¨¨ (4).
áᬮâਬ äãªæ¨î (9) ¨ äãªæ¨îxφ(x) = ϕ(a) + f (t, ψ(t)) dt.(10)a§ (6) ¨ «¥¬¬ë 1 á«¥¤ã¥â, çâ® φ(x) = ϕ(x) = ψ(x), ª®£¤ x ∈ [a, b). ਠx ∈ [b, b1 ) ¨¬¥¥¬bφ(x) = ϕ(a) +xf (t, ϕ(t)) dt +af (t, ϕ1 (t)) dt =bx=B+f (t, ϕ1 (t)) dt = ϕ1 (x) = ψ(x).b'¤¥áì ¬ë ¢®á¯®«ì§®¢ «¨áì ⥬, çâ® äãªæ¨ï ϕ(x) (10) ¥¯à¥àë¢ ï ¨ ϕ(b) = B . «¥¤®¢ ⥫ì®, äãªæ¨ï, ®¯à¥¤¥«¥ ï ¢ (9), ¤«ï «î¡®£® x ∈ [a, b1 ) ï¥âáï à¥è¥¨¥¬ ¨â¥£xà «ì®£® ãà ¢¥¨ï ψ(x) = ψ(a) + f (t, ψ(t)) dt, § ç¨â ¨aà¥è¥¨¥¬ ¤¨ää¥à¥æ¨ «ì®£® ãà ¢¥¨ï (1). 㦥¨¥ à¥è¥¨ï ψ(x), x ∈ [x, b1 ) ¯à®¬¥¦ã⮪ [a, b) ᮢ¯ ¤ ¥â á à¥è¥¨¥¬ϕ(x). ®£« á® ¤ ®¬ã ®¯à¥¤¥«¥¨î ψ(x) ¥áâì ¯à®¤®«¦¥¨¥à¥è¥¨ï ϕ(x) ¢¯à ¢®.
«®£¨ç® ¬®¦® ¯®áâநâì ¯à®¤®«¦¥¨¥ à¥è¥¨ï ¢«¥¢®. â® ¤®ª § ⥫ìá⢮ ¤®áâ â®ç® ¯à®á⮥, ® ®®, ¢®®¡é¥ £®¢®àï, áªàë¢ ¥â ý᪫¥©ªãþ à¥è¥¨©. ª¨¬ ®¡à §®¬, ¥á«¨ à¥è¥¨¥ ®¯à¥¤¥«¥® ®â१ª¥ ¢ ®¡« á⨠Ω, â® ®® ¬®¦¥â ¡ëâì ¯à®¤®«¦¥®ª ª ¢«¥¢®, â ª ¨ ¢¯à ¢®. âáî¤ á«¥¤ã¥â, çâ® ¥¯à®¤®«¦ ¥¬®¥ à¥è¥¨¥ ¢ ®¡« áâ¨ Ω ¬®¦¥â ¡ëâì ®¯à¥¤¥«¥® ⮫쪮 ¨â¥à¢ «¥, ª®â®àë© ¨¦¥ ¡ã¤¥â ®¡®§ ç âìáï (T1, T2). £® §ë¢ îâ ¬ ªá¨¬ «ìë¬ ¨â¥à¢ «®¬ áãé¥á⢮¢ ¨ï à¥è¥¨ï.
¥¯à®¤®«¦ ¥¬®¥à¥è¥¨¥ § ¤ ç¨ ®è¨ (5) ®¯à¥¤¥«¥® ¨â¥à¢ «¥− π2 , π2.¯à¥¤¥«¥¨¥.ãáâì M ¨ N | ¤¢ ¬®¦¥á⢠, § ¤ ë¥ ¢ ¯à®áâà á⢥ á ¥¢ª«¨¤®¢®© ¬¥âਪ®©. ® ®¯à¥¤¥«¥¨îà ááâ®ï¨¥ ρ ¬¥¦¤ã ¨¬¨, ®¡®§ ç ¥¬®¥ ª ª dist(M, N ), à ¢®ρ = dist(M, N ) =inf|P Q|.P ∈M,Q∈N ᫨ ¬®¦¥á⢠M ¨ N § ¬ªãâë¥ ¨ M ∩ N = ∅, â® ¢¬ ⥬ â¨ç¥áª®¬ «¨§¥ ¤®ª §ë¢ ¥âáï, çâ® ρ > 0. ¬ ¥ ç ¨ ¥ 1. ᫨ M ⊂ N , â® à ááâ®ï¨¥ ρ¬¥¦¤ã ¬®¦¥á⢮¬ M ¨ £à ¨æ¥© ∂N ®¡« á⨠N ®¯à¥¤¥«ï¥âáï «®£¨ç®ρ = dist(M, ∂N ) =infP ∈M,Q∈∂N|P Q|¥®à¥¬ 3. ãáâì ¢ ®¡« áâ¨ Ω äãªæ¨ï f (x, y) 㤮¢«¥â¢®àï¥â ãá«®¢¨ï¬ ⥮६ë 1 áãé¥á⢮¢ ¨ï ¨ ¥¤¨á⢥®áâ¨à¥è¥¨ï § ¤ ç¨ ®è¨ (1){(2).
ãáâì â ª¦¥ Ω0 | ¯à®¨§¢®«ì ï ®£à ¨ç¥ ï ®¡« áâì â ª ï, çâ® Ω0 ⊂ Ω. ®£¤ ¤«ï «î¡®©â®çª¨ (x0 , y0 ) ∈ Ω0 à¥è¥¨¥ ãà ¢¥¨ï (1) ϕ(x) á ç «ìë¬ãá«®¢¨¥¬ ϕ(x0 ) = y0 ¬®¦® ¯à®¤®«¦¨âì ¢ ®¡¥ áâ®à®ë ¤® ¢ë室 £à ¨æã ∂Ω0 . ® ª § â ¥ « ì á â ¢ ®. ®áª®«ìªã Ω0 | § ¬ªãâ ï ®¡« áâì, â® à ááâ®ï¨¥ ρ ®â ¥ñ ¤® £à ¨æë ∂Ω ¯®«®¦¨â¥«ì®.ãáâì D | ¬®¦¥á⢮ ¢á¥å â®ç¥ª ®¡« áâ¨ Ω \ Ω0 , à ááâ®ï¨¥ª ¦¤®© ¨§ ª®â®àëå ¤® § ¬ªã⮩ ®¡« á⨠Ω0 ¥ ¯à¥¢®á室¨âρ2 (¥á«¨ ρ = +∞, â® ¢ ª ç¥á⢥ à ááâ®ï¨ï ¡¥à¥âáï 1). áΩ1 = Ω0 ∪ D.
祢¨¤®, Ω1 | § ¬ªãâ ïΩ0 ⊂ Ω1 ⊂ Ω. ãªæ¨ï f (x, y) ¥¯à¥àë¢ ¢ Ω1 ¨, á«¥¤®¢ ⥫ì®, ®£à ¨ç¥ ¢ ¥©: |f (x, y)| M . ᫨ (x0 , y0 ) ∈ Ω0 , ¯®«®¦¨â¥«ìë¥ ç¨á« a ¨ b 㤮¢«¥â¢®á¬®âਬ ¬®¦¥á⢮®£à ¨ç¥ ï ®¡« áâì ¨2a2 + b2 ρ4 , â® § ¬ªãâë© ¯àאַ㣮«ì¨ª|x−x0 | a, |y −y0 | b ᮤ¥à¦¨âáï ¢ ®¡« á⨠Ω1 . ®«®¦¨¢ h =b ), ¯®«ã稬 § ¬ªãâë© ¯àאַ㣮«ì¨ª |x − x | h,= min(a, M0|y − y0 | b, ª®â®àë© á®¤¥à¦¨âáï ¢ ®¡« á⨠Ω1 ¥§ ¢¨á¨¬® ®â¢ë¡®à â®çª¨ (x0 , y0 ) ∈ Ω0 ( ¯à¨¬¥à, ¬®¦® ¢§ïâì ¯àאַãρρM£®«ì¨ª á a = √ 2¨ b = √ 2. ®£¤ ¤«ï «î¡®©àïîâ ¥à ¢¥áâ¢ã2 M +1â®çª¨(x0 , y0 ) ∈ Ω0¢¥«¨ç¨ 2 M +1√ ρ).
§ ⥮६ë 12 M2 + 1h =x0 ,[x0 − h, x0 + h]. ª¨¬ ®¡à §®¬, ª ªãî ¡ë ¬ë ¨ ¢§ï«¨ â®çªã (x0 , y0 ) ∈ Ω0 , à¥è¥¨¥ § ¤ ç¨ ®è¨¡ã¤¥â ®¯à¥¤¥«¥® ®â१ª¥ ¤«¨ë 2h. ®§ì¬ñ¬ ¤ «¥¥ â®çªãá ª®®à¤¨ â ¬¨ x1 = x0 + h, y1 = ϕ(x0 + h). ᫨ ® ¯à¨ ¤«¥¦¨â ®¡« á⨠Ω0 , â® ¯à®¤®«¦¨¬ à¥è¥¨¥ ¢¯à ¢® ®â१®ªρ¤«¨ë h. ª ª ª Ω0 ®£à ¨ç¥ ï ®¡« áâì ¨ h < , â®, ¯à®2á«¥¤ã¥â, çâ® à¥è¥¨¥ § ¤ ç¨ ®è¨ á ç «ì묨 ¤ 묨y0áãé¥áâ¢ã¥â ®â१ª¥¤®«¦ ï íâã ¯à®æ¥¤ãàã, ¬ë ¥ª®â®à®¬ è £¥ ¯®¯ ¤ñ¬ «¨¡® £à ¨æã∂Ω0 ,«¨¡® ¢ ®¡« áâìΩ1 \ Ω0 .â® ®§ ç ¥â, çâ®¨â¥£à «ì ï ªà¨¢ ï, ᮮ⢥âáâ¢ãîé ï à¥è¥¨îϕ(x),¯¥à¥-∂Ω0 .
ᮡ® ®â¬¥â¨¬, çâ® ® ®áâ ñâáï ¯à¨í⮬ ¢ ®¡« á⨠Ω1.á¥çñâ £à ¨æã ¬ ¥ ç ¨ ¥2. ਬ¥¨¬ ¯à®æ¥¤ãà㠯த®«¦¥¨ï,¨á¯®«ì§®¢ ãî ¯à¨ ¤®ª § ⥫ìá⢥ ⥮६ë 3, ª à¥è¥¨î § ¤ ç¨ ®è¨ (5) ®â१ª¥[−h, h].®§ì¬ñ¬ â®çªã á ª®®à¤¨- â ¬¨ (h, ϕ(h)) § ç «ìãî. ®£« ᮠ⥮६¥ 1 à¥è¥¨¥¡ã¤¥â áãé¥á⢮¢ âì ¢ § ¬ªã⮬ ¯àאַ㣮«ì¨ª¥Q = {(x, y) : |x − h| h1 , |y − ϕ(h)| b}.b¤¥áì h1 = min 1,, h1 < h. த®«¦ ï2(ϕ(h) + b) + 1íâ®â ¯à®æ¥áá, ¬ë ¯®«ã稬 n-®¬ è £¥, çâ® hn+1 < hn ¤«ï«î¡®£® n ∈ N ¨ hn → 0 ¯à¨ n → ∞, â ª ª ª ϕ(x) | ¬®®â®®¢®§à áâ îé ï äãªæ¨ï.
®â«¨ç¨¥ ®â ⥮६ë 3 §¤¥áì ¤«¨ë®â१ª®¢ ¥ ® hn ¯à¨ n → ∞ áâ६ïâáï ª ã«î. ਠí⮬nhk → π2 ¯à¨ n → ∞.ïá®, çâ®k=1 ¬ ¥ ç ¨ ¥ 3. ®§ì¬¥¬ ®£à ¨ç¥ë¥ ®¡« á⨠Ω1 ,∞Ωn = ΩΩ2 , . . . , Ωn , . . . â ª¨¥, çâ® Ωn ⊂ Ωn+1 ¤«ï ∀ n ∈ N ¨n=1(ᬮâਠ¯à¨«®¦¥¨¥). ®£¤ ᮣ« ᮠ⥮६¥ 3 ¨â¥£à «ì ïªà¨¢ ï, ïîé ïáï £à 䨪®¬ à¥è¥¨ï § ¤ ç¨ ®è¨ (1){(2),¢ á«ãç ¥ ρ < ∞ ¬®¦¥â ¯à¨¡«¨§¨âìáï ª £à ¨æ¥ ∂Ω «î¡®¥áª®«ì 㣮¤® ¬ «®¥ à ááâ®ï¨¥. ®§¨ª ¥â ¢®¯à®á, ª ª¨¬ ®¡à §®¬ ¨â¥£à «ì ï ªà¨¢ ï ¯à¨¡«¨¦ ¥âáï ª £à ¨æ¥ ∂Ω ¨ çâ®¬ë ¯®«ãç ¥¬ ¢ ª®¥ç®¬ ¨â®£¥.¥®à¥¬ 4.
ãáâì ¢ ®¡« áâ¨ Ω äãªæ¨ï f (x, y) 㤮¢«¥â¢®àï¥â ãá«®¢¨ï¬ ⥮६ë 1. ®£¤ ¤«ï «î¡®© â®çª¨ (x0, y0) ∈ Ωà¥è¥¨¥ § ¤ ç¨ ®è¨ (1){(2) ϕ(x) ¬®¦¥â ¡ëâì ¯à®¤®«¦¥®¥¤¨áâ¢¥ë¬ ®¡à §®¬ ¬ ªá¨¬ «ìë© ¨â¥à¢ « áãé¥á⢮¢ ¨ï (T1, T2). ਠí⮬ à¥è¥¨¥ ϕ(x) áâ६¨âáï ª £à ¨æ¥∂Ω ®¡« áâ¨ Ω ¯à¨ x → T2 ¨ x → T1 .⢥ত¥¨¥ ýϕ(x) áâ६¨âáï ª £à ¨æ¥ ∂Ω ®¡« áâ¨ Ω®§ ç ¥â, çâ® ¯à¨ x áâ६ïé¨åáï ª T2 â®çª¨(x, ϕ(x)) ¯®ª¨¤ îâ «î¡ãî § ¬ªãâãî ®£à ¨ç¥ãî ®¡« áâì,¯à¨ ¤«¥¦ éãî Ω. ® ª § â ¥ « ì á â ¢ ®. áᬮâਬ ¢¢¥¤ñãî ¢ëè¥ ¯®á«¥¤®¢ ⥫ì®áâì ®£à ¨ç¥ëå ®¡« á⥩ {Ωn }∞n=1 â ª¨å, ç⮯ਠx → T2 þΩn ⊂ Ωn+1 ¤«ï ∀ n ∈ N ¨∞n=1Ωn = Ω.
§ ¤®ª § ⥫ìá⢠⥮६ë 3 ¢ë⥪ ¥â, çâ® ¤«ï «î¡®© ®£à ¨ç¥®© ®¡« á⨠Ωn ©¤¥âáï â ª®¥ ç¨á«® hn , çâ® à¥è¥¨¥ § ¤ ç¨ ®è¨ (1){(2) áãé¥áâ¢ã¥â ¤«ï «î¡®© â®çª¨ (x0, y0) ∈ Ωn ®â१ª¥ [x0 − h, x0 ++ hn ] ®¤®© ¨ ⮩ ¦¥ ¤«¨ë.®§ì¬¥¬ à¥è¥¨¥ § ¤ ç¨ ®è¨ (1){(2) ϕ(x), ®¯à¥¤¥«ñ®¥ ¨â¥à¢ «¥ (a1, b1). ᫨ ® ¥ ï¥âáï ¬ ªá¨¬ «ìë¬ ¨â¥à¢ «®¬ áãé¥á⢮¢ ¨ï à¥è¥¨ï § ¤ ç¨ ®è¨ (a1 = T1, b1 == T2 . C¬.
§ ¤ çã ®è¨ (5)), â® à¥è¥¨¥ ϕ(x) ¬®¦¥â ¡ëâì¯à®¤®«¦¥® ®â१®ª [a1, b1] (⥮६ 2).ãáâì n1 â ª®¥ ¡®«ì讥 ç¨á«®, çâ® â®çª á ª®®à¤¨ â ¬¨(b1 , ϕ(b1 )) ∈ Ωn . ®£¤ à¥è¥¨¥ ϕ(x) ¬®¦® ¯à®¤®«¦¨âì ®â१®ª [b1, b1 + hn ]. ᫨ â®çª á ª®®à¤¨ â ¬¨ (b1 ++ hn , ϕ(b1 + hn )) ∈ Ωn , â® ϕ(x) ¬®¦¥â ¡ëâì ¯à®¤®«¦¥®¤ «ìè¥ ®â१®ª [a1, b2] ¤«¨ë hn . த®«¦ ï íâ®â ¯à®æ¥áá,¬ë ¯®«ã稬 ¯à¨ ¥ª®â®à®¬ k1 ®â१®ª [a1, b2], £¤¥ b2 = b+k1hn¨ â®çª á ª®®à¤¨ â ¬¨ (b2, ϕ(b2)) ∈ Ωn (® ᮣ« ᮠ⥮६¥ 3(b2 , ϕ(b2 )) ∈ Ω).®§ì¬¥¬ ⥯¥àì â ª®¥ n2, ç⮡ë (b2, ϕ(b2)) ∈ Ωn . ®£¤ ,®¯ïâì ¢ ᨫã ⥮६ë 3, áãé¥áâ¢ãîâ â ª¨¥ ç¨á« hn ¨ k2, çâ®à¥è¥¨¥ ϕ(x) ¬®¦¥â ¡ëâì ¯à®¤®«¦¥® ®â१®ª [a1, b3], £¤¥b3 = b2 + k2 hn ¨ â®çª á ª®®à¤¨ â ¬¨ (b3 , ϕ(b3 )) ∈ Ωn (®(b3 , ϕ(b3 )) ∈ Ω).®¢â®àïï íâ®â ¯à®æ¥áá, ¬ë ¯®«ã稬 ¯®á«¥¤®¢ ⥫ì®áâìæ¥«ëå ç¨á¥« n1 < n2 < .
. . ¨ ç¨á¥« b1 < b2 < . . . â ª¨å, çâ®à¥è¥¨¥ ϕ(x) ¬®¦¥â ¡ëâì ¯à®¤®«¦¥® ¯à®¬¥¦ã⮪ [a1, T2),lim bi . à¨ç¥¬ (bi , ϕ(bi )) ∈ Ωn . ᫨ ¯®á«¥¤®¢ ⥫죤¥ T2 = i→∞®áâì {bi}∞i=1 ¢ ®¡« áâ¨ Ω ¥ ®£à ¨ç¥ , â® T2 = ∞, ¨ ¯à¨ ¯à®¤®«¦¥¨¨ à¥è¥¨ï ¢¯à ¢® â®çª (x, ϕ(x)) ®¡ï§ â¥«ì® ¯®ª¨¥â«î¡ãî § ¬ªãâãî ®£à ¨ç¥ãî ®¡« áâì Ωn ⊂ Ω.
᫨ ¦¥® ®£à ¨ç¥ , â® ¯à¥¤¥« ¯®á«¥¤®¢ ⥫ì®á⨠{bi}∞i=1 áãé¥áâ¢ã¥â, â ª ª ª ® ï¥âáï ¬®®â®® ¢®§à áâ î饩. १ã«ìâ ⥠¬ë ¯®áâந«¨ à¥è¥¨¥ ϕ(x) ®¯à¥¤¥«¥®¥ ¯à®¬¥¦ã⪥[a1 , T2 ), t2 < +∞. ®®â¢¥âáâ¢ãîé ï ¯®á«¥¤®¢ ⥫ì®áâì â®ç¥ªá ª®®à¤¨ â ¬¨ (b1, ϕ(b1)), (b2, ϕ(b2)), . . . , (bn, ϕ(bn)), . . . ¨«¨¥ ®£à ¨ç¥ , ¨«¨ ¨¬¥¥â ¯à¥¤¥«ìãî â®çªã (¨«¨ â®çª¨) £à ¨æ¥ ∂Ω. ¥©á⢨⥫ì®, ¯à¨ x → T2 ¨¬¥¥¬ dist(Q, ∂Ω) →→ 0, â ª ª ª ¢ ᨫã ⥮६ë 2 ¨ª ª ï ¯à¥¤¥«ì ï â®çª ¯®211111112222i!á«¥¤®¢ ⥫ì®á⨠â®ç¥ª (b1 , ϕ(b1 )), (b2 , ϕ(b2 )), .