[论文解读] Sets of uniqueness for uniform limits of polynomials in several complex variables

Konstantinos G. Makridis, Vassili Nestoridis|arXiv (Cornell University)|Apr 19, 2013

Analytic and geometric function theory参考文献 14被引用 5

一句话总结

本文研究了多复变函数中多项式一致极限的唯一性集合，重点关注闭单位球面 $\overline{B}_n$ 和无限多圆柱体 $\overline{D}^I$。研究证明，具有正测度的区分边界紧子集在经典度量与弦度量设定下均为唯一性集合，通过富比尼型论证和分别全纯性，将普里瓦洛夫定理推广至高维情形。

ABSTRACT

We investigate the sets of uniform limits $A(\bar{B}_n)$, $A(\bar{D}^I)$ of polynomials on the closed unit ball $\bar{B}_n$ of $\mathbb{C}^n$ and on the cartesian product $\bar{D}^I$ where $I$ is an arbitrary set and $\bar{D}$ is the closed unit disc in $\mathbb{C}$. We introduce the notion of set of uniqueness for $A(\bar{D}^I)$ (respectively for $A(\bar{B}_n)$) for compact subsets $K$ of $T^I$ (respectively of $\partial \bar{B}_n$) where $T=\partial D$ is the unit circle. Our main result is that if $K$ has positive measure then $K$ is a set of uniqueness. The converse does not hold. Finally, we do a similar study when the uniform convergence is not meant with respect to the usual Euclidean metric in $\mathbb{C}$, but with respect to the chordal metric $χ$ on $\mathbb{C} \cup \{\infty \}$.

研究动机与目标

• 将普里瓦洛夫定理中关于单位圆盘的唯一性集合结果推广至高维域，如闭单位球面 $\overline{B}_n$ 和无限多圆柱体 $\overline{D}^I$。
• 定义并分析代数 $A(\overline{D}^I)$ 和 $A(\overline{B}_n)$ 的唯一性集合，其中包含一致极限为多项式的函数。
• 研究在 $\mathbb{C} \cup \{\infty\}$ 上用弦度量 $\chi$ 替代欧氏度量后，对统一极限多项式类及唯一性概念的影响，从而导出更大的代数 $\tilde{A}(\overline{D}^I)$ 和 $\tilde{A}(\overline{B}_n)$。
• 确定唯一性集合的正测度条件的逆命题是否成立，并探讨虽测度为零但仍为唯一性集合的反例。
• 建立代数 $A(\overline{D}^I)$ 和 $\tilde{A}(\overline{D}^I)$ 的拓扑与度量结构，包括稠密性与完备性性质。

提出的方法

• 将 $A(\overline{D}^I)$ 定义为在 $\overline{D}^I$ 上连续且在每个变量上分别全纯的函数空间，且为多项式的一致极限。
• 使用区分边界 $T^I = \partial \overline{D}^I$，并赋予其乘积测度以定义正测度集合。
• 在乘积测度设定下应用富比尼定理与普里瓦洛夫定理，证明 $A(\overline{D}^I)$ 中正测度蕴含唯一性。
• 将分析扩展至 $\tilde{A}(\overline{D}^I)$，其中函数可取值 $\infty$，并在该扩展设定下定义唯一性。
• 对于 $\overline{B}_n$，利用球面对称性，并在边界 $\partial \overline{B}_n$ 上使用自然面积测度，结合富比尼定理，证明正测度蕴含唯一性。
• 利用 $A(\overline{B}_n) \subseteq \tilde{A}(\overline{B}_n)$ 的事实，并通过多圆柱分解 $X_{r_1,\dots,r_{n-1}}$ 将球面结果与多圆柱结果关联。

实验结果

研究问题

• RQ1 在何种条件下，紧子集 $K \subseteq \partial \overline{D}^I$ 是 $A(\overline{D}^I)$ 的唯一性集合？
• RQ2 $A(\overline{D}^I)$ 的唯一性集合是否必有正测度，还是零测度集合也可能为唯一性集合？
• RQ3 在 $\mathbb{C} \cup \{\infty\}$ 上引入弦度量 $\chi$ 后，对多项式一致极限类及唯一性概念有何影响？
• RQ4 唯一性集合的正测度条件的逆命题在 $\tilde{A}(\overline{D}^I)$ 或 $A(\overline{B}_n)$ 中是否成立？
• RQ5 在拓扑、稠密性与完备性方面，代数 $A(\overline{D}^I)$ 与 $\tilde{A}(\overline{D}^I)$ 之间有何关系？

主要发现

• 若紧子集 $K \subseteq \partial \overline{D}^I$ 关于 $T^I$ 上的乘积测度具有正测度，则 $K$ 是 $A(\overline{D}^I)$ 的唯一性集合。
• 当 $I$ 至少包含两个元素时，存在紧子集 $K \subseteq \partial \overline{D}^I$ 测度为零，但仍为 $A(\overline{D}^I)$ 的唯一性集合。
• 对于单位球面 $\overline{B}_n$，任意具有正测度的紧子集 $K \subseteq \partial \overline{B}_n$ 均为 $A(\overline{B}_n)$ 与 $\tilde{A}(\overline{B}_n)$ 的唯一性集合。
• 当 $n \geq 2$ 时，逆命题不成立：存在 $A(\overline{B}_n)$ 的零测度唯一性集合，例如 $X_{r_1,\dots,r_{n-1}}$（$r_j > 0$）。
• $\tilde{A}(\overline{D}^I)$ 严格包含 $A(\overline{D}^I)$，且在自然拓扑下，$A(\overline{D}^I)$ 在 $\tilde{A}(\overline{D}^I)$ 中为开集且稠密。
• $\tilde{A}(\overline{D}^I)$ 中的函数在 $\overline{D}^I$ 上连续，且在每个变量上分别属于 $\tilde{A}(\overline{D})$；若紧子集 $K \subseteq T^I$ 具有正测度，则 $K$ 是 $\tilde{A}(\overline{D}^I)$ 的唯一性集合。