Showing 1–15 of 15 results for author: Rolin, J

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

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 18 November, 2024; v1 submitted 10 April, 2023; originally announced April 2023.

Comments: To appear in Advances in Mathematics

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

The Fatou coordinate for parabolic Dulac germs

Authors: Pavao Mardesic, Maja Resman, Jean-Philippe Rolin, Vesna Zupanovic

Abstract: We study the class of parabolic Dulac germs of hyperbolic polycycles. For such germs we give a constructive proof of the existence of a unique Fatou coordinate, admitting an asymptotic expansion in the power-iterated log scale. We study the class of parabolic Dulac germs of hyperbolic polycycles. For such germs we give a constructive proof of the existence of a unique Fatou coordinate, admitting an asymptotic expansion in the power-iterated log scale. △ Less

Submitted 13 July, 2018; v1 submitted 2 October, 2017; originally announced October 2017.

Comments: 31 pages. arXiv admin note: text overlap with arXiv:1606.02581

MSC Class: 37C05; 34C07; 30B10; 30B12; 39A06; 34E05; 37C10; 37C15

Oscillatory Integrals and Fractal Dimension

Authors: Jean-Philippe Rolin, Domagoj Vlah, Vesna Zupanovic

Abstract: We study geometrical representation of oscillatory integrals with an analytic phase function and a smooth amplitude with compact support. Geometrical properties of the curves defined by the oscillatory integral depend on the type of a critical point of the phase. We give explicit formulas for the box dimension and the Minkowski content of these curves. Methods include Newton diagrams and the resol… ▽ More We study geometrical representation of oscillatory integrals with an analytic phase function and a smooth amplitude with compact support. Geometrical properties of the curves defined by the oscillatory integral depend on the type of a critical point of the phase. We give explicit formulas for the box dimension and the Minkowski content of these curves. Methods include Newton diagrams and the resolution of singularities. △ Less

Submitted 21 September, 2016; v1 submitted 4 September, 2016; originally announced September 2016.

Length of epsilon-neighborhoods of orbits of Dulac maps

Authors: P. Mardesic, M. Resman, J. -P. Rolin, V. Zupanovic

Abstract: By Dulac maps we mean first return maps of hyperbolic polycycles of analytic planar vector fields. We study the fractal properties of the orbits of a parabolic Dulac map. To this end, we prove that it admits a Fatou coordinate with an asympotic expansion in terms of power-iterated logarithm transseries. This allows to introduce a new notion, the \emph{continuous time length of $\varepsilon$-neighb… ▽ More By Dulac maps we mean first return maps of hyperbolic polycycles of analytic planar vector fields. We study the fractal properties of the orbits of a parabolic Dulac map. To this end, we prove that it admits a Fatou coordinate with an asympotic expansion in terms of power-iterated logarithm transseries. This allows to introduce a new notion, the \emph{continuous time length of $\varepsilon$-neighborhoods of orbits}, and to prove that this function of $\varepsilon$ admits an asymptotic expansion in the same scale. We show that, under some hypotheses, this expansion determines the class of formal conjugacy of the Dulac map. △ Less

Submitted 30 April, 2018; v1 submitted 8 June, 2016; originally announced June 2016.

Comments: 43 pages, 1 figure

MSC Class: 34C20; 37C10; 39B12; 46A19; 28A75; 58K50; 26A12

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

Formal normal forms and formal embeddings into flows for power-log transseries

Authors: Pavao Mardesic, Maja Resman, Jean-Philippe Rolin, Vesna Zupanovic

Abstract: The Dulac series are the asymptotic expansions of first return maps in a neighborhood of a hyperbolic polycycle. In this article, we consider two algebras and of power-log transseries (generalized series) which extend the algebra of Dulac series. We give a formal normal form and prove a formal embedding theorem for transseries in these algebras. The Dulac series are the asymptotic expansions of first return maps in a neighborhood of a hyperbolic polycycle. In this article, we consider two algebras and of power-log transseries (generalized series) which extend the algebra of Dulac series. We give a formal normal form and prove a formal embedding theorem for transseries in these algebras. △ Less

Submitted 10 March, 2016; v1 submitted 21 May, 2015; originally announced May 2015.

MSC Class: 37C05; 37C15; 06A99

Note on the Weierstrass Preparation Theorem in Quasianalytic Local Rings

Authors: Jean-Philippe Rolin, Adam Parusinski

Abstract: 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. . 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. . △ Less

Submitted 15 April, 2013; v1 submitted 18 March, 2013; originally announced March 2013.

MSC Class: 26E10; 26E05 (primary); 14P15 (secondary)

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)

