Let , f : [ 0 , 1 ] → R is a continuous
function , prove that :
lim_( n→ ∞) ∫_0 ^( 1) (( n f(x))/(1+ n^2 x^( 2) )) dx = (π/2) f (0 )
−−− proof −−−
S_( n) = [∫_(0 ) ^( (1/( (√n)))) (( n. f(x))/(1 + n^( 2) x^( 2) )) dx =Ω_( n) ]+[ ∫_(1/( (√n))) ^( 1) ((n.f (x))/(1 + n^( 2) x^( 2) )) dx = Φ_( n) ]
Ω_( n) =_(∃ t_( n) ∈ ( 0 , (1/( (√n) )) )) ^(MeanValueTheorem( first)) f (t_( n) )∫_(0 ) ^( (1/( (√n)))) (( n)/(1 + n^( 2) x^( 2) ))dx
= f ( t_( n) ) ( tan^( −1) ( (√n) ))
lim_( n→∞) (Ω_( n) ) = (π/2) f (lim_( n→∞) ( t_( n) ) ) = (π/2) f (0 )
Φ_( n) = ∫_(1/( (√n))) ^( 1) (( n. f(x) )/(1 + n^( 2) x^( 2) )) dx ⇒_(∃ M >0) ^(f is bounded) ∣ Φ_( n) ∣ ≤ M.∫_(1/( (√n))) ^( 1) (n/(1+ n^( 2) x^( 2) )) dx
⇒ ∣ Φ_( n) ∣ ≤ M . ( tan^( −1) ( n )− tan^( −1) ( (√n) ))
lim_( n→ ∞) ∣ Φ_( n) ∣ = 0 ⇒ lim_( n→∞) Φ_( n) =0
∴ lim_( n→ ∞) ( S_( n) ) = (π/2) f (0 ) ■ m.n
|