Cauchy Formula For Repeated Integration
   HOME
*





Cauchy Formula For Repeated Integration
The Cauchy formula for repeated integration, named after Augustin-Louis Cauchy, allows one to compress ''n'' antidifferentiations of a function into a single integral (cf. Cauchy's formula). Scalar case Let ''f'' be a continuous function on the real line. Then the ''n''th repeated integral of ''f'' with basepoint ''a'', f^(x) = \int_a^x \int_a^ \cdots \int_a^ f(\sigma_) \, \mathrm\sigma_ \cdots \, \mathrm\sigma_2 \, \mathrm\sigma_1, is given by single integration f^(x) = \frac \int_a^x\left(x-t\right)^ f(t)\,\mathrmt. Proof A proof is given by induction. The base case with ''n=1'' is trivial, since it is equivalent to: f^(x) = \frac1\int_a^x f(t)\,\mathrmt = \int_a^x f(t)\,\mathrmtNow, suppose this is true for ''n'', and let us prove it for ''n''+1. Firstly, using the Leibniz integral rule, note that \frac \left \frac \int_a^x \left(x-t\right)^n f(t)\,\mathrmt \right= \frac \int_a^x\left(x-t\right)^ f(t)\,\mathrmt . Then, applying the induction hypothesis, \begin f^(x) &= \int ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Augustin-Louis Cauchy
Baron Augustin-Louis Cauchy (, ; ; 21 August 178923 May 1857) was a French mathematician, engineer, and physicist who made pioneering contributions to several branches of mathematics, including mathematical analysis and continuum mechanics. He was one of the first to state and rigorously prove theorems of calculus, rejecting the heuristic principle of the generality of algebra of earlier authors. He almost singlehandedly founded complex analysis and the study of permutation groups in abstract algebra. A profound mathematician, Cauchy had a great influence over his contemporaries and successors; Hans Freudenthal stated: "More concepts and theorems have been named for Cauchy than for any other mathematician (in elasticity alone there are sixteen concepts and theorems named for Cauchy)." Cauchy was a prolific writer; he wrote approximately eight hundred research articles and five complete textbooks on a variety of topics in the fields of mathematics and mathematical physics. B ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Antidifferentiation
In calculus, an antiderivative, inverse derivative, primitive function, primitive integral or indefinite integral of a function is a differentiable function whose derivative is equal to the original function . This can be stated symbolically as . The process of solving for antiderivatives is called antidifferentiation (or indefinite integration), and its opposite operation is called ''differentiation'', which is the process of finding a derivative. Antiderivatives are often denoted by capital Roman letters such as and . Antiderivatives are related to definite integrals through the second fundamental theorem of calculus: the definite integral of a function over a closed interval where the function is Riemann integrable is equal to the difference between the values of an antiderivative evaluated at the endpoints of the interval. In physics, antiderivatives arise in the context of rectilinear motion (e.g., in explaining the relationship between position, velocity and accelera ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Antiderivative
In calculus, an antiderivative, inverse derivative, primitive function, primitive integral or indefinite integral of a function is a differentiable function whose derivative is equal to the original function . This can be stated symbolically as . The process of solving for antiderivatives is called antidifferentiation (or indefinite integration), and its opposite operation is called ''differentiation'', which is the process of finding a derivative. Antiderivatives are often denoted by capital Roman letters such as and . Antiderivatives are related to definite integrals through the second fundamental theorem of calculus: the definite integral of a function over a closed interval In mathematics, a (real) interval is a set of real numbers that contains all real numbers lying between any two numbers of the set. For example, the set of numbers satisfying is an interval which contains , , and all numbers in between. Other ... where the function is Riemann integrable is eq ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Repeated Integral
In multivariable calculus, an iterated integral is the result of applying integrals to a function of more than one variable (for example f(x,y) or f(x,y,z)) in a way that each of the integrals considers some of the variables as given constants. For example, the function f(x,y), if y is considered a given parameter, can be integrated with respect to x, \int f(x,y)\,dx. The result is a function of y and therefore its integral can be considered. If this is done, the result is the iterated integral :\int\left(\int f(x,y)\,dx\right)\,dy. It is key for the notion of iterated integrals that this is different, in principle, from the multiple integral :\iint f(x,y)\,dx\,dy. In general, although these two can be different, Fubini's theorem In mathematical analysis Fubini's theorem is a result that gives conditions under which it is possible to compute a double integral by using an iterated integral, introduced by Guido Fubini in 1907. One may switch the order of integration if th ... ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Mathematical Induction
Mathematical induction is a method for proving that a statement ''P''(''n'') is true for every natural number ''n'', that is, that the infinitely many cases ''P''(0), ''P''(1), ''P''(2), ''P''(3), ...  all hold. Informal metaphors help to explain this technique, such as falling dominoes or climbing a ladder: A proof by induction consists of two cases. The first, the base case, proves the statement for ''n'' = 0 without assuming any knowledge of other cases. The second case, the induction step, proves that ''if'' the statement holds for any given case ''n'' = ''k'', ''then'' it must also hold for the next case ''n'' = ''k'' + 1. These two steps establish that the statement holds for every natural number ''n''. The base case does not necessarily begin with ''n'' = 0, but often with ''n'' = 1, and possibly with any fixed natural number ''n'' = ''N'', establishing the truth of the statement for all natu ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Leibniz Integral Rule
In calculus, the Leibniz integral rule for differentiation under the integral sign, named after Gottfried Leibniz, states that for an integral of the form \int_^ f(x,t)\,dt, where -\infty < a(x), b(x) < \infty and the integral are functions dependent on x, the derivative of this integral is expressible as \frac \left (\int_^ f(x,t)\,dt \right )= f\big(x,b(x)\big)\cdot \frac b(x) - f\big(x,a(x)\big)\cdot \frac a(x) + \int_^\frac f(x,t) \,dt, where the partial derivative \tfrac indicates that inside the integral, only the variation of f(x, t) with x is considered in taking the derivative. In the special case where the functions a(x) and b(x) are constants a( ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Riemann–Liouville Integral
In mathematics, the Riemann–Liouville integral associates with a real function f: \mathbb \rightarrow \mathbb another function of the same kind for each value of the parameter . The integral is a manner of generalization of the repeated antiderivative of in the sense that for positive integer values of , is an iterated antiderivative of of order . The Riemann–Liouville integral is named for Bernhard Riemann and Joseph Liouville, the latter of whom was the first to consider the possibility of fractional calculus in 1832. The operator agrees with the Euler transform, after Leonhard Euler, when applied to analytic functions. It was generalized to arbitrary dimensions by Marcel Riesz, who introduced the Riesz potential. Definition The Riemann–Liouville integral is defined by :I^\alpha f(x) = \frac\int_a^xf(t)(x-t)^\,dt where is the gamma function and is an arbitrary but fixed base point. The integral is well-defined provided is a locally integrable function, and is a co ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Gamma Function
In mathematics, the gamma function (represented by , the capital letter gamma from the Greek alphabet) is one commonly used extension of the factorial function to complex numbers. The gamma function is defined for all complex numbers except the non-positive integers. For every positive integer , \Gamma(n) = (n-1)!\,. Derived by Daniel Bernoulli, for complex numbers with a positive real part, the gamma function is defined via a convergent improper integral: \Gamma(z) = \int_0^\infty t^ e^\,dt, \ \qquad \Re(z) > 0\,. The gamma function then is defined as the analytic continuation of this integral function to a meromorphic function that is holomorphic in the whole complex plane except zero and the negative integers, where the function has simple poles. The gamma function has no zeroes, so the reciprocal gamma function is an entire function. In fact, the gamma function corresponds to the Mellin transform of the negative exponential function: \Gamma(z) = \mathcal M \ (z ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Riesz Potential
In mathematics, the Riesz potential is a potential named after its discoverer, the Hungarian mathematician Marcel Riesz. In a sense, the Riesz potential defines an inverse for a power of the Laplace operator on Euclidean space. They generalize to several variables the Riemann–Liouville integrals of one variable. Definition If 0 < ''α'' < ''n'', then the Riesz potential ''I''α''f'' of a ''f'' on R''n'' is the function defined by where the constant is given by :c_\alpha = \pi^2^\alpha\frac. This is well-defined provided ''f'' decays sufficiently rapidly at infinity, specifically if ''f'' &isi ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Fractional Calculus
Fractional calculus is a branch of mathematical analysis that studies the several different possibilities of defining real number powers or complex number powers of the differentiation operator D :D f(x) = \frac f(x)\,, and of the integration operator J The symbol J is commonly used instead of the intuitive I in order to avoid confusion with other concepts identified by similar I–like glyphs, such as identities. :J f(x) = \int_0^x f(s) \,ds\,, and developing a calculus for such operators generalizing the classical one. In this context, the term ''powers'' refers to iterative application of a linear operator D to a function f, that is, repeatedly composing D with itself, as in D^n(f) = (\underbrace_n)(f) = \underbrace_n (f)\cdots))). For example, one may ask for a meaningful interpretation of :\sqrt = D^\frac12 as an analogue of the functional square root for the differentiation operator, that is, an expression for some linear operator that, when applied ''twice'' to any ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Differintegral
In fractional calculus, an area of mathematical analysis, the differintegral (sometime also called the derivigral) is a combined differentiation/integration operator. Applied to a function ƒ, the ''q''-differintegral of ''f'', here denoted by :\mathbb^q f is the fractional derivative (if ''q'' > 0) or fractional integral (if ''q'' So, \frac = \mathcal^\left\ which generalizes to \mathbb^qf(t) = \mathcal^\left\. Under the bilateral Laplace transform, here denoted by \mathcal and defined as \mathcal (t)=\int_^\infty e^ f(t)\, dt, differentiation transforms into a multiplication \mathcal\left frac\right= s\mathcal (t) Generalizing to arbitrary order and solving for \mathbb^qf(t), one obtains \mathbb^qf(t)=\mathcal^\left\. Representation via Newton series is the Newton interpolation over consecutive integer orders: \mathbb^qf(t) =\sum_^ \binom m \sum_^m\binom mk(-1)^f^(x). For fractional derivative definitions described in this section, the following identities hold: :\ma ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Integral Calculus
In mathematics, an integral assigns numbers to Function (mathematics), functions in a way that describes Displacement (geometry), displacement, area, volume, and other concepts that arise by combining infinitesimal data. The process of finding integrals is called integration. Along with Derivative, differentiation, integration is a fundamental, essential operation of calculus,Integral calculus is a very well established mathematical discipline for which there are many sources. See and , for example. and serves as a tool to solve problems in mathematics and physics involving the area of an arbitrary shape, the length of a curve, and the volume of a solid, among others. The integrals enumerated here are those termed definite integrals, which can be interpreted as the signed area of the region in the plane that is bounded by the Graph of a function, graph of a given function between two points in the real line. Conventionally, areas above the horizontal axis of the plane are posi ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]