On some quasi-analytic classes

Basic Information

• Paper ID: 1911.01302
• Title: On some quasi-analytic classes
• Author: Abdelhafed Elkhadiri (University Ibn Tofail, Faculty of Sciences, Kenitra, Morocco)
• Classification: math.FA (Functional Analysis)
• Publication Date: November 4, 2019
• Paper Link: https://arxiv.org/abs/1911.01302

Abstract

This paper utilizes monotonicity properties to prove that the restriction of the Borel map on certain quasi-analytic classes is never surjective.

Research Background and Motivation

Problem Background

Analytic functions on an interval $[a,b] \subset \mathbb{R}$ possess two equivalent important properties:

1. Property B (Bernstein definition): An analytic function on $[a,b]$ is completely determined by its values on subintervals
2. Property DC (Denjoy-Carleman definition): An analytic function on $[a,b]$ is completely determined by its function values and all derivatives at a single point $c \in [a,b]$

Research Motivation

For a long time, it was believed that analytic functions were the only function class possessing property DC. It was not until Borel first proved the existence of more general function classes—quasi-analytic function classes—that also satisfy property DC.

Core Problems

The core problems addressed in this paper are:

1. Do quasi-analytic function classes preserve the monotonicity property?
2. Is the Borel map surjective on these classes?

Significance of the Monotonicity Property

For an analytic function $f$, if all derivatives at a point $c$ are non-negative: $f^{(n)}(c) \geq 0, \forall n \in \mathbb{N}$, then there exists $\eta > 0$ such that $f^{(n)}(x) \geq 0, \forall n \in \mathbb{N}, \forall x \in [c, \eta]$.

Core Contributions

1. Proved the validity of the monotonicity property for Denjoy-Carleman quasi-analytic classes
2. Provided a new proof of Carleman's theorem using the monotonicity property: proving that the Borel map restriction on quasi-analytic classes is never surjective
3. Extended Bang's theorem to quasi-analytic classes related to integer sequences
4. Provided direct proof methods that do not rely on functional analysis techniques

Methodology Details

Task Definition

Let $C^{\infty}([a,b])$ denote the ring of infinitely differentiable functions on the interval $[a,b]$, and $c \in [a,b]$. The Borel map is defined as: $T_c: C^{\infty}([a,b]) \to \mathbb{R}[[x]]$$f \mapsto \sum_{n=0}^{\infty} \frac{f^{(n)}(c)}{n!} x^n$

The research objective is to prove that the restriction of this map on quasi-analytic classes is not surjective.

Denjoy-Carleman Quasi-Analytic Classes

Definition

Given a sequence of positive numbers $M = (M_n)_{n \in \mathbb{N}}$, the Denjoy-Carleman class $C_M([a,b])$ is defined as: $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]\}$ where $c, C$ are positive constants depending on $f$ but independent of $n$.

Carleman's Theorem

Theorem 2.6: The class $C_M([a,b])$ is quasi-analytic if and only if $\sum_{n=0}^{\infty} \frac{1}{\beta_n} = \infty$, where $\beta_n = \inf_{k \geq n} \sqrt[k]{M_k}$.

Logarithmically Convex Regularization

To handle general sequences, logarithmically convex regularization is introduced:

Definition 2.7: A sequence $M = (M_n)_{n \in \mathbb{N}}$ is called logarithmically convex if for all $n \geq 1$, $M_n^2 \leq M_{n-1} M_{n+1}$.

Through Newton polygon construction, any sequence satisfying $\liminf_{n \to \infty} \sqrt[n]{M_n} = \infty$ admits a logarithmically convex regularization $M^c = (M_n^c)_{n \in \mathbb{N}}$.

Mandelbrojt Equivalence Condition

Theorem 2.10: The following conditions are equivalent:

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

Technical Innovations

1. Metric Space Method

Construction of a metric on the real sequence space $S(\mathbb{R})$: $\|X\| = \inf_{k \in P} \left(\max\left(e^{-k}, \max_{0 \leq n \leq k} |x_n|\right)\right)$

2. Proof of Monotonicity Property

Lemma 3.6: If $\|X_f(t)\| \neq 0$, then $\|X_f(t + \tau)\| \leq \|X_f(t)\| \exp\left(e|\tau| \frac{M_l^c}{M_{l-1}^c}\right)$

3. Extension of Bang's Theorem

Theorem 4.2: Let $f \in C^{\infty}([a,b])$ satisfy $\sup_{t \in [a,b]} |f^{(n)}(t)| \leq M_n$. If there exists a sequence $(x_n)_n$ such that $f^{(n)}(x_n) = 0, \forall n \in \mathbb{N}$, and the series $\sum_{n=1}^{\infty} |x_{n-1} - x_n|$ converges, then $f \equiv 0$.

Experimental Setup

Theoretical Verification

This paper is primarily theoretical research, with conclusions verified through rigorous mathematical proofs. Main verification contents include:

