[论文解读] Khintchine-type theorems on manifolds: the convergence case for standard and multiplicative versions

В. И. Берник, Dmitry Kleinbock+1 more|ArXiv.org|Oct 18, 2002

Functional Equations Stability Results参考文献 13被引用 26

一句话总结

本文建立了非退化光滑子流形在 $\mathbb{R}^n$ 中的Khintchine型定理的收敛情形，证明当 $\boldsymbol{\theta}$ 满足收敛条件时，$\boldsymbol{y} \notin \text{W}(\boldsymbol{\theta})$ 的集合具有全测度。该研究将度量丢番图逼近理论与一种新颖的格几何方法相结合，利用 $(C, \beta)$-良好函数和 $\text{SL}(n+2, \mathbb{R})$ 上的矩阵动力系统，将标准与乘法型丢番图逼近结果推广至流形上。

ABSTRACT

An analogue of the convergence part of the Khintchine-Groshev theorem, as well as its multiplicative version, is proved for nondegenerate smooth submanifolds in $\mathbb{R}^n$. The proof combines methods from metric number theory with a new approach involving the geometry of lattices in Euclidean spaces.

研究动机与目标

• 建立非退化光滑子流形在 $\mathbb{R}^n$ 中的Khintchine-Groshev定理的收敛情形，将经典结果从 $\mathbb{R}^n$ 推广至嵌入流形。
• 将收敛条件推广至流形上的乘法型丢番图逼近情形，其中逼近函数依赖于坐标范数的乘积。
• 发展一种新方法，结合度量数论与单位格空间中的几何技术，特别是利用矩阵作用与 $(C, \beta)$-良好函数。
• 证明：对于定义域 $U$ 中的几乎所有 $x$，当且仅当与 $\boldsymbol{\theta}$ 相关的某个级数收敛时，图像 $\boldsymbol{f}(x)$ 属于集合 $\text{W}(\boldsymbol{\theta})$。
• 通过验证相关函数空间为 $(C, \beta)$-良好函数，将线性情形的结果推广至流形，从而在非线性设定下应用Borel-Cantelli引理。

提出的方法

• 利用定义在域 $U \subset \mathbb{R}^d$ 上的 $(C, \beta)$-良好函数控制在整数向量上取值的线性型的衰减速率，从而在流形上实现测度论论证。
• 在 $\sum \Psi(\boldsymbol{q})$ 收敛的条件下，对满足 $|\langle \boldsymbol{f}(x) \boldsymbol{q} \rangle| \leq \Psi(\boldsymbol{q})$ 的 $x \in U$ 的集合应用Borel-Cantelli引理，其中 $\boldsymbol{q} \in \mathbb{Z}^n \setminus \{0\}$ 有无穷多个。
• 引入矩阵嵌入 $U^{\boldsymbol{f}, \boldsymbol{g}}_x = \begin{pmatrix} 1 & 0 & \boldsymbol{f}(x) \\ 0 & 1 & \boldsymbol{g}(x) \\ 0 & 0 & I_n \end{pmatrix}$，以建模 $\mathbb{R}^{n+2}$ 中格上线性型的动力系统，关联至单位格作用。
• 利用 $\bigwedge^k(\mathbb{R}^{n+1})$ 的楔积分解，分析子群 $\Gamma$ 的格 $\Lambda$ 的导数 $DU^{\boldsymbol{f}, \boldsymbol{g}}_x \Gamma$ 的范数，证明其具有 $(C, \beta)$-良好性质。
• 验证函数 $f_i$、$g_i$ 以及 $2\times2$ 子式 $\left| \begin{smallmatrix} f_i & f_j \\ g_i & g_j \end{smallmatrix} \right|$ 的张成空间构成 $(C, \beta)$-良好函数空间，这对收敛性论证至关重要。
• 以发散情形为动机，并推测发散情形在流形上也成立，尽管本文聚焦于收敛情形。

实验结果

研究问题

• RQ1 标准Khintchine-Groshev收敛定理是否可推广至 $\mathbb{R}^n$ 中的非退化光滑子流形？
• RQ2 乘法型Khintchine定理是否可推广至流形，其中逼近函数依赖于坐标范数的乘积？
• RQ3 能否通过一种新颖的格论方法证明流形上丢番图逼近的收敛情形，而无需依赖经典对偶性原理？
• RQ4 在参数化 $\boldsymbol{f}: U \to \mathbb{R}^n$ 满足何种条件时，集合 $\{x \in U \mid \boldsymbol{f}(x) \in \text{W}(\Psi)\}$ 的测度为全测度或零测度，取决于 $\sum \Psi(\boldsymbol{q})$ 的收敛性？
• RQ5 $(C, \beta)$-良好函数类是否足以控制流形上逼近集的测度，特别是当流形由解析或光滑函数定义时？

主要发现

• 标准Khintchine-Groshev定理的收敛情形在 $\mathbb{R}^n$ 中的非退化光滑子流形上成立，即若 $\sum_{\boldsymbol{q} \in \mathbb{Z}^n \setminus \{0\}} \Psi(\boldsymbol{q}) < \infty$，则集合 $\{x \in U \mid \boldsymbol{f}(x) \in \text{W}(\Psi)\}$ 的Lebesgue测度为零。
• 对于乘法型情形，收敛条件 $\sum_{k=1}^\infty (\log k)^{n-1} \psi(k) < \infty$ 意味着在非退化流形上 $\psi$-乘法型可逼近点的集合测度为零。
• 本文证明：若函数 $f_1, \dots, f_n$ 满足 $f_i$、$f_j$ 以及 $2\times2$ 子式 $\left| \begin{smallmatrix} f_i & f_j \\ f_i' & f_j' \end{smallmatrix} \right|$ 的张成空间由 $(C, \beta)$-良好函数构成，则收敛结果成立。
• 该方法证明：在 $x_0$ 的邻域上，映射 $x \mapsto \|DU^{\boldsymbol{f}, \boldsymbol{g}}_x \Gamma\|$ 是 $(C, \beta)$-良好函数，这对在非线性设定下应用Borel-Cantelli引理至关重要。
• 作者表明，对于解析函数 $f_i$，可通过推论3.5(a)验证 $(C, \beta)$-良好条件，从而将该方法应用于一大类流形。
• 本文提供了一个框架，使收敛情形可超越线性型，利用矩阵动力系统与格几何控制曲流形上逼近集的测度。