[论文解读] Existence of $p$ harmonic multiple valued maps into a separable Hilbert space

Philippe Bouafia, Thierry De Pauw+1 more|arXiv (Cornell University)|Feb 14, 2014

Fixed Point Theorems Analysis参考文献 12被引用 3

一句话总结

本文通过Sobolev理论的内在方法，建立了从R^m中的单位球到可分希尔伯特空间的p-调和多值映射的存在性。利用紧致性、迹理论和Sobolev类W^{1}_p(U; Q_Q(ℓ₂))中的下半连续性，证明了p-能量极小化器的Dirichlet问题有解。

ABSTRACT

The general existence of $p$-Dirichlet energy minimizing maps into $Q_Q(l_2)$ is obtained.

研究动机与目标

• 在经典嵌入（如Almgren的嵌入）不可用的情况下，建立到无限维可分希尔伯特空间的p-调和多值映射的存在性。
• 为取值于ℓ₂的Q-值映射发展一种内在Sobolev理论，包括L_p和W^{1}_p空间的定义、迹和Poincaré不等式。
• 在Sobolev类W^{1}_p(U; Q_Q(ℓ₂))中，证明p-能量极小化器的Dirichlet问题对给定边界数据有解。
• 通过避免在无限维空间中依赖双Lipschitz嵌入，将p-调和映射理论推广到有限维目标之外。
• 利用Rademacher型结果和逼近技术，确保Sobolev Q-值映射的p-能量下半连续性及几乎处处可微性。

提出的方法

• 通过在L_p半范数d_p(f₁,f₂) = (∫_U G(f₁,f₂)^p dℒ^m)^{1/p}下对Lipschitz映射列的极限，定义Q-值映射f: U → Q_Q(ℓ₂)的L_p和W^{1}_p空间。
• 通过松弛化定义p-能量𝒟_p^p(f;U)，以确保在L_p收敛下p-能量的下半连续性。
• 使用最近点投影P: ℓ₂ → ℓ₂中的紧凸集C来控制映射的取值，确保Sobolev类中的紧致性。
• 应用Rellich型紧致性定理（定理4.8.2），从W^{1}_p(U; Q_Q(ℓ₂))中有界序列中提取出收敛子列。
• 利用Poincaré不等式（定理4.6.2）和Luzin型逼近（命题4.6.3(1)），建立Sobolev映射的几乎处处可微性。
• 证明迹理论和延拓定理（定理4.5.1），以确保边界数据可被延拓并在极小化过程中保持不变。

实验结果

研究问题

• RQ1 当Almgren的双Lipschitz嵌入不可用时，能否在无限维希尔伯特空间中建立p-调和Q-值映射的存在性？
• RQ2 在W^{1}_p(U; Q_Q(ℓ₂))上，p-能量泛函是否对给定边界数据存在极小化子？
• RQ3 Q-值映射在L_p收敛下，p-能量是否下半连续？
• RQ4 Sobolev Q-值映射能否在W^{1}_p范数下被Lipschitz映射逼近？这是否意味着几乎处处可微性？
• RQ5 在Q-值映射的Sobolev类W^{1}_p(U; Q_Q(ℓ₂))中，迹算子在投影和紧致性论证下是否保持边界数据？

主要发现

• 对于任意Lipschitz边界数据g: ∂U → Q_Q(ℓ₂)，p-调和Q-值映射到可分希尔伯特空间ℓ₂的Dirichlet问题有解：存在f ∈ W^{1}_p(U; Q_Q(ℓ₂))，使得𝒯(f) = g，且f极小化p-能量。
• p-能量泛函在L_p收敛下是下半连续的，这由命题4.4.1和推论4.6.4保证。
• Sobolev Q-值映射f ∈ W^{1}_p(U; Q_Q(ℓ₂))几乎处处可微，该结果源于Rademacher型可微性定理（定理2.5.8）及Lipschitz映射的逼近。
• Poincaré不等式（定理4.6.2）在无限维设定下成立，从而支持更强的逼近结果和Sobolev类中的紧致性。
• Rellich型紧致性定理（定理4.8.2）确保：若映射取值于紧集，则W^{1}_p(U; Q_Q(ℓ₂))中有界序列在L_p中存在收敛子列。
• 使用最近点投影P: ℓ₂ → 紧凸集C，可将极小化序列重新中心化至紧范围，从而在Sobolev类中提取弱极限。