多元函数taylor展开公式(多元函数微分公式)

设:m,n∈N,m,n≥1,m,n\in\mathbbN,m,n\ge1,Dj=∂∂xj{\mathrm{D}}_j=\frac{\partial}{\partialx_j}Djn=(∂∂xj)n=∂n∂xnj{{\mathrm{D}}_j}^n=(\frac{\partial}{\partialx_j})^n=\frac{\partial^

大家好,又见面了,我是你们的朋友全栈君。

设:
m,nN,m,n1,
Dj=xj
Djn=(xj)n=nxnj
DimDjn=(xi)m(xj)n=m+nxmixnj

高阶微分公式

若: y=f(x):RnR,k 阶可微, n,kN,n,k1,
则:

kN,k1,dky=j=1n(dxjDj)ky

证明:

k=1 时显然成立。
k 时成立,


(nj=1xj)k=1n1,,nknkj=1xnj
可得:

dk+1y=d(dky)=d{
[nj=1(dxjDj)]ky}
=

=d[1n1,,nknkj=1(dxnjDnj)y]

=1n1,,nkn(kj=1dxnj)d(kj=1Dnj)y

=1n1,,nkn(kj=1dxnj)[1nk+1ndxnk+1Dnk+1(kj=1Dnj)y]

=1n1,,nkn(kj=1dxnj)(1nk+1ndxnk+1Dnk+1kj=1Dnjy)

=1n1,,nk+1n(kj=1dxnj)(dxnk+1Dnk+1kj=1Dnjy)

=1n1,,nk+1n(k+1j=1dxnj)(k+1j=1Dnjy)

=1n1,,nk+1nk+1j=1(dxnjDnj)y

=[nj=1(dxjDj)]k+1y

Taylor公式

f(x1,,xn) 在点 x 的邻域 U 上有

k+1
阶连续偏导数, kN,k1, 则: x=x+ΔxU,θ(0,1),
Δy=ki=11i![nj=1(ΔxjDj)]if(x)+1(k+1)![nj=1(ΔxjDj)]k+1f(x+θΔx)

证明:

φ(t)=f(x+tΔx),t[0,1],
则由数学归纳法(证明在后面)可得:
iN,i1, f(x) 在点 (x+tΔx) i 阶连续偏导数,则:


φ(i)(t)=[nj=1(ΔxjDj)]if(x+tΔx),(*)

于是 φ(t) [0,1] k 阶连续偏导数, 在

(0,1)
k+1 阶导数,
由 Taylor 公式, θ(0,1),
Δy=f(x+Δx)f(x)
=φ(1)φ(0)=ki=11i!φ(i)(0)+1(k+1)!φ(k+1)(θ)
ki=11i![nj=1(ΔxjDj)]if(x)+1(k+1)![nj=1(ΔxjDj)]k+1f(x+θΔx)

(*) 的证明:

多元复合函数的求导法则 i=1 时显然成立。
i=k 时成立,则 i=k+1 时:
(nj=1xj)k=1n1,,nknkj=1xnj 可得:

φ(k+1)(t)=ddt(φ(k)(t))

=ddt[nj=1(ΔxjDj)]kf(x+tΔx)

=ddt[1n1,,nknkj=1(ΔxnjDnj)f(x+tΔx)]

=1n1,,nknddt[kj=1(ΔxnjDnj)f(x+tΔx)]

=1n1,,nknddt[(kj=1Δxnj)(kj=1Dnj)f(x+tΔx)]

=1n1,,nkn(kj=1Δxnj)ddt[kj=1Dnjf(x+tΔx)]

=1n1,,nkn(kj=1Δxnj)1nk+1n(Δxnk+1Dnk+1)[kj=1Dnjf(x+tΔx)]

=1n1,,nk+1n(kj=1Δxnj)Δxnk+1Dnk+1kj=1Dnjf(x+tΔx)

=1n1,,nk+1n(k+1j=1Δxnj)(k+1j=1Dnj)f(x+tΔx)

=1n1,,nk+1nk+1j=1(ΔxnjDnj)f(x+tΔx)

=[nj=1(ΔxjDj)]k+1f(x+tΔx)

推论

df(x)0f(x) 是常量。

证明:

1) : df(x)0xjf(x)=0,jN,1jn,
由Taylor公式,
Δy=[nj=1(ΔxjDj)]f(x+θΔx)
=nj=1Δxjxjf(x+θΔx)
=0
f(x) 是常量。
2) : f(x) 是常量 df(x)0

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 举报,一经查实,本站将立刻删除。

发布者:全栈程序员-用户IM,转载请注明出处:https://javaforall.cn/129647.html原文链接:https://javaforall.cn

【正版授权,激活自己账号】: Jetbrains全家桶Ide使用,1年售后保障,每天仅需1毛

【官方授权 正版激活】: 官方授权 正版激活 支持Jetbrains家族下所有IDE 使用个人JB账号...

(0)


相关推荐

  • python爬虫–异步

    python爬虫–异步

  • 电容论坛(电感电容电压公式)

    玉山YGR智能电容以客为尊智能电容器模块是新一代无功补偿模块化装置,结合绿色智能电网的精神应用于绿色电网。产品以微电子技术为基础,集成了自动测控、无功优化、过零切换、多重保护、网络通信、大屏幕显示等技术,实现了低压无功补偿的全部功能,并改变不同的组合构造不同的补偿方案。它是一种智能化、模块化、标准化、集约化的无功补偿装置。 投切电容器组大约20-30毫秒内就完成一个全部动作,这种…

  • Charles抓包使用记录

    Charles抓包使用记录Charles抓包使用记录Charlse在Windows系统和Mac使用的不同点Charlse在Windows系统和Mac使用的不同点Windows和Mac上的使用方式基本上没有太大差异,但是对于https安全证书的安装还是有一些不同的,在Windows上安装之后需要在控制面板中找到证书管理页面,界面如下将证书到处到本地,然后再导入到“受信任的根证书颁发机构”。…

  • linux安装redis 完整步骤

    linux安装redis 完整步骤最近在linux服务器上需要安装redis,来存放数据,增加用户访问数据的速度,由于是第一次安装,于是在百度上搜了一篇文章,按照这篇博客,顺利安装好了,因此将博主的文章拷过来记录一下,方便以后使用,也为需要的朋友提供一个方便,参考博文地址:https://www.cnblogs.com/lauhp/p/8487029.html安装:1.获取redis资源  wgethttp://download…

  • httprunner(4)录制生成测试用例[通俗易懂]

    httprunner(4)录制生成测试用例[通俗易懂]前言写用例之前,我们应该熟悉API的详细信息。建议使用抓包工具Charles或AnyProxy进行抓包。har2case我们先来了解一下另一个项目har2case他的工作原理就是将当前主流的抓

  • 项目范围管理:范围定义[通俗易懂]

    项目范围管理:范围定义[通俗易懂]定义范围是制定项目和产品详细描述的过程。 定义范围的主要作用是:明确所收集的需求哪些将包括在项目范围内,哪些将排除在项目范围外,从而明确项目、服务或输出的边界。 范围定义的内容和作用:由于在收集需求过程中识别出的所有需求未必都包含在项目中,所以定义范围过程就是从需求文件中选取最终的项目需求,然后制定出关于项目及其产品、服务或输出的详细描述。 准备好详细的项目范围说明书,对项目成功至关重要。应根据项目启动过程中记载的主要可交付成果、假设条件和制约因素来编制项目范围说明书。在项目规划过程中,随着对项目

发表回复

您的电子邮箱地址不会被公开。

关注全栈程序员社区公众号