[論文レビュー] The boundary analog of the Carathéodory-Schur interpolation problem

V. Bolotnikov|arXiv (Cornell University)|Aug 19, 2010

Holomorphic and Operator Theory参考文献 13被引用数 6

ひとこと要約

本稿は、シュール関数に対する古典的カラテオドリ-シュール補間問題の境界版を確立し、単位円周上の点における非接線的境界展開が指定されたシュール関数の存在について、必要十分条件を提示する。主な結果は、境界データと2つの補助パラメータから構成される正定値行列を用いて可解性を特徴づけるものであり、古典的内部補間を境界設定に拡張し、明示的な一意性および有限性の条件を含む。

ABSTRACT

Characterization of Schur-class functions (analytic and bounded by one in modulus on the open unit disk) in terms of their Taylor coefficients at the origin is due to I. Schur. We present a boundary analog of this result: necessary and sufficient conditions are given for the existence of a Schur-class function with the prescribed nontangential boundary expansion $f(z)=s_0+s_1(z-t_0)+\ldots+s_N(z-t_0)^N+o(|z-t_0|^N)$ at a given point $t_0$ on the unit circle.

研究の動機と目的

• 単位円板内の内部点から単位円周上の境界点へ、古典的カラテオドリ-シュール補間問題を拡張すること。
• 点 $ t_0 \in \mathbb{T} $ における与えられた非接線的境界展開の次数 $ N $ をもつシュールクラス関数の存在を特徴づけること。
• このような関数が存在する条件、およびそれが一意的であるか、無限個の族を形成する条件を特定すること。
• 一意的である場合にその解が有限ブレーシュケ積として特定されることを示し、不定の場合の解集合の構造を記述すること。

提案手法

• 問題は、シュールクラス関数 $ f \in \mathcal{S} $ が、$ j = 0, \dots, N $ に対して非接線的境界極限 $ f_j(t_0) = s_j $ を満たすように見つけることとして定式化され、$ z \to t_0 $ の非接線的極限において $ f(z) = \sum_{j=0}^N s_j (z - t_0)^j + o(|z - t_0|^N) $ という漸近展開と同等である。
• 鍵となる構成は、係数 $ s_0, \dots, s_N $ から導かれる正定値行列 $ \mathbb{P}^\mathbf{s}_n $ と、高階微分とパラメータ $ R_0 $ を含む補助行列である。$ R_0 $ は境界挙動に関連する。
• 解の存在は、構造化された行列 $ \mathbb{P}^\mathbf{s}_n $ の正定値性によって決定され、複素数 $ R_0 $ および差 $ p^{\mathbf{s}}_{n+1,n} - \overline{p}^{\mathbf{s}}_{n,n+1} $ を含む追加条件が関与する。
• 解析にはカラテオドリ-ジュリア理論とシュール関数の性質、特に $ \frac{1 - |f(z)|^2}{1 - |z|^2} $ の境界近傍における挙動が用いられる。
• 証明は、補間データの再帰的拡張と、$ \mathcal{E}(t_0) = R_0 $ を満たす関数 $ \mathcal{E} \in \mathcal{S} $ の使用に依拠し、可解性は $ |R_0| < 1 $ かどうかに依存する。
• 解の一意性および有限性は、行列 $ \mathbb{P}^\mathbf{s}_n $ のランクに結びついており、$ \mathbb{P}^\mathbf{s}_n $ が特異であれば、一意的解は有限ブレーシュケ積である。

実験結果

リサーチクエスチョン

• RQ1 境界点 $ t_0 \in \mathbb{T} $ における指定された非接線的境界展開の次数 $ N $ をもつシュールクラス関数が存在するための条件は何か？
• RQ2 このような関数がいつ一意的であり、いつ無限個の解をもつのか？
• RQ3 解集合の構造（有限または無限）は、境界データから構成される関連行列の正定値性および特異性とどのように関係するか？
• RQ4 補助パラメータ $ R_0 $ および $ c_n(t_0) $ は、可解性を決定づける上で果たす役割は何か？
• RQ5 境界補間問題は古典的内部カラテオドリ-シュール問題とどのように関係し、解基準においてどのような主要な相違点があるか？

主な発見

• 係数 $ s_0, \dots, s_N $ から構成されるある行列 $ \mathbb{P}^\mathbf{s}_n $ が正定値であることに加え、$ R_0 $ と差 $ p^{\mathbf{s}}_{n+1,n} - \overline{p}^{\mathbf{s}}_{n,n+1} $ を含む補助条件が満たされるとき、$ t_0 \in \mathbb{T} $ における指定された境界展開をもつシュールクラス関数が存在する。
• $ |s_0| < 1 $ であれば、無限個の解が存在し、古典的ケースと整合する。
• $ |s_0| = 1 $ かつ $ \mathbb{P}^\mathbf{s}_n $ が特異であれば、一意的解が存在し、その解は $ \mathbb{P}^\mathbf{s}_n $ のランクに等しい次数の有限ブレーシュケ積である。
• $ |s_0| = 1 $、$ \mathbb{P}^\mathbf{s}_n > 0 $、および $ N = 2n - 1 $ の場合、無限個の解が存在する。
• $ |s_0| = 1 $、$ \mathbb{P}^\mathbf{s}_n > 0 $、および $ N > 2n $ の場合、解が存在するのは $ t_0(p^{\mathbf{s}}_{n+1,n} - \overline{p}^{\mathbf{s}}_{n,n+1}) > 0 $ であるときであり、この場合も無限個の解が存在する。さもなければ解は存在しない。
• $ |s_0| = 1 $、$ \mathbb{P}^\mathbf{s}_n > 0 $、および $ N = 2n $ の場合、解が存在するのは $ p^{\mathbf{s}}_{n+1,n} = \overline{p}^{\mathbf{s}}_{n,n+1} $ のときであり、この場合も無限個の解が存在する。