ཁࢫ
༗ݶݸͷղੳతJordanดۂઢʹΑͬͯߏ͞ΕΔ։ϦʔϚϯ໘ͷμϒϧͷϚϧνϯڥքΛߟ
͢Δɻ
Ωʔϫʔυ: μϒϧɺղੳۂઢɺϚϧνϯڥքɺ։ϦʔϚϯ໘ɺௐؔ
ॳΊʹ
͜ͷখͰ,༗ݶݸͷղੳతJordanดۂઢʹΑͬͯߏ͞ΕΔ։ϦʔϚϯ໘ͷμϒϧͷϚϧ νϯڥքΛܾఆ͢Δ͜ͱΛతͱ͢Δɻ͜ͷ͜ͱ,͢ͰʹΒΕ͍ͯΔ͜ͱͷΑ͏ʹࢥΘΕΔ
͕,۩ମతͳهࡌͳ͍ɻ͜ͷখͰ,Ϛϧνϯ֩ͷରԠΛৄࡉʹௐΔํ๏Λ࠾༻͢Δ͜ͱʹ ΑΓ͜ͷࣄ࣮ͱϛχϚϧϚϧνϯڥքʹؔ͢Δࣄ࣮Λࣔ͢ɻ
1. ه߸.
RΛ։ϦʔϚϯ໘ͱ͢ΔɻҎԼͷ༻ޠೇ[2, p.16-p.18]ΛࢀরͤΑɻR্Ͱ,nݸͷޓ͍ʹަΘ Βͳ͍ղੳతJordanดۂઢℓ1,· · ·, ℓnΛͱΔɻ֤ℓj(j= 1,· · ·, n)ͦΕʹΑΓ,R૬ରίϯύΫ τͳྖҬ(ℓj͕ғΉྖҬ)ͱඇ૬ରίϯύΫτͳྖҬʹׂ͞ΕΔͷͱ͢Δɻ֤ℓj(j= 1,· · ·, n)
͕ғΉྖҬΛUj (j = 1,· · ·, n)ʹΑͬͯ,͋ΒΘ͢ɻF =R− ∪nj=1Ujͱ͓͘ɻFℓ1,· · ·, ℓnΛڥ քʹͭڥքͷ͋ΔϦʔϚϯ໘Ͱ͋ΔɻF∗ΛFͷίϐʔͱ͢ΔɻFͱF∗ΛͦͷڥքʹԊͬͯష Γ߹Θͤͯ͑ΒΕΔ໘ΛFˆͰ͋ΒΘ͢ɻFˆ։ϦʔϚϯ໘ʹͳΔ͜ͱ͕Θ͔ΔɻFˆFͷμϒϧ ͱ͍ΘΕΔɻ
∆R,∆F,∆FˆΛͦΕͧΕ,R, F,FˆͷϚϧνϯڥքͱ͢Δɻ∆R1,∆F1,∆F1ˆʹΑͬͯ,ͦΕͧΕ,R, F,Fˆ ͷϛχϚϧϚϧνϯڥքΛ͋ΒΘ͢ɻζ∈∆R, ζ′∈∆F,ζ˜∈∆Fˆʹରͯ͠,kζR, kFζ′, kF˜ˆ
ζ ʹΑͬͯ,ͦΕ
ͧΕ,R, F,Fˆ্ͷζ, ζ′,ζ˜ʹۃΛͭϚϧνϯ֩Λ͋ΒΘ͢ɻϚϧνϯͷཧʹ͍ͭͯ, [1], [3]Λ
ࢀরͯ͠΄͍͠ɻ·ͨ,ҎԼͷٞͰ༻͞ΕΔϦʔϚϯ໘্ͷϙςϯγϟϧʹ͍ͭͯ, [1,0 ষ–5ষ]Λࢀরͯ͠΄͍͠ɻ
2. ४උ.
有限個の解析的 Jordan 閉曲線によって構成される 開リーマン面のダブルのマルチン境界について
故米谷文男先生に捧ぐ
正 岡 弘 照
要 旨
ॳΊʹ
͜ͷখͰ,༗ݶݸͷղੳతJordanดۂઢʹΑͬͯߏ͞ΕΔ։ϦʔϚϯ໘ͷμϒϧͷϚϧ νϯڥքΛܾఆ͢Δ͜ͱΛతͱ͢Δɻ͜ͷ͜ͱ,͢ͰʹΒΕ͍ͯΔ͜ͱͷΑ͏ʹࢥΘΕΔ
͕,۩ମతͳهࡌͳ͍ɻ͜ͷখͰ,Ϛϧνϯ֩ͷରԠΛৄࡉʹௐΔํ๏Λ࠾༻͢Δ͜ͱʹ ΑΓ͜ͷࣄ࣮ͱϛχϚϧϚϧνϯڥքʹؔ͢Δࣄ࣮Λࣔ͢ɻ
1. ه߸.
RΛ։ϦʔϚϯ໘ͱ͢ΔɻҎԼͷ༻ޠೇ[2, p.16-p.18]ΛࢀরͤΑɻR্Ͱ,nݸͷޓ͍ʹަΘ Βͳ͍ղੳతJordanดۂઢℓ1,· · ·, ℓnΛͱΔɻ֤ℓj(j= 1,· · ·, n)ͦΕʹΑΓ,R૬ରίϯύΫ τͳྖҬ(ℓj͕ғΉྖҬ)ͱඇ૬ରίϯύΫτͳྖҬʹׂ͞ΕΔͷͱ͢Δɻ֤ℓj(j= 1,· · ·, n)
͕ғΉྖҬΛUj (j = 1,· · ·, n)ʹΑͬͯ,͋ΒΘ͢ɻF =R− ∪nj=1Ujͱ͓͘ɻFℓ1,· · ·, ℓnΛڥ քʹͭڥքͷ͋ΔϦʔϚϯ໘Ͱ͋ΔɻF∗ΛFͷίϐʔͱ͢ΔɻFͱF∗ΛͦͷڥքʹԊͬͯష Γ߹Θͤͯ͑ΒΕΔ໘ΛFˆͰ͋ΒΘ͢ɻFˆ։ϦʔϚϯ໘ʹͳΔ͜ͱ͕Θ͔ΔɻFˆFͷμϒϧ ͱ͍ΘΕΔɻ
∆R,∆F,∆FˆΛͦΕͧΕ,R, F,FˆͷϚϧνϯڥքͱ͢Δɻ∆R1,∆F1,∆F1ˆʹΑͬͯ,ͦΕͧΕ,R, F,Fˆ ͷϛχϚϧϚϧνϯڥքΛ͋ΒΘ͢ɻζ∈∆R, ζ′∈∆F,ζ˜∈∆Fˆʹରͯ͠,kζR, kFζ′, kF˜ˆ
ζ ʹΑͬͯ,ͦΕ
ͧΕ,R, F,Fˆ্ͷζ, ζ′,ζ˜ʹۃΛͭϚϧνϯ֩Λ͋ΒΘ͢ɻϚϧνϯͷཧʹ͍ͭͯ, [1], [3]Λ
ࢀরͯ͠΄͍͠ɻ·ͨ,ҎԼͷٞͰ༻͞ΕΔϦʔϚϯ໘্ͷϙςϯγϟϧʹ͍ͭͯ, [1,0 ষ–5ষ]Λࢀরͯ͠΄͍͠ɻ
2. ४උ. ॳΊʹ
͜ͷখͰ,༗ݶݸͷղੳతJordanดۂઢʹΑͬͯߏ͞ΕΔ։ϦʔϚϯ໘ͷμϒϧͷϚϧ νϯڥքΛܾఆ͢Δ͜ͱΛతͱ͢Δɻ͜ͷ͜ͱ,͢ͰʹΒΕ͍ͯΔ͜ͱͷΑ͏ʹࢥΘΕΔ
͕,۩ମతͳهࡌͳ͍ɻ͜ͷখͰ,Ϛϧνϯ֩ͷରԠΛৄࡉʹௐΔํ๏Λ࠾༻͢Δ͜ͱʹ ΑΓ͜ͷࣄ࣮ͱϛχϚϧϚϧνϯڥքʹؔ͢Δࣄ࣮Λࣔ͢ɻ
1.ه߸.
RΛ։ϦʔϚϯ໘ͱ͢ΔɻҎԼͷ༻ޠೇ[2, p.16-p.18]ΛࢀরͤΑɻR্Ͱ,nݸͷޓ͍ʹަΘ
Βͳ͍ղੳతJordanดۂઢℓ1,· · ·, ℓnΛͱΔɻ֤ℓj(j= 1,· · ·, n)ͦΕʹΑΓ,R૬ରίϯύΫ τͳྖҬ(ℓj͕ғΉྖҬ)ͱඇ૬ରίϯύΫτͳྖҬʹׂ͞ΕΔͷͱ͢Δɻ֤ℓj(j= 1,· · ·, n)
͕ғΉྖҬΛUj(j= 1,· · ·, n)ʹΑͬͯ,͋ΒΘ͢ɻF=R− ∪nj=1Ujͱ͓͘ɻFℓ1,· · ·, ℓnΛڥ քʹͭڥքͷ͋ΔϦʔϚϯ໘Ͱ͋ΔɻF∗ΛFͷίϐʔͱ͢ΔɻFͱF∗ΛͦͷڥքʹԊͬͯష Γ߹Θͤͯ͑ΒΕΔ໘ΛFˆͰ͋ΒΘ͢ɻFˆ։ϦʔϚϯ໘ʹͳΔ͜ͱ͕Θ͔ΔɻFˆFͷμϒϧ ͱ͍ΘΕΔɻ
∆R,∆F,∆FˆΛͦΕͧΕ,R, F,FˆͷϚϧνϯڥքͱ͢Δɻ∆R1,∆F1,∆F1ˆʹΑͬͯ,ͦΕͧΕ,R, F,Fˆ ͷϛχϚϧϚϧνϯڥքΛ͋ΒΘ͢ɻζ∈∆R, ζ′∈∆F,ζ˜∈∆Fˆʹରͯ͠,kζR, kζF′, kFζ˜ˆʹΑͬͯ,ͦΕ
ͧΕ,R, F,Fˆ্ͷζ, ζ′,ζ˜ʹۃΛͭϚϧνϯ֩Λ͋ΒΘ͢ɻϚϧνϯͷཧʹ͍ͭͯ, [1], [3]Λ
ࢀরͯ͠΄͍͠ɻ·ͨ,ҎԼͷٞͰ༻͞ΕΔϦʔϚϯ໘্ͷϙςϯγϟϧʹ͍ͭͯ, [1,0 ষ–5ষ]Λࢀরͯ͠΄͍͠ɻ
2.४උ.
ACTA HUMANISTICA ET SCIENTIFICA UNIVERSITATIS SANGIO KYOTIENSIS
NATURAL SCIENCE SERIES No. 48 MARCH 2021
2
ิ2.1. ξ′ΛF\ ∪nj=1ℓjͷͱ͢Δɻξ′Fˆ্ͷξ˜͓ΑͼR্ͷξͱΈͳ͢͜ͱ͕Ͱ͖Δɻ gF˜ˆ
ξ, gξRͦΕͧΕ, ˜ξ, ξͰۃΛͭF , Rˆ ্ͷάϦʔϯؔͰ͋Δͱ͢ΔɻU =∪nj=1(Uj∪ℓj)ͱ͓
͘ɻͦΕͧΕ,uFξ′=gξF˜ˆ−RF∗
gξF˜ˆ, vξF′=gRξ −RUgR
ξ ͱ͓͘ɻ͜͜Ͱ,RUgR
ξ Uʹؔ͢ΔgRξ ͷࢄͱ͢
Δɻ͜ͷͱ͖,uFξ′=vξF′ξ′ͰۃΛͭF্ͷάϦʔϯؔͰ͋Δɻ
ূ໌. άϦʔϯؔͷఆ͔ٛΒ,F্,uFξ′≥gFξ′, vFξ′≥gξF′͕ͳΓͨͭɻ uFξ′−gFξ′͓ΑͼvFξ′−gFξ′F্ͷௐؔͰ͋Δ͜ͱ͕Θ͔Δɻ U্ͷͯ͢ͷzʹରͯ͠, lim
x→zuFξ′(x)−gξF′(x) = 0͓Αͼlim
x→zvFξ′(x)−gFξ′(x) = 0ͱ͍͏ࣄ࣮ʹ Αͬͯ,࠷େݪཧΛ༻͍Δͱ,F্,uFξ′=vFξ′=gξF′͕ͳΓͨͭɻ
ิ2.2. ζ˜Λ∆Fˆͷҙͷͱ͢Δɻz˜0∈FˆͰ,Fͷz0ͱΈͳ͢͜ͱ͕Ͱ͖Δͱ͠,ݻఆ
͓ͯ͘͠ɻ͜ͷͱ͖, ∆F \ ∪nj=1ℓjͷζ′͕ͨͩ1ͭଘࡏͯ͠,F্, kFζ′=
kF˜ˆ
ζ −RF∗
kFζ˜ˆ
1−RF∗
kζF˜ˆ(˜z0)
͕ͳΓ͔ͨͭ·ͨ, ∆F∗\ ∪nj=1ℓjͷζ′∗͕ͨͩ1ͭଘࡏͯ͠,F∗্, kζF′∗∗=
kF˜ˆ
ζ −RF
kF˜ζˆ
1−RF
kFζ˜ˆ(˜z0)
͕ͳΓͨͭɻ
ূ໌. ζ˜Λ∆Fˆͷҙͷͱ͢Δɻ{ξ˜l}∞l=1(⊂Fˆ)Λlim
l→∞
ξ˜l= ˜ζΛΈͨ͢ҙͷྻͱ͢Δɻ͜ͷ ͱ͖, lim
l→∞
gF˜ˆ
ξl
gF˜ˆ
ξl(˜z0)=kF˜ˆ
ζ ͕ͳΓͨͭɻF∪F∗= ˆF , F∩F∗=∪nj=1ℓjͰ,∪nj=1ℓjFˆͷίϯύΫτ෦
ू߹Ͱ͋ΔͷͰ,దͳn0∈N͕ଘࡏͯ͠,{ξ˜l}∞l=n0 ⊂F·ͨ{ξ˜l}∞l=n0 ⊂F∗͕ͳΓͨͭɻҎ ԼͰ,લऀ͕ͳΓͨͭͱԾఆͯ͠,ٞΛ͢͢ΊΔɻn0= 1ͱͯ͠,ٞͯ͠Α͍ɻ
֤ξ˜l(l∈N)Fͷξl(l∈N)ͱΈͳͯ͠Α͍ɻ͋Δ∆Fͷζ′ͱ{ξl}∞l=1ͷ෦ྻ{ξlk}∞k=1͕ଘ ࡏͯ͠, lim
k→∞
gFξ
lk
gFξ
lk(z0)=kFζ′ΛΈͨ͢ɻิ2.1ʹΑͬͯ,F্,ҎԼ͕ͳΓͨͭɻ kζF′= lim
k→∞
gF˜ˆ
ξlk−RF∗
gF˜ˆ ξlk
gF˜ˆ
ξlk(˜z0)−RFgˆF∗ ξl˜k
(˜z0)= kF˜ˆ
ζ −RF∗
kFζ˜ˆ
1−RF∗
kζF˜ˆ(˜z0). Αͬͯ, ∆F\ ∪nj=1ℓjͷζ′͕ͨͩ1ͭଘࡏͯ͠,F্,
kFζ′= kF˜ˆ
ζ −RF∗
kFζ˜ˆ
1−RF∗
kζF˜ˆ(˜z0)
͕ͳΓͨͭɻ
{ξ˜l}∞l=n0 ⊂F∗͕ͳΓͨͭ߹ɺ্ͷٞͱಉ༷ͷٞΛߦ͏͜ͱʹΑΓ, ∆F∗\ ∪nj=1ℓjͷ
ζ′∗͕ͨͩ1ͭଘࡏͯ͠,F∗্,
kζF′∗∗= kF˜ˆ
ζ −RF
kF˜ζˆ
1−RF
kFζ˜ˆ(˜z0)
͕ͳΓͨͭ͜ͱ͕Θ͔Δɻ
ิ2.2′.ζ˜Λ∆F1ˆͷҙͷͱ͢Δɻ ͜ͷͱ͖, ∆F1 \ ∪nj=1ℓjͷζ′͕ͨͩ1ͭଘࡏͯ͠,F্,
kFζ′= kF˜ˆ
ζ −RF∗
kFζ˜ˆ
1−RF∗
kζF˜ˆ(˜z0)
͕ͳΓ͔ͨͭ·ͨ, ∆F1∗\ ∪nj=1ℓjͷζ′∗͕ͨͩ1ͭଘࡏͯ͠,F∗্, kζF′∗∗=
kF˜ˆ
ζ −RF
kF˜ζˆ
1−RF
kFζ˜ˆ(˜z0)
͕ͳΓͨͭɻ
ূ໌.ζ˜Λ∆F1ˆͷҙͷͱ͢Δɻิ2.2ʹΑͬͯ,͜ͷͱ͖, ∆F\ ∪nj=1ℓjͷζ′͕ͨͩ1ͭଘ ࡏͯ͠,F্,
kFζ′=
kFζ˜ˆ−RF∗
kFζ˜ˆ
1−RF∗
kζF˜ˆ(˜z0)
͕ͳΓ͔ͨͭ·ͨ, ∆F∗\ ∪nj=1ℓjͷζ′∗͕ͨͩ1ͭଘࡏͯ͠,F∗্, kζF′∗∗=
kF˜ˆ
ζ −RF
kF˜ζˆ
1−RF
kFζ˜ˆ(˜z0)
͕ͳΓͨͭɻ
·ͣ,લऀ͕ͳΓͨͭͱԾఆ͢ΔɻF্ͷඇෛௐؔu͕ଘࡏͯ͠,F্Ͱ,u≤kζF′· · ·⃝1 ͕ ͳΓͨͭͱԾఆ͢Δɻ⃝1 ΑΓ,ͯ͢ͷ∪nj=1ℓjͷξʹରͯ͠, lim
z→ξu(z) = 0͕ͳΓͨͭ͜ͱʹ
ҙ͢Δɻ
u=
F ্Ͱ, u
F∗্Ͱ, 0 ͱ͓͘ɻ͜ͷͱ͖,uFˆ্ͷྼௐؔͰ͋Δɻ
U= inf{s|sFˆ্ͷਖ਼༏ௐؔͰ͋Γ, ˆF ্Ͱ, s≥uΛΈͨ͢ɻ}
ͱ͓͘ɻϖϩϯͷํ๏ʹΑͬͯ,U Fˆ্ͷਖ਼ௐؔͰ͋Γ, ˆF্Ͱ,U≥uΛΈͨ͢ɻ
c0= 1
1−R∪
n j=1ℓj kFˆ
ζ
(˜z0)· · ·⃝2 ͱ͓͘ɻ͜ͷͱ͖,
kζF′=c0
kFˆ
ζ −R∪
nj=1ℓj kFζˆ
͕ͳΓͨͭɻ⃝1ʹΑͬͯ, ˆF্Ͱ,u≤c0kFˆ
ζ ͕ͳΓͨͭɻUͷఆٛʹΑͬͯ, ˆF্Ͱ,U ≤c0kFζˆ
͕ͳΓͨͭɻϛχϚϧੑʹΑͬͯ, ˆF্Ͱ,ఆc͕ଘࡏͯ͠,U=c kFˆ
ζ · · ·⃝3 ͕ͳΓͨͭɻ U−uFˆͷਖ਼༏ௐؔͰ,∪nj=1ℓj্Ͱ,U−u=U ͕ͳΓͨͭͷͰ,
R∪
nj=1ℓj
U ͷఆٛʹΑͬͯ, ˆF্Ͱ,U−u≥R∪
nj=1ℓj
U · · ·⃝4 ͕ͳΓͨͭɻ ଞํ,u+R∪
nj=1ℓj
U Fˆ্Ͱ,࿈ଓͰ,༏ௐͰ͋Δɻͱ͍͏ͷ,໌Β͔ʹ,u+R∪
nj=1ℓj
U Fˆ্Ͱ
࿈ଓͰ, ˆF\ ∪j=1ℓj্ͷௐؔͰ͋ΔͷͰ,ͯ͢ͷ∪nj=1ℓjͷzʹରͯ͠,
u(z) +R∪
n j=1ℓj
U (z)≥
∂V(z)
u+R∪
n j=1ℓj U
dm,
͕ͳΓͨͭ͜ͱΛௐΕΑ͍ɻ͜͜Ͱ,V(z)ہॴԁ൘Ͱ,dm1࣍ݩϧϕʔάଌͰ͋Δɻ
⃝4 ʹΑͬͯ,ͯ͢ͷ∪nj=1ℓjͷzʹରͯ͠,
u(z) +R∪
nj=1ℓj
U (z) =U(z) =
∂V(z)
U dm≥
∂V(z)
u+R∪
nj=1ℓj U
dm
͕ͳΓͨͭɻUͷఆٛʹΑͬͯ, ˆF্Ͱ, u+R∪
n j=1ℓj
U ≥U· · ·⃝5
͕ͳΓͨͭɻ
ACTA HUMANISTICA ET SCIENTIFICA NATURAL SCIENCE SERIES No. 48
4
⃝4 ͓Αͼ⃝5 ʹΑͬͯ, ˆF্Ͱ,u+R∪
nj=1ℓj
U =U· · ·⃝6 ͕ͳΓͨͭɻ͕ͨͬͯ͠,⃝,2 ⃝3͓Αͼ⃝6 ʹΑͬͯ,F্Ͱ,
u=u=U−R∪
nj=1ℓj U =ckFˆ
ζ −R∪
nj=1ℓj ckFˆ
ζ
= c c0 c0
kFˆ
ζ −R∪
nj=1ℓj kFˆ
ζ
= c c0 kζF′
͕ͳΓͨͭɻΑͬͯ,ζ′͕∆F1ʹଐ͢Δ͜ͱ͕Θ͔Δɻ
∆F∗\ ∪nj=1ℓjͷζ′∗͕ͨͩ1ͭଘࡏͯ͠,F∗্, kFζ′∗∗=
kF˜ˆ
ζ −RF
kFζ˜ˆ
1−RF
kF˜ζˆ(˜z0)
͕ͳΓͨͭ߹,্ͷٞͱಉ༷ͷٞΛߦ͏͜ͱʹΑΓ,ٻΊΔ݁ՌΛ͏Δɻ
ิ2.3.(1)ζ′Λҙͷ∆F\∪nj=1ℓjͷͱ͢Δɻ͜ͷͱ͖, ∆Fˆ∩FFˆ∪∆
Fˆ
(͜͜Ͱ, FFˆ∪∆
Fˆ
F ͷFˆ∪
∆FˆดแΛද͢)ͷζ˜͕ͨͩ1ͭଘࡏͯ͠,F্Ͱ, kζF′=
kF˜ˆ
ζ −R∪
n j=1ℓj kFζ˜ˆ
1−R∪
nj=1ℓj kF˜ζˆ (˜z0)
͕ͳΓͨͭɻ
(2)ζ′ Λҙͷ∆F∗\ ∪nj=1ℓjͷͱ͢Δɻ͜ͷͱ͖, ∆Fˆ∩F∗Fˆ∪∆
Fˆ
ͷζ˜∗͕ͨͩ1ͭଘࡏͯ͠, F∗্,
kFζ′∗= kF˜ˆ
ζ∗−R∪
nj=1ℓj kFζ∗˜ˆ
1−R∪
n j=1ℓj kζ∗F˜ˆ (˜z0)
͕ͳΓͨͭɻ
ূ໌. (2)(1)ͱಉ༷ͷ๏Ͱࣔ͢͜ͱ͕Ͱ͖ΔͷͰ, (1)ͷΈࣔ͢ɻ{ξl′}∞l=1(⊂F)Λҙͷ
ྻͰ, lim
l→∞ξ′l=ζ′ΛΈͨ͢ͱ͢Δɻ͕ͨͬͯ͠, lim
l→∞
gξF′
l
gξF′
l(z0)=kFζ′͕ͳΓͨͭɻ
ξl′ΛFˆͷξ˜lͱΈͳͯ͠Α͍ɻ ͕ͨͬͯ͠, ∆Fˆͷζ˜͓Αͼ{ξ˜l}∞l=1ͷ෦ྻ{ξ˜lk}∞k=1͕ଘࡏ
ͯ͠, lim
k→∞
gF˜ˆ
ξlk
gF˜ˆ
ξlk(z0)=kFζ˜ˆ ΛΈͨ͢ɻิ2.1ΑΓ,F্Ͱ, kFζ′= lim
k→∞
gF˜ˆ
ξlk−R∪
n j=1ℓj gF˜ˆ
ξlk
gF˜ˆ
ξlk(˜z0)−R∪
nj=1ℓj gF˜ˆ
ξlk
(˜z0)
= kF˜ˆ
ζ −R∪
nj=1ℓj kF˜ζˆ
1−R∪
nj=1ℓj kFζ˜ˆ (˜z0)
͕ͳΓͨͭɻ
∆Fˆͷ͏1ͭͷζ˜1͕ଘࡏͯ͠,F্Ͱ, kζF′=
kF˜ˆ
ζ1−R∪
nj=1ℓj kFζ˜ˆ
1
1−R∪
n j=1ℓj kF˜ζˆ
1
(˜z0)
͕ͳΓͨͭͱԾఆ͢Δɻ
c=c(z0) = 1 1−R∪
n j=1ℓj kFζ˜ˆ (˜z0)
͓Αͼ
c1=c1(z0) = 1 1−R∪
n j=1ℓj kFζ˜ˆ
1
(˜z0)
5 ͱ͓͘ɻԾఆʹΑͬͯ,
c
kζF˜ˆ−R∪
nj=1ℓj kζF˜ˆ
=c1
kFζ˜ˆ
1−R∪
nj=1ℓj kFζ˜ˆ
1
͕ͳΓͨͭɻ
∪nj=1ℓj͕FˆͷίϯύΫτ෦ू߹Ͱ͋Γ,R∪
n j=1ℓj
kFζ˜ˆ ͓ΑͼR∪
n j=1ℓj kζF˜ˆ
1
͕Fˆ্ͷάϦʔϯϙςϯγϟ ϧͰ͋ΔͷͰ,Ϧʔεͷղఆཧ(cf. [1, Satz 4.6])ʹΑͬͯ,ckF˜ˆ
ζ =c1kF˜ˆ
ζ1͕ͳΓͨͭɻ kF˜ˆ
ζ(˜z0) =kF˜ˆ
ζ1(˜z0) = 1Ͱ͋ΔͷͰ,c=c1ͱͳΓ,͕ͨͬͯ͠,kF˜ˆ
ζ =kF˜ˆ
ζ1 ͕ͳΓͨͭɻ͕ͨͬͯ͠, ζ˜= ˜ζ1͕ͳΓͨͭɻ
ิ 2.3′.(1)ζ′Λҙͷ∆F1 \ ∪nj=1ℓjͷͱ͢Δɻ͜ͷͱ͖, ∆F1ˆ∩FFˆ∪∆
Fˆ
ͷζ˜͕ͨͩ1ͭଘ ࡏͯ͠,F্Ͱ,
kζF′= kF˜ˆ
ζ −R∪
nj=1ℓj kFζ˜ˆ
1−R∪
n j=1ℓj kF˜ζˆ (˜z0)
͕ͳΓͨͭɻ
(2)ζ′ Λҙͷ∆F1∗\ ∪nj=1ℓjͷͱ͢Δɻ͜ͷͱ͖, ∆F1ˆ∩F∗Fˆ∪∆
Fˆ
ͷζ˜∗͕ͨͩ1ͭଘࡏͯ͠, F∗্,
kFζ′∗= kF˜ˆ
ζ∗−R∪
nj=1ℓj kFζ∗˜ˆ
1−R∪
n j=1ℓj kζ∗F˜ˆ (˜z0)
͕ͳΓͨͭɻ
ূ໌. (2)(1)ͱಉ༷ͷ๏Ͱࣔ͢͜ͱ͕Ͱ͖ΔͷͰ, (1)ͷΈࣔ͢ɻิ2.3ΑΓ,ҙͷ
ζ′(∈∆F \ ∪nj=1ℓj)ʹରͯ͠, ˆFͷζ͕ͨͩ1ͭͷଘࡏͯ͠,F্Ͱ, kζF′=
kζF˜ˆ−R∪
nj=1ℓj kFζ˜ˆ
1−R∪
n j=1ℓj kF˜ζˆ (˜z0)
͕ͳΓͨͭɻ ζ′∈∆F1ΛԾఆ͢Δɻ
u͕Fˆ্ͷඇෛௐؔͰ, ˆF্Ͱ,u≤kF˜ˆ
ζ ΛΈͨ͢ͱԾఆ͢Δɻ͜ͷͱ͖, ˆF্Ͱ, u−R∪
nj=1ℓj u ≤kF˜ˆ
ζ −R∪
nj=1ℓj kFζ˜ˆ · · ·⃝1
͕ͳΓͨͭɻ
c0= 1
1−R∪
n j=1ℓj kFζˆ (˜z0) ͱ͓͘ɻ
͜ͷͱ͖,F্Ͱ,
kFζ′=c0
kFζ˜ˆ−R∪
n j=1ℓj kWζ˜
͕ͳΓͨͭɻ u−R∪unj=1ℓj ͓ΑͼkF˜ˆ
ζ −R∪nj=1ℓj
kζF˜ˆ ΛF্ͷඇෛௐؔͱΈͳ͢ɻ ϛχϚϧੑͱ⃝1 ʹΑͬͯ,F্Ͱ,u−R∪
nj=1ℓj
u =c
kF˜ˆ
ζ −R∪
nj=1ℓj kF˜ζˆ
͕ͳΓͨͭɻ࿈ଓੑͱࢄ
ͷఆٛʹΑͬͯ, ˆF্Ͱ,u−RFu∗=c
kFζˆ−RF∗
kFζˆ
͕ͳΓͨͭɻ
͕ͨͬͯ͠, ˆF্Ͱ,u+cRF∗
kζF˜ˆ =ckF˜ˆ
ζ +RFu∗͕ͳΓͨͪ,RF∗
kζF˜ˆ ̸=kF˜ˆ
ζ Ͱ͋ΔͷͰ,RF∗
kF˜ζˆ͕Fˆ্ͷά
ACTA HUMANISTICA ET SCIENTIFICA NATURAL SCIENCE SERIES No. 48
6 ϦʔϯϙςϯγϟϧͰ͋Δ͜ͱʹҙ͢Δ(cf. [1,ิ11.2])ɻͱ͜ΖͰ, ˆF্Ͱ,u≤kF˜ˆ
ζ Ͱ͋Δͷ
Ͱ,RuF∗≤RF∗
kFζ˜ˆͰ͋Δɻ͜ΕΑΓ,RFu∗Fˆ্ͷάϦʔϯϙςϯγϟϧͰ͋Δ͜ͱͰ͋Δ͜ͱ͕Θ
͔ΔɻΑͬͯ,u+cRF∗
kFζ˜ˆ =ckF˜ˆ
ζ +RFu∗ʹରͯ͠,Ϧʔεͷղఆཧ(cf. [1, Satz 4.6])Λ༻͍Δͱ, ˆF
্Ͱ,u=ckF˜ˆ
ζ ͕ͳΓͨͭɻΑͬͯ,ζ∈∆F1ˆ͕ͳΓͨͭɻ
ิ2.4. (1)ζΛҙͷ∆Rͷͱ͢Δɻ͜ͷͱ͖, ∆F\ ∪nj=1ℓjͷζ′͕ͨͩ1ͭଘࡏͯ͠,F
্Ͱ,
kFζ′=
kRζ −RU
kRζ
1−RUkR ζ(z0)
͕ͳΓͨͭɻ
(2)ζΛҙͷ∆Rͷͱ͢Δɻ͜ͷͱ͖, ∆F∗\ ∪nj=1ℓjͷζ′͕ͨͩ1ͭଘࡏͯ͠,F∗্Ͱ, kζF′∗=
kRζ −RUkR ζ
1−RUkR ζ(z0)
͕ͳΓͨͭɻ
ূ໌. (2)(1)ͱಉ༷ͷ๏Ͱࣔ͢͜ͱ͕Ͱ͖ΔͷͰ, (1)ͷΈࣔ͢ɻ{ξl}∞l=1 ΛҙͷRͷ
ྻͰ, lim
l→∞ξl=ζ ͕ͳΓͨͭͱ͢Δɻ͕ͨͬͯ͠, lim
l→∞
gRξl gRξ
l(˜z0) =kRζ ͕ͳΓͨͭɻURͷίϯύ Ϋτ෦ू߹Ͱ͋ΔͷͰ,{ξl}∞l=1 ⊂FͱԾఆͯ͠Α͍ɻΑͬͯ,֤ξl (l∈N)Fͷξl′(l∈N) ͱΈͳͯ͠Α͍ɻΑͬͯ,͋Δ∆F\ ∪nl=1ℓlͷζ′͓Αͼ{ξl}∞l=1ͷ෦ྻ{ξ′lk}∞k=1͕ଘࡏͯ͠,
k→∞lim gFξ
lk
gDξ
lk(z0)=kFζ′͕ͳΓͨͭɻิ2.1ʹΑͬͯ,F্Ͱ, kζF′= lim
k→∞
gξR
lk−RU
gRξl k
gξR
lk(z0)−RU
gξlR k(z0)
=
kRζ −RUkR ζ
1−RU
kRζ(z0)
͕ͳΓͨͭɻ
ิ2.4′.(1)ζΛҙͷ∆R1ͷͱ͢Δɻ͜ͷͱ͖, ∆F1 \ ∪nj=1ℓjͷζ′͕ͨͩ1ͭଘࡏͯ͠,F
্Ͱ,
kFζ′=
kRζ −RU
kRζ
1−RUkR ζ(z0)
͕ͳΓͨͭɻ
(2)ζΛҙͷ∆R1ͷͱ͢Δɻ͜ͷͱ͖, ∆F1∗\ ∪nj=1ℓjͷζ′͕ͨͩ1ͭଘࡏͯ͠,F∗্Ͱ, kζF′∗=
kRζ −RU
kRζ
1−RUkR ζ(z0)
͕ͳΓͨͭɻ
ূ໌(2)(1)ͱಉ༷ͷ๏Ͱࣔ͢͜ͱ͕Ͱ͖ΔͷͰ, (1)ͷΈࣔ͢ɻζ∈∆R1ͱ͢Δɻิ2.4ʹ Αͬͯ, ∆F\ ∪nj=1ℓjͷζ′͕ͨͩ1ͭଘࡏͯ͠,F্Ͱ,
kFζ′=
kRζ −RUkR ζ
1−RU
kRζ(z0)
͕ͳΓͨͭɻF্ͷඇෛௐؔu͕ଘࡏͯ͠,F্Ͱ,u≤kFζ′· · ·⃝1 ͕ͳΓͨͭͱ͢Δɻ⃝1 ΑΓ,ͯ͢ͷ∪nj=1ℓjͷξʹରͯ͠, lim
z→ξu(z) = 0͕ͳΓͨͭ͜ͱʹҙ͢Δɻ