Math 2.0

Real functions Riemann and related integrals Theorem

Frullani integral

Builds on Continuous functionImproper integralNatural logarithm

Statement

Let f ⁣:[0,∞)→ℝf \colon [0, \infty) \to \R be continuous and assume that the limit f(∞)=lim⁡x→∞f(x)f(\infty) = \lim_{x \to \infty} f(x) exists in ℝ\R. Let a,b>0a, b > 0. Then the improper integral below converges and ∫0∞f(ax)−f(bx)x dx=(f(∞)−f(0))ln⁡ab,\int_0^\infty \frac{f(ax) - f(bx)}{x}\, dx = \bigl(f(\infty) - f(0)\bigr) \ln \frac{a}{b}, where ln⁡\ln is the natural logarithm.

Remarks

For 0<ε<R0 < \varepsilon < R, the substitutions t=axt = ax and t=bxt = bx give ∫εRf(ax)−f(bx)x dx=∫aεbεf(t)t dt−∫aRbRf(t)t dt.\int_\varepsilon^R \frac{f(ax) - f(bx)}{x}\, dx = \int_{a\varepsilon}^{b\varepsilon} \frac{f(t)}{t}\, dt - \int_{aR}^{bR} \frac{f(t)}{t}\, dt. As ε→0\varepsilon \to 0 the first integral tends to f(0)ln⁡(b/a)f(0) \ln(b/a) by continuity at 00, and as R→∞R \to \infty the second tends to f(∞)ln⁡(b/a)f(\infty) \ln(b/a). Example: with f(x)=e−xf(x) = e^{-x} one gets ∫0∞e−ax−e−bxx dx=ln⁡ba\int_0^\infty \frac{e^{-ax} - e^{-bx}}{x}\, dx = \ln \frac{b}{a}. The limit at infinity matters: for f(x)=sin⁡xf(x) = \sin x the right side has no meaning, although the integral still converges.

Going deeper

For a student

Frullani integrals appear in the computation of integral representations of logarithms, such as ln⁡(b/a)=∫0∞e−ax−e−bxx dx\ln(b/a) = \int_0^\infty \frac{e^{-ax} - e^{-bx}}{x}\, dx. The proof is a change of variables in an improper integral together with continuity at the two ends. Variants replace continuity by local integrability with suitable mean values of ff near 00 and near infinity.

Reading path

To understand this page from the ground up, read these 59 pages in order. The foundations come first.

  1. Limit point of a set definition
  2. Local maximum definition
  3. Partition of an interval definition
  4. Sequence definition
  5. Strictly monotone function definition
  6. Limit of a function definition
  7. Local minimum definition
  8. Mesh of a partition definition
  9. Riemann sum definition
  10. Real sequence definition
  11. Subsequence definition
  12. Continuity at a point definition
  13. Derivative definition
  14. Limit at infinity definition
  15. One-sided limit definition
  16. Riemann integrable function definition
  17. Bounded sequence definition
  18. Geometric sequence definition
  19. Limit of a sequence definition
  20. Monotone sequence definition
  21. Series definition
  22. Continuous function definition
  23. Fermat's theorem on stationary points statement
  24. Riemann integral definition
  25. Sum of a finite geometric series statement
  26. Every sequence has a monotone subsequence statement
  27. Monotone convergence theorem for sequences statement
  28. Convergent sequence definition
  29. Squeeze theorem statement
  30. Cauchy product definition
  31. Partial sum definition
  32. Power series definition
  33. Intermediate value theorem statement
  34. Improper integral definition
  35. Bolzano–Weierstrass theorem statement
  36. The sequence r^n tends to zero for |r| < 1 example
  37. Radius of convergence definition
  38. Convergent series definition
  39. Boundedness theorem statement
  40. A series of nonnegative terms converges iff its partial sums are bounded statement
  41. Absolute convergence definition
  42. Sum of a series definition
  43. Extreme value theorem statement
  44. Comparison test statement
  45. Geometric series example
  46. Cauchy product of absolutely convergent series statement
  47. Rolle's theorem statement
  48. Ratio test statement
  49. Mean value theorem statement
  50. Ratio formula for the radius of convergence statement
  51. A function with positive derivative is strictly increasing statement
  52. The exponential series has infinite radius of convergence statement
  53. Exponential function definition
  54. Exponential of a sum statement
  55. The exponential function is positive statement
  56. The exponential function is its own derivative statement
  57. The exponential function is strictly increasing statement
  58. Natural logarithm definition
  59. Frullani integral statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Frullani_integral
About this page
TagA58Z1DQ593
URIm2://A58Z1DQ593
Kindstatement, theorem
WritingW0 stub
MSC26A42
StatusThis copy of the site has no build data. Run m2 status A58Z1DQ593.
AboutImproper integral
UsesContinuous function, Improper integral, Natural logarithm
Same as
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.