Showing 1–13 of 13 results for author: Servi, T

Analytic holonomicity of real C$^{\mathrm{exp}}$-class distributions

Authors: Avraham Aizenbud, Raf Cluckers, Michel Raibaut, Tamara Servi

Abstract: We introduce a notion of distributions on $\mathbb{R}^n$, called distributions of C$^{\mathrm{exp}}$-class, based on wavelet transforms of distributions and the theory from [6] about C$^{\mathrm{exp}}$-class functions. We prove that the framework of C$^{\mathrm{exp}}$-class distributions is closed under natural operations, like push-forward, pull-back, derivation and antiderivation, and, in the te… ▽ More We introduce a notion of distributions on $\mathbb{R}^n$, called distributions of C$^{\mathrm{exp}}$-class, based on wavelet transforms of distributions and the theory from [6] about C$^{\mathrm{exp}}$-class functions. We prove that the framework of C$^{\mathrm{exp}}$-class distributions is closed under natural operations, like push-forward, pull-back, derivation and antiderivation, and, in the tempered case, Fourier transforms. Our main result is the (real analytic) holonomicity of all distributions of C$^{\mathrm{exp}}$-class. △ Less

Submitted 29 March, 2024; originally announced March 2024.

Transasymptotic expansions of o-minimal germs

Authors: Jean-Philippe Rolin, Tamara Servi, Patrick Speissegger

Abstract: Given an o-minimal expansion $\mathbb{R}_{\mathcal{A}}$ of the real ordered field, generated by a generalized quasianalytic class $\mathcal{A}$, we construct an explicit truncation closed ordered differential field embedding of the Hardy field of the expansion $\mathbb{R}_{\mathcal{A},\exp}$ of $\mathbb{R}_{\mathcal{A}}$ by the unrestricted exponential function, into the field $\mathbb{T}$ of tran… ▽ More Given an o-minimal expansion $\mathbb{R}_{\mathcal{A}}$ of the real ordered field, generated by a generalized quasianalytic class $\mathcal{A}$, we construct an explicit truncation closed ordered differential field embedding of the Hardy field of the expansion $\mathbb{R}_{\mathcal{A},\exp}$ of $\mathbb{R}_{\mathcal{A}}$ by the unrestricted exponential function, into the field $\mathbb{T}$ of transseries. We use this to prove some non-definability results. In particular, we show that the restriction to the positive half-line of Euler's Gamma function is not definable in the structure $\mathbb{R}_{\text{an}^{*},\exp}$, generated by all convergent generalized power series and the exponential function, thus establishing the non-interdefinability of the restrictions to a neighbourhood of $+\infty$ of Euler's Gamma and of the Riemann Zeta function. △ Less

Submitted 18 April, 2024; v1 submitted 19 February, 2024; originally announced February 2024.

MSC Class: 03C64; 26E10; 03C10; 12J15

Parametric Fourier and Mellin transforms of power-constructible functions

Authors: Raf Cluckers, Georges Comte, Tamara Servi

Abstract: We enrich the class of power-constructible functions, introduced in [CCRS23], to a class of algebras of functions which contains all complex powers of subanalytic functions, their parametric Mellin and Fourier transforms, and which is stable under parametric integration. By describing a set of generators of a special prepared form we deduce information on the asymptotics and on the loci of integra… ▽ More We enrich the class of power-constructible functions, introduced in [CCRS23], to a class of algebras of functions which contains all complex powers of subanalytic functions, their parametric Mellin and Fourier transforms, and which is stable under parametric integration. By describing a set of generators of a special prepared form we deduce information on the asymptotics and on the loci of integrability of the functions of the class. We furthermore identify a subclass which is the smallest class containing all power-constructible functions and stable under parametric Fourier transforms and right-composition with subanalytic maps. This subclass is also stable under parametric integration, under taking pointwise and $L^p$limits, and under parametric Fourier-Plancherel transforms. Finally, we give a full asymptotic expansion in the power-logarithmic scale, uniformly in the parameters, for functions in this subclass. △ Less

Submitted 30 August, 2023; originally announced August 2023.

MSC Class: 26B15; 14P15; 32B20; 42B20; 42A38 (Primary) 03C64; 14P10; 33B10 (Secondary)

Mellin transforms of power-constructible functions

Authors: Raf Cluckers, Georges Comte, Jean-Philippe Rolin, Tamara Servi

Abstract: We consider several systems of algebras of real- and complex-valued functions, which appear in o-minimal geometry and related geometrically tame contexts. For each such system, we prove its stability under parametric integration and we study the asymptotics of the functions as well as the nature of their parametric Mellin transforms. We consider several systems of algebras of real- and complex-valued functions, which appear in o-minimal geometry and related geometrically tame contexts. For each such system, we prove its stability under parametric integration and we study the asymptotics of the functions as well as the nature of their parametric Mellin transforms. △ Less

Submitted 19 April, 2023; v1 submitted 10 April, 2023; originally announced April 2023.

