先簡述一下拉格朗日乘數法:
f 是定義在 Rn 中一開集 U 的一階連續可微的實函數,它被限制在由g1(x1,⋯,xn)=c1⋮gm(x1,⋯,xn)=cm所定義的緊致曲面 S 上,並且 S⊂U 。其中各 gi 都連續可微,並且它們的梯度 ∇gi 都線性獨立。如果 f 在 S 中的 p 點達到極值,那麼 f 在 p 點的梯度 ∇pf 是 ∇pg1,⋯,∇pgm 的線性組合。
這個定理在Charles Chapman Pugh所著的Real Mathematical Analysis一書中有很簡短的證明,以下採用該書的證明。
該書中有提到,假定n=3,m=1,那麼因為 f 的一些光滑性質,它的等值面在 R3 中可視為一系列曲面,並且局部的有單調性。因此當 S 穿過這些曲面時,肯定不會穿過極值,只有相切的情況才有可能有極值。
該書中的證明就是巧妙的構造出 f 等值面在 S 上,假如不符合定理條件的話,會有單調性。這裡用了反證法,雖說反證法比較不直覺,可是這證明很巧妙,簡短而且富有幾何感,所以特別介紹。
◼
不失一般性,把p設為原點,令 c1,⋯,cm,f(p) 都等於零。又假定 ∇0f≠0(等於零的情況無須證明),並且跟 ∇0g1,⋯,∇0gm 線性獨立。因此我們可以找到 ωm+2,⋯,ωn 使得∇0g1,⋯,∇0gm,∇0f,ωm+2,⋯,ωn為 Rn 的一個基。定義以下n−m−1個函數:hi(x)=⟨ωi,x⟩, m+2≤i≤n ⟨⟩是內積。令 F(x)=(g1(x),⋯,gm(x),f(x),hm+2(x),⋯,hn(x))
F在原點附近是一個微分同胚(一對一,映成,F和反函數都一階連續可微),因為它的微分:[∇0g1⋯∇0gm ∇0f ωm+2⋯ωn]T各列(row)是線性獨立的。
把 F 的各個分量 Fi 視為在原點附近的一個新的座標系(因為是微分同胚所以可以這樣做)。在這的座標系中,S 對應到座標平面 0×Rn−m,其中 F1,⋯,Fm 都等於零,而 f 只是第 m+1 個座標軸,當然不會達到極值。
◼
原書的證明只到這,證明只有兩個黑色方塊之間的內容,真的很簡短。這裡再補充說明,f 在新座標系中不過是一座標軸,它穿過原點時自然是單調的,在原點當然不是極值。
沒有留言:
張貼留言