[论文解读] Infinite dimension of solutions for Dirichlet problem II

Vladimir Ryazanov|arXiv (Cornell University)|Feb 10, 2014

Analytic and geometric function theory参考文献 1被引用 3

一句话总结

本文证明了在单位圆盘中，几乎处处具有非切向边界极限为零的调和函数空间具有无限维。通过使用奇异测度（如阶跃函数和康托函数）的泊松-施蒂尔杰斯积分，构造了一个不可数的非平凡解族，展示了即使在零边界条件下，解空间仍具有无限维性。

ABSTRACT

It is proved that the dimension of the space of solutions of the Dirichlet problem for the harmonic functions in the unit disk with nontangential boundary limits 0 a.e. is infinite.

研究动机与目标

• 建立单位圆盘中几乎处处具有非切向边界极限为零的调和函数空间的无限维性。
• 利用奇异测度（包括阶跃函数和康托函数）显式构造此类解的例子。
• 证明这些解不能表示为 $ L^1 $ 函数的泊松积分，意味着它们不属于 $ p > 1 $ 时的标准 $ h_p $ 类。
• 证明此类解空间支持一个施瓦兹基，意味着其可分且无限维。
• 提出一个开放问题：此类解空间的哈默尔基是否具有连续统的势。

提出的方法

• 通过泊松-施蒂尔杰斯积分构造调和函数：$ u(z) = \frac{1}{2\pi} \int_0^{2\pi} P_r(\vartheta - t) \, d\Phi(t) $，其中 $ \Phi $ 是有界变差的奇异函数。
• 使用在 $ \vartheta_0 \in (0,2\pi) $ 处有跳跃的阶跃函数 $ \Phi_{\vartheta_0} $，得到显式解 $ u(z) = P_r(\vartheta - \vartheta_0) $。
• 应用康托函数 $ \varphi $ 定义 $ \Phi(t) = \varphi(t/2\pi) $，生成连续的奇异测度及相应的调和函数。
• 定义一列函数 $ u_n(z) = \text{Re}\left( \frac{\zeta_n + z}{\zeta_n - z} \right) $，其中 $ \zeta_n = e^{i\vartheta_n} $，$ \vartheta_n = \pi(2^{-1} + \cdots + 2^{-n}) $。
• 将空间 $ \mathcal{H}_1 $ 定义为所有绝对收敛级数 $ u = \sum \gamma_n u_n $ 的集合，其中 $ \gamma \in l^1 $，确保局部一致收敛。
• 证明 $ \{u_n\} $ 构成 $ \mathcal{H}_1 $ 的施瓦兹基，通过收敛性及在 $ \zeta_n $ 处非零，证明其无限维性。

实验结果

研究问题

• RQ1 单位圆盘中几乎处处具有零非切向边界极限的调和函数空间是否为无限维？
• RQ2 是否存在显式构造的、零边界数据下非平凡的狄利克雷问题解，且不属于 $ h_p $（$ p > 1 $）？
• RQ3 此类解能否通过奇异测度的泊松-施蒂尔杰斯积分表示？
• RQ4 解空间是否允许存在施瓦兹基，其拓扑结构如何？
• RQ5 所有此类奇异解空间的哈默尔基的势是多少？

主要发现

• 单位圆盘中几乎处处具有非切向边界极限为零的调和函数空间是无限维的。
• 通过奇异测度（如阶跃函数和康托函数）的泊松-施蒂尔杰斯积分构造的解，产生在几乎处处非切向极限为零的非平凡调和函数。
• 函数 $ u_n(z) = \text{Re}\left( \frac{\zeta_n + z}{\zeta_n - z} \right) $，其中 $ \zeta_n = e^{i\vartheta_n} $，$ \vartheta_n = \pi(2^{-1} + \cdots + 2^{-n}) $，构成空间 $ \mathcal{H}_1 $ 的施瓦兹基。
• 空间 $ \mathcal{H}_1 $ 包含在边界点除 $ \zeta_0 = -1 $ 和 $ \zeta_n $（$ n = 1,2,\ldots $）外，所有点处非切向极限为零的调和函数。
• 这些解不属于任何 $ p > 1 $ 的 $ h_p $ 类，因为它们不能表示为 $ L^1 $ 函数的泊松积分。
• 空间 $ \mathcal{H}_1 $ 属于 $ h_1 $，因为 $ \Phi = \sum \gamma_n \Phi_{\vartheta_n} $ 是有界变差的，且 $ \gamma \in l^1 $。