盆地模拟的Yükler方程解的存在唯一性

盆地模拟是计算石油生成量的基础。Yükler方程(即超压方程)是盆地模拟的数学模型之一。文章首先引入变换,将原始模型化为标准非线性抛物型方程,然后在适当的空间里,用Galerkin方法证明了具有边界条的Yükler方程解的存在唯一性(这里(?)Ω_1是(?)Ω的闭子集,(?)Ω_2=(?)Ω\(?)Ω_1),为利用这一模型方程进行盆地模拟奠定了理论基础。