Related papers: Restricted Log-Exp-Analytic Functions and some Dif…

We show that the derivative of a log-analytic function is log-analytic. We prove that log-analytic functions exhibit strong quasianalytic properties. We establish the parametric version of Tamm's theorem for log-analytic functions.

A preparation theorem for compositions of restricted log-exp-analytic functions and power functions of the form $$h: \mathbb{R} \to \mathbb{R}, x \mapsto \left\{\begin{array}{ll} x^r, & x > 0, \\ 0, & \textnormal{ else, }…

We show that a real analytic restricted log-exp-analytic function has a holomorphic extension which is again restricted log-exp-analytic. We also establish a parametric version of this result.

In this article we give strong versions for preparation theorems for $\mathbb{R}_{an,exp}$-definable functions outgoing from methods of Lion and Rolin ($\mathbb{R}_{an,exp}$ is the o-minimal structure generated by all restricted analytic…

We show that unary log-analytic functions are polynomially bounded. In the higher dimensional case globally a log-analytic function can have exponential growth. We show that a log-analytic function is polynomially bounded on a definable set…

It is well known that every solution of an elliptic equation is analytic if its coefficients are analytic. However, less is known about the ultra-analyticity of such solutions. This work addresses the problem of elliptic equations with…

Exponential-constructible functions are an extension of the class of constructible functions. This extension was formulated by Cluckers-Loeser in the context of semi-algebraic and sub-analytic structures, when they studied stability under…

It is known that rational approximations of elementary analytic functions (exp, log, trigonometric, and hyperbolic functions, and their inverse functions) are computable in the weak complexity class $\mathrm{TC}^0$. We show how to formalize…

In this article we study definable functions in tame expansions of algebraically closed valued fields. For a given definable function we have two types of results: of type (I), which hold at a neighborhood of infinity, and of type (II),…

For a slice--regular quaternionic function $f,$ the classical exponential function $\exp f$ is not slice--regular in general. An alternative definition of exponential function, the $*$-exponential $\exp_*$, was given: if $f$ is a…

In this article we determine the coefficient bounds for functions in certain subclasses of analytic functions defined by subordination which are related to the well-known classes of starlike and convex functions. The main results deal with…

In this paper we give simple extension and uniqueness theorems for restricted additive and logarithmic functional equations.

This work begins by introducing the groundbreaking concept of log-p-analytic functions. Following this introduction, we proceed to delineate four distinct formulations of Landau-type theorems, specifically crafted for the domain of…

We introduce the notion of $R$-analytic functions. These are definable in an o-minimal expansion of a real closed field $R$ and are locally the restriction of a $K$-differentiable function (defined by Peterzil and Starchenko) where…

Criteria are given that kappa-deformed logarithmic and exponential functions should satisfy. With a pair of such functions one can associate another function, called the deduced logarithmic function. It is shown that generalized…

Let $\exp[x_0,x_1,\dots,x_n]$ denote the divided difference of the exponential function. (i) We prove that exponential divided differences are log-submodular. (ii) We establish the four-point inequality $…

The main aim of this paper is to establish several Landau-type theorems for certain bounded poly-analytic functions and reduced poly-analytic functions that generalize some previously established results.

We prove that the equational complexity function for the variety of representable relation algebras is bounded below by a log-log function.

We work with quasianalytic classes of functions. Consider a real-valued function y = f(x) on an open subset U of Euclidean space, which satisfies a quasianalytic equation G(x, y) = 0. We prove that f is arc-quasianalytic (i.e., its…

Using appropriate notation systems for proofs, cut-reduction can often be rendered feasible on these notations, and explicit bounds can be given. Developing a suitable notation system for Bounded Arithmetic, and applying these bounds, all…