分析力学基本原理介绍4.2:变分法的简单应用

通过前篇内容我们对变分原理有了一定了解,并利用变分法得到了能使形如

J = \int_{x_1}^{x_2}f(y,\dot{y},x)\;dx

的泛函取得驻值的条件:

\frac{\partial f}{\partial y} - \frac{d}{dx}\left(\frac{\partial f}{\partial \dot{y}}\right) = 0

接下来,我打算展示一些关于这个方程的简单应用。

需要注意的是,由于习惯,我们通常将函数y视为因变量,x为自变量,所以我为了保持一致,将上面积分中的x考虑成了单向的,但这个习惯与大部分问题中的变量xy充当的角色刚好相反(y通常才是单向的,并非x),导致有的问题可以使用原来的表示习惯得到正确答案,有的却不能。所以在下面的例子中,我会变换着使用二者。


1.平面内两点间的最短距离

对,这个方程可被用来证明平面内两点之间的最短距离——一个小学生都知道的结论——直线。

平面内连接了任意两点12的曲线长度可以用积分表示为:

I = \int_1^2ds

若曲线表达式采用y = y(x),则\dot{y} = \frac{dy}{dx}

在笛卡尔平面内,长度微分元ds = \sqrt{dx^2 + dy^2} = \sqrt{dx^2 + \left(\frac{dy}{dx}dx\right)^2} = \sqrt{1+ \dot{y}^2}dx

代入积分中:

I = \int_1^2\sqrt{1+ \dot{y}^2}dx

我们发现,该积分正好具有之前所讨论的泛函的形式。所以对应地,

f = \sqrt{1+ \dot{y}^2}

于是

\begin{align*}\frac{\partial f}{\partial y} &= 0, & \frac{\partial f}{\partial \dot{y}} = \frac{\dot{y}}{\sqrt{1+\dot{y}^2}}\end{align*}

代入之前得到的方程我们可以发现:

\frac{d}{dx}\left( \frac{\dot{y}}{\sqrt{1+\dot{y}^2}}\right) = 0 \implies \frac{\dot{y}}{\sqrt{1+\dot{y}^2}} = c

其中c是一个常数。

\dot{y}得:

\dot{y} = \frac{c}{\sqrt{1 - c^2}}

等式右边均是常数,不妨令其整体为a,则

\dot{y} = a \implies \boxed{y(x) = ax + b}

这正是直线方程的表达式。

其中常数ab可通过代入端点值(x_1,y_1)(x_2,y_2)求解。

顺带一提,利用上面的方法,我们不仅证明了该直线方程能使泛函取得极值,而且是极小值。


2.最小回转曲面:

我们把空间中连接了两定点的任意曲线环绕转轴(比如y轴)2\pi弧度形成的曲面叫做回转曲面(surface of revolution)或者旋转曲面。

同样地,使用开头给出的方程我们也可以得到空间中两点间一条使得回转曲面面积最小的曲线。

考虑转轴为y轴,曲线y = y(x)经过了点(x_1,y_1)(x_2,y_2)

使用极坐标,若曲线形成的回转曲面上任意一点距y轴的距离为x,转动微小角度d\theta后形成的环带面积为:dA = x\;d\theta\;ds,其中ds是之前的长度微分元(这个例子比较特殊,使用x = x(y)在最后也可以得到同样的结果,不信你自己试)。

则:

A = \iint x\;d\theta\;ds = \int_{\theta = 0}^{2\pi}d\theta\int_{x = x_1}^{x_2}x\sqrt{1+ \dot{y}^2}dx = 2\pi\int_{x = x_1}^{x_2}x\sqrt{1+ \dot{y}^2}dx

对比之前的泛函可得:

f = x\sqrt{1+ \dot{y}^2}

于是

\begin{align*}\frac{\partial f}{\partial y} &= 0, & \frac{\partial f}{\partial \dot{y}} = \frac{x\dot{y}}{\sqrt{1+\dot{y}^2}}\end{align*}

代入方程得到:

\frac{d}{dx}\left(\frac{x\dot{y}}{\sqrt{1+ \dot{y}^2}}\right) = 0 \implies \frac{x\dot{y}}{\sqrt{1+ \dot{y}^2}} = a ,其中a是一个常数。

简单的代数操作后可以得到微分方程:

\frac{dy}{dx} = \frac{a}{\sqrt{x^2 - a^2}}

或者,拆分变量后:

y = \int \frac{a}{\sqrt{x^2 - a^2}}\;dx +b,其中b是第二个常数。

这是一个分母含根号的基本积分,结果是可以用初等函数表示的。大部分同类型积分都可以考虑配完全平方或者使用三角、双曲换元的方法来计算。

将常数a从根号中提取出来,

y = \int \frac{1}{\sqrt{(x/a)^2 - 1}}\;dx +b

利用关系\cosh^2\xi = 1 + \sinh^2\xi,可使用双曲余弦函数换元:\cosh\xi = \frac{x}{a}dx = a\sinh\xi\;d\xi

得到:

y = a\cosh^{-1}\left(\frac{x}{a}\right) + b

或者写成

\boxed{x = a\cosh\frac{y-b}{a}}

这是悬链线(catenary)方程,常数ab可通过代入端点坐标解得。

顺带一提,任何满足之前方程的曲线都是按\frac{x}{a}\frac{y}{a}的倍数变化,独立变量\frac{a}{b}也暗示了经过同样的两定点可以存在一条甚至多条悬链线,在特殊情况下也许一条也会不存在。更为复杂的情形就需要再考虑函数f的连续性以及一二阶导函数的存在情况,毕竟这些是限制满足之间方程的解的条件。


