方 平， 宋瑞凤， 周裕中， 张 昕

(1.华南农业大学理学院应用数学系，广东广州 510642；2. 华南农业大学农学院，广东广州 510642)

一类渗流模型弱解的唯一性

方 平1*， 宋瑞凤2， 周裕中1， 张 昕1

(1.华南农业大学理学院应用数学系，广东广州 510642；2. 华南农业大学农学院，广东广州 510642)

对三维渗流方程θ(ψ(x,y,z,t))t=div[k(ψ(x,y,z,t))ψ(x,y,z,t)]-(k(ψ(x,y,z,t)))z作变换化为(A(u))t=Δu-(k(u))z，通过构造一个特殊的检验函数，用反证法证明了三维渗流数学模型(I)弱解的唯一性．

渗流模型； 弱解； 唯一性； 反证法

渗流问题自上世纪50年代提出以来，得到了广泛而深入的研究，取得了许多进展，尤其是一维渗流问题得到了很好的解决[1-3]．高维的情况，当k为常数时，相应的柯西问题的弱解的存在唯一性及其弱解的一些性质也得到了解决[4]．本文将讨论k不为常数时的情况，即下述三维渗流方程：

θ(ψ(x,y,z,t))t=div[k(ψ(x,y,z,t))ψ(x,y,z,t)]-

(k(ψ(x,y,z,t)))z.

(1)

对方程(1)作类似文献[5]中的变换后可变为：

(A(u))t=Δu-(k(u))z,

(2)

其中θ、ψ、k、A的意义见文献[5]，u=u(x,y,z,t)，Δu=uxx+uyy+uzz．

(Ⅰ)

K1：k(s)在上Lipschitz连续；

K2：当s≤0时，k(s)=0；

C1：c(s)在上Lipschitz连续；

C4：c(s)在(-∞,σ0)上有连续的二阶导数．

u01：u0(x,y,z)在Q上连续有界；

u02：当x2+y2+z2≥a2(a为某一大于零的常数)时，u0(x,y,z)≡0；

当x2+y2+z2≤a2时，0≤u0(x,y,z)≤M0(M0>us为常数)．

另外，k(s)与c(s)还满足：

问题(I)的弱解的存在性及相应的比较原则已经得到证明[5],下面讨论问题(I)的弱解的唯一性．

为了后面定理证明的需要，先给出如下引理．

引理1 对于一个固定的常数E0>0，一定存在一个常数F0>0，使得：

由条件KC1,本引理的证明类似文献[6]的引理1，此处从略．

下面给出本文的定理及其证明.

定理1 (唯一性定理)问题(I)至多只有一个弱解．

证明假设u1,u2是问题(I)的2个不同的弱解，那么存在一个常数

t0=sup{s|u1=u2a.e于Qs}，

其中0

由于u1,u2均为问题(I)的2个弱解，则u1,u2均满足：

上述两式相减则有