[論文レビュー] Some properties of a class of elliptic partial differential operators

Shaolin Chen, Матти Вуоринен|arXiv (Cornell University)|Dec 26, 2014

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

ひとこと要約

本稿は、調和関数に対する古典的結果を一般化し、第二順位の楕円型微分作用素 $ T_{\beta} $ の解について、Schwarz-Pick 型推定と係数の上限を確立する。また、$ L^p $-ノルム制約下で、単葉写像に対して Landau 型の定理を導出し、その像内に単葉な円板が存在することを証明する。

ABSTRACT

We prove Schwarz-Pick type estimates and coefficient estimates for a class of elliptic partial differential operators introduced by Olofsson. Then we apply these results to obtain a Landau type theorem.

研究の動機と目的

• 調和関数から得られる古典的 Schwarz-Pick および係数推定を、作用素 $ T_{\alpha} $ で定義されるより広いクラスの楕円型偏微分方程式の解へ拡張すること。
• 単位円板 $ \mathbb{D} $ におけるディリクレ問題 $ T_{\alpha}(f) = 0 $ の解の幾何学的および解析的性質を調査すること。
• $ L^p $-ノルム制約下で、解の像内に単葉な円板が存在することを保証する Landau 型定理を導出すること。
• $ \alpha $-依存の上限を用いて、作用素ノルム $ \|D_f(z)\| $ に対する Heinz 型不等式を一般化すること。
• 超幾何関数を含む積分表現を用いて、鋭い推定に達する極値関数を特徴づけること。

提案手法

• 解 $ f $ に対する Poisson 型積分表現 (1.3) を用い、核関数 $ K_{\alpha}(z) = c_{\alpha} \frac{(1-|z|^2)^{\alpha+1}}{|1-z|^{\alpha+2}} $ を導入する。
• $ x \mapsto x^p $ の凸性を活用し、境界データの $ L^p $-ノルムに Jensen の不等式を適用することで、$ |f(z)| $ および $ \|D_f(z)\| $ の点ごとの上限を導出する。
• 平均核値を表すために、超幾何関数表現 $ \mathcal{M}_{\alpha}(r) = \frac{[\Gamma(1+\alpha/2)]^2}{\Gamma(1+\alpha)} F(-\alpha/2, -\alpha/2; 1; r^2) $ を用いる。
• $ \|D_f(z)\| \leq \frac{M \mathcal{M}_{\alpha}(|z|) [2+\alpha + (4+3\alpha)|z|]}{1-|z|^2} $ という式を用いて、$ \|D_f(z)\| $ の鋭い上限を導出する。ここで $ M = \sup |f| $ である。
• 等角不変性と $ Q(\zeta) = f(\gamma \zeta)/\gamma $ を用いた正規化により、単葉性を極値係数推定に還元する。
• $ \frac{\lambda}{M^*(2+\alpha)} - \frac{4M^*\rho_0}{\pi} \left[ \frac{2-\rho_0}{(1-\rho_0)^2} + \none \right] = 0 $ という条件を用いて、最大単葉円板半径 $ \rho_0 $ を特定する。

実験結果

リサーチクエスチョン

• RQ1 単位円板における楕円型偏微分方程式 $ T_{\alpha}(f) = 0 $ の解に対して、鋭い Schwarz-Pick 型推定は何か？
• RQ2 $ T_{\alpha} $-調和関数の係数推定は、パrameter $ \alpha $ および境界データの $ L^p $-ノルムにどのように依存するか？
• RQ3 $ T_{\alpha} $-調和写像に対して、Landau 型定理を確立でき、正の半径を持つ単葉な像円板を保証できるか？
• RQ4 正規化写像 $ Q(\zeta) = f(\gamma\zeta)/\gamma $ が単葉となる最大の円板 $ \mathbb{D}_{\rho_0} $ の最適半径 $ \rho_0 $ は何か？
• RQ5 $ \|D_f(z)\| $ および $ |f(z)| $ の推定において、鋭い上限に達する極値関数は何か？

主な発見

• 本稿は、$ \alpha > -1 $ に対して、鋭い推定 $ \left|f(z) - \frac{(1-|z|)^{\alpha+1}}{1+|z|} f(0) \right| \leq M \left[ \frac{1}{2\pi} \int_0^{2\pi} K_{\alpha}(ze^{-it}) dt - \frac{(1-|z|)^{\alpha+1}}{1+|z|} K_{\alpha}(0) \right] $ を確立する。
• また、$ \|D_f(z)\| \leq \frac{M \mathcal{M}_{\alpha}(|z|) [2+\alpha + (4+3\alpha)|z|]}{1-|z|^2} $ が成り立ち、ここで $ \mathcal{M}_{\alpha}(r) = \frac{[\Gamma(1+\alpha/2)]^2}{\Gamma(1+\alpha)} F(-\alpha/2, -\alpha/2; 1; r^2) $ であり、この上限は鋭い。
• $ f \in \mathcal{C}^2(\mathbb{D}) $ かつ $ \|f\|_p < \infty $ のとき、すべての $ z \in \mathbb{D} $ に対して $ |f(z)| \leq c_{\alpha}^{1/p} \|f\|_p \frac{(1+|z|)^{\frac{\alpha+1}{p}}}{(1-|z|)^{1/p}} $ が成り立つ。ここで $ c_{\alpha} = \frac{[\Gamma(1+\alpha/2)]^2}{\Gamma(1+\alpha)} $ である。
• 正規化写像 $ Q(\zeta) = f(\gamma\zeta)/\gamma $ は、$ \rho_0 $ が $ \frac{\lambda}{M^*(2+\alpha)} - \frac{4M^*\rho_0}{\pi} \left[ \frac{2-\rho_0}{(1-\rho_0)^2} + \frac{2\rho_0}{(1-\rho_0)(1-\rho_0^2)^2} \right] = 0 $ を満たす $ \mathbb{D}_{\rho_0} $ で単葉である。ここで $ M^* = c_{\alpha}^{1/p} \|f\|_p \mu(\gamma_0) $ である。
• 像 $ f(\mathbb{D}_{\gamma_0 \rho_0}) $ には、$ R_0 \geq \frac{2\rho_0}{3} \left[ \frac{\lambda}{M^*(2+\alpha)} - \frac{M^*\rho_0(2-\rho_0)}{\pi(1-\rho_0)^2} \right] $ を満たす単葉な円板 $ \mathbb{D}_{R_0} $ が含まれており、単葉像半径に対する定量的下界が得られる。
• 鋭い推定に達する極値関数は、$ f(z) = \frac{2\gamma}{\pi} \arg\left( \frac{1+\psi(z)}{1-\psi(z)} \right) $ の形をとり、ここで $ \gamma \in \partial\mathbb{D} $、$ \psi $ は $ \mathbb{D} $ の等角自己同型写像であり、$ \alpha = 0 $ の場合にヘインツおよびコロンナの古典的結果が回復され、この場合に上限が鋭い。