上篇:最美的公式:你也能懂的麥克斯韋方程組(微分篇)(上)
11梯度、散度和旋度▽算子不是一個矢量,除非你把它作用在一個函數上,否則它沒啥意義。但是,它在各個方面的表現确實又像一個矢量,隻要你把▽算子的“作用”看成矢量的“相乘”。
一個矢量一般來說有3種“乘法”:
1、矢量A和一個标量a相乘:aA。比如我把一個矢量A大小變為原來的2倍,方向不變,那麼這時候就可以寫成2A。
2、矢量A和一個矢量B進行點乘:A·B。這個點乘我們上面介紹很多了,A·B=|A||B|Cosθ,這裡就不說了。
3、矢量A和一個矢量B進行叉乘:A×B。這個叉乘跟點乘類似,也是我們單獨針對矢量定義的另外一種乘法,A×B=|A||B|Sinθ。大家可以看到,這個叉乘跟點乘唯一的區别就是:點乘是兩個矢量的大小乘以它們的餘弦值Cosθ,叉乘是兩個矢量的大小乘以它們的正弦值Sinθ(在直角三角形裡,角的對邊和斜邊的比為正弦Sinθ,鄰邊和斜邊的比值為餘弦Cosθ)。
那麼,同樣的,我們的▽算子也有3種作用方式:
1、▽算子作用在一個标量函數z上:▽z。這個▽z我們上面說過了,它表示函數z的梯度,它表示這個函數z變化最快的方向。
2、▽算子跟一個矢量函數E點乘:▽·E。這就表示E的散度,我們開篇講的高斯電場定律的左邊就是電場E的散度,它就是表示成▽·E這樣。
3、▽算子跟一個矢量函數E叉乘:▽×E。它叫E的旋度,這個我們後面會再詳細說。
這樣,我們就以一種很自然的方式引出了這三個非常重要的概念:梯度(▽z)、散度(▽·E)和旋度(▽×E)。大家可以看到,▽算子的這三種作用跟矢量的三種乘法是非常相似的,隻不過▽是一個算子,它必須作用在一個函數上才行,所以我們把上面的标量和矢量換成了标量函數和矢量函數。
我們在描述山的高度的函數z=f(x,y)的時候,不同的點(x,y)對應不同的山的高度,而山的高度隻有大小沒有方向,所以這是個标量函數,我們可以求它的梯度▽z。但是,電場E既有大小又有方向,這是一個矢量,所以我們可以用一個矢量函數E=f(x,y)表示空間中不同點(x,y)的電場E的分布情況。那麼對這種矢量函數,我們就不能去求它的梯度了,我們隻能去求它的散度▽·E和旋度▽×E。
為了讓大家對這些能夠有更直觀的概念,我們接下來就來仔細看看電場的散度▽·E。
12電場的散度當我們把電場的散度寫成▽·E這樣的時候,我們會覺得:啊,好簡潔!但是我們也知道▽算子的定義是這樣的:
那麼▽·E就應該寫成這樣:
而我們知道電場E其實是一個矢量函數(不同點對應的電場的情況),那我們還是可以把E分解成x,y兩個分量的和,這兩個分量後面跟一個x和y方向的單位向量就行了。那麼,上面的式子就可以寫成這樣:
然後,因為矢量點乘是滿足分配律的,所以我們可以把他們按照普通乘法一樣展開成四項。而x和y是垂直的單位向量,所以x·y=y·x=0,x·x=y·y=1,然後我們最後剩下的就隻有這兩項了(這一塊的推導邏輯跟“坐标系下的矢量點乘”那一節一樣,覺得有點陌生的可以再返回去看看那一部分):
這就是電場E的散度的最終表達式,它的意思很明顯:我們求電場E的散度就是把矢量函數E分解成x和y方向上的兩個函數,然後分别對它們求偏導,最後再把結果加起來就行了。
為了讓大家對這個有個更直觀的概念,我們來看兩個小例子:
例1:求函數y=2x 1的導數。
這個函數的圖像是一條直線(不信的可以自己去找一些x的值,代入進去算算y的值,然後把這些點畫在圖上),它的斜率是2,也就是說導數是2。也就是說,對于一次函數(最多隻有x,沒有x的平方、立方……),它的導數就是x前面的系數(2x前面的2),而後面的常數(1)對導數沒有任何影響。
例2:求電場E=2x yy的散度。
我們先來看看這個電場E,它在x方向上(2x)的系數是2,也就是說它的電場強度是不變的,一直都是2。但是,在y方向上(yy)的系數是y,也就是說當我越來越遠離y軸的時候,這個系數y也會越來越多,這就表示y方向上的電場強度會越來越大。
所以E=2x yy描述的是這樣一個在x軸方向上不變,在y軸方向上不斷變大的電場。要求這個電場的散度,根據上面的式子,我們得先求出電場的偏導數,那偏導數要怎麼求呢?還記得我們是怎麼得到偏導數這個概念的麼?我們是固定y的值,也就是假設y的值不變,把y看作一個常數,這時候求得了對x的偏導數;同樣,把x當做一個常數,求函數對y的偏導數。
那麼,當我們求函數對x的偏導數∂E/∂x時,我們可以把y當作常數(就像例1中後面的1一樣)。如果y是常數,x方向前面的系數又是2,也是常數,所以這整個就變成了一個常數(常數的導數為0),所以∂E/∂x=0。同樣,當我們求y的偏導的時候,就把x都看成常數(導數為0),而y方向前面的系數為y(導數為1),所以∂E/∂y=0 1=1。
那麼電場E的散度▽·E就可以表示成這兩個偏導數的和:▽·E=∂E/∂x ∂E/∂y=0 1=1,也就是說,電場E的散度為1。
這雖然是一個非常簡單的求電場散度的例子,但是卻包含了我們求偏導,求散度的基本思想。通過這種方式,我們可以很輕松的就把電場E的散度▽·E求出來了。
補了這麼多的數學和推導,我們現在有了一個定義良好,計算方便的散度▽·表達式了,但是,你還記得我們在開始講到的散度的定義麼?我們最開始是怎樣引入散度的呢?
我們是從麥克斯韋方程組的積分形式引入散度的。高斯電場定律說通過一個閉合曲面的電通量跟這個閉合曲面包含的電荷量成正比,而且這個曲面可以是任意形狀。然後我們為了從宏觀進入微觀,就讓這個曲面不停地縮小縮小,當它縮小到無窮小,縮小到隻包含了一個點的時候,這時候我們就說通過這個無窮小曲面的通量和體積的比就叫散度(用div表示)。
也就是說,我們最開始從無窮小曲面的通量定義來的散度和我們上面通過偏導數定義來的散度▽·指的是同一個東西。即:
很多人可能覺得難以理解,這兩個東西的表達形式和來源都完全不一樣,它們怎麼會是同一個東西呢?但是它們确實是同一個東西,那我們為什麼要弄兩套東西出來呢?在最開始我也說了,通過無窮小曲面的通量定義的散度很容易理解,跟麥克斯韋方程組的積分形式的通量也有非常大的聯系,但是這種定義不好計算(上面的例2,你用這種方式去求它的散度試試?),所以我們需要找一種能方便計算、實際可用的方式,這樣才出現了▽·形式的散度。
至于為什麼這兩種形式是等價的,我給大家提供一個簡單的思路。因為這畢竟是面向大衆的科普性質的文章,具體的證明過程我就不細說了。真正感興趣的朋友可以順着這個思路去完成自己的證明,或者來我的社群(回複“社群”即可)裡讨論。
證明思路:我們假設有一個邊長分别為Δx、Δy、Δz的小長方體,空間中的電場為E(x,y,z),然後假設在這個長方體的正中心有一個點(x,y,z),那麼這個電場通過這個長方體前面(沿着x軸正方向)的電場就可以表示為:Ex(x Δx/2,y,z)。Ex表示電場在x方向上的分量(因為我們是考慮長方體上表面的通量,所以隻用考慮電場的x分量),因為中心坐标為(x,y,z),那麼沿着x軸移動到表面的坐标自然就是(x Δx/2,y,z)。而這個面的面積為ΔyΔz,那麼通過前面的電通量就可以寫成:Ex(x Δx/2,y,z)·ΔyΔz。
同樣的,通過長方體後面(沿着x軸的負方向)的電通量,就可以寫成Ex(x-Δx/2,y,z)·ΔyΔz。因為這兩個面的方向是相反的(前面後面,一個沿着x軸正方向,一個沿着負方向),所以,這兩個沿着x軸方向的面的電通量之和Φx就應該是兩者相減:Φx=(Ex(x Δx/2,y,z)·ΔyΔz- Ex(x-Δx/2,y,z)·ΔyΔz)。
如果我們兩邊都除以Δv(其中,Δv=ΔxΔyΔz),那麼就得到:Φx/Δv=(Ex(x Δx/2,y,z)- Ex(x-Δx/2,y,z))/Δx,然後你會發現等式的右邊剛好就是偏導數的定義(标準的極限定義)。也就是說,電場通過沿着x軸的兩個面(前後兩面)的通量之和就等于電場的x分量對x的偏導數:Φx/Δv=∂Ex/∂x。
同樣的,我們發現電場沿着y軸的兩面(左右兩面)和z軸的兩面(上下兩面)的電通量之和分别就等于電場的y分量和z分量對y和z的偏導:Φy/Δv=∂Ey/∂y,Φz/Δv=∂Ez/∂z。然後我們把這三個式子加起來,左邊就是電場通過六個面的通量除以體積,也就是通過這個長方體的通量除以體積,右邊就是我們▽·E的形式,這分别就是我們上面兩種散度的表示方式,證明完成。
這個證明一時半會沒看懂也沒關系,感興趣的可以後面慢慢去琢磨。我隻是想通過這種方式讓大家明白通過某一方向的兩個面的通量跟這方向的偏導數之間是存在這種對應關系的,這樣我們就容易接受無窮小曲面的通量和▽·這兩種散度的定義方式了。
這兩種散度的定義方式各有所長,比如我們在判斷某一點的散度是否為零的時候,我用第一個定義,去看看包含這個點的無窮小曲面的通量是不是為零就行了。如果這一點有電荷,那麼這個無窮小曲面的電通量肯定就不為零,它的散度也就不為零;如果這個無窮小曲面沒有包含電荷,那這一點的散度一定為0,這就是高斯電場定律的微分方程想要告訴我們的東西。但是,如果你要計算這一點的散度是多少,那還是乖乖的拿起▽·去計算吧。
14散度的幾何意義此外,跟梯度一樣,散度這個名字也是非常形象的。很多人會跟你說散度表示的是“散開的程度”,這種說法很容易讓初學者誤解或者迷惑,比如一個正電荷産生的産生的如下的電場線,它看起來是散開的,所以很多就會認為這裡所有的點的散度都是不為零的,都是正的。
但是,根據我們上面分析,散度反映的是無窮小曲面的通量,這直接跟這一點是否有電荷對應。那麼,這個圖的中心有一個正電荷,那麼這點的散度不為零沒毛病,但是其他地方呢?其他地方看起來也是散開的,但是其他地方并沒有電荷,沒有電荷的話,其他點電場的散度就應該為0(因為這個地方無窮小曲面的通量有進有出,它們剛好抵消了),而不是你看起來的好像是散開的,所以為正。
也就是說,對于一個點電荷産生的電場,隻有電荷所在的點的散度不為0,其他地方的散度都為0。我們不能根據一個電場看起來是散開的就覺得這裡的散度都不為0,那麼,這個散開到底要怎麼理解呢?
你可以這麼操作:你把電場線都想象成水流,然後拿一個非常輕的圓形橡皮筋放到這裡,如果這個橡皮筋的面積變大,我們就說這個點的散度為正,反正為負。如果你把橡皮筋丢在電荷所在處,那麼這點所有方向都往外流,那麼橡皮筋肯定會被沖大(散度為正);但是在其他地方,橡皮筋會被沖走,但是不會被沖大(散度為0),因為裡外的沖力抵消了。這樣的話,這種散開的模型跟我們無窮小曲面的通量模型就不再沖突了。
說了這麼多,又是證明不同散度形式(無窮小曲面的通量和▽·)的等價性,又是說明不同散度理解方式的同一性(無窮小曲面的通量和散開的程度),都是為了讓大家從更多的維度全方位的理解散度的概念,盡量避開初學者學習散度會遇到的各種坑。理解了這個散度的概念之後,我們再來看麥克斯韋方程組的第一個方程——高斯電場定律的微分形式就非常容易理解了:
方程的左邊▽·E表示電場在某一點的散度,方程右邊表示電荷密度ρ和真空介電常數的比值。為什麼右邊要用電荷密度ρ而不是電荷量Q呢?因為散度是無窮小曲面的通量跟體積的比值,所以我們的電量也要除以體積,電量Q和體積V的比值就是電荷密度ρ。對比一下它的積分形式:
兩邊都除以一個體積V,然後曲面縮小到無窮小:左邊的通量就變成了電場的散度▽·E,右邊的電荷量Q就變成了電荷密度ρ,完美!
麥克斯韋方程組的積分形式和微分形式是一一對應的,理解這種對應的關鍵就是理解散度(和後面的旋度)這兩種不同定義方式背後的一緻性,它是溝通積分和微分形式的橋梁。理解了它們,我們就能在這兩種形式的切換之間如魚得水,我們就能一看到積分形式就能寫出對應的微分形式,反之亦然。
16方程二:高斯磁場定律理解了高斯電場定律的微分形式,那麼高斯磁場定律的微分形式就能輕松寫出來了。因為現在還沒有找到磁單極子,磁感線都是閉合的曲線,所以閉合曲面的磁通量一定恒為0,這就是高斯磁場定律積分形式的思想:
那麼,我們一樣把這個曲面縮小到無窮小,通過這個無窮小曲面的磁通量就叫磁場的散度,那麼方程的左邊就變成了磁場的散度,而右邊還是0。也就是說:磁場的散度處處為0。所以,麥克斯韋方程組的第二個方程——高斯磁場定律的微分形式就是:
靜電和靜磁的微分形式我們已經說完了,那麼接下來就是磁如何生電的法拉第定律了。關于法拉第是如何通過實驗一步一步發現法拉第定律的内容,我在積分篇裡已經詳細說了,這裡就不再多說。對法拉第定律的基本思想和積分形式的内容還不太熟悉的請先去看上一篇積分篇的内容。
法拉第定律是法拉第對電磁感應現象的一個總結,他發現隻要一個曲面的磁通量(B·a)發生了改變,那麼就會在曲面的邊緣感生出一個旋渦狀的電場E出來。這個旋渦狀的感生電場我們是用電場的環流來描述的,也就是電場沿着曲面邊界進行的線積分。
用具體的公式表示就是這樣:
公式左邊是電場E的環流,用來描述這個被感生出來的電場,而公式的右邊是磁通量的變化率,用來表示磁通量變化的快慢。
這個法拉第定律是用積分形式寫的,我們現在要得到它的微分形式,怎麼辦?那當然還是跟我們上面的操作一樣:從積分到微分,我把它無限縮小就行了。那麼,這裡我們把這個非閉合曲面縮小縮小,一直縮小到無窮小,那麼我們這裡就出現了一個無窮小曲面的環流。
還記得我們怎麼定義散度的麼?散度就是通過無窮小閉合曲面的通量和閉合曲面體積的比值,而我們這裡出現了一個無窮小非閉合曲面的環流,因為非閉合曲面就沒有體積的說法,隻有面積。那麼,通過無窮小非閉合曲面的環流和曲面面積的比值,會不會也有是一個另外什麼量的定義呢?
沒錯,這确實是一個全新的量,而且這個量我們在前面稍微提到了一點,它就是旋度。我們把▽算子跟矢量做類比的時候,說一個矢量有三種乘法:跟标量相乘、點乘和叉乘。那麼同樣的,▽算子也有三種作用:作用在标量函數上叫梯度(▽z),以點乘的方式作用在矢量函數上被稱為散度(▽·z),以叉乘的方式作用在矢量函數上被稱為旋度(▽×z)。
也就是說,我們讓▽算子以叉乘的方式作用在電場E上,我們就得到了電場E的旋度▽×E,而這個旋度的另一種定義就是我們上面說的無窮小非閉合曲面的環流和這個曲面的面積之比。因為旋度的英文單詞是curl,所以我們用curl(E)表示電場的旋度。所以,我們就可以寫下下面這樣的式子:
跟散度的兩種定義方式一樣,我們這裡的旋度也有▽×和無窮小曲面的環流兩種表述方式。在散度那裡,我給大家證明了那兩種散度形式等價性,在旋度這裡我就不再證明了,感興趣的朋友可以按照類似的思路去嘗試證明一下。
18矢量的叉乘因為旋度是▽算子以叉乘×的方式作用在矢量場上,所以這裡我們來簡單的看一下叉乘。兩個矢量A和B的點乘被定義為:A·B=|A||B|Cosθ,它們的叉乘則被定義為A×B=|A||B|Sinθ,其中θ為它們的夾角。單從這樣看,它們之間的差别好像很小,隻不過一個是乘以餘弦Cosθ,另一個是乘以正弦Sinθ。
從它們的幾何意義來說,點乘表示的是投影,因為|OA|Cosθ剛好就是OA在OB上的投影,也就是OC的長度。如下圖:
那麼叉乘呢?叉乘是|OA|Sinθ,這是AC的長度,那麼A×B=|A||B|Sinθ=|AC||OB|,這是啥?這是面積啊,如果我以OA和OB為邊長作一個平行四邊形,那麼AC就剛好是這個平行四邊形的高,也就是說,矢量A和B的叉乘(A×B=|AC||OB|)就代表了平行四邊形OADB的面積。
關于矢量的叉乘就說這麼多,在前面講矢量點乘的時候我還詳細介紹了點乘的性質和坐标運算的方法,那是因為為了自然的引出▽算子,不得不講那些。叉乘也有類似的性質和坐标運算的法則,這個在網上随便一搜或者找一本任意矢量分析的書都能找到。而且,你現在不會熟練的進行叉乘運算,并不會影響你對麥克斯韋方程組的微分形式的理解,這裡了解一下它的定義和幾何意義就行了。
19方程三:法拉第定律好,知道了矢量的叉乘,知道了▽×E可以表示電場的旋度,而且知道旋度的定義是:無窮小非閉合曲面的環流和這個曲面的面積之比。那我們再來回過頭看一看法拉第定律的積分形式:
公式的左邊是電場的環流,右邊是磁通量的變化率,它告訴我們變化的磁通量會在曲面邊界感生出電場。我在積分篇裡說過,磁通量(B·a)的變化可以有兩種方式:磁場(B)的變化和通過曲面面積(S)的變化,我們上面這種方式是把這兩種情況都算在内。但是,還有的學者認為隻有磁場(B)的變化産生的電場才算法拉第定律,所以法拉第定律還有另外一個版本:
這個版本的把原來對整個磁通量(B·da)的求導變成了隻對磁感應強度B的求偏導,這就把磁感線通過曲面面積變化的這種情況給過濾了。
在積分形式裡有這樣兩種區别,但是在微分形式裡就沒有這種區分了。為什麼?你想想我們是怎麼從積分變到微分的?我們是讓這個曲面不停的縮小縮小,一直縮小到無窮小,這個無窮小的曲面就隻能包含一個沒有大小的點了,你還讓它的面積怎麼變?所以我們的微分形式就隻用考慮磁感應強度B的變化就行了(對應後面那個法拉第定律)。
我們現在假設把那個曲面縮小到無窮小,方程的左邊除以一個面積ΔS,那就是電場的旋度▽×E的定義:
左邊除了一個面積ΔS,那右邊也得除以一個面積,右邊本來是磁感應強度的變化率(∂B/∂t)和面積的乘積,現在除以一個面積,那麼剩下的就是磁感應強度的變化率∂B/∂t了。那麼,麥克斯韋方程組的第三個方程——法拉第定律的微分形式自然就是這樣:
簡潔吧?清爽吧?這樣表示之後,法拉第定律的微分形式看起來就比積分形式舒服多了,而且它還隻有這一種形式。直接從方程上來看,它告訴我們某一點電場的旋度等于磁感應強度的變化率。簡單歸簡單,要理解這種公式,核心還是要理解左邊,也就是電場的旋度▽×E。
20旋度的幾何意義我們知道旋度的定義是無窮小曲面的環流和面積的比值,但是它既然取了旋度這個名字,那麼它跟旋轉應該還是有點關系的。我們變化的磁場感生出來的電場也是一個旋渦狀的電場。那麼,是不是隻要看起來像漩渦狀的矢量場,它就一定有旋度呢?
這個問題我們在讨論散度的時候也遇到過,很多初學者認為隻要看起來發散的東西就是有散度的,然後我們通過分析知道這是不對的。一個點電荷産生靜電場,隻要在電荷處散度不為零的,在其他地方,雖然看起來是散開的,其實它的散度是零。如果我們放一個非常輕的橡皮筋在上面,除了電荷所在處,其它地方這個橡皮筋是不會被撐開的(即便會被沖走),所以其他地方的散度都為零。
同樣的,在旋度這裡,一個變換的磁場會産生一個旋渦狀的電場,在旋渦的中心,在磁場變化的這個中心點這裡,它的旋度肯定是不為零的。但是,在其它地方呢?從公式上看,其它地方的旋度一定為零,為什麼?因為其他地方并沒有變化的磁場啊,所以按照法拉第定律的微分形式,沒有變化的磁場的地方的電場的旋度肯定是0。
跟散度一樣,我們不能僅憑一個感生電場是不是旋轉狀的來判斷這點旋度是否為0,我們也需要借助一個小道具:小風車。我們把一個小風車放在某一點上,如果這個風車能轉起來,就說明這點的旋度不為0。你隻要把風車放在感生電場中心以外的地方,就會發現如果外層的電場線讓小風車順時針轉,内層的電場線就會讓小風車逆時針轉,這兩股力剛好抵消了。最終風車不會轉,所以旋度為0。
如果大家能理解靜電場除了中心點以外的地方散度處處為零,那麼理解感生電場除了中心點以外的地方旋度處處為零就不是什麼難事。在非中心點的地方,散度的流入流出兩股力量抵消了,旋度順時針逆時針的兩股力量抵消了,為什麼剛好他們能抵消呢?本質原因還是因為這兩種電場都是随着距離的平方反比減弱。如果它們不遵守平方反比定律,那麼你去計算裡外的散度和旋度,它們就不再為零。
關于旋度的事情就先說這麼多,大家如果理解了旋度,對比法拉第定律的積分方程,要理解它的微分方程是很容易的。我前面花了很大的篇幅給大家講了矢量的點乘和散度,作為類比,理解矢量的叉乘和旋度也不是什麼難事,它們确實太相似了。
21方程四:安培-麥克斯韋定律講完了磁生電的法拉第定律,我們麥克斯韋方程組就隻剩最後一個電生磁的安培-麥克斯韋定律了。它描述的是電流和變化的電場如何産生旋渦狀的感生磁場的,因為它電的來源有電流和變化的電場兩項,所以它的形式也是最複雜的。方程的積分形式如下(具體過程見積分篇):
左邊的磁場的環流,右邊是曲面包圍的電流(帶enc下标的I)和電場的變化率。它告訴我們,如果我們畫一個曲面,通過這個曲面的電流和這個曲面裡電通量的變化會在曲面的邊界感生出一個旋渦狀的磁場出來,這個旋渦狀的磁場自然是用磁場的環流來描述。
可以想象,當我們用同樣的方法把這個曲面縮小到無窮小的時候,如果我們在方程的左右兩邊都除以這個曲面的面積,那麼方程的左邊就成了磁場B的旋度▽×B,右邊的兩項除以一個面積會變成什麼呢?
電通量的變化率除以面積之後就剩下電場的變化率∂E/∂t,這個跟法拉第定律的磁通量變化率除以面積類似。那麼電流(帶enc的I)那一項呢?電流I除以面積得到的東西是什麼?這裡我們定義了一個新的物理量:電流密度J。很顯然,這個電流密度J就是電流除以電流通過的曲面的面積(注意不是體積)。相應的,電流密度的單位是A/m²(安培每平方米)而不是A/m³。
這樣,麥克斯韋方程組的第四個方程——安培-麥克斯韋定律的微分形式就自然出來了:
雖然還是有點長,但是相比積分形式已經是相當良心了,它告訴我們某一點感生磁場的旋度▽×B等于電流密度J和電場變化率∂E/∂t兩項的疊加。其實它跟積分形式講的都是一回事,都是在說電流和變化的電場能夠産生一個磁場,隻不過積分形式是針對一個曲面,而微分形式隻是針對一個點而已。
22麥克斯韋方程組至此,麥克斯韋方程組的四個方程:描述靜電的高斯電場定律、描述靜磁的高斯磁場定律、描述磁生電的法拉第定律和描述電生磁的安培-麥克斯韋定律的微分形式就都說完了。把它們都寫下來就是這樣:
高斯電場定律說電場的散度跟這點的電荷密度成正比。
高斯磁場定律說磁場的散度處處為0。
法拉第定律說感生電場的旋度等于磁感應強度的變化率。
安培-麥克斯韋定律說感生磁場的旋度等于電流密度和電場強度變化率之和。
這裡最引入注目的就是▽算子了,它以點乘和叉乘的方式組成的散度▽·和旋度▽×構成了麥克斯韋方程組微分形式的核心,這也是為什麼我要花那麼大篇幅從偏導數、矢量點乘一步步給大家引出▽算子的原因。也因為如此,微分篇的數學部分比積分篇要多得多得多,相對也要難以理解一些,所以大家要稍微有耐性一點。
從思想上來講,微分形式和積分形式表達的思想是一樣的,畢竟它們都是麥克斯韋方程組。它們的差别僅僅在于積分形式是從宏觀的角度描述問題,我們面對的宏觀上的曲面,所以要用通量和環流來描述電場、磁場;而微分形式是從微觀的角度來描述問題,這時候曲面縮小都無窮小,我們面對的東西就變成了一個點,所以我們使用散度和旋度來描述電場、磁場。
這一點是特别要強調的:通量和環流是定義在曲面上的,而散度和旋度是定義在一個點上的。我們可以說通過通過一個曲面的通量或者沿曲面邊界的環流,但是當我們在說散度和旋度的時候,我們都是在說一個點的散度和旋度。
理解了這些,你再回過頭去看看麥克斯韋方程組的積分形式:
我們隻不過把定義在曲面上的通量和環流縮小到了一個點,然後順勢在這個點上用利用通量和環流定義了散度和旋度。因為定義散度和旋度分别還除了一個體積和面積,所以我們積分方程的右邊也都相應的除了一個體積和面積,然後就出現了電荷密度ρ(電荷Q除以體積V)和電流密度J(電流I除以面積S),電通量和磁通量那邊除以一個體積和面積就剩下電場強度E和磁感應強度B的變化率,僅此而已。
如果我們從這種角度去看麥克斯韋方程組的積分形式和微分形式,你就會覺得非常的自然和諧。給出積分形式,你一想散度和旋度的定義,就可以立馬寫出對應的微分形式;給出微分形式,再想一想散度和旋度的定義,也能立刻寫出對應的積分形式。當我想從宏觀入手的時候,我看到了曲面上的通量和環流;當我想從微觀入手的時候,我也能立馬看到一個點上的散度和旋度。積分和微分形式在這裡達成了一種和諧的統一。
23結語到這裡,麥克斯韋方程組的積分篇和微分篇就都說完了。長尾君在這兩篇文章裡先從零開始引出了通量,然後從通量的概念慢慢引出了麥克斯韋方程組的積分形式,再從積分形式用“把曲面壓縮到無窮小”推出了對應的微分形式。整個過程我都極力做到“通俗但不失準确”,所有新概念的引出都會先做層層鋪墊,絕不從天而降的抛出一個新東西。目的就是為了讓多的人能夠更好的了解麥克斯韋方程組,特别是讓中學生也能看懂,能理解麥克斯韋方程組的美妙,同時也激發出他們對科學的好奇和熱愛之心,打消他們對“高深”科學的畏懼之心:看,這麼高大上的麥克斯韋方程組,年紀輕輕的我也能看懂,也能掌握~
此外,麥克斯韋方程組是真的很美,你掌握的物理知識越多,就會越覺得它美。我也更希望大家是因為它的美而喜歡這個方程組,而不僅僅是因為它的“重要性”。我們也都知道,麥克斯韋寫出這套方程組以後,就從方程推導出了電磁波,當他把相關的參數代入進去算出電磁波的速度的時候,他驚呆了!他發現這個電磁波的速度跟人們實驗測量的光速極為接近,于是他給出了一個大膽的預測:光就是一種電磁波。
可惜的是,英年早逝的麥克斯韋(48歲去世)并沒能看到他的預言被證實,人類直到他去世9年後,也就是1888年才由赫茲首次證實了“光是一種電磁波”。那麼,麥克斯韋是怎麼從方程組導出電磁波的呢?既然我們已經學完了麥克斯韋方程組,想必大家也很知道如何從這套方程組推導出電磁波的方程,然後親眼見證“電磁波的速度等于光速”這一奇迹時刻。這部分的内容,長尾科技下篇文章再說。
最後,這篇文章主要參考了《電動力學導論》(格裡菲斯)和《麥克斯韋方程直觀》(Daniel Fleisch),大家想對麥克斯韋方程組做進一步了解的可以看看這兩本書,需要電子檔的可以在後台回複“麥克斯韋方程組”。
最美的方程,願你能懂她的美~
相關文章:《最美的公式:你也能懂的麥克斯韋方程組(積分篇)》
,更多精彩资讯请关注tft每日頭條,我们将持续为您更新最新资讯!