MSC Class: 26B15; 14P15; 32B20; 42B20; 42A38

Multisummability for generalized power series

Authors: Jean-Philippe Rolin, Tamara Servi, Patrick Speissegger

Abstract: We develop multisummability, in the positive real direction, for generalized power series with natural support, and we prove o-minimality of the expansion of the real field by all multisums of these series. This resulting structure expands both $\mathbb{R}_{\mathcal{G}}$ and the reduct of $\mathbb{R}_{\mathrm{an}^*}$ generated by all convergent generalized power series with natural support; in par… ▽ More We develop multisummability, in the positive real direction, for generalized power series with natural support, and we prove o-minimality of the expansion of the real field by all multisums of these series. This resulting structure expands both $\mathbb{R}_{\mathcal{G}}$ and the reduct of $\mathbb{R}_{\mathrm{an}^*}$ generated by all convergent generalized power series with natural support; in particular, its expansion by the exponential function defines both the Gamma function on $(0,\infty)$ and the Zeta function on $(1,\infty)$. △ Less

Submitted 20 January, 2023; v1 submitted 28 March, 2022; originally announced March 2022.

Comments: 34 pages

MSC Class: Primary 40C10; 03C64; 26E10; Secondary 30D60

Linearization of complex hyperbolic Dulac germs

Authors: Dino Peran, Maja Resman, Jean-Philippe Rolin, Tamara Servi

Abstract: We prove that a hyperbolic Dulac germ with complex coefficients in its expansion is linearizable on a standard quadratic domain and that the linearizing coordinate is again a complex Dulac germ. The proof uses results about normal forms of hyperbolic transseries from another work of the authors. We prove that a hyperbolic Dulac germ with complex coefficients in its expansion is linearizable on a standard quadratic domain and that the linearizing coordinate is again a complex Dulac germ. The proof uses results about normal forms of hyperbolic transseries from another work of the authors. △ Less

Submitted 1 September, 2021; originally announced September 2021.

Normal forms of hyperbolic logarithmic transseries

Authors: Dino Peran, Maja Resman, Jean-Philippe Rolin, Tamara Servi

Abstract: We find the normal forms of hyperbolic logarithmic transseries with respect to parabolic logarithmic normalizing changes of variables. We provide a necessary and sufficient condition on such transseries for the normal form to be linear. The normalizing transformations are obtained via fixed point theorems, and are given algorithmically, as limits of Picard sequences in appropriate topologies. We find the normal forms of hyperbolic logarithmic transseries with respect to parabolic logarithmic normalizing changes of variables. We provide a necessary and sufficient condition on such transseries for the normal form to be linear. The normalizing transformations are obtained via fixed point theorems, and are given algorithmically, as limits of Picard sequences in appropriate topologies. △ Less

Submitted 18 June, 2021; v1 submitted 22 May, 2021; originally announced May 2021.

Comments: 33 pages, 0 figures

MSC Class: 34C20; 37C25; 47H10; 39B12; 46A19; 26A12; 12J15

On local definability of holomorphic functions

Authors: Gareth Jones, Jonathan Kirby, Olivier Le Gal, Tamara Servi

Abstract: Given a collection A of holomorphic functions, we consider how to describe all the holomorphic functions locally definable from A. The notion of local definability of holomorphic functions was introduced by Wilkie, who gave a complete description of all functions locally definable from A in the neighbourhood of a generic point. We prove that this description is no longer complete in the neighbourh… ▽ More Given a collection A of holomorphic functions, we consider how to describe all the holomorphic functions locally definable from A. The notion of local definability of holomorphic functions was introduced by Wilkie, who gave a complete description of all functions locally definable from A in the neighbourhood of a generic point. We prove that this description is no longer complete in the neighbourhood of non-generic points. More precisely, we produce three examples of holomorphic functions which suggest that at least three new operations need to be added to Wilkie's description in order to capture local definability in its entirety. The constructions illustrate the interaction between resolution of singularities and definability in the o-minimal setting. △ Less

Submitted 19 December, 2017; originally announced December 2017.

MSC Class: 03C64; 14P10

Journal ref: The Quarterly Journal of Mathematics, 2019

Integration of Oscillatory and Subanalytic Functions

Authors: Raf Cluckers, Georges Comte, Daniel J. Miller, Jean-Philippe Rolin, Tamara Servi

