如何證明這個雅克比行列式恆為零得出的結論?

F,G 是二元連續可微函數, G 不為常函數,

frac{partial (F,G)}{partial (x,y)}equiv0 ,

則存在函數 g 使得
abla F=g(G) 
abla G

這裡 
abla 表示梯度.

(或者等價的,F可表為G的函數)


條件G不為常函數可以加強為G只有孤立的臨界點(否則如果G在一個臨域內為常數,則很容易舉出反例)。你同學的解答我沒有細看,但是大致看了一下應該是對的。更簡短的證明如下:

在G的非臨界點處,grad G (梯度)非0,根據隱函數定理之類的(也就是你同學的秩定理),G可以看作是一個臨域內的坐標函數。也就是說,存在坐標變換,使得G(x",y")=x".

這樣的話,由於grad F = k grad G, 得到F對y"的偏導也恆為0,所以F只是x"的(光滑)函數,也就是說,F是G的(光滑)函數。

對於臨界點處,通過連續性可以取極限得到。


抱歉帶偏了節奏,這是同學的答案。


謝邀

感覺這個結論是有問題的,應該只在局部成立

F(x,y)=x

G(x,y)=x^2


以下答案為錯誤示範,請勿模仿……

命題錯誤。

由行向量線性相關,可以得出g(G)應該是一般的函數g(x,y)。這個g需要滿足由連續可微帶來的一些約束性質,但是不需要和G有關係。

反例:

dfrac{partial F}{partial x}=g(x,y)dfrac{partial G}{partial x}dfrac{partial F}{partial y}=g(x,y)dfrac{partial G}{partial y}


推薦閱讀:

一道行列式,最後結果的係數有什麼方法求?
為什麼說行列式是每個單位正方形在線性變換之後的面積?

TAG:數學 | 幾何學 | 數學分析 | 行列式 |