Frullani integral

Last updated March 10, 2023

In mathematics, Frullani integrals are a specific type of improper integral named after the Italian mathematician Giuliano Frullani. The integrals are of the form

Proof

A simple proof of the formula can be arrived at by using the Fundamental theorem of calculus to express the integrand as an integral of $f'(xt)={\frac {\partial }{\partial t}}\left({\frac {f(xt)}{x}}\right)$ :

{\begin{aligned}{\frac {f(ax)-f(bx)}{x}}&=\left[{\frac {f(xt)}{x}}\right]_{t=b}^{t=a}\,\\&=\int _{b}^{a}f'(xt)\,dt\\\end{aligned}}

and then use Tonelli’s theorem to interchange the two integrals:

{\begin{aligned}\int _{0}^{\infty }{\frac {f(ax)-f(bx)}{x}}\,dx&=\int _{0}^{\infty }\int _{b}^{a}f'(xt)\,dt\,dx\\&=\int _{b}^{a}\int _{0}^{\infty }f'(xt)\,dx\,dt\\&=\int _{b}^{a}\left[{\frac {f(xt)}{t}}\right]_{x=0}^{x\to \infty }\,dt\\&=\int _{b}^{a}{\frac {f(\infty )-f(0)}{t}}\,dt\\&={\Big (}f(\infty )-f(0){\Big )}{\Big (}\ln(a)-\ln(b){\Big )}\\&={\Big (}f(\infty )-f(0){\Big )}\ln {\Big (}{\frac {a}{b}}{\Big )}\\\end{aligned}}

Note that the integral in the second line above has been taken over the interval $[b,a]$ , not $[a,b]$ .

Applications

The formula can be used to derive an integral representation for the natural logarithm $\ln(x)$ by letting $f(x)=e^{-x}$ and $a=1$ :

{\int _{0}^{\infty }{\frac {e^{-x}-e^{-bx}}{x}}\,{\rm {d}}x={\Big (}\lim _{n\to \infty }{\frac {1}{e^{n}}}-e^{0}{\Big )}\ln {\Big (}{\frac {1}{b}}}{\Big )}=\ln(b)

The formula can also be generalized in several different ways.^[1]

Related Research Articles

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$ ,

In mathematics, the Laplace transform, named after its discoverer Pierre-Simon Laplace, is an integral transform that converts a function of a real variable to a function of a complex variable $. The transform has many applications in science and engineering because it is a tool for solving differential equations. In particular, it transforms ordinary differential equations into algebraic equations and convolution into multiplication. For suitable functions f, the Laplace transform is the integral$

<span class="mw-page-title-main">Mean value theorem</span> On the existence of a tangent to an arc parallel to the line through its endpoints

In mathematics, the mean value theorem states, roughly, that for a given planar arc between two endpoints, there is at least one point at which the tangent to the arc is parallel to the secant through its endpoints. It is one of the most important results in real analysis. This theorem is used to prove statements about a function on an interval starting from local hypotheses about derivatives at points of the interval.

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, the Lambert $W$ function, also called the omega function or product logarithm, is a multivalued function, namely the branches of the converse relation of the function $f (w) = we w$ , where $w$ is any complex number and $e w$ is the exponential function.

In calculus, and more generally in mathematical analysis, integration by parts or partial integration is a process that finds the integral of a product of functions in terms of the integral of the product of their derivative and antiderivative. It is frequently used to transform the antiderivative of a product of functions into an antiderivative for which a solution can be more easily found. The rule can be thought of as an integral version of the product rule of differentiation.

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.

<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 mathematics, the exponential function can be characterized in many ways. The following characterizations (definitions) are most common. This article discusses why each characterization makes sense, and why the characterizations are independent of and equivalent to each other. As a special case of these considerations, it will be demonstrated that the three most common definitions given for the mathematical constant e are equivalent to each other.

<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:

In mathematics, the explicit formulae for L-functions are relations between sums over the complex number zeroes of an L-function and sums over prime powers, introduced by Riemann (1859) for the Riemann zeta function. Such explicit formulae have been applied also to questions on bounding the discriminant of an algebraic number field, and the conductor of a number field.

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

This is a summary of differentiation rules, that is, rules for computing the derivative of a function in calculus.

The Sokhotski–Plemelj theorem is a theorem in complex analysis, which helps in evaluating certain integrals. The real-line version of it is often used in physics, although rarely referred to by name. The theorem is named after Julian Sochocki, who proved it in 1868, and Josip Plemelj, who rediscovered it as a main ingredient of his solution of the Riemann–Hilbert problem in 1908.

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

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:$

Euler substitution is a method for evaluating integrals of the form

References

G. Boros, Victor Hugo Moll, Irresistible Integrals (2004), pp. 98
Juan Arias-de-Reyna, On the Theorem of Frullani (PDF; 884 kB), Proc. A.M.S. 109 (1990), 165-175.
ProofWiki, proof of Frullani's integral.

↑ Bravo, Sergio; Gonzalez, Ivan; Kohl, Karen; Moll, Victor Hugo (21 January 2017). "Integrals of Frullani type and the method of brackets". Open Mathematics. 15 (1). doi: 10.1515/math-2017-0001 . Retrieved 17 June 2020.

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.

[1] Bravo, Sergio; Gonzalez, Ivan; Kohl, Karen; Moll, Victor Hugo (21 January 2017). "Integrals of Frullani type and the method of brackets". Open Mathematics. 15 (1). doi: 10.1515/math-2017-0001 . Retrieved 17 June 2020.

[1]

Frullani integral

Contents

Proof

Applications

Related Research Articles

References