Integration using parametric derivatives

Last updated May 12, 2023

In calculus, integration by parametric derivatives, also called parametric integration,^[1] is a method which uses known Integrals to integrate derived functions. It is often used in Physics, and is similar to integration by substitution.

Statement of the theorem

By using The Leibniz integral rule with the upper and lower bounds fixed we get that
${\frac {d}{dt}}\left(\int _{a}^{b}f(x,t)dx\right)=\int _{a}^{b}{\frac {\partial }{\partial t}}f(x,t)dx$
It is also true for non-finite bounds.

Examples

Example One: Exponential Integral

For example, suppose we want to find the integral

\int _{0}^{\infty }x^{2}e^{-3x}\,dx.

Since this is a product of two functions that are simple to integrate separately, repeated integration by parts is certainly one way to evaluate it. However, we may also evaluate this by starting with a simpler integral and an added parameter, which in this case is t = 3:

{\begin{aligned}&\int _{0}^{\infty }e^{-tx}\,dx=\left[{\frac {e^{-tx}}{-t}}\right]_{0}^{\infty }=\left(\lim _{x\to \infty }{\frac {e^{-tx}}{-t}}\right)-\left({\frac {e^{-t0}}{-t}}\right)\\&=0-\left({\frac {1}{-t}}\right)={\frac {1}{t}}.\end{aligned}}

This converges only for t > 0, which is true of the desired integral. Now that we know

\int _{0}^{\infty }e^{-tx}\,dx={\frac {1}{t}},

we can differentiate both sides twice with respect to t (not x) in order to add the factor of x² in the original integral.

{\begin{aligned}&{\frac {d^{2}}{dt^{2}}}\int _{0}^{\infty }e^{-tx}\,dx={\frac {d^{2}}{dt^{2}}}{\frac {1}{t}}\\[10pt]&\int _{0}^{\infty }{\frac {d^{2}}{dt^{2}}}e^{-tx}\,dx={\frac {d^{2}}{dt^{2}}}{\frac {1}{t}}\\[10pt]&\int _{0}^{\infty }{\frac {d}{dt}}\left(-xe^{-tx}\right)\,dx={\frac {d}{dt}}\left(-{\frac {1}{t^{2}}}\right)\\[10pt]&\int _{0}^{\infty }x^{2}e^{-tx}\,dx={\frac {2}{t^{3}}}.\end{aligned}}

This is the same form as the desired integral, where t = 3. Substituting that into the above equation gives the value:

\int _{0}^{\infty }x^{2}e^{-3x}\,dx={\frac {2}{3^{3}}}={\frac {2}{27}}.

Example Two: Gaussian Integral

Starting with the integral $\int _{-\infty }^{\infty }e^{-x^{2}t}dx={\frac {\sqrt {\pi }}{\sqrt {t}}}$ , taking the derivative with respect to t on both sides yields
${\begin{aligned}&{\frac {d}{dt}}\int _{-\infty }^{\infty }e^{-x^{2}t}dx={\frac {d}{dt}}{\frac {\sqrt {\pi }}{\sqrt {t}}}\\&-\int _{-\infty }^{\infty }x^{2}e^{-x^{2}t}=-{\frac {\sqrt {\pi }}{2}}t^{-{\frac {3}{2}}}\\&\int _{-\infty }^{\infty }x^{2}e^{-x^{2}t}={\frac {\sqrt {\pi }}{2}}t^{-{\frac {3}{2}}}\end{aligned}}$ .
In general, taking the n-th derivative with respect to t gives us
$\int _{-\infty }^{\infty }x^{2n}e^{-x^{2}t}={\frac {(2n-1)!!{\sqrt {\pi }}}{2^{n}}}t^{-{\frac {2n+1}{2}}}$ .

Example Three: A Polynomial

Using the classical $\int x^{t}dx={\frac {x^{t+1}}{t+1}}$ and taking the derivative with respect to t we get
$\int \ln(x)x^{t}={\frac {\ln(x)x^{t+1}}{t+1}}-{\frac {x^{t+1}}{(t+1)^{2}}}$ .

Example Four: Sums

The method can also be applied to sums, as exemplified below.
Use the Weierstrass factorization of the sinh function:
${\frac {\sinh(z)}{z}}=\prod _{n=1}^{\infty }\left({\frac {\pi ^{2}n^{2}+z^{2}}{\pi ^{2}n^{2}}}\right)$ .
Take the logarithm:
$\ln(\sinh(z))-\ln(z)=\sum _{n=1}^{\infty }\ln \left({\frac {\pi ^{2}n^{2}+z^{2}}{\pi ^{2}n^{2}}}\right)$ .
Derive with respect to z:
$\coth(z)-{\frac {1}{z}}=\sum _{n=1}^{\infty }{\frac {2z}{z^{2}+\pi ^{2}n^{2}}}$ .
Let $w={\frac {z}{\pi }}$ :
${\frac {1}{2}}{\frac {\coth(\pi w)}{\pi w}}-{\frac {1}{2}}{\frac {1}{z^{2}}}=\sum _{n=1}^{\infty }{\frac {1}{n^{2}+w^{2}}}$ .

Related Research Articles

Bessel functions, first defined by the mathematician Daniel Bernoulli and then generalized by Friedrich Bessel, are canonical solutions $y (x)$ of Bessel's differential equation

In mathematics, the gamma function 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 $n$ ,

