Related papers: Restricted Log-Exp-Analytic Power Functions

We propose to use Tarski's least fixpoint theorem as a basis to define recursive functions in the calculus of inductive constructions. This widens the class of functions that can be modeled in type-theory based theorem proving tool to…

Computing $\log\det(A)$ for large symmetric positive definite matrices arises in Gaussian process inference and Bayesian model comparison. Standard methods combine matrix-vector products with polynomial approximations. We study a different…

We first study subextensions of m-subharmonic functions in weighted energy classes with given boundary values. The results are used to approximate an m-subharmonic function in weighted energy classes with given boundary values by an…

Based on the full similarity in algebraic properties and differentiation rules between quaternionic (H-) holomorphic and complex (C-) holomorphic functions, we assume that there exists one holistic notion of a holomorphic function that has…

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…

We establish the strong L2(P)-convergence of properly rescaled Wick powers as the power index tends to infinity. The explicit representation of such limit will also provide the convergence in distribution to normal and log-normal random…

For any near-threshold asymptotic regime and for any Feynman diagram (involving loop and/or phase space integrals), a systematic prescription for explicitly constructing all-logs, all-powers (all-twists) expansions in perfectly factorized…

Motivated by the Maximum Theorem for convex functions (in the setting of linear spaces) and for subadditive functions (in the setting of Abelian semigroups), we establish a Maximum Theorem for the class of generalized convex functions,…

We generalize McDiarmid's inequality for functions with bounded differences on a high probability set, using an extension argument. Those functions concentrate around their conditional expectations. We further extend the results to…

We present a maximal class of analytic functions, elements of which are in one-to-one correspondence with their asymptotic expansions. In recent decades it has been realized (B. Malgrange, J. Ecalle, J.-P. Ramis, Y. Sibuya et al.), that the…

Let $L$ be a second-order elliptic operator with analytic coefficients defined in $B_1\subseteq\mathbb R^n$. We construct explicitly and canonically a fundamental solution for the operator, i.e., a function $u:B_{r_0}\to\mathbb R$ such that…

Let $H$ be a reflexive, dense, separable, infinite dimensional complex Hilbert space and let $B(H)$ be the algebra of all bounded linear operators on $H$. In this paper, we carry out characterizations of norm-attainable operators in normed…

The $S$-functional calculus is based on the theory of slice hyperholomorphic functions and it defines functions of $n$-tuples of not necessarily commuting operators or of quaternionic operators. This calculus relays on the notion of…

For $\alpha >0$, let $$\mathscr{A}=\{ a_1<a_2<a_3<\cdots\}$$ and $$\mathscr{L}=\{ \ell_1, \ell_2, \ell_3,\cdots\} \quad \text{(not~necessarily~different)}$$ be two sequences of positive integers with $\mathscr{A}(m)>(\log m)^\alpha $ for…

This paper continues the author's previous work on a limit-free algebraic-geometric construction of the derivative in the class of polynomial functions and extends the proposed framework to elementary functions. Derivatives of rational…

In this article, I introduce a group-theoretical method to prove positivity of certain linear combinations (with coefficients generally lying in $\mathbb{C}$) of exponential functions under a set of semidefinite linear constraints. The…

We call a function constructible if it has a globally subanalytic domain and can be expressed as a sum of products of globally subanalytic functions and logarithms of positively-valued globally subanalytic functions. For any $q > 0$ and…

This article studies the monotonicity, log-convexity of the modified Lommel functions by using its power series and infinite product representation. Same properties for the ratio of the modified Lommel functions with the Lommel function,…

Expanding upon recent work, a new class of $A$-functions is introduced that can be viewed as an appropriate generalization of the class of regular $A$-functions, the class of structured $A$-functions, and the class of perfect $A$-functions.…

We study a generalization of the Random Energy Model to the case when the number of exponential factors varies at random. Also a relation between REM and the Erd"os-R'enyi limit theorem for maximums of partial sums is considered.