一阶微分公式的存在性
若:
n∈N,n≥1,
x=(x1,⋯xn)⊺
f(x),g(x) 可微,
则: kf,f+g,f⋅g,fg(g(x)≠0) 都可微。
证明:
定义内积: ∀x=(x1,⋯xn)⊺,∀y=(y1,⋯yn)⊺,
⟨x,y⟩=∑ni=1xiyi
令 a=(∂f(x)∂x1,⋯,∂f(x)∂xn),b=(∂g(x)∂x1,⋯,∂g(x)∂xn),
Δx=(Δx1,⋯,Δxn)⊺,
r=⟨Δx,Δx⟩−−−−−−−−√,
则:
f(x+Δx)−f(x)=⟨a,Δx⟩+rα,limΔx→0α=0,
g(x+Δx)−g(x)=⟨b,Δx⟩+rβ,limΔx→0β=0,
于是:
- kf(x+Δx)−kf(x)=k[f(x+Δx)−f(x)]
=k(⟨a,Δx⟩+rα)
=⟨ka,Δx⟩+r⋅kα
=⟨ka,Δx⟩+r⋅o(1) - [f(x+Δx)+g(x+Δx)]−[f(x)+g(x)]
=(f(x+Δx)−f(x))+(