Related papers: Krivine's Function Calculus and Bochner integratio…

In this paper, the authors first consider the bidirectional estimates of several typical integrals. As some applications of these integral estimates, the authors investigate the pointwise multipliers from the normal weight general function…

In the article we present necessary and sufficient conditions for a function involving the logarithm of the gamma function to be completely monotonic and apply these results to bound the gamma function $\Gamma(x)$, the $n$-th harmonic…

This is an introduction to calculus, and its applications to basic questions from physics. We first discuss the theory of functions $f:\mathbb R\to\mathbb R$, with the notion of continuity, and the construction of the derivative $f'(x)$ and…

We introduce computable actions of computable groups and prove the following versions of effective Birkhoff's ergodic theorem. Let $\Gamma$ be a computable amenable group, then there always exists a canonically computable tempered two-sided…

A conjecture of Bombieri states that the coefficients of a normalized univalent function $f$ should satisfy $$ \liminf_{f\to K} \frac{n-{\rm Re\,}a_n}{m-{\rm Re\,}a_m} = \min_{t\in{\mathbb R}} \, \frac{n\sin t -\sin(nt)}{m\sin t -\sin(mt)},…

We define an equivalence relation on integer compositions and show that two ribbon Schur functions are identical if and only if their defining compositions are equivalent in this sense. This equivalence is completely determined by means of…

For the Frechet space E=C^{\infty}(S^1) and for a smooth \phi: R to R, we prove that the associated map E to E given by x mapsto\phi\circ x satisfies the continuous B\Gamma--differentiability condition in Yamamuro's inverse function theorem…

Let $C$ be a subset of $\mathbb{R}^n$ (not necessarily convex), $f:C\to\mathbb{R}$ be a function, and $G:C\to\mathbb{R}^n$ be a uniformly continuous function, with modulus of continuity $\omega$. We provide a necessary and sufficient…

Erd\H{o}s first conjectured that infinitely often we have $\varphi(n) = \sigma(m)$, where $\varphi$ is the Euler totient function and $\sigma$ is the sum of divisor function. This was proven true by Ford, Luca and Pomerance in 2010. We ask…

We adapt Streicher and Kohlenbach's proof of the factorization S = KD of the Shoenfield translation S in terms of Krivine's negative translation K and the G\"odel functional interpretation D, obtaining a proof of the factorization U = KB of…

We characterize a holomorphic positive definite function $f$ defined on a horizontal strip of the complex plane as the Fourier-Laplace transform of a unique exponentially finite measure on $\mathbb{R}$. The classical theorems of Bochner on…

The frequency dependent phonon Boltzmann equation is transformed to an integral equation over the irreducible part of the Brillouin zone. Simultaneous diagonalization of the collision kernel of that equation and a symmetry crystal class…

For a subset $E = \{\xi_1, ..., \xi_N\}$ of the unit circle $\mathbb{T}$, the notion of Ritt$_E$ operators on a Banach space and their functional calculus on generalized Stolz domains was developed and studied in arXiv:2203.05373. In this…

We show that every operator in $L^{2}$ has an associated measure on a space of functions and prove that it can be used to find solutions to abstract Cauchy problems, including partial differential equations. We find explicit formulas to…

This article gives necessary and sufficient conditions for the dual representation of Rockafellar in (Integrals which are convex functionals. II, Pacific J. Math., 39:439--469, 1971) for integral functionals on the space of continuous…

Let $k$ be a perfect complete valued field with a nontrivial non-archimedean norm $|\cdot|$ and $\omega\in k$ with $0<|\omega|<1.$ Let $X$ be a reduced and normal $k$-analytic space. Then $O^{\circ}\simeq…

Accurate fitting formulae to the synchrotron function, $F(x)$, and its complementary function, $G(x)$, are performed and presented. The corresponding relative errors are less than $0.26\%$ and $0.035\%$ for $F(x) $ and $G(x)$, respectively.…

Based on the total integrability we first define an integral of a real valued function f as an interval function associated to its antiderivative F. By introducing the concept of the residue of a function into the real analysis, the…

For an \'etale correspondence $\Omega \colon G \to H$ of \'etale groupoids, we construct an induction functor $\mathrm{Ind}_\Omega \colon \mathrm{KK}^H \to \mathrm{KK}^G$ between equivariant Kasparov categories. We introduce the crossed…

Certain relations between the Fourier transform of a function of bounded variation and the Hilbert transform of its derivative are revealed. The widest subspaces of the space of functions of bounded variation are indicated in which the…