Related papers: Elementary analytic functions in $VTC^0$
We investigate inexact proximity operators for weakly convex functions. To this aim, we derive sum rules for proximal {\epsilon}-subdifferentials, by incorporating the moduli of weak convexity of the functions into the respective formulas.…
In this note we axiomatize the classes of rudimentary functions, primitive recursive functions, safe recursive set functions, and predicatively computable functions.
The theory of fractional calculus in the complex plane was not built with a specific application in mind. The main obstacle to application was the difficulty with obtaining analytic continuations of fractional derivatives and integrals. It…
We provide estimates for the convolution product of an arbitrary number of "resurgent functions", that is holomorphic germs at the origin of $C$ that admit analytic continuation outside a closed discrete subset of $C$ which is stable under…
Construction of analytic functions, which determine bounded Toeplitz operators
We study weakly hyperbolic iterated function systems on compact spaces, as defined by Edalat, but in the more general setting of a compact parameter space. We prove the existence of attractors, both in the topological and measure…
We introduce a class of analytic functions subordinate to the function $1+\sinh \left( z\right) $ and obtain various necessary and sufficient conditions for functions to be in the class. These conditions mainly comprise of the coefficient…
Cost functions provide a framework for constructions of sets Turing below the halting problem that are close to computable. We carry out a systematic study of cost functions. We relate their algebraic properties to their expressive…
A {\em cyclic graph} is a graph with at each vertex a cyclic order of the edges incident with it specified. We characterize which real-valued functions on the collection of cubic cyclic graphs are partition functions of a real vertex model…
We present an extension to the $\mathtt{mathlib}$ library of the Lean theorem prover formalizing the foundations of computability theory. We use primitive recursive functions and partial recursive functions as the main objects of study, and…
We present two new classes of orthogonal functions, log orthogonal functions (LOFs) and generalized log orthogonal functions (GLOFs), which are constructed by applying a $\log$ mapping to Laguerre polynomials. We develop basic approximation…
A typical quandary in geometric functions theory is to study a functional composed of amalgamations of the coefficients of the pristine function. Conventionally, there is a parameter over which the extremal value of the functional is…
computable functions are defined by abstract finite deterministic algorithms on many-sorted algebras. We show that there exist finite universal algebraic specifications that specify uniquely (up to isomorphism) (i) all abstract computable…
The concepts of amenable and compatible functions have been introduced in a recent work, in order to state precise mathematical theorems that guarantee that a backward stable algorithm is also forward stable, and that the composition of two…
The non-elementary integrals involving elementary exponential, hyperbolic and trigonometric functions, $ \int x^\alpha e^{\eta x^\beta}dx, \int x^\alpha \cosh\left(\eta x^\beta\right)dx, \int x^\alpha \sinh\left(\eta x^\beta\right)dx, \int…
The aim of this paper is to introduce and investigate a new class of functions called weakly almost contra-$T^*$-continuity which is defined as a function from an operator topological space $(X, \tau, T)$ into an arbitrary topological space…
For some time now, conformal field theories in two dimensions have been studied as integrable systems. Much of the success of these studies is related to the existence of an operator algebra of the theory. In this paper, some of the…
In this paper, the class of (complex) quasi-Herglotz functions is introduced as the complex vector space generated by the convex cone of ordinary Herglotz functions. We prove characterization theorems, in particular, an analytic…
This note tries to show that a re-examination of a first course in analysis, using the more sophisticated tools and approaches obtained in later stages, can be a real fun for experts, advanced students, etc. We start by going to the…
The paper develops a method for discrete computational Fourier analysis of functions defined on quasicrystals and other almost periodic sets. A key point is to build the analysis around the emerging theory of quasicrystals and diffraction…