[论文解读] Sectorial extensions for ultraholomorphic classes defined by weight functions

Javier Jiménez-Garrido, Javier Sanz+1 more|arXiv (Cornell University)|May 24, 2018

Holomorphic and Operator Theory被引用 2

一句话总结

该论文通过实解析Whitney延拓技术而非复积分方法，建立了基于Braun-Meise-Taylor权函数定义的超全纯类的扇形延拓定理。证明了在开口小于π(γ(ω)−1)的扇形中，Roumieu型类的Borel映射是满射，并通过约化方法将此结果推广至Beurling型类，其中γ(ω) > 1为控制扇形大小的关键增长指数。

ABSTRACT

We prove an extension theorem for ultraholomorphic classes defined by so-called Braun-Meise-Taylor weight functions and transfer the proofs from the single weight sequence case from V. Thilliez [28] to the weight function setting. We are following a different approach than the results obtained in [11], more precisely we are working with real methods by applying the ultradifferentiable Whitney-extension theorem. We are treating both the Roumieu and the Beurling case, the latter one is obtained by a reduction from the Roumieu case.

研究动机与目标

• 通过实方法将V. Thilliez关于Denjoy-Carleman超全holomorphic类的结果推广至权函数设定。
• 为由权函数ω定义的Roumieu型超全holomorphic类建立Borel映射的满射性，其中γ(ω) > 1。
• 通过将Beurling型情形约化为Roumieu型情形，将结果推广至Beurling型类。
• 阐明Legendre共轭以及上下包络在通过±1调整增长指数γ(ω)中的作用。
• 解决当权矩阵非强正则时，特别是在分支扇形中出现的技术难题。

提出的方法

• 采用基于超拟微分Whitney延拓定理的实解析方法，避免先前工作中使用的复积分方法。
• 利用Legendre共轭ϕ∗ω定义并分析增长指数γ(ω)，将其与权序列的古典指数γ(M)联系起来。
• 通过Legendre-Fenchel变换构造最优平坦函数，借鉴[11]和[28]中的技术。
• 将Whitney延拓定理应用于由权函数ω对应的典范权矩阵导出的序列Wx，确保与超拟微分类的兼容性。
• 通过为权矩阵引入特殊的分支构造，处理开口大于2π的分支扇形，推广[11]中的结果。
• 利用先前在[28]中应用过的方法，基于权函数及其共轭的结构，将Beurling情形约化为Roumieu情形。

实验结果

研究问题

• RQ1 Thilliez基于Whitney的Denjoy-Carleman类延拓方法能否被适配至由权函数定义的超全holomorphic类？
• RQ2 在权函数设定下，Borel映射满射性的精确扇形开口阈值是什么？其如何由γ(ω)控制？
• RQ3 Legendre共轭以及上下包络如何影响增长指数γ(ω)？它们如何用于调整类的层级？
• RQ4 当权序列Wx非强正则时，延拓过程中会遇到哪些技术障碍？如何克服？
• RQ5 在权函数框架下，Beurling型延拓结果能否从Roumieu型结果推导得出？

主要发现

• 在开口小于π(γ(ω)−1)的扇形中，为超全holomorphic Roumieu类建立了Borel映射的满射性，其中γ(ω) > 1。
• 关键增长指数γ(ω)控制着延拓定理成立的最大扇形开口，将Thilliez的结果推广至权函数设定。
• 通过约化为Roumieu情形，获得了Beurling型延拓结果，将适用范围扩展至[11]中之前的工作。
• 使用Legendre共轭可通过对上下包络的调整，使增长指数γ(ω)±1，从而实现灵活的类层级分析。
• 对于满足(ω7)的权函数，有γ(ω) = +∞，此时延拓理论显著简化，因为分支构造变得冗余。
• 与ω相关的典范权矩阵确保了与超拟微分类的兼容性，且当(ω7)成立时，该矩阵可被一个等价的强非拟解析序列矩阵所替代。