Related papers: A Different Demonstration for Integral Identity Ac…
We introduce the definition of conformable derivative on time scales and develop its calculus. Fundamental properties of the conformable derivative and integral on time scales are proved. Linear conformable differential equations with…
Let $X$ be a complete measure space of finite measure. The Lebesgue transform of an integrable function $f$ on $X$ encodes the collection of all the mean-values of $f$ on all measurable subsets of $X$ of positive measure. In the problem of…
We present a simple iteration for the Lebesgue identity on partitions, which leads to a refinement involving the alternating sums of partitions.
We revisit the problem of the Lorentz transformation of time-intervals in special relativity. We base our discussion on the time-interval transformation formula $ c\Delta t' = \gamma (c\Delta t - \vec{\beta} \cdot \Delta \vec{r}) $ in which…
This paper continues a series of investigations on converging representations for the Riemann Zeta function. We generalize some identities which involve Riemann's zeta function, and moreover we give new series and integrals for the zeta…
In this paper, we introduce 3-dimensional $L-$summing method, which is a rearrangement of the summation $\sum A_{abc}$ with $1\leq a,b,c\leq n$. Applying this method on some special arrays, we obtain some identities on the Riemann zeta…
In this article, we explore a series of elementary yet insightful results involving integrals related to Gaussian sums. Using techniques rooted in classical calculus, we derive several identities and evaluate nontrivial definite integrals…
Formalization of real analysis offers a chance to rebuild traditional proofs of important theorems as unambiguous theories that can be interactively explored. This paper provides a comprehensive overview of the Lebesgue Differentiation…
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…
In [22], it was proved that as long as the integrand has certain properties, the corresponding It\^o integral can be written as a (parameterized) Lebesgue integral (or a Bochner integral). In this paper, we show that such a question can be…
The transformations of the sum identities for generalized harmonic and oscillatory numbers, obtained earlier in our recent report [1], enable us to derive the new identities expressed in terms of the corresponding square roots of x. At…
We study the problem of differentiation of integrals for certain bases in the infinite-dimensional torus $\mathbb{T}^\omega$. In particular, for every $p_0 \in [1,\infty)$, we construct a basis $\mathcal{B}$ which differentiates…
Based on the definition of Riemann definite integral,deleting items and disturbing mesh theorems on Riemann sums are given. After deleting some items or disturbing the mesh of partition, the limit of Riemann sums still converges to Riemann…
In this series of seven papers, predominantly by means of elementary analysis, we establish a number of identities related to the Riemann zeta function. Whilst this paper is mainly expository, some of the formulae reported in it are…
In Friedmann-Lema\^itre-Robertson-Walker cosmology, it is sometimes possible to compute analytically lookback time, age of the universe, and luminosity distance versus redshift, expressing them in terms of a finite number of elementary…
It is of course well known that the usual definitions of Riemann integration and Riemann integrals are equivalent to simpler definitions which can be expressed in terms of just one sequence of partitions, using dyadic intervals or dyadic…
The theory of the calculus of variations was recently extended to the more general time scales setting, both for delta and nabla integrals. The primary purpose of this paper is to further extend the theory on time scales, by establishing…
It is developed a Riemannian reformulation of classical statistical mechanics for systems in thermodynamic equilibrium, which arises as a natural extension of Ruppeiner geometry of thermodynamics. The present proposal leads to interpret…
Lebesgue's dominated convergence theorem is a crucial pillar of modern analysis, but there are certain areas of the subject where this theorem is deficient. Deeper criteria for convergence of integrals are described in this article.
We study diamond-alpha integrals on time scales. A diamond-alpha version of Fermat's theorem for stationary points is also proved, as well as Rolle's, Lagrange's, and Cauchy's mean value theorems on time scales.