[论文解读] Injectivity almost everywhere and mappings with finite distortion in nonlinear elasticity

Anastasia Molchanova, S. K. Vodopyanov|arXiv (Cornell University)|Apr 26, 2017

Analytic and geometric function theory参考文献 34被引用 9

一句话总结

该论文建立了在非线性弹性中，具有有限变形的弱可微映射几乎处处为单射的条件，利用了拉回算子的有界性与多凸能量函数。关键结果表明，在适当的强制性与变形度量边界条件下，能量泛函的极小化映射为同胚，从而确保材料不发生相互穿透。

ABSTRACT

We show that a sufficient condition for the weak limit of a sequence of $W^1_q$-homeomorphisms with finite distortion to be almost everywhere injective for $q \geq n-1$, can be stated by means of composition operators. Applying this result, we study nonlinear elasticity problems with respect to these new classes of mappings. Furthermore, we impose loose growth conditions on the stored-energy function for the class of $W^1_n$-homeomorphisms with finite distortion and integrable inner as well as outer distortion coefficients.

研究动机与目标

• 建立非线性弹性中具有有限变形的弱可微映射几乎处处单射的条件。
• 通过确保全局单射性而不预先假设全局可逆性，扩展Ball关于能量极小化变形的存在性理论。
• 刻画变形的逆映射属于Sobolev空间的条件，以确保逆映射的正则性。
• 将拉回算子 $\varphi^*: L^1_p(\Omega') \to L^1_q(\Omega)$ 的有界性与映射的单射性及有限变形性质相联系。
• 统一几何条件（拟等距边界）与存储能函数的分析条件，以实现单射性。

提出的方法

• 利用存储能函数 $W(x,F)$ 的多凸性，确保能量泛函的序列弱下半连续性。
• 应用涉及 $|F|^p$、$|\operatorname{Adj}F|^q$、$|\det F|^r$ 与 $|\det F|^{-m}$ 的强制性不等式，以控制雅可比行列式趋近于零时的爆破现象。
• 施加有限变形条件：$K_O(x,\varphi) = \frac{|D\varphi(x)|^3}{J(x,\varphi)} \leq K(x) < \infty$ a.e.，确保无退化变形。
• 将拉回算子 $\varphi^*: L^1_p(\Omega') \to L^1_q(\Omega)$ 的有界性作为实现单射性的关键分析工具。
• 依赖 $\mathbb{R}^3$ 中拟等距边界与Lipschitz边界的等价性，以确保几何正则性。
• 利用Whitney型延拓定理与内在度量控制，将定义域的几何性质与逆映射的Sobolev正则性相联系。

实验结果

研究问题

• RQ1 在存储能函数 $W$ 与变形系数 $K_O$ 满足何种条件时，弱可微变形 $\varphi$ 几乎处处为单射？
• RQ2 拉回算子 $\varphi^*: L^1_p(\Omega') \to L^1_q(\Omega)$ 的有界性如何蕴含 $\varphi$ 的单射性？
• RQ3 对定义域 $\Omega$ 与边界 $\partial\Omega$ 的何种几何与分析条件，可保证变形的逆映射属于 $W^1_\sigma(\Omega')$？
• RQ4 当结合有限变形条件时，强制性条件 $W(x,F) \geq \alpha(|F|^p + |\operatorname{Adj}F|^q + |\det F|^r + |\det F|^{-m}) + g(x)$ 是否能保证单射性？
• RQ5 拟等距边界与有界延拓算子的存在性及变形单射性之间有何关联？

主要发现

• 若存储能函数 $W$ 满足强制性条件 (6)，其中 $p>3$，$q>3$，$r>1$，$m>\frac{2q}{q-3}$，且 $\sigma = \frac{q(1+m)}{q+m} > 3$，则能量泛函 $I(\varphi) = \int_\Omega W(x,D\varphi)\,dx$ 的极小化变形 $\varphi$ 是从 $\Omega$ 到 $\varphi(\Omega)$ 的同胚。
• 逆映射 $\varphi^{-1}$ 属于 $W^1_\sigma(\overline{\Omega'})$，且 $\sigma > 3$，确保了逆映射的充分正则性。
• 有限变形由 $K_O(x,\varphi) = \frac{|D\varphi(x)|^3}{J(x,\varphi)} < \infty$ a.e. 表征，这对控制体积元的变形至关重要。
• 拉回算子 $\varphi^*: L^1_p(\Omega') \to L^1_q(\Omega)$ 的有界性等价于存在常数 $C$，使得对所有 $u \in W^1_p(\Omega')$，有 $\|\varphi^*u\|_{W^{1}_q(\Omega)} \leq C\|u\|_{W^1_p(\Omega')}$.
• 拟等距边界映射是局部双Lipschitz的，且具有拟等距边界的区域在 $\mathbb{R}^3$ 中等价于具有Lipschitz边界的区域。
• 内在度量 $d_{\varphi(B)}(u,v)$ 与欧氏度量 $|u-v|$ 可比较，这确保了有界延拓算子的存在性，并支持了单射性结果。