58
$\开始组$

.哪些高阶衍生品发挥了重要作用在应用中,还是在定理中?

当然,距离w.r.t.时间(速度)的一阶导数,二阶导数(加速度),而第三阶导数(颠簸或急速)在应用中当然扮演了几个角色。以及曲线的扭转在里面$\mathbb{R}^3$可以表达使用三阶导数。

除此之外,我经验不足。我知道双调和方程 $\nabla^4\phi=0$.有一篇关于五次型的可解性,但这项工作似乎既不是针对应用,也不是对进一步的理论发展。(我很高兴能在这里纠正我的无知。)

.依赖第四代衍生产品的应用程序示例有哪些(快速/跳动)或更高?是否存在需要存在的实质性定理$\部分^4$或更高版本假设,但不需要(或已知不需要)所有订单的平滑导数?

$\端组$
11
  • 4
    $\开始组$ 我记得我大学时代的一位教授,他正在为某些生物系统建模。他提到了一个使用七阶微分方程的模型。我现在想不起任何细节了。Gerhard“血液循环系统的一些事情?”Paseman,2019.06.28。 $\端组$ 2019年6月29日0:18
  • 2
    $\开始组$ @格哈德·帕斯曼:7号命令!令人印象深刻。 $\端组$ 2019年6月29日0:20
  • 23
    $\开始组$ @GerhardPaseman的观点是,生物学中的一个七阶方程很可能是从一个七坐标向量的一阶方程得到的,所以我对此持怀疑态度。。 $\端组$ 2019年6月29日11:23
  • 4
    $\开始组$ 多年前,在math.stackexchange.com/questions/71626/…关于这个问题,我请你再回答一些。 $\端组$ 2019年6月29日12:41
  • 1
    $\开始组$ @约瑟夫·奥鲁克(Joseph O'Rourke),但这样做只是为了方便。据我所知,你很少需要超过$C^3$的假设(如果你愿意更加小心,通常可以减少到$C^2$)来做微分几何。 $\端组$ 2019年6月29日14:31

22答案22

重置为默认值
108
$\开始组$

给定两组美元$十亿美元$在里面$\mathbb{R}^n$,的闵可夫斯基和书面的A+B美元$是布景吗$\{a+b:a\在a中,b\在b\中}$.

如果美元$十亿美元$是的凸子集$\mathbb{R}^2$具有实际分析边界,然后是A+B美元$只保证“$6\压裂{2}{3}$时间可微分,“我的意思是$6$可微分的时间$6$具有指数的Hölder连续导数$\压裂{2}{3}$.这是众所周知的尖锐。

$\端组$
8
  • 31
    $\开始组$ 对我来说,这是迄今为止最令人印象深刻的高阶导数。 $\端组$
    ——德克
    2019年6月30日19:13
  • $\开始组$ 替代链接是mscand.dk/article/view/12183知道在更高维度中会发生什么吗?$6\frac{2}{3}$是美好序列的第二个元素,还是丑陋序列的第三个元素? $\端组$ 2019年7月1日13:45
  • 4
    $\开始组$ 从一开始的讨论来看(arxiv.org/abs/1607.02753)最近的论文似乎更多地是关于光滑案例的,而不是实际的分析案例。顺利的案例没有那么令人兴奋。在2D中,对于任何$\varepsilon>0$,两个光滑凸集的Minkowski和都可能不为$C^{4+\varepsilon}$,而在3D或更高版本中,它可能不为$C^2$。正如原始论文中所讨论的,2D中的问题是存在无限平点。在没有无限平点的情况下,您将再次获得$6\frac{2}{3}$。 $\端组$ 2019年7月1日15:04
  • 2
    $\开始组$ 我也对更高维的情况感到好奇$20/3$看起来像一个奇怪的数字,但在$\mathbb{R}^n中的最佳常数中可能有一些结构$ $\端组$ 2019年7月2日7:40
  • 4
    $\开始组$ 当我点击这张纸,看到它的摘要是用世界语写的时候,我的头脑更加震惊了! $\端组$ 2021年6月22日2:42
63
$\开始组$

莫瑟定理(1962)众所周知,需要对第一个333种衍生品.

$\端组$
  • 8
    $\开始组$ 顺便说一句,这个数字后来被Russmann减少到$\ell\ge 5-people.math.ethz.ch/~salamon/PREPRINTS/kam.pdf $\端组$
    ——用户44143
    2019年6月29日2:41
  • 5
    $\开始组$ 令人印象深刻。。。有人知道为什么这么多导数对论点的进行是必要的吗? $\端组$
    ——沃乔乌
    2019年6月29日7:44
  • 13
    $\开始组$ 这是所谓的Nash-Moser迭代方案的应用,该方案是牛顿迭代方法的推广,Moser基于Nash关于等距嵌入的工作制定了该方案。在用于证明定理的迭代方案中,丢失了许多导数。 $\端组$ 2019年6月29日14:25
42
$\开始组$

有一个著名的故事,理查德·尼克松曾利用三次导数来支持他的连任,声称通货膨胀的增长率正在下降。

http://www.ams.org/notices/199610/page2.pdf

$\端组$
7
  • 4
    $\开始组$ 我以前听过这个故事,但对于普通人来说,这句话不一定是指三阶导数(比如人们如何用“速率”来表示速度,而不是加速度,强调速度是一个速率,而不是打算对其求导)。有人真正研究过尼克松发表这一声明时美国经济的通货膨胀情况吗事实上试图让人们误以为通货膨胀在下降,而通货膨胀却在上升? $\端组$ 2019年6月29日10:39
  • 13
    $\开始组$ 与奥巴马类似,“历史的弧线很长,但它向正义弯曲”:$J’<0$但$J’>0$。它不像看上去那么乐观。 $\端组$
    ——用户44143
    2019年6月29日15:22
  • 8
    $\开始组$ 问题是“有哪些应用程序依赖于第四派生(snap/jounce)或更高版本?”遗憾的是,我们允许“幽默”取代高质量的答案。希望这个网站不会像Reddit那样。 $\端组$ 2019年6月29日17:51
  • 1
    $\开始组$ @罗伯特·福伯,这个故事听起来是假的。罗西没有提供任何文档,我也没有通过谷歌搜索找到任何确认。 $\端组$
    ——用户44143
    2019年6月30日9:38
  • 2
    $\开始组$ @床垫F:现在已经有点晚了,但奥巴马引用了马丁·路德·金(Martin Luther King Jr)的话(或者稍微改写一下,因为金说的是“道德宇宙”而不是“历史”)。金引用了西奥多·帕克的话。npr.org/templates/story/story.php?故事ID=129609461 $\端组$ 2021年6月22日14:55
39
$\开始组$

这个辛普森规则中的错误因为积分通常用被积函数的四阶导数表示。

$\端组$
2
  • 13
    $\开始组$ 更好的是:任意高阶导数都使用泰勒级数近似,需要控制下一个高阶导数的大小来控制误差。 $\端组$ 2019年6月29日0:30
  • 2
    $\开始组$ @史蒂文·古布金:例如,考虑到我并没有看到人们在做51度泰勒系列,这并不是真的更好。整个目的是为了得到一个现实的例子。但在这种情况下,我会引用RKF45,它使用5阶误差估计器。 $\端组$ 2019年7月1日9:17
39
$\开始组$

"经典的(欧拉-贝努利)梁理论“光束的运动由4阶PDE建模$$EI\frac{\partial ^4 w}{\partial x ^4}=-\mu\frac{\部分^2w}{\部分t^2}+q。$$

$\端组$
1
  • 4
    $\开始组$ 欧拉弹性力学的二维模拟是Willmore方程$\Delta_gH+2H(H^2−K)=0$,其中$g$是(潜在浸入的)度量,$H$是平均曲率(对于平面度量,$1/2$是拉普拉斯曲率),$K$是高斯曲率,基本上是双拉普拉斯的几何版本。这个等式也是$4$th阶。 $\端组$ 2019年7月1日17:43
30
$\开始组$

非线性孤子波方程通常具有很高的($3^+$)导数的顺序。

最著名的可能是KdV方程:$\partial_t\phi+\spartial_{xxx}\phi-6\phi\partial _x\phi=0$.

还有Boussinesq方程$\partial_{tt}\phi-\partial _{xx}\phi-\alpha\partial-{tt}(\phi^2)-\parcial_{xxxx}\phi=0$.

$\端组$
1
  • 4
    $\开始组$ 除此之外,还可以使用Lax对(这类方程通常具有)轻松形成高阶PDE的层次结构,而不限制其顺序。 $\端组$ 2019年6月29日13:34
25
$\开始组$

在最优运输中,有一个称为MTW张量的量[1],它取决于成本函数的四阶导数。输运的正则性理论在很大程度上取决于这个张量的符号。除非MTW张量非负定,否则最优映射可能无法连续,即使度量是光滑的并且满足必要的凸性条件[2]。因此,正则性理论在很大程度上取决于成本函数$C^4美元$,尽管当成本函数为$C^3美元$[3].

关于更完整的故事,有一篇关于德菲利普斯和菲加利的调查论文,对理论进行了很好的概述[4]。

[1]马锡南;Neil S.Trudinger。;王、徐佳,最优运输问题势函数的正则性,建筑。定额。机械。分析。177,第2期,151-183(2005)。ZBL1072.49035号.

[2]格里戈伊尔·洛佩尔,最优运输问题解的正则性《数学学报》。202,第2期,241-283(2009)。ZBL1219.49038号.

[3]内斯特·吉伦;六月北川,关于c-凸势映射的局部几何,计算变量部分差异。埃克。52,No.1-2,345-387(2015)。ZBL1309.35038号..

[4]De Philippis,Guido;阿莱西奥·菲加利,Monge-Ampère方程及其与最优运输的联系,ZBL06377770号.

$\端组$
  • 7
    $\开始组$ 张量被命名为MTW,它不代表米斯纳、索恩和惠勒。我有点惊讶。 $\端组$
    ——康拉德
    2019年6月29日5:29
  • $\开始组$ 是的,这绝对是巧合。张量也被称为“成本截面曲率”,这可能更容易记住/谷歌。 $\端组$
    ——盖布·K
    2019年6月29日13:13
  • 5
    $\开始组$ @KConrad$-$在工作周日历上,MTW是WTF的双重功能。 $\端组$ 2019年6月29日14:01
18
$\开始组$

Kuramoto-Sivashinsky方程$$\partial_tu+\Delta^2u+\Delta u+\frac12|\nabla u|^2=0$$哪里美元\ Delta$是拉普拉斯算子(二阶),用于模拟层流火焰中的扩散不稳定性。有大量关于它的文献。

$\端组$
15
$\开始组$

在卡勒几何和许多其他地方,(黎曼)度量通常(有时)通过包含两个导数的势函数来规定。因此,基本不变量,如黎曼曲率张量,涉及该函数的四阶导数。

对于任意高阶导数,这些自然产生的一个地方是李群的研究G美元$以及它们的同构空间美元G/H$例如,人们可能会问是否有一个“微分算子”作用于局部定义的微分同态美元G/H$其内核恰好由从左边产生的内核组成G美元$-行动。如上文RBega2所述$G=PSL(2,\mathbb{C})$$G/H=\mathbb{CP}^{1}$一种是引入Schwarzian导数,一种非线性三阶微分算子。20世纪60年代,斯宾塞对这个问题进行了总体研究,形成了所谓的斯宾塞情结。

尽管如此,这两起案件可能都比OP想要的要高雅得多。

$\端组$
1
  • $\开始组$ 这是一个很好的答案,我认为值得注意的是你的第一个例子与最佳交通的联系。特别地,MTW张量可以理解为某个伪黎曼度量的曲率张量,或(在某些情况下)特定Kahler度量的正交平分曲率。 $\端组$
    ——盖布·K
    2019年7月2日12:55
14
$\开始组$

在仿射几何和射影几何的研究中,自然会出现三阶导数(及更高阶导数)。也许最引人注目的是施瓦西(Schwarzian).

Bochner公式还包含三个导数,是几何分析的基本工具。本着同样的精神,有许多重要的计算,有时需要四个导数(例如,最小曲面的西蒙斯恒等式)。

$\端组$
14
$\开始组$

作为一名机器人专家,在为给定的机器人生成运动时,我总是密切关注位置相对于时间的三阶导数。位置的三阶导数通常被称为“急速”,它量化了运动的平滑度。请参见http://courses.shadmehrlab.org/Shortcourse/minimumjerk.pdf这篇文章对jerk进行了很好的描述。

一般来说,人们会尽量减少抖动,以使机器人运动平稳。如果位置作为时间的函数由x美元(吨)$那么这个混蛋就是

$\dddot{x}(t)=\frac{d^3x(t)}{dt^3}$

$\端组$
0
11
$\开始组$

OP说

曲线的扭转$\mathbb R^3$可以使用三阶导数来表示。

一般来说,

中的曲线$\mathbb R^3$由最新的导数描述到等距$3$.

但这不是真的吗

中的曲线$\mathbb R^4$由最新的导数描述到等距$4$.

中的曲线$\mathbb R^5$由最新的导数描述到等距$5$.

等等?

$\端组$
11
$\开始组$

与马丁·费弗(Martin Fevre)的回答类似:

当为快速车辆选择道路时,您需要将道路曲率的变化率降至最低,这样驾驶员就不必在急刹车时移动方向盘。例如,从环形环形交叉口到与环形交叉口相切的线性道路的完美过渡需要瞬时调整方向盘;这可以通过用曲率平滑变化的斜面连接圆和线来避免。

由于曲率本质上是二阶导数,因此曲率的变化率是三阶导数,要使曲率的变化速率最小化,就需要四阶导数。

$\端组$
1
  • 8
    $\开始组$ 我一直对人们用自己喜欢的优化方法穿越草地时所形成的路径着迷。大约10年前,我在谷歌上搜索了这个想法,发现了一些机器人研究人员的一篇论文,其中描述了让人们四处走动并绘制轨迹的实验。我记得,它们的路径非常接近于最小化曲率总变化的路径(正如你所说的)。 $\端组$ 2019年7月1日22:09
8
$\开始组$

哪些应用程序依赖于第四代衍生产品。。。还是更高?

这个狄拉克方程是四个复函数的四个偏微分方程组。然而,在一般情况下,它仅相当于一个函数的四阶方程(参见参考文献到我的文章)。

$\端组$
7
$\开始组$

在几何测度理论(GMT)中,许多定理需要四个以上的导数。这部分是由于使用了纳什嵌入定理(这需要$C^3美元$). 我们将举两个例子。

阿尔姆格伦大正则性定理(1983, 2000)要求歧管$C^5美元$但德莱利斯和斯巴达罗(2014)设法将所需的规律性降低到$C^{3,\alpha}$对一些人来说$\alpha>0$(他们还大大简化和缩短了证明)。

阿尔姆格伦·皮特理论(1976年至今),Pitts的原始结果(1981)关于维数闭黎曼流形中一个闭极小超曲面的存在性3美元\leq n \leq 6$要求歧管加元$具有$k\geq\mathrm{max}\{4,n-1$(最小超曲面也将是类加元$).

$\端组$
2
  • $\开始组$ 快速问题:对于这些定理,是否有关于这些定理所需的最小正则性的猜测? $\端组$ 2019年7月2日14:43
  • $\开始组$ @迪恩·杨(Deane Yang)。谢谢,这是一个有趣的问题。首先,当西蒙的身份被使用时,在皮特斯的书中肯定要求流形是$C^3$。同样,Schoen-Simon(1981)的更强曲率估计(mathscinet.ams.org/mathscinet/search/…))需要$C^3$正则性(使用Nash嵌入定理)。因此,这可能是我们能做的最好的事情。此外,通过更仔细地阅读皮特书中的一些陈述,诸如“分解定理”之类的定理至少在$C^5$的流形中得到了表述。 $\端组$ 2019年7月3日13:42
6
$\开始组$

机器人应用程序(类似于Martin Fevre给出的应用程序)涉及最小化捕捉四驱车的轨迹,其中$\mathrm{snap}(t):=\frac{\mathrm{d}^4x}{\mathr{d} t吨^4}$; 这是一个参考.

$\端组$
5
$\开始组$

这可能是一个延伸,但分布理论与大量应用数学密切相关,并且严重依赖于具有以下导数的函数任意高阶.

$\端组$
2
  • 4
    $\开始组$ 例如,在微局部分析中,通常需要充分的函数正则性,以便它们的傅里叶变换衰减得足够快,而这又是某些积分收敛所必需的。虽然分布理论总是在光滑范畴中提出的,但我认为这是不必要的。据我所知,在任何分布理论的应用中,都不需要任意高阶导数。你知道他们在哪里吗? $\端组$ 2019年6月29日14:12
  • 2
    $\开始组$ @杨迪安:也许鲁尔共振?给定双曲映射$T$,复合算子$f\mapsto-f\circ T$的特征值不是函数,而是分布;一般来说,存在任意高阶的本征分布(因此必须对任意光滑函数进行积分)。 $\端组$
    ——D.托明
    2019年6月30日19:53
5
$\开始组$

我认为三阶和四阶导数在纯数学和应用数学中都很常见。例如,我曾用一些方程模拟含有三阶导数的移动液膜的局部膜厚:

$\delta q_{t}=\压裂{5}{6} 小时-\frac{5}{2}\frac{q}{h^{2}}+\delta\Bigg(\frac{9}{7}\frac{q^{2}}}{h^{2}}h{x}-\frac{17}{7}\frac{q}{h} q个_{x} \比格)+\压裂{5}{6} 小时_{xxx}+\eta\Bigg[4\frac{q}{h^{2}}(h{x})^{2{-\ frac{9}{2h}个_{x} 小时_{x} -6\压裂{q}{h} 小时_{xx}+\压裂{9}{2} 问_{xx}\Bigg]$

$\端组$
4
$\开始组$

我曾经是化学博士答辩的校长(这是我们教员的标准;校长不应该和学生属于同一个系)。他的论文大多涉及对某物的七阶导数行为的模拟。据称,这是对混沌化学反应(当然存在周期性反应)的测试。然而,这个学生的数学能力很弱,所以我不知道他的结果有多有效。

$\端组$
$\开始组$

我同意德克的回答,也存在任意高阶导数的应用。另一个例子是无限级Kosterlitz–Thouless相变

$\端组$
1
  • 4
    $\开始组$ 你能简略地说明一下为什么需要无穷多的导数吗? $\端组$ 2019年6月29日14:28
2
$\开始组$

a的解析正则性$C^\英寸$可以使用无限的衍生品数量。一个函数$f\在C^\infty(\Omega)中$哪里$\欧米茄$是的开放子集$\mathbb卢比$是真正的分析$\欧米茄$所有人的iff千美元$紧子集$\欧米茄$,存在正常数$C_K,\rho_K$,因此$$\开始{数组}{ccc}\对于所有\alpha=(\alpha_1,\dots,\alpha_n)\in\mathbb n^n\,,& ~~ &\sup\limits_{x\在K}\left|(\partial_x^\alpha f)(x)\right|\le C_K\rho_K^{-\vert\alpha\vert}\alpha-!\,,\\[10倍]\vert\alpha\vert=\sum\alpha_j\,,& &\阿尔法=\戳\alpha_j!\,。\结束{数组}$$

$\端组$
1
  • 6
    $\开始组$ 更一般地说,实分析范畴中的任何定理都必然涉及所有阶的导数。 $\端组$ 2019年6月29日18:54
1
$\开始组$

也许可以说,在理论上(还有我听说的实践中)有许多地方使用了分析延拓。例如,黎曼-泽塔函数被发现是欧拉乘积公式的解析延拓。

当然,如果没有全部的函数的导数。

$\端组$
1
  • 4
    $\开始组$ 我认为OP所追求的是这样的情况,比如说,你需要四阶导数,但你不需要五阶或六阶导数或其他任何高阶导数。 $\端组$ 2019年7月2日22:50

你的答案

单击“发布您的答案”,表示您同意我们的服务条款并确认您已阅读我们的隐私政策.

不是你想要的答案吗?浏览标记的其他问题问你自己的问题.