[論文レビュー] On Dirichlet problem for Beltrami equations with two characteristics

Bogdan Bojarski, Vladimir Gutlyanskiî+1 more|arXiv (Cornell University)|Nov 2, 2012

Analytic and geometric function theory参考文献 20被引用数 3

ひとこと要約

本稿は、任意のジョルダン領域における特異的でないベルトラミ方程式のディリクレ問題に対して、正則解の存在を保証する十分条件を確立する。有界な歪み係数理論に基づく近似手続きと収束定理を用いて、歪み係数 $ K_{\mu,\nu} $ が特定の積分的指数的可積分性条件を満たすならば、非定数連続境界データに対して正則解が存在することを証明する。

ABSTRACT

We establish a series of criteria on the existence of regular solutions for the Dirichlet problem to general degenerate Beltrami equations ${\bar{\partial}}f = μ{\partial f}+ν{\bar{\partial f}}$ in arbitrary Jordan domains in $\C$.

研究の動機と目的

• 一般の特異的でないベルトラミ方程式（2つの可測係数 $ \mu $ と $ \nu $ を持つ）のディリクレ問題に対して、ジョルダン領域内における正則解の存在基準を確立すること。
• 歪み係数 $ K_{\mu,\nu} \in L^\infty $ の一様楕円型の場合を越えて、$ K_{\mu,\nu} \in L^1_{\text{loc}} $ だが可能なかぎり有界でない場合にまで可解理論を拡張すること。
• $ K_{\mu,\nu} $ の成長に対する十分条件を提示し、連続的かつ非退化するヤコビアンを持つ、離散的で開かつ非消失する解の存在を保証すること。
• 2つの特徴を持つ場合に、以前の縮小ベルトラミ方程式およびホメオモルフィック解に関する結果を一般化すること。
• 特定の積分的条件を満たす凸かつ非減少関数 $ \Phi $ を用いて、既存の基準を統合的かつ拡張すること。

提案手法

• 一様楕円型の場合（$ K_{\mu,\nu} \in L^\infty $）における既知の存在定理を、コンformal写像とシュワルツの公式を用いて近似解手順に適応する。
• 歪み係数 $ K_{\mu,\nu} \in L^1_{\text{loc}} $ を持つベルトラミ方程式に対する収束定理を適用し、近似列における極限に移行する。
• シュワルツの公式を用いて境界上の実部から正則関数を回復し、準正則写像との合成により解の構成を可能にする。
• ストロイロウ因数分解定理を用いて、解を $ f = \mathcal{A} \circ h $ の形に表現する。ここで $ h $ はベルトラミ方程式のホメオモルフィック解であり、$ \mathcal{A} $ は正則関数である。
• $ K_{\mu,\nu} $ に凸かつ非減少関数 $ \Phi $ を用いた積分的条件を課す。特に、$ \int_D \Phi(K_{\mu,\nu}) \, dxdy < \infty $ の形の指数型成長制御を含む。
• $ \Phi $ が $[T, \infty) $ で凸かつ非減少であれば十分であり、一般性を失わず、切り捨てと上界となる凸関数への置換が可能である。

実験結果

リサーチクエスチョン

• RQ1 係数 $ \mu $ と $ \nu $ がどのような条件下で、ジョルダン領域内における特異的でないベルトラミ方程式 $ \overline{\partial}f = \mu \partial f + \nu \overline{\partial f} $ のディリクレ問題が正則解を有するか？
• RQ2 歪み係数 $ K_{\mu,\nu} $ が本質的に有界ではなく、より弱い可積分性条件を満たす場合でも、正則解の存在を保証できるか？
• RQ3 境界データ $ \varphi \not\equiv \text{const} $ が非定数解の存在を保証するために果たす役割は何か？
• RQ4 指数的可積分性条件、例えば $ \int_{D \cap U_{z_0}} e^{\alpha(z_0) K_{\mu,\nu}(z)} \, dxdy < \infty $ が、ディリクレ問題の可解性とどのように関係するか？
• RQ5 可解性理論を、$ \lambda $ が可測で $ |\lambda| < 1 $ almost everywhere を満たす形式の縮小ベルトラミ方程式 $ f_{\overline{z}} = \lambda(z) \, \text{Re}(f_z) $ にまで拡張できる範囲はどの程度か？

主な発見

• ジョルダン領域 $ D $ 内で、歪み係数 $ K_{\mu,\nu} $ が $ \int_D \Phi(K_{\mu,\nu}) \, dxdy < \infty $ を満たす非減少凸関数 $ \Phi $ が少なくとも (5.21)–(5.26) のいずれかの条件を満たす場合、特異的でないベルトラミ方程式 $ f_{\overline{z}} = \mu f_z + \nu \overline{f_z} $ のディリクレ問題は正則解を有する。
• 可解性の十分条件として、$ K_{\mu,\nu} $ の局所的指数的可積分性が挙げられる。すなわち、各 $ z_0 \in \overline{D} $ の近傍 $ U_{z_0} $ に対して、ある $ \alpha(z_0) > 0 $ が存在し、$ \int_{D \cap U_{z_0}} e^{\alpha(z_0) K_{\mu,\nu}(z)} \, dxdy < \infty $ が成り立つこと。
• この結果は、$ \lambda $ が可測で $ |\lambda| < 1 $ a.e. を満たす縮小ベルトラミ方程式 $ f_{\overline{z}} = \lambda(z) \, \text{Re}(f_z) $ にまで拡張可能であり、$ K_\lambda = \frac{1+|\lambda|}{1-|\lambda|} $ に対して同じ指数的可積分性条件が成り立つ。
• 解は、$ f = \mathcal{A} \circ h $ の形で構成され、ここで $ h $ はベルトラミ方程式のホメオモルフィック解であり、$ \mathcal{A} $ は正則関数である。この構成は、コンformal写像とシュワルツの公式を用いて得られる。
• $ \Phi $ に関する条件は、同じ積分制約下で対応するベルトラミ方程式のホメオモルフィック解の存在に関して、必要かつ十分である。
• 条件が $[T, \infty) $ で凸かつ非減少であれば十分であり、$[0, \infty) $ 上で定義された凸関数によって上から支配される限り、切り捨てと凸拡張が可能であるため、一般性を失わず、結果は依然有効である。