2025-11-10T03:05:08.224646

On some quasi-analytic classes

Elkhadiri

Using the so called monotonicity property, we prove that the Borel mapping restricted to some quasi-anlytic classes is never onto.

academic

On some quasi-analytic classes

基本信息

论文ID: 1911.01302
标题: On some quasi-analytic classes
作者: Abdelhafed Elkhadiri (University Ibn Tofail, Faculty of Sciences, Kenitra, Morocco)
分类: math.FA (Functional Analysis)
发表时间: 2019年11月4日
论文链接: https://arxiv.org/abs/1911.01302

研究背景与动机

问题背景

解析函数在区间 $[a,b] \subset \mathbb{R}$ 上具有两个等价的重要性质：

性质B（Bernstein定义）：解析函数在 $[a,b]$ 上完全由其在子区间上的值确定
性质DC（Denjoy-Carleman定义）：解析函数在 $[a,b]$ 上完全由其在某点 $c \in [a,b]$ 处的函数值及所有阶导数值确定

研究动机

长期以来，人们认为解析函数是唯一具有性质DC的函数类。直到Borel首次证明了存在比解析函数更一般的函数类——拟解析函数类，这些函数同样满足性质DC。

核心问题

本文关注的核心问题是：

拟解析函数类是否保持单调性性质？
Borel映射在这些类上是否为满射？

单调性性质的重要性

对于解析函数 $f$ ，如果在某点 $c$ 处所有阶导数非负： $f^{(n)}(c) \geq 0, \forall n \in \mathbb{N}$ ，则存在 $\eta > 0$ 使得在 $[c, \eta]$ 上 $f^{(n)}(x) \geq 0, \forall n \in \mathbb{N}, \forall x \in [c, \eta]$ 。

核心贡献

证明了单调性性质对Denjoy-Carleman拟解析类的有效性
利用单调性性质给出了Carleman定理的新证明：证明Borel映射在拟解析类上的限制永远不是满射
扩展了Bang定理到与整数序列相关的拟解析类
提供了不依赖泛函分析技术的直接证明方法

方法详解

任务定义

设 $C^{\infty}([a,b])$ 为区间 $[a,b]$ 上的无穷可微函数环， $c \in [a,b]$ 。Borel映射定义为： $T_c: C^{\infty}([a,b]) \to \mathbb{R}[[x]]$ $f \mapsto \sum_{n=0}^{\infty} \frac{f^{(n)}(c)}{n!} x^n$

研究目标是证明该映射在拟解析类上的限制不是满射。

给定正数序列 $M = (M_n)_{n \in \mathbb{N}}$ ，Denjoy-Carleman类 $C_M([a,b])$ 定义为： $C_M([a,b]) = \{f \in C^{\infty}([a,b]): |f^{(n)}(x)| \leq c \cdot C^n M_n, \forall n \in \mathbb{N}, \forall x \in [a,b]\}$ 其中 $c, C$ 是与 $f$ 相关但与 $n$ 无关的正常数。

Carleman定理

定理2.6：类 $C_M([a,b])$ 是拟解析的当且仅当 $\sum_{n=0}^{\infty} \frac{1}{\beta_n} = \infty$ ，其中 $\beta_n = \inf_{k \geq n} \sqrt[k]{M_k}$ 。

对数凸正则化

为处理一般序列，引入对数凸正则化：

定义2.7：序列 $M = (M_n)_{n \in \mathbb{N}}$ 称为对数凸的，如果对所有 $n \geq 1$ 有 $M_n^2 \leq M_{n-1} M_{n+1}$ 。

通过Newton多边形构造，任何满足 $\liminf_{n \to \infty} \sqrt[n]{M_n} = \infty$ 的序列都存在对数凸正则化 $M^c = (M_n^c)_{n \in \mathbb{N}}$ 。

Mandelbrojt等价条件

定理2.10：以下条件等价：

$\sum_{n=0}^{\infty} \frac{1}{\beta_n} = \infty$
$\sum_{n=0}^{\infty} \frac{1}{\sqrt[n]{M_n^c}} = \infty$
$\sum_{n=0}^{\infty} \frac{M_{n-1}^c}{M_n^c} = \infty$

技术创新点

1. 度量空间方法

构造实数序列空间 $S(\mathbb{R})$ 上的度量： $\|X\| = \inf_{k \in P} \left(\max\left(e^{-k}, \max_{0 \leq n \leq k} |x_n|\right)\right)$

2. 单调性性质的证明

引理3.6：如果 $\|X_f(t)\| \neq 0$ ，则 $\|X_f(t + \tau)\| \leq \|X_f(t)\| \exp\left(e|\tau| \frac{M_l^c}{M_{l-1}^c}\right)$

3. Bang定理的扩展

定理4.2：设 $f \in C^{\infty}([a,b])$ 满足 $\sup_{t \in [a,b]} |f^{(n)}(t)| \leq M_n$ ，如果存在序列 $(x_n)_n$ 使得 $f^{(n)}(x_n) = 0, \forall n \in \mathbb{N}$ ，且级数 $\sum_{n=1}^{\infty} |x_{n-1} - x_n|$ 收敛，则 $f \equiv 0$ 。