[論文レビュー] Weighted $L^2$ Estimates for Elliptic Homogenization in Lipschitz Domains

Zhongwei Shen|arXiv (Cornell University)|Apr 7, 2020

Advanced Mathematical Modeling in Engineering参考文献 20被引用数 4

ひとこと要約

本稿は、急激に周期的かつVMO係数を有する楕円型系の解について、Lipschitz領域における重み付き$L^2$推定の必要十分条件を確立する。新規の実変数法を用いて、重み付き$W^{1,2}$推定を重み関数を含む逆Hölder型不等式に還元し、均質化スケール全域にわたる一様推定を可能にする。

ABSTRACT

We develop a new real-variable method for weighted $L^p$ estimates. The method is applied to the study of weighted $W^{1, 2}$ estimates in Lipschitz domains for weak solutions of second-order elliptic systems in divergence form with bounded measurable coefficients. It produces a necessary and sufficient condition, which depends on the weight function, for the weighted $W^{1,2}$ estimate to hold in a fixed Lipschitz domain with a given weight. Using this condition, for elliptic systems in Lipschitz domains with rapidly oscillating, periodic and VMO coefficients, we reduce the problem of weighted estimates to the case of constant coefficients.

研究の動機と目的

• 楕円型均質化における重み付き$L^p$推定のための実変数法を開発すること。
• 有界なLipschitz領域における$W^{1,2}$推定のための、重み関数に依存する必要十分条件を特定すること。
• 振動係数系の重み付き推定の研究を、定数係数の場合に還元すること。
• 導出された条件下で、均質化極限（$\varepsilon \to 0$）における一様推定を確立すること。
• 特にVMOおよび周期的係数に対して、$L^p$推定の既知の結果を、$A_1$重みを用いた重み付き$L^2$設定に拡張すること。

提案手法

• 楕円型偏微分方程式における重み付き$L^p$推定に特化した新規の実変数法を導入する。
• 重み付き$W^{1,2}$推定の必要十分条件として、逆Hölder不等式条件（1.8）を導出する。
• 有界可測、周期的、およびVMO係数を有する楕円型系にこの手法を適用する。
• 双対性および外挿技術を用いて、$A_1$重み条件と$L^p$有界性結果を結びつける。
• 境界からの距離を用いたハーディー型不等式および切断操作を用いて、特異な重みを制御する。
• 均質化行列$\overline{A}$を用いて、振動係数系の問題を定数係数の場合に還元する。

実験結果

リサーチクエスチョン

• RQ1 与えられた$A_1$重みに関して、固定されたLipschitz領域における重み付き$W^{1,2}$推定が成り立つための必要十分条件は何か？
• RQ2 急激に振動する係数を有する楕円型系の重み付き$L^2$推定を、定数係数の場合にどのように還元できるか？
• RQ3 不等式$\int_\Omega |\nabla u_\varepsilon|^2 \omega \,dx \leq C \int_\Omega |f|^2 \omega \,dx$ が$\varepsilon$に関して一様に成り立つための重み$\omega$に関する条件は何か？
• RQ4 $A_1$重み条件を用いて、外挿により$p>2$に対する$L^p$推定を導出可能か？
• RQ5 係数行列のVMO正則性が、重み付き$L^2$有界性を保証するために果たす役割は何か？

主な発見

• 定理1.1は、境界上に消える局所解に対して逆Hölder不等式（1.8）が成り立つ場合に限り、重み付き$W^{1,2}$推定が成り立つことを確立する。
• 条件（1.8）は、重み$\omega$、領域$\Omega$、係数行列$A$に明示的に依存しており、幾何的および解析的構造に敏感である。
• 定理1.2は、$A \in \text{VMO}(\mathbb{R}^d)$かつ$A$が周期的である場合、$\mathcal{L}_\varepsilon$の重み付き推定が、行列$\overline{A}$を有する定数係数作用素の同じ推定に還元されることを示す。
• べき乗重み$\omega_\sigma(x) = \text{dist}(x,\partial\Omega)^\sigma$に対して、$|\sigma| \leq 2\kappa$（$\kappa \in (0,1/2)$は次元、強制性、およびLipschitz性質に依存）で一様に推定が成り立つ。
• 定理7.2は、$\omega_\sigma(x) = \text{dist}(x,\partial\Omega)^\sigma$に対して$|\sigma| \leq 2\kappa$で重み付き$L^2$推定を証明し、ハーディー型不等式および$\psi_t(x) = \text{dist}(x,\partial\Omega) + t$による切断操作を用いる。
• 本手法により、均質化極限における一様推定が可能となり、（1.5）における定数$C_\omega$が$\varepsilon > 0$に依存しないことが保証される。