[论文解读] Constructive Function Theory on Sets of the Complex Plane through Potential Theory and Geometric Function Theory

В. В. Андриевскии|ArXiv.org|Jan 27, 2006

Mathematical functions and polynomials参考文献 81被引用 10

一句话总结

本文通过整合势论与几何函数论，提出了一套关于复平面上紧致子集的构造函数理论的统一框架。该框架利用共形不变量、容量、Green函数及John域性质，建立了精确的多项式不等式与逼近定理，关键成果包括Green函数的Hölder连续性结果，以及在一致完美集与Cantor型集合上多项式逼近的几何收敛速率。

ABSTRACT

This is a survey of some recent results concerning polynomial inequalities and polynomial approximation of functions in the complex plane. The results are achieved by the application of methods and techniques of modern geometric function theory and potential theory.

研究动机与目标

• 通过势论与几何函数论的工具，发展一种系统化的方法，用于复平面上紧致子集的多项式逼近与不等式研究。
• 以Hölder连续性与容量为度量，刻画Cantor型集与一致完美集上Green函数与平衡测度的光滑性。
• 通过引入共形不变量与复平面上集合的度量性质，推广经典逼近定理（如Nikol’skii-Timan-Dzjadyk不等式与Remez型不等式）。
• 建立多项式逼近在非负实轴上逼近整函数倒数时几何收敛的充要条件。
• 探究紧致集的几何性质（如一致完美性、Hausdorff维数）与最佳多项式逼近误差衰减速率之间的相互作用。

提出的方法

• 利用紧致集外部到单位圆外部的共形映射（带径向切口）来表示对数容量、Green函数与平衡测度。
• 应用拟共形映射与共形不变量（如调和测度、模长与极值长度）理论，分析Green函数与测度的度量与光滑性性质。
• 通过将[0,1]外部共形映射到单位圆外部（具有限或无限多个切口）的方式，提出Green函数与平衡测度的新表示方法。
• 通过控制对数势在有界区域上的指数，利用已知的集合对数容量，建立Remez型不等式。
• 利用一致完美集与John域之间的联系，推导多项式逼近中几何收敛的条件。
• 应用极值长度与共形不变量理论，基于模连续性与集合几何，推导逼近误差的衰减估计。

实验结果

研究问题

• RQ1 对于紧致集 $E \subset \mathbb{R}$，在何种条件下，Green函数 $g_{\Omega}$ 在指数为 $1/2$ 时为Hölder连续？
• RQ2 能否通过容量与共形不变量，将经典Nikol’skii-Timan-Dzjadyk定理在 $[-1,1]$ 上的多项式逼近推广至 $\mathbb{R}$ 中的任意紧致集？
• RQ3 Green函数在某点为 $1/2$-Hölder连续的条件，是否等价于该点处集合的对数容量密度与完整区间 $[0,1]$ 相同？
• RQ4 在 $[0,\infty)$ 上，多项式逼近整函数倒数的几何收敛是否意味着函数在特定扇形区域内的最大模满足特定增长条件？
• RQ5 一致完美集类是否恰好是满足Dzjadyk型逼近定理（含同时插值与指数衰减）的集合类？

主要发现

• 对于紧致集 $E \subset [0,1]$，若Green函数 $g_{\Omega}$ 在 $0$ 处为 $1/2$-Hölder连续，则 $E$ 在 $0$ 处的对数容量密度等于完整区间 $[0,1]$ 的对数容量密度。
• 构造了两个具有最小Hausdorff维数的集合例子：一个具有全局 $1/2$-Hölder连续的Green函数，另一个具有局部 $1/2$-Hölder连续的Green函数。
• 在假设 $f$ 为整函数且收敛为几何收敛的前提下，证明了 $f$ 满足几何收敛条件 (4.63) 当且仅当其满足增长条件 (4.63) 且 $s>1$。
• 推导出在 $[0,\infty)$ 上，多项式逼近 $1/f$ 几何收敛的新的充要条件，其中 $f$ 为整函数。
• 将Dzjadyk型逼近定理推广至复平面上的连通集，实现同时插值与衰减速率 $e^{-cn^{\alpha}}$（$c,\alpha>0$，与 $n$ 无关）。
• 对 $E=[a,b]$ 的猜想 $E_n(f,E) = O(n^{-\alpha})$ 当且仅当 $|f(x_2)-f(x_1)| \leq c \delta(x_1,|x_2-x_1|)^\alpha$ 已被证实，并将其作为开放问题推广至一致完美集。