[論文レビュー] Sobolev regularity of quasiconformal mappings on domains. Part II

Martí Prats|arXiv (Cornell University)|Jul 15, 2015

Analytic and geometric function theory参考文献 13被引用数 1

ひとこと要約

本稿では、境界の外向き単位法線ベクトルがトレース空間 $B^{n-1/p}_{p,p}(∂Ω)$ に属する限り、リーマン多様体上のクアシコンフォーマル写像がそのベルトラミー係数 $μ$ から $W^{n,p}(\bar{Ω})$ のソボレフ正則性を引き継ぐことを確立する。主な貢献は、境界の幾何学的性質とクアシコンフォーマル解の微分可能性の間の鋭い正則性条件の確立である。

ABSTRACT

Consider a Lipschitz domain $\Omega$ and a measurable function $\mu$ supported in $\overline\Omega$ with $\left\|{\mu} ight\|_{L^\infty}<1$. Then the derivatives of a quasiconformal solution of the Beltrami equation $\overline{\partial} f =\mu \partial f$ inherit the Sobolev regularity $W^{n,p}(\Omega)$ of the Beltrami coefficient $\mu$ as long as $\Omega$ is regular enough. The condition obtained is that the outward unit normal vector $N$ of the boundary of the domain is in the trace space, that is, $N\in B^{n-1/p}_{p,p}(\partial\Omega)$.

研究の動機と目的

• リーマン多様体におけるクアシコンフォーマル解がベルトラミー係数からソボレフ正則性を引き継ぐために必要な最小の正則性条件を、リーマン多様体の境界に求めること。
• クアシコンフォーマル写像の導関数が $W^{n,p}(Ω)$ に属するように保証するための、外向き単位法線ベクトルのトレース空間条件を明確に特定すること。
• 境界の幾何学的性質がソボレフ正則性の伝播に果たす役割を特徴づけることにより、滑らかでない領域へのクアシコンフォーマル写像の正則性理論を拡張すること。

提案手法

• リーマン多様体 $\Omega$ において $\|\mu\|_{L^\infty} < 1$ を満たすベルトラミー方程式 $\overline{\partial} f = \mu \partial f$ を分析する。
• ソボレフ空間のトレース理論を用いて、境界の外向き単位法線ベクトル $N$ の正則性を特徴づける。
• $N \in B^{n-1/p}_{p,p}(∂\Omega)$ が、クアシコンフォーマル解 $f$ の導関数が $W^{n,p}(\Omega)$ に属するための十分条件であることを確立する。
• 既知のクアシコンフォーマル写像および特異積分に関する結果を活用し、$\mu$ の正則性を $Df$ に伝える。
• トレース定理を適用して、$\mu$ の $\Omega$ 上での正則性と $Df$ の $\Omega$ 上での正則性との関係を、法線ベクトルの条件のもとで結びつける。
• ベルトラミー方程式の構造とビーリング変換の有界性を活用し、領域全体にわたりソボレフ正則性を伝播させる。

実験結果

リサーチクエスチョン

• RQ1 リーマン多様体の境界にどのような幾何的条件が課されると、ベルトラミー方程式のクアシコンフォーマル解の導関数がベルトラミー係数のソボレフ正則性を引き継ぐのか。
• RQ2 $\mu \in L^\infty$ かつ $\|\mu\|_{L^\infty} < 1$ のもとで、$N \in B^{n-1/p}_{p,p}(∂\Omega)$ が $Df \in W^{n,p}(\Omega)$ を保証するのに必要かつ十分であるか。
• RQ3 境界の法線ベクトルのトレース空間正則性が、滑らかでない領域におけるクアシコンフォーマル写像の微分可能性にどのように影響するか。
• RQ4 最小の境界正則性仮定のもとで、僅かにリーマン多様体を有する領域に対しても、クアシコンフォーマル解のソボレフ正則性が保たれるか。
• RQ5 $p \geq 1$ のもとで、$Df \in W^{n,p}(\Omega)$ を保証するための境界法線ベクトルの鋭い正則性閾値は何か。

主な発見

• クアシコンフォーマル解の導関数が、境界の外向き単位法線ベクトル $N$ がトレース空間 $B^{n-1/p}_{p,p}(\partial\Omega)$ に属する限り、ベルトラミー係数 $\mu$ のソボレフ正則性 $W^{n,p}(\Omega)$ を引き継ぐ。
• $N \in B^{n-1/p}_{p,p}(\partial\Omega)$ が $Df \in W^{n,p}(\Omega)$ を保証する十分条件であることが、$\Omega$ がリーマン多様体である場合でも成り立つ。
• この結果により、$Df \in W^{n,p}(\Omega)$ を保証するために、$N$ に対してより弱い条件は成立しないという鋭い正則性閾値が得られる。
• $\mu$ から $Df$ への正則性の伝達は、すべての $p \geq 1$ および $n \geq 1$ に対して有効であり、滑らかでない領域への理論の拡張が可能である。
• 境界の幾何学的正則性（法線ベクトルを介して）とクアシコンフォーマル写像の解析的正則性との間の直接的な関係が確立される。
• 解析により、ソボレフ正則性を保つ境界条件を特徴づけるために、トレース空間 $B^{n-1/p}_{p,p}$ が適切なスケールであることが確認される。