- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
PAGE
PAGE10
§1变分法简介
作为数学的一个分支,变分法的诞生,是现实世界许多现象不断探索的结果,人们可以追寻到这样一个轨迹:
约翰·伯努利(JohannBernoulli,1667-1748)1696年向全欧洲数学家挑战,提出一个难题:“设在垂直平面内有任意两点,一个质点受地心引力的作用,自较高点下滑至较低点,不计摩擦,问沿着什么曲线下滑,时间最短?”
这就是著名的“最速降线”问题(TheBrachistochroneProblem)。它的难处在于和普通的极大极小值求法不同,它是要求出一个未知函数(曲线),来满足所给的条件。这问题的新颖和别出心裁引起了很大兴趣,罗比塔(GuillaumeFrancoisAntoniedelHospital1661-1704)、雅可比·伯努利(JacobBernoulli1654-1705)、莱布尼茨(GottfriedWilhelmLeibniz,1646-1716)和牛顿(IsaacNewton1642—1727)都得到了解答。约翰的解法比较漂亮,而雅可布的解法虽然麻烦与费劲,却更为一般化。后来欧拉(EulerLonhard,1707~1783)和拉格朗日(Lagrange,JosephLouis,1736-1813)发明了这一类问题的普遍解法,从而确立了数学的一个新分支——变分学。
有趣的是,在1690年约翰·伯努利的哥哥雅可比·伯努利曾提出著名的悬链线问题(TheHangingChainProblem)向数学界征求答案,即,固定项链的两端,在重力场中让它自然垂下,问项链的曲线方程是什么。在大自然中,除了悬垂的项链外,我們还可以观察到吊桥上方的悬垂钢索,挂着水珠的蜘蛛网,以及两根电线杆之间所架设的电线,这些都是悬链线(catenary)。
伽利略(Galileo,1564~1643)比贝努利更早注意到悬链线,他猜测悬链线是抛物线,从外表看的确象,但实际上不是。惠更斯(Huygens,1629~1695)在1646年(当时17岁),经由物理的论证,得知伽利略的猜测不对,但那时,他也求不出答案。到1691年,也就是雅可比·伯努利提出悬链线问题的第二年,莱布尼兹、惠更斯(以62岁)与约翰·伯努利各自得到了正确答案,所用方法是诞生不久的微积分,具体说是把问题转化为求解一个二阶常微分方程
?d2y
?
?dx2
?
?a
1?(dy
1?(dy)2
dx
?0? y?(0)?0
?
0
?
1解此方程并适当选取参数,得
1
即为悬链线。
y? (eax2a
?e?ax) (1)
悬链线问题本身和变分法并没有关系,然而这和最速降线问题一样都是贝努利兄弟间的相互争强好胜、不断争吵的导火索,虽然雅可比·贝努利在解决悬链线问题时略占下风,但他随后所证明的“悬挂于两个固定点之间的同一条项链,在所有可能的形状中,以悬链线的重心最低,具有最小势能”,算是扳回了一局,俩兄弟扯平了!之所以提到悬链线问题,有两方面考虑,其一,这是有关数学史上著名的贝努利家族内的一个趣闻,而这是一个在变分法乃至整个数学物理领域有着巨大贡献的家族,其二,有关悬链线的得几个结论,可以用变
分法来证明!
现实中很多现象可以表达为泛函极小问题,我们称之为变分问题。求解方法通常有两种:古典变分法和最优控制论。我们这儿要介绍的基本属于古典变分法的范畴。
变分法的基本概念
泛函的概念
设S为一函数集合,若对于每一个函数x(t)?S有一个实数J与之对应,则称J是定义
在S上的泛函,记作J(x(t))。S称为J的容许函数集。
例如,在[x,x]上光滑曲线y(x)的长度可定义为
0 1
1J??x
1
1?y?2dx
(2)
考虑几个具体曲线,取x
0
2若y(x)?x,则
2
?0,x
1
x
0
?1,
若y(x)为悬链线,则
J(y(x))?J(x)??1
0
1?1dx?
J(ex?e?x)??1
1?(ex?e?x)2dx??1ex
e?x
dx?
e?e?1
2 0 4 0 2 2
对应C1[x,x]中不同的函数y(x),有不同曲线长度值J,即J依赖于y(x),是定义在
0 1
函数集合C1[x
0
,x]上的一个泛函,此时我们可以写成
1
J?J(y(x))
我们称如下形式的泛函为最简泛函
J(x(t))??tf
t0
F(t,x(t),x?(t))dt
(3)
被积
原创力文档


文档评论(0)