[论文解读] A unifying perspective on linear continuum equations prevalent in science. Part I: Canonical forms for static, steady, and quasistatic equations

Graeme W. Milton|arXiv (Cornell University)|Jun 3, 2020

Advanced Mathematical Modeling in Engineering参考文献 83被引用 5

一句话总结

本文通过将静态、稳态及准静态系统中的线性连续介质方程重新表述为扩展抽象复合材料理论的规范形式，提出了一套统一的数学框架。该框架利用投影算子推导出一般解，并在电导率、弹性及热电效应等关键方程上加以验证，实现了有效性质的高效求解与摄动分析。

ABSTRACT

Following some past advances, we reformulate a large class of linear continuum science equations in the format of the extended abstract theory of composites so that we can apply this theory to better understand and efficiently solve those equations. Here in part I we elucidate the form for many static, steady, and quasistatic equations.

研究动机与目标

• 将物理学与工程学中广泛的一类线性连续介质方程统一为单一规范的数学框架。
• 通过扩展抽象复合材料理论，重新表述静态、稳态及准静态方程，以改善其分析与计算处理。
• 利用傅里叶空间中的投影算子与逆算子，推导出场变量的一般解公式。
• 通过仅依赖未扰动问题中的场量，表达有效张量的变化，从而实现有效性质的摄动分析。
• 为后续部分处理时谐、动态及高梯度方程，以及边界与散射问题奠定基础。

提出的方法

• 将方程重表述为规范形式：$\mathbf{J} = \mathbf{L}\mathbf{E} - \mathbf{s}$，$\boldsymbol{\Gamma}_1\mathbf{E} = \mathbf{E}$，$\boldsymbol{\Gamma}_1\mathbf{J} = 0$，其中$\boldsymbol{\Gamma}_1$为傅里叶空间中的投影算子。
• 使用傅里叶空间表示，表达$\boldsymbol{\Gamma}_1(\mathbf{k}) = \mathbf{k}(\mathbf{k} \cdot \mathbf{k})^{-1}\mathbf{k}^T$，用于无散度投影。
• 推导解$\mathbf{E^*} = (\boldsymbol{\Gamma}_1\mathbf{L}\boldsymbol{\Gamma}_1)^{-1}\boldsymbol{\Gamma}_1\mathbf{s}$，其在$\mathcal{E}$空间上成立，即$\boldsymbol{\Gamma}_1$所投影的空间。
• 确保$\boldsymbol{\Gamma}_1$的自伴性，并与场空间$\mathcal{T}$上的内积相容，从而实现$\mathcal{E}$与$\mathcal{J}$之间的正交分解。
• 通过识别适当的$\mathbf{L}$、$\mathbf{s}$与$\boldsymbol{\Gamma}_1$，将该框架应用于电导率方程、弹性及热电效应等典型方程。
• 利用摄动理论推导有效张量$\mathbf{L}_*$的变化，其关系为$(\mathbf{L}_*^\prime \mathbf{E}_0^{(1)}, \mathbf{E}_0^{(2)})_{\mathcal{T}} = (\mathbf{L}^\prime \mathbf{E}^{(1)}, \mathbf{E}^{(2)})$，仅依赖于未扰动场。

实验结果

研究问题

• RQ1 如何将静态与稳态系统中广泛存在的线性连续介质方程统一于单一数学框架之下？
• RQ2 当以扩展抽象复合材料理论表达时，此类方程的一般解形式为何？
• RQ3 如何仅利用未扰动问题中的场量，对非均质材料的有效性质进行摄动与分析？
• RQ4 投影算子$\boldsymbol{\Gamma}_1$在解空间中如何实现一致且正交的场分解？
• RQ5 该框架如何在后续部分中扩展至时谐、动态及高梯度方程？

主要发现

• 规范形式$\mathbf{J} = \mathbf{L}\mathbf{E} - \mathbf{s}$，$\boldsymbol{\Gamma}_1\mathbf{E} = \mathbf{E}$，$\boldsymbol{\Gamma}_1\mathbf{J} = 0$为静态、稳态及准静态线性连续介质方程提供了普遍结构。
• 解的形式为$\mathbf{E} = (\boldsymbol{\Gamma}_1\mathbf{L}\boldsymbol{\Gamma}_1)^{-1}\boldsymbol{\Gamma}_1\mathbf{s}$，其在空间$\mathcal{E}$上定义良好，即$\boldsymbol{\Gamma}_1$的值域。
• 对于$\mathbf{L}$的摄动，有效张量$\mathbf{L}_*$的变化仅依赖于未扰动场$\mathbf{E}^{(1)}$与$\mathbf{E}^{(2)}$，而不依赖于扰动后的场。
• 该摄动公式可推导出霍尔系数及其在互连环状微结构中符号反转的现象，且与组分材料中载流子符号无关。
• 该框架支持非自伴算子的预解算子的Stieltjes型积分表示，并在后续部分中支持快速收敛的迭代求解方法。
• 该方法具有一般性，适用于电导率、弹性、热电效应及其他耦合方程，仅需识别适当的$\mathbf{L}$、$\mathbf{s}$与$\boldsymbol{\Gamma}_1$。