[论文解读] 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

一句话总结

本文提出了楔形边定理（wedge-of-the-edge theorem），这是多复变函数中经典边定理的改进版本，表明当ℝᵈ中的两个重叠的超立方体呈正向排列且具有微小的公共重叠区域时，定义在上下多半个空间上的解析函数可解析延拓至重叠区域的统一邻域，且该延拓与重叠大小无关。结果揭示了实边界内部存在隐藏的解析延拓，其范围超越了初始定义域。

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.

研究动机与目标

• 研究在多复变函数中，两个楔形的公共实边界内部发生解析延拓的几何条件。
• 理解ℝᵈ中实集U的形状与方向如何影响解析延拓域D的大小与结构。
• 在实集的重叠区域建立统一的解析邻域，即使重叠区域任意微小亦成立。
• 探讨多项式插值方法在捕捉最优延拓域方面的局限性。
• 推测当实集包含从(−1,…,−1)到(1,…,1)的对角线线段时，解析延拓可扩展至整个立方体(−1,1)ᵈ。

提出的方法

• 通过将复变量分解到一个锥C中的分量，将问题约化为四维问题，利用实集U的结构。
• 对定义在涉及实部与虚部正负组合的四维区域上的变换函数g(a,b,c,d)应用经典边定理。
• 依赖于锥诱导范数‖·‖_C中的范数估计，该范数推广了ℓ∞范数，从而允许统一的延拓界。
• 构造Πⁿ ∪ U ∪ −Πⁿ上的连续函数，其在楔形区域上解析，并利用楔形边定理证明其可延拓至0的统一邻域。
• 采用共形映射思想以改进界，但该方法受限于多项式插值的使用。
• 利用有理函数分母多项式梯度的几何论证，支持关于全立方体延拓的猜想。

实验结果

研究问题

• RQ1 在ℝᵈ中的实集U ⊂ ℝᵈ满足何种几何条件时，解析延拓可发生在边界内部，而非仅在边界外部？
• RQ2 能否对实集U中重叠区域的解析延拓邻域大小建立统一的界，且与重叠大小无关？
• RQ3 重叠区域的朝向（例如两个超立方体）如何影响解析延拓的范围？
• RQ4 多项式插值方法在该设定下能多大程度上捕捉最优解析延拓域？
• RQ5 是否成立：任何在Πⁿ ∪ −Πⁿ上解析、在Πⁿ ∪ U ∪ −Πⁿ上连续的函数，若U包含从(−1,…,−1)到(1,…,1)的对角线线段，则其必可解析延拓至整个立方体(−1,1)ⁿ？

主要发现

• 对任意ε > 0，定义在Πᵈ ∪ −Πᵈ上且在Πᵈ ∪ (−1,ε)ᵈ ∪ (−ε,1)ᵈ ∪ −Πᵈ上连续的函数，可解析延拓至一个包含0的统一邻域的开集D，且该D与ε无关。
• 即使(−1,ε)ᵈ与(−ε,1)ᵈ之间的重叠趋于零，该域D在‖·‖_C范数下仍包含一个固定半径的球。
• 该定理建立了实边界内部的非平凡解析延拓，表明实集U可将函数‘楔入’一个比直观预期更大的定义域。
• 结果具有统一性：当ε → 0时，延拓邻域的大小不会缩小。
• 该方法未能完全捕捉最优延拓域，如反例所示：某些有理函数虽满足插值条件，但其奇点位于多上半空间内，导致方法失效。
• 通过有理函数的几何论证支持该猜想：若某有理函数的奇点集避开上楔形与下楔形，则其梯度必全为正分量，从而当U包含对角线时，可实现全立方体延拓。