Transition maps at non-resonant hyperbolic singularities are o-minimal

Authors: Tobias Kaiser, Jean-Philippe Rolin, Patrick Speissegger

Abstract: We construct a model complete and o-minimal expansion of the field of real numbers such that, for any planar analytic vector field X and any isolated, non-resonant hyperbolic singularity p of X, a transition map for X at p is definable in this structure. This structure also defines all convergent generalized power series with natural support and is polynomially bounded. We construct a model complete and o-minimal expansion of the field of real numbers such that, for any planar analytic vector field X and any isolated, non-resonant hyperbolic singularity p of X, a transition map for X at p is definable in this structure. This structure also defines all convergent generalized power series with natural support and is polynomially bounded. △ Less

Submitted 20 April, 2009; v1 submitted 23 December, 2006; originally announced December 2006.

Comments: 49 pages, 2 figures

MSC Class: 37C27; 37E35; 03C64

Product-limit estimators of the survival function with twice censored data

Authors: Valentin Patilea, Jean-Marie Rolin

Abstract: A model for competing (resp. complementary) risks survival data where the failure time can be left (resp. right) censored is proposed. Product-limit estimators for the survival functions of the individual risks are derived. We deduce the strong convergence of our estimators on the whole real half-line without any additional assumptions and their asymptotic normality under conditions concerning o… ▽ More A model for competing (resp. complementary) risks survival data where the failure time can be left (resp. right) censored is proposed. Product-limit estimators for the survival functions of the individual risks are derived. We deduce the strong convergence of our estimators on the whole real half-line without any additional assumptions and their asymptotic normality under conditions concerning only the observed distribution. When the observations are generated according to the double censoring model introduced by Turnbull, the product-limit estimators represent upper and lower bounds for Turnbull's estimator. △ Less

Submitted 3 July, 2006; originally announced July 2006.

Comments: Published at http://dx.doi.org/10.1214/009053606000000065 in the Annals of Statistics (http://www.imstat.org/aos/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOS-AOS0139 MSC Class: 62N01 (Primary) 62G05; 62N02 (Secondary)

Journal ref: Annals of Statistics 2006, Vol. 34, No. 2, 925-938

Quasianalytic solutions of differential equations and o-minimal structures

Authors: J. -P. Rolin, F. Sanz, R. Schaefke

Abstract: It is well known that the non-spiraling leaves of real analytic foliations of codimension 1 all belong to the same o-minimal structure. Naturally, the question arises if the same statement is true for non-oscillating trajectories of real analytic vector fields. We show, under certain assumptions, that such a trajectory generates an o-minimal and model complete structure together with the analy… ▽ More It is well known that the non-spiraling leaves of real analytic foliations of codimension 1 all belong to the same o-minimal structure. Naturally, the question arises if the same statement is true for non-oscillating trajectories of real analytic vector fields. We show, under certain assumptions, that such a trajectory generates an o-minimal and model complete structure together with the analytic functions. The proof uses the asymptotic theory of irregular singular ordinary differential equations in order to establish a quasi-analyticity result from which the main theorem follows. As applications, we present an infinite family of o-minimal structures such that any two of them do not admit a common extension, and we construct a non-oscillating trajectory of a real analytic vector field in dimension 5 that is not definable in any o-minimal extension of the reals △ Less

Submitted 2 June, 2006; v1 submitted 4 May, 2005; originally announced May 2005.

Comments: 33 pages

MSC Class: 03C64; 30D60; 34M40; 34M30