1. Proof of sufficiency in Carleman's theorem (Section 3)
2. Verification of monotonicity property (Section 4)
3. Properties of quasi-analytic classes related to integer sequences (Sections 5-6)

Proof Strategy

1. Use proof by contradiction: assume the existence of a non-zero function satisfying the conditions
2. Construct decreasing sequences and apply the intermediate value theorem
3. Utilize series divergence to derive a contradiction

Experimental Results

Main Results

1. Non-surjectivity of the Borel Map

Theorem 4.7: Let $C_M([a,b])$ be a quasi-analytic class that strictly contains the analytic class. Then the Borel map $T_c: C_M([a,b]) \to \mathbb{R}[[x]]$ is not surjective.

Proof Strategy: Consider a non-convergent series $\sum_{n \in \mathbb{N}} a_n x^n$ (where $a_n > 0$). Using the monotonicity property, one can prove that this series is not in the image of $T_c(C_M([a,b]))$.

2. Monotonicity Property

Corollary 4.5: Let $f \in C^{\infty}([a,b])$ satisfy $\sup_{t \in [a,b]} |f^{(n)}(t)| \leq M_n$. If $f^{(n)}(a) > 0$ for all $n \in \mathbb{N}$, then $f^{(n)}(x) > 0$ for all $n \in \mathbb{N}$ and $x \in [a,b]$.

3. Quasi-Analytic Classes Related to Integer Sequences

Theorem 6.2: For quasi-analytic classes related to integer sequences $n = (n_k)_{k \in \mathbb{N}}$, if $f^{(n)}(x_n) = 0$ and $\sum_{j=0}^{\infty} |x_j - x_{j+1}|$ converges, then $f \equiv 0$.

Theoretical Findings

1. Universality of the monotonicity property: It holds not only for analytic functions but also for broader quasi-analytic classes
2. Limitations of the Borel map: It can never achieve surjectivity on quasi-analytic classes
3. Special status of geometric series: Divergent power series with positive coefficients cannot be realized through quasi-analytic functions

Related Work

Historical Development

1. Borel (1917): First introduced the concept of quasi-analytic functions
2. Bernstein (1914): Adopted property B to define quasi-analyticity
3. Denjoy-Carleman: Adopted property DC definition and provided complete theory
4. Carleman (1926): Proved that the Borel map is non-surjective on quasi-analytic classes
5. Bang (1953): Applied metric space theory to study quasi-analytic classes

Contributions of This Paper

Compared to existing work, this paper:

1. Provides direct proofs that do not rely on functional analysis
2. Extends the monotonicity property to broader quasi-analytic classes
3. Establishes new quasi-analytic class theory related to integer sequences

Conclusions and Discussion

Main Conclusions

1. Preservation of monotonicity property: Denjoy-Carleman quasi-analytic classes preserve the monotonicity property of analytic functions
2. Non-surjectivity of the Borel map: Carleman's theorem is proved using the monotonicity property
3. Extensibility of the theory: The method can be generalized to quasi-analytic classes related to integer sequences

Limitations

1. Restricted scope of applicability: Primarily applicable to function classes satisfying specific growth conditions
2. Lack of constructivity: The proofs are non-constructive and do not provide explicit constructions of elements outside the image
3. Computational complexity: Practical verification of quasi-analyticity conditions may be computationally complex

Future Directions

The paper raises an open problem: Problem 6.5: Do all quasi-analytic classes satisfy the monotonicity property? In particular, does the monotonicity property hold for definable functions in polynomial-bounded o-minimal structures?

In-Depth Evaluation

Strengths

1. Theoretical depth: Provides new perspectives and deep understanding of quasi-analytic function theory
2. Proof techniques: Cleverly employs metric space theory and monotonicity properties
3. Completeness of results: Not only proves the main theorems but also provides multiple corollaries and extensions
4. Historical continuity: Well connects with classical work by Carleman and others

Weaknesses

1. Limited applicability: Primarily theoretical results with unclear practical applications
2. Computational aspects: Lacks effective algorithms to determine whether specific functions belong to certain quasi-analytic classes
3. Insufficient examples: Lacks concrete numerical examples to illustrate theoretical results

Impact

1. Theoretical contribution: Provides new research tools and perspectives for quasi-analytic function theory
2. Methodological innovation: Application of monotonicity properties offers new approaches to related problems
3. Future research directions: Provides new directions for research in o-minimal structures and related modern mathematics

Applicable Scenarios

1. Functional analysis theory research: Provides tools for studying analytic continuation properties of functions
2. Differential equation theory: May have applications in studying analyticity properties of solutions
3. Complex analysis: Provides theoretical foundation for studying analytic continuation of real analytic functions to the complex plane

References

The paper cites important literature in the field, including:

1. Carleman's classical work Les fonctions quasi-analytiques (1926)
2. Mandelbrojt's Séries adhérentes (1952)
3. Bang's application of metric space theory (1953)
4. Modern o-minimal structure theory literature

These references demonstrate the author's deep understanding of the historical development and current state of the field.