Abstract: We prove the stability under integration and under Fourier transform of a concrete class of functions containing all globally subanalytic functions and their complex exponentials. This paper extends the investigation started in [J.-M. Lion, J.-P. Rolin: "Volumes, feuilles de Rolle de feuilletages analytiques et théorème de Wilkie" Ann. Fac. Sci. Toulouse Math. (6) 7 (1998), no. 1, 93-112] and [R.… ▽ More We prove the stability under integration and under Fourier transform of a concrete class of functions containing all globally subanalytic functions and their complex exponentials. This paper extends the investigation started in [J.-M. Lion, J.-P. Rolin: "Volumes, feuilles de Rolle de feuilletages analytiques et théorème de Wilkie" Ann. Fac. Sci. Toulouse Math. (6) 7 (1998), no. 1, 93-112] and [R. Cluckers, D. J. Miller: "Stability under integration of sums of products of real globally subanalytic functions and their logarithms" Duke Math. J. 156 (2011), no. 2, 311-348] to an enriched framework including oscillatory functions. It provides a new example of fruitful interaction between analysis and singularity theory. △ Less

Submitted 11 December, 2017; v1 submitted 8 January, 2016; originally announced January 2016.

Comments: Final version. Accepted for publication in Duke Math. Journal. Changes in proofs: from Section 6 to the end, we now use the theory of continuously uniformly distributed modulo 1 functions that provides a uniform technical point of view in the proofs of limit statements

MSC Class: 26B15; 14P15; 32B20; 42B20; 42A38 (Primary) 03C64; 14P10; 33B10 (Secondary)

Journal ref: Duke Math. J. 167, no. 7 (2018), 1239-1309

Local interdefinability of Weierstrass elliptic functions

Authors: Gareth Jones, Jonathan Kirby, Tamara Servi

Abstract: We explain which Weierstrass elliptic functions are locally definable from other elliptic functions and exponentiation in the context of o-minimal structures. The proofs make use of the predimension method from model theory to exploit functional transcendence theorems in a systematic way. We explain which Weierstrass elliptic functions are locally definable from other elliptic functions and exponentiation in the context of o-minimal structures. The proofs make use of the predimension method from model theory to exploit functional transcendence theorems in a systematic way. △ Less

Submitted 17 February, 2014; originally announced February 2014.

MSC Class: 03C64 11U09

Journal ref: J. Inst. Math. Jussieu 15 (2016) 673-691

Multivariable Newton-Puiseux Theorem for Generalised Quasianalytic Classes

Authors: Tamara Servi

Abstract: We show how to solve explicitly an equation satisfied by a real function belonging to certain general quasianalytic classes. Examples of the classes under consideration are the collection of convergent generalised power series, a class of functions which contains some Dulac Transition Maps of real analytic planar vector fields, quasianalytic Denjoy-Carleman classes and the collection of multisumma… ▽ More We show how to solve explicitly an equation satisfied by a real function belonging to certain general quasianalytic classes. Examples of the classes under consideration are the collection of convergent generalised power series, a class of functions which contains some Dulac Transition Maps of real analytic planar vector fields, quasianalytic Denjoy-Carleman classes and the collection of multisummable series. △ Less

Submitted 11 May, 2014; v1 submitted 30 March, 2013; originally announced April 2013.

MSC Class: 30D60; 32B20; 32S45; 03C64

Quantifier Elimination and Rectilinearisation Theorem for Generalised Quasianalytic Algebras

Authors: Jean-Philippe Rolin, Tamara Servi

Abstract: An algebra of germs of real functions is generalised quasianalytic if to each element of the algebra we can associate, injectively, a power series with nonnegative real exponents. We prove a quantifier elimination and a rectilinearisation result for generalised quasianalytic algebras. An algebra of germs of real functions is generalised quasianalytic if to each element of the algebra we can associate, injectively, a power series with nonnegative real exponents. We prove a quantifier elimination and a rectilinearisation result for generalised quasianalytic algebras. △ Less

Submitted 23 March, 2013; v1 submitted 15 March, 2013; originally announced March 2013.

MSC Class: 30D60; 14P15; 03C64 (primary); 32S45 (secondary)

Definably complete and Baire structures and Pfaffian closure

Authors: Antongiulio Fornasiero, Tamara Servi

Abstract: We consider definably complete and Baire expansions of ordered fields: every definable subset of the domain of the structure has a supremum and the domain can not be written as the union of a definable increasing family of nowhere dense sets. Every expansion of the real field is definably complete and Baire. So is every o-minimal expansion of a field. However, unlike the o-minimal case, the stru… ▽ More We consider definably complete and Baire expansions of ordered fields: every definable subset of the domain of the structure has a supremum and the domain can not be written as the union of a definable increasing family of nowhere dense sets. Every expansion of the real field is definably complete and Baire. So is every o-minimal expansion of a field. However, unlike the o-minimal case, the structures considered form an elementary class. In this context we prove a version of Kuratowski-Ulam's Theorem and some restricted version of Sard's Lemma. We use the above results to prove the following version of Wilkie's Theorem of the Complement: given a definably complete Baire expansion K of an ordered field with a family of smooth functions, if there are uniform bounds on the number of definably connected components of quantifier free definable sets, then K is o-minimal. We further generalize the above result, along the line of Speissegger's theorem, and prove the o-minimality of the relative Pfaffian closure of an o-minimal structure inside a definably complete Baire structure. △ Less

Submitted 17 May, 2010; v1 submitted 25 March, 2008; originally announced March 2008.

Comments: 76 pages, version 4.1. Changed the last 3 sections from the previous version

MSC Class: 58A17 (Primary); 03C64; 32C05; 54E52 (Secondary)