尋犀記 (8)

更新 發佈閱讀 5 分鐘

八、Christoffel 符號

在二維的歐式平面 (Euclidean plane) 上,沿著曲線座標 (curvilinear coordinates) 之方向,有二個基底向量 (basis vectors) g⃗₁、和 g⃗₂,它們構成了微小的曲面塊 (surface patch),而度量張量 (metric tensor) 正是衡量這些曲面塊、如何因沿著某條路線行進而改變的工具。

基底向量沿著曲面座標之方向的微小改變,可以表示為:

∂/∂X¹ g⃗₁ = Γ¹₁₁ g⃗₁ + Γ²₁₁ g⃗₂

∂/∂X² g⃗₁ = Γ¹₁₂ g⃗₁ + Γ²₁₂ g⃗₂

∂/∂X¹ g⃗₂ = Γ¹₂₁ g⃗₁ + Γ²₂₁ g⃗₂

∂/∂X² g⃗₂ = Γ¹₂₂ g⃗₁ + Γ²₂₂ g⃗₂

這四個式子、可以匯整為一個:

∂/∂Xᵏ g⃗ₘ = Γˡₘₖ g⃗ₗ

其中,Γ 稱為 Christoffel 符號 (Christoffel symbol),乃分別是二個基底向量的係數,用以衡量前述、基底向量的微小改變之程度;而式中的 l,稱為權借指標 (dummy index),經歷了數字 1、2,也只是一種簡便的書寫形式,代表,上下一樣的指標、必須遍歷數字而求和。這些,都是屬於符號的使用之問題。

度量張量 (metric tensor) 沿著曲面座標之方向的微小改變、則為:

∂/∂Xᵏ gₘₙ = ∂/∂Xᵏ (g⃗ₘ·g⃗ₙ)

= (∂/∂Xᵏ g⃗ₘ)·g⃗ₙ + g⃗ₘ·(∂/∂Xᵏ g⃗ₙ)

= (Γˡₘₖ g⃗ₗ)·g⃗ₙ + g⃗ₘ·(Γˡₙₖ g⃗ₗ)

= Γˡₘₖ (g⃗ₗ·g⃗ₙ) + Γˡₙₖ (g⃗ₘ·g⃗ₗ)

= Γˡₘₖ (gₗₙ) + Γˡₙₖ (gₘₗ)

= gₗₙ Γˡₘₖ + gₘₗ Γˡₙₖ

= Γₙₘₖ + Γₘₙₖ

同理:

∂/∂Xᵐ gₙₖ = Γₖₙₘ + Γₙₖₘ

∂/∂Xⁿ gₖₘ = Γₘₖₙ + Γₖₘₙ

將第一式減掉第二、三式,再消掉等號右邊因左右對稱而相同的項,我們得到:

∂/∂Xᵏ gₘₙ - ∂/∂Xᵐ gₙₖ - ∂/∂Xⁿ gₖₘ

= - Γₖₙₘ - Γₖₘₙ

= -2 Γₖₘₙ

所以:

Γₖₘₙ = (1/2) (∂/∂Xᵐ gₙₖ + ∂/∂Xⁿ gₖₘ - ∂/∂Xᵏ gₘₙ)

這代表:

(1/2) (∂/∂Xᵐ gₙₖ + ∂/∂Xⁿ gₖₘ - ∂/∂Xᵏ gₘₙ)

= Γₖₘₙ

= gₗₖ Γˡₘₙ

援用上面的結果,以 gₗₖ 的逆變基底張量 gˡᵏ 乘之,可以得到單位矩陣;而所剩下的 Γˡₘₙ、則可以表示為:

Γˡₘₙ

= (gˡᵏ gₗₖ) Γˡₘₙ

= gˡᵏ (gₗₖ Γˡₘₙ)

= gˡᵏ [Γₖₘₙ]

= gˡᵏ [(1/2) (∂/∂Xᵐ gₙₖ + ∂/∂Xⁿ gₖₘ - ∂/∂Xᵏ gₘₙ)]

= (1/2) gˡᵏ (∂/∂Xᵐ gₙₖ + ∂/∂Xⁿ gₖₘ - ∂/∂Xᵏ gₘₙ)

這就是 Christoffel 符號蘊含的內容。

廣義相對論 (general relativity) 將Newton 的萬有引力理論描述為時空的曲率 (curvature),換言之,它用時空的彎曲程度、來解釋萬有引力,而把引力、與時空的幾何形狀聯繫起來;於此,Christoffel 符號則提供了如何量化、和測度時空曲率的方法。

回到理論的原創初期,當Einstein 試圖將加速質量納入他的理論時,他意識到,具有質量的物質似乎能以某種方式、影響其周圍的時空維度,使得該物質看起來好像可以拉動鄰近的物體,效果猶如:以質量壓彎它所在的時空結構、造成由許多條凹陷的曲線所表示的塌陷、從而導致其鄰近的物體向它滑動。

Einstein 的廣義相對論是一個大膽的想法,不但時空的維度脫離了傳統的歐幾里德之三維平坦維度,而且,時空的度量關係之本身、亦成為了動力學的對象。

