[論文レビュー] The wedge-of-the-edge theorem: edge-of-the-wedge type phenomenon within the common real boundary

J. E. Pascoe|arXiv (Cornell University)|Sep 18, 2017

Holomorphic and Operator Theory参考文献 10被引用数 3

ひとこと要約

本稿では、複素変数の複数変数における古典的なエッジ・オブ・ザ・ウェッジ定理の改良版として、ウェッジ・オブ・ザ・エッジ定理を導入する。2つの重なり合う超立方体が正の向きに配置され、小さな共通部分を有する場合、上部と下部の多角半平面に定義された解析関数は、重なり部分の均一近傍に解析接続可能であり、重なりの大きさに依存しない。この結果は、実境界自体に隠れた解析接続が存在することを示し、初期領域を越えて拡張されることを示している。

ABSTRACT

The edge-of-the-wedge theorem in several complex variables gives the analytic continuation of functions defined on the poly upper half plane and the poly lower half plane, the set of points in $\mathbb{C}^d$ with all coordinates in the upper and lower half planes respectively, through a set in real space, $\mathbb{R}^d.$ The geometry of the set in the real space can force the function to analytically continue within the boundary itself, which is qualified in our wedge-of-the-edge theorem. For example, if a function extends to the union of two cubes in $\mathbb{R}^d$ which are positively oriented, with some small overlap, the functions must analytically continue to a neighborhood of that overlap of a fixed size not depending of the size of the overlap.

研究の動機と目的

• 複素変数の複数変数における2つのウェッジの共通実境界内で解析接続が発生する幾何的条件を調査すること。
• ℝᵈ 内の実集合 U の形状と向きが、解析接続領域 D のサイズと構造に与える影響を理解すること。
• 重なり部分のサイズが任意に小さくても、実集合の重なり周辺に一様な解析性近傍を確立すること。
• 多項式補間法が最適な接続領域を捉える能力に限界があることの解明。
• 実集合 U が (−1,…,−1) から (1,…,1) への対角線分を含む場合、解析関数は全立方体 (−1,1)ᵈ まで解析接続可能であると予想すること。

提案手法

• 複素変数を錐 C 内の成分に分解することで、4次元問題への還元を実施し、実集合 U の構造を活用する。
• 実部と虚部の正負の組み合わせを含む4次元領域上で定義された変換関数 g(a,b,c,d) に対して、古典的なエッジ・オブ・ザ・ウェッジ定理を適用する。
• ℓ∞ 範数を一般化する錐誘導ノルム ‖·‖_C におけるノルム推定を用い、一様な接続バインディングを可能にする。
• Πⁿ ∪ U ∪ −Πⁿ 上に連続関数を構成し、その関数がウェッジ上で解析的であり、ウェッジ・オブ・ザ・エッジ定理を用いて 0 の一様近傍への接続を示す。
• コンformal 写像のアイデアを用いて境界を改善するが、多項式補間の使用により手法に限界がある。
• 有理関数の分母多項式の勾配に関する幾何的議論を用いて、全立方体への接続に関する予想を支援する。

実験結果

リサーチクエスチョン

• RQ1 実集合 U ⊂ ℝᵈ にどのような幾何的条件が満たされると、解析接続が境界内部で発生するのか（外部でのみではなく）？
• RQ2 U の重なり部分の周囲における解析接続近傍のサイズは、重なりの大きさに依存せず一様に有界にできるか？
• RQ3 重なり領域の向き（例：2つの超立方体）が解析接続の範囲に与える影響は何か？
• RQ4 このような状況下で、多項式補間法が最適な解析接続領域をどの程度正確に捉えることができるか？
• RQ5 Πⁿ ∪ −Πⁿ 上で解析的で、Πⁿ ∪ U ∪ −Πⁿ 上で連続であり、U が (−1,…,−1) から (1,…,1) への対角線分を含む任意の関数が、全立方体 (−1,1)ⁿ まで解析接続可能であるか？

主な発見

• 任意の ε > 0 に対して、Πᵈ ∪ −Πᵈ 上で解析的で、Πᵈ ∪ (−1,ε)ᵈ ∪ (−ε,1)ᵈ ∪ −Πᵈ 上で連続な関数は、ε に依存しない開集合 D に解析接続可能であり、0 の一様近傍を含む。
• 重なり部分 (−1,ε)ᵈ と (−ε,1)ᵈ の縮小がゼロに近づいても、D は固定された半径の球を ‖·‖_C 範数で含む。
• 定理は実境界内に非自明な解析接続を確立し、実集合 U が関数を予想外に大きな領域へ「ウェッジ」する可能性を示している。
• 結果は一様である：重なり ε → 0 の際にも、接続近傍のサイズは縮小しない。
• 反例により、多項式補間法が最適な接続領域を完全に捉えられていないことが示されている。有理関数の特異点が多角上半平面に存在するにもかかわらず、補間条件を満たす例が存在する。
• 有理関数の幾何的議論により予想が支持されている：有理関数の特異集合が上部と下部のウェッジを避ける場合、その勾配はすべて正の成分を持つ必要がある。U が対角線分を含む場合、これは全立方体への接続を示唆する。