๐Ÿงฎ Brain Teaser

The Integral That Hides a Telescoping Heart

Evaluate the definite integral

I=โˆซ01xโˆ’1lnโกxโ€‰dx.I = \int_0^1 \frac{x - 1}{\ln x}\, dx.

Feynman's trickparameter differentiationFubinilogarithmic integral

Answer: The Integral That Hides a Telescoping Heart

Key Idea / Intuition

The integrand has a suspicious 1lnโกx\frac{1}{\ln x} factor โ€” whenever you see xaโˆ’xblnโกx\frac{x^a - x^b}{\ln x}, the trick is to introduce a Feynman parameter: write xaโˆ’xb=โˆซbaxtโ€‰dtx^a - x^b = \int_b^a x^t\, dt and swap the order of integration. The inner integral in xx becomes trivial, and you're left with something elementary.


Formal Proof / Solution

Step 1: Introduce a parameter.

Notice that for xโˆˆ(0,1)x \in (0,1),

xโˆ’1=x1โˆ’x0=โˆซ01xtlnโกxโ€‰dt.x - 1 = x^1 - x^0 = \int_0^1 x^t \ln x\, dt.

This is because ddtxt=xtlnโกx\frac{d}{dt} x^t = x^t \ln x, so โˆซ01xtlnโกxโ€‰dt=[xt]01=x1โˆ’x0\int_0^1 x^t \ln x\, dt = \left[x^t\right]_0^1 = x^1 - x^0.

Step 2: Substitute into the integral.

I=โˆซ011lnโกxโˆซ01xtlnโกxโ€‰dtโ€‰dx=โˆซ01โˆซ01xtโ€‰dxโ€‰dt.I = \int_0^1 \frac{1}{\ln x} \int_0^1 x^t \ln x\, dt\, dx = \int_0^1 \int_0^1 x^t\, dx\, dt.

The lnโกx\ln x factors cancel perfectly.

Step 3: Evaluate the inner integral.

โˆซ01xtโ€‰dx=xt+1t+1โˆฃ01=1t+1,t>โˆ’1.\int_0^1 x^t\, dx = \frac{x^{t+1}}{t+1}\Bigg|_0^1 = \frac{1}{t+1}, \quad t > -1.

Step 4: Evaluate the outer integral.

I=โˆซ011t+1โ€‰dt=lnโก(t+1)โˆฃ01=lnโก2โˆ’lnโก1=lnโก2.I = \int_0^1 \frac{1}{t+1}\, dt = \ln(t+1)\Big|_0^1 = \ln 2 - \ln 1 = \boxed{\ln 2}.


Sanity check: The integrand xโˆ’1lnโกx\frac{x-1}{\ln x} is non-negative on (0,1)(0,1) (both xโˆ’1<0x - 1 < 0 and lnโกx<0\ln x < 0), so I>0I > 0. And lnโก2โ‰ˆ0.693\ln 2 \approx 0.693 is a reasonable value for an integral of a bounded function on [0,1][0,1].

Type: IntegrationEdit on GitHub โ†—