正當其他物理理論、以方程式描述物理現象、是如何在一個恆定且不變的時空框架內、依據某某法則變化時,廣義相對論則描述了時空的度量關係之本身、如何因重力而產生改變。

空間和時間、在這個理論中扮演著雙重的角色:它既構成動力學的對象,也構成定義其他動力學的背景。這種自我指涉的雙重面向、賦予廣義相對論不同於其他物理理論之特徵。

如前所述,Christoffel 符號是用來衡量基底向量的微小改變之係數,具體地說,Christoffel 符號是一組數字,代表基底向量沿著彎曲空間中的曲線被平行輸運 (parallel transported) 時、各分量的變化率,也可以被看成是解釋空間曲率的校正因子;事實上,Einstein 曾經直白地表明,他在概念上將重力場等同於 Christoffel 符號。

Christoffel 符號之所以在廣義相對論中頻繁出現,是因為它與時空的度量關係之幾何密切相關;它經常被用於描述質量和能量在時空中的變異,並出現在時空曲率的方程式組中。可以說,Christoffel 符號乃是廣義相對論數學框架的基本組成部分,同時也是計算重力如何影響物體運動、和光的傳播之重要工具,因而被廣泛地運用於黑洞、重力波、及其他與廣義相對論有關的物理研究中。