3.最速落径

最速落径(The brachistochrone),又被称为捷线。

我把它放在最后就是想强调一下它的地位——就是那种“the last but not the least”的地位。嗯,它很有名,曾经被一位叫做“不努力”的数学家分析过,属于变分法的开创性问题,基本也属于那种每个学过高物或者高数的人章口就莱的陈词滥调。

至于为什么叫“不努力”,呸,至于为什么叫“The brachistochrone”,其实该词源于古希腊语“\beta\rho\acute{\alpha}\chi\iota\sigma\tau\omicron\varsigma\; \chi\rho\acute{\omicron}\nu\omicron\varsigma”,意思是“最短的时间”,为什么是“最短”的“时间”?不应该是“最速”的“落径”吗?希腊语的命名其实是很准确的——至少在我看来——因为它忠于题设:

寻找一条连接两个定点的曲线,使得一个只受重力影响的微粒,沿该曲线从较高点抵达较低点所用的时间最短

与前面两题做法相似,我们首先要找到那个对应的函数f

既然要使时间最短,我们的优化对象肯定就是一个表示时间的泛函了:

t_{1\rightarrow2} = \int_1^2dt

微粒的速度为:

v = \frac{ds}{dt}

微分元dt可以表示成:

dt = \frac{ds}{v}

所以

t_{1\rightarrow2} = \int_1^2\frac{ds}{v}

ds同样是之前的长度微分元,但这次我将使用x = x(y):

ds = \sqrt{1+ \dot{x}^2}\;dy

至于微粒的速度,一个如此简单的系统,用初中的知识足以解决。

使用牛顿定律或者能量守恒定律随便搞两下就可以得到:

v = \sqrt{2gy},其中g是重力加速度。

代入积分,

t_{1\rightarrow2} = \frac{1}{\sqrt{2g}}\int_1^2\sqrt{\frac{1+ \dot{x}^2}{y}}\;dy

对比本篇最上方的积分,

f = \sqrt{\frac{1+ \dot{x}^2}{y}}

于是

\begin{align*}\frac{\partial f}{\partial x} &= 0, & \frac{\partial y}{\partial \dot{x}} &= \frac{\dot{x}}{\sqrt{y(1+\dot{x}^2)}}\end{align*}

代入方程,

\frac{d}{dy}\left(\frac{\partial f}{\partial \dot{x}}\right) = 0 \implies \frac{\dot{x}}{\sqrt{y(1+\dot{x}^2)}} = b

\Leftrightarrow \dot{x} = \sqrt{\frac{b^2y}{1 - b^2y}}

我们需要计算积分:

x = b\int\sqrt{\frac{y}{1 - b^2y}}dy

对于这类积分,我们考虑使用三角函数的换元。

\sin^2\phi = b^2y,则dy = \frac{2}{b^2}\sin\phi\cos\phi\;d\phi

于是可以得到:

x = \frac{2}{b^2}\int\sin^2\phi\;d\phi = \frac{2}{b^2}\int\frac{1 - \cos 2\phi}{2}\;d\phi

x = \frac{1}{b^2}\left(\phi - \frac{1}{2}\sin 2\phi\right) + c

为了让结果更简洁,可选择将b替换为\sqrt{\frac{1}{2a}};将\phi替换为\frac{\xi}{2}

x = a(\xi - \sin\xi) + c,其中ac均为常数。

同时,

y = 2a\sin^2(\xi/2) = 2a\left(\frac{1 - \cos\xi}{2}\right) = a(1 - \cos\xi)

最后我们得到的是一组含\xi的参数方程:

\begin{cases}x(\xi) = a(\xi - \sin\xi)\\ y(\xi) = a(1 - \cos\xi)\end{cases}

曲线\mathbf{r}(\xi) = \mathbf{r}(x(\xi),y(\xi))是最速落径,是属于摆线(cycloid)的一种可以被形象地理解成是由一块粘在行进的自行车车胎上的泡泡糖形成的运动轨迹。

更多关于摆线的分析可自行查阅。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 216,142评论 6 498
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 92,298评论 3 392
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 162,068评论 0 351
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 58,081评论 1 291
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 67,099评论 6 388
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 51,071评论 1 295
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 39,990评论 3 417
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 38,832评论 0 273
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 45,274评论 1 310
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,488评论 2 331
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,649评论 1 347
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,378评论 5 343
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 40,979评论 3 325
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,625评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,796评论 1 268
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 47,643评论 2 368
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,545评论 2 352

推荐阅读更多精彩内容

  • 本章涉及知识点1、最速降线的问题提出2、开始推导最速绛线方程3、泛函的定义4、变分法的思想5、推导欧拉方程式的第一...
    PrivateEye_zzy阅读 50,473评论 12 67
  • 考试形式和试卷结构一、试卷满分及考试时间 试卷满分为150分,考试时间为180分钟 二、答题方式 答题方式为闭卷、...
    幻无名阅读 751评论 0 3
  • 考试科目:高等数学、线性代数、概率论与数理统计 考试形式和试卷结构 一、试卷满分及考试时间 试卷满分为150分,考...
    Saudade_lh阅读 1,077评论 0 0
  • 2017年考研数学一大纲原文 考试科目:高等数学、线性代数、概率论与数理统计 考试形式和试卷结构 一、试卷满分及考...
    SheBang_阅读 622评论 0 7
  • 天的北面有一朵来自南方的云。 我们相隔很近,又很远, 中间,阳光,空气,灰尘。 或许,也有一场晴天的雨。 新霁的天...
    流霜客阅读 396评论 0 0