首页/论文/math/0208233

arXiv math/02082332002-08math.CA

Lower bounds for quasianalytic functions, I. How to control smooth functions?

F. Nazarov, M. Sodin, A. Volberg

备注：: Stylistic corrections have been made
发表信息：: Math. Scand. 95 (2004), 59--79.

英文摘要：

Consider a class of functions of one real variable with the following uniqueness property: if a function f(x) from the class vanishes on a set of positive measure, then f is the zero function. In many instances, we would like to have a quantitative version of this property, e.g. a lower bound for f(x) outside a small exceptional set. Such estimates are well-known and useful for polynomials and analytic functions. In this work we prove similar results for the Denjoy-Carleman and the Bernstein classes of quasianalytic functions.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Lower bounds for quasianalytic functions, II. The Bernstein quasianalytic functions

Let F be a class of functions with the uniqueness property: if a function f in F vanishes on a set of positive measure, then f is the zero function. In many instances, we would like to have a quantitative version of this property, e.g. a lower bound for |f| outside a small exceptional set. Such estimates are well-known and useful for polynomials, complex- and real-analytic functions, exponential polynomials. In this work we prove similar results for the Denjoy-Carleman and the Bernstein classes of quasianalytic functions. In the first part (this arXiv:math.CA/0208233), we considered quasianaly…

2003-01-21math.CA

Power substitution in quasianalytic Carleman classes

Consider an equation of the form $f(x)=g(x^k)$, where $k>1$ and $f(x)$ is a function in a given Carleman class of smooth functions. For each $k$, we construct a Carleman-type class which contains all the smooth solutions $g(x)$ to such equations. We prove, under regularity assumptions, that if the original Carleman class is quasianalytic, then so is the new class. The results admit an extension to multivariate functions.

2021-08-26math.CA

Note on the Weierstrass Preparation Theorem in Quasianalytic Local Rings

Consider quasianalytic local rings of germs of smooth functions closed under composition, implicit equation, and monomial division. We show that if the Weierstrass Preparation Theorem holds in such a ring then all elements of it are germs of analytic functions. .

2013-04-15math.CA

Quasianalytic ultradifferentiability cannot be tested in lower dimensions

We show that, in contrast to the real analytic case, quasianalytic ultradifferentiability can never be tested in lower dimensions. Our results are based on a construction due to Jaffe.

2019-03-11math.CAmath.FA

Smooth solutions of quasianalytic or ultraholomorphic equations

In the first part of this work, we consider a polynomial $ ϕ(x,y)=y^d+a_1(x)y^{d-1}+...+a_d(x) $ whose coefficients $ a_j $ belong to a Denjoy-Carleman quasianalytic local ring $ \mathcal{E}_1(M) $. Assuming that $ \mathcal{E}_1(M) $ is stable under derivation, we show that if $ h $ is a germ of $ C^\infty $ function such that $ ϕ(x,h(x))=0 $, then $ h $ belongs to $ \mathcal{E}_1(M) $. This extends a well-known fact about real-analytic functions. We also show that the result fails in general for non-quasianalytic ultradifferentiable local rings. In the second part of the paper, we study a sim…

2008-09-11math.CAmath.CV

On Taylor coefficients of smooth functions

We study the Borel map, which maps infinitely differentiable functions on an interval to the jets of their Taylor coefficients at a given point in the interval. Our main results include a complete description of the image of the Borel map for Beurling classes of smooth functions and a moment-type summation method which allows one to recover a function from its Taylor jet. A surprising feature of this description is an unexpected threshold at the logarithmic class. Another interesting finding is a "duality" between non-quasianalytic and quasianalytic classes, which reduces the description of th…

2018-01-21math.CAmath.CV

更多相关论文收起更多论文

On the Borel mapping in the quasianalytic setting

The Borel mapping takes germs at $0$ of smooth functions to the sequence of iterated partial derivatives at $0$. We prove that the Borel mapping restricted to the germs of any quasianalytic ultradifferentiable class strictly larger than the real analytic class is never onto the corresponding sequence space.

2017-09-27math.CAmath.FA

Quasianalytic multiparameter perturbation of polynomials and normal matrices

We study the regularity of the roots of multiparameter families of complex univariate monic polynomials $P(x)(z) = z^n + \sum_{j=1}^n (-1)^j a_j(x) z^{n-j}$ with fixed degree $n$ whose coefficients belong to a certain subring $\mathcal C$ of $C^\infty$-functions. We require that $\mathcal C$ includes polynomial but excludes flat functions (quasianalyticity) and is closed under composition, derivation, division by a coordinate, and taking the inverse. Examples are quasianalytic Denjoy--Carleman classes, in particular, the class of real analytic functions $C^ω$. We show that there exists a local…

