Related papers: Transasymptotic expansions of o-minimal germs

Let $\mathbb{T}$ be the differential field of logarithmic-exponential transseries. We consider the expansion of $\mathbb{T}$ by the binary map that sends a real number $r$ and a positive transseries $f$ to the transseries $f^r$. Building on…

We study the combination of two o-minimal extensions of the theory of real closed fields: one by a T-convex subring and the other by a T-derivation. Let T be a complete, model complete o-minimal extension of RCF. We show that the combined…

Asymptotic expansions for generalised trigonometric integrals are obtained in terms of elementary functions, which are valid for large values of the parameter $a$ and unbounded complex values of the argument. These follow from new…

We consider differences between $\log \Gamma(x)$ and truncations of certain classical asymptotic expansions in inverse powers of $x-\lambda$ whose coefficients are expressed in terms of Bernoulli polynomials $B_n(\lambda)$, and we obtain…

We consider classical $O(N)$ vector models in dimension three and higher and investigate the nature of the low-temperature expansions for their multipoint spin correlations. We prove that such expansions define asymptotic series, and derive…

Asymptotic symmetries of gauge theories are known to encode infrared properties of radiative fields. In the context of tree-level Yang-Mills theory, the leading soft behavior of gluons is captured by large gauge symmetries with parameters…

We propose new structures called almost o-minimal structures and $\mathfrak X$-structures. The former is a first-order expansion of a dense linear order without endpoints such that the intersection of a definable set with a bounded open…

We consider an almost o-minimal expansion of an ordered group $\mathcal M=(M,<,+,0,\ldots)$ and its tame extension $\mathcal N=(N,<,+,0,\ldots)$. We demonstrate that the subset $\{x \in M^n\;|\; \mathcal N \models \Phi(x,a)\}$ of $M^n$…

We study the existence of formal Taylor expansions for functions defined on fields of generalised series. We prove a general result for the existence and convergence of those expansions for fields equipped with a derivation and an…

We introduce an elementary class of linearly ordered groups, called growth order groups, encompassing certain groups under composition of formal series (e.g. transseries) as well as certain groups $\mathcal{G}_{\mathcal{M}}$ of infinitely…

We study the asymptotic behavior of the fractional Allen--Cahn energy functional in bounded domains with prescribed Dirichlet boundary conditions. When the fractional power $s \in (0,\frac12)$, we establish establish the first-order…

A detailed analysis of the remainder obtained by truncating the Euler series up to the $n$th-order term is presented. In particular, by using an approach recently proposed by Weniger, asymptotic expansions of the remainder, both in inverse…

We study the higher-order asymptotic development of a nonlocal phase transition energy in bounded domains and with prescribed external boundary conditions. The energy under consideration has fractional order $2s \in (0,1)$ and a first-order…

We consider the ordered field which is the completion of the Puiseux series field over \bR equipped with a ring of analytic functions on [-1,1]^n which contains the standard subanalytic functions as well as functions given by t-adically…

We revisit a representation for the Riemann zeta function $\zeta(s)$ expressed in terms of normalised incomplete gamma functions given by the author and S. Cang in Methods Appl. Anal. {\bf 4} (1997) 449--470. Use of the uniform asymptotics…

Bessel and modified Bessel functions of imaginary order $i\nu$ ($\nu >0$) are studied. Asymptotic expansions are derived as $\nu \to \infty$ that are uniformly valid in unbounded complex domains, with error bounds provided. Coupled with…

We define the universal exponential extension of an algebraically closed differential field and investigate its properties in the presence of a nice valuation and in connection with linear differential equations. Next we prove normalization…

Let phi denote Euler's phi function. For a fixed odd prime we give an asymptotic series expansion in the sense of Poincare for the number E_q(x) of n<=x such that q does not divide phi(n). Thereby we improve on a recent theorem of B.K.…

It is well known that ordered exponential fields with a compatible non-trivial valuation cannot be spherically complete, but there are some that are ``complete enough''. This paper gives analogues of Kaplansky's theorem on maximally valued…

Let $\Omega\subset{\mathbb R}^2$ be a bounded domain on which Hardy's inequality holds. We prove that $[\exp(u^2)-1]/\delta^2\in L^1(\Omega)$ if $u\in H^1_0(\Omega)$, where $\delta$ denotes the distance to $\partial\Omega$. The…