極小曲面背景下結合Jacobi矩陣直觀探究座標變換、投影、旋度、散度
碼公式不易,希望能對大家理解這方面的問題有所幫助。
喜歡的話就點贊收藏吧!
一、極小曲面
二維空間中的曲線,我們可以對進行微元。例如
,為了研究
在
的極小變化時,我們證明了,
。更普適一點,我們證明了對
,在某一點可導的情況下,我們證明了
。 以此類推,我們不難推想,對於一個曲面,其微元具有什麼樣的性質呢?我們可以假設,在直角座標系三維空間當中,存在一個連續的函式值函式
, 因其連續性,我們不難想象出,其為一個曲面。例如
其影象如下所示
我們再來聯想一下:我們在討論二維空間當中曲線的時候,是不是證明過,在極小的微元時,我們可以近似地化曲為直,例如我們利用泰勒公式應該有
當
非常接近於
時,我們認為,由於後面的項均為
的高階無窮小,所以我們就可以寫成將方程改寫
這也是化曲為直的潛在思想。
我們不禁會想,既然曲線可以這樣處理,那麼是不是說曲面也可以這樣處理呢?
事實上在數學分析中我們已經證明過對於
可見,極小曲面下,值的增長,也滿足這樣的線性關係。
二、Jacobi矩陣
透過學習,我們知道,除了函式值函式,還有向量值函式,這個不難理解,結合我們所知的物理知識,例如,波,電場,磁場,力等其實都屬於向量值函式。
我們記一個向量值函式為為
現在我們對向量值函式的每一個分量分別進行微分
學過高等代數的我們都知道,對於這樣的形式,我們可以用矩陣的方式表達。
中間的方陣正是一個雅可比矩陣,實際上雅可比矩陣可以寫成更一般的形式,這裡就不做贅述。
三、面積投影和座標變換
下面我們利用
矩陣來研究一下其對積分的作用。
首先,在一個面積分當中,我們實際上相當於,對無窮小的面元(近似為平行四邊形)和其高(即函式值)求體積之和。
其次我們知道,同樣一個曲面在不同的座標系下會有不同的表達形式。如果我們要沿著這個曲面進行一個二重積分,在兩個座標系下也會有不同的積分形式,其結果也會不同。
那麼如果我們知道了
即
之間的關係是不是就能夠進行任意的座標變換而獲得更好的積分形式呢?
確實如此。對於任意一點
,我們存在
與之對應,這時有
。那麼我們只要考慮其面元的比例即可確定其最終積分結果的比例。
極小曲面被近似為一個平行四邊形,故面元的面積可以用
和
表示。
透過前面的分析我們又知道在極小曲面下我們滿足線性關係
,故:
其實在此步,我們也可以利用
,所得到的結果應該是一樣的。
因此我們可以看到,面積元是有比值大小的,剛好是
關於
偏導數所組成向量的叉乘。而這也剛好是
行列式的值。
事實上,在書中我們已經證明,對於同元數的替換,其所得
方陣的行列式,就是面積元之間的比例係數。
有了這樣的基礎,我們來考慮這樣一個問題:
,
是
。
我們很容易發現
是一個不好處理的曲面,但是它在
上的投影確實極易確定且方便求解的。 即
。
對於
這樣一個曲面,我們知道它可以透過u,v來表示
令
,
所以我們利用上面的座標變換,其面積元大小為
四、旋度、散度
在書中,我們還介紹了場的概念,介紹了散度,旋度等概念,但書中涉及的散度、旋度僅限制於三維空間,下面,我將把二維
矩陣做分解,定義二維曲面中的散度和旋度。
我們知道,二維空間的向量場應有
,其中:
將其寫成
矩陣的形式。
這樣我們將原向量場分解成了三個向量場
首先我們來討論
式的含義。
我們考慮一根在平面中繞軸旋轉的剛體,其末端的速度設為
,且做圓周運動,其座標為
。
因為其做圓周運動,所以沿軸方向速度為零,透過極座標的轉化我們有
這不正與
式的結果相符嗎?
這也就證明了平面中剛體圓周運動有:
接著再看
當
式項均為零,我們有
故
所以我們可以看出
的向量場實際上就是在一張平面上進行大小的放縮。
如圖所示
最後再看
式
我們發現中間矩陣可以寫成
我們不難看出
所以矩陣
是一個正交矩陣。
二階的正交矩陣只有兩種形式:旋轉變換和映象變換。
結合
式我們看到正可以寫成下列形式
正是對其不斷地進行鏡面反射與伸縮,可以理解為沿著變化的方向以變化的速率進行拉伸。
我們可以做一個小總結,我們將向量值函式的
矩陣進行分解,將其變化分解為:
旋轉、放縮、變形
三種不同的效果。
應當指出的是,不只是二維,實際上對於三維甚至更高維的向量值函式我們也可以對其
矩陣進行類似的分解。