2011-01-12math.AGmath.CA

Oscillation of Fourier Integrals with a spectral gap

Suppose that Fourier transform of a function f is zero on the interval [-a,a]. We prove that the lower density of sign changes of f is at least a/pi, provided that f is a locally integrable temperate distribution in the sense of Beurling, with non-quasianalytic weight. We construct an example showing that the last condition cannot be omitted.

2003-01-07math.CAmath.CV

Pathological phenomena in Denjoy-Carleman classes

Let $\mathcal C^M$ denote a Denjoy-Carleman class of $\mathcal C^\infty$ functions (for a given logarithmically-convex sequence $M = (M_n)$). We construct: (1) a function in $\mathcal C^M((-1,1))$ which is nowhere in any smaller class; (2) a function on $\mathbb R$ which is formally $\mathcal C^M$ at every point, but not in $\mathcal C^M(\mathbb R)$; (3) (under the assumption of quasianalyticity) a smooth function on $\mathbb R^p$ ($p \geq 2$) which is $\mathcal C^M$ on every $\mathcal C^M$ curve, but not in $\mathcal C^M(\mathbb R^p)$.

2015-02-26math.CAmath.CV

Arc-smooth functions on closed sets

By an influential theorem of Boman, a function $f$ on an open set $U$ in $\mathbb R^d$ is smooth ($\mathcal C^\infty$) if and only if it is arc-smooth, i.e., $f\circ c$ is smooth for every smooth curve $c : \mathbb R \to U$. In this paper we investigate the validity of this result on closed sets. Our main focus is on sets which are the closure of their interior, so-called fat sets. We obtain an analogue of Boman's theorem on fat closed sets with Hölder boundary and on fat closed subanalytic sets with the property that every boundary point has a basis of neighborhoods each of which intersects t…

2019-01-08math.AGmath.CAmath.DG

Lower estimates for linear operators with smooth range

We introduce a new method to prove lower estimates for the approximation error of general linear operators with smooth range in terms of classical moduli of smoothness and related $K$-functionals. In addition, we explicitly show how to derive lower estimates for positive linear operators with smooth range and apply this result to classical approximation operators. We finish with some remarks on the eigenvalues of Schoenberg's spline operator.

2017-06-02math.CA

A lower bound for the uniform Schoenberg operator

We present an estimate for the lower bound for the Schoenberg operator with equidistant knots in terms of the second order modulus of smoothness. We investigate the behaviour of iterates of the Schoenberg operator and in addition, we show an upper bound of the second order derivative of these iterates. Finally, we prove the equivalence between the approximation error and the second order modulus of smoothness.

2013-12-19math.CA

Lower bounds for the approximation with variation-diminishing splines

We prove lower bounds for the approximation error of the variation-diminishing Schoenberg operator on the interval $[0,1]$ in terms of classical moduli of smoothness depending on the degree of the spline basis using a functional analysis based framework. Thereby, we characterize the spectrum of the Schoenberg operator and investigate the asymptotic behavior of its iterates. Finally, we prove the equivalence between the approximation error and the classical second order modulus of smoothness as an improved version of an open conjecture from 2002.

2014-02-11math.CA

Regularity versus smoothness of measures

The Assouad and lower dimensions and dimension spectra quantify the regularity of a measure by considering the relative measure of concentric balls. On the other hand, one can quantify the smoothness of an absolutely continuous measure by considering the $L^p$ norms of its density. We establish sharp relationships between these two notions. Roughly speaking, we show that smooth measures must be regular, but that regular measures need not be smooth.

2019-12-16math.CAmath.FA

On the Hausdorff dimension of the residual set of a packing by smooth curves

Let a planar residual set be a set obtained by removing countably many disjoint topological disks from an open set in the plane. We prove that the residual set of a planar packing by curves that satisfy a certain lower curvature bound has Hausdorff dimension bounded away from 1, quantitatively, depending only on the curvature bound. As a corollary, the residual set of any circle packing has Hausdorff dimension uniformly bounded away from 1. This result generalizes the result of Larman, who obtained the same conclusion for circle packings inside a square. We also show that our theorem is optima…

2020-10-28math.CAmath.CVmath.MG