二维N-S方程的处分非线性Galerkin算法.pdf

．一 型堡型!三丝型型堡!!塑坠立堡竺堑婴j!些堡鱼!!!坐尘璺兰 二维l蚰v i ier—Stoks方程的惩罚非娩性Galerk n算法 分七个部分。 第一部分为引言．介绍了非线性Galerkin算法的发展历史及主要特 点，，并介绍了惩罚非线性Galerkin算法的优点。 一’／对于非线性耗散型发展方程，在大的时间范围内和现实的物理条件 下j}}解是比较困难的问题。过去由于计算机计算能力的限制，人们仅仅 考虑有限时间区间上的数值积分。随着计算工具的发展，人们越来越对 大时间区间上的数值积分感兴趣。对于非定常Navier。Stokes方程，当 时间，．÷∞时，如果物理上的无量纲参数Reynolds数很大时，非定常 解表现为湍流。有时即使外力是与时间无关的．系统也往往表现出某种 时间相关行为，解的渐进行为表现在一个全局吸引子的结构上。此时由 于其强的非线性性和对时间的长期依赖性，以通常的方法在计算机上求 解，在速度和容量上都是难以承受的。Marion和TemanIll首先提出了 法所得的渐进解不是位于线性空间中，而是位于非线性光滑流形中。在 非线性Galerkin方法中，我们考虑的是一个有限维空间V。，h为空间剖 分的常数，将V。分解： V^=VH+W^ 近似解％，“．满足： —————羔!!!坠三丝型!：堡!!!!坠查堡塑堑翌!堕丝鱼!!!!!堕簦兰 这里V”∈VH。庐是从VH到Wh的映射。在流形∑上将方程映射为～个 t 一 关于v“的～个新的发展方程。在经典Galerkin方法中，毋：0。、／7’ ，』 ／ 第二部分介绍了所要讨论的二维Navier．Stokes方程。 ， ，，7 2中的有界区域Q上的二维Navier- j对于具有连续Lipschitz边界的R Stokes方程，我们给出了Sobolev空例Y、M．并根据算子A(A“：一A“． 接着我们列出了关于双线性形式a(“，v)．B(u，v)及三线性形式b(“，v，W) 的不等式。在这一部分的最后，我们提出了二维Navier．Stokes方程的 变分形式，并给出了此变分形式解的存在唯一性及正则性定理。1 ， 第三部分介绍了经典的二维Navier．Stokes方程的Galerkin算法。 ． 厂 (在此部分中，我们首先定义了有限元子空fB]X。及M．并给出了相关 ＼、 给出了Galerkin算法解的存在唯一性及正则性定理。、、／’ ，／ 第四部分介绍了～般的非线性Oalerkin算法。 ， 一 i首先定义了空间x，及x?，并讨论了空问x?的若干性质，最后通 ，一 过投影，得到了二维Navier-Stokes方程的非线性Galerkin算法。； 第五部分提出了惩罚非线性Galerkin算法。 ／ l引入了一个小的正参量￡，并利用假设印+diVⅣ=0，我们得到了惩 t 罚非线性Galerkin算法的数值格式．、实现了压力与速度计算的分离，并 证明了此数值格式解的存在唯一性。?，。 第六部分分析了惩罚非线性Galerkin算法的收敛性。