1. 引言
变分方法是针对非线性微分方程边值问题构建其相应的变分结构,然后利用一定的理论方法,比如利用山路引理、喷泉定理、和极小极大原理等方法([1] [2])来研究微分方程对应能量泛函的临界点的存在性和多重性[3],从而得到微分方程解的存在性和多重性,在适当的周期函数空间e上定义一个泛函(即定义在函数空间上的函数)
,使得泛函的临界点恰对应于微分方程的周期解,泛函
的临界点就是在e中使
的函数[4]。变分法在偏微分方程解研究中的历史可以追溯到17世纪后期,当时牛顿等人在利用微积分解决物理问题的过程中发现了变分法的基本原理。具体来说,变分法的起源与极值问题的研究密切相关。随着微积分和泛函分析的发展,变分法在解决各种复杂的数学物理问题中发挥了重要作用,将偏微分方程的解的存在问题转化为变分问题来研究,从而可以得到方程的解或解的存在性证明。此外,变分法还与其他数学分支如动力系统、拓扑学等有着密切联系,为这些领域的研究提供了新的思路和方法。随着数学理论的不断创新和计算机技术的不断发展,变分法逐渐成为求解偏微分方程的重要工具,求解效率和精度也将不断提高。
非线性微分方程边值问题[5]源于化学、控制论、工程学、生物学、物理学等一系列的科学领域[6],也与我们的生活息息相关。通过与非线性泛函分析理论、泛函分析理论及其他分析技巧相结合来研究微分方程边值问题解的存在性和多解性,国内外很多学者对非线性微分方程的边值问题都有一定的关注。目前,在非线性微分方程边值问题方面,比较新颖的问题是利用变分方法来研究脉冲或奇异微分方程边值问题,奇异微分方程边值问题起源于气体动力学、边界层等中的非线性数学模型[7],脉冲微分方程边值问题用来描述一些具体的现象。
椭圆型方程在许多的应用性学科中起到了至关重要的作用,这类方程在对现存的物理状态的描述、分析以及计算等都提供了其相应的基础模型,在广阔的数学物理应用方向里,近些年来,伴随着数学理论与应用性的不断完善,以及数学的理论与计算机科学的相结合,国内外的相关学者对椭圆型方程的研究得出了许多新的突破性的成果。在典型的椭圆型方程在物理应用领域中,该类方程主要对电磁场、重力场和反应扩散、能量传到等物理现象进行描述。moameni [8]在研究非凸自对偶lagrange算子导出的向量场及发展方程时提出了一种新的变分方法来灵活地解决势函数问题,该新的变分方法也适用于多种椭圆型方程问题的解决。
由于变分法适应的方程阶数不受限制,本文利用构造极小元泛函的方法将陈祖墀[9],evans [10]王春朋[11]等提出的低阶椭圆型方程推广至高阶椭圆型方程,对一类非线性四阶椭圆型方程的弱解性问题进行讨论。
本文讨论如下四阶定态p-laplace椭圆型方程的弱解问题,设
是一有界区域,其边界
充分光滑,在
上考虑方程
(1)
其中,
,
是方程(1)的解,可以用来表示薄膜的密度,
,
,
满足一致椭圆性条件,即存在常数
,使得
函数
,
是
上的单位外法向量。
2. 方程弱解的存在性
这一部分中给出方程(1)的弱解形式,以及其相应的泛函形式,同时给出方程(1)的弱解存在性,在这里首先给出此方程的弱解的定义。
2.1. 弱解的概念
定义1 称函数
为方程(1)的弱解,如果对任意的
,有积分等式(1.1)成立。
(1.1)
并给出其相应的泛函形式为
(1.2)
证明
下面将给出关于泛函
的证明
由于
,将问题(1.1)中的方程两边同时乘以
并在
上积分,得到
(1.3)
由分部积分及边界条件,有
(1.4)
(1.5)
因此有
(1.6)
根据以上结果定义
(1.7)
由于
,并且
(1.8)
于是有
.(1.9)
对
等式两边在
上积分得到
(1.10)
令
,得
(1.11)
2.2. 将问题转化为求相应泛函的极值元
命题1.1.1 若
为泛函
在
上的极值元,则
是该四阶p-laplace方程问题的弱解。
证明
为求解方程(1),首先构造相应的泛函:
。 (1.12)
泛函
对所有的
有定义,由于要求的是满足边值条件的解,所以要在
中求泛函
的极值元。
假设
为泛函
在
上的极值元,比如极小元。对任一
和
,有
。记
(1.13)
因为
是泛函
在
上的极小元,所以
在
时取极小值,即
。
由(1.13)有
(1.14)
经过简单计算,有
(1.15)
说明对任何
,
满足弱解定义(1.1)式,即
是方程(1)的弱解。
综上所述,证明了方程(1)弱解的存在性。
3. 泛函极值元的存在性
下面证明泛函极值元的存在性,首先给出以下引理。
引理2.1 存在常数
,使得当
时,对任何
,泛函
在
上有下界。
证明 由庞加莱不等式和带
的柯西不等式知,对
,有
(2.1)
其中
是庞加莱不等式中的常数,可以知道只要
取适当小,使得
,而
满足
,则上式右端第二项是非负的,又由于
,上式右端第一项是非负的,则由上式可得
。 (2.2)
于是即证
的下方有界性。
泛函
既然有下界,就有下确界。由下确界的定义,必存在
,使得
,这时称
为泛函
的极小序列。
引理2.2 泛函
的极小序列
中存在弱收敛子序列
:
弱收敛于
,于
,
为
中的某一函数。
证明 因为极限
存在,所以存在常数
,使得
。利用带
的柯西不等式和柯西不等式,则有
(2.3)
由
,和庞加莱不等式有
, (2.4)
从而有
, (2.5)
, (2.6)
取
便得到
(2.7)
由
空间的弱紧性定理,可知
中存在
中弱收敛的子序列。
引理2.3
在
中是弱下半连续的,即对
中任何弱收敛序列
,若
弱收敛于
于
,
则
.
证明 由
范数以及
范数的弱下半连续,有
,
, (2.8)
由
的弱下半连续性,有
, (2.9)
, (2.10)
从而有
. (2.11)
. (2.12)
得证
. (2.13)
命题2.2 对任何
,泛函
在
上有极小元存在。
证明 由引理2.1泛函
在
上有下界。设
为泛函
在
的极小序列。由引理2.2知,泛函
的极小序列
中存在弱收敛子序列
,设其弱极限为
,
在
中的弱下半连续性包含
, (2.14)
因此有
. (2.15)
即证泛函
在
上存在极小元。
4. 方程弱解的存在唯一性
定理3.1 对任何
,方程(1)恒存在唯一的弱解。
证明 设
为方程(1)的两个不同的弱解,则由弱解的定义以及
在
中的稠密性,有
,其中
,
将
,
分别带入到(1.1)式中,我们可以得到下面两个不同的式子如下
(3.1)
(3.2)
将(3.1)式减去(3.2)式就可以得到如下等式
. (3.3)
令
,并且
,特别地取
便得
(3.4)
由于
于是得到如下等式
. (3.5)
其中
. (3.6)
. (3.7)
从而有
. (3.8)
即
. (3.9)
从而
a.e.于
,即
。即证方程(1)的弱解的存在唯一性。
因此,恒存在唯一弱解
满足四阶p-laplace方程(1)。
5. 结语
p-laplace方程是laplace方程的一种推广,其中参数p的引入使得方程能够描述更广泛的物理现象。在弹性力学中,常用于描述弹性体的应力分布和变形情况。在流体力学中,可能用于模拟高粘度流体、非牛顿流体或具有特殊流动特性的流体系统。在图像处理领域,laplace算子常用于边缘检测和图像锐化。p-laplace方程的推广可能用于开发更复杂的图像处理算法,以处理具有特殊纹理或噪声的图像。非线性方程往往与系统的稳定性和分岔现象密切相关。
使用变分方法,首先通过构造相应的极小元泛函,通过求解泛函的极值得出其相应泛函在分部积分的意义下满足弱解的方程,从而得出弱解的存在性,接下来对极值元的存在性进行进一步分析,证得极值元的存在性,接下来通过叠加原理证得弱解的唯一性,从而最终给出弱解的存在唯一性,除了使用变分方法还有其他解决椭圆型方程解的存在性的方法,比如riesz表示定理,lax-milgram定理等都可以解决椭圆型方程的弱解存在性问题,靳振峰[12]利用变分方法研究了带有周期磁势和临界非线性项的分数阶choquard方程解的存在性问题,对于高阶的椭圆型方程,运用变分法将求解极小元泛函和高阶椭圆型方程弱解存在问题联系在一起,能够很好的解决了求解高阶椭圆型方程弱解存在问题的困难。
基金项目
辽宁省教育厅高校科研项目资助(编号:ljkmz20220832)。
notes
*通讯作者。