非线性边界流下薄膜方程解的存在性
2014-07-02王美珊梁波沈慧颖
王美珊,梁波,沈慧颖
(大连交通大学 理学院,辽宁 大连 116028)*
0 引言
薄膜类型的方程可用来描述很多实际的自然现象或物理过程,如热力学中的扩散现象、生物种群的竞争与排斥、流体流过物体表面的扩散过程等.薄膜方程的研究开始于F.Bernis,A.Friedman(JDE,1990)[1],他们给出了问题

一类Hölder连续弱解的存在性,并讨论了初值及参数在一定范围内解的非负性,主要采用正则化办法及Höllder模的估计.其中函数u表示薄膜的高度或厚度,常数n>0.由于最大值原理及比较原理不成立,所以四阶偏微分方程的研究主要是利用能量估计的方法,有关文献还可参考[2-5].
本文主要考虑下面的初边值问题:

其中,u0∈H1(Ω),u0≥0,Ω =(- 1,1),QT= Ω ×(0,T)时解的存在性和正性.
主要结论为下述定理:
定理1 称问题(1)~(4)存在弱解,满足:



1 逼近问题

首先考虑问题(1)~(4)的正则化逼近方程:
其中,δ> 0,u+=max{0,u}.
引理1 称问题(5)~(8)存在弱解,若其满足


证明 在方程(5)两端同时乘以函数uxx,然后在QT上做积分,可得:


利用Hölder不等式,可得到:



2 存在性
接下来主要是证明逼近解uδ所满足的一些估计,而且uδ不依赖于δ.首先建立如下函数[3]:

其中,φδ≥0,φδ∈(R),则有 φ″δ(σ)=
引理 2 (Gagliardo - Nirerberg 不等式)[4]令u∈H1(Ω),则满足下面的不等式:

引理3 称问题(5)~(8)存在弱解uδ,则下式成立:

其中,C是不依赖于δ的常数.
证明 在方程(5)两端同时乘以函数φ″δ(uδ),然后在 QT上做积分,可得:

由于ux(-1,t)=u+(-1,t),ux(1,t)= -u+(1,t),因此对于上式不可直接利用分部积分来计算,我们需要构造新的辅助函数(-x)uδ+,则有

此时,uδx-(-x)uδ+满足零边界,通过分部积分得到:

通过利用Gagliardo-Nirerberg不等式并结合等式(9),此引理得证.
引理4 假设问题(5)~(8)存在弱解u,当δ→0时,满足:

则有u≥0.在……
