液晶动力学方程的理论分析.pdfVIP

版权声明 任何收存和保管本论文各种版本的单位和个人，未经本论文作者同意，不 得将本论文转借他人，亦不得随意复制、抄录、拍照或以任何方式传播。否 则，引起有碍作者著作权之问题，将可能承担法律责任。 中文摘要 摘 要 在描述液晶动力学行为的模型中，Doi-Onsager 理论是基于统计力学的微观理 论，Ericksen-Leslie 理论是从连续介质力学出发得到的宏观理论。这两个理论在液晶动 力学研究中起着基本的作用，而且在实际中被广泛应用。本文从微观Doi-Onsager 理论 出发，给出了宏观Ericksen-Leslie 理论的一个严格推导，从而在数学上证明了这两个不 同尺度、且从不同观点得到的模型之间的一致性。 对于匀质系统，Kuzzu-Doi [34]从Doi-Onsager 模型出发，在参数Deborah 数趋于0 时，利用形式渐近展开推导了Ericksen-Leslie 模型。但由于他们考虑的系统是匀质的， 因此无法得出Ericksen 应力。E-Zhang 在[20] 中通过引入卷积型的非局部位势，建立了 非匀质系统的微观Doi-Onsager 模型，同样也利用形式渐进展开在Deborah 数趋于0 的 极限下推导出了完整的Ericksen-Leslie 模型。本文的第一部分工作证明了在小Deborah 数极限下，Doi-Onsager 方程的解将收敛到Ericksen-Leslie 方程的解，从而给两个理论 之间的一致性建立了严格的数学基础。 类似于Boltzmann 方程的流体动力学极限问题，首先需要从Ericksen-Leslie 方 程的光滑解出发，对Doi-Onsager 方程的解作Hilbert 展开。Hilbert 展开的存在性很 不显然，它依赖于Ericksen-Leslie 系统能量的耗散性。对这一点，本文证明了，从 Doi-Onsager 方程推导出的Ericksen-Leslie 方程是能量耗散的。接下来问题的最大困难 在于如何对Hilbert 展开式余项得到一致控制估计，这与线性化算子的谱稳定性有关。 通过观察到该线性化算子的一个分解形式，我们得到了它的核空间和谱的详细信息。 这些信息足以使得我们建立匀质系统的小Deborah 数极限，还对非匀质系统还不够， 因为速度方程中的弹性应力项仍然是奇异的。为此，需要对一个与线性化算子相关的 双线性形式建立一个精确的下界估计。该双线性形式关于位置空间是非局部的，因此 线性化算子的核内和核外部分在该形式中的相互影响非常复杂。通过对指向空间构造 一个坐标变换，并且引入一个五维的线性空间(称为Maier-Saupe 空间)，作者得到了该 双线性形式在Maier-Saupe 空间内和空间外的不同形式的下界估计。对于Maier-Saupe 空间之外的部分，可以得到强的控制；而对于Maier-Saupe 空间之内的部分，只能得到 较弱的控制。通过引入适当的能量泛函以及对奇异项结构的精细分析，并充分利用双 线性形式的两部分下界控制，从而最终对余项得到了封闭的误差估计。这部分详细内 容参见第三章到第五章。 上述整个过程的前提是要求完整的Ericksen-Leslie 方程存在光滑解，而在以往的 研究中，由于它的完全形式过于复杂，大多数研究者在研究解的存在性时，通常都将 Leslie 应力忽略掉，仅仅保留Ericksen 应力，同时用Ginzburg-Landau 逼近来放松指向 场模长为1 的限制条件。因此，本文研究了完整形式的Ericksen-Leslie 方程光滑解的存 – I – 中文摘要 在性。首先作者细致分析了整个系统能量耗散中的抵消关系，将原方程化成了一个等 价的形式，在该形式下推导先验能量估计时，不需要用到指向矢模长为 1 的条件，从 而使得逼近解的构造变得简单。对于该等价形式，作者利用经典的Friedrich 方法构造 了逼近解，并证明了逼近解的收敛性，以及原方程解的存在唯一性。同时，本文建立 了Beale-Kato-Majda 型爆破判据，并利用该判据证明了小初值光滑解的整体存在性。 值得一提的是，前人的工作均要求所有耗散项的系数都大于0 或者流体黏性系数足够 大