Related papers: Integral-Differential Calculus
We prove Euler-Lagrange fractional equations and sufficient optimality conditions for problems of the calculus of variations with functionals containing both fractional derivatives and fractional integrals in the sense of Riemann-Liouville.
We study Milner's lambda-calculus with partial substitutions. Particularly, we show confluence on terms and metaterms, preservation of \b{eta}-strong normalisation and characterisation of strongly normalisable terms via an intersection…
When introduced in a 2018 article in the American Mathematical Monthly, the omega integral was shown to be an extension of the Riemann integral. Although results for continuous functions such as the Fundamental Theorem of Calculus follow…
The Riemann Hypothesis has been of central interest to mathematicians for a long time and many unsuccessful attempts have been made to either prove or disprove it. Since the Riemann zeta function is defined as a sum of the infinite number…
While the definition of a fractional integral may be codified by Riemann and Liouville, an agreed-upon fractional derivative has eluded discovery for many years. This is likely a result of integral definitions including numerous constants…
In this paper, we discuss a similar functional to that of a standard integral. The main difference is in its definition: instead of taking a sum, we are taking a product. It turns out this new "star-integral" may be written in terms of the…
In fractional calculus there are two approaches to obtain fractional derivatives. The first approach is by iterating the integral and then defining a fractional order by using Cauchy formula to obtain Riemann fractional integrals and…
Filinski constructed a symmetric lambda-calculus consisting of expressions and continuations which are symmetric, and functions which have duality. In his calculus, functions can be encoded to expressions and continuations using primitive…
We study the fundamental problem of the calculus of variations with variable order fractional operators. Fractional integrals are considered in the sense of Riemann-Liouville while derivatives are of Caputo type.
The goal of this thesis is threefold: first, to provide a general semantic setting for reasoning about incremental computation. Second, to establish and clarify the connection between derivatives in the incremental sense and derivatives in…
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…
Recently, we have established and used the generalized Littlewood theorem concerning contour integrals of the logarithm of analytical function to obtain a few new criteria equivalent to the Riemann hypothesis. Here, the same theorem is…
We give a representation of the classical Riemann $\zeta$-function in the half plane $\Re s>0$ in terms of a Mellin transform involving the real part of the dilogarithm function with an argument on the unit circle (associated Clausen…
The sequent calculus is a proof system which was designed as a more symmetric alternative to natural deduction. The {\lambda}{\mu}{\mu}-calculus is a term assignment system for the sequent calculus and a great foundation for compiler…
We generalise the Fundamental Theorem of Calculus to higher dimensions. Our generalisation is based on the observation that the antiderivative of a function of $n$-variables is a solution of a partial differential equation of order $n$…
The categorical models of the differential lambda-calculus are additive categories because of the Leibniz rule which requires the summation of two expressions. This means that, as far as the differential lambda-calculus and differential…
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…
Motivated by applications to stochastic programming, we introduce and study the expected-integral functionals, which are mappings given in an integral form depending on two variables, the first a finite dimensional decision vector and the…
We generalize the property that Riemann sums of a continuous function corresponding to equidistant subdivision of an interval converge to the integral of that function, and we give some applications of this generalization.
A new integral representation is derived using a definite integral given by Cauchy and used to evaluate a number of integrals containing the finite series of special functions.