留言
avatar-img
留言分享你的想法!
avatar-img
在我死前的沙龍
3會員
22內容數
在我死前的沙龍的其他內容
2025/03/09
等待的時間十分漫長,在地下室裡,雖然杯觥交错、熙來攘往,但時間的流動卻彷彿靜止了一般,讓人注意不到此地還有「時間」的存在。
Thumbnail
2025/03/09
等待的時間十分漫長,在地下室裡,雖然杯觥交错、熙來攘往,但時間的流動卻彷彿靜止了一般,讓人注意不到此地還有「時間」的存在。
Thumbnail
2023/12/14
十八世紀的哲學家Immanuel Kant (1724~1804)) 曾經説過,自己乃被David Hume (1711~1776) 的經驗哲學從「教義信條主義的酣睡」(dogmatic slumbers) 中喚醒,自此「覺醒」之後,Kant 便開始著手、嘗試結合傳統的理性主義、和英國的經驗主義之各
Thumbnail
2023/12/14
十八世紀的哲學家Immanuel Kant (1724~1804)) 曾經説過,自己乃被David Hume (1711~1776) 的經驗哲學從「教義信條主義的酣睡」(dogmatic slumbers) 中喚醒,自此「覺醒」之後,Kant 便開始著手、嘗試結合傳統的理性主義、和英國的經驗主義之各
Thumbnail
2023/12/06
「不須要去比較以前的同學、朋友過得怎樣,你只須要和自己比較,you know?好比龜兔賽跑,如果兔子不把時間浪費在東打聽、西比較上,而只是自顧自地悶著頭一路往前衝、往前跑,
Thumbnail
2023/12/06
「不須要去比較以前的同學、朋友過得怎樣,你只須要和自己比較,you know?好比龜兔賽跑,如果兔子不把時間浪費在東打聽、西比較上,而只是自顧自地悶著頭一路往前衝、往前跑,
Thumbnail
看更多
你可能也想看
Thumbnail
在小小的租屋房間裡,透過蝦皮購物平臺採購各種黏土、模型、美甲材料等創作素材,打造專屬黏土小宇宙的療癒過程。文中分享多個蝦皮挖寶地圖,並推薦蝦皮分潤計畫。
Thumbnail
在小小的租屋房間裡,透過蝦皮購物平臺採購各種黏土、模型、美甲材料等創作素材,打造專屬黏土小宇宙的療癒過程。文中分享多個蝦皮挖寶地圖,並推薦蝦皮分潤計畫。
Thumbnail
小蝸和小豬因購物習慣不同常起衝突,直到發現蝦皮分潤計畫,讓小豬的購物愛好產生價值,也讓小蝸開始欣賞另一半的興趣。想增加收入或改善伴侶間的購物觀念差異?讓蝦皮分潤計畫成為你們的神隊友吧!
Thumbnail
小蝸和小豬因購物習慣不同常起衝突,直到發現蝦皮分潤計畫,讓小豬的購物愛好產生價值,也讓小蝸開始欣賞另一半的興趣。想增加收入或改善伴侶間的購物觀念差異?讓蝦皮分潤計畫成為你們的神隊友吧!
Thumbnail
1.0 從函數到函算語法 1.2 函數概念小史 1.2.1 中譯的來源 1.2.2 一個速度問題 1.2.3 幾何的方法 1.2.4 微積分的記法 1.2.5 弦的振動 1.2.6 熱的傳導 1.2.7 十九世紀的尾聲  二 公元1829年,約翰‧狄利克雷 (Johann P
Thumbnail
1.0 從函數到函算語法 1.2 函數概念小史 1.2.1 中譯的來源 1.2.2 一個速度問題 1.2.3 幾何的方法 1.2.4 微積分的記法 1.2.5 弦的振動 1.2.6 熱的傳導 1.2.7 十九世紀的尾聲  二 公元1829年,約翰‧狄利克雷 (Johann P
Thumbnail
1.0 從函數到函算語法 1.2 函數概念小史 1.2.1 中譯的來源 1.2.2 一個速度問題 1.2.3 幾何的方法 1.2.4 微積分的記法  三 有些讀者大概都知道,微積分學有兩個分科﹕一為微分學 (differential calculus),一為積分學 (integ
Thumbnail
1.0 從函數到函算語法 1.2 函數概念小史 1.2.1 中譯的來源 1.2.2 一個速度問題 1.2.3 幾何的方法 1.2.4 微積分的記法  三 有些讀者大概都知道,微積分學有兩個分科﹕一為微分學 (differential calculus),一為積分學 (integ
Thumbnail
在平坦的歐式平面 (flat Euclidean plane) 上,方向導數 (directional derivative) 被定義為、兩個鄰近的點的方向向量之差,這也就是,把一個向量、平行輸運 (parallel transport) 到另一個向量的原點之上,然後求它們的差。
Thumbnail
在平坦的歐式平面 (flat Euclidean plane) 上,方向導數 (directional derivative) 被定義為、兩個鄰近的點的方向向量之差,這也就是,把一個向量、平行輸運 (parallel transport) 到另一個向量的原點之上,然後求它們的差。
Thumbnail
在二維的歐式平面 (Euclidean plane) 上,沿著曲線座標 (curvilinear coordinates) 之方向,有二個基底向量 (basis vectors) g⃗₁、和 g⃗₂,它們構成了微小的曲面塊 (surface patch),而度量張量 (metric tensor)
Thumbnail
在二維的歐式平面 (Euclidean plane) 上,沿著曲線座標 (curvilinear coordinates) 之方向,有二個基底向量 (basis vectors) g⃗₁、和 g⃗₂,它們構成了微小的曲面塊 (surface patch),而度量張量 (metric tensor)
Thumbnail
前面幾篇一直反覆提到,奠定幾何磐石的畢氏定理: x² + y² = r² 可以轉換為畢氏定理的向量表達: x x̂ + y ŷ = r r̂
Thumbnail
前面幾篇一直反覆提到,奠定幾何磐石的畢氏定理: x² + y² = r² 可以轉換為畢氏定理的向量表達: x x̂ + y ŷ = r r̂
Thumbnail
與偏導數 (partial derivative) 不同,全導數 (total derivative) 乃根據所有分量 (而非僅是單一分量) 之微小移動、所產生的各別對於函數數值的貢獻,來逼近函數本身的「值」之微小改變。
Thumbnail
與偏導數 (partial derivative) 不同,全導數 (total derivative) 乃根據所有分量 (而非僅是單一分量) 之微小移動、所產生的各別對於函數數值的貢獻,來逼近函數本身的「值」之微小改變。
Thumbnail
在二維平面上,連續變動的點 (x₁, y₁)、(x₂, y₂)、(x₃, y₃)⋯ 可以統稱為 (x, y)。 (x, y) 代表:沿著 x 軸向量 x̂ 之方向、行進了 x 的距離,再沿著 y 軸向量 ŷ 之方向、行進了 x 的距離,將兩者加總,所對應到的平面上的某個點。
Thumbnail
在二維平面上,連續變動的點 (x₁, y₁)、(x₂, y₂)、(x₃, y₃)⋯ 可以統稱為 (x, y)。 (x, y) 代表:沿著 x 軸向量 x̂ 之方向、行進了 x 的距離,再沿著 y 軸向量 ŷ 之方向、行進了 x 的距離,將兩者加總,所對應到的平面上的某個點。
Thumbnail
============================================= 根軌跡的定義 ============================================= ■根軌跡的定義 ●控制系統轉移函數 ●特性方程式及特性根 亦即 1+開迴路轉移函數=0 ●根軌跡
Thumbnail
============================================= 根軌跡的定義 ============================================= ■根軌跡的定義 ●控制系統轉移函數 ●特性方程式及特性根 亦即 1+開迴路轉移函數=0 ●根軌跡
Thumbnail
  至今為止,本文都使用代數的方式來討論微分,並以生活、科學中的瞬間變化率,如:速度等,對微分的定義做出詮釋。這一系列主題文章「函數微分的幾何意義」將分多集探討,用幾何角度來了解函數微分。本文章第一集將先引入代數和幾何的觀念;在概略介紹函數的圖形定義。
Thumbnail
  至今為止,本文都使用代數的方式來討論微分,並以生活、科學中的瞬間變化率,如:速度等,對微分的定義做出詮釋。這一系列主題文章「函數微分的幾何意義」將分多集探討,用幾何角度來了解函數微分。本文章第一集將先引入代數和幾何的觀念;在概略介紹函數的圖形定義。
追蹤感興趣的內容從 Google News 追蹤更多 vocus 的最新精選內容追蹤 Google News