1,2-Dichloroethane (data page)

The expression "product integral" is used informally for referring to any product-based counterpart of the usual sum-based integral of classical calculus. The first product integral was developed by the mathematician Vito Volterra in 1887 to solve systems of linear differential equations. (Please see "Type II" below.) Other examples of product integrals are the geometric integral ("Type I" below), the bigeometric integral, and some other integrals of non-Newtonian calculus.

Product integrals have found use in areas from epidemiology (the Kaplan–Meier estimator) to stochastic population dynamics (multigrals), analysis and quantum mechanics. The geometric integral, together with the geometric derivative, is useful in biomedical image analysis.

This article adopts the "product" $\prod$ notation for product integration instead of the "integral" $\int$ (usually modified by a superimposed "times" symbol or letter P) favoured by Volterra and others. An arbitrary classification of types is also adopted to impose some order in the field.

Basic definitions

The classical Riemann integral of a function $f:[a,b]\to \mathbb{ℝ}$ can be defined by the relation

$\underset{a}{\overset{b}{\int }}f(x)dx=\underset{\mathrm{\Delta }x\to 0}{\lim }\sum f(x_i)\mathrm{\Delta }x,$

where the limit is taken over all partitions of interval $[a,b]$ whose norm approach zero.

Roughly speaking, product integrals are similar, but take the limit of a product instead of the limit of a sum. They can be thought of as "continuous" versions of "discrete" products.

The most popular product integrals are the following:

Type I

$\prod _a^{b}f(x{)}^{dx}=\underset{\mathrm{\Delta }x\to 0}{\lim }\prod f(x_i{)}^{\mathrm{\Delta }x}=\exp (\underset{a}{\overset{b}{\int }}\ln f(x)dx),$

which is called the geometric integral and is a multiplicative operator.

This definition of the product integral is the continuous equivalent of the discrete product operator $\prod _{i=a}^b$ (with $i,a,b\in \mathbb{\mathbb{Z}}$) and the multiplicative equivalent to the (normal/standard/additive) integral $\underset{a}{\overset{b}{\int }}dx$ (with $x\in [a,b]$):

	additive	multiplicative
discrete	$\sum _{i=a}^{b}f(i)$	$\prod _{i=a}^{b}f(i)$
continuous	$\underset{a}{\overset{b}{\int }}f(x)dx$	$\prod _a^{b}f(x){}^{dx}$

It is very useful in stochastics where the log-likelihood (i.e. the logarithm of a product integral of independent random variables) equals the integral of the log of the these (infinitesimally many) random variables:

$\ln \prod _a^{b}p(x{)}^{dx}=\underset{a}{\overset{b}{\int }}\ln p(x)dx$

Type II

$\prod _a^b(1+f(x)dx)=\underset{\mathrm{\Delta }x\to 0}{\lim }\prod (1+f(x_i)\mathrm{\Delta }x)$

Under these definitions, a real function is product integrable if and only if it is Riemann integrable. There are other more general definitions such as the Lebesgue product integral, Riemann–Stieltjes product integral, or Henstock–Kurzweil product integral.

The Type II product integral corresponds to Volterra's original definition. The following relationship exists for scalar functions $f:[a,b]\to \mathbb{ℝ}$:

$\prod _a^b(1+f(x)dx)=\exp (\underset{a}{\overset{b}{\int }}f(x)dx),$

which is not a multiplicative operator. (So the concepts of product integral and multiplicative integral are not the same). The Volterra product integral is most useful when applied to matrix-valued functions or functions with values in a Banach algebra, where the last equality is no longer true (see the references below).

For scalar functions, the derivative in the Volterra system is the logarithmic derivative, and so the Volterra system is not a multiplicative calculus and is not a non-Newtonian calculus.

Results

The geometric integral (Type I above) plays a central role in the geometric calculus, which is a multiplicative calculus.

• The Fundamental Theorem

$\prod _a^b{f}^{*}(x{)}^{dx}=\prod _a^b\exp \left(\frac{f^{\prime }(x)}{f(x)}dx\right)=\frac{f(b)}{f(a)}$

where $f^{*}(x)$ is the geometric derivative.

• Product Rule

$(fg{)}^{*}=f^{*}{g}^{*}$

• Quotient Rule

$(f/g{)}^{*}=f^{*}/g^{*}$

• Law of Large Numbers

$\sqrt[n]{X_1{X}_2\cdots X_n}\to Error\; parsing\; sideset\; expression,\; no\; succeeding\; operator\; found\prod _x{X}^{\mathrm{pr}(x)dx}\text{ as }n\to \mathrm{\infty }$

where X is a random variable with probability distribution pr(x)).

Compare with the standard Law of Large Numbers:

$\frac{X_1+X_2+\cdots +X_n}{n}\to \int X\mathrm{pr}(x)dx\text{ as }n\to \mathrm{\infty }$

The above are for the Type I product integral. Other types produce other results.

See also

• List of derivatives and integrals in alternative calculi
• Indefinite product
• Multiplicative calculus
• Logarithmic derivative
• Ordered exponential

References

• A. E. Bashirov, E. M. Kurpınar, A. Özyapıcı. Multiplicative calculus and its applications, Journal of Mathematical Analysis and Applications, 2008.
• W. P. Davis, J. A. Chatfield, Concerning Product Integrals and Exponentials, Proceedings of the American Mathematical Society, Vol. 25, No. 4 (Aug., 1970), pp. 743–747, 21 year-old Glazier James Grippo from Edam, enjoys hang gliding, industrial property developers in singapore developers in singapore and camping. Finds the entire world an motivating place we have spent 4 months at Alejandro de Humboldt National Park..
• J. D. Dollard, C. N. Friedman, Product integrals and the Schrödinger Equation, Journ. Math. Phys. 18 #8,1598–1607 (1977).
• J. D. Dollard, C. N. Friedman, Product integration with applications to differential equations, Addison Wesley Publishing Company, 1979.

External links

• Richard Gill, Product Integration
• Richard Gill, Product Integral Symbol
• David Manura, Product Calculus
• Tyler Neylon, Easy bounds for n!
• An Introduction to Multigral (Product) and Dx-less Calculus
• Notes On the Lax equation
• Antonín Slavík, An introduction to product integration
• Antonín Slavík, Henstock–Kurzweil and McShane product integration