[论文解读] Asymptotics for the solutions of elliptic systems with fast oscillating coefficients

D. I. Borisov|ArXiv.org|Dec 4, 2006

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

一句话总结

本文建立了依赖于慢变与快变空间变量的二阶椭圆系统在快速振荡系数下的预解式一致范数渐近性。通过扩展Birman和Suslina的技术，构造了同伦算子，并在系数光滑且周期性假设下，证明了在 $L_2$ 和 $W_2^1$ 范数下谱与预解式的收敛性，误差界为 $\varepsilon$ 阶。

ABSTRACT

We consider a singularly perturbed second order elliptic system in the whole space. The coefficients of the systems fast oscillate and depend both of slow and fast variables. We obtain the homogenized operator and in the uniform norm sense we construct the leading terms of the asymptotics expansion for the resolvent of the operator described by the system. The convergence of the spectrum is established. The convergence of the spectrum is established. The examples are given.

研究动机与目标

• 分析 $\mathbb{R}^d$ 中系数依赖于慢变与快变变量的二阶椭圆系统的同伦化问题。
• 构造同伦算子，并在一致范数意义下推导预解式的首阶渐近展开式。
• 对所有与同伦谱分离的谱参数，建立扰动算子谱收敛到同伦算子的结果。
• 通过涉及矩阵 $\mathsf{f}_\varepsilon$ 的变换，将同伦结果的适用范围扩展至 $\varepsilon \to 0$ 时系数可能增长的系统。

提出的方法

• 该方法依赖于谱理论，并扩展了Birman和Suslina的方法，利用系数的周期性与光滑性假设，避免使用平滑化技术。
• 通过周期校正法导出同伦算子，其中校正函数在快变量 $\xi = x/\varepsilon$ 上求解一个细胞问题。
• 预解式的渐近展开以形式 $ (\mathcal{H}_\varepsilon - \lambda G_\varepsilon)^{-1} = (\mathcal{H}_0 - \lambda G_0)^{-1} + \varepsilon \mathcal{L}_\varepsilon + \text{误差} $ 构造，误差项被 $C\varepsilon$ 控制。
• 将预解式作为 $L_2$ 上的算子及映射到 $W_2^1$ 的算子进行分析，确保在两种算子范数下的收敛性。
• 通过矩阵 $\mathsf{f}_\varepsilon \in W_\infty^1(\mathbb{R}^d; C^{2+\beta}_{\text{per}}(\overline{\square}))$ 的变换，将结果扩展至 $\varepsilon \to 0$ 时系数增长的系统，扩大了适用算子的类。
• 分析假设原算子在 $\varepsilon$ 上一致自伴且下有界，系数在 $x$ 和 $\xi$ 上一致有界且光滑。

实验结果

研究问题

• RQ1 当 $\varepsilon \to 0$ 时，依赖于慢变与快变变量的快速振荡系数的二阶椭圆系统预解式如何渐近表现？
• RQ2 此类系统的同伦算子形式为何？其如何从原系统导出？
• RQ3 在一致范数下，扰动算子的预解式与谱收敛到同伦算子的速率如何？
• RQ4 结果能否扩展至 $\varepsilon \to 0$ 时系数增长的系统？
• RQ5 哪些物理或数学算子类（如泡利算子、弹性算子）满足条件，从而可进行此类渐近分析？

主要发现

• 同伦算子 $\mathcal{H}_0$ 通过在快变量 $\xi = x/\varepsilon$ 上求解细胞问题显式构造，确保校正函数周期且光滑。
• 扰动算子 $\mathcal{H}_\varepsilon$ 的预解式在 $L_2 \to L_2$ 算子范数下收敛到 $\mathcal{H}_0$，误差为 $O(\varepsilon)$，对所有与 $\mathcal{H}_0$ 谱分离的谱参数 $\lambda$ 一致成立。
• 预解式在 $L_2 \to W_2^1$ 算子范数下的收敛性也得到证明，具有相同的 $O(\varepsilon)$ 误差界，表明梯度的强收敛性。
• 在 Hausdorff 距离意义下，$\mathcal{H}_\varepsilon$ 的谱一致收敛到 $\mathcal{H}_0$ 的谱，对所有与 $\mathcal{H}_0$ 谱分离的有界谱参数成立。
• 通过变换 $\widetilde{\mathcal{H}}_\varepsilon = \mathsf{f}_\varepsilon^* \mathcal{H}_\varepsilon \mathsf{f}_\varepsilon$，该方法可扩展至 $\varepsilon \to 0$ 时系数增长的系统，且保持 $O(\varepsilon)$ 的收敛速率。
• 结果适用于广泛算子类，包括带度量与势的泡利算子和弹性算子，在适当的光滑性与周期性条件下可进行此类渐近分析。