1. 引言
本文从罗尔定理出发,目的是叙述现代变分理论中的重要结果——山路定理,由于知识的局限性,我们无法理解在非线性泛函分析中的“完整版山路定理”(无穷维),故我们只是在本文中给出有限维版本山路定理在微积分中的对应,试图给出我们的理解。但这不妨碍我们对山路定理的研究现状作具体表述。
山路定理是现代临界点理论研究中的一个重要组成部分,自从1973年由Ambrosetti和Rabinowitz [1] [2]提出以来,它在数学的多个分支以及物理学中的应用都显示出了极其重要的意义。具体而言,存在性证明:山路定理提供了一种强有力的工具来证明非线性问题中解的存在性。特别是在处理那些无法通过传统方法解决的问题时,山路定理显示出了其独特的优势;多样性和多重解:除了证明解的存在性,山路定理还可以用来研究解的多样性和多重性。这对于理解物理系统的复杂性和预测其行为至关重要;数学物理的桥梁:山路定理在数学和物理学之间架起了一座桥梁。它不仅帮助数学家理解复杂的数学结构,也为物理学家提供了解决物理问题的新方法;理论研究和实际应用:山路定理的理论价值和实际应用前景都非常广阔。它在理论研究中推动了数学的发展,在实际应用中为解决工程技术问题提供了新的视角和方法;广泛的应用:山路定理被广泛应用于解决非线性椭圆型方程的边值问题。它不仅在纯数学领域中有着重要地位,如微分几何、辛几何、极小曲面等领域,也在物理学中,特别是在量子力学和场论中发挥着重要作用[3]。
理论的深入:学者们对山路定理的理解不断深入,通过引入不同的条件和技术,如Ekeland变分原理[4]和下降流线方法[5],进一步推广和发展了山路定理。研究者们还提出了山路定理的改进版本和变体,这些变体在没有特定条件(如(AR)条件)的情况下也能证明定理的有效性,从而扩大了山路定理的应用范围。
综上所述,山路定理在现代数学和物理学的研究中扮演着越来越重要的角色,它的研究不仅推动了理论的发展,也为解决实际问题提供了强有力的工具。随着研究的不断深入,预测山路定理将会在更多的领域中展现其重要性。
本文旨在研究有限维山路定理的初等证明以及有限维山路定理与微积分之间的关系,再在此基础上给出山路定理的应用实例。本论文旨在为初学者学习临界点理论提供一个易于理解的特殊情况,对之后研究生阶段深入研究现代变分学有着现实意义。
2. 罗尔中值定理[6] [7]
2.1. 罗尔中值定理和一个有趣的证明
定理2.1 :若函数f满足以下条件:
1) f在闭区间
连续;
2) f在开区间
可导;
3)
;
则在
内至少存在一点c,使得
。
下面是一个有趣的证明来自谢惠民,这表明罗尔中值定理和费马引理之间没有必然联系。
证明:首先引入引理1。
引理1:设
在
连续,且
,则存在
,满足
且
。
证明:
不妨构造函数:
,
则
并且
.
由于
,所以
。
1) 若
,则取
,
满足
且
;
2) 若
,因为
在
连续,由介值定理可知存在
满足
,取
,
,满足
且
。
重复利用引理1,可知存在闭区间套
满足
且
,
,由区间套定理可得
,满足
。
由于
,那么
,又因为
在
点处可导,则
,则
。
2.2. 罗尔中值定理的延伸
定理2.2:假设
,
与
是三个不同的实数且有
,如果有:
,
则在开区间
中存在一点
为f的临界点,且在这一点上有:
,
其中,
为:
.
证明:这是实数轴上的山路定理,可以看出这同样是罗尔定理结论的延伸。
事实上,当我们假设有
时,这一定理即变为罗尔中值定理,因而不需要证明这一情况定理是否成立。
我们不妨设
,则由于介值定理,必然存在
使
。事实上,我们可能会找到不止一个的
,我们假设这些
中存在一个与
最靠近的
。从而
,又因为有
,我们可以得到:
,
而我们知道
,所以我们有:
.
另一方面,对于
中的任意路径
,我们有:
,
对上式两端同时取
,我们得到:
.
自此证明完毕。
对于这一延伸定理的研究有助于理解山路定理。现在,我们可以将最后的结果推广到更高的维度,即推广到
的欧氏空间
上定义的实函数中。于是,我们正式进入了有限维山路定理。
3. 有限维山路定理
定理3.1 [8]:假设
是一个由
映射到
具有一阶连续偏导数的多元函数,它是强制的(
),并且有两个不同的严格相对极小值点x1、x2,则我们可以得到一个不同于x1与x2的第三个临界点x3使之有:
,
其中,
。
证明:我们可以把
中的每个
认为是包含x1与x2的一条“路径”,用
表示该路径
上取得关于
的最大值点
对应的函数值
。
因x1与x2为严格极小值点,所以我们可以得到:
,
同时,记
,
d被认为是所有路径最大值
中的最小值。同时,因所有路径
都为紧的连通集,根据下确界的定义,我们可以构造一个路径的序列
,使得当
时,有
。明显的是,
。事实上,这个不等式是严格的,因为下确界d在
中的可达。
Step 1. 下确界d在
中的可达。
考虑
的上极限:
,
这一上极限
具有紧性和连通性。事实上,它是由具有紧性、连通性、递减性的集合通过有限交运算构造出来的。而且,由于每个
都包含有x1与x2,所以
也同样包含有x1与x2,因而
属于
。
因为构造上极限的过程
是一递减序列,当
时有
,由单调有界原理,我们得到:
,
这里用
表示该路径
上
的最大值点。
另一方面,由于
是连续的,所以有:
,
故:
,
得:
.
而因d是所有“最大值”的最小,故有
,综上可得
。
通过选取递减的紧的路径的序列
,我们可以在每一序列中都通过求其上极限的方法得到
,
中的最大点
都满足有
,也就是说我们得到了一极小化路径,使在这一路径中确实可以得到一个最大值
,使得:
.
Step 2. 下面将要证明函数
存在临界点,并且对应的临界值为d。
将这些取到最大值的点组成点集合,记作:
,
由于
的连续性以及
的紧性,我们可以得到M同样拥有紧性。
接下来,我们将在这些最大值中,使对应的函数值最小的点就是临界点。即证明确实存在有点
,使得函数
。
我们使用反证法,首先假设如果在M中没有临界点,即存在一个正的常数
,对于所有x属于M,有:
.
因为函数
的连续性,存在
,使得对任意的
,其中:
,
有:
.
值得注意的是,根据定义我们可知x1与x2并不在
内,它们作为严格最小值点同样是临界点。
构造一个截断函数
使之满足:
定义一个新的映射
,为:
.
则
关于t是连续可微的,并有:
,
注意到当
时,有:
.
根据
关于t的连续性,存在
,使得对任意的
,有:
.
因此,对任意的
,其中
,我们得到:
.
所以我们得到:当
时,即有
,而当
时,有
。
则一定有:
.
但由
的连续性可得,集合
是连通集、紧集,通过对
与
的选择,我们可以让
和
都包含于
。如此一来
,那么
与d的定义相矛盾。由此反证假设不成立,我们确实证明了在
中存在一个临界点。自此证明完毕。
山路定理的应用
有限维山路定理在不同领域有广泛的应用,我们通过有限维山路定理给出Hadamard定理[9]的证明。
Hadamard定理:假设X与Y为两个不同的有限维欧式空间,假设映射
为
的一个映射,并且
,满足:
1) 对所有
,
是可逆的;
2) 当
时,有
;
则
是一个由X到Y的微分同胚。
证明:由条件1),我们可知,
是一个开映射,即
的值域是在Y中的开集。
根据条件2)以及在有限维中闭集是紧集,我们可得
是一个闭集。事实上,构造一个收敛序列集
,因为它在Y上是有界的,我们易知
在X上也是有界的。因此,存在
,使得
,并且
。
如果我们能证明
是一对一的,这就证明了
是一个微分同胚。
反之,若我们假设对X中两个不同的点x1与x2有
,构造一个具有一阶连续偏导数的映射
,使之满足:
.
由条件2)可得,当
时,
,结合x1与x2为f的全局最小值点,我们有x1与x2为f的严格局部极小值点。由有限维山路定理可知,存在f的临界点x3使得
,从而我们可知
,所以
。又因为x3为f的临界点,一定有
,这与条件1)的映射
是可逆的相矛盾。因而得证。
致 谢
在本论文的研究和撰写过程中,我们得到了许多人的帮助和支持,在此表达我们最诚挚的感谢。