TheoremBase

Logarithmic Integrals of Reciprocal Linear Functions over Bounded and Unbounded Intervals

The reciprocal of a linear function integrates to a difference of logarithms over bounded intervals, and the difference of two such reciprocals is integrable over a half-line with a logarithm of a ratio as its integral.

Statement

Let log⁡\log be the natural logarithm, (a,s)(a,s) the open interval and (a,∞)(a,\infty) the open ray, and let integrability on a Borel set and ∫Bf(t) dt\int_{B}f(t)\,dt be as in Rays, and Integrability and the Integral of a Real Function on a Borel Subset of the Real Line §integral.

1. (Bounded intervals) Let a,s,ba,s,b be real with a<sa<s and a+b>0a+b>0. Then t↦1/(b+t)t\mapsto1/(b+t) is integrable on (a,s)(a,s), and

∫(a,s)dtb+t=log⁡(b+s)−log⁡(b+a).\int_{(a,s)}\frac{dt}{b+t}=\log(b+s)-\log(b+a).

2. (Half-lines) Let a,b,ca,b,c be real with a+b>0a+b>0 and a+c>0a+c>0. Then t↦1b+t−1c+tt\mapsto\frac{1}{b+t}-\frac{1}{c+t} is integrable on (a,∞)(a,\infty), and

∫(a,∞)(1b+t−1c+t)dt=log⁡(a+c)−log⁡(a+b).\int_{(a,\infty)}\Bigl(\frac{1}{b+t}-\frac{1}{c+t}\Bigr)dt=\log(a+c)-\log(a+b).

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…