In my opinion, it should be better called a trick, because that is not a new system of integral.
Content
1:
f
∈
C
[
0
,
+
∞
)
,
lim
x
→
+
∞
f
=
α
.
∀
b
>
a
>
0.
∫
0
+
∞
f
(
a
x
)
−
f
(
b
x
)
x
d
x
=
[
f
(
0
)
−
α
]
ln
b
a
.
f\in C[0,+\infty),\lim\limits_{x\rightarrow+\infty}f=\alpha.\\ \ \\ \forall b>a>0.\\ \ \\ \int_0^{+\infty}\frac{f(ax)-f(bx)}{x}\text dx=[f(0)-\alpha]\ln\frac ba.
f∈C[0,+∞),x→+∞limf=α. ∀b>a>0. ∫0+∞xf(ax)−f(bx)dx=[f(0)−α]lnab.
Proof:
∫
ε
M
f
(
a
x
)
x
d
x
−
∫
ε
M
f
(
b
x
)
x
d
x
=
∫
a
ε
a
M
f
(
t
)
t
d
t
−
∫
b
ε
b
M
f
(
t
)
t
d
t
=
∫
a
ε
b
ε
f
(
t
)
t
d
t
−
∫
a
M
b
M
f
(
t
)
t
d
t
=
∫
a
b
f
(
ε
t
)
ε
t
d
ε
t
−
∫
a
b
f
(
M
t
)
M
t
d
M
t
=
∫
a
b
f
(
ε
t
)
−
f
(
M
t
)
t
d
t
=
(
f
(
0
)
−
α
)
∫
a
b
1
t
=
(
f
(
0
)
−
α
)
ln
b
a
.
\begin{aligned} &\int_{\varepsilon}^{M} \frac{f(a x)}{x} d x-\int_{\varepsilon}^{M} \frac{f(b x)}{x} d x \\ &=\int_{a \varepsilon}^{a M} \frac{f(t)}{t} d t-\int_{b \varepsilon}^{b M} \frac{f(t)}{t} d t \\ &=\int_{a \varepsilon}^{b \varepsilon} \frac{f(t)}{t} d t-\int_{a M}^{b M} \frac{f(t)}{t} d t \\ &=\int_{a}^{b} \frac{f(\varepsilon t)}{\varepsilon t} d \varepsilon t-\int_{a}^{b} \frac{f(M t)}{M t} d M t \\ &=\int_{a}^{b} \frac{f(\varepsilon t)-f(M t)}{t} d t \\ &=(f(0)-\alpha) \int_{a}^{b} \frac{1}{t}=(f(0)-\alpha) \ln \frac{b}{a}. \end{aligned}
∫εMxf(ax)dx−∫εMxf(bx)dx=∫aεaMtf(t)dt−∫bεbMtf(t)dt=∫aεbεtf(t)dt−∫aMbMtf(t)dt=∫abεtf(εt)dεt−∫abMtf(Mt)dMt=∫abtf(εt)−f(Mt)dt=(f(0)−α)∫abt1=(f(0)−α)lnab.
2:
f
∈
C
[
0
,
+
∞
)
,
∫
1
+
∞
f
(
x
)
/
x
d
x
∃
.
∀
b
>
a
>
0.
∫
0
+
∞
f
(
a
x
)
−
f
(
b
x
)
x
d
x
=
f
(
0
)
ln
b
a
.
f\in C[0,+\infty),\int_1^{+\infty}f(x)/x\text dx\exist.\\ \ \\ \forall b>a>0.\\ \ \\ \int_0^{+\infty}\frac{f(ax)-f(bx)}{x}\text dx=f(0)\ln\frac ba.
f∈C[0,+∞),∫1+∞f(x)/xdx∃. ∀b>a>0. ∫0+∞xf(ax)−f(bx)dx=f(0)lnab.
3:
f
∈
C
(
0
,
+
∞
)
,
∫
0
1
f
(
x
)
/
x
d
x
∃
,
lim
x
→
+
∞
f
=
α
.
∀
b
>
a
>
0.
∫
0
+
∞
f
(
a
x
)
−
f
(
b
x
)
x
d
x
=
−
α
ln
b
a
.
f\in C(0,+\infty),\int_0^{1}f(x)/x\text dx\exist,\lim\limits_{x\rightarrow+\infty}f=\alpha.\\ \ \\ \forall b>a>0.\\ \ \\ \int_0^{+\infty}\frac{f(ax)-f(bx)}{x}\text dx=-\alpha\ln\frac ba.
f∈C(0,+∞),∫01f(x)/xdx∃,x→+∞limf=α. ∀b>a>0. ∫0+∞xf(ax)−f(bx)dx=−αlnab.
Essence
Pay attention to conditions. What ∫ a b f ( x ) x d x ∃ \int_a^b\frac{f(x)}{x}\text dx\exist ∫abxf(x)dx∃ means?
In perspective of order, we know in [ a , b ] , f ( x ) = o ( 1 ) [a,b],f(x)=o(1) [a,b],f(x)=o(1).