Frenet-Serret formülleri - Frenet–Serret formulas

Bir uzay eğrisi; vektörler T, N ve B; ve salınımlı düzlem tarafından kapsayan T ve N

İçinde diferansiyel geometri, Frenet-Serret formülleri tarif et kinematik sürekli, türevlenebilir bir boyunca hareket eden bir parçacığın özellikleri eğri üç boyutlu olarak Öklid uzayı ℝ³veya herhangi bir hareketten bağımsız olarak eğrinin geometrik özellikleri. Daha spesifik olarak, formüller türevler sözde teğet, normal ve binormal birim vektörler birbirleri açısından. Formüller, onları bağımsız olarak keşfeden iki Fransız matematikçinin adını almıştır: Jean Frédéric Frenet, 1847 tarihli tezinde ve Joseph Alfred Serret Şu anda bu formülleri yazmak için kullanılan vektör notasyonu ve doğrusal cebir, keşiflerinin yapıldığı tarihte henüz kullanımda değildi.

Tanjant, normal ve binormal birim vektörler, genellikle T, N, ve Bveya toplu olarak Frenet-Serret çerçevesi veya TNB çerçevebirlikte bir ortonormal taban kapsayan ℝ³ ve aşağıdaki gibi tanımlanmıştır:

• T birim vektördür teğet hareket yönünü gösteren eğriye.
• N ... normal birim vektör, türevi T saygıyla arclength parametresi eğrinin uzunluğuna bölünmesi.
• B binormal birim vektörü, Çapraz ürün nın-nin T ve N.

Frenet-Serret formülleri şunlardır:

${ displaystyle { begin {align} { dfrac {d mathbf {T}} {ds}} & = kappa mathbf {N}, { dfrac {d mathbf {N}} {ds} } & = - kappa mathbf {T} + tau mathbf {B}, { dfrac {d mathbf {B}} {ds}} & = - tau mathbf {N}, end {hizalı}}}$

nerede d/ds yay uzunluğuna göre türevdir, κ ... eğrilik, ve τ ... burulma eğrinin. İki skaler κ ve τ bir uzay eğrisinin eğriliğini ve burulmasını etkili bir şekilde tanımlar. İlişkili koleksiyon, T, N, B, κ, ve τ, denir Frenet-Serret aparatı. Sezgisel olarak, eğrilik, bir eğrinin başarısızlığını düz bir çizgi olarak ölçer, burulma ise bir eğrinin düzlemsel olma hatasını ölçer.

Tanımlar

T ve N bir düzlem eğrisi üzerindeki iki noktadaki vektörler, ikinci çerçevenin çevrilmiş bir versiyonu (noktalı) ve T: δT '. δs, noktalar arasındaki mesafedir. Sınırda ${ displaystyle { tfrac {d mathbf {T}} {ds}}}$ yönde olacak N ve eğrilik, çerçevenin dönme hızını tanımlar.

İzin Vermek r(t) olmak eğri içinde Öklid uzayı temsil eden vektör pozisyonu zamanın bir fonksiyonu olarak parçacığın Frenet-Serret formülleri, dejenere olmayan, bu da kabaca sıfırdan farklı oldukları anlamına gelir eğrilik. Daha resmi olarak, bu durumda hız vektör r′(t) ve hızlanma vektör r′′(t) orantılı olmaması gerekmektedir.

İzin Vermek s(t) temsil eder yay uzunluğu parçacığın hareket ettiği eğri zamanında t. Miktar s parçacığın yörüngesi tarafından izlenen eğriyi vermek için kullanılır a doğal parametrelendirme yay uzunluğuna göre, çünkü birçok farklı parçacık yolu aynı geometrik eğriyi farklı oranlarda geçerek izleyebilir. Detayda, s tarafından verilir

