Assumptions in Integration for positive real values [closed]

Question

I want to evaluate the following integral in Mathematica.

$$ \int_0^\infty \frac{a^{-t}-b^{-t}}{t} dt = \ln \left(\frac{\ln b}{\ln a} \right)$$

I try to enter this, but Mathematica can't figure it out.

Integrate[ (a^(-t) - b^(-t))/t, {t, 0, Infinity}, Assumptions -> {a > 0, b > 0, b > a}]

It can figure out

Integrate[ (3^(-t) - 5^(-t))/t, {t, 0, Infinity}]

If someone could explain how to do the assumptions better I would appreciate it.

Answer 1

Plot the integrand to see, it explodes for 0<a<1 and a<b<1 as t goes to infinity, means integral does not converge.

Get desired result for 1<a and a<b

Manipulate[
 Plot3D[a^-t/t - b^-t/t, {a, 0, 2}, {b, a, 2}, 
  PlotRange -> {0, 100}], {{t, 1/1000}, 0, 10, 
  Appearance -> "Labeled"}]

Integrate[(a^(-t) - b^(-t))/t, {t, 0, Infinity}, 
 Assumptions -> {a > 1, b > 1, b > a}]

(*   -Log[Log[a]/Log[b]]   *)

Integrate[(a^(-t) - b^(-t))/t, {t, 0, Infinity}, 
 Assumptions -> {0 < a < 1, 0 < b < 1, b > a}]

(*   Integrate::idiv: Integral of a^-t/t-b^-t/t does not converge on {0,\[Infinity]}. >>   *)

Answer 2

The following works in version 13 on Windows 10.

Integrate[(a^(-t) - b^(-t))/t, {t, 0, Infinity}, 
Assumptions -> {a > 0, b > 0}]

ConditionalExpression[-Log[Log[a]/Log[b]], a >= 1 && b >= 1]

If (a<=1 && a>0)||(b<=1 && b >0), then the integral diverges.