[论文解读] Sobolev spaces and mappings with bounded (P,Q)-distortion on Carnot groups

Alexander Ukhlov, S. K. Vodopyanov|ArXiv.org|Sep 4, 2007

Advanced Mathematical Modeling in Engineering参考文献 29被引用 8

一句话总结

本文在Carnot群上建立了有界$(p,q)$-畸变映射的基礎分析與幾何性質，引入了一類新的$(p,q)$-擬正則映射。文章證明了Liouville型定理與基於容量的例外集可移除性準則，利用Sobolev空間技術與非線性位勢理論，將經典擬正則映射理論推廣至子黎曼幾何設定。

ABSTRACT

We study mappings with bounded (p,q)-distortion associated to Sobolev spaces on Carnot groups. Mappings of such type have applications to the Sobolev type embedding theory and classification of manifolds. For this class of mappings, we obtain estimates of linear distortion, and a geometrical description. We prove also Liouville type theorems and give some sufficient conditions for removability of sets.

研究动机与目标

• 在Carnot群上發展有界$(p,q)$-畸變映射的理論，將擬正則映射推廣至子黎曼幾何。
• 透過Sobolev空間中的容量，建立例外集可移除性的充分條件。
• 證明Carnot群上整映射具有有界$(p,q)$-畸變時的Liouville型定理。
• 透過擬加法模與畸變函數，提供$(p,q)$-擬正則映射的幾何特徵化。
• 利用水平導數與變量替換公式，將可積畸變Sobolev映射理論推廣至分層李群。

提出的方法

• 透過拓撲（開映射、離散、$\nabla$-條件）與分析（Sobolev正則性、可積$p$-畸變）標準定義有界$(p,q)$-畸變映射。
• 引入畸變係數$K_{p,q}(f;\text{dom}) = \|K_p(f)\|_{L_\kappa(\text{dom})}$，其中$1/\kappa = 1/q - 1/p$，以確保畸變的可積性。
• 對$u \in C_0 \cap W^1_p(\Omega)$使用推前算子$f_*u$，透過變量替換公式建立不同定義域之間的函數範數關係。
• 利用Hölder不等式與畸變係數，建立$f_*u$的$L_s$-範數估計，其中$s = p/(p - (\nu - 1))$。
• 透過擬加法函數$\Phi$與畸變比$H_{p,q}(x,f)$，幾何定義$(p,q)$-擬正則映射，確保局部有界性。
• 證明$(p,q)$-擬正則映射滿足$\mathcal{N}$-性質且為$\operatorname{ACL}$，從而可使用幾乎 everywhere可微性與變量替換恆等式。

实验结果

研究问题

• RQ1 在Carnot群上，具有有界$(p,q)$-畸變的映射在何種條件下可延拓至零容量的例外集？
• RQ2 在$(p,q)$-畸變映射的定義域中，封閉集$F$的可移除性是否具有精確的容量理論條件？
• RQ3 Liouville型定理如何推廣至Carnot群上的$(p,q)$-畸變映射，特別是整映射的情形？
• RQ4 能否以擬加法模與畸變比來表述$(p,q)$-擬正則映射的幾何特徵？
• RQ5 在$L_\kappa$-可積性與水平微分的$L_s$-可 summability 之間存在何種關係？

主要发现

• Liouville型定理（定理A）指出：若$f: \mathbb{G} \to \mathbb{G}$具有有界$(p,q)$-畸變，且$\nu-1 < q \leq p \leq \nu$，則$\mathbb{G} \setminus f(\mathbb{G})$在$W^1_s(\mathbb{G})$中的容量為零，其中$s = p/(p - (\nu - 1))$。
• 當$p \geq q > \nu$時，若$\operatorname{cap}(F; W^1_s(\mathbb{G})) = 0$，其中$s = p/(p - (\nu - 1))$，則定義在$\Omega \setminus F$上的有界$(p,q)$-畸變映射$f: \Omega \setminus F \to \mathbb{G}$可連續延拓至$\tilde{f}: \Omega \to \mathbb{G}$。
• 當$p = q = \nu$時，若$\operatorname{cap}(\mathbb{C}f(\Omega \setminus F); W^1_\nu(\mathbb{G})) > 0$，則$f$可延拓為連續映射$\tilde{f}: \Omega \to \mathbb{G} \cup \{\infty\}$。
• 對$u \in C_0 \cap W^1_p(\Omega)$，推前算子$f_*u$滿足$\|f_*u\|_{L_s(f(D))} \leq \Lambda N(f,D)^{(s-1)/s} (K_{p,q}(f;D))^{\nu-1} \|u\|_{L_r(D)}$，其中$s = p/(p - (\nu - 1))$，$r = q/(q - (\nu - 1))$。
• 每一個定義在域$\Omega \subset \mathbb{G}$上的$(p,q)$-擬正則映射都是有界$(p,q)$-畸變映射，此由$H_{p,q}(x,f)$的有界性與畸變函數的可積性所證明。
• $p$-畸變$K_p(x,f)$定義為$\inf\{k(x) : |D_H f|(x) \leq k(x) J(x,f)^{1/p}\}$，其$L_\kappa$-可積性（其中$1/\kappa = 1/q - 1/p$）特徵化了本文所研究的映射類。