Related papers: Repeated integrals of increasing functions
Let $f$ be a real function defined on the interval $[0,1]$ which is constant on $(a,b)\subset [0,1]$, and let $B_nf$ be its associated $n$th Bernstein polynomial. We prove that, for any $x\in (a,b)$, $|B_nf(x)-f(x)|$ converges to $0$ as…
Let $f$ be a multiplicative function which satisfies \[ f(a^2+b^2+c^2+d^2) = f(a^2+b^2)+f(c^2+d^2) \] for positive integers $a$, $b$, $c$, and $d$. We show that $f$ is the identity function provided that $f(3)\,f(11) \ne 0$. Otherwise,…
For any real sequence {c(n)} tending to infinity as n tends to infinity, this constructs a function f which is continuous and integrable, and such that for every nonzero x, limsup c(n) f(n x) is infinite.
In this paper, we use some standard numerical techniques to approximate the hypergeometric function $$ {}_2F_1[a,b;c;x]=1+\frac{ab}{c}x+\frac{a(a+1)b(b+1)}{c(c+1)}\frac{x^2}{2!}+\cdots $$ for a range of parameter triples $(a,b,c)$ on the…
In this short note, we establish the following result: Let $f:[0,+\infty[\to [0,+\infty[$, $\alpha:[0,1]\to ]0,+\infty[$ be two continuous functions, with $f(0)=0$. Assume that, for some $a>0$, the function $\xi\to…
Let $\{a_n\}_{n\in\mathbb{N}}$, $\{b_n\}_{n\in \mathbb{N}}$ be two infinite subsets of positive integers and $\psi:\mathbb{N}\to \mathbb{R}_{>0}$ be a positive function. We completely determine the Hausdorff dimensions of the set of all…
Let $\mathcal{A}$ be a $C^*$-algebra and $\phi:\cA\to L(H)$ be a positive unital map. Then, for a convex function $f:I\to \mathbb{R}$ defined on some open interval and a self-adjoint element $a\in \mathcal{A}$ whose spectrum lies in $I$, we…
Motivated by a 2001 problem of S\'ark\"ozy, we classify all situations of the integers $b,c,e$ and $f$ satisfying \begin{align*} \limsup_{n\rightarrow\infty}|d(\mathcal{A},bn+c)-d(\mathcal{A},en+f)|=\infty \end{align*} for any infinite…
This paper studies the problem of which sequences of non-negative integers arise as the functions $\operatorname{reg} I^{n-1}/I^n$, $\operatorname{reg} R/I^n$, $\operatorname{reg} I^n$ for an ideal $I$ generated by forms of degree $d$ in a…
We extend the work of A. Ciaffaglione and P. Di Gianantonio on mechanical verification of algorithms for exact computation on real numbers, using infinite streams of digits implemented as co-inductive types. Four aspects are studied: the…
We obtain a new decomposition of the Riemann-Liouville operators of fractional integration as a series involving derivatives (of integer order). The new formulas are valid for functions of class $C^n$, $n \in \mathbb{N}$, and allow us to…
We study the polynomial approximation of symmetric multivariate functions and of multi-set functions. Specifically, we consider $f(x_1, \dots, x_N)$, where $x_i \in \mathbb{R}^d$, and $f$ is invariant under permutations of its $N$…
We generalize the celebrated isoperimetric inequality of Khot, Minzer, and Safra~(SICOMP 2018) for Boolean functions to the case of real-valued functions $f \colon \{0,1\}^d\to\mathbb{R}$. Our main tool in the proof of the generalized…
We continue our study started in "On a problem of Janusz Matkowski and Jacek Weso{\l}owski" (see arXiv:1703.08459) of the functional equation \begin{equation*} \varphi(x)=\sum_{n=0}^{N}\varphi(f_n(x))-\sum_{n=0}^{N}\varphi(f_n(0))…
We define a function by refining Stern's diatomic sequence. We name it the {\it assembly function}. It is strictly increasing continuous. The first and the second main theorems are on an action to the function. The third theorem is on…
We study certain generalizations of the classical Bernstein operators, defined via increasing sequences of nodes. Such operators are required to fix two functions, $f_0$ and $f_1$, such that $f_0 > 0$ and $f_1/ f_0$ is increasing on an…
Let a function $F: [0,1]^2\rightarrow [0,1]$ be given by $F(x,y)= f^{(-1)}(T(f(x), f(y)))$ where $f :[0,1]\rightarrow [0,1]$ is a monotone function, $f^{(-1)}$ is the pseudo-inverse of $f$ and $T$ is a triangular norm. This article…
We provide explicit convergence rates for Chernoff-type approximations of convex monotone semigroups which have the form $S(t)f=\lim_{n\to\infty}I(\frac{t}{n})^n f$ for bounded continuous functions $f$. Under suitable conditions on the…
Let $I\subseteq{\mathbb{R_+}}$ be a non empty and non singleton interval where ${\mathbb{R_+}}$ denotes the set of all non negative numbers. A function $\Phi: I\to {\mathbb{R_+}}$ is said to be subadditive if for any $x,y$ and $x+y\in I$,…
Let $f(x)=\sum_{n=0}^{\infty}\frac{1}{n!}q^{n(n-1)/2}x^n$ ($0<q<1$) be the deformed exponential function. It is known that the zeros of $f(x)$ are real and form a negative decreasing sequence $(x_k)$ ($k\ge 1$). We investigate the complete…