In this exercise we will establish the important formula: (a) Let G(t) := «10 [e-t2(x2+1)/(x2 + 1)]dx
Question:
(a) Let G(t) := «10 [e-t2(x2+1)/(x2 + 1)]dx for t > 0. Since the integrand is dominated by 1/(x2 + 1) for t > 0, then G is continuous on [0, ). Moreover, G(0) = Arctan 1 = 1/4 Ï and it follows from the Dominated Convergence Theorem that G(t) 0 as t .
(b) The partial derivative of the integrand with respect to t is bounded for t > 0, x [0, 1], so Gʹ(t) = -2te-t2 «10 e-t2x2 dx = -2e-t2 «t0 e-u2 du.
(c) If we set F(t) := [«t0 e-x2 dx]2, then the Fundamental Theorem 10.1.11 yields Fʹ(t) = 2e-t2
«t0 e-x2 dx for t > 0, from which Fʹ(t) + Gʹ(t) = 0 for all t > 0. Therefore, F(t) + G(t) = C for all t > 0.
(d) Using F(0) = 0, G(0) = 1/4 Ï and limtG(t) = 0, we conclude that limtF(t) = 1/4 Ï, so that formula (17) holds.
Step by Step Answer:
Introduction to Real Analysis
ISBN: 978-0471433316
4th edition
Authors: Robert G. Bartle, Donald R. Sherbert