相关论文: Transasymptotic expansions of o-minimal germs

We present a general structure theorem for the Hardy field of an o-minimal expansion of the reals by restricted analytic functions and an unrestricted exponential. We proceed to analyze its residue fields with respect to arbitrary convex…

We construct a Hardy field that contains Ilyashenko's class of germs at infinity of almost regular functions as well as all log-exp-analytic germs. In addition, each germ in this Hardy field is uniquely characterized by an asymptotic…

Let $T$ be the theory of an o-minimal field and $T_0$ a common reduct of $T$ and $T_{an}$. I adapt Mourgues' and Ressayre's constructions to deduce structure results for $T_0$-reducts of $T$-$\lambda$-spherical completion of models of…

Let $\mathcal{R}$ be an expansion of the ordered real additive group. When $\mathcal{R}$ is o-minimal, it is known that either $\mathcal{R}$ defines an ordered field isomorphic to $(\mathbb{R},<,+,\cdot)$ on some open subinterval…

Let $\mathbb{T}$ be the differential field of logarithmic-exponential transseries. We show that the expansion of $\mathbb{T}$ by its natural exponential function is model complete and locally o-minimal. We give an axiomatization of the…

We consider the asymptotic expansion of the functional series \[S_{\mu,\gamma}(a;\lambda)=\sum_{n=1}^\infty \frac{n^\gamma e^{-\lambda n^2/a^2}}{(n^2+a^2)^\mu}\] for real values of the parameters $\gamma$, $\lambda>0$ and $\mu\geq0$ as…

We adapt the construction of the field of logarithmic-exponential transseries of van den Dries, Macintyre, and Marker to build an ordered differential field of sublogarithmic-transexponential series. We use this structure to build a…

We construct asymptotic expansions for the normalised incomplete gamma function $Q(a,z)=\Gamma(a,z)/\Gamma(a)$ that are valid in the transition regions, including the case $z\approx a$, and have simple polynomial coefficients. For Bessel…

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…

We consider the generalised Mathieu series \[\sum_{n=1}^\infty \frac{n^\gamma}{(n^\lambda+a^\lambda)^\mu}\qquad (\mu>0)\] when the parameters $\lambda$ ($>0$) and $\gamma$ are even integers for large complex $a$ in the sector…

We explore \emph{semibounded} expansions of arbitrary ordered groups; namely, expansions that do not define a field on the whole universe. We introduce the notion of a \emph{semibounded} expansion of an arbitrary ordered group, extending…

We consider the asymptotic behavior of the incomplete gamma functions gamma(-a,-z) and Gamma(-a,-z) as a goes to infinity. Uniform expansions are needed to describe the transition area z~a in which case error functions are used as main…

The following two assertions are equivalent for an o-minimal expansion of an ordered group $\mathcal M=(M,<,+,0,\ldots)$. There exists a definable bijection between a bounded interval and an unbounded interval. Any definable continuous…

We consider the asymptotic expansion of the functional series \[S_{\mu}^\pm(a;\lambda)=\sum_{n=0}^\infty \frac{(\pm 1)^n e^{-\lambda n}}{(n^2+a^2)^\mu}\] for $\lambda>0$ and $\mu\geq0$ as $|a|\to \infty$ in the sector $|\arg\,a|<\pi/2$. The…

A new uniform asymptotic expansion for the incomplete gamma function $\Gamma(a,z)$ valid for large values of $z$ was given by the author in {\it J. Comput. Appl. Math.} {\bf 148} (2002) 323--339. This expansion contains a complementary…

We investigate continuous functions definable in a definably complete uniformly locally o-minimal expansion of the second kind of a densely linearly ordered abelian group (DCULOAS structure). We prove a variant of the Arzela-Ascoli theorem…

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…

We prove that some holomorphic continuations of functions in the classes $\mathbf{an}^*$ and $\mathcal{G}$ are definable in the o-minimal structures $\mathbb{R}_{\mathrm{an}^*}$ and $\mathbb{R}_{\mathcal{G}}$ respectively. More…

We introduce sufficient conditions on discrete singular integral operators for their maximal truncations to satisfy a sparse bound. The latter imply a range of quantitative weighted inequalities, which are new. As an application, we prove…

We study definably complete locally o-minimal expansions of ordered groups in this paper. A definable continuous function defined on a closed, bounded and definable set behave like a continuous function on a compact set. We demonstrate…