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

Motivated by applications in declarative data analysis, we study $\mathit{Datalog}_{\mathbb{Z}}$---an extension of positive Datalog with arithmetic functions over integers. This language is known to be undecidable, so we propose two…

We prove some fundamental properties of mu-differentiable functions. A new notion of local minimizer and maximizer is introduced and several extremum conditions are formulated using the language of nonstandard analysis.

We consider the design of smoothings of the (coordinate-wise) max function in $\mathbb{R}^d$ in the infinity norm. The LogSumExp function $f(x)=\ln(\sum^d_i\exp(x_i))$ provides a classical smoothing, differing from the max function in value…

The local (central) limit theorem precisely describes the behavior of iterated convolution powers of a probability distribution on the $d$-dimensional integer lattice, $\mathbb{Z}^d$. Under certain mild assumptions on the distribution, the…

We introduce a new notion of computable function on $\R^N$ and prove some basic properties. We give two applications, first a short proof of Yoshinaga's theorem that periods are \el (they are actually low). We also show that the low complex…

There has recently been an increasing interest in declarative data analysis, where analytic tasks are specified using a logical language, and their implementation and optimisation are delegated to a general-purpose query engine. Existing…

A novel basis of discrete analytic polynomials on a rhombic lattice is introduced and the associated convolution product is studied. A class of discrete analytic functions that are rational with respect to this product is also described.

We present and analyze a natural hierarchy of weak theories, develop analysis in them, and show that they are interpretable in bounded quantifier arithmetic $\text{I}\Delta_0$ (and hence in Robinson arithmetic Q). The strongest theories…

Special values of the Lommel functions allow the calculation of Fresnel like integrals. These closed form expressions along with their asymptotic values are reported.

The matrix exponential restricted to skew-symmetric matrices has numerous applications, notably in view of its interpretation as the Lie group exponential and Riemannian exponential for the special orthogonal group. We characterize the…

Let phi(n) denote the Euler totient function. We study the analytic part associated with the summatory function of sigma_1(n) and obtain explicit bounds under the Riemann Hypothesis. In particular, we establish an upper bound of order…

Quasianalytic contractions form the crucial class in the quest for proper invariant and hyperinvariant subspaces for asymptotically non-vanishing Hilbert space contractions. The property of quasianalycity relies on the concepts of unitary…

We establish a rigid-analytic analog of the Pila-Wilkie counting theorem, giving sub-polynomial upper bounds for the number of rational points in the transcendental part of a $\mathbb{Q}_p$-analytic set, and the number of rational functions…

A three-parameter logarithmic function is derived using the notion of q-analogue and ansatz technique. The derived three-parameter logarithm is shown to be a generalization of the two-parameter logarithmic function of Schwammle and Tsallis…

Let $L$ be a positive self-adjoint operator on $L^2(X)$, where $X$ is a $\sigma$-finite metric measure space. When $\alpha \in (0,1)$, the subordinated semigroup $\{\exp(-tL^{\alpha}):t \in \mathbb{R}^+\}$ can be defined on $L^2(X)$ and…

Let $L^{m,p}(\R^n)$ denote the Sobolev space of functions whose $m$-th derivatives lie in $L^p(\R^n)$, and assume that $p>n$. For $E \subset \R^n$, denote by $L^{m,p}(E)$ the space of restrictions to $E$ of functions $F \in L^{m,p}(\R^n)$.…

In this paper we define "a continued fraction expansion of the exponential integral $E_{1}(x)$ at infinity", which is analogous to the regular continued fraction expansion of real numbers, and prove that this expansion gives the same…

In this paper, we show that the extremal length functions on Teichm\"uller space are log-plurisubharmonic. As a corollary, we obtain an alternative proof of L.Liu and W.Su's results on the plurisubharmonicity of extremal length functions.…

We consider the hard-edge scaling of the Mittag-Leffler ensemble confined to a fixed disk inside the droplet. Our primary emphasis is on fluctuations of rotationally-invariant additive statistics that depend on the radius and thus give rise…

We consider the behaviour of holomorphic functions on a bounded open subset of the plane, satisfying a Lipschitz condition with exponent $\alpha$, with $0<\alpha<1$, in the vicinity of an exceptional boundary point where all such functions…