這是一個好問題,而要真正理解這個問題,你首先需要在頭腦裡消除一種誤會:
這樣的記號並不代表通常意義上的乘法,因此不能按照通常的多項式乘法來處理。事實上,它們是所謂的
楔形積
(wedge product),相當於
外積。
嚴格來講,這記號應該寫作
這種運算規定:
於是
於是
dxdy寫在一起表示二重積分裡面的dσ,也就是所謂的面積元素,並不是表示是dx和dy相乘,所以用引數方程代入肯定不行的。這裡的dxdy實際上是微分的外積,記作dx^dy。
這裡簡單介紹一下微分外積的計算規則,這個外積滿足反對稱性,即dx^dy=-dy^dx,由反對稱性很容易推出dx^dx=0。
這裡x=rcosθ,y=rsinθ,所以dx=cosθdr-rsinθdθ,dy=sinθdr+rcosθdθ,所以dx^dy=(。。。。。)^(。。。。。),利用反對稱性,可得出dx^dy=rdr^dθ,可見從外微分形式的運演算法則同樣得出了利用雅可比行列式算出來的結果。
我們知道多元微積分有幾個著名的公式,分別是格林公式,斯托克公式,高斯公式,這三個公式都刻畫了在邊界上的積分與在內部積分的關係,還有一元微積分的牛頓萊布尼茲公式,透過微分的外積,可以統一成一個公式,稱為Stokes公式:∫(∂Σ)ω=∫(Σ)dω。括號內表示積分割槽域。
………………………………………………………………………
高贊回答下的評論提到外積算出來的那一套實際上是雅可比行列式展開的結果,這個說法其實也沒錯。外積的運演算法則為反對稱性,且對dx和dy保持線性。行列式也是這樣定義出來的,藍以中版本的高等代數就是這樣定義行列式的:1,行列式對行或列為線性,2,交換任意行或列的位置,行列式變號。可見行列式和外積的運演算法則是一致的,本質上是同一個東西。
先給個一句話回答:
因為 dx、dy 不是如同 42、69 那樣的數值,而是倆函式,它們之間的乘法也不是 42*69 那樣的乘法,而是一種函式之間的特殊運算,自然不能用普通乘法得到座標變換關係
要真正理解這個問題,題主需要學習一點流形上的微積分知識
——————前方巨多公式警告!———————
準備好了嗎?Let‘s go!
我們先不看有點複雜的二元積分,看看一元先
假設我們要計算汽車駛過一段路的油耗,函式 f(x) 代表在路點 x 處的單位里程油耗,總油耗可以寫作
,那麼這個積分式中的 dx 指的是什麼?
插幾句閒話:如何看待積分
這個形式記號?對於初學者,我們一般把它解釋為就是有限求和形式
的無限細分版本;對於熟悉線代黑話的同學,積分形式也可看成 f(x) 與 dx 的配對;配對在數學裡可謂無處不在,參考問題 對偶對映的“對偶”體現在何處?
我們知道黎曼積分的本質是把積分割槽域分劃成許多小塊,對每個小塊計算 f 的貢獻,然後累積起來
這裡的小塊怎麼用數學語言來表達?
如果這個小塊對應起終點分別是
和
,那麼很自然的想法是用向量
來表示
注意我這裡刻意避免用實數軸
來表示路段,因為路點的自然表示應該是向量
而不是公里里程數 x;後者只是為了方便計算而人為引入的座標化工具,我們既可以用公里數 x 也可以用英里數 y 來刻畫特定路點,但這都不影響積分結果,當然為了計算出這個結果最終還是要選定某一具體的座標化方案
現在小塊被抽象為向量
,但是我們需要給出的是在該小塊上的油耗,這是一個標量,等於每公里油耗
乘以小塊長度 h(也以公里為單位),注意 h 不同於向量
,是個標量
就是說我們需要一個轉換工具,一個喂進向量
吐出標量 h 的函式:
這裡
是座標函式,喂進路點
吐出對應公里里程數 a:
注意區分
和
:前者自變數是以特定路點為起點的向量,後者自變數則是路點自身
[1]
在一維情形下
這個函式很簡單,就是返回兩個路點的公里里程差而已:
要著重指出,
是向量空間上的線性函式,這對於確保積分
與積分割槽域分劃方案無關是必要的:因為
是對小塊 D 大小的一個量度 m(D),如果小塊 D 被進一步分劃成倆更小的小塊 D1、D2,我們自然要求 m(D)=m(D1)+m(D2),這樣兩次累加起來才會一致
如果我們改用英里里程來標記路點,即有座標函式
喂進路點
吐出對應英里里程數 a’:
自然的我們也有函式
,它返回的則是兩個路點的英里里程差:
兩個座標函式之間存在可逆的變換 x=x(y) 以及 y=y(x) ,給出對應同一路點兩種座標的轉換;相應的
和
之間也存在變換
以及
,給出對應同一向量兩種里程差的轉換(下標記號表示導數)
現在問題來了:這時總油耗用座標
應該怎麼表示?
注意 f 是每公里油耗,所以我們仍然需要將它乘以按公里量度的小塊大小,而不是直接乘以英里里程差
,換言之積分式應如下變換:
這就是說,用本地座標
量度的長度元
,必須乘以一個換算係數
來轉換成按標準座標
量度的長度元
,相當於做個單位換算
現在我們來討論二維的情形,比如計算給一塊牆面刷漆需要多少油漆
把牆面
處附近單位面積需要的油漆記為
,總油漆量可以形式的寫成
,這裡
即所謂面積元;那麼這個
在數學上究竟是什麼呢?面積是個數值,所以
似乎應該是個數?
讓我們回想一維情形,一維積分
是透過把積分割槽域分劃為小塊,對每個小塊 D 計算 f 的貢獻然後累加而來,而
的作用就是量度小塊 D 的大小 m(D),一維情形下這個大小就是長度
那麼自然我們也要把牆面分劃成一系列二維小塊,對每個小塊 D 計算 f 的貢獻,而
的作用應該就是量度小塊 D 的大小 m(D),這個大小自然就是面積,換言之
是個喂進二維圖形吐出該圖形面積的函式
對牆面最簡單的分劃方案自然是平行四邊形網格,這時每個小塊都是個平行四邊形,可以被兩條邊
和
所確定,於是我們把小塊抽象化為一對向量
,而
是個喂進一對向量吐出面積
的二元函式:
注意這裡
可以是負數,即我們談論的實際上是有向四邊形的面積;習慣規定當
構成右手系時對應的面積為正,構成左手系時面積為負,而當
時面積為 0 因為此時平行四邊形退化成一維線條了;在物理領域有向面積是極其常見的,比如電流、磁通量計算的都是透過有向面積的量,可正可負
還注意到面積作為大小的量度,自然要有連續性、可加性和平移不變性,由此經過一些簡單的幾何論證可得
對每個變元都是線性的(只寫出對第一個變元,對第二個變元是類似的):
利用當兩向量相等時面積=0,可進一步證明
是反對稱的,這和前面說的有向四邊形定向法則也一致(若
構成右手系,則交換後
構成左手系,面積變為相反數):
注意劃重點了:
面積元
是個反對稱雙線性函式
以上是關於
的抽象性質,確定了
並不是個數而是個反對稱雙線性函式,我們還得給出這個函式在給定座標化方案時的具體形式,才能用於計算積分
先考慮最常用的直角座標系,我們有座標函式
和
,以及微分
和
,它們給出了起點在
的向量
的 x 分量
和 y 分量
將 x 分量為 1 而 y 分量為 0 的單位向量記作
,將 x 分量為 0 而 y 分量為 1 的單位向量記作
思考題 1:標記單位向量的另一種常見記號是
,我們為什麼舍之而用偏微分符號
?
那麼向量
即可寫成分量的組合形式:
於是
可展開如下(注意利用了反對稱和雙線性):
其中
是由單位向量
和
確定的正方形面積,習慣將其指定為 1
另外為方便起見,我們定義兩個一元函式 f 和 g 的張量積
為如下二元函式
[2]
:
這樣二元函式
便是兩個一元函式
和
的反對稱張量積組合:
因為這種反對稱張量積組合極其常見,我們專門給它起個名字叫做
外積
,以楔形符號
表示(所以外積也叫楔積);容易知道外積運算也是雙線性的,且反交換
思考題 2:我們還可以做出另一種張量積組合
,它具有什麼性質?對應幾何上的什麼構造?
這樣我們就知道了直角座標下二維積分應該寫成
現在回到題主的問題,就能很清楚的看出不能用簡單的數值相乘來得到面積元變換公式,因為積分公式裡的 dxdy 壓根不是兩個數的相乘,而是函式dx與dy做外積
那麼可能有人會問:我們平時做二元積分似乎就是把 dxdy 當作普通乘積來算,也沒見鬧出啥么蛾子?
這是因為我們總是用平行於 X 軸和 Y 軸的平行線來劃網格,這種格的底邊
只有 x 分量而無 y 分量
,左邊
只有 y 分量而無 x 分量
,帶入面積元的一般形式就有:
這樣當我們對所有小塊累積
時,可以先固定 y 和
沿 X 軸累積
然後再沿 Y 軸累積,也就是逐次積分法
[3]
:
可以看出在這種特定情形下外積
確實顯得跟普通乘積一般
但是當我們打算換一種座標來計算同樣的積分時,就必須老老實實應用外積的一般形式了
直角座標和極座標之間有如下微分關係:
於是得到用極座標表達的面積元(注意運用前面講到的外積雙線性和反對稱性):
對於一般的座標 (s,t) ,對應的面積元為
,其中
是雅可比行列式:
如同一維情形,
可以視為按本地座標量度的面積元,它必須乘以雅可比行列式來轉換成按標準座標量度的面積元
[4]
思考題 3:前面的講述一直限定在二維平面上,擴充套件到三維此時面積元應該是什麼?體積元呢?
思考題 4:有可能把積分定義擴充套件到無窮維嗎?
這裡澄清下 @chris 對我的誤解
我是非常贊同你的幾何直覺優先觀的,也非常喜歡老阿那本書,有回答為證,還為這被某阿黑大佬拉黑(ಥ _ ಥ)
為什麼微積分那麼難學?
只不過要真正回答題主這個問題,就必然要求對面積元的概念做深入探求,這自然就會導向外微分的概念,所以講外微分確實是正解,但必須理清它的來龍去脈,而不是簡單的丟出一坨古怪的運演算法則,告訴題主就是這麼規定的,這樣做看著很厲害其實只是搬書本,並不能真正解除題主的疑惑
對於積分
,進行如下變換
這是一個典型的非線性變換。按照微積分的直覺,我們要把非線性的東西用線性來估計。所以人們發明了雅可比矩陣來用線性變換來估計非線性變換。則對應的雅可比矩陣為:
這個矩陣的用法是大概是這樣滴:
根據線性代數的知識,我們知道行列式是用來計算線性變換後圖形與原先圖形的面積比。對於非線性變換,我們可以透過把每個微小的dr和dθ對應的雅可比行列式與之相乘,用於近似dxdy
由於矩陣本身的特性,行列式有時為負數。但是由於我們是對面積積分,所以在算積分時取其絕對值。最終我們把變換帶入,得到:
因為雅可比行列式,dxdy最終的變換結果是rdrdθ
那就從頭開始考慮吧。
先畫一張圖
圖中所示陰影部分就是我們要求的面積微元。圖中極角增加了微小的量
,極徑也變化了微小的量
,原動點
移動到了
。
圓弧
:半徑為
, 圓心在極點
圓弧
:半徑為
, 圓心在極點
陰影部分的面積為大扇形的面積減去小扇形的面積,注意到扇形面積公式:
,因此:
大扇形:
小扇形:
由此可以得出圓環
的面積:
注意到這幾個問題:
是
的高階無窮小,因此可以忽略
就是面積微元
因此上述公式就可以簡化為:
明確這個簡單的過程之後,就很容易記住這個公式了。
上述內容裡面有兩個點一開始可能不好理解:
和忽略
。其實這個問題也很簡單,不外乎等價無窮小的應用。
1、由於
,因此
;同理
。
2、注意到
,那麼
認識到這兩點再考察二重積分的定義式:
注意這裡二重積分只要存在那麼右端極限就存在,這和極座標的處理沒有關係。於是我們可以考慮將面積微元的完整式子寫進來:
這時如果使用等價無窮小的替換,是對
整個括號部分
進行替換,是滿足替換條件的。從而得到:
如果這個極限存在:
多謝評論區 @王雲峰 指點。