The natural logarithm of a number is its logarithm to the base of the mathematical constant $e$ , which is an irrational and transcendental number approximately equal to $2.718 281828459$ . The natural logarithm of $x$ is generally written as $ln x$ , $log e x$ , or sometimes, if the base $e$ is implicit, simply $log x$ . Parentheses are sometimes added for clarity, giving $ln(x)$ , $log e (x)$ , or $log(x)$ . This is done particularly when the argument to the logarithm is not a single symbol, so as to prevent ambiguity.

In mathematics, hyperbolic functions are analogues of the ordinary trigonometric functions, but defined using the hyperbola rather than the circle. Just as the points $(cos t, sin t)$ form a circle with a unit radius, the points $(cosh t, sinh t)$ form the right half of the unit hyperbola. Also, similarly to how the derivatives of $sin(t)$ and $cos(t)$ are $cos(t)$ and $-sin(t)$ respectively, the derivatives of $sinh(t)$ and $cosh(t)$ are $cosh(t)$ and $+sinh(t)$ respectively.

In mathematics, Stirling's approximation is an approximation for factorials. It is a good approximation, leading to accurate results even for small values of $. It is named after James Stirling, though a related but less precise result was first stated by Abraham de Moivre.$

Integration is the basic operation in integral calculus. While differentiation has straightforward rules by which the derivative of a complicated function can be found by differentiating its simpler component functions, integration does not, so tables of known integrals are often useful. This page lists some of the most common antiderivatives.

The Fresnel integrals $S (x)$ and $C (x)$ are two transcendental functions named after Augustin-Jean Fresnel that are used in optics and are closely related to the error function ( $erf$ ). They arise in the description of near-field Fresnel diffraction phenomena and are defined through the following integral representations:

<span class="mw-page-title-main">Improper integral</span> Concept in mathematical analysis

In mathematical analysis, an improper integral is the limit of a definite integral as an endpoint of the interval(s) of integration approaches either a specified real number or positive or negative infinity; or in some instances as both endpoints approach limits. Such an integral is often written symbolically just like a standard definite integral, in some cases with infinity as a limit of integration interval(s) that converge.

In mathematics, trigonometric substitution is the replacement of trigonometric functions for other expressions. In calculus, trigonometric substitution is a technique for evaluating integrals. Moreover, one may use the trigonometric identities to simplify certain integrals containing radical expressions. Like other methods of integration by substitution, when evaluating a definite integral, it may be simpler to completely deduce the antiderivative before applying the boundaries of integration.

<span class="mw-page-title-main">Gaussian integral</span> Integral of the Gaussian function, equal to sqrt(π)

The Gaussian integral, also known as the Euler–Poisson integral, is the integral of the Gaussian function $over the entire real line. Named after the German mathematician Carl Friedrich Gauss, the integral is$

In the mathematical field of complex analysis, contour integration is a method of evaluating certain integrals along paths in the complex plane.

<span class="mw-page-title-main">Dirichlet integral</span> Integral of sin(x)/x from 0 to infinity.

In mathematics, there are several integrals known as the Dirichlet integral, after the German mathematician Peter Gustav Lejeune Dirichlet, one of which is the improper integral of the sinc function over the positive real line:

<span class="mw-page-title-main">Trigamma function</span> Mathematical function

In mathematics, the trigamma function, denoted $ψ 1 (z)$ or $ψ (1) (z)$ , is the second of the polygamma functions, and is defined by

In calculus, the Leibniz integral rule for differentiation under the integral sign states that for an integral of the form

In functional analysis, a branch of mathematics, it is sometimes possible to generalize the notion of the determinant of a square matrix of finite order (representing a linear transformation from a finite-dimensional vector space to itself) to the infinite-dimensional case of a linear operator S mapping a function space V to itself. The corresponding quantity det(S) is called the functional determinant of S.

Carl Johan Malmsten was a Swedish mathematician and politician. He is notable for early research into the theory of functions of a complex variable, for the evaluation of several important logarithmic integrals and series, for his studies in the theory of Zeta-function related series and integrals, as well as for helping Mittag-Leffler start the journal Acta Mathematica. Malmsten became Docent in 1840, and then, Professor of mathematics at the Uppsala University in 1842. He was elected a member of the Royal Swedish Academy of Sciences in 1844. He was also a minister without portfolio in 1859–1866 and Governor of Skaraborg County in 1866–1879.

In integral calculus, the tangent half-angle substitution is a change of variables used for evaluating integrals, which converts a rational function of trigonometric functions of $into an ordinary rational function of by setting . This is the one-dimensional stereographic projection of the unit circle parametrized by angle measure onto the real line. The general transformation formula is:$

In calculus, the integral of the secant function can be evaluated using a variety of methods and there are multiple ways of expressing the antiderivative, all of which can be shown to be equivalent via trigonometric identities,

References

↑ Zatja, Aurel J. (December 1989). "Parametric Integration Techniques | Mathematical Association of America" (PDF). www.maa.org. Mathematics Magazine. Retrieved 23 July 2019.

External links

WikiBooks: Parametric_Integration

This mathematical analysis–related article is a stub. You can help Wikipedia by expanding it.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[Zatja1989-1] Zatja, Aurel J. (December 1989). "Parametric Integration Techniques | Mathematical Association of America" (PDF). www.maa.org. Mathematics Magazine. Retrieved 23 July 2019.

[1]