数学联邦政治世界观
超小超大

反函数定理和隐函数定理 (2-1)

定义在开集D ⊂ ℝⁿ 上的向量函数 f:D → ℝⁿ

若向量函数f 是一一映射,于是能确定一个定义在 f(D) 上的函数, f⁻¹:f(D) → (D)

将它称为函数f 的反函数,函数 f 及其反函数 f⁻¹ 显然满足

(f⁻¹◦f)(x)=x, x∈D (1)

(f◦f⁻¹)(y)=y, y∈f(D) (2)

定理23.17 (反函数定理):设 D ⊂ ℝⁿ 是开集,函数 f:D → ℝⁿ 满足以下条件:

(i)在 D 上可微,且 f' 连续

(ii)存在 x₀∈D ,使 det f'(x₀) ≠ 0

则存在邻域U=U(x₀) ⊂ D ,使得

1. f在 U 上是一一映射,从而存在反函数 f⁻¹:V → D ,其中 V=f(U) 是开集

2. f⁻¹在V上存在连续导数 (f⁻¹)' ,且

(f⁻¹)'(y)=(f'(x))⁻¹,x=f⁻¹(y),y∈V (3)

证:

二、隐函数定理

设X ⊂ ℝⁿ,Y ⊂ ℝᵐ,Ω=X × Y ⊂ ℝⁿ⁺ᵐ,F:Ω → ℝᵐ,考察向量函数方程‬

F(x,y)=0,x∈X,y∈Y (14)

若存在向量函数f:U → Y(U ⊂ X) ,当用 f(x),x∈U 去替换方程 (14) 中的 y 时,能使方程 (14) 变成恒等式‬

F(x,f(x)) ≡ 0,x∈U (15)

这时称函数f 是由方程 (14) 所确定的定义在 U 上的隐函数

对上述含函数F ,当固定 y∈Y 时,它关于 x 的偏导数记为

F'ₓ(x,y)或DₓF(x,y)(为m×n矩阵) (16)

当固定x∈X 时,它关于 y 的偏导数记为

F'y(x,y)或DyF(x,y)(为m×m矩阵) (17)

定理23.18 (隐函数定理):设 X ⊂ ℝⁿ,Y ⊂ ℝᵐ 都是开集,Ω=X × Y ⊂ ℝⁿ⁺ᵐ (亦为开集), F:Ω → ℝᵐ 。若函数 F 满足下列条件:

(i)存在 x₀∈X,y₀∈Y ,使得 F(x₀,y₀)=0

(ii)F在 Ω 上可微,且 F' 连续

(iii)det F'y(x₀,y₀) ≠ 0

则存在在点x₀ 的 n 维邻域 U=U(x₀) ⊂ X 和点 y₀ 的 m 维邻域 V=V(y₀) ⊂ Y,使得在点 (x₀,y₀) 的 n+m 维邻域 W=U × V ⊂ Ω 内,由方程 (14) 惟一地确定了隐函数 f:U → Y ,它满足

1. y₀=f(x₀)

2. 当 x∈U 时 (x,f(x))∈W ,且有恒等式 (15) ,即 F(x,f(x)) ≡ 0

3. f在U内存在连续偏导数 f' ,且f'(x)=–[F'y(x,y)]⁻¹F'ₓ(x,y),(x,y)∈W (18)

三、拉格朗日乘数法

设D ⊂ ℝⁿ是开集, f:D → ℝ,φ:D → ℝᵐ,n=m+r,并改用行向量记‬

x=(x₁,· · ·,xₙ)=(x₁,· · ·,xᵣ,xᵣ₊₁,· · ·,xᵣ₊ₘ)=(y,z),y∈ℝʳ,z∈ℝᵐ

现在讨论在条件φ(x)=φ(y,z)=0 (25)

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

我有个遗憾 连载中
我有个遗憾
134***147_9146626724
我有一个故人,他被我弄丢了,我想找回来
0.1万字1年前
灿若江湖,不羁星辰 连载中
灿若江湖,不羁星辰
梦婉莫
早在千百万年前,神妖人进行了一次史无前例的大战。在这场战争中,三方都死伤惨重,后来他们决定和平相处,于是签订了《三界和平文书》人生活在地面之......
0.8万字1年前
絮言不尽 连载中
絮言不尽
林林林林cy
大家封面先将就看看,在约稿子了
3.6万字1年前
我的傲娇医生 连载中
我的傲娇医生
冰雪💙_380992787829758
迷茫无助的女主遇到了让自己敞开心扉的男主,正当女主以为遇到了真爱的时候却得到了他有喜欢的人的答案,最后女主只能选择放弃,最后兜兜转转俩人重归......
0.6万字1年前
镜爱 连载中
镜爱
月亮注定是要西沉的
被迫存留于我的憎恶,全数还给你
0.2万字1年前
苍穹以上我为尊 连载中
苍穹以上我为尊
小生川泽
[注:双男主文/温柔体贴挂王×傲娇美人少主]前世二十一世纪,出自隐世宗门的顶尖高手叶雲,惨遭仇人追杀。重生到一个陌生的世界,这个世界以强者为......
8.9万字1年前