Professional Documents
Culture Documents
BÖLÜM
8.0. Giriş
Bu bölüm beş kısımdan oluşmaktadır. Birinci kısımda ℝ𝑛 deki yüzeylerin temel formları
ele alınmıştır. İkinci kısımda Gauss ve Weingarten denklemleri ile ilgili temel eşitlikler
incelenmiştir. Üçüncü kısımda yüzeylerin Gauss ve ortalama eğrilikleri ile ilgili iki farklı
hesaplama yöntemi ele alınmıştır. İlk olarak, ikinci temel form katsayıları yardımıyla
oluşturulan Weingarten formları ile elde edilen şekil oparetörü matrislerinin
determinantları ve izleri kullanılarak Gauss ve ortalama eğrilik hesabı ele alınmıştır.
İkinci olarak, Gauss denkleminin normal bileşenini oluşturan ikinci temel form vektörleri
yardımıyla Gauss ve ortalama eğrilikleri hesaplama yöntemi verilmiştir. Dördüncü
kısımda asli eğrilikler ile ilgili temel tanım ve sonuçlar verilmiştir. Son kısımda ise ℝ𝑛 ,
𝑛 > 3 deki yüzeylerin normal ortalama ve normal Gauss eğrilikleri ile ilgili işlemler
yapılmış ve bazı örnekler verilmiştir.
Tanım 8.1.1 𝑀ℝ𝑛 lokal yüzeyinin 1.inci temel form matrisinin tersi
1 𝑔22 −𝑔12
𝐼 −1 (𝑥) = (𝑔𝑖𝑗 )𝑖,𝑗=1,2 = ( 𝑔11 ) (8.1.4)
𝑔 −𝑔21
1
2
Tanım 8.1.2 𝑀ℝ𝑛 lokal yüzeyi 𝑥 = 𝑥(𝑢, 𝑣) regüler yamasıyla verilsin. 𝑀 nin
𝑝 = 𝑥(𝑢, 𝑣) noktasındaki 𝑇𝑝⊥ 𝑀 normal uzayı {𝑁1 , 𝑁2 , … , 𝑁𝑛−2 } ortonormal birim normal
vektörleri tarafından gerilsin. Buradan, 𝑀 nin 𝑁𝛼 , 1 ≤ 𝛼 ≤ 𝑛 − 2 birim normal vektör
alanına karşılık gelen 2.nci temel form katsayıları
𝛼 𝛼 𝛼 𝛼
𝑐11 = 〈𝑥𝑢𝑢 , 𝑁𝛼 〉, 𝑐12 = 𝑐21 = 〈𝑥𝑢𝑣 , 𝑁𝛼 〉, 𝑐22 = 〈𝑥𝑣𝑣 , 𝑁𝛼 〉 (8.1.6)
biçiminde tanımlanır. Burada 𝑥𝑢𝑢 , 𝑥𝑣𝑣 , 𝑥𝑢𝑣 = 𝑥𝑣𝑢 vektörleri 𝑥 koordinat yamasının 2.
mertebeden kısmi türevleridir. Böylece 𝑀 nin 𝑁𝛼 ya karşılık gelen 2.nci temel form
matrisi ve 2.nci temel formu sırasıyla
𝑐 𝛼 𝑐12
𝛼
𝛼
𝐼𝐼𝛼 (𝑥) = (𝑐𝑖𝑗 ) = ( 11
𝛼 𝛼 ) (8.1.7)
𝑖,𝑗=1,2 𝑐21 𝑐22
ve
𝛼 𝛼 𝛼
𝐼𝐼𝛼 = 𝑐11 𝑑𝑢2 + 2𝑐12 𝑑𝑢𝑑𝑣 + 𝑐22 𝑑𝑣 2 (8.1.8)
Örnek 8.1.3 ℝ3 de
𝑥(𝑢, 𝑣) = (𝑓1 (𝑢), 𝑓2 (𝑢)𝑐𝑜𝑠𝑣, 𝑓2 (𝑢)𝑠𝑖𝑛𝑣) (8.1.9)
koordinat yamasıyla verilen dönel yüzeyin 1.inci ve 2.nci temel form matrislerini
bulunuz.
2
türevlenebilir fonksiyondur. Böylece bu yüzeyin 1.inci temel form matrisi
𝑖⃗ 𝑗⃗ ⃗⃗
𝑘
𝑥𝑢 × 𝑥𝑣 = |𝑓1′ (𝑢) 𝑓2′ (𝑢)𝑐𝑜𝑠𝑣 𝑓2′ (𝑢)𝑠𝑖𝑛𝑣 |
0 −𝑓2 (𝑢)𝑠𝑖𝑛𝑣 𝑓2 (𝑢)𝑐𝑜𝑠𝑣
𝑥𝑢 × 𝑥𝑣 1
𝑁= = (𝑓 ′ (𝑢), −𝑓1′ (𝑢)𝑐𝑜𝑠𝑣, −𝑓1′ (𝑢)𝑠𝑖𝑛𝑣) (8.1.11)∗
‖𝑥𝑢 × 𝑥𝑣 ‖ 𝜂(𝑢) 2
olarak bulunur. Benzer şekilde 𝑥 koordinat yamasının 2.nci mertebeden kısmi türevleri
𝜅(𝑢)
− 0
𝜂(𝑢)
𝐼𝐼(𝑥) = (𝑐𝑖𝑗 )𝑖,𝑗=1,2 = (8.1.14)
𝑓1′ (𝑢)𝑓2 (𝑢)
0
( 𝜂(𝑢) )
3
ve 2.nci temel formu
1
𝐼𝐼 = (−𝜅𝑑𝑢2 + 𝑓1′ (𝑢)𝑓2 (𝑢)𝑑𝑣 2 ) (8.1.15)
𝜂(𝑢)
olarak hesaplanır. Özel olarak 𝛾(𝑢) = (𝑓1 (𝑢), 𝑓2 (𝑢)) meridyen eğrisi birim hızlı
parametrizasyonu alınırsa dönel yüzeyin 2.nci temel formu
Örnek 8.1.4 ℝ3 de
𝑥(𝑢, 𝑣) = (𝑢𝑐𝑜𝑠𝑣, 𝑢𝑠𝑖𝑛𝑣, 𝑏𝑣); 𝑏 > 0 (8.1.16)
koordinat yamasıyla verilen helikoid yüzeyinin 1.inci ve 2.nci temel form katsayılarını
hesaplayınız.
𝑖⃗ 𝑗⃗ ⃗⃗
𝑘
𝑥𝑢 × 𝑥𝑣 = | 𝑐𝑜𝑠𝑣 𝑠𝑖𝑛𝑣 0|
−𝑢𝑠𝑖𝑛𝑣 𝑢𝑐𝑜𝑠𝑣 𝑏
= (𝑏𝑠𝑖𝑛𝑣, −𝑏𝑐𝑜𝑠𝑣, 𝑢)
yardımıyla yüzeyin birim normali
𝑥𝑢 × 𝑥𝑣 1
𝑁= = (𝑏𝑠𝑖𝑛𝑣, −𝑏𝑐𝑜𝑠𝑣, 𝑢)
‖𝑥𝑢 × 𝑥𝑣 ‖ √𝑢2 + 𝑏 2
4
olarak hesaplanır. Benzer şekilde 𝑥 koordinat yamasının 2.nci mertebeden kısmi türevleri
𝑥𝑢𝑢 = (0,0,0),
𝑥𝑢𝑣 = (−𝑠𝑖𝑛𝑣, 𝑐𝑜𝑠𝑣, 0),
𝑥𝑣𝑣 = (−𝑢𝑐𝑜𝑠𝑣, −𝑢𝑠𝑖𝑛𝑣, 0)
−𝑏
0
𝐼𝐼(𝑥) = (𝑐𝑖𝑗 )𝑖,𝑗=1,2 = √𝑢2 + 𝑏 2 (8.1.19)
−𝑏
0
2 2
(√𝑢 + 𝑏 )
ve 2.nci temel formu
−2𝑏
𝐼𝐼 = 𝑑𝑢𝑑𝑣 (8.1.20)
√𝑢2 + 𝑏 2
olarak hesaplanır.
Örnek 8.1.5 ℝ3 de
𝑥(𝑢, 𝑣) = (𝑢, 𝑣, ℎ(𝑢, 𝑣))
Monge yamasıyla verilen graf yüzeyinin 1.inci ve 2.nci temel form matrislerini bulunuz.
5
ve 1.inci temel formu
𝐼 = (1 + ℎ𝑢2 )𝑑𝑢2 + 2ℎ𝑢 ℎ𝑣 𝑑𝑢𝑑𝑣 + (1 + ℎ𝑣2 )𝑑𝑣 2
1 ℎ𝑢𝑢 ℎ𝑢𝑣
𝐼𝐼(𝑥) = (𝑐𝑖𝑗 )𝑖,𝑗=1,2 = ( ) (8.1.23)
√𝑔 ℎ𝑣𝑢 ℎ𝑣𝑣
Tanım 8.1.6 𝑀ℝ3 regüler, yönlendirilebilir yüzeyi 𝑥(𝑢, 𝑣): (𝑢, 𝑣) ∈ 𝑈 ⊂ ℝ2 koordinat
yamasıyla verilsin. 𝑀 nin 𝑝 = 𝑥(𝑢, 𝑣) noktasındaki birim normal vektörü 𝑁 ye karşılık
gelen 2.nci temel form matrisi
𝑐11 𝑐12
𝐼𝐼(𝑥) = (𝑐𝑖𝑗 )𝑖,𝑗=1,2 = (𝑐 𝑐22 )
21
Örnek 8.1.7 ℝ3 de
𝑥(𝑢, 𝑣) = ((2 + 𝑐𝑜𝑠𝑣)𝑐𝑜𝑠𝑢, (2 + 𝑐𝑜𝑠𝑣)𝑠𝑖𝑛𝑢, 𝑠𝑖𝑛𝑣)
koordinat yamasıyla verilen tor yüzeyinin üzerindeki noktaların cinsini belirleyiniz.
6
Çözüm. Bu yüzeyin birim normali
𝑥𝑢 (𝑢, 𝑣) = (−(2 + 𝑐𝑜𝑠𝑣)𝑠𝑖𝑛𝑢, (2 + 𝑐𝑜𝑠𝑣)𝑐𝑜𝑠𝑢, 0),
𝑥𝑣 (𝑢, 𝑣) = (−𝑠𝑖𝑛𝑣𝑐𝑜𝑠𝑢, −𝑠𝑖𝑛𝑣𝑠𝑖𝑛𝑢, 𝑐𝑜𝑠𝑣)
7
8.1.1 ℝ𝟒 deki Bazı Yüzeylerin Temel Formlarının Hesaplanması
Bu kısımda ℝ4 deki genel rotasyonel yüzeyleri ile açık (eksplisit) formda verilen
yüzeylerin 1.nci ve 2.nci temel formları hesaplanmıştır.
Dönel yüzeylerin ℝ4 uzayına genellemesi ilk defa 1890 yılında (Cole,1890) çalışmasında
ele alınmıştır. Daha sonra 1916 yılında D. Moore ℝ4 deki genel rotasyonel yüzeyleri
parametrik olarak
rotasyonel yüzeyinin meridyen (döngü) eğrisidir. Eğer 𝑐 ya da 𝑑 sıfıra eşit olursa (8.1.27)
parametrizasyonu ile verilen yüzey (basit) rotasyonel yüzey biçimini alır.
I) ℝ𝟒 de rotasyonel yüzeyler
𝐚) 𝛾(𝑢) = (𝑒 𝑢 , 3𝑒 𝑢 + 5, 𝑐𝑜𝑠𝑢),
𝐛) 𝛾(𝑢) = (𝑠𝑖𝑛𝑢, 3𝑠𝑖𝑛𝑢 + 5, 3𝑢 + 5),
𝐜) 𝛾(𝑢) = (3𝑠𝑖𝑛𝑢, 𝑢 + 5, 3𝑢 + 5)
şeklinde seçilirse elde edilen genel rotasyonel yüzeylerinin ℝ3 deki izdüşümlerinin
grafikleri sırasıyla Şekil 8.1.2 de verilmiştir.
8
a) b) c)
Şekil 8.1.2 Bazı rotasyonel yüzeylerinin ℝ3 deki izdüşümleri
Meridyen eğrisi 𝛾(𝑢) = (𝑓1 (𝑢), 𝑓2 (𝑢), 𝑠𝑖𝑛𝑢) şeklinde alınırsa elde edilen rotasyonel
yüzey Otsuiki yüzeyi olarak adlandırılır. Bu yüzeyler ilk defa T. Otsuiki tarafından 1966
yılında (Otsuiki 1966) da tanımlamıştır. Özel olarak
4 𝑢 4 𝑢
𝒅) 𝑓1 (𝑢) = 𝑐𝑜𝑠 3 ( ) , 𝑓2 (𝑢) = 𝑠𝑖𝑛3 ( ),
3 2 3 2
1 1
𝐞) 𝑓1 (𝑢) = 𝑠𝑖𝑛2 𝑢 𝑐𝑜𝑠(2𝑢), 𝑓2 (𝑢) = 𝑠𝑖𝑛2 𝑢 𝑠𝑖𝑛(2𝑢)
2 2
parametrelendirmeleri Otsuiki yüzeyleri için ilginç örnekler oluşturur. Birinci yüzey sabit
Gauss eğrilikli olup Otsuiki küresi olarak adlandırılır. Bu yüzeylerin ℝ3 deki
izdüşümlerinin grafikleri sırasıyla Şekil 8.1.3 de verilmiştir.
d) e)
Şimdi, 𝛾 = 𝛾(𝑢) meridyen eğrisini birim hızlı alarak (8.1.28) koordinat yamasıyla
verilen rotasyonel yüzeyin 1. ve 2. temel form matrislerini bulalım. 𝑀1 ⊂ ℝ4 rotasyonel
yüzeyinin 𝑇𝑝 𝑀1 tanjant uzayı 𝑥(𝑢, 𝑣) = 𝑝 noktasında
𝑥𝑢 (𝑢, 𝑣) = (𝑓1′ (𝑢), 𝑓2′ (𝑢), 𝑓3′ (𝑢) 𝑐𝑜𝑠 𝑣 , 𝑓3′ (𝑢) 𝑠𝑖𝑛 𝑣 ),
𝑥𝑣 (𝑢, 𝑣) = ( 0,0, − 𝑓3 (𝑢) 𝑠𝑖𝑛 𝑣 , 𝑓3 (𝑢) 𝑐𝑜𝑠 𝑣)
9
olarak bulunur. Meridyen eğrisi birim hızlı olarak seçildiğinden
𝑔11 𝑔12 1 0
𝐼(𝑥) = (𝑔𝑖𝑗 )𝑖,𝑗=1,2 = (𝑔 𝑔22 ) = (0 )
21 𝑓3 2 (𝑢)
ve 1. temel formu
𝑑𝑠 2 = 𝑑𝑢2 + 𝑓3 2 (𝑢)𝑑𝑣 2
şeklinde hesaplanır. Benzer şekilde 𝑥(𝑢, 𝑣) koordinat yamasının 2.nci mertebeden kısmi
türevleri,
𝑥𝑢𝑢 (𝑢, 𝑣) = ( 𝑓1 ′′ (𝑢), 𝑓2 ′′ (𝑢), 𝑓3 ′′ (𝑢)𝑐𝑜𝑠 𝑣 , 𝑓3 ′′ (𝑢) 𝑠𝑖𝑛 𝑣 ),
𝑥𝑢𝑣 (𝑢, 𝑣) = ( 0,0, −𝑓3 ′(𝑢) 𝑠𝑖𝑛 𝑣 , 𝑓3 ′(𝑢) 𝑐𝑜𝑠 𝑣),
𝑥𝑣𝑣 (𝑢, 𝑣) = (0, 0, −𝑓3 (𝑢) 𝑐𝑜𝑠 𝑣 , −𝑓3 (𝑢) 𝑠𝑖𝑛 𝑣 )
1
𝑁1 = ( 𝑓1 ′′ (𝑢), 𝑓2 ′′ (𝑢), 𝑓3 ′′ (𝑢)𝑐𝑜𝑠 𝑣 , 𝑓3 ′′ (𝑢) 𝑠𝑖𝑛 𝑣 ),
𝜅𝛾
1
𝑁2 = (𝑝23 , −𝑝13 , 𝑝12 𝑐𝑜𝑠𝑣, 𝑝12 𝑠𝑖𝑛𝑣)
𝜅𝛾
𝜅𝛾 = √( 𝑓1 ′′ )2 + ( 𝑓2 ′′ )2 + ( 𝑓3 ′′ )2 (8.1.29)
γ eğrisinin eğriliği ve
türevlenebilir fonksiyonlardır.
10
olarak bulunur. Burada,
𝜅𝛾 0
𝑐1 1
𝑐12
1
𝐼𝐼1 (𝑥) = (𝑐𝑖𝑗 ) = ( 11
1 1 )=(
𝑓3 𝑓3 ′′ ),
𝑖,𝑗=1,2 𝑐21 𝑐22 0 −
𝜅𝛾
0 0
𝑐2 2
𝑐12 𝜅 ′′
𝐼𝐼2 (𝑥) = 2
(𝑐𝑖𝑗 ) = ( 11 1 𝑓3 )
2 2 ) = (0 −
𝑖,𝑗=1,2 𝑐21 𝑐22 𝜅𝛾
ve 2.nci temel formları
𝑓3 𝑓3 ′′ 2 𝜅1 𝑓3 ′′ 2
𝐼𝐼1 = 𝜅𝛾 𝑑𝑢2 − 𝑑𝑣 , 𝐼𝐼2 = − 𝑑𝑣
𝜅𝛾 𝜅𝛾
olarak bulunur.
𝛾: 𝛪 ⊂ ℝ ⟶ ℝ3 , 𝛾(𝑢) =(𝑓1 (𝑢), 0, 𝑓2 (𝑢)) birim hızlı regüler bir eğri olsun. Bu takdirde
𝛾 eğrisinin 𝜌(𝑣) birim küresel eğrinin etrafında döndürülmesiyle elde edilen rotasyonel
yüzey
𝑀2 : 𝑥(𝑢, 𝑣) = 𝑓1 (𝑢)𝑒⃗⃗1 + 𝑓2 (𝑢)𝜌(𝑣) (8.1.32)
yamasına sahip olup bu yüzeye ℝ4 de meridyen yüzeyi adı verilir (Ganchev ve
Mileusheva 2015), (Arsan ve ark. 2014), (Bulca ve Arslan 2015), (Arslan ve ark. 2017).
Burada 𝑒⃗1 = (1,0,0,0) birim vektör ve 𝜌 = 𝜌(𝑣) birim hızlı eğri olup 𝑆 2 (1) birim küresi
üzerinde yatar. Diğer bir deyişle ‖𝜌(𝑣)‖ = 1, ‖𝜌′(𝑣)‖ = 1 özellikleri sağlanır. Bu
eğrinin Frenet denklemleri
𝜌′ (𝑣) = 𝑇(𝑣),
𝑇 ′ (𝑣) = 𝜅𝜌 𝑁(𝑣) − 𝜌(𝑣), (8.1.33)
𝑁 ′ (𝑣) = −𝜅𝜌 𝑇(𝑣)
𝜌(𝑣) = (√1 − 𝑡𝑎𝑛ℎ2 (𝑣 + 3), 𝑐𝑜𝑠𝑣 𝑡𝑎𝑛ℎ(𝑣 + 3), 𝑠𝑖𝑛𝑣 𝑡𝑎𝑛ℎ(𝑣 + 3))
yardımıyla elde edilen meridyen yüzeyinin ℝ3 deki izdüşümü Şekil 8.1.4 deki gibidir.
11
Şekil 8.1.4 Meridyen yüzeyinin izdüşüm yüzeyi
𝑥𝑢 = 𝑓1 ′(𝑢)𝑒⃗1 + 𝑓2 ′(𝑢)𝜌(𝑣),
𝑥𝑣 = 𝑓2 (𝑢)𝜌′(𝑣)
vektörleri tarafından gerilir. Böylece, 𝑀2 yüzeyinin 1.inci temel form katsayıları
𝑔11 = 〈𝑥𝑢 , 𝑥𝑢 〉 = 1,
𝑔12 = 〈𝑥𝑢 , 𝑥𝑣 〉 = 0, (8.1.34)
𝑔22 = 〈𝑥𝑣 , 𝑥𝑣 〉 = 𝑓2 2 (𝑢)
𝑔11 𝑔12 1 0
𝐼(𝑥) = (𝑔𝑖𝑗 )𝑖,𝑗=1,2 = (𝑔 𝑔22 ) = (0 2 )
21 𝑓2 (𝑢)
𝑁1 = 𝑁(𝑣)
(8.1.35)1
𝑁2 = 𝑓2 ′(𝑢)𝑒⃗1 − 𝑓1 ′(𝑢)𝜌(𝑣)
birim vektörleri tarafından gerilir. Burada 𝑁(𝑣), 𝜌 küresel eğrisinin birim normal
vektörüdür.
12
1
𝑐11 = 〈𝑥𝑢𝑢 , 𝑁1 〉 = 0,
1
𝑐12 = 〈𝑥𝑢𝑣 , 𝑁1 〉 = 0,
1
𝑐22 = 〈𝑥𝑣𝑣 , 𝑁1 〉 = 𝜅𝜌 (𝑣)𝑓2 (𝑢), (8.1.36)
2
𝑐11 = 〈𝑥𝑢𝑢 , 𝑁2 〉 = −𝜅𝛾 (𝑢),
2
𝑐12 = 〈𝑥𝑢𝑣 , 𝑁2 〉 = 0
𝑐22 = 〈𝑥𝑣𝑣 , 𝑁2 〉 = 𝑓1′ (𝑢)𝑓2 (𝑢)
2
parametizasyonu ile ifade edilir (Ganchev ve Milousheva, 2008; Arslan ve ark., 2012;
Arslan ve ark., 2017).
13
1 1
𝐛) 𝑓1 (𝑢) = sin(𝜅𝑢), 𝑓2 (𝑢) = cos(𝜅𝑢), 𝑐 = 1, 𝑑 = 2,
𝜅 𝜅
parametrelendirmesi ile verilen yüzey Blaschke yüzeyi olarak adlandırılır (Kim ve Lee,
1993) . Burada 𝜅 yüzeyin geodezik eğriliğidir. Bununla birlikte Y.H. Kim her 𝑝 ∈ 𝑀3
noktasında yüzey üzerindeki geodeziğin ℝ4 de bir 𝑤-eğrisi olduğunu ispatlamıştır. Bu
yüzeyin ℝ3 deki izdüşümleri Şekil 8.1.5 de verilmiştir.
a) b) c)
𝐝) 𝑓1 (𝑢) = u, 𝑓2 (𝑢) = 1, 𝑐 = 1, 𝑑 ∈ ℝ
parametrelendirme ile verilen yüzey basit döngü yüzeyi olarak adlandırılır (Geysens ve
ark. 1983). Bu yüzeyin ℝ3 deki izdüşümü için bakınız Şekil 8.1.6-(c).
parametrelendirmesi ile verilen yüzey Aminov döngü yüzeyi olarak olarak adlandırılır
(Aminov 1994).
a) b) c)
Şekil 8.1.6 a) Düz Klein şişesi, b) Banchoff yüzeyi, c) Döngü yüzeyinin izdüşümleri
parametrelendirmesi ile verilen yüzey Lawson yüzeyi olarak olarak bilinir (Lawson,
1970). Bu yüzeyin ℝ3 deki izdüşümleri Şekil 8.1.7 de verilmiştir.
14
sin𝑢
𝐠) 𝑓1 (𝑢) = , 𝑓 (𝑢) = 𝑓1 (𝑢)cosu, 𝑐 = 1, 𝑑 = 1,
1 + 𝑐𝑜𝑠 2 𝑢 2
parametrelendirmesi ile verilen yüzey Whitney küresi olarak bilinir (Borrelli ve ark.,
1995).
a) b)
a) b) c)
Şekil 8.1.8 a) 𝑟(𝑢) = 1, b) 𝑟(𝑢) = √𝑢, c) 𝑟(𝑢) = e𝑢 için Vranceanu yüzeyinin izdüşümleri
15
şeklinde hesaplanır. Burada,
2 2
𝜂(𝑢) = √(𝑓1 ′(𝑢)) + (𝑓2 ′(𝑢)) (8.1.45)
1
𝑁1 = (𝑓 ′(𝑢) cos 𝑐𝑣 , 𝑓2 ′(𝑢) sin 𝑐𝑣 , −𝑓1 ′(𝑢) cos 𝑑𝑣, −𝑓1 ′(𝑢) sin 𝑑𝑣),
𝜂 2
(8.1.47)
1
𝑁2 = (−𝑑𝑓2 (𝑢)𝑠𝑖𝑛𝑐𝑣, 𝑑𝑓2 (𝑢) cos 𝑐𝑣 , 𝑐𝑓1 (𝑢) sin 𝑑𝑣 , −𝑐𝑓1 (𝑢) cos 𝑑𝑣)
𝜙
1
𝜅𝛾
𝑐11 = 〈𝑥𝑢𝑢 , 𝑁1 〉 = − ,
𝜂
1
𝑐12 = 〈𝑥𝑢𝑣 , 𝑁1 〉 = 0,
1
𝜇
𝑐22 = 〈𝑥𝑣𝑣 , 𝑁1 〉 = − , (8.1.48)
𝜂
2 〈𝑥 〉
𝑐11 = 𝑢𝑢 , 𝑁2 = 0,
2
𝛿
𝑐12 = 〈𝑥𝑢𝑣 , 𝑁2 〉 = − ,
𝜙
2
𝑐22 = 〈𝑥𝑣𝑣 , 𝑁2 〉 = 0
16
olup;
𝜅𝛾 (𝑢) = 𝑓1′ (𝑢)𝑓2 ′′(𝑢) − 𝑓1′′ (𝑢)𝑓2 ′(𝑢) (8.1.51)
𝛿
0 −
2 𝜙
𝐼𝐼2 (𝑥) = (𝑐𝑖𝑗 ) = (8.1.53)
𝑖,𝑗=1,2 𝛿
− 0
( 𝜙 )
ve 2.nci temel formları
𝜅𝛾 2 𝜇
𝐼𝐼1 = − 𝑑𝑢 − 𝑑𝑣 2 , (8.1.54)
𝜂 𝜂
𝛿
𝐼𝐼2 = −2 𝑑𝑢𝑑𝑣 (8.1.55)
𝜙
olarak bulunur.
1 + 𝑓𝑢2 + 𝑔𝑢2 𝑓𝑢 𝑓𝑣 + 𝑔𝑢 𝑔𝑣
𝐼(𝑥) = ( )
𝑓𝑢 𝑓𝑣 + 𝑔𝑢 𝑔𝑣 1 + 𝑓𝑣2 + 𝑔𝑣2
ve 1.inci temel formu
17
𝑑𝑠 2 = (1 + 𝑓𝑢2 + 𝑔𝑢2 )𝑑𝑢2 + 2(𝑓𝑢 𝑓𝑣 + 𝑔𝑢 𝑔𝑣 )𝑑𝑢𝑑𝑣 + (1 + 𝑓𝑣2 + 𝑔𝑣2 )𝑑𝑣 2
1
𝑁1 = (−𝑓𝑢 , −𝑓𝑣 , 1, 0),
√𝐴
1
𝑁2 = (𝐵𝑓𝑢 −𝐴𝑔𝑢 , 𝐵𝑓𝑣 −𝐴𝑔𝑣 , −𝐵, 𝐴)
√𝑔√𝐴
𝐴 = 1 + 𝑓𝑢2 + 𝑓𝑣2
𝐵 = 𝑓𝑢 𝑔𝑢 + 𝑓𝑣 𝑔𝑣 (8.1.58)
𝐶 = 1 + 𝑔𝑢2 + 𝑔𝑣2
2
olup √𝐴𝐶 − 𝐵 2 = √𝑔11 𝑔22 − 𝑔12 = √𝑔 dir. Böylece bu yüzeyin 2.nci temel form
katsayıları
1
𝑓𝑢𝑢
𝑐11 = 〈 𝑥𝑢𝑢 (𝑢, 𝑣), 𝑁1 (𝑢, 𝑣) 〉 = ,
√𝐴
1
𝑓𝑢𝑣
𝑐12 = 〈 𝑥𝑢𝑣 (𝑢, 𝑣), 𝑁1 (𝑢, 𝑣) 〉 =
√𝐴
1
𝑓𝑣𝑣
𝑐22 = 〈 𝑥𝑣𝑣 (𝑢, 𝑣), 𝑁1 (𝑢, 𝑣) 〉 = , (8.1.59)
√𝐴
2
𝐴𝑔𝑢𝑢 − 𝐵𝑓𝑢𝑢
𝑐11 = 〈 𝑥𝑢𝑢 (𝑢, 𝑣), 𝑁2 (𝑢, 𝑣) 〉 = ,
√𝑔√𝐴
2
𝐴𝑔𝑢𝑣 − 𝐵𝑓𝑢𝑣
𝑐12 = 〈 𝑥𝑢𝑣 (𝑢, 𝑣), 𝑁2 (𝑢, 𝑣) 〉 =
√𝑔√𝐴
2
𝐴𝑔𝑣𝑣 − 𝐵𝑓𝑣𝑣
𝑐22 = 〈 𝑥𝑣𝑣 (𝑢, 𝑣), 𝑁2 (𝑢, 𝑣) 〉 =
√𝑔√𝐴
dır. Buradan 𝑁1 ve 𝑁2 vektörlerine karşılık gelen 2.nci temel form matrisleri sırasıyla
𝑐 1 𝑐12
1 1 𝑓𝑢𝑢 𝑓𝑢𝑣
1
𝐼𝐼1 (𝑥) = (𝑐𝑖𝑗 ) = ( 11
1 1 )= ( ),
𝑖,𝑗=1,2 𝑐21 𝑐22 √𝐴 𝑓𝑢𝑣 𝑓𝑣𝑣
𝑐2 2
𝑐12 1 𝐴𝑔 − 𝐵𝑓𝑢𝑢 𝐴𝑔𝑢𝑣 − 𝐵𝑓𝑢𝑣
2
𝐼𝐼2 (𝑥) = (𝑐𝑖𝑗 ) = ( 11
2 2 )= ( 𝑢𝑢 )
𝑖,𝑗=1,2 𝑐21 𝑐22 √𝑔√𝐴 𝐴𝑔𝑢𝑣 − 𝐵𝑓𝑢𝑣 𝐴𝑔𝑣𝑣 − 𝐵𝑓𝑣𝑣
olarak hesaplanır.
18
8.2. Gauss ve Weingarten Denklemleri
Yüzeylerin teğet ve normal vektörlerinin herhangi bir teğet vektörü yönünde türevleri
Gauss ve Weingarten denklemleri olarak bilinir. Gauss denklemini teğet bileşeni
Christoffel sembolleri yardımıyla, normal bileşeni ise ikinci temel form katsayıları ile
tanımlanır. Bununla birlikte Weingarten denkleminin teğet bileşeni şekil operatörü
yardımıyla, normal bileşeni ise torsiyon katsayıları yardımıyla ifade edilir.
Tanım 8.2.1 𝑀ℝ𝑛 lokal yüzeyi 𝑥(𝑢, 𝑣): (𝑢, 𝑣) ∈ 𝑈 ⊂ ℝ2 regüler yamasıyla verilsin. 𝑀
nin 𝑔𝑖𝑗 metrik katsayılarına bağlı olarak Christoffel sembolleri
2
1 𝜕𝑔𝑗𝑙 𝜕𝑔𝑗𝑖 𝜕𝑔𝑖𝑗
Γ𝑖𝑗𝑘 = ∑ 𝑔𝑘𝑙 ( + − ) , 1 ≤ 𝑖, 𝑗, 𝑘 ≤ 2 (8.2.1)
2 𝜕𝑢𝑖 𝜕𝑢𝑗 𝜕𝑢𝑙
𝑙=1
Teorem 8.2.2 𝑀ℝ𝑛 lokal yüzeyi 𝑥(𝑢, 𝑣): (𝑢, 𝑣) ∈ 𝑈 ⊂ ℝ2 regüler yamasıyla verilsin.
Bu takdirde 𝑀 nin 𝑔𝑖𝑗 metrik katsayılarına göre Christoffel sembolleri
𝜕𝑔11 𝜕𝑔 𝜕𝑔 𝜕𝑔 𝜕𝑔 𝜕𝑔
𝑔22 − 2𝑔12 12 + 𝑔12 11 𝑔11 11 − 2𝑔11 12 + 𝑔12 11
1
Γ11= 𝜕𝑢 𝜕𝑢 𝜕𝑣 2
, Γ11 = − 𝜕𝑣 𝜕𝑢 𝜕𝑢
2𝑔 2𝑔
𝜕𝑔 𝜕𝑔 𝜕𝑔 𝜕𝑔
𝑔22 11 − 𝑔12 22 𝑔11 22 − 𝑔12 11
1
Γ12 = 𝜕𝑣 𝜕𝑢 , 2
Γ12 = 𝜕𝑢 𝜕𝑣
2𝑔 2𝑔
𝜕𝑔 𝜕𝑔 𝜕𝑔 𝜕𝑔 𝜕𝑔 𝜕𝑔
𝑔22 22 − 2𝑔12 12 + 𝑔12 22 𝑔11 22 − 2𝑔11 12 + 𝑔12 22
1
Γ22 =− 𝜕𝑢 𝜕𝑣 𝜕𝑣 , Γ 2 = 𝜕𝑣 𝜕𝑣 𝜕𝑢
22
2𝑔 2𝑔
dir.
Sonuç 8.2.3 𝑀ℝ𝑛 lokal yüzeyi 𝑥(𝑢, 𝑣) regüler yamasıyla verilsin. Bu takdirde
1 2
Γ11 + Γ12 = (ln√𝑔)
𝑢
ve
1 2
Γ12 + Γ22 = (ln√𝑔)
𝑣
dir.
19
İspat. Teorem 8.2.2 deki eşitlikler yardımıyla
1 2)
𝜕𝑔11 𝜕𝑔12 𝜕𝑔22 2 )
2𝑔(Γ11 + Γ12 = 𝑔22 − 2𝑔12 + 𝑔11 = (𝑔11 𝑔22 − 𝑔12 𝑢
𝜕𝑢 𝜕𝑢 𝜕𝑢
ve
1 2 )
𝜕𝑔11 𝜕𝑔12 𝜕𝑔22 2 )
2𝑔(Γ12 + Γ22 = 𝑔22 − 2𝑔12 + 𝑔11 = (𝑔11 𝑔22 − 𝑔12 𝑣
𝜕𝑣 𝜕𝑣 𝜕𝑣
2
bulunur. Burada 𝑔 = 𝑑𝑒𝑡(𝑔𝑖𝑗 ) = 𝑔11 𝑔22 − 𝑔12 dir. Böylece
2 )
(𝑔11 𝑔22 − 𝑔12
1 2 𝑢
Γ11 + Γ12 = = (ln√𝑔)
2𝑔 𝑢
ve
2 )
(𝑔11 𝑔22 − 𝑔12
1 2 𝑣
Γ12 + Γ22 = = (ln√𝑔)
2𝑔 𝑣
Sonuç 8.2.4 𝑀ℝ𝑛 lokal yüzeyi 𝑥 = 𝑥(𝑢, 𝑣) regüler, ortogonal yamasıyla (𝑔12 = 0)
verilsin. Bu takdirde M nin Christoffel sembolleri
Sonuç 8.2.5 𝑀ℝ𝑛 lokal yüzeyi 𝑥 = 𝑥(𝑢, 𝑣) regüler, izotermal yamasıyla verilsin. Bu
takdirde M nin Christoffel sembolleri
1
𝜆𝑢 2 𝜆𝑣 1
𝜆𝑣
Γ11 = , Γ11 = − , Γ12 =
𝜆 𝜆 𝜆 (8.2.4)
2
𝜆𝑢 1 𝜆𝑢 2
𝜆𝑣
Γ12 = , Γ22 = − , Γ22 =
𝜆 𝜆 𝜆
olup;
1 1 2 2
Γ11 + Γ22 = 0, Γ11 + Γ22 =0 (8.2.5 )
İspat. (7.4.1) deki eşitliklerle verilen izotermal yama tanımından 𝑀 yüzeyinin 1.inci
temel form katsayıları
𝑔11 = 𝑔22 = 𝜆2 (𝑢, 𝑣) ve 𝑔12 = 0 (8.2.6)
şartını sağlar. Böylece (8.2.6) deki eşitlikler (8.2.3) de yerine yazılırsa ispat
tamamlanır ■
20
Sonuç 8.2.6 𝑀ℝ𝑛 lokal yüzeyi 𝑥 = 𝑥(𝑢, 𝑣) regüler, Tchebycheff ağıyla
(koordinatlarıyla) verilsin. Bu takdirde M nin Christoffel sembolleri
𝜕𝑔12 𝜕𝑔
𝑔12 𝑔12 12
1
Γ11 =− 𝜕𝑢 , Γ1 = 0, Γ1 = 𝜕𝑣 ,
12 22
𝑔 𝑔
𝜕𝑔 𝜕𝑔
𝑔11 12 𝑔11 12
2
Γ11 = 𝜕𝑢 2
, Γ12 2
= 0, Γ22 =− 𝜕𝑣
𝑔 𝑔
olup;
1 2 2 1
Γ11 + Γ11 𝑐𝑜𝑠𝜃 = 0, Γ22 + Γ22 𝑐𝑜𝑠𝜃 = 0
1 2 2 1
Γ12 + Γ12 𝑐𝑜𝑠𝜃 = 0, Γ12 + Γ12 𝑐𝑜𝑠𝜃 = 0
ve
1 2 2 1
Γ22 + Γ22 𝑐𝑜𝑠𝜃 = −𝜃𝑣 𝑠𝑖𝑛𝜃, Γ11 + Γ11 𝑐𝑜𝑠𝜃 = −𝜃𝑢 𝑠𝑖𝑛𝜃
eşitlikleri sağlanır.
İspat. Tanım 7.4.12 de verilen Tchebycheff yama tanımından 𝑀 yüzeyinin 1.inci temel
form katsayıları 𝑔11 = 𝑔22 = 1 ve 𝑔12 = 𝑐𝑜𝑠𝜃 şartını sağlar. Böylece bu eşitlikler
(8.2.3) de yerine yazılırsa istenilen sonuç elde edilir. ■
Örnek 8.2.7 ℝ3 de
𝑥(𝑢, 𝑣) = (𝑓1 (𝑢), 𝑓2 (𝑢)𝑐𝑜𝑠𝑣, 𝑓2 (𝑢)𝑠𝑖𝑛𝑣)
Örnek 8.2.8 ℝ4 de
𝑥(𝑢, 𝑣) = (𝑓1 (𝑢), 𝑓2 (𝑢), 𝑓3 (𝑢) 𝑐𝑜𝑠 𝑣 , 𝑓3 (𝑢) 𝑠𝑖𝑛 𝑣)
21
𝑔11 = 1, 𝑔12 = 0, 𝑔22 = 𝑓3 2 (𝑢) ,
elde edilir.
Teorem 8.2.9 (Gauss Denklemi) 𝑀ℝ𝑛 lokal yüzeyi 𝑥(𝑢, 𝑣): (𝑢, 𝑣) ∈ 𝑈 ⊂ ℝ2 regüler
yamasıyla verilsin. 𝑀 nin 𝑝 = 𝑥(𝑢, 𝑣) noktasındaki 𝑇𝑝⊥ 𝑀 normal uzayı {𝑁1 , 𝑁2 , … , 𝑁𝑛−2 }
ortonormal vektörleri ile gerilsin. Bu takdirde 𝑥 yamasının 2.nci mertebeden kısmi
türevleri
2 𝑛−2
2.nci temel form katsayıları olup (8.2.7) eşitliği Gauss denklemi olarak bilinir.
𝛼 𝛼 𝑘
şeklinde tanımlansın (Fröhlich, 2012). Bu durumda 𝑏𝑖𝑗 = c𝑖𝑗 ve 𝑎𝑖𝑗 = Γ𝑖𝑗𝑘 olduğunu
gösterilmelidir. İlk olarak (8.2.7) eşitliğinin her iki tarafının 𝑁𝛽 birim normal vektörü ile
iç çarpımı alınırsa
𝑛−2
𝛽 𝛼 𝛽
c𝑖𝑗 = − 〈𝑥𝑢𝑖 , (𝑁𝛽 ) 〉 = 〈𝑥𝑢𝑖 𝑢𝑗 , 𝑁𝛽 〉 = ∑ 𝑏𝑖𝑗 〈𝑁𝛼 , 𝑁𝛽 〉 = 𝑏𝑖𝑗
𝑢𝑗
𝛼=1
elde edilir. Benzer şekilde (8.2.9) eşitliğinin her iki tarafı 𝑥𝑢𝑙 teğet vektörü ile iç çarpımı
alınırsa
2 2
𝑘 𝑘
〈𝑥𝑢𝑖 𝑢𝑗 , 𝑥𝑢𝑙 〉 = ∑ 𝑎𝑖𝑗 〈𝑥𝑢𝑘 , 𝑥𝑢𝑙 〉 = ∑ 𝑎𝑖𝑗 𝑔𝑘𝑙 =: 𝑎𝑖𝑙𝑗 (8.2.10)
𝑘=1 𝑘=1
bulunur (Fröhlich, 2012). Bununla birlikte 𝑥𝑢𝑖 𝑢𝑗 = 𝑥𝑢𝑗 𝑢𝑖 olduğundan 𝑎𝑖𝑙𝑗 = 𝑎𝑗𝑙𝑖 dır.
22
Böylece
𝑎𝑖𝑙𝑗 = 〈𝑥𝑢𝑖 , 𝑥𝑢𝑙 〉𝑢𝑗 − 〈𝑥𝑢𝑖 , 𝑥𝑢𝑙𝑢𝑗 〉 = (𝑔𝑖𝑙 )𝑢𝑗 − 𝑎𝑙𝑖𝑗
eşitliğinden (𝑔𝑖𝑙 )𝑢𝑗 = 𝑎𝑖𝑙𝑗 + 𝑎𝑙𝑖𝑗 olduğu görülür. Son eşitlik yardımıyla
(𝑔𝑗𝑙 )𝑢 + (𝑔𝑙𝑖 )𝑢𝑗 − (𝑔𝑖𝑗 )𝑙 = 𝑎𝑗𝑙𝑖 + 𝑎𝑙𝑗𝑖 + 𝑎𝑙𝑖𝑗 + 𝑎𝑖𝑙𝑗 − 𝑎𝑖𝑗𝑙 − 𝑎𝑗𝑖𝑙 = 2𝑎𝑖𝑙𝑗
𝑖
sonucuna varılır ■.
dönüşümü 2-lineer ve değişmeli olup 2.nci temel form dönüşümü olarak bilinir.
23
olduğu görülür. Burada ℎ(𝑋𝑖 , 𝑋𝑗 ) lere 2.nci temel form vektörleri adı verilir.
Örnek 8.2.11 ℝ3 de
𝑥(𝑢, 𝑣) = (𝑓1 (𝑢), 𝑓2 (𝑢)𝑐𝑜𝑠𝑣, 𝑓2 (𝑢)𝑠𝑖𝑛𝑣)
koordinat yamasıyla verilen dönel yüzeyin 2.nci temel form vektörlerini bulunuz.
olarak hesaplanmıştı. Buradan (8.2.13) eşitliği yardımıyla 2.nci temel form vektörleri
𝜅(𝑢)
ℎ(𝑥𝑢 , 𝑥𝑢 ) = 𝑐11 𝑁 = − 𝑁,
𝜂(𝑢)
ℎ(𝑥𝑢 , 𝑥𝑣 ) = 𝑐12 𝑁 = 0, (8.2.17)
𝑓1′ (𝑢)𝑓2 (𝑢)
)
ℎ(𝑥𝑣 , 𝑥𝑣 = 𝑐22 𝑁 = 𝑁
𝜂(𝑢)
Örnek 8.2.12 ℝ4 de
koordinat yamasıyla verilen rotasyonel yüzeyin 2.nci temel form vektörlerini bulunuz.
1 1 1
𝑓3 ′′ (𝑢)𝑓3 (𝑢)
𝑐11 = 𝜅𝛾 (𝑢), 𝑐12 = 0, 𝑐22 =− ,
𝜅𝛾 (𝑢)
2 2 2
𝑓3 (𝑢) 𝜅1 (𝑢)
𝑐11 = 0, 𝑐12 = 0, 𝑐22 =−
𝜅𝛾 (𝑢)
olarak hesaplanmıştı. Buradan (8.2.13) yardımıyla bu yüzeyin 2.nci temel form
vektörleri
1 2
ℎ(𝑥𝑢 , 𝑥𝑢 ) = c11 𝑁1 + c11 𝑁2 = 𝜅𝛾 (𝑢)𝑁1
1
ℎ(𝑥𝑢 , 𝑥𝑣 ) = c12 2
𝑁1 + c12 𝑁2 = ⃗0⃗ (8.2.18)
′′
1 2
𝑓3 (𝑢)𝑓3 (𝑢) 𝑓3 (𝑢) 𝜅1 (𝑢)
ℎ(𝑥𝑣 , 𝑥𝑣 ) = c22 𝑁1 + c22 𝑁2 = − 𝑁1 − 𝑁2
𝜅𝛾 (𝑢) 𝜅𝛾 (𝑢)
olarak bulunur .
24
Tanım 8.2.13 𝑀ℝ𝑛 lokal yüzeyi 𝑥 = 𝑥(𝑢, 𝑣) regüler yamasıyla verilsin. 𝑀 nin
𝑝 = 𝑥(𝑢, 𝑣) noktasındaki 𝑇𝑝⊥ 𝑀 normal uzayı {𝑁1 , 𝑁2 , … , 𝑁𝑛−2 } ortonormal vektörleri ile
gerilsin. Bu takdirde 𝑀 nin 𝑇𝑝⊥ 𝑀 normal uzayının burulma (torsiyon) katsayıları
𝛼𝛽 𝛼𝛽 𝛽𝛼
𝑇𝑖 = 〈(𝑁𝛼 )𝑢𝑖 , 𝑁𝛽 〉, T𝑖 = −T𝑖 (8.2.19)
İspat. (8.2.20) denklemindeki (𝑁𝛼 )𝑢𝑖 vektörünün teğet ve normal bileşenler cinsinden
ayrışımı
2 𝑛−2
𝛼 𝛼𝛽
(𝑁𝛼 )𝑢𝑖 = ∑ 𝑎𝑖𝑘 𝑥𝑢𝑘 + ∑ 𝑏𝑖 𝑁𝛽 (8.2.21)
𝑘=1 𝛽=1
eşitlikleri gösterilmelidir. İlk olarak (8.2.21) eşitliğinin her iki tarafının 𝑥𝑢𝑙 teğet vektörü
ile iç çarpımı alınırsa
2 2
İkinci olarak (8.2.21) eşitliğinin her iki tarafının 𝑁𝜎 birim normal vektörü ile iç çarpımı
alınırsa
25
𝑛−2 𝑛−2
𝛼𝛽
T𝑖𝛼𝜎 = 〈(𝑁𝛼 )𝑢𝑖 , 𝑁𝜎 〉 = ∑ 𝑏𝑖 〈𝑁𝛽 , 𝑁𝜎 〉 = ∑ 𝑏𝑖𝛼𝛽 𝛿𝛽𝜎 = 𝑏𝑖𝛼𝜎
𝛽=1 𝛽=1
Örnek. 8.2.15 ℝ4 de
𝑁1 = (𝑓2 ′(𝑢) cos 𝑐𝑣 , 𝑓2 ′(𝑢) sin 𝑐𝑣 , −𝑓1 ′(𝑢) cos 𝑑𝑣, −𝑓1 ′(𝑢) sin 𝑑𝑣),
1
𝑁2 = (−𝑑𝑓2 (𝑢)𝑠𝑖𝑛𝑐𝑣, 𝑑𝑓2 (𝑢) cos 𝑐𝑣 , 𝑐𝑓1 (𝑢) sin 𝑑𝑣 , −𝑐𝑓1 (𝑢) cos 𝑑𝑣)
𝜙
olarak hesaplanmıştı. Burada 𝜙(𝑢) = √𝑐 2 𝑓12 (𝑢) + 𝑑 2 𝑓22 (𝑢) dır. Böylece 𝑁1 vektörünün
𝑢 ve 𝑣 parametrelerine göre kısmi türevleri
(𝑁1 )𝑢 = (𝑓2 ′′(𝑢) cos 𝑐𝑣 , 𝑓2 ′′(𝑢) sin 𝑐𝑣 , −𝑓1 ′′(𝑢) cos 𝑑𝑣, −𝑓1 ′′(𝑢) sin 𝑑𝑣),
ve
(𝑁1 )𝑣 = (−𝑐𝑓2 ′(𝑢) sin 𝑐𝑣 , 𝑐𝑓2 ′(𝑢) cos 𝑐𝑣 , 𝑑𝑓1 ′(𝑢) sin 𝑑𝑣, −𝑑𝑓1 ′(𝑢) cos 𝑑𝑣)
𝑇112 = 〈(𝑁1 )𝑢 , 𝑁2 〉 = 0
olarak bulunur.
Tanım 8.2.16 𝑀ℝ𝑛 , 𝑛 > 3 lokal yüzeyi 𝑥(𝑢, 𝑣): (𝑢, 𝑣) ∈ 𝑈 ⊂ ℝ2 regüler yamasıyla
verilsin. 𝑀 nin 𝑇 ⊥ 𝑀 normal uzayı {𝑁1 , 𝑁2 , … , 𝑁𝑛−2 } ortonormal normal vektör alanları
ile gerilsin. Bu takdirde 𝑇 ⊥ 𝑀 uzayının burulması (torsiyonu)
2 𝑛−2
1 𝛼𝛽 𝛼𝛽
𝑇 = ∑ ∑ 𝑔𝑖𝑗 T1 T2 (8.2.22)
2
𝑖,𝑗=1 𝛼,𝛽=1
toplam burulması ise
26
𝒯 = ∬ 𝑇√𝑔𝑑𝑢𝑑𝑣 (8.2.23)
𝑈
2
biçiminde tanımlanır. Burada √𝑔 = √𝑔11 𝑔22 − 𝑔12 dir (Fröhlich, 2012).
Önerme 8.2.18 𝑀ℝ𝑛 lokal yüzeyi 𝑥 = 𝑥(𝑢, 𝑣) regüler yamasıyla verilsin. 𝑀 nin
herhangi 𝑋𝑖 , 𝑋𝑗 ∈ 𝑇𝑝 𝑀 tanjant vektörleri ve 𝑁𝛼 ∈ 𝑇𝑝⊥ 𝑀 birim normal vektörü için
27
elde edilir. Bununla birlikte 〈∇𝑋𝑗 𝑋𝑖 , 𝑁𝛼 〉 = 0 ve 〈𝑋𝑖 , ∇𝑋⊥𝑖 𝑁𝛼 〉 = 0 olduğundan ispat
tamamlanır. ■
Sonuç 8.2.19 𝑀ℝ3 lokal yüzeyi 𝑥 = 𝑥(𝑢, 𝑣) regüler yamasıyla verilsin. Bu takdirde
𝑀 yüzeyin Weingarten denklemi
2
biçimine dönüşür.
Örnek 8.2.20 ℝ3 de
𝑥(𝑢, 𝑣) = (𝑓1 (𝑢), 𝑓2 (𝑢)𝑐𝑜𝑠𝑣, 𝑓2 (𝑢)𝑠𝑖𝑛𝑣)
elde edilir. Böylece Örnek 8.1.3 de hesaplanan 1.inci ve 2.nci temel form katsayıları
kullanılarak, bu yüzeyin şekil operatörü vektörleri
𝜅(𝑢)
− 𝐷𝑥𝑢 𝑁 = 𝐴𝑁 (𝑥𝑢 ) = − 𝑥
𝜂3 (𝑢) 𝑢
𝑓1′ (𝑢)
− 𝐷𝑥𝑣 𝑁 = 𝐴𝑁 (𝑥𝑣 ) = 𝑥
𝜂(𝑢)𝑓2 (𝑢) 𝑣
olarak bulunur. Burada 𝜂 ve 𝜅 fonksiyonları sırasıyla (8.1.11) ve (8.1.13) eşitlikleriyle
verilmişti.
28
Örnek 8.2.21 ℝ3 de 𝑟-yarıçaplı 𝑆 2 (𝑟) = {(𝑥1 , 𝑥2 , 𝑥3 ) ∈ ℝ3 |𝑥12 + 𝑥22 + 𝑥32 = 𝑟 2 }
küresinin birim normali
3
1
𝑁 = ∑ 𝑥𝑖 𝑒⃗𝑖
𝑟
𝑖=1
𝑥1 𝑥2 𝑥3 1
𝐷𝑣𝑝 𝑁 = (𝑣𝑝 [𝑛1 ], 𝑣𝑝 [𝑛2 ], 𝑣𝑝 [𝑛3 ])|𝑝 = (𝑣𝑝 [ ] , 𝑣𝑝 [ ] , 𝑣𝑝 [ ])| = 𝑣𝑝
𝑟 𝑟 𝑟 𝑝 𝑟
elde edilir. Böylece
1
𝐴𝑁 (𝑣𝑝 ) = −𝐷𝑣𝑝 𝑁 = − 𝑣𝑝
𝑟
1
dik dairesel silindir yüzeyinin birim normali 𝑁 = 𝑟 (𝑥1 , 𝑥2 , 0) dir. Böylece 𝑝 ∈ 𝐶 2 (𝑟)
29
Y. Teorem 8.2.24 𝑀ℝ𝑛 lokal yüzeyi 𝑥 = 𝑥(𝑢, 𝑣) regüler yamasıyla verilsin. 𝑀 nin
şekil operatörü 𝐴𝑁𝛼 : 𝑇𝑝 𝑀 → 𝑇𝑝 𝑀 bir lineer dönüşümdür.
İspat. 𝑎, 𝑏 ∈ ℝ ve 𝑣𝑝 , 𝑤𝑝 ∈ 𝑇𝑝 𝑀 için
ℝ𝑛 deki bir yüzeyin şekil operatörü ile bu yüzey üzerinde yatan bir eğrinin ivme vektörü
arasında ilişki aşağıdaki sonuçta verilebilir:
Y.Teorem 8.2.25 𝑀ℝ𝑛 lokal yüzeyi 𝑥 = 𝑥(𝑢, 𝑣) regüler yamasıyla verilsin. 𝑀 nin
üzerinde yatan bir 𝛾 eğrisi için
〈𝛾 ′′ (𝑡), 𝑁𝛼 〉 = 〈𝐴𝑁𝛼 𝛾 ′ (𝑡), 𝛾 ′ (𝑡)〉 (8.2.33)
İspat. 𝛾(𝑡) = 𝑥(𝑢(𝑡), 𝑣(𝑡)) her 𝑡 ∈ 𝐼 için 𝑀 yüzey üzerinde yatan bir eğri olsun. Böylece
𝛾 nın 𝑡 parametresine göre birinci ve ikinci mertebeden türevlerleri
𝛾 ′ (𝑡) = 𝑥𝑢 (𝑢(𝑡), 𝑣(𝑡))𝑢′ (𝑡) + 𝑥𝑣 (𝑢(𝑡), 𝑣(𝑡))𝑣 ′ (𝑡)
𝛾 ′′ (𝑡) = 𝑥𝑢𝑢 (𝑢′ )2 + 𝑥𝑣𝑣 (𝑣 ′ )2 + 2𝑥𝑢𝑣 𝑢′ 𝑣 ′ + 𝑥𝑢 𝑢′′ + 𝑥𝑣 𝑣 ′′
ve Gauss denklemi kullanılarak
〈𝛾 ′′ (𝑡), 𝑁𝛼 〉 = 〈𝑥𝑢𝑢 (𝑢′ )2 + 2𝑥𝑢𝑣 𝑢′ 𝑣 ′ + 𝑥𝑣𝑣 (𝑣 ′ )2 , 𝑁𝛼 〉
= 〈ℎ(𝑥𝑢 , 𝑥𝑢 ), 𝑁𝛼 〉(𝑢′ )2 + 2〈ℎ(𝑥𝑢 , 𝑥𝑣 ), 𝑁𝛼 〉𝑢′ 𝑣 ′ + 〈ℎ(𝑥𝑣 , 𝑥𝑣 ), 𝑁𝛼 〉(𝑣 ′ )2
30
Tanım 8.2.26 𝑀ℝ𝑛 lokal yüzeyi 𝑥(𝑢, 𝑣): (𝑢, 𝑣) ∈ 𝑈 ⊂ ℝ2 regüler yamasıyla verilsin.
𝑀 nin 𝑝 = 𝑥(𝑢, 𝑣) noktasındaki normal uzayı {𝑁1 , 𝑁2 , … , 𝑁𝑛−2 } ortonormal normal
vektörleri tarafından gerilsin. Buradan, 𝑀 nin 𝑁𝛼 , 1 ≤ 𝛼 ≤ 𝑛 − 2 birim normal vektörüne
göre 3.üncü temel form katsayıları
𝛼
𝑒11 = 〈(𝑁𝛼 )𝑢 , (𝑁𝛼 )𝑢 〉,
𝛼
𝑒12 = 〈(𝑁𝛼 )𝑢 , (𝑁𝛼 )𝑣 〉 (8.2.34)
𝛼
𝑒22 = 〈(𝑁𝛼 )𝑣 , (𝑁𝛼 )𝑣 〉
𝛼 𝛼
biçiminde tanımlanır. Burada 𝑒12 = 𝑒21 olduğu kolayca görülür.
Bununla birlikte 𝑀 nin 𝑁𝛼 ya karşılık gelen 3.üncü temel form matrisi ve 3.üncü temel
formu sırasıyla
𝑒 𝛼 𝑒12
𝛼
𝛼
𝐼𝐼𝐼𝛼 (𝑥) = (𝑒𝑖𝑗 ) = ( 11
𝛼 𝛼 ) (8.2.35)
𝑖,𝑗=1,2 𝑒21 𝑒22
𝛼 𝛼 𝛼
𝐼𝐼𝐼𝛼 = 𝑒11 𝑑𝑢2 + 2𝑒12 𝑑𝑢𝑑𝑣 + 𝑒22 𝑑𝑣 2 (8.2.36)
şeklinde tanımlanır.
𝜅 𝜅 𝜅2
𝑒11 = 〈𝑁𝑢 , 𝑁𝑢 〉 = 〈 𝑥 , 𝑥 〉 = ,
𝜂3 𝑢 𝜂3 𝑢 𝜂4
𝑒12 = 𝑒21 = 〈𝑁𝑢 , 𝑁𝑣 〉 = 0
2
𝑓1′ 𝑓1′ 𝑓1′
𝑒22 = 〈𝑁𝑣 , 𝑁𝑣 〉 = 〈− 𝑥𝑣 , − 𝑥𝑣 〉 = ( )
𝜂𝑓2 𝜂𝑓2 𝜂
yardımıyla yüzeyin 3.üncü temel form matrisi
𝜅2
0
𝑒11 𝑒12 𝜂4
𝐼𝐼𝐼(𝑥) = (𝑒𝑖𝑗 )𝑖,𝑗=1,2 = (𝑒 𝑒22 ) = 2
21 𝑓1′
0 ( )
( 𝜂 )
olarak hesaplanır.
31
Tanım 8.2.28 𝑀ℝ𝑛 lokal yüzeyi 𝑥 = 𝑥(𝑢, 𝑣) regüler yamasıyla verilsin. Bu takdirde 𝑀
nin 𝑁𝛼 ya göre Weingarten formları
2
𝛼 𝛼 𝑘𝑗
w𝑖𝑗 = ∑ c𝑖𝑘 𝑔 , 1 ≤ 𝑖, 𝑗 ≤ 2 (8.2.37)
𝑘=1
Önerme 8.2.29 𝑀ℝ𝑛 lokal yüzeyi 𝑥 = 𝑥(𝑢, 𝑣) regüler yamasıyla verilsin. Bu takdirde
𝑀 nin 𝑁𝛼 ya göre Weingarten formları
𝛼 𝛼 𝛼 𝛼
𝛼
c11 𝑔22 − c12 𝑔12 𝛼
c22 𝑔11 − c12 𝑔12
w11 = , w22 =
𝑔 𝑔
𝛼 𝛼 𝛼 𝛼 (8.2.38)
𝛼
c12 𝑔11 − c11 𝑔12 𝛼
c12 𝑔22 − c22 𝑔12
w12 = , w21 =
𝑔 𝑔
dir.
Tanım 8.2.30 𝑀ℝ𝑛 lokal yüzeyi 𝑥 = 𝑥(𝑢, 𝑣) regüler yamasıyla verilsin. Bu takdirde 𝑀
nin 𝑁𝛼 ya göre şekil operatörü matrisi
𝛼 𝛼 𝛼 𝛼
c11 𝑔22 − c12 𝑔12 c12 𝑔11 − c11 𝑔12
𝛼 𝛼
w11 w12 𝑔 𝑔
𝐴𝑁𝛼 = [ 𝛼 𝛼 ]= 𝛼 𝛼 𝛼 𝛼 (8.2.39)
w21 w22 c12 𝑔22 − c22 𝑔12 c22 𝑔11 − c12 𝑔12
[ 𝑔 𝑔 ]
biçiminde tanımlanır.
𝑀ℝ𝑛 lokal yüzeyi 𝑥 = 𝑥(𝑢, 𝑣) regüler yamasıyla verilsin. 𝑀 nin {𝑥𝑢 , 𝑥𝑣 } bazı cinsinden
𝑁𝛼 ya göre şekil operatörü vektörleri
𝛼 𝛼 𝛼 𝛼
c11 𝑔22 − c12 𝑔12 c12 𝑔11 − c11 𝑔12
𝐴𝑁𝛼 (𝑥𝑢 ) = 𝑥𝑢 + 𝑥𝑣
𝑔 𝑔
𝛼 𝛼 𝛼 𝛼 (8.2.40)
c12 𝑔22 − c22 𝑔12 c22 𝑔11 − c12 𝑔12
𝐴𝑁𝛼 (𝑥𝑣 ) = 𝑥𝑢 + 𝑥𝑣
𝑔 𝑔
dir.
Örnek 8.2.32 ℝ3 de
32
Çözüm. Örnek 8.1.3 de bu yüzeyin 1.inci ve 2.nci temel form katsayıları sırasıyla
ve
𝜅(𝑢) 𝑓1′ (𝑢)𝑓2 (𝑢)
𝑐11 = − , 𝑐12 = 𝑐21 = 0, 𝑐22 =
𝜂(𝑢) 𝜂(𝑢)
Örnek 8.2.33 ℝ4 de
Çözüm. (8.1.28)1 ve (8.1.30) eşitlikleri ile bu yüzeyin 1.inci ve 2.nci temel form
katsayıları sırasıyla
𝑔11 = 1, 𝑔12 = 0, 𝑔22 = 𝑓3 2 (𝑢),
ve
1 1 1
𝑓3 ′′ (𝑢)𝑓3 (𝑢)
𝑐11 = 𝜅𝛾 (𝑢), 𝑐12 = 0, 𝑐22 = −
𝜅𝛾 (𝑢)
2 2 2
𝑓3 (𝑢) 𝜅1 (𝑢)
𝑐11 = 0, 𝑐12 = 0, 𝑐22 =−
𝜅𝛾 (𝑢)
33
ve böylece 𝑁1 vektörüne karşılık gelen şekil operatörü matrisi
𝜅𝛾 (𝑢) 0
1 1
w11 w12
𝐴𝑁1 =[ 1 1 ]=[
𝑓3 ′′ (𝑢) ] (8.2.42)
w21 w22 0 −
𝜅𝛾 (𝑢)𝑓3 (𝑢)
Örnek 8.2.34 ℝ4 de
𝑀2 : 𝑥(𝑢, 𝑣) = 𝑓1 (𝑢)𝑒
⃗⃗1 + 𝑓2 (𝑢)𝜌(𝑣)
Çözüm. (8.1.34) ve (8.1.36) eşitliklerinde 𝑀2 yüzeyin 1.nci ve 2.ci temel form katsayıları
34
dir. Benzer şekilde 𝑁2 vektörüne karşılık gelen Weingarten formları
2 2 2 2
2
c11 𝑔22 − c12 𝑔12 2
c12 𝑔11 − c11 𝑔12
w11 = = −𝜅𝛾 (𝑢), w12 = =0
𝑔 𝑔
2 2 2 2
2
c12 𝑔22 − c22 𝑔12 2
c22 𝑔11 − c12 𝑔12 𝑓1′ (𝑢)
w21 = = 0, w22 = =
𝑔 𝑔 𝑓2 (𝑢)
ve 𝑁2 vektörüne karşılık gelen şekil operatörü matrisi
2 2
−𝜅𝛾 (𝑢) 0
w11 w12 ′
𝐴𝑁2 = [ 2 2 ]=[
𝑓1 (𝑢)] (8.2.45)
w21 w22 0
𝑓2 (𝑢)
biçiminde hesaplanır.
Örnek 8.2.35 ℝ4 de
Çözüm. (8.1.44) ve (8.1.48) eşitlikleri ile bu yüzeyin 1.inci ve 2.nci temel form
katsayıları sırasıyla
𝑔11 = 𝜂2 (𝑢), 𝑔12 = 0, 𝑔22 = 𝜙 2 (𝑢)
ve
1
𝜅𝛾 1 𝜇 2
𝛿
𝑐11 =− , 𝑐22 = − , 𝑐12 =−
𝜂 𝜂 𝜙
2 1 2
𝑐11 = 𝑐12 = 𝑐22 = 0,
35
2 2 2 2
2
c11 𝑔22 − c12 𝑔12 2
c12 𝑔11 − c11 𝑔12 𝛿
w11 = = 0, w12 = =− 3
𝑔 𝑔 𝜙
2 2 2 2
2
c12 𝑔22 − c22 𝑔12 𝛿 2
c22 𝑔11 − c12 𝑔12
w21 = = − 2 , w22 = =0
𝑔 𝜙𝜂 𝑔
𝛿
0 −
w2 2
w12 𝜙3
𝐴𝑁2 = [ 11
2 2 ] = (8.2.47)
w21 w22 𝛿
− 2 0
[ 𝜙𝜂 ]
biçiminde hesaplanır.
Alıştırmalar 8.2
Aşağıda koordinat yamalarıyla verilen yüzeylerin Christoffel sembollerini, Weingarten
formlarını ve şekil operatörü matrislerini bulunuz;
Tanım 8.3.1 𝑀ℝ𝑛 lokal yüzeyi 𝑥 = 𝑥(𝑢, 𝑣) regüler yamasıyla verilsin. Bu takdirde 𝑀
nin 𝑁𝛼 ya göre 𝛼. ncı ortalama eğriliği
2 𝛼 𝛼 𝛼
1 𝛼 𝑔22 𝑐11 + 𝑔11 𝑐22 − 2𝑔12 𝑐12
𝐻𝛼 = ∑ 𝑔𝑖𝑗 c𝑖𝑗 = , (8.3.1)
2 2𝑔
𝑖,𝑗=1
36
eşitliği ile tanımlanır (Fröhlich, 2012).
𝑛−2
⃗⃗ ‖ = √ ∑ 𝐻𝛼2
𝐻 = ‖𝐻 (8.3.4)
𝛼=1
dir. Ortalama eğriliği sıfıra eşit olan yüzeye minimal yüzey adı verilir.
Önerme 8.3.2 𝑀ℝ𝑛 lokal yüzeyi 𝑥 = 𝑥(𝑢, 𝑣) regüler, koordinat yamasıyla verilsin. Bu
takdirde 𝑀 nin 𝛼.ıncı ortalama eğriliği
1 1 𝛼 𝛼 )
𝐻𝛼 = 𝑖𝑧(𝐴𝑁⃗⃗𝛼 ) = (w11 + w22 (8.3.5)
2 2
dır.
İspat. Tanım 8.2.28 de 𝑀 nin 𝑁𝛼 ya karşılık gelen şekil operatörü matrisi 𝐴𝑁𝛼
tanımlanmıştı. Bu tanım kullanılarak
𝛼 𝛼 𝛼 𝛼 𝛼 𝛼 𝛼
1 c11 𝑔22 − c12 𝑔12 c22 𝑔11 − c12 𝑔12 c11 𝑔22 + c22 𝑔11 − 2c12 𝑔12
𝑖𝑧(𝐴𝑁𝛼 ) = + = = 𝐻𝛼
2 2𝑔 2𝑔 2𝑔
elde edilir. ■
Önerme 8.3.3 𝑀ℝ𝑛 lokal yüzeyi 𝑥 = 𝑥(𝑢, 𝑣) regüler izotermal yamasıyla verilsin. Bu
takdirde 𝑀 nin ortalama eğrilik vektörü
⃗⃗
𝑥𝑢𝑢 + 𝑥𝑣𝑣 = 2𝑔𝐻 (8.3.6)
eşitliği ile hesaplanır.
37
dir. Böylece (8.3.1) ve (8.3.2) yardımıyla
𝑛
⃗⃗ = ∑(c11
2𝑔𝐻 𝛼 𝛼 )
+ c22 𝑁𝛼
𝛼=1
⃗⃗ elde edilir.■
olduğundan 𝑥𝑢𝑢 + 𝑥𝑣𝑣 = 2𝑔𝐻
Çözüm. 𝑀ℝ4 yüzeyi 𝑥(𝑢, 𝑣) = (𝑢, 𝑣, 𝑓(𝑢, 𝑣), 𝑔(𝑢, 𝑣)) koordinat yamasıyla
verildiğinden, 𝑀 nin tanjant uzayı
⃗⃗
ve Önerme 8.3.3 yardımıyla yüzeyin ortalama eğrilik vektörü 𝐻
⃗⃗ = 𝑥𝑢𝑢 + 𝑥𝑣𝑣 =(0,0, 𝑓𝑢𝑢 (𝑢, 𝑣) + 𝑓𝑣𝑣 (𝑢, 𝑣), 𝑔𝑢𝑢 (𝑢, 𝑣) + 𝑔𝑣𝑣 (𝑢, 𝑣))
2𝑔𝐻
eşitliğini sağlar. Bununla birlikte 𝑓(𝑢, 𝑣), 𝑔(𝑢, 𝑣) harmonik fonksiyonlar olduklarından
⃗⃗ = 0 sonucuna varılır.
dır. Buradan 𝐻
38
Örnek 8.3.5 ℝ4 de Örnek 8.1.5 de verilen graf yüzeyinde 𝑓(𝑢, 𝑣) = 𝑢2 − 𝑣 2 ve
𝑔(𝑢, 𝑣) = 2𝑢𝑣 alındığında Monge yaması
𝑥𝑢 = (1,0,2𝑢, 2𝑣)
ve
𝑥𝑣 = (0,1, −2𝑣, 2𝑢)
dir. Böylece 𝑥 in izotermal yama olduğu görülür. Buradan 𝑥 in 2.nci mertebeden kısmi
türevleri
𝑥𝑢𝑢 (𝑢, 𝑣) = (0,0, 2, 0)
ve
𝑥𝑣𝑣 (𝑢, 𝑣) = (0, 0, −2, 0)
⃗⃗ = 𝑥𝑢𝑢 + 𝑥𝑣𝑣 = 0
2𝑔𝐻
Tanım 8.3.7 𝑀ℝ𝑛 lokal yüzeyi 𝑥(𝑢, 𝑣): (𝑢, 𝑣) ∈ 𝑈 ⊂ ℝ2 regüler yamasıyla verilsin.
Bu takdirde 𝑀 nin 𝛼.ncı Gauss eğriliği
𝛼 𝛼 𝛼 )2
𝑐11 𝑐22 − (𝑐12
𝐾𝛼 = (8.3.8)
𝑔
𝐾 = ∑ 𝐾𝛼 (8.3.9)
𝛼=1
şeklinde tanımlanır (Fröhlich, 2012).
39
𝑛−2 𝛼 𝛼 𝛼 )2
𝑐11 𝑐22 − (𝑐12
𝐾=∑ 2 (8.3.10)
𝑔11 𝑔22 − 𝑔12
𝛼=1
olduğu görülür. Gauss eğriliği 𝐾 = 0 olan yüzeye düz (flat) tır denir.
Önerme 8.3.8 𝑀ℝ𝑛 lokal yüzeyi 𝑥(𝑢, 𝑣): (𝑢, 𝑣) ∈ 𝑈 ⊂ ℝ2 regüler yamasıyla verilsin.
Bu takdirde 𝑀 nin α.ncı Gauss eğriliği
𝛼 𝛼 𝛼 𝛼
𝐾𝛼 = 𝑑𝑒𝑡(𝐴𝑁⃗⃗𝛼 ) = w11 w22 − w12 w21 (8.3.11)
dir.
İspat. Tanım 8.2.28 de M nin 𝑁𝛼 ya karşılık gelen şekil operatörü matrisi 𝐴𝑁𝛼
tanımlanmıştı. Bu tanım kullanılarak
𝛼 𝛼 𝛼 𝛼
c11 𝑔22 − c12 𝑔12 c12 𝑔11 − c11 𝑔12
𝛼 𝛼 𝛼 )2
𝑔 𝑔 𝑐11 𝑐22 − (𝑐12
𝑑𝑒𝑡(𝐴𝑁𝛼 ) = || 𝛼 | = = 𝐾𝛼
𝛼
c12 𝑔22 − c22 𝑔12 𝛼
c22 𝛼
𝑔11 − c12 𝑔12 | 𝑔
𝑔 𝑔
elde edilir ■
Teorem 8.3.9 (Gauss-Bonnet integral formülü) 𝑀ℝ𝑛 yüzeyi 𝑥(𝑢, 𝑣): (𝑢, 𝑣) ∈ 𝑈 ⊂ ℝ2
regüler yamasıyla verilsin. 𝑀 nin Gauss eğriliği 𝐾 olmak üzere
2𝜋
eşitliği sağlanır. Burada 𝑘𝑔 (𝑠), 𝑠 ∈ 𝐼, yüzey üzerinde yatan 𝛾(𝑠) = 𝑥(𝑢(𝑠), 𝑣(𝑠))
eğrisinin geodezik eğriliği olup; bir sonraki bölümde tanımlanmıştır.
Teorem 8.3.10 𝑀ℝ𝑛 lokal yüzeyi 𝑥(𝑢, 𝑣): (𝑢, 𝑣) ∈ 𝑈 ⊂ ℝ2 regüler yamasıyla verilsin.
Buradan, 𝑀 nin 𝑁𝛼 , 1 ≤ 𝛼 ≤ 𝑛 − 2, birim normal vektörüne göre α.ncı Gauss eğriliği 𝐾𝛼
ve α.ncı ortalama eğriliği 𝐻𝛼 ile 1.inci, 2.nci ve 3.üncü temel form katsayıları arasında
𝑛−2
𝛼 𝛼 𝛼𝛽 𝛼𝛽
𝑒𝑖𝑗 − 2𝐻𝛼 𝑐𝑖𝑗 + 𝐾𝛼 𝑔𝑖𝑗 = ∑ T𝑖 T𝑗 (8.3.13)
𝛽=1
eşitliği sağlanır.
40
Sonuç 8.3.11 𝑀ℝ𝑛 lokal yüzeyi 𝑥(𝑢, 𝑣): (𝑢, 𝑣) ∈ 𝑈 ⊂ ℝ2 regüler, izotermal yamasıyla
verilsin. Buradan, 𝑀 nin 𝑁𝛼 , 1 ≤ 𝛼 ≤ 𝑛 − 2, birim normal vektörüne göre α.ncı Gauss
eğriliği 𝐾𝛼 ve α.ncı ortalama eğriliği 𝐻𝛼 olmak üzere
𝑛−2
2
𝛼 𝛼 𝛼𝛽
𝑒11 = 2𝐻𝛼 𝑐11 − 𝐾𝛼 √𝑔 + ∑(T1 ) , (8.3.14)
𝛽=1
𝑛−2
𝛼 𝛼 𝛼𝛽 𝛼𝛽
𝑒12 = 2𝐻𝛼 𝑐12 + ∑ T1 T2 (8.3.15)
𝛽=1
ve
𝑛−2
2
𝛼 𝛼 2 𝛼𝛽
𝑒22 = 2𝐻𝛼 𝑐22 − 𝐾𝛼 𝜆 + ∑(T2 ) (8.3.16)
𝛽=1
𝛼 𝛼
eşitlikleri sağlanır. Burada 𝑒12 = 𝑒21 dir.
Tanım 8.3.14 𝑀ℝ𝑛 lokal yüzeyi 𝑥(𝑢, 𝑣): (𝑢, 𝑣) ∈ 𝑈 ⊂ ℝ2 regüler yamasıyla verilsin.
𝑀 nin Gauss eğriliği 𝐾 olmak üzere
𝒦 = ∬ 𝐾 √𝑔𝑑𝑢𝑑𝑣 (8.3.18)
𝑈
Örnek 8.3.15 ℝ3 de
𝑥(𝑢, 𝑣) = (𝑓1 (𝑢), 𝑓2 (𝑢)𝑐𝑜𝑠𝑣, 𝑓2 (𝑢)𝑠𝑖𝑛𝑣)
41
𝜅(𝑢)
− 0
𝑤11 𝑤12 𝜂3 (𝑢)
𝐴𝑁⃗⃗ = [𝑤 𝑤22 ] =
21 𝑓1′ (𝑢)
0
[ 𝜂(𝑢)𝑓2 (𝑢)]
olarak bulunur. Burada 𝜅 fonksiyonu (8.1.13) de tanımlanmıştır. Eğer 𝑓1′ (𝑢) = 0 ise
dönel yüzey bir düzlem belirtir, dolayısıyla düzlem minimaldir.
Örnek 8.3.16 ℝ3 de
𝑥(𝑢, 𝑣) = (𝑟𝑠𝑖𝑛𝑢, 𝑟𝑐𝑜𝑠𝑢𝑐𝑜𝑠𝑣, 𝑟𝑐𝑜𝑠𝑢𝑠𝑖𝑛𝑣) (8.3.21)
𝜋 𝜋
− 2 ≤ 𝑢 ≤ 2 , −𝜋 ≤ 𝑣 ≤ 𝜋, koordinat yamasıyla verilen küre yüzeyinin toplam Gauss
eğriliğini hesaplayınız.
dır. Böylece bu değerler (8.3.10) eşitliğinde yerine yazılırsa, küre yüzeyin Gauss eğriliği
1
𝐾 = 𝑟 2 olarak bulunur. Bu yüzeyin 1.inci temel form katsayıları
2
yardımıyla alan √𝑔 = √𝑔11 𝑔11 − 𝑔12 = 𝑟 2 𝑐𝑜𝑠𝑢 olarak hesaplanır. Buradan yüzeyin
toplam Gauss eğriliği
𝜋 𝜋/2
𝒦 = ∬ 𝐾√𝑔𝑑𝑢𝑑𝑣 = ∫ ∫ 𝑐𝑜𝑠𝑢𝑑𝑢𝑑𝑣 = 4𝜋
𝑈 −𝜋 −𝜋/2
bulunur.
Örnek 8.3.17 ℝ3 de
42
koordinat yamasıyla verilen tor yüzeyinin toplam Gauss eğriliğini hesaplayınız.
dır. Böylece bu değerler (8.3.10) eşitliğinde yerine yazılırsa, tor yüzeyin Gauss eğriliği
𝑐𝑜𝑠𝑢
𝐾=
𝑟(𝑅 + 𝑟𝑐𝑜𝑠𝑢)
2
yardımıyla alan elemanı √𝑔 = √𝑔11 𝑔22 − 𝑔12 = 𝑟(𝑅 + 𝑟𝑐𝑜𝑠𝑢) olarak hesaplanır.
Buradan yüzeyin toplam Gauss eğriliği
𝜋 𝜋
𝒦 = ∬ 𝐾 √𝑔𝑑𝑢𝑑𝑣 = ∫ ∫ 𝑐𝑜𝑠𝑢𝑑𝑢𝑑𝑣 = 0
𝑈 −𝜋 −𝜋
olarak bulunur.
Önerme 8.3.18 (8.1.9) parametrizasyonu ile verilen dönel yüzeyin meridyen eğrisi birim
hızlı ise bu takdirde
İspat. 𝛼(𝑢) birim hızlı olduğundan (𝑓1 ′(𝑢))2 + (𝑓2 ′(𝑢))2 = 1 dir. Buradan
𝑓2 ′′(𝑢)
𝜅(𝑢) = (8.3.24)
√1 − (𝑓2 ′(𝑢))2
Düz, pozitif Gauss eğrilikli ve negatif Gauss eğrilikli dönel yüzeylerle ilgili
sınıflandırmalar (Velickovic, 2002) de aşağıdaki şekilde verilmiştir:
Sonuç 8.3.19 𝑀 ⊂ ℝ3 yüzeyi (8.1.9) parametrizasyonu ile verilen birim meridyen eğrili
dönel yüzey olsun. Bu taktirde 𝑀 yüzeyi düz ise aşağıdaki ifadeler geçerlidir;
43
ii. 𝑀 nin meridyen eğrisi 𝛼(𝑢) = (𝑑1 , ±𝑢 + 𝑐2 ) biçiminde ise 𝑀 yüzeyi düzlemin
bir parçasıdır.
iii. 𝑀 nin meridyen eğrisi 𝛼(𝑢) = (𝑐1 𝑢, 𝑑1 𝑢) biçiminde ise 𝑀 yüzeyi dairesel
koninin bir parçasıdır.
Sonuç 8.3.20 𝑀 ⊂ ℝ3 yüzeyi (8.1.9) parametrizasyonu ile verilen birim meridyen eğrili
dönel yüzey olsun. Eğer 𝑀 yüzeyi bir 𝑐 > 0 sabit sayısı için
1
𝐾=
𝑐2
biçiminde pozitif Gauss eğriliğine sahip ise bu taktirde
𝑢 𝑢
𝑓2 (𝑢) = 𝑐1 𝑐𝑜𝑠 ( ) + 𝑐2 𝑠𝑖𝑛 ( ) , 𝑐1 , 𝑐2 ∈ ℝ (3.1.26)
𝑐 𝑐
eşitliği sağlanır. Bununla birlikte 𝑐2 = 0 için
a) b)
3 3
Şekil 8.3.1. Küresel yüzeyler: a) 𝑐1 = 2 , 𝑐 = 1 hiperbolik, b) 𝑐1 = 5 , 𝑐 = 1 eliptik durum
(Velickovic, 2002).
Sonuç 8.3.21 𝑀 ⊂ ℝ3 yüzeyi (8.1.9) parametrizasyonu ile verilen birim meridyen eğrili
1
dönel yüzey olsun. Eğer 𝑀 yüzeyi bir 𝑐 > 0 sabit sayısı için K = − c2 biçiminde negatif
Gauss eğriliğine sahip ise bu takdirde
𝑢 𝑢
𝑓2 (𝑢) = 𝑐1 𝑐𝑜𝑠ℎ ( ) + 𝑐2 𝑠𝑖𝑛ℎ ( ) , 𝑐1 , 𝑐2 ∈ ℝ (8.3.27)
𝑐 𝑐
eşitliği sağlanır. Bununla birlikte
i. Eğer 𝑐1 = −𝑐2 = 𝜆 ≠ 0 ise 𝑓2 (𝑢) = 𝜆𝑒 −𝑢⁄𝑐 dır. Bu durumda 𝑀 yüzeyi
parabolik pseudo-küresel yüzey belirtir (Şekil 8.3.2-a).
𝑢
ii. Eğer 𝑐2 = 0, 𝑐1 = 𝜆 ≠ 0 ise 𝑓2 (𝑢) = 𝜆 𝑐𝑜𝑠ℎ ( 𝑐 ) dir. Bu durumda 𝑀 hiperbolik
pseudo- küresel yüzey belirtir (Şekil 8.3.2-b).
𝑢
iii. Eğer 𝑐1 = 0, 𝑐2 = 𝜆 ≠ 0 ise 𝑓2 (𝑢) = 𝜆 𝑠𝑖𝑛ℎ ( ) dir. Bu durumda 𝑀 eliptik
𝑐
pseudo- küresel yüzey belirtir (Şekil 8.3.2-c).
44
a) b) c)
3 3
Şekil 8.3.2. Pseudo-küresel yüzeyler: a) 𝜆 = 2 , c = 1 parobolik, b) 𝜆 = 4 , c = 1
1
hiperbolik c) 𝜆 = 2 , c = 1 eliptik durum (Velickovic, 2002).
𝜆2
𝛼(𝑢) = (∫ √1 − 𝑐 2 𝑒 −2𝑢⁄𝑐 𝑑𝑢, 𝜆𝑒 −𝑢⁄𝑐 ) (8.3.28)
traktriks eğrisi ise bu durumda dönel yüzey ℝ3 de Beltrami yüzeyi olarak adlandırılır. Bu
yüzeyin bir parametrelendirmesi,
𝜆2
𝑥(𝑢, 𝑣) = (∫ √1 − 𝑐 2 𝑒 −2𝑢⁄𝑐 𝑑𝑢 , 𝜆𝑒 −𝑢⁄𝑐 𝑐𝑜𝑠 𝑣 , 𝜆𝑒 −𝑢⁄𝑐 𝑠𝑖𝑛 𝑣) (8.3.29)
1
dir. Sonuç olarak Beltrami yüzeylerinin Gauss eğriliği 𝐾 = − 𝑐 2 dir. Bu nedenle
Beltrami yüzeyleri parabolik pseudo-küresel yüzeyler sınıfına girmektedir. Pseudo-küre,
1868 yılında Eugenio Beltrami tarafından çalışılmış olup hiperbolik geometri için bir
model teşkil eder (Beltrami, 1868). Bu çalışmalardan da bilindiği üzere pseudo-küre
negatif, sabit Gauss eğriliğine sahiptir.
Örnek 8.3.23 ℝ3 de
45
𝑓1 (𝑢) = 𝑢, 𝑓2 (𝑢) = 𝑓(𝑢) ve 𝜅(𝑢) = 𝑓1′ (𝑢)𝑓2 ′′(𝑢) − 𝑓1′′ (𝑢)𝑓2 ′(𝑢)
alınarak
1 + (𝑓 ′ (𝑢))2 − 𝑓 ′′ (𝑢)𝑓(𝑢)
𝐻= (8.3.31)
2𝑓(𝑢)(1 + (𝑓 ′ (𝑢))2 )3/2
elde edilir. Sonuç olarak verilen yüzeyin minimal olması için gerek ve yeter koşul
1 + (𝑓 ′ (𝑢))2 − 𝑓 ′′ (𝑢)𝑓(𝑢) = 0
𝑢
𝛼(𝑢) = (𝑢, 𝑎𝑐𝑜𝑠ℎ ( + 𝑏)) (8.3.32)
𝑎
katenar olup; dönel yüzey
𝑢 𝑢
𝑥(𝑢, 𝑣) = (𝑢, 𝑎𝑐𝑜𝑠ℎ ( + 𝑏) 𝑐𝑜𝑠𝑣, 𝑎𝑐𝑜𝑠ℎ ( + 𝑏) 𝑠𝑖𝑛𝑣) (8.3.33)
𝑎 𝑎
koordinat yamasına sahip katenoid belirtir.
Örnek 8.3.23 ℝ3 de
𝑢 𝑢
𝑥(𝑢, 𝑣) = (𝑢, 𝑎𝑐𝑜𝑠ℎ ( + 𝑏) 𝑐𝑜𝑠𝑣, 𝑎𝑐𝑜𝑠ℎ ( + 𝑏) 𝑠𝑖𝑛𝑣) (8.3.34)
𝑎 𝑎
−𝑐 ≤ 𝑢 ≤ 𝑐, 0 ≤ 𝑣 ≤ 2𝜋 koordinat yamasıyla verilen katenoid yüzeyinin Gauss ve
toplam Gauss eğriliklerini hesaplayınız.
𝑢
Çözüm. (8.1.9) dönel yüzey yamasında 𝑓1 (𝑢) = 𝑢, 𝑓2 (𝑢) = 𝑎𝑐𝑜𝑠ℎ (𝑎 + 𝑏) olduğundan
1 𝑢
𝜅(𝑢) = 𝑓1′ (𝑢)𝑓2′′ (𝑢) − 𝑓1′′ (𝑢)𝑓2′ (𝑢) = 𝑐𝑜𝑠ℎ ( + 𝑏),
𝑎 𝑎
𝑢
𝜂(𝑢) = √(𝑓1′ )2 + (𝑓2′ )2 = 𝑐𝑜𝑠ℎ ( + 𝑏)
𝑎
elde edilir. Böylece bu değerler (8.3.20) de yerine yazılırsa, tor yüzeyin Gauss eğriliği
𝜅(𝑢)𝑓1′ (𝑢) 1
𝐾=− 4
=− 𝑢
𝜂 (𝑢)𝑓2 (𝑢) 𝑎2 𝑐𝑜𝑠ℎ4 (𝑎 + 𝑏)
46
1.inci temel form katsayılarına ve dolayısıyla
2
𝑢
√𝑔 = √𝑔11 𝑔22 − 𝑔12 = 𝑎𝑐𝑜𝑠ℎ2 ( + 𝑏)
𝑎
alan elamanına ihtiyaç duyulur. Bunlar yardımıyla bu yüzeyin toplam Gauss eğriliği
𝑐 2𝜋
1 𝑐
𝒦 = ∬ 𝐾 √𝑔𝑑𝑢𝑑𝑣 = ∫ ∫ 𝑢 𝑑𝑢𝑑𝑣 = −4𝜋𝑡𝑎𝑛ℎ ( + 𝑏)
𝑐𝑜𝑠ℎ2 (𝑎 + 𝑏) 𝑎
𝑈 −𝑐 0
Örnek 8.3.24 ℝ3 de
𝑥(𝑢, 𝑣) = (𝑢𝑐𝑜𝑠𝑣, 𝑢𝑠𝑖𝑛𝑣, 𝑏𝑣); 𝑏 > 0 (8.3.35)
Çözüm. Örnek 8.1.4 de helikoid yüzeyinin 1.inci ve 2.nci temel form katsayıları
katsayıları
𝑔11 = 1, 𝑔12 = 𝑔21 = 0, 𝑔22 = 𝑢2 + 𝑏 2
ve
−𝑏
𝑐11 = 0, 𝑐12 = 𝑐21 = , 𝑐22 = 0
√𝑢2 + 𝑏 2
olarak hesaplanmıştı. Böylece helikoid yüzeyinin ortalama eğriliği
olarak bulunur. Diğer bir deyişle helikoid yüzeyi minimaldir. Benzer şekilde helikoid
yüzeyinin Gauss eğriliği
olarak bulunur. Diğer bir değişle helikoid yüzeyi negatif Gauss eğrilikli bir yüzeydir.
Örnek 8.3.25 ℝ3 de 𝑥(𝑢, 𝑣) = (𝑢, 𝑣, ℎ(𝑢, 𝑣)) Monge yamasıyla verilen graf yüzeyinin
Gauss ve ortalama eğriliğini bulunuz.
47
ℎ𝑢𝑢 ℎ𝑢𝑣 ℎ𝑣𝑣
𝑐11 = , 𝑐12 = , 𝑐22 =
√𝑔 √𝑔 √𝑔
ℎ𝑢𝑢 ℎ ℎ
(1 + ℎ𝑣2 ) + (1 + ℎ𝑢2 ) 𝑣𝑣 − 2ℎ𝑢 ℎ𝑣 𝑢𝑣
√𝑔 √𝑔 √𝑔
= (8.3.37)
2𝑔
olarak bulunur. Bu durumda öteleme yüzeyin minimal olması için gerek ve yeter koşul
48
> dsolve(ode);
olarak hesaplanır. Bu koordinat yamasıyla verilen yüzeye Scherk yüzeyi adı verilir.
Basitliğin hatırına 𝑐1 = 𝑐3 = 0 ve 𝑎 = 𝑐2 = 𝑐4 = 1 alınırsa, Scherk yüzeyi
𝑐𝑜𝑠𝑢 𝜋 𝜋
𝑥(𝑢, 𝑣) = (𝑢, 𝑣, 𝑙𝑛 | |) , − < 𝑢, 𝑣 < (8.3.40)
𝑐𝑜𝑠𝑣 2 2
koordinat yamasıyla temsil edilir.
Örnek 8.3.27 ℝ4 de
𝑓3 ′′ (𝑢)
𝐾1 = 𝑑𝑒𝑡(𝐴𝑁1 ) = −
𝑓3 (𝑢)
ve
𝐾2 = 𝑑𝑒𝑡(𝐴𝑁2 ) = 0
49
yardımıyla Gauss eğriliği
𝑛−2
𝑓3 ′′ (𝑢)
𝐾 = ∑ 𝐾𝛼 = − (8.3.41)
𝑓3 (𝑢)
𝛼=1
olarak hesaplanır. Benzer şekilde yüzeyin 1.incı ve 2.nci ortalama eğriklerinin sırasıyla
1 1 𝑓3 ′′ (𝑢)
𝐻1 = 𝑖𝑧(𝐴𝑁1 ) = (𝜅𝛾 (𝑢) − )
2 2 𝜅𝛾 (𝑢)𝑓3 (𝑢)
ve
1 𝜅1 (𝑢)
𝐻2 = 𝑖𝑧(𝐴𝑁2 ) = −
2 2𝑓3 (𝑢)𝜅𝛾 (𝑢)
1 𝑓3 ′′ (𝑢) 𝜅1 (𝑢)
⃗⃗ = 𝐻1 𝑁1 + 𝐻2 𝑁2 = (𝜅𝛾 (𝑢) −
𝐻 ) 𝑁1 − 𝑁 (8.3.42)
2 𝜅𝛾 (𝑢)𝑓3 (𝑢) 2𝑓3 (𝑢)𝜅𝛾 (𝑢) 2
2 2
1 𝑓3 ′′ (𝑢) 𝜅1 (𝑢)
⃗⃗ ‖ = √𝐻12 +𝐻22 =
𝐻 = ‖𝐻 √(𝜅𝛾 (𝑢) − ) +( ) (8.3.43)
2 𝜅𝛾 (𝑢)𝑓3 (𝑢) 2𝑓3 (𝑢)𝜅𝛾 (𝑢)
Örnek 8.2.35 ℝ4 de
𝑀2 : 𝑥(𝑢, 𝑣) = 𝑓1 (𝑢)𝑒
⃗⃗1 + 𝑓2 (𝑢)𝜌(𝑣)
0 0 −𝜅𝛾 (𝑢) 0
𝐴𝑁1 = [ 𝜅𝜌 (𝑣)], 𝐴𝑁 = [ 𝑓1′ (𝑢)]
0 2
0
𝑓2 (𝑢) 𝑓2 (𝑢)
𝐾1 = 𝑑𝑒𝑡(𝐴𝑁1 ) = 0
ve
𝑓1′ (𝑢)𝜅𝛾 (𝑢)
𝐾2 = 𝑑𝑒𝑡(𝐴𝑁2 ) = −
𝑓2 (𝑢)
yardımıyla Gauss eğriliği
50
2
𝑓1′ (𝑢)𝜅𝛾 (𝑢)
𝐾 = ∑ 𝐾𝛼 = −
𝑓2 (𝑢)
𝛼=1
1 𝜅𝜌 (𝑣)
𝐻1 = 𝑖𝑧(𝐴𝑁1 ) =
2 2𝑓2 (𝑢)
ve
1 1 𝑓1′ (𝑢)
𝐻2 = 𝑖𝑧(𝐴𝑁2 ) = ( − 𝜅𝛾 (𝑢))
2 2 𝑓2 (𝑢)
Örnek 8.3.28 ℝ4 de
51
2
1 𝜇𝜅𝛾 𝛿 2
𝐾 = ∑ 𝐾𝛼 = ( − 2) (8.3.44)
𝜙 2 𝜂2 𝜂2 𝜙
𝛼=1
1 𝜙 2 𝜅𝛾 + 𝜂2 𝜇
⃗⃗ = 𝐻1 𝑁1 + 𝐻2 𝑁2 = − (
𝐻 ) 𝑁1 (8.3.45)
2 𝜂3 𝜙 2
şeklinde hesaplanır.
2 2
𝜂 = √(𝑓1 ′(𝑢)) + (𝑓2 ′(𝑢)) = √(𝑟′)2 + 𝑟 2 , (8.3.47)
1 𝜇𝜅𝛾 𝛿 2 (𝑟 ′ )2 − 𝑟𝑟 ′′
𝐾= ( − ) = (8.3.52)
𝜙 2 𝜂2 𝜂2 𝜙2 ((𝑟′)2 + 𝑟 2 )2
ve
52
𝑟𝑟 ′′ − 3(𝑟 ′ )2 − 2𝑟 2
𝐻= (8.3.53)
2((𝑟′)2 + 𝑟 2 )3/2
olarak hesaplanır.
Önerme 8.3.30 Vranceanu yüzeyinin düz olması için gerek ve yeter şart
(𝑟 ′ )2 − 𝑟𝑟 ′′ = 0 (8.3.54)
olmasıdır.
Sonuç 8.3.31 Vranceanu yüzeyinin düz olması için gerek ve yeter şart
> ode1:=diff(r(v),v,v)*r(v)-diff(r(v),v)^2=0;
> dsolve (ode1);
Maple komutu yardımıyla çözümünden istenilen sonuç elde edilir. ■
Önerme 8.3.33 Vranceanu yüzeyinin minimal olması için gerek ve yeter şart
2𝑟 2 + 3(𝑟 ′ )2 − 𝑟𝑟 ′′ = 0 (8.3.56)
eşitliğinin sağlanmasıdır.
Sonuç 8.3.34 Vranceanu yüzeyinin minimal olması için gerek ve yeter şart
1
𝑟(𝑢) = ± , 𝑎, 𝑏 ∈ ℝ (8.3.57)
√asin(2𝑢) − 𝑏𝑐𝑜𝑠(2𝑢)
olmasıdır (Arslan ve ark. 2011a).
> ode2:=diff(r(u),u,u)*r(u)-3*diff(r(u),u)^2-2*r(u)^2=0;
> dsolve (ode2);
maple komutu yardımıyla çözümünden
53
1 1
𝑟(𝑢) = ve 𝑟(𝑢) = − ,
√asin(2𝑢) − 𝑏𝑐𝑜𝑠(2𝑢) √asin(2𝑢) − 𝑏𝑐𝑜𝑠(2𝑢)
elde edilir. Burada 𝑎 ve 𝑏 integral sabitleridir. ■
54
1 𝑔12
〈ℎ(𝑒1 , 𝑒1 ), ℎ(𝑒2 , 𝑒2 )〉 = 〈ℎ(𝑥𝑢 , 𝑥𝑢 ), ℎ(𝑥𝑣 , 𝑥𝑣 )〉 − 2 〈ℎ(𝑥𝑢 , 𝑥𝑢 ), ℎ(𝑥𝑢 , 𝑥𝑣 )〉
𝑔 𝑔𝑔11
2
𝑔12
+ 2 〈ℎ(𝑥𝑢 , 𝑥𝑢 ), ℎ(𝑥𝑢 , 𝑥𝑢 )〉
𝑔𝑔11
ve benzer şekilde
1 𝑔12
〈ℎ(𝑒1 , 𝑒2 ), ℎ(𝑒1 , 𝑒2 )〉 = 〈ℎ(𝑥𝑢 , 𝑥𝑣 ), ℎ(𝑥𝑢 , 𝑥𝑣 )〉 − 2 〈ℎ(𝑥𝑢 , 𝑥𝑢 ), ℎ(𝑥𝑢 , 𝑥𝑣 )〉
𝑔 𝑔𝑔11
2
𝑔12
+ 2 〈ℎ(𝑥𝑢 , 𝑥𝑢 ), ℎ(𝑥𝑢 , 𝑥𝑢 )〉
𝑔𝑔11
bulunur. Sonuç olarak (8.3.63) denklemi (8.3.10) ile karşılaştırıldığında istenilen sonuç
elde edilir.
(8.3.10) ve (8.3.63) eşitlikleri yardımıyla aşağıdaki sonuç elde edilir:
55
1 𝜕 2 𝑔11 𝜕 2 𝑔12 𝜕 2 𝑔22
𝑔𝐾 = − ( − 2 + ) (8.3.65)
2 𝜕𝑣 2 𝜕𝑢𝜕𝑢 𝜕𝑢2
1 1 1 )2 )𝑔 2 2 2 2 2 1 1 2 1 2
−(Γ11 Γ22 − (Γ12 11 − (Γ11 Γ22 − (Γ12 ) )𝑔22 − (Γ11 Γ22 − 2Γ12 Γ12 + Γ11 Γ22 )𝑔12
eşitliği sağlanır.
Örnek. 8.3.42 ℝ4 de
𝑥(𝑢, 𝑣) = (𝑢, 𝑣, 𝑟(𝑢)𝑐𝑜𝑠𝑣, 𝑟(𝑢)𝑠𝑖𝑛𝑣) (8.3.67)
biçiminde açık formda tanımlanan yüzeye Aminov yüzeyi adı verilir. Burada 𝑟(𝑢) reel
değerli türevlenebilir bir fonksiyondur. Bu yüzeyin Gauss eğriliğini bulunuz.
56
olarak hesaplanır. Özel olarak 𝑟(𝑢) = 𝑢 alınırsa Gauss eğrilik
1
𝐾=−
2(1 + 𝑟 2 )2
bulunur.
(8.3.70) denklemi elde edilir. İkinci dereceden lineer olmayan bu kısmi diferansiyel
denklem soliton teorinin temel dalga denklemlerinden önemli birini oluşturur.
Çözüm. (8.3.71) metriği ile verilen yüzeyin 1.inci temel form katsayıları
57
𝑔11 = 𝑐𝑜𝑠 2 𝜃, 𝑔11 = 0, 𝑔11 = 𝑠𝑖𝑛2 𝜃
biçimine dönüşür. Böylece son eşitlik (8.3.3) ile karşılaştırıldığında istenilen sonuç elde
edilir.
Buradan(8.3.73) ve (8.3.74) yardımıyla aşağıdaki sonuç elde edilir.
Açıklama 8.3.47 1) (8.2.4) Gauss denklemi kullanılarak 2.nci temel form vektörleri
1 2
ℎ(𝑥𝑢 , 𝑥𝑢 ) = 𝑥𝑢𝑢 − (Γ11 𝑥𝑢 + Γ11 𝑥𝑣 ),
1 2
ℎ(𝑥𝑢 , 𝑥𝑣 ) = 𝑥𝑢𝑣 − (Γ12 𝑥𝑢 + Γ12 𝑥𝑣 ), (8.3.76)
1 2
ℎ(𝑥𝑣 , 𝑥𝑣 ) = 𝑥𝑣𝑣 − (Γ22 𝑥𝑢 + Γ22 𝑥𝑣 )
olarak bulunur.
58
2) 𝑔12 = 0 olduğunda (8.1.1), (8.2.3) ve (8.3.76) eşitlikleri yardımıyla
1 1
ℎ(𝑥𝑢 , 𝑥𝑢 ) = 𝑥𝑢𝑢 − 〈𝑥𝑢𝑢 , 𝑥𝑢 〉𝑥𝑢 + 〈𝑥 , 𝑥 〉𝑥
𝑔11 𝑔22 𝑢𝑣 𝑢 𝑣
1 1
ℎ(𝑥𝑢 , 𝑥𝑣 ) = 𝑥𝑢𝑣 − 〈𝑥𝑢𝑣 , 𝑥𝑢 〉𝑥𝑢 − 〈𝑥 , 𝑥 〉𝑥 (8.3.77)
𝑔11 𝑔22 𝑢𝑣 𝑣 𝑣
1 1
ℎ(𝑥𝑣 , 𝑥𝑣 ) = 𝑥𝑣𝑣 + 〈𝑥𝑣𝑣 , 𝑥𝑣 〉𝑥𝑢 − 〈𝑥 , 𝑥 〉𝑥
𝑔11 𝑔22 𝑣𝑣 𝑣 𝑣
elde edilir.
1 1 )2 2 2 )2 1 1 )(Γ 2 2
4𝑔2 𝐻 2 = ‖𝑥𝑢𝑢 + 𝑥𝑣𝑣 ‖2 − (Γ11 +Γ22 𝑔11 − (Γ11 +Γ22 𝑔22 − 2(Γ11 +Γ22 11 +Γ22 )
Örnek 8.3.49 ℝ3
𝑥(𝑢, 𝑣) = (𝑓1 (𝑢), 𝑓2 (𝑢)𝑐𝑜𝑠𝑣, 𝑓2 (𝑢)𝑠𝑖𝑛𝑣)
koordinat yamasıyla verilen dönel yüzeyin Gauss eğriliğini ve ortalama eğrilik vektörünü
bulunuz.
olarak hesaplanmıştı. Böylece dönel yüzeyin Gauss eğriliği ve ortalama eğrilik vektörü
sırasıyla
1 𝜅(𝑢)𝑓1′ (𝑢)
𝐾 = (〈ℎ(𝑥𝑢 , 𝑥𝑢 ), ℎ(𝑥𝑣 , 𝑥𝑣 )〉 − 〈ℎ(𝑥𝑢 , 𝑥𝑣 ), ℎ(𝑥𝑢 , 𝑥𝑣 )〉) = − 4
𝑔 𝜂 (𝑢)𝑓2 (𝑢)
ve
1
⃗⃗ =
𝐻 (𝑔 ℎ(𝑥𝑣 , 𝑥𝑣 ) − 2𝑔12 ℎ(𝑥𝑢 , 𝑥𝑣 ) + 𝑔22 ℎ(𝑥𝑢 , 𝑥𝑢 ))
2𝑔 11
59
olarak hesaplanır.
Örnek 8.3.50 ℝ4 de
𝑀1 : 𝑥(𝑢, 𝑣) = (𝑓1 (𝑢), 𝑓2 (𝑢), 𝑓3 (𝑢) 𝑐𝑜𝑠 𝑣 , 𝑓3 (𝑢) 𝑠𝑖𝑛 𝑣)
koordinat yamasıyla verilen rotasyonel yüzeyin ikinci temel form vektörlerini bulunuz.
ℎ(𝑥𝑢 , 𝑥𝑢 ) = 𝜅𝛾 (𝑢)𝑁1 ,
ℎ(𝑥𝑢 , 𝑥𝑣 ) = 0
ve
𝑓3 ′′ (𝑢)𝑓3 (𝑢) 𝑓3 ′′ (𝑢) 𝜅1(𝑢)
ℎ(𝑥𝑣 , 𝑥𝑣 ) = − 𝑁1 − 𝑁2
𝜅𝛾 (𝑢) 𝜅𝛾 (𝑢)
Bu hesaplamalar ile (8.3.26) ve (8.3.27) eşitliklerinde elde edilen sonuçların aynı olduğu
görülür.
60
2
𝛼
1 𝛼 𝛼
𝑔12
ℎ22 = 〈ℎ(𝑒2 , 𝑒2 ), 𝑁𝛼 〉 = (𝑔11 𝑐22 − 2𝑔12 𝑐12 + 𝑐𝛼 )
𝑔 𝑔11 11
dır.
𝐾 = ∑ 𝑑𝑒𝑡(𝐴̃𝑁𝛼 ) (8.3.82)
𝛼=1
ve
𝑛−1
1
⃗⃗ = ∑ 𝑖𝑧(𝐴̃𝑁 )𝑁𝛼
𝐻 (8.3.83)
𝛼
2
𝛼=1
ile hesaplanır.
61
𝑛−2
1 1
𝑖𝑧(𝐴̃𝑁𝛼 ) = (𝑔 𝑐 𝛼 − 2𝑔12 𝑐12
𝛼 𝛼 )
+𝑔22 𝑐11 ⃗⃗ = ∑ 𝐻𝛼 𝑁𝛼
= 𝐻𝛼 ; 𝐻
2 2𝑔 11 22
𝛼=1
Örnek 8.3.56 ℝ4 de
𝑥(𝑢, 𝑣) = (𝑢, 𝑣, 𝑢𝑐𝑜𝑠𝑣, 𝑢𝑠𝑖𝑛𝑣) (8.3.84)
açık formda verilen Aminov yüzeyinin Gauss ve ortalama eğriliklerini 2.nci temel form
vektörleri yardımıyla bulunuz.
olarak bulunur. Buradan verilen Aminov yüzeyinin 1.inci temel form katsayıları
𝑔11 = 〈𝑥𝑢 , 𝑥𝑢 〉 = 2 ,
𝑔12 = 𝑔21 = 0,
𝑔22 = 〈𝑥𝑣 , 𝑥𝑣 〉 = 1 + 𝑢2
62
1 2
𝑢
ℎ(𝑥𝑣 , 𝑥𝑣 ) = 𝑥𝑣𝑣 − Γ22 𝑥𝑢 − Γ22 𝑥𝑣 = (1,0, −𝑐𝑜𝑠𝑣, −𝑠𝑖𝑛𝑣)
2
elde edilir. Böylece yukarıda elde edilen 2.nci temel form vektörleri yardımıyla Aminov
yüzeyinin Gauss ve ortalama eğrilik vektörü sırasıyla
1
𝐾= (〈ℎ(𝑥𝑢 , 𝑥𝑢 ), ℎ(𝑥𝑣 , 𝑥𝑣 )〉 − 〈ℎ(𝑥𝑢 , 𝑥𝑣 ), ℎ(𝑥𝑢 , 𝑥𝑣 )〉)
𝑔
1
=− ,
2(1 + 𝑢2 )2
ve
1
⃗⃗ =
𝐻 (𝑔 ℎ(𝑥𝑣 , 𝑥𝑣 ) − 2𝑔12 ℎ(𝑥𝑢 , 𝑥𝑣 ) + 𝑔22 ℎ(𝑥𝑢 , 𝑥𝑢 ))
2𝑔 11
𝑢
= (1,0, −𝑐𝑜𝑠𝑣, −𝑠𝑖𝑛𝑣)
2𝑔
dir.
4-boyutlu Öklit uzayı ℝ4 de bir 𝛾 eğrisi ve bir 𝛽 vektörü verilsin. 𝛽 vektörünün 𝛾 eğrisi
boyunca hareket ettirilmesi ile ℝ4 de bir 𝑀 yüzeyi oluşur. Bu yüzeye ℝ4 ün regle yüzeyi
adı verilir. Regle yüzeyi parametrik olarak
biçiminde tanımlanır. Burada 𝛽(𝑢) birim vektör alındığında, yüzeyin 𝑣 parametresi 𝛽(𝑢)
pozitif yönü boyunca 𝑝 ∈ 𝑀 noktasının 𝛾(𝑢) eğrisine olan uzaklığına eşit olur. Bu şekilde
tanımlanan 𝛾(𝑢) eğrisine yüzeyin üreteç eğrisi ve 𝛽(𝑢) vektörüne de yüzeyin döngüleri
denir (Plass 1939). Burada (8.3.85) regle yaması olarak adlandırılır.
Eğer tüm 𝛽(𝑢) vektörleri aynı noktada kesişirlerse birim hiperküreyi orijinde kesen bir
koni oluşturur. Bu koniye yüzeyin üreteç konisi denir. Bundan sonra 𝛾(𝑢) bir birim hızlı
eğri ve 〈𝛾 ′ (𝑢), 𝛽(𝑢)〉 = 0 olarak kabul edilecektir.
Böylece aşağıdaki sonuçlar elde edilir.
𝑥𝑢 = 𝛾 ′ (𝑢) + 𝑣𝛽 ′ (𝑢),
63
𝑥𝑣 = 𝛽(𝑢)
1 1
ℎ(𝑥𝑢 , 𝑥𝑢 ) = 𝑥𝑢𝑢 − 〈𝑥𝑢𝑢 , 𝑥𝑢 〉𝑥𝑢 + 〈𝑥 , 𝑥 〉𝑥
𝑔11 𝑔22 𝑢𝑣 𝑢 𝑣
1
ℎ(𝑥𝑢 , 𝑥𝑣 ) = 𝑥𝑢𝑣 − 〈𝑥 , 𝑥 〉𝑥 (8.3.88)
𝑔11 𝑢𝑣 𝑢 𝑢
ℎ(𝑥𝑣 , 𝑥𝑣 ) = 0
Dikkat edilirse (8.3.85) regle yamasıyla verilen yüzeyler negatif Gauss eğriliklidir.
Açıklama 8.3.60 ℝ4 de bir regle yüzeyin Gauss eğriliği 𝐾 = 0 ise bu yüzey bir açılabilir
yüzeydir. Açılabilir yüzeyler burulmuş eğrilerin teğetsel yüzeyleridir. Bununla birlikte
𝐾 = 0 Gauss eğriliğine sahip ℝ4 deki tüm yüzeyler açılabilir regle yüzeyler olmak
zorunda değildir (bkz. Plass 1939, syf. 9).
64
Örnek 8.3.61 𝛾(𝑢) üreteç eğrisi ℝ4 de birim hızlı bir eğri olsun. Bu eğrinin Frenet
vektörleri 𝑉𝑖 , 1 ≤ 𝑖 ≤ 4 olmak üzere
yamasıyla verilen regle yüzeylerinin Gauss eğrilikleri Tablo 8.3.1 de verilmiştir (Bayram
ve ark. 2009):
İspat. (8.3.85) regle yaması ile verilen M yüzeyi için 𝑔12 = 0 ve ℎ(𝑥𝑣 , 𝑥𝑣 ) = 0
olduğundan (8.3.75) denklemi yardımıyla istenilen sonuç elde edilir. ■
2 1
⃗⃗ ‖ = −
‖𝐻 〈ℎ(𝑥𝑢 , 𝑥𝑢 ), ℎ(𝑥𝑢 , 𝑥𝑢 )〉 (8.3.93)
2
4𝑔11
eşitliği geçerlidir.
Örnek 8.3.64 ℝ4 de
𝑥(𝑢, 𝑣) = (0,0, 𝑏𝑢, 0) + 𝑣(𝑐𝑜𝑠𝑢, 𝑠𝑖𝑛𝑢, 0,0)
regle yaması ile verilen yüzey ℝ3 de yatan bir helikoid yüzeyi belirtir. Bu yüzey için
65
ℎ(𝑥𝑢 , 𝑥𝑢 ) = 0
𝑣
ℎ(𝑥𝑢 , 𝑥𝑣 ) = 𝑥𝑢𝑣 − 𝑥 , (8.3.94)
𝑔11 𝑢
ℎ(𝑥𝑣 , 𝑥𝑣 ) = 0
𝑏2
𝐾=− 2 ve 𝐻 = 0
𝑏 + 𝑣2
elde edilir.
Sonuç 8.3.65 ℝ4 de minimal olan tek yüzey ℝ3 de yatan minimal bir regle yüzey olan
helikoid dir (Plass 1939).
𝛽(𝑢) = ∑ 𝛽𝑖 𝑉𝑖
𝑖=2
biçiminde birim vektörü için alındığında
4
regle yaması elde edilir. Bu yamayla tanımlanan yüzey genelleştirilmiş standart regle
yüzeyi olarak bilinir (Goncharova 2006a). Burada 𝑉𝑖 ler birim hızlı 𝛾(𝑢) eğrisinin Frenet
vektörleridir. Ayrıca, 𝛽(𝑢) eğrisinin hız vektörü
4
′ (𝑢)
𝛽 = ∑ 𝑎𝑖 𝑉𝑖 (8.3.96)
𝑖=2
olup, burada
𝑎1 = −𝑘1 𝛽2 ,
𝑎2 = 𝛽2′ − 𝑘2 𝛽3 ,
𝑎3 = 𝛽3′ + 𝑘2 𝛽2 − 𝑘3 𝛽4 , (8.3.97)
𝑎4 = 𝛽4′ + 𝑘3 𝛽3
türevlenebilir fonksiyonlardır.
Önerme 8.3.67 (8.3.95) yamasıyla verilen genelleştirilmiş standart regle yüzeyin Gauss
eğriliği
𝑎22 + 𝑎32 + 𝑎42
𝐾=− 2 (8.3.98)
𝑔11
66
dir (Goncharova 2006b).
Alıştırmalar 8.3
𝑥(𝑢, 𝑣) = (𝑟1 𝑐𝑜𝑠𝑢, 𝑟1 𝑠𝑖𝑛𝑢, 𝑟2 𝑐𝑜𝑠 𝑣 , 𝑟2 𝑠𝑖𝑛 𝑣), −𝜋 < 𝑢, 𝑣 < 𝜋 (8.3.98)
dir. Diğer bir deyişle 𝕋2 = 𝑆 1 (𝑟1 ) × 𝑆 1 (𝑟2 ) Riemann çarpımı olarak ifade edilir. Tor
yüzeyin Gauss ve ortalama eğriliklerini bulunuz.
kuadratik denkleminin kökleridir. Bununla birlikte √𝐻𝛼2 − 𝐾𝛼 olduğundan 𝜅1𝛼 , 𝜅2𝛼 asli
eğrilikleri
Önerme. 8.4.2. 𝑀ℝ𝑛 lokal yüzeyi 𝑥 = 𝑥(𝑢, 𝑣) regüler yamasıyla verilsin. 𝑀 nin 𝑁𝛼 ya
karşılık gelen 𝛼. ıncı Gauss ve ortalama eğrilikleri sırasıyla
𝜅1𝛼 + 𝜅2𝛼
𝐻𝛼 = (8.4.4)
2
𝐾𝛼 = 𝜅1𝛼 𝜅2𝛼 (8.4.5)
dir.
67
İspat. (8.4.2) ve (8.4.3) eşitliklerinden ispat aşikardır.
Örnek 8.4.3 ℝ3 de
𝑥(𝑢, 𝑣) = (𝑓1 (𝑢), 𝑓2 (𝑢)𝑐𝑜𝑠𝑣, 𝑓2 (𝑢)𝑠𝑖𝑛𝑣)
𝜅(𝑢)
− 0
𝑤11 𝑤12 𝜂3 (𝑢)
𝐴𝑁 = [𝑤 𝑤22 ] = (8.4.6)
21 𝑓1′ (𝑢)
0
[ 𝜂(𝑢)𝑓2 (𝑢)]
olarak bulunmuştu. Böylece Önerme. 8.4.2 den dönel yüzeyin asli eğrilikleri
olarak bulunur. Burada 𝜂(𝑢) = √(𝑓1 ′(𝑢))2 + (𝑓2 ′(𝑢))2 ve 𝜅(𝑢) = 𝑓1′ (𝑢)𝑓2′′ (𝑢) −
𝑓1′′ (𝑢)𝑓2′ (𝑢) dır.
Örnek. 8.4.4 ℝ3 de
𝑠
𝑠
𝑓1 (𝑢) = ∫0 √1 − 𝑐 2 𝑠𝑖𝑛2 𝑡𝑑𝑡, 𝑓2 (𝑢) = 𝑐𝑠𝑖𝑛𝑠
olduğundan
𝜂(𝑢) = √(𝑓1 ′(𝑢))2 + (𝑓2 ′(𝑢))2 = 1
ve
𝑐𝑐𝑜𝑠𝑠
𝜅(𝑢) = 𝑓1′ (𝑢)𝑓2′′ (𝑢) − 𝑓1′′ (𝑢)𝑓2′ (𝑢) = −
√1 − 𝑐 2 𝑠𝑖𝑛2 𝑠
olarak bulunur. Bu değerler (8.4.7) de yerine yazılırsa bu yüzeyin asli eğrilikleri
𝑐𝑐𝑜𝑠𝑠
𝜅1 =
√1 − 𝑐 2 𝑠𝑖𝑛2 𝑠
√1 − 𝑐 2 𝑠𝑖𝑛2 𝑠
𝜅2 =
𝑐𝑐𝑜𝑠𝑠
68
olarak bulunur. Böylece dönel yüzeyin Gauss eğriliği 𝐾 = 𝜅1 𝜅2 = 1 dir.
Örnek 8.4.5 ℝ3 de
𝑥(𝑢, 𝑣) = (𝑏𝑐𝑜𝑠𝑢, (𝑎 + 𝑏𝑠𝑖𝑛𝑢)𝑐𝑜𝑠𝑣, (𝑎 + 𝑏𝑠𝑖𝑛𝑢)𝑠𝑖𝑛𝑣); 𝑎 > 𝑏 > 0 ,
koordinat yamasıyla verilen dairesel tor yüzeyinin asli eğriliklerini hesaplayınız.
Çözüm. Bu yüzey 𝑓1 (𝑢) = 𝑏𝑐𝑜𝑠𝑢, 𝑓2 (𝑢) = 𝑎 + 𝑏𝑠𝑖𝑛𝑢 meridyen eğrili dönel yüzeydir.
Bu durumda
𝜂(𝑢) = √(𝑓1 ′(𝑢))2 + (𝑓2 ′(𝑢))2 = 𝑏
olarak bulunur. Bu değerler (8.4.7) de yerine yazılırsa dairesel tor yüzeyinin asli
eğrilikleri
1
𝜅1 = − ,
𝑏
−𝑠𝑖𝑛𝑢
𝜅2 =
𝑎 + 𝑏𝑠𝑖𝑛𝑢
olarak bulunur. Eğer 𝑎 = 0, 𝑏 = 𝑟 alınırsa tor yüzeyi 𝑟 -yarıçaplı küreye dönüşür.
Tanım 8.4.6 𝑀ℝ3 lokal yüzeyi 𝑥(𝑢, 𝑣): (𝑢, 𝑣) ∈ 𝑈 ⊂ ℝ2 regüler yamasıyla verilsin. 𝑀
nin 𝑝 noktasındaki asli eğrilikleri 𝜅1 = 𝜅2 ise 𝑝 ∈ 𝑀 noktasına umbilik nokta adı verilir.
Önerme 8.4.7 𝑀ℝ3 bağlantılı yüzeyin tüm noktaları umbilik ise bu takdirde 𝑀 yüzeyi
ya kürenin ya da düzlemin bir parçasıdır.
Örnek 8.4.8 ℝ4 de
69
2 2 0 0
w11 w12 𝜅1 (𝑢) ]
𝐴𝑁2 =[ 2 2 ] = [0 −
w21 w22 𝑓3 (𝑢)𝜅𝛾 (𝑢)
𝑓3 ′′ (𝑢)
𝜅11 = 𝜅𝛾 (𝑢), 𝜅21 = −
𝜅𝛾 (𝑢)𝑓3 (𝑢)
𝜅1 (𝑢)
𝜅12 = 0, 𝜅22 = −
𝑓3 (𝑢)𝜅𝛾 (𝑢)
dir.
Örnek 8.4.9 ℝ4 de
𝑀2 : 𝑥(𝑢, 𝑣) = 𝑓1 (𝑢)𝐸1 + 𝑓2 (𝑢)𝜌(𝑣)
𝜅𝜌 (𝑣)
𝜅11 = 0, 𝜅21 =
𝑓2 (𝑢)
ve
𝑓1′ (𝑢)
𝜅12 = −𝜅𝛾 (𝑢), 𝜅22 =
𝑓2 (𝑢)
dir.
Örnek 8.4.10 ℝ4 de
70
𝜅𝛾 𝜇
𝜅11 = − 3
, 𝜅21 = − 2
𝜂 𝜂𝜙
ve
𝛿 𝛿
𝜅12 = − 2
, 𝜅22 = 2
𝜙 𝜂 𝜙 𝜂
dir.
Alıştırmalar 8.4
1. ℝ3 de
𝑥(𝑢, 𝑣) = (𝑢𝑐𝑜𝑠𝑣, 𝑢𝑠𝑖𝑛𝑣, 𝑏𝑢), 𝑢 ∈ (0, ∞), 𝑣 ∈ [0,2𝜋]
2. Bir önceki kısımda (8.3.96) kordinat yamasıyla verilen ℝ4 deki tor yüzeyin asli
eğriliklerini bulunuz.
Tanım 8.5.1 𝑀ℝ𝑛 , 𝑛 > 3 lokal yüzeyi 𝑥 = 𝑥(𝑢, 𝑣) regüler yamasıyla verilsin. 𝑀 nin
𝛼
1. ve 2. temel form katsayıları sırasıyla 𝑔𝑖𝑗 ve 𝑐𝑖𝑗 olmak üzere
𝛼 𝛼 𝛼 𝛼 𝛼 𝛼
𝛼𝛽 2 𝑐11 𝑐12 𝛼𝛽 𝑐11
1 𝑐22 𝛼𝛽 2 𝑐12 𝑐22
𝑐11 = | 𝛽 𝛽 |, 𝑐12 = 𝑔| 𝛽 𝛽 |, 𝑐22 = | 𝛽 𝛽 | (8.5.1)
√𝑔 𝑐11 𝑐12 √ 𝑐
11 𝑐22 √𝑔 𝑐12 𝑐22
71
𝑯: = (𝐻𝛼𝛽 ) (8.5.5)
𝛼,𝛽=1,2,…,𝑛−2
şeklinde tanımlanır (Fröhlich, 2012).
Tanım 8.5.2 𝑀ℝ𝑛 lokal yüzeyi 𝑥 = 𝑥(𝑢, 𝑣) regüler yamasıyla verilsin. Bu takdirde 𝑀
nin {𝑁𝛼 , 𝑁𝛽 } çiftine göre Weingarten benzeri formları
2
𝛼𝛽 𝛼𝛽
w𝑖𝑗 = ∑ c𝑖𝑘 𝑔𝑘𝑗 , 1 ≤ 𝑖, 𝑗 ≤ 2 (8.5.6)
𝑘=1
biçiminde tanımlanır.
Önerme 8.5.3 𝑀ℝ𝑛 lokal yüzeyi 𝑥 = 𝑥(𝑢, 𝑣) regüler yamasıyla verilsin. Bu takdirde
𝑀 nin {𝑁𝛼 , 𝑁𝛽 } çiftine göre Weingarten benzeri formları
𝛼𝛽 𝛼𝛽 𝛼𝛽 𝛼𝛽
𝛼𝛽 c 𝑔22 − c12 𝑔12 𝛼𝛽 c 𝑔11 − c12 𝑔12
w11 = 11 , w22 = 22
𝑔 𝑔
𝛼𝛽 𝛼𝛽 𝛼𝛽 𝛼𝛽
(8.5.7)
𝛼𝛽 c 𝑔11 − c11 𝑔12 𝛼𝛽 c 𝑔22 − c22 𝑔12
w12 = 12 , w21 = 12
𝑔 𝑔
dir.
Tanım 8.5.4 𝑀ℝ𝑛 lokal yüzeyi 𝑥 = 𝑥(𝑢, 𝑣) regüler yamasıyla verilsin. Bu takdirde 𝑀
nin {𝑁𝛼 , 𝑁𝛽 } çiftine göre şekil opreatörü benzeri matrisi
𝛼𝛽 𝛼𝛽 𝛼𝛽 𝛼𝛽
c11 𝑔22 − c12 𝑔12 c12 𝑔11 − c11 𝑔12
𝛼𝛽 𝛼𝛽
w11 w12 𝑔 𝑔
𝐴𝛼𝛽 = [ 𝛼𝛽 𝛼𝛽
]= 𝛼𝛽 𝛼𝛽 𝛼𝛽 𝛼𝛽
(8.5.8)
w21 w22 c12 𝑔22 − c22 𝑔12 c22 𝑔11 − c12 𝑔12
[ 𝑔 𝑔 ]
biçiminde tanımlanır.
Önerme 8.5.5 𝑀ℝ𝑛 lokal yüzeyi 𝑥 = 𝑥(𝑢, 𝑣) regüler yamasıyla verilsin. Bu takdirde
𝑀 nin {𝑁𝛼 , 𝑁𝛽 } normal vektör çiftine göre normal Gauss eğriliği
72
Tanım 8.5.6 𝑀 ⊂ ℝ4 , lokal yüzeyi 𝑥: 𝑈 ⊆ ℝ2 → ℝ4 regüler yaması ile verilsin. 𝑀 nin
𝛼
1.inci ve 2.nci temel form katsayıları sırasıyla 𝑔𝑖𝑗 ve 𝑐𝑖𝑗 olmak üzere
1 1 1 1 1 1
12 2 𝑐11 𝑐12 12 1 𝑐11 𝑐22 12 2 𝑐12 𝑐22
𝑐11 = | 2 2 | , 𝑐12 = | 2 2 | , 𝑐22 = | 2 2 | (8.5.11)
√ 𝑔 𝑐11 𝑐12 √𝑔 𝑐11 𝑐22 √𝑔 𝑐12 𝑐22
Normal eğriliği 𝐻12 = 0 olan yüzeye düz (flat) normal koneksiyonludur denir.
İspat. (8.5.11) eşitliği (8.4.13) de yerine yazılırsa istenilen sonuç elde edilir. ■
2
𝐻12 − 𝐾12 = 0 (8.5.15)
73
1 1 2 2
𝑔22
𝑐22 = 𝜌𝑐11 , 𝑐22 = 𝜌𝑐11 ;𝜌 = −
𝑔11
eşitlikleri kullanılarak
12 12 12
𝑐22 = −𝜌𝑐11 , 𝑐12 =0
2
bulunur. Bu değerler (8.5.12) ve (8.5.13) eşitliklerinde yerine yazılırsa 𝐻12 − 𝐾12 = 0
elde edilir.
𝐾12 ve 𝐻12 nın işaretlerine göre 𝑀 nin noktaları aşağıdaki sonuçta sınıflandırılmıştır:
Önerme 8.5.9 𝑀ℝ4 yüzeyinin değişmezleri olan 𝐾12 ve 𝐻12 nın işaretlerine göre 𝑀 nin
noktaları aşağıdaki gibi dört farklı tipte incelenebilir (Ganchev ve Milousheva 2008b):
Herhangi verilen bir 𝑝 ∈ 𝑀 noktası için;
i) 𝐾12 = 𝐻12 = 0 ise 𝑝 noktası düzlemseldir,
ii) 𝐾12 < 0 ise 𝑝 noktası eliptiktir,
iii) 𝐾12 = 0 ve 𝐻12 ≠ 0 ise 𝑝 noktası paraboliktir,
iv) 𝐾12 > 0 ise 𝑝 noktası hiperboliktir.
Örnek 8.5.10 ℝ4 de
𝑀1 : 𝑥(𝑢, 𝑣) = (𝑓1 (𝑢), 𝑓2 (𝑢), 𝑓3 (𝑢) 𝑐𝑜𝑠 𝑣 , 𝑓3 (𝑢) 𝑠𝑖𝑛 𝑣)
Çözüm. (8.1.28)1 ve (8.1.30) daki eşitliklerde 𝑀1 yüzeyin 1.inci ve 2.nci temel form
katsayıları sırasıyla
𝑔11 = 1, 𝑔12 = 0, 𝑔22 = 𝑓3 2 (𝑢)
ve
1 1 1
𝑓3 ′′ (𝑢)𝑓3 (𝑢)
𝑐11 = 𝜅𝛾 (𝑢), 𝑐12
= 0, 𝑐22
=− ,
𝜅𝛾 (𝑢)
2 2 2
𝑓3 (𝑢) 𝜅1 (𝑢)
𝑐11 = 0, 𝑐12 = 0, 𝑐22 =−
𝜅𝛾 (𝑢)
74
ve
12 12 12
𝑔22 𝑐11 + 𝑔11 𝑐22 − 2𝑔12 𝑐12
𝐻12 = =0 (8.5.17)
2𝑔
Örnek 8.5.11 ℝ4 de
𝑀2 : 𝑥(𝑢, 𝑣) = 𝑓1 (𝑢)𝐸1 + 𝑓2 (𝑢)𝜌(𝑣)
Çözüm. Bu bölümün ilk kısımda 𝑀2 yüzeyin 1.inci ve 2.nci temel form katsayıları
Örnek 8.5.12 ℝ4 de
Çözüm. (8.1.44) ve (8.1.48) eşitlikleri ile bu yüzeyin 1.inci ve 2.nci temel form
katsayıları sırasıyla
𝑔11 = 𝜂2 (𝑢), 𝑔12 = 0, 𝑔22 = 𝜙 2 (𝑢)
ve
75
1
𝜅𝛾 1 𝜇 2
𝛿
𝑐11 = , 𝑐22 = − , 𝑐12 =−
𝜂 𝜂 𝜙
2 2 1
𝑐11 = 𝑐22 = 𝑐12 = 0,
12
2𝛿𝜅𝛾 12 12
2𝛿𝜇
𝑐11 = 2 2
, 𝑐22 = 0, 𝑐12 =− 2 2
𝜂 𝜙 𝜂 𝜙
ve
12 12 12 𝜅𝛾
𝑔22 𝑐11 + 𝑔11 𝑐22 − 2𝑔12 𝑐12 𝛿 𝜇
𝐻12 = = 2 2 ( 2 − 2) (8.5.21)
2𝑔 𝜂 𝜙 𝜂 𝜙
olarak hesaplanır.
Önerme 8.5.13 Vranceanu yüzeyinin normal (ortalama) eğriliği Gauss eğriliğine eşittir.
(𝑟 ′ )2 − 𝑟𝑟 ′′
𝐻12 = (8.5.22)
((𝑟′)2 + 𝑟 2 )2
Sonuç 8.5.14 Vranceanu yüzeyinin normal Gauss eğriliğinin sıfıra eşit olması için gerek
ve yeter koşul
1
𝑟(𝑢) = , 𝜆, 𝜇 ∈ ℝ (8.5.23)
𝜆𝑐𝑜𝑠𝑢 − 𝜇𝑠𝑖𝑛𝑢
olmasıdır.
4(2(𝑟 ′ )2 − 𝑟𝑟 ′′ + 𝑟 2 )
𝐾12 = − (8.5.24)
𝑟 3 ((𝑟 ′ )2 + 𝑟 2 )3
76
77