[论文解读] Ideals in some Rings of Nevanlinna-Smirnov Type

Romeo Meštrović|arXiv (Cornell University)|Apr 9, 2018

Holomorphic and Operator Theory参考文献 7被引用 5

一句话总结

本文证明了单位圆盘上的全纯函数类 $N^p$（其中 $1 < p < u$）构成一类 Névainna–Smirnov 型环，从而可将 Mortini 的理论应用于其理想结构分析。关键贡献是 [7] 中定理 6 的 $N^p$ 类似形式：若一个由内函数生成的有限生成理想包含一个插值 Blaschke 乘积，且其零点 $">z_k\}$ 满足 $\sum_k (1 - |z_k|^2) |\log(\sum |\varphi_i(z_k)|)|^p < \infty$，则该理想等于整个代数 $N^p$，从而证实该理想即为整个环。

ABSTRACT

Let $N^p$ $(1

研究动机与目标

• 研究 $N^p$ 类的理想结构，其为 Névainna–Smirnov 型环。
• 将 Mortini 关于 Névainna–Smirnov 型环中理想的结论推广至 $N^p$ 框架。
• 建立 $N^p$ 中由内函数生成的有限生成理想等于整个代数 $N^p$ 的判别准则。
• 证明 $N^p$ 满足科罗纳性质。
• 将 [7] 中的定理 6 推广至 $N^p$ 框架，提供理想等于整个环的充分条件。

提出的方法

• 利用 $N^p$ 中函数的典型分解：即分解为 Blaschke 乘积、奇异内函数与外函数。
• 应用 Mortini 对 Névainna–Smirnov 型环的框架，推导出 $H^\infty$ 中的理想是 $N^p$ 中理想的迹的条件。
• 利用 Blaschke 乘积的插值性质及 $H^p$ 插值定理，分析函数在插值序列处的取值。
• 使用不等式 $ (a + b)^p \leq 2^{p-1}(a^p + b^p) $ 来控制收敛判别准则中的对数项。
• 应用 Shapiro 和 Shields 的定理，构造一个函数 $ g \in H^p $，使其在插值点处取值为 $ \log c_k $。
• 通过 $ F = \exp g $ 构造 $N^p$ 中的可逆函数，并利用其证明理想包含单位元，从而等于 $N^p$。

实验结果

研究问题

• RQ1 在什么条件下，由内函数生成的 $N^p$ 中的有限生成理想等于整个代数 $N^p$？
• RQ2 如何为 $N^p$ 代数建立科罗纳性质？
• RQ3 Mortini 定理 6 在 $H^1$ 和 $N^+$ 中的 $N^p$ 类似形式是什么？
• RQ4 插值 Blaschke 乘积在刻画 $N^p$ 中的理想结构中起什么作用？
• RQ5 能否通过其与 $H^\infty$ 的交集条件，完全刻画 $N^p$ 中理想的迹？

主要发现

• 对于 $1 < p < \infty$，代数 $N^p$ 是 Névainna–Smirnov 型环，因其可分解为 $ f = g/h $，其中 $ g, h \in H^\infty $ 且 $ h $ 在 $N^p$ 中可逆。
• 通过迹条件，$N^p$ 的理想结构被完全刻画：$H^\infty$ 中的理想 $I$ 是 $N^p$ 中理想的迹，当且仅当对所有满足 $ f \in I $、$ F $ 为外函数且 $ \log|F^*| \in L^p(T) $、$ fF \in H^\infty $ 的 $ f $，均有 $ fF \in I $。
• 证明了 [7] 中定理 6 的 $N^p$ 类似形式：若 $N^p$ 中的有限生成理想 $ I = (\varphi_1, \dots, \varphi_n) $ 包含一个以 $\{z_k\}$ 为零点的插值 Blaschke 乘积 $B$，且 $ \sum_k (1 - |z_k|^2) |\log(\sum |\varphi_i(z_k)|)|^p < \infty $，则 $ I = N^p $。
• $N^p$ 代数满足科罗纳性质，即任意有限生成理想若满足 $ \|f_i\|_\infty \leq 1 $ 且点态满足 $ \sum |f_i|^2 \geq \delta > 0 $，则其等于整个环。
• 通过 $ F = \exp g $（其中 $ g \in H^p $，$ g(z_k) = \log c_k $）构造了 $N^p$ 中的可逆函数 $ F $，从而证明理想包含单位元，故等于 $N^p$。
• 证明依赖于 $H^\infty$ 中存在插值函数，其在插值点处取值为 $ \overline{\varphi_i(z_k)} $，从而可构造理想中的单位元。