Формулы Фруллани

Материал из testwiki
Перейти к навигации Перейти к поиску

Формулы Шаблон:Нп1 относятся к нахождению несобственных интегралов Римана вида:

∫0∞f(αx)−f(βx)xdx

к которым с помощью элементарных преобразований, дифференцирования и интегрирования по параметру можно свести много других несобственных интегралов.

Формулы Фруллани

Первая формула Фруллани

Если f(x)∈C[0,+∞)  и  ∀A>0 ∃∫A∞f(x)xdx, то справедлива следующая формула:

∫0∞f(αx)−f(βx)xdx=f(0)ln⁡(βα)  (α>0,β>0) 
Доказательство:
Стоит отметить, что в этом и доказательствах ниже подразумевается F′(x)=f(x)x, а не F′(x)=f(x).
limA→+0(∫A∞f(αx)−f(βx)xdx)=limA→+0(∫A∞f(αx)xdx−∫A∞f(βx)xdx)=
={∀A>0 ∃∫A∞f(x)xdx ⇒∫A∞f(x)xdx=F(∞)−F(A)⇒∫A∞f(αx)xdx=∫αA∞f(x)xdx=F(∞)−F(αA)}[1] =
=limA→+0(F(∞)−F(αA)−F(∞)+F(βA))=limA→+0(F(βA)−F(αA))=limA→+0(∫αβf(Ax)xdx)=
=limA→+0(f(Aξ)∫αβ1xdx)[2] =limA→+0(f(Aξ)(ln⁡(β)−ln⁡(α)))[3] =limA→+0(f(Aξ))ln⁡(βα)=
={ξ∈[α,β]⇒limA→+0Aξ=0,f(x)∈C[0,+∞)⇒limA→+0f(Aξ)=f(0)}=f(0)ln⁡(βα).

Вторая формула Фруллани

Если f(x)∈C[0,+∞) и ∃limx→+∞f(x)<+∞ , то справедлива следующая формула:

∫0∞f(αx)−f(βx)xdx=(f(0)−f(+∞))ln⁡(βα)  (α>0,β>0)
Доказательство:
∫0∞f(αx)−f(βx)xdx=limϵ→0,Δ→∞(∫ϵAf(αx)−f(βx)xdx+∫AΔf(αx)−f(βx)xdx)[4]=
={ρ(ϵ,A)<∞,f(x)x∈C[ϵ,A]⇒∫ϵAf(x)xdx=F(A)−F(ϵ)⇒∫ϵAf(αx)xdx=F(αA)−F(αϵ)}[1]=
=limϵ→0,Δ→+∞(F(αA)−F(αϵ)−F(βA)+F(βϵ)+∫AΔf(αx)−f(βx)xdx)=
={ρ(A,Δ)<∞,f(x)x∈C[A,Δ]⇒∫AΔf(x)xdx=F(Δ)−F(A)⇒∫AΔf(αx)xdx=F(αΔ)−F(αA)}=
=limϵ→+0,Δ→+∞(F(αA)−F(αϵ)−F(βA)+F(βϵ)+F(αΔ)−F(αA)−F(βΔ)+F(βA))=
=limϵ→+0(F(βϵ)−F(αϵ))−limΔ→+∞(F(βΔ)−F(αΔ))=limϵ→+0(∫αβf(ϵx)xdx)−limΔ→+∞(∫αβf(Δx)xdx)=
=limϵ→+0(f(ϵη)∫αβ1xdx)−limΔ→+∞(f(Δμ)∫αβ1xdx)[2] =(limϵ→+0f(ϵη)−limΔ→+∞f(Δμ))(ln⁡(β)−ln⁡(α))[3] =
={η,μ∈[α,β]⇒limϵ→+0ϵη=0,limΔ→+∞Δμ=+∞,f(x)∈C[0,+∞]⇒limϵ→+0f(ϵη)=f(0),limΔ→+∞f(Δμ)=f(+∞)}=
=(f(0)−f(+∞))ln⁡(βα).

Третья формула Фруллани

Если f(x)∈C(0,+∞)  и  ∀A>0 ∃∫0Af(x)xdx и ∃limx→+∞f(x)<+∞ , то справедлива следующая формула:

∫0∞f(αx)−f(βx)xdx=f(+∞)ln⁡(αβ)  (α>0,β>0) 

Примеры

  • ∫0∞sin⁡(αx)αx−sin⁡(βx)βxxdx=ln⁡(βα)
  • ∫0∞sin⁡(αx+m)−sin⁡(βx+m)xdx=sin⁡(m)⋅ln⁡(βα)
  • ∫0∞cos⁡(αx+m)−cos⁡(βx+m)xdx=cos⁡(m)⋅ln⁡(βα)
  • ∫0∞mn+αx−mn+βxxdx=mnln⁡(βα)
  • ∫0∞arctg(−αx)αx−arctg(−βx)βxxdx=ln⁡(αβ)

Примечания

Шаблон:Примечания

См. также

Ссылки

Шаблон:Нет ссылок