${ displaystyle s (t) = int _ {0} ^ {t} | mathbf {r} '( sigma) | d sigma.}$

Üstelik, bunu varsaydığımızdan beri r′ ≠ 0, bunu takip eder s(t) kesinlikle monoton olarak artan bir işlevdir. Bu nedenle çözmek mümkündür t bir fonksiyonu olarak sve böylece yazmak r(s) = r(t(s)). Eğri böylelikle tercih edilen bir şekilde yay uzunluğu ile parametrik hale getirilir.

Dejenere olmayan bir eğri ile r(s), yay uzunluğu ile parametreleştirilmiş, artık Frenet-Serret çerçevesi (veya TNB çerçeve):

• Teğet birim vektör T olarak tanımlanır

${ displaystyle mathbf {T} = { frac {d mathbf {r}} {ds}} qquad qquad (1)}$

• Normal birim vektör N olarak tanımlanır

${ displaystyle mathbf {N} = {{ frac {d mathbf {T}} {ds}} over left | { frac {d mathbf {T}} {ds}} sağ | }. qquad qquad (2)}$

Eğriliği çağırarak ${ displaystyle kappa = sol | { frac {d mathbf {T}} {ds}} sağ |}$ otomatik olarak ilk ilişkiyi elde ederiz.

• Binormal birim vektör B olarak tanımlanır Çapraz ürün nın-nin T ve N:

${ displaystyle mathbf {B} = mathbf {T} times mathbf {N}. qquad qquad (3)}$

Frenet-Serret çerçevesi bir sarmal. T mavi okla temsil edilir, N kırmızı okla temsil edilirken B siyah okla temsil edilir.

Denklemden (2), çünkü T her zaman birimi vardır büyüklük, bu N (değişim T) her zaman diktir Tuzunluğunda değişiklik olmadığından T. Denklemden (3) şunu takip eder: B her zaman her ikisine de diktir T ve N. Böylece, üç birim vektör T, N, ve B hepsi birbirine dik.

Frenet-Serret formülleri şunlardır:

${ displaystyle { begin {matrix} { frac {d mathbf {T}} {ds}} & = && kappa mathbf {N} & &&&& { frac {d mathbf {N} } {ds}} & = & - kappa mathbf {T} && + , tau mathbf {B} &&&& { frac {d mathbf {B}} {ds}} & = && - tau mathbf {N} & end {matris}}}$

nerede ${ displaystyle kappa}$ ... eğrilik ve ${ displaystyle tau}$ ... burulma.

Frenet-Serret formülleri aynı zamanda şu adlarla da bilinir: Frenet-Serret teoremive matris gösterimi kullanılarak daha kısaca ifade edilebilir:^[1]

${ displaystyle { begin {bmatrix} mathbf {T '} mathbf {N'} mathbf {B '} end {bmatrix}} = { begin {bmatrix} 0 & kappa & 0 - kappa & 0 & tau 0 & - tau & 0 end {bmatrix}} { begin {bmatrix} mathbf {T} mathbf {N} mathbf {B} end {bmatrix}} .}$

Bu matris çarpık simetrik.

Formüller n boyutları

Frenet-Serret formülleri, daha yüksek boyutlu Öklid uzaylarına genelleştirilmiştir. Camille Jordan 1874'te.

Farz et ki r(s) düzgün bir eğridir Rⁿve bu ilk n türevleri r doğrusal olarak bağımsızdır.^[2] Frenet – Serret çerçevesindeki vektörler bir ortonormal taban uygulayarak inşa edilmiştir Gram-Schmidt süreci vektörlere (r′(s), r′′(s), ..., r⁽ⁿ⁾(s)).

Ayrıntılı olarak, birim teğet vektörü ilk Frenet vektörüdür. e₁(s) ve olarak tanımlanır

${ displaystyle mathbf {e} _ {1} (s) = { frac {{ overline { mathbf {e} _ {1}}} (s)} { | { overline { mathbf {e } _ {1}}} |}}}$

nerede

${ displaystyle { overline { mathbf {e} _ {1}}} (s) = mathbf {r} '(s)}$

normal vektörbazen denir eğrilik vektörü, eğrinin düz bir çizgi olmaktan sapmasını gösterir. Olarak tanımlanır

${ displaystyle { overline { mathbf {e} _ {2}}} (s) = mathbf {r} "(s) - langle mathbf {r}" (s), mathbf {e } _ {1} (s) rangle , mathbf {e} _ {1} (s)}$

Normalleştirilmiş formu, birim normal vektör, ikinci Frenet vektörüdür e₂(s) ve olarak tanımlanır

${ displaystyle mathbf {e} _ {2} (s) = { frac {{ overline { mathbf {e} _ {2}}} (s)} { | { overline { mathbf {e } _ {2}}} |}}}$

Noktadaki tanjant ve normal vektör s tanımla salınımlı düzlem noktada r(s).

Çerçevede kalan vektörler (binormal, trinormal, vb.) Benzer şekilde tanımlanır

${ displaystyle { begin {align} mathbf {e} _ {j} (s) = { frac {{ overline { mathbf {e} _ {j}}} (s)} { | { üst çizgi { mathbf {e} _ {j}}} (s) |}} { mbox {,}} end {hizalı}}}$

${ displaystyle { begin {align} { overline { mathbf {e} _ {j}}} (s) = mathbf {r} ^ {(j)} (s) - sum _ {i = 1 } ^ {j-1} langle mathbf {r} ^ {(j)} (s), mathbf {e} _ {i} (s) rangle , mathbf {e} _ {i} ( s). end {hizalı}}}$

Aşağıda kullanılan gerçek değerli fonksiyonlar χ_ben(s) arandı genelleştirilmiş eğrilik ve olarak tanımlanır

${ displaystyle chi _ {i} (s) = { frac { langle mathbf {e} _ {i} '{s), mathbf {e} _ {i + 1} (s) rangle} { | mathbf {r} '(ler) |}}}$

Frenet-Serret formülleri, matris dilinde belirtilen

${ displaystyle { begin {align} { begin {bmatrix} mathbf {e} _ {1} '(s) vdots mathbf {e} _ {n}' (s) end {bmatrix}} = end {align}} | mathbf {r} '(s) | cdot { begin {align} { begin {bmatrix} 0 & chi _ {1} (s ) && 0 - chi _ {1} (s) & ddots & ddots & & ddots & 0 & chi _ {n-1} (s) 0 && - chi _ {n-1} (s) & 0 end {bmatrix}} { begin {bmatrix} mathbf {e} _ {1} (s) vdots mathbf {e} _ {n} (s) end {bmatrix}} end {hizalı}}}$

Burada tanımlandığı gibi, genelleştirilmiş eğriliklerin ve çerçevenin diğer kaynaklarda bulunan kurallardan biraz farklı olabileceğine dikkat edin. ${ displaystyle chi _ {n-1}}$ (bu bağlamda burulma da denir) ve çerçevedeki son vektör ${ displaystyle mathbf {e} _ {n}}$, bir işaret ile farklılık gösterir

${ displaystyle operatorname {veya} ( mathbf {r} ^ {(1)}, dots, mathbf {r} ^ {(n)})}$

(temelin yönelimi) olağan burulmadan. Frenet-Serret formülleri, her ikisinin işaretini çevirme altında değişmezdir. ${ displaystyle chi _ {n-1}}$ ve ${ displaystyle mathbf {e} _ {n}}$ve bu işaret değişikliği, çerçeveyi pozitif yönde yönlendirir. Yukarıda tanımlandığı gibi, çerçeve yönünü şasinin jetinden devralır. ${ displaystyle mathbf {r}}$.

Kanıt

Matrisi düşünün

${ displaystyle Q = sol [{ başlar {matris} mathbf {T} mathbf {N} mathbf {B} end {matris}} sağ]}$

Bu matrisin satırları karşılıklı olarak dik birim vektörlerdir: ortonormal taban / ℝ³. Sonuç olarak, değiştirmek nın-nin Q eşittir ters nın-nin Q: Q bir ortogonal matris. Bunu göstermek yeterli

${ displaystyle sol ({ frac {dQ} {ds}} sağ) Q ^ {T} = sol [{ başlar {matris} 0 ve kappa ve 0 - kappa ve 0 ve tau 0 ve - tau & 0 end {matris}} sağ]}$

Normalin tanımı gereği, bu denklemin ilk satırının zaten tuttuğuna dikkat edin. N ve eğrilik κ. Yani şunu göstermek yeterlidir (dQ/ gs)Q^T bir çarpık simetrik matris. Dan beri ben = QQ^T, bir türevi almak ve ürün kuralı getirilerini uygulamak

${ displaystyle { begin {align} 0 = { frac {dI} {ds}} = sol ({ frac {dQ} {ds}} sağ) Q ^ {T} + Q sol ({ frac {dQ} {ds}} right) ^ {T} , left ({ frac {dQ} {ds}} right) Q ^ {T} = - left ( left ({ frac {dQ} {ds}} sağ) Q ^ {T} sağ) ^ {T} uç {hizalı}}}$

gerekli çarpık simetriyi oluşturur.^[3]

Uygulamalar ve yorumlama

Çerçevenin kinematiği

Frenet-Serret çerçevesi bir sarmal boşlukta

Teğetten oluşan Frenet-Serret çerçevesi T, normal Nve binormal B topluca bir ortonormal taban 3 boşluklu. Eğrinin her noktasında bu ekler a referans çerçevesi veya doğrusal koordinat sistemi (resme bakın).

Frenet-Serret formülleri, kinematik yorumlama. Bir gözlemcinin, koordinat sistemi olarak her noktada ekli kareyi kullanarak zaman içinde eğri boyunca hareket ettiğini hayal edin. Frenet-Serret formülleri, bir gözlemci eğri boyunca hareket ederken bu koordinat sisteminin sürekli döndüğü anlamına gelir. Bu nedenle, bu koordinat sistemi her zaman eylemsiz. açısal momentum gözlemcinin koordinat sisteminin oranı, Darboux vektör çerçevenin.

Ekseni binormal boyunca yer alan bir tepenin ang açısal hızıyla döndüğü görülmektedir. Eksen teğet boyunca ise açısal hız τ ile döndüğü gözlenir.

Somut olarak, gözlemcinin bir (atalet) taşıdığını varsayalım. üst (veya jiroskop ) eğri boyunca onlarla. Eğriye teğet boyunca tepe ekseni gösteriyorsa, gözlemcinin eylemsiz koordinat sistemine göre açısal hız -τ ile kendi ekseni etrafında döndüğü gözlemlenecektir. Öte yandan tepenin ekseni binormal yönü gösteriyorsa, açısal hızda -κ döndüğü görülür. Bu, eğriliğin pozitif bir sabit olduğu ve burulmanın kaybolduğu durumda kolayca görselleştirilebilir. Gözlemci daha sonra Düzgün dairesel hareket. Üst kısım binormal yönünü gösteriyorsa, açısal momentumun korunumu içinde dönmelidir karşısında dairesel hareketin yönü. Eğriliğin kaybolduğu sınırlayıcı durumda, gözlemcinin normal precesses teğet vektör etrafında ve benzer şekilde üst kısım bu devinimin tersi yönde dönecektir.

Genel durum gösterilmiştir altında. Daha fazlası var çizimler Wikimedia'da.

Uygulamalar. Çerçevenin kinematiğinin bilimlerde birçok uygulaması vardır.

• İçinde yaşam Bilimleri, özellikle mikrobiyal hareket modellerinde, viskoz bir ortamdaki hareket eden bir organizmanın yönünü değiştirmesinin mekanizmasını açıklamak için Frenet-Serret çerçevesine ilişkin hususlar kullanılmıştır.^[4]
• Fizikte, Frenet-Serret çerçevesi, bir yörünge için doğal bir koordinat sistemi atamanın imkansız veya elverişsiz olduğu durumlarda kullanışlıdır. Örneğin, genellikle durum böyledir. görelilik teorisi. Bu ortamda, bir yerçekimi kuyusundaki bir jiroskobun presesyonunu modellemek için Frenet-Serret çerçeveleri kullanılmıştır.^[5]

Grafik Çizimler

1. Hareketli Frenet temeli örneği (T Mavi, N yeşil, B mor) boyunca Viviani'nin eğrisi.

2. Bir örneğinde torus düğüm teğet vektör Tnormal vektör Nve binormal vektör Beğrilik κ (s) ve burulma τ (s) ile birlikte görüntülenir.
   Burulma fonksiyonunun zirvelerinde Frenet-Serret çerçevesinin dönüşü (T,N,B) teğet vektörün etrafında açıkça görülebilir.

3. Eğriliğin kinematik önemi en iyi düzlem eğrileriyle (sıfıra eşit sabit torsiyona sahip) gösterilir. Sayfayı görün düzlem eğrilerinin eğriliği.

Analizde Frenet-Serret formülleri

Frenet-Serret formülleri sıklıkla şu derslerde tanıtılır: Çok değişkenli hesap gibi uzay eğrilerinin çalışmasına eşlik eden sarmal. Bir sarmal, 2π yüksekliği ile karakterize edilebilirh ve yarıçap r tek bir dönüş. Bir sarmalın eğriliği ve burulması (sabit yarıçaplı) formüllerle verilir

${ displaystyle kappa = { frac {r} {r ^ {2} + h ^ {2}}}}$

${ displaystyle tau = pm { frac {h} {r ^ {2} + h ^ {2}}}.}$

Uzayda iki sarmal (slinkies). (a) Daha yüksek eğriliğe ve daha düşük burulmaya sahip daha kompakt bir sarmal. (b) Biraz daha yüksek burulmaya sahip ancak daha düşük eğriliğe sahip uzatılmış bir sarmal.

Burulma belirtisi sağ veya sol elini kullanan kişi tarafından belirlenir. duyu sarmalın merkezi ekseni etrafında döndüğü yer. Açıkça, yüksekliği 2 height olan bir sağ elli sarmalın tek bir dönüşünün parametrizasyonuh ve yarıçap r dır-dir

x = r çünkü t

y = r günah t

z = h t

(0 ≤ t ≤ 2 π)

ve solak bir sarmal için,

x = r çünkü t

y = −r günah t

z = h t

(0 ≤ t ≤ 2 π).

Bunların ark uzunluğu parametreleri olmadığını unutmayın (bu durumda, her biri x, y, ve z bölünmesi gerekecek ${ displaystyle { sqrt {h ^ {2} + r ^ {2}}}}$.)

Eğrilerin geometrisi üzerine açıklayıcı yazılarında, Rudy Rucker^[6] bir modelini kullanır daracık burulma ve eğriliğin anlamını açıklamak. Sinsi, miktarın

${ displaystyle A ^ {2} = h ^ {2} + r ^ {2}}$

sinsi, merkezi ekseni boyunca dikey olarak gerilirse sabit kalır. (Burada 2πh tek bir bükülmenin yüksekliğidir ve r yarıçap.) Özellikle eğrilik ve burulma tamamlayıcıdır, çünkü burulma eğrilik pahasına daralmayı uzatarak arttırılabilir.

Taylor genişlemesi

Eğriyi tekrar tekrar farklılaştırmak ve Frenet-Serret formüllerini uygulamak aşağıdakileri verir: Taylor yaklaşımı yakın eğriye s = 0:^[7]

${ displaystyle mathbf {r} (s) = mathbf {r} (0) + sol (s - { frac {s ^ {3} kappa ^ {2} (0)} {6}} sağ) mathbf {T} (0) + left ({ frac {s ^ {2} kappa (0)} {2}} + { frac {s ^ {3} kappa '(0)} {6}} right) mathbf {N} (0) + left ({ frac {s ^ {3} kappa (0) tau (0)} {6}} sağ) mathbf {B } (0) + o (s ^ {3}).}$

Uçucu olmayan burulmaya sahip genel bir eğri için, eğrinin çeşitli koordinat düzlemlerine projeksiyonu T, N, B koordinat sistemi s = 0 aşağıdaki yorumlara sahip olun:

• salınımlı düzlem uçak kapsamak T ve N. Eğrinin bu düzleme izdüşümü şu şekildedir:
    ${ displaystyle mathbf {r} (0) + s mathbf {T} (0) + { frac {s ^ {2} kappa (0)} {2}} mathbf {N} (0) + o (s ^ {2}).}$
  Bu bir parabol sipariş şartlarına kadar Ö(s²), 0'daki eğriliği κ (0) 'a eşittir.
• normal düzlem içeren uçak N ve B. Eğrinin bu düzleme izdüşümü şu şekildedir:
    ${ displaystyle mathbf {r} (0) + sol ({ frac {s ^ {2} kappa (0)} {2}} + { frac {s ^ {3} kappa '(0) } {6}} right) mathbf {N} (0) + left ({ frac {s ^ {3} kappa (0) tau (0)} {6}} right) mathbf { B} (0) + o (s ^ {3})}$
  hangisi bir tüberkül kübik sipariş vermek Ö(s³).
• doğrultucu düzlem içeren uçak T ve B. Eğrinin bu düzleme izdüşümü şöyledir:
    ${ displaystyle mathbf {r} (0) + sol (s - { frac {s ^ {3} kappa ^ {2} (0)} {6}} sağ) mathbf {T} (0 ) + left ({ frac {s ^ {3} kappa (0) tau (0)} {6}} right) mathbf {B} (0) + o (s ^ {3})}$
  bir grafiğin izini süren kübik polinom sipariş vermek Ö(s³).

Şeritler ve tüpler

Sabit bir burulma eğrisi ve oldukça salınımlı bir eğrilik ile tanımlanan bir şerit. Eğrinin yay uzunluğu parametreleştirmesi Frenet-Serret denklemlerinin entegrasyonu yoluyla tanımlandı.

Frenet-Serret aparatı, kişinin belirli optimum kurdeleler ve tüpler bir eğri etrafında ortalanmış. Bunların çeşitli uygulamaları var malzeme bilimi ve esneklik teorisi,^[8] en az onun kadar bilgisayar grafikleri.^[9]

Frenet şerit^[10] bir eğri boyunca C çizgi segmentini süpürerek izlenen yüzeydir [-N,N] eğri boyunca normal birim tarafından oluşturulur. Bu yüzey bazen şunlarla karıştırılır: teğet geliştirilebilir, hangisi zarf E salınım düzlemlerinin C. Bunun nedeni belki hem Frenet şeridinin hem de E boyunca benzer özellikler sergilemek C. Yani, her iki yaprağın teğet düzlemleri E, tekil lokusa yakın C Bu tabakaların kesiştiği yerde, salınım düzlemlerine yaklaşın C; boyunca Frenet şeridinin teğet düzlemleri C bu salınımlı düzlemlere eşittir. Frenet şeridi genel olarak geliştirilemez.

Eğrilerin uyumu

Klasik olarak Öklid geometrisi düzlemdeki figürlerin özelliklerini incelemekle ilgilenir. değişmez uyum altında, böylece iki şekil uyumluysa, aynı özelliklere sahip olmaları gerekir. Frenet-Serret cihazı eğriliği ve burulmayı bir uzay eğrisinin sayısal değişmezleri olarak sunar.

Kabaca konuşursak, iki eğri C ve C′ Uzayda uyumlu biri diğerine sıkıca hareket ettirilebilirse. Sert bir hareket, bir öteleme ve bir döndürmenin birleşiminden oluşur. Bir çeviri bir noktaya hareket eder C bir noktaya C′. Dönüş daha sonra eğrinin yönünü ayarlar C ile aynı hizaya gelmek C′. Böyle bir öteleme ve döndürme kombinasyonuna Öklid hareketi. Parametrizasyon açısından r(t) ilk eğriyi tanımlama Cgenel bir Öklid hareketi C aşağıdaki işlemlerin bir birleşimidir:

• (Tercüme.) r(t) → r(t) + v, nerede v sabit bir vektördür.
• (Rotasyon.) r(t) + v → M (r(t) + v), nerede M bir rotasyonun matrisidir.

Frenet-Serret çerçevesi, Öklid hareketleri açısından özellikle iyi davranmaktadır. İlk olarak T, N, ve B tümü eğrinin parametrizasyonunun ardışık türevleri olarak verilebilir, bunların her biri sabit bir vektörün eklenmesine duyarsızdır. r(t). Sezgisel olarak, TNB çerçeve eklendi r(t) ile aynıdır TNB yeni eğriye eklenen çerçeve r(t) + v.

Bu sadece dikkate alınması gereken rotasyonları bırakır. Sezgisel olarak, bir rotasyon uygularsak M eğriye, sonra TNB çerçeve de döner. Daha doğrusu matris Q kimin satırları TNB Frenet-Serret çerçevesinin vektörleri bir dönme matrisine göre değişir

${ displaystyle Q rightarrow QM.}$

Bir fortiori, matris (dQ/ gs)Q^T bir rotasyondan etkilenmez:

${ displaystyle sol ({ frac {d (QM)} {ds}} sağ) (QM) ^ {T} = sol ({ frac {dQ} {ds}} sağ) MM ^ {T } Q ^ {T} = sol ({ frac {dQ} {ds}} sağ) Q ^ {T}}$

dan beri MM^T = ben bir dönme matrisi için.

Dolayısıyla (dQ/ gs)Q^T vardır değişmezler Eğrinin Öklid hareketleri altındaki eğri: bir eğriye Öklid hareketi uygulanırsa, ortaya çıkan eğri aynısı eğrilik ve burulma.

Dahası, Frenet-Serret çerçevesi kullanılarak, bunun tersi de kanıtlanabilir: aynı eğrilik ve burulma fonksiyonlarına sahip herhangi iki eğri, bir Öklid hareketiyle uyumlu olmalıdır. Kabaca konuşursak, Frenet-Serret formülleri, Darboux türevi of TNB çerçeve. İki çerçevenin Darboux türevleri eşitse, analizin temel teoremi eğrilerin uyumlu olduğunu iddia eder. Özellikle eğrilik ve burulma bir tamamlayınız üç boyutlu bir eğri için değişmezler kümesi.

Çerçevenin diğer ifadeleri

Yukarıda verilen formüller T, N, ve B yay uzunluğu parametresi cinsinden verilen eğriye bağlıdır. Bu, Öklid geometrisinde doğal bir varsayımdır, çünkü yay uzunluğu eğrinin Öklid değişmezidir. Fizik terminolojisinde, yay uzunluğu parametrizasyonu doğal bir seçimdir ölçü. Bununla birlikte, pratikte birlikte çalışmak zor olabilir. Bir dizi başka eşdeğer ifade de mevcuttur.

Eğrinin şu şekilde verildiğini varsayalım: r(t), parametre nerede t artık arclength olmasına gerek yok. Sonra birim teğet vektör T olarak yazılabilir

${ displaystyle mathbf {T} (t) = { frac { mathbf {r} '(t)} { | mathbf {r}' (t) |}}.}$

Normal vektör N formu alır

${ displaystyle mathbf {N} (t) = { frac { mathbf {T} '(t)} { | mathbf {T}' (t) |}} = { frac { mathbf { r} '(t) times left ( mathbf {r}' '(t) times mathbf {r}' (t) sağ)} { left | mathbf {r} '(t) sağ | , sol | mathbf {r} '' (t) times mathbf {r} '(t) sağ |}}.}$

Binormal B o zaman

${ displaystyle mathbf {B} (t) = mathbf {T} (t) times mathbf {N} (t) = { frac { mathbf {r} '(t) times mathbf {r } '' (t)} { | mathbf {r} '(t) times mathbf {r}' '(t) |}}.}$

Aynı ifadelere ulaşmanın alternatif bir yolu, eğrinin ilk üç türevini almaktır. r′(t), r′′(t), r′′′(t) ve uygulamak için Gram-Schmidt süreci. Ortaya çıkan sipariş ortonormal taban tam olarak TNB çerçeve. Bu prosedür ayrıca daha yüksek boyutlarda Frenet çerçevelerinin üretilmesi için genelleştirir.

Parametre açısından t, Frenet-Serret formülleri ek bir ||r′(t) || yüzünden zincir kuralı:

${ displaystyle { frac {d} {dt}} { begin {bmatrix} mathbf {T} mathbf {N} mathbf {B} end {bmatrix}} = | mathbf { r} '(t) | { begin {bmatrix} 0 & kappa & 0 - kappa & 0 & tau 0 & - tau & 0 end {bmatrix}} { begin {bmatrix} mathbf {T} mathbf {N} mathbf {B} end {bmatrix}}.}$

Eğrilik ve burulma için açık ifadeler hesaplanabilir. Örneğin,

${ displaystyle kappa = { frac { | mathbf {r} '(t) times mathbf {r}' '(t) |} { | mathbf {r}' (t) | ^ {3}}}.}$

Burulma, bir skaler üçlü çarpım aşağıdaki gibi,

${ displaystyle tau = { frac {[ mathbf {r} '(t), mathbf {r}' '(t), mathbf {r}' '' (t)]} { | mathbf {r} '(t) times mathbf {r}' '(t) | ^ {2}}}.}$

Özel durumlar

Eğrilik her zaman sıfırsa, eğri düz bir çizgi olacaktır. İşte vektörler N, B ve burulma iyi tanımlanmamıştır.

Burulma her zaman sıfırsa, eğri bir düzlemde uzanacaktır.

Bir eğri sıfır olmayan eğriliğe ve sıfır burulmaya sahip olabilir. Örneğin, daire yarıçap R veren r(t)=(R çünkü t, R günah t, 0) içinde z= 0 düzlemde sıfır burulma ve 1'e eşit eğrilik vardır /R. Ancak tersi yanlıştır. Yani, sıfırdan farklı bir torsiyona sahip düzenli bir eğrinin sıfır olmayan bir eğriliği olmalıdır. (Bu, sıfır eğriliğin sıfır burulma anlamına geldiği gerçeğinin tam tersidir.)

Bir sarmal sabit eğriliğe ve sabit burulmaya sahiptir.

Düzlem eğrileri

Üzerinde bulunan bir eğri verildiğinde x-y düzlem, teğet vektörü T o düzlemde de yer alır. Binormal vektörü B doğal olarak normal ile örtüştüğü varsayılabilir uçağa (boyunca z eksen). Son olarak, normal eğri sağ elini kullanan sistemi tamamlarken bulunabilir, N = B × T.^[11] Bu biçim, eğrilik sıfır olduğunda bile iyi tanımlanmıştır; örneğin, bir düzlemde düz bir çizgiye dik, tümü eş düzlemsel olmak üzere teğete dik olacaktır.

Ayrıca bakınız

• Eğrilerin afin geometrisi
• Eğrilerin diferansiyel geometrisi
• Darboux çerçeve
• Kinematik
• Hareketli çerçeve

Notlar

Referanslar

• Crenshaw, H.C .; Edelstein-Keshet, L. (1993), "Helical Motion ile Oryantasyon II. Hareket ekseninin yönünü değiştirme", Matematiksel Biyoloji Bülteni, 55 (1): 213–230, doi:10.1016 / s0092-8240 (05) 80070-9
• Etgen, Garret; Hille, Einar; Salas, Saturnino (1995), Salas and Hille's Calculus - Bir ve Birkaç Değişken (7. baskı), John Wiley & Sons, s. 896
• Frenet, F. (1847), Sur les courbes à double courbure (PDF), Thèse, Toulouse. Özet Journal de Mathématiques Pures et Appliquées 17, 1852.
• Goriely, A .; Robertson-Tessi, M .; Tabor, M .; Vandiver, R. (2006), "Elastik büyüme modelleri", BIOMAT-2006 (PDF), Springer-Verlag, arşivlendi orijinal (PDF) 2006-12-29 tarihinde.
• Griffiths, Phillip (1974), "Cartan'ın Lie grupları yöntemi ve diferansiyel geometride benzersizlik ve varoluş sorularına uygulanan hareketli çerçeveler üzerine", Duke Matematiksel Dergisi, 41 (4): 775–814, doi:10.1215 / S0012-7094-74-04180-5, S2CID  12966544.
• Guggenheimer, Heinrich (1977), Diferansiyel Geometri, Dover, ISBN  0-486-63433-7
• Hanson, A.J. (2007), "Quaternion Frenet Çerçeveleri: Eğrilerden Optimal Tüpler ve Şeritler Yapma" (PDF), Indiana Üniversitesi Teknik Raporu
• Iyer, B.R .; Vishveshwara, C.V. (1993), "Frenet-Serret jiroskopik presesyonun tanımı", Phys. Rev., D, 48 (12): 5706–5720, arXiv:gr-qc / 9310019, Bibcode:1993PhRvD..48.5706I, doi:10.1103 / physrevd.48.5706, PMID  10016237
• Ürdün, Camille (1874), "Sur la théorie des courbes dans l'espace à n boyutları", C. R. Acad. Sci. Paris, 79: 795–797
• Kühnel, Wolfgang (2002), Diferansiyel geometriÖğrenci Matematik Kütüphanesi, 16Providence, R.I .: Amerikan Matematik Derneği, ISBN  978-0-8218-2656-0, BAY  1882174
• Serret, J.A. (1851), "Sur quelques, akraba à la théorie des courbes à double courbure formülü" (PDF), Journal de Mathématiques Pures et Appliquées, 16.
• Spivak, Michael (1999), Diferansiyel Geometriye Kapsamlı Bir Giriş (İkinci Cilt), Publish veya Perish, Inc..
• Sternberg, Shlomo (1964), Diferansiyel Geometri Üzerine Dersler, Prentice-Hall
• Struik, Dirk J. (1961), Klasik Diferansiyel Geometri Üzerine Dersler, Okuma, Kütle: Addison-Wesley.

Dış bağlantılar

• Hareketli Frenet-Serret çerçeveleri, eğrilik ve burulma fonksiyonları için kendi animasyonlu resimlerinizi oluşturun (Akçaağaç -Çalışma kağıdı)
• Rudy Rucker'ın KappaTau Kağıdı.
• Trihedron için çok güzel görsel temsil