Related papers: A Different Demonstration for Integral Identity Ac…
We introduce a general notion of fractional (noninteger) derivative for functions defined on arbitrary time scales. The basic tools for the time-scale fractional calculus (fractional differentiation and fractional integration) are then…
Lebesgue integration is a well-known mathematical tool, used for instance in probability theory, real analysis, and numerical mathematics. Thus its formalization in a proof assistant is to be designed to fit different goals and projects.…
We prove an explicit integral formula for computing the product of two shifted Riemann zeta functions everywhere in the complex plane. We show that this formula implies the existence of infinite families of exact exponential sum identities…
We formulate a coherent approach to signals and systems theory on time scales. The two derivatives from the time-scale calculus are used, i.e., nabla (forward) and delta (backward), and the corresponding eigenfunctions, the so-called nabla…
We consider a new identity involving integrals and sums of Bessel functions. The identity provides new ways to evaluate integrals of products of two Bessel functions. The identity is remarkably simple and powerful since the summand and…
We utilize a combination of integral transforms, including the Laplace transform, with some classical results in analytic number theory concerning the Riemann $\xi$-function, to obtain a new integral equation. We also provide a new proof of…
We introduce a fractional calculus on time scales using the theory of delta (or nabla) dynamic equations. The basic notions of fractional order integral and fractional order derivative on an arbitrary time scale are proposed, using the…
Let $\gamma$ denote imaginary parts of complex zeros of the Riemann zeta-function $\zeta(s)$. Certain sums over the $\gamma$'s are evaluated, by using the function $G(s) = \sum_{\gamma>0}\gamma^{-s}$ and other techniques. Some integrals…
Most numerical methods for time integration use real time steps. Complex time steps provide an additional degree of freedom, as we can select the magnitude of the step in both the real and imaginary directions. By time stepping along…
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 general unifying framework for integrable soliton-like systems on time scales is introduced. The $R$-matrix formalism is applied to the algebra of $\delta$-differential operators in terms of which one can construct infinite hierarchy of…
This paper introduces a new method for the efficient computation of oscillatory multidimensional lattice sums in geometries with boundaries. Such sums are ubiquitous in both pure and applied mathematics, and have immediate applications in…
We establish some linear and nonlinear integral inequalities of Gronwall-Bellman-Bihari type for functions with two independent variables on general time scales. The results are illustrated with examples, obtained by fixing the time scales…
We present a replacement for traditional Riemann integrals in undergraduate calculus, which supplements naive precalculus and at the same time opens a way to more sophisticated theories such as Lebesgue integration.
The discrete, the quantum, and the continuous calculus of variations, have been recently unified and extended by using the theory of time scales. Such unification and extension is, however, not unique, and two approaches are followed in the…
Contour integral representations for Riemann's Zeta function and Dirichelet's Eta (alternating Zeta) function are presented and investigated. These representations flow naturally from methods developed in the 1800's, but somehow they do not…
The idea of generating integrals analogous to generating functions is first introduced in this paper. A new proof of the well-known Finite Harmonic Series Theorem in Analysis and Analytical Number Theory is then obtained by the method of…
We derive the relativistic thermodynamic scale equation using imaginary-time path integrals, with complex scalar field theory taken as a concrete example. We use Fujikawa's method to derive the scaling anomaly for this system using a matrix…
In contrast to the symmetries of translation in space, rotation in space, and translation in time, the known laws of physics are not universally invariant under transformation of scale. However, the action can be invariant under change of…
Using Cauchy's Integral Theorem as a basis, what may be a new series representation for Dirichlet's function $\eta(s)$, and hence Riemann's function $\zeta(s)$, is obtained in terms of the Exponential Integral function $E_{s}(i\kappa)$ of…