Related papers: A note on directly Riemann integrable functions

This paper presents a reformulation of the Leibniz product rule as a finite sum that expresses the fractional derivative of the product of two differentiable functions. This paper then proves the cases for when the product consists of an…

An incomplete Riemann zeta function can be expressed as a lower-bounded, improper Riemann-Liouville fractional integral, which, when evaluated at $0$, is equivalent to the complete Riemann zeta function. Solutions to Landau's problem with…

Consider the self-map F of the space of real-valued test functions on the line which takes a test function f to the test function sending a real number x to f(f(x))-f(0). We show that F is discontinuous, although its restriction to the…

The result is established for a Jordan measurable region with rectifiable boundary. The integrand F for the new plane integral to be used is a function of axis-parallel rectangles, finitely additive on non-overlapping ones, hence…

A formal sum $\sum_n f(S_n)$ may be seen as the integral $\int f dN$ with respect to random point process $N(A)=|\{n:S_n\in A\}|$. We study its convergence beyond the well known context of Lebesgue integrable functions, admitting…

The Riemann-Lebesque Theorem is commonly proved in a few strokes using the theory of Lebesque integration. Here, the upper bound $2\pi|c_k(f)|\le S_k(f)-s_k(f)$ for the Fourier coefficients $c_k$ is proved in terms of majoring and minoring…

A function f:R -> R is approximately continuous iff it is continuous in the density topology, i.e., for any ordinary open set U the set E=f^{-1}(U) is measurable and has Lebesgue density one at each of its points. Denjoy proved that…

We prove that if $\tau$ is a large positive number, then the atomic Goldberg-type space $\mathfrak{h}^1(N)$ and the space $\mathfrak{h}_{\mathcal R_\tau}^1(N)$ of all integrable functions on $N$ whose local Riesz transform $\mathcal R_\tau$…

We study inequalities of the form \begin{equation*} \rho ( \lvert \hat{f} \rvert) \leq C \sigma(f) < \infty, \end{equation*} with $f \in L_{1}(\mathbb{R}^n)$, the Lebesgue-integrable functions on $\mathbb{R}^n$ and \begin{equation*}…

Recently, we have established the generalized Li criterion equivalent to the Riemann hypothesis, viz. demonstrated that the sums over all non-trivial Riemann function zeroes k_n,a=Sum_(/rho)(1-(1-((/rho-a)/(/rho+a-1))^n) for any real a not…

Let $F:[a,b]\longrightarrow \R$ have zero derivative in a dense subset of $[a,b]$. What else we need to conclude that $F$ is constant in $[a,b]$? We prove a result in this direction using some new Mean Value Theorems for integrals which are…

Integration, just as much as differentiation, is a fundamental calculus tool that is widely used in many scientific domains. Formalizing the mathematical concept of integration and the associated results in a formal proof assistant helps in…

We construct a nowhere monotone Riemann integrable derivative which has no local extrema. We also construct a differentiable function $G$ such that $G'$ is Riemann integrable and has an isolated local extrema which is not an inflection…

The Fourier transform is naturally defined for integrable functrions. Otherwise, it should be stipulated in which sense the Fourier transform is understood. We consider some class of radial and, generally saying, nonintegrable functions.…

It is known that the Bessel--Fourier coefficients $f_m$ of a function $f$ such that $\sqrt{x}f(x)$ is integrable over $[0,1]$ satisfy $f_m/\sqrt{m}\to 0$. We show a partial converse, namely that for $0\leq \alpha<1/2$ and any non-negative…

We prove that if $f:I\subset \Bbb R\to \Bbb R$ is of bounded variation, then the noncentered maximal function $Mf$ is absolutely continuous, and its derivative satisfies the sharp inequality $\|DMf\|_1\le |Df|(I)$. This allows us obtain,…

For a rational differential operator $L=AB^{-1}$, the Lenard-Magri scheme of integrability is a sequence of functions $F_n, n\geq 0$, such that (1) $B(F_{n+1})=A(F_n)$ for all $n \geq 0$ and (2) the functions $B(F_n)$ pairwise commute. We…

Consider the Riemann sum of a smooth compactly supported function h(x) on a polyhedron in R^d, sampled at the points of the lattice Z^d/t. We give an asymptotic expansion when t goes to infinity, writing each coefficient of this expansion…

We show that the set of Lebesgue integrable functions in $[0,1]$ which are nowhere essentially bounded is spaceable, improving a result from [F. J. Garc\'{i}a-Pacheco, M. Mart\'{i}n, and J. B. Seoane-Sep\'ulveda. \textit{Lineability,…

In a recent work (Int Math Res Not 24:18604-18612, 2021), Carlen-Jauslin-Lieb-Loss studied the convolution inequality $f \ge f*f$ on $\mathbb{R}^d$ and proved that the real integrable solutions of the above inequality must be non-negative…