[论文解读] Conformally Natural extensions revisited

Carsten Lunde Petersen|arXiv (Cornell University)|Feb 7, 2011

Mathematical Dynamics and Fractals参考文献 3被引用 8

一句话总结

本文重新探討了Douady-Earle共形自然延拓算子，將其應用範圍從同胚推廣至球面 $\mathbb{S}^n$ 上的可測自同態，這些自同態保持Lebesgue測度的絕對連續性。研究證明，該延拓產生了從球體 $\mathbb{B}^{n+1}$ 到其自身的實解析映射，並證實對於滿足 $f(0) = 0$ 的有限Blaschke乘積，該延拓固定原點，且將徑向線段微分同胚地映射到自身，暗示其與某種斜積結構存在動力系統共軛關係。

ABSTRACT

In this note we revisit the notion of conformal barycenter of a measure on $\SS^n$ as defined by Douady and Earle in Acta Math. Vol 157, 1986. The aim is to extend rational maps from the Riemann sphere $\Cbar\isom\SS^2$ to the (hyperbolic) three ball $\BB^3$ and thus to $\SS^3$ by reflection. The construction which was pioneered by Douady and Earle in the case of homeomorphisms actually gives extensions for more general maps such as entire transcendental maps on $\C\subset\Cbar$. And it works for maps in any dimension.

研究动机与目标

• 將Douady-Earle共形自然延拓算子的應用範圍從同胚推廣至 $\mathbb{S}^n$ 上更廣泛的可測映射類別。
• 研究該延拓是否對有限Blaschke乘積保持關鍵動力學性質，特別是原點附近的行為與徑向測地線上的性質。
• 建立延拓將徑向線段 $[\mathbf{0}, \mathbf{e}_3)$ 微分同胚且嚴格遞增地映射到自身的條件。
• 探討延拓的拓撲與動力學含義，特別是其與某種斜積結構的共軛關係。

提出的方法

• 使用Douady-Earle共形重心構造在 $\mathbb{S}^n$ 上的概率測度上定義延拓算子。
• 應用Möbius變換群 $G$ 的作用以定義 $G$-等變性，確保延拓的共形自然性。
• 使用公式 $g_\mathbf{w}(\mathbf{x}) = \frac{\mathbf{x}(1-|\mathbf{w}|^2) + \mathbf{w}(1 + |\mathbf{x}|^2 + 2\langle \mathbf{w}, \mathbf{x} \rangle)}{1 + |\mathbf{w}|^2 |\mathbf{x}|^2 + 2\langle \mathbf{w}, \mathbf{x} \rangle}$ 來定義 $\mathbb{B}^{n+1}$ 中的雙曲等距變換。
• 透過 $G$-作用下的測度推前與向量場變換分析延拓，以確保光滑性與解析性。
• 利用共形自然性將 $E(\widehat{f})$ 的分析簡化至 $f(0) = 0$ 的情形，從而簡化對徑向行為的研究。
• 應用 $z, \overline{z}$ 的冪級數展開，證明對於 $f(z) = z^d$，有 $\Phi(z) = z^d \sum_{k=0}^\infty a_k |z|^{2k}$，從而確認解析性與徑向結構。

实验结果

研究问题

• RQ1 對於滿足 $f(0) = 0$ 的有限Blaschke乘積，Douady-Earle延拓是否保持原點不動？
• RQ2 對於此類映射，延拓是否將徑向線段 $[\mathbf{0}, \mathbf{e}_3)$ 微分同胚且嚴格遞增地映射到自身？
• RQ3 能否將延拓的動力學行為共軛於 $\mathbb{D} \times [-1,1]$ 上的某種斜積結構？
• RQ4 對於具有絕對連續推前測度的可測自同態，該延拓是否在 $\mathbb{B}^{n+1}$ 的內部實解析，且在閉包上連續？
• RQ5 共形重心構造如何推廣至同胚以外的非可逆映射？

主要发现

• 對於 $f(z) = z^d$，Douady-Earle延拓 $E(\widehat{f})$ 透過一個 $d$ 次分支覆蓋將測地線圓盤 $\mathbb{D}_t$ 映射到 $\mathbb{D}_{t^d}$。
• 對於 $f(z) = z^d$，延拓 $E(\widehat{f})$ 將線段 $[\mathbf{0}, \mathbf{e}_3)$ 微分同胚且嚴格遞增地映射到自身。
• 偏導數 $\partial \Phi / \partial x_3(z)$ 在 $z \in \mathbb{D}$ 時為零，意味著 $\partial \Phi / \partial x_3(z) = g(z) \mathbf{e}_3$ 且 $g(z) > 0$，從而確認徑向單調性。
• 對於 $\mathbb{S}^2 \to \mathbb{S}^2$ 上的可測自同態 $f$，若其Lebesgue測度的推前測度絕對連續，則延拓 $E(\widehat{f})$ 在 $\mathbb{B}^3$ 的內部實解析，且在閉包上連續。
• 共形重心構造對所有可測自同態 $f$ 均產生共形自然延拓，只要 $f_*\eta_\mathbf{0}$ 相對於 $\eta_\mathbf{0}$ 絕對連續。
• 若猜想成立：$E(\widehat{f})$ 將 $[\mathbf{0}, \mathbf{e}_3)$ 微分同胚且嚴格遞增地映射到自身，則 $E(\widehat{f})$ 的動力學行為與 $\mathbb{D} \times [-1,1]$ 上的某種斜積結構共軛。