2025-11-17T11:46:12.614734

A Lipschitz Refinement of the Multidimensional Bebutov--Kakutani Dynamical Embedding Theorem

Gutman, Huo, Tsukamoto

We prove that a continuous action of $\mathbb{R}^n$ on a compact metrizable space equivariantly embeds into the shift action on the space of one-Lipschitz functions from $\mathbb{R}^n$ to $[0,1]$ if and only if the set of fixed points topologically embeds in $[0,1]$. This is a Lipschitz refinement of classical dynamical embedding theorems of Bebutov, Kakutani, Jaworski and Chen.

academic

A Lipschitz Refinement of the Multidimensional Bebutov--Kakutani Dynamical Embedding Theorem

基本信息

论文ID: 2510.08706
标题: A Lipschitz Refinement of the Multidimensional Bebutov--Kakutani Dynamical Embedding Theorem
作者: Yonatan Gutman, Qiang Huo, Masaki Tsukamoto
分类: math.DS (动力系统)
发表时间: 2025年10月9日
论文链接: https://arxiv.org/abs/2510.08706

摘要

本文证明了一个关于 $\mathbb{R}^n$ 作用在紧致可度量空间上的连续动作的重要结果：这样的动作可以等变嵌入到从 $\mathbb{R}^n$ 到 $[0,1]$ 的单位Lipschitz函数空间上的移位作用中，当且仅当其不动点集合拓扑嵌入到 $[0,1]$ 中。这是对经典的Bebutov、Kakutani、Jaworski和Chen动力嵌入定理的Lipschitz精化。

研究背景与动机

问题背景

本研究源于动力系统理论中的一个核心问题：通用嵌入空间的构造。经典的Bebutov-Kakutani定理(1940-1968)建立了 $\mathbb{R}$ 作用的通用嵌入理论，后来被Jaworski(1974)和Chen(1975)推广到 $\mathbb{R}^n$ 作用。

研究动机

理论完善性：经典的Bebutov-Kakutani定理虽然优秀，但目标空间 $C(\mathbb{R}^n,I)$ （连续函数空间）既不紧致也不局部紧致，这在理论上不够令人满意。
Lipschitz约束的必要性：2019年，Jin、Gutman和Tsukamoto针对一维情况( $n=1$ )给出了Lipschitz精化，但多维情况( $n>1$ )由于几何复杂性无法直接推广。
弱局部自由性限制：之前Gutman-Huo的工作只解决了"弱局部自由"动作的情况，本文旨在去除这一限制条件。

现有方法的局限性

经典理论的目标空间缺乏紧致性
一维到多维的推广存在本质困难
需要额外的弱局部自由性假设

核心贡献

完全解决了Problem 1.5：给出了 $\mathbb{R}^n$ 作用嵌入到 $\text{Lip}_1(\mathbb{R}^n,I)$ 的充分必要条件
去除了弱局部自由性假设：相比于之前Gutman-Huo的结果，本文去除了技术性限制条件
发展了新的技术工具：
- 构造了"Lipschitz滤波器"，将连续函数转换为Lipschitz函数
- 建立了局部扰动映射的理论
- 发展了处理分层结构的技术
提供了紧致目标空间： $\text{Lip}_1(\mathbb{R}^n,I)$ 是紧致可度量空间，比经典结果更令人满意

方法详解

任务定义

给定紧致可度量空间 $X$ 上的连续 $\mathbb{R}^n$ 作用 $T: \mathbb{R}^n \times X \to X$ ，确定其何时可以 $\mathbb{R}^n$ 等变嵌入到 $\text{Lip}_1(\mathbb{R}^n,I)$ 上的移位作用中。

核心定理

定理1.7（主定理）：设 $T: \mathbb{R}^n \times X \to X$ 是紧致可度量空间 $X$ 上的连续 $\mathbb{R}^n$ 作用。它等变嵌入到 $\text{Lip}_1(\mathbb{R}^n,I)$ 中当且仅当 $\text{Fix}(X,T)$ 拓扑嵌入到单位区间 $I$ 中。

技术架构

1. 分层结构处理

对 $x \in X$ ，定义 $g_x$ 为 $x$ 的稳定子群的连通分量： $g_x = \{t \in \mathbb{R}^n : T^t x = x\}$

构造分层： $X = X_0 \supset X_1 \supset X_2 \supset \cdots \supset X_n = \text{Fix}(X,T)$ 其中 $X_k = \{x \in X : \dim g_x \geq k\}$ 。

2. Lipschitz滤波器（核心创新）

命题2.5：给定 $\varepsilon > 0$ 和 $0 < c < c'$ ，存在 $R > 0$ 和 $\mathbb{R}^n$ 等变连续映射 $F: C(\mathbb{R}^n,I) \to \text{Lip}_{c'}(\mathbb{R}^n,I)$ 满足：

对 $\varphi \in \text{Lip}_c(\mathbb{R}^n,I)$ ，有 $|F(\varphi)(t) - \varphi(t)| < \varepsilon$
若 $\varphi$ 为常函数，则 $F(\varphi) = \varphi$
若 $\varphi$ 在 $B_R(\xi)$ 上为零，则 $F(\varphi)(\xi) = 0$

3. 局部截面理论

命题4.2：对 $p \in X_k \setminus X_{k+1}$ ，存在 $\delta > 0$ 和闭集 $E \subset X_k$ 使得映射 $(x,t) \mapsto T^t x: B_\delta(h|_E) \to X_k$ 是单射，且其像包含 $p$ 的开邻域。

证明策略

Baire范畴方法

定义完备度量空间 $\mathcal{C}$ 为所有 $\mathbb{R}^n$ 等变连续映射 $f: X \to \text{Lip}_1(\mathbb{R}^n,I)$ 且 $f(x) = \iota(x)$ 对 $x \in \text{Fix}(X,T)$ 。

证明集合 $\bigcap_{k=0}^{n-1} \bigcap_{j=1}^{\infty} \left(\mathcal{C}_k(A_{kj}) \cap \mathcal{C}_k(B_{kj}, B'_{kj})\right)$ 在 $\mathcal{C}$ 中稠密，其中：

$\mathcal{C}_k(A) = \{f \in \mathcal{C} : f(A) \cap Y_{k+1} = \emptyset\}$
$\mathcal{C}_k(B,B') = \{f \in \mathcal{C} : \forall (x,y) \in (B \times B') \cap \tilde{X}_k, f(x) \neq f(y)\}$