液晶流体有限元逼近的收敛性研究.pdf

——．． 出壅丕芏壁土堂丝迨窑 液晶流体有限元逼近的收敛性分析 刘学哲 山东大学数学与系统科学学院 山东 济南 250100 2002 5月lO日 摘要 本文研究液晶流体的原始Ericksen—Leslie方程的一个简化系 统，它仍保持了大多数有趣的数学性质，并遵循严格的数学分析。 ／本文中，我们采用Lagrange—Galerkin方法与投影技术相结合 来处理简化的非线性系统(1．1)中的动量守恒方程的表各向同性流 的Navier-Stokes方程项。尽管在一个算法中综合这两种技术看上 去不太明智，因为Lagrange．Galerkin方法的稳定性依赖于不可压 缩性条件，而投影技术则是释放不可压缩性条件以降低计算工作 量。但我们在本文中却证明了这个算法是收敛的。 对(1．1)中的角动量守恒方程则用Lagrange．Gale岬谫法处理， 在一定的正则性假设下，给出了收敛的有限元逼近。， 本文共分五大部分，第一部分为引言，介绍了在不破坏 Ericksen—Leslie方程的非线性结构前提下，可导出的用来描述液晶 流的最简单数学模型(1．1)，但它仍保持了大部分原方程的数学性 质。广 ，我们所考虑的非线性问题为： I 、 0Vd)=o U．+l“·Vuk—vdivD(u)+即+Adiv(Vd V·U=0 (1．1) d．+0·V)d—r(Ad一厂0))=0 ——————————————些丕丕堂亟拦焦丝塞 初始条件： “I。=“。，dI，．。=d。，“I。=o，dI。=d。 其中“，d：Q×R+寸R 2为液晶的速摩场和方向场，JD为压力。假 定初始速度满足：v．。。：o y 第二部分为原问题的等价变分形式及有限元空间离散，我们 给出了系统(11)的等价变分形式为母障 (。，p，d)：U d∈H1恒1(Q)2)nr∞1心)) 使得 u。，v)+y(D0)，D(v))+u·Vu，v)一0，V·v)- A((Vd)7Vd，Vv)=0，Vv∈V p。，e)+y勺d，Ve)+0·，e)+，(厂ple)=o，∈1Q)2口 第三部分为分数步有限元离散格式。枉3．1中，我们介绍了 用Lagrange—Galerkin方法来处理对流项导数；3．2中介绍了分 数步投影技术；3．3给出了分数步投影几agrange—Galerkin格式： 初始化：“：=矗：=d：，P：=§：，d：=a： 对k≥0，有 驯学v。]+y她+-)D(vh卅f坚掣，Vh)／ ＼ u。 +p：pi：，kv。卜旯((vd：+·rVd“，VVh户o， Vvh∈X“ (3．7)华+q一叫户。 Chuk十l=o ■ cs．s，(掣，e。]+，勺a：+l，Ve。)-卜yc厂(d：+1) 吣厂． Veh∈％ 第必邵分为误差分析所用到的一些与Lagrange技术有关的引 理及插值的定义，这些插值在￡2一范数意义下保持了对 “(fld(f蜘^“1阶逼近。 f对所有的t，定义w。(t)∈x。，q。(t)∈M。，Zh(t)∈氓分别为下