Capítulo 11

11.1 (1) Com u=x−2u=x-2, ∫3∞d⁢xx−2=limL→∞∫3Ld⁢xx−2=limL→∞∫1L−2d⁢uu=limL→∞ln⁡(L−2)=∞\int_{3}^{\infty}\frac{dx}{x-2}=\lim_{L\to\infty}\int_{3}^{L}\frac{dx}{x-2}=% \lim_{L\to\infty}\int_{1}^{L-2}\frac{du}{u}=\lim_{L\to\infty}\ln(L-2)=\infty, diverge. (2) Diverge (é a área da região contida entre a parábola x2x^{2} e o eixo xx!) (3) ∫1∞d⁢xx7=limL→∞∫1Ld⁢xx7=16⁢limL→∞{1−1L6}=16\int_{1}^{\infty}\tfrac{dx}{x^{7}}=\lim_{L\to\infty}\int_{1}^{L}\tfrac{dx}{x^{% 7}}=\tfrac{1}{6}\lim_{L\to\infty}\{1-\frac{1}{L^{6}}\}=\tfrac{1}{6}, logo converge. (4) Como ∫0Lcos⁡x⁢d⁢x=sen⁡L\int_{0}^{L}\cos x\,dx=\operatorname{sen}L, e que sen⁡L\operatorname{sen}L não possui limite quando L→∞L\to\infty, a integral imprópria ∫0∞cos⁡x⁢d⁢x\int_{0}^{\infty}\cos x\,dx diverge. (5) ∫0∞d⁢xx2+1=π2\int_{0}^{\infty}\frac{dx}{x^{2}+1}=\frac{\pi}{2}, logo converge. (6) Temos 1x2+x=1x⁢(x+1)=1x−1x+1\frac{1}{x^{2}+x}=\frac{1}{x(x+1)}=\frac{1}{x}-\frac{1}{x+1}, logo

∫1Ld⁢xx2+x={ln⁡x}|1L−{ln⁡(x+1)}|1L=ln⁡L−ln⁡(L+1)+ln⁡2.\int_{1}^{L}\frac{dx}{x^{2}+x}=\{\ln x\}|_{1}^{L}-\{\ln(x+1)\}|_{1}^{L}=\ln L-% \ln(L+1)+\ln 2\,.

Mas como limL→∞{ln⁡L−ln⁡(L+1)}=limL→∞ln⁡LL+1=ln⁡1=0\lim_{L\to\infty}\{\ln L-\ln(L+1)\}=\lim_{L\to\infty}\ln\frac{L}{L+1}=\ln 1=0, temos ∫1∞d⁢xx2+x=ln⁡2<∞\int_{1}^{\infty}\frac{dx}{x^{2}+x}=\ln 2<\infty, logo converge. (7) converge. (8) Com u=ln⁡xu=\ln x, ∫ln⁡xx⁢𝑑x=∫u⁢𝑑u=u22+C\int\frac{\ln x}{x}\,dx=\int u\,du=\frac{u^{2}}{2}+C, logo ∫3∞ln⁡xx⁢𝑑x\int_{3}^{\infty}\frac{\ln x}{x}\,dx diverge. (9) converge (pode escrever x4=u2x^{4}=u^{2}, onde u=x2u=x^{2}) 11.2 (1) L⁢(s)=ksL(s)=\frac{k}{s}. (2) L⁢(s)=1s2L(s)=\frac{1}{s^{2}}. (3) Integrando duas vezes por partes, é fácil verificar que L⁢(s)L(s) satisfaz L⁢(s)=1s⁢(1s−1s⁢L⁢(s))L(s)=\frac{1}{s}(\frac{1}{s}-\frac{1}{s}L(s)). Logo, L⁢(s)=11+s2L(s)=\frac{1}{1+s^{2}}. (4) L⁢(s)=1s+αL(s)=\frac{1}{s+\alpha}. 11.3 A função tem domínio ℝ\mathbb{R}, é ímpar e possui a assíntota horizontal y=0y=0, a direita e esquerda. A sua derivada vale f′⁢(x)=1−x2(x2+1)2f^{\prime}(x)=\frac{1-x^{2}}{(x^{2}+1)^{2}}. Logo, ff decresce em (−∞,−1](-\infty,-1], possui um mínimo local em (−1,12)(-1,\tfrac{1}{2}), cresce em [−1,+1][-1,+1], possui um um máximo local em (+1,12)(+1,\tfrac{1}{2}), e decresce em [1,+∞)[1,+\infty). A derivada segunda vale f′′⁢(x)=2⁢x⁢(x2−3)(x2+1)3f^{\prime\prime}(x)=\frac{2x(x^{2}-3)}{(x^{2}+1)^{3}}. Logo, ff possui três pontos de inflexão: em (−3,−34)(-\sqrt{3},-\frac{\sqrt{3}}{4}), (0,0)(0,0) e (3,34)(\sqrt{3},\frac{\sqrt{3}}{4}), e é côncava em (−∞,−34](-\infty,-\frac{\sqrt{3}}{4}], convexa em [−34⁢,0][-\tfrac{\sqrt{3}}{4},0], côncava em [0,34][0,\tfrac{\sqrt{3}}{4}], e convexa em [34,+∞)[\tfrac{\sqrt{3}}{4},+\infty).

Vemos que a área procurada é dada pela integral imprópria

∫0∞xx2+1⁢𝑑x=limL→∞∫0Lxx2+1⁢𝑑x=limL→∞ln⁡(L2+1)=+∞.\int_{0}^{\infty}\frac{x}{x^{2}+1}dx=\lim_{L\to\infty}\int_{0}^{L}\frac{x}{x^{% 2}+1}dx=\lim_{L\to\infty}\ln(L^{2}+1)=+\infty\,.

11.4 ff tem domínio ℝ\mathbb{R}, e é sempre positiva. Já que

limx→+∞ex1+ex=limx→+∞11+e−x=1,limx→−∞ex1+ex=0,\lim_{x\to+\infty}\frac{e^{x}}{1+e^{x}}=\lim_{x\to+\infty}\frac{1}{1+e^{-x}}=1% \,,\quad\lim_{x\to-\infty}\frac{e^{x}}{1+e^{x}}=0\,,

ff tem duas assíntotas horizontais: a reta y=0y=0 a esquerda, e a reta y=1y=1 a direita. Como f′⁢(x)=ex(1+ex)2f^{\prime}(x)=\frac{e^{x}}{(1+e^{x})^{2}} é sempre positiva, ff é crescente em todo xx (não possui mínimos ou máximos locais). Como f′′⁢(x)=ex⁢(1−ex)(1+ex)2f^{\prime\prime}(x)=\frac{e^{x}(1-e^{x})}{(1+e^{x})^{2}}, e que essa é positiva quando x≤0x\leq 0, negativa quando x≥0x\geq 0, temos que ff é convexa em (−∞⁢,0](-\infty,0], côncava em [0,∞)[0,\infty), e possui um ponto de inflexão em (0,12)(0,\tfrac{1}{2}):

A área procurada é dada pela integral imprópria

∫0∞{1−ex1+ex}⁢𝑑x=∫0∞11+ex⁢𝑑x\int_{0}^{\infty}\Big{\{}1-\frac{e^{x}}{1+e^{x}}\Big{\}}dx=\int_{0}^{\infty}% \frac{1}{1+e^{x}}dx

Com u=ex+1u=e^{x}+1 dá d⁢u=ex⁢d⁢x=(u−1)⁢d⁢xdu=e^{x}\,dx=(u-1)\,dx, e

∫11+ex⁢𝑑x=∫1u⁢(u−1)⁢𝑑u.\int\frac{1}{1+e^{x}}dx=\int\frac{1}{u(u-1)}du\,.

A decomposição desta última fração dá

∫1u⁢(u−1)⁢𝑑u=−∫d⁢uu+∫d⁢uu−1=−ln⁡|u|+ln⁡|u−1|+C\int\frac{1}{u(u-1)}du=-\int\frac{du}{u}+\int\frac{du}{u-1}=-\ln|u|+\ln|u-1|+C

Logo,

∫0∞11+ex⁢𝑑x=limL→∞∫0L11+ex⁢𝑑x=\displaystyle\int_{0}^{\infty}\frac{1}{1+e^{x}}dx=\lim_{L\to\infty}\int_{0}^{L% }\frac{1}{1+e^{x}}dx= limL→∞{−ln⁡(ex+1)+ln⁡ex}0L\displaystyle\lim_{L\to\infty}\Big{\{}-\ln(e^{x}+1)+\ln e^{x}\Big{\}}_{0}^{L}
=limL→∞{−ln⁡(1+e−x)}0L\displaystyle=\lim_{L\to\infty}\Big{\{}-\ln(1+e^{-x})\Big{\}}_{0}^{L}
=ln⁡2\displaystyle=\ln 2

11.5 Considere por exemplo a seguinte função ff:

Fora dos triângulos, ff vale zero. O primeiro triângulo tem base de largura 11, o segundo 12\frac{1}{2}, o kk-ésimo 12k−1\frac{1}{2^{k-1}}, etc. Logo, a integral de ff é igual à soma das áreas dos triângulos:

∫0∞f⁢(x)⁢𝑑x=12+14+18+116+⋯=1.\int_{0}^{\infty}f(x)\,dx=\tfrac{1}{2}+\tfrac{1}{4}+\tfrac{1}{8}+\tfrac{1}{16}% +\dots=1\,.

Assim, a integral imprópria converge. Por outro lado, já que f⁢(k)=1f(k)=1 para todo inteiro positivo kk, f⁢(x)f(x) não tende a zero quando x→∞x\to\infty. 11.7 (1) Como 1xα=1xp\frac{1}{\sqrt{x}^{\alpha}}=\frac{1}{x^{p}} com p=α/2p=\alpha/2, a integral converge se e somente se α>2\alpha>2. (2) Defina p:=α2−3p:=\alpha^{2}-3. Pelo Teorema 11.1, sabemos que a integral converge se p>1p>1, diverge caso contrário. Logo, a integral converge se α>2\alpha>2 ou α<−2\alpha<-2, e ela diverge se −2≤α≤2-2\leq\alpha\leq 2. (3) Converge se e somente se α>1/2\alpha>1/2 (pode fazer u=ln⁡xu=\ln x). 11.8 O volume do sólido é dado pela integral imprópria

V=π⁢∫1∞(1xq)2⁢𝑑x=π⁢∫1∞d⁢xx2⁢q.V=\pi\int_{1}^{\infty}\Bigl{(}\frac{1}{x^{q}}\Bigr{)}^{2}\,dx=\pi\int_{1}^{% \infty}\frac{dx}{x^{2q}}\,.

Pelo Teorema 11.1, essa integral converge se 2⁢q>12q>1 (isto é se q>12q>\tfrac{1}{2}), diverge caso contrário. 11.9 (1) Como x2+x≥x2x^{2}+x\geq x^{2} para todo x∈[1,∞)x\in[1,\infty), temos também 1x2+x≤1x2\frac{1}{x^{2}+x}\leq\frac{1}{x^{2}} neste intervalo, logo ∫1∞d⁢xx2+x≤∫1∞d⁢xx2<∞\int_{1}^{\infty}\frac{dx}{x^{2}+x}\leq\int_{1}^{\infty}\frac{dx}{x^{2}}<\infty, converge. (2) Como x+1≥xx+1\geq x para todo x≥1x\geq 1, ∫1∞d⁢xx⁢(x+1)≤∫1∞d⁢xx⁢x=∫1∞d⁢xx3/2<∞\int_{1}^{\infty}\frac{dx}{\sqrt{x}(x+1)}\leq\int_{1}^{\infty}\frac{dx}{\sqrt{% x}x}=\int_{1}^{\infty}\frac{dx}{x^{3/2}}<\infty, converge. (3) ∫0∞d⁢x1+ex≤∫0∞e−x⁢𝑑x<∞\int_{0}^{\infty}\frac{dx}{1+e^{x}}\leq\int_{0}^{\infty}e^{-x}\,dx<\infty, converge. (4) ∫1∞exex−1⁢𝑑x≥∫1∞exex⁢𝑑x=∫1∞𝑑x=∞\int_{1}^{\infty}\frac{e^{x}}{e^{x}-1}\,dx\geq\int_{1}^{\infty}\frac{e^{x}}{e^% {x}}\,dx=\int_{1}^{\infty}dx=\infty, diverge. (5) Como ∫0∞d⁢x2⁢x2+1=∫01d⁢x2⁢x2+1+∫1∞d⁢x2⁢x2+1\int_{0}^{\infty}\frac{dx}{2x^{2}+1}=\int_{0}^{1}\frac{dx}{2x^{2}+1}+\int_{1}^% {\infty}\frac{dx}{2x^{2}+1} e ∫1∞d⁢x2⁢x2+1≤∫1∞d⁢x2⁢x2<∞\int_{1}^{\infty}\frac{dx}{2x^{2}+1}\leq\int_{1}^{\infty}\frac{dx}{2x^{2}}<\infty, temos que ∫0∞d⁢x2⁢x2+1\int_{0}^{\infty}\frac{dx}{2x^{2}+1} converge. (6) Escrevendo 1x2−1=1x2⁢x2x2−1\tfrac{1}{x^{2}-1}=\tfrac{1}{x^{2}}\tfrac{x^{2}}{x^{2}-1}, e observando que o máximo da função x2x2−1\tfrac{x^{2}}{x^{2}-1} no intervalo [3,∞)[3,\infty) é 98\tfrac{9}{8}, temos ∫3∞d⁢xx2−1≤98⁢∫3∞d⁢xx2<∞\int_{3}^{\infty}\frac{dx}{x^{2}-1}\leq\tfrac{9}{8}\int_{3}^{\infty}\frac{dx}{% x^{2}}<\infty, logo a integral converge. Um outro jeito de fazer é de observar que se x≥3x\geq 3, então x2−1≥x3/2x^{2}-1\geq x^{3/2}. (7) Como x2+1≥x2=x\sqrt{x^{2}+1}\geq\sqrt{x^{2}}=x em todo o intervalo de integração, ∫1∞x2+1x2⁢𝑑x≥∫1∞xx2⁢𝑑x=∫1∞1x⁢𝑑x\int_{1}^{\infty}\frac{\sqrt{x^{2}+1}}{x^{2}}dx\geq\int_{1}^{\infty}\frac{x}{x% ^{2}}dx=\int_{1}^{\infty}\frac{1}{x}dx. Como aqui é uma integral do tipo ∫1∞1xp⁢𝑑x\int_{1}^{\infty}\frac{1}{x^{p}}dx com p=1p=1, ela é divergente. Logo, pelo critério de comparação, ∫1∞x2+1x2⁢𝑑x\int_{1}^{\infty}\frac{\sqrt{x^{2}+1}}{x^{2}}dx diverge também.
(8) ∫1∞x2−1x4+1⁢𝑑x≤∫1∞x2x4⁢𝑑x=∫1∞1x2⁢𝑑x<∞\int_{1}^{\infty}\frac{x^{2}-1}{x^{4}+1}\,dx\leq\int_{1}^{\infty}\frac{x^{2}}{% x^{4}}\,dx=\int_{1}^{\infty}\frac{1}{x^{2}}\,dx<\infty, converge. (9) Como sen⁡x≥−1\operatorname{sen}x\geq-1, ∫1∞x2+1+sen⁡xx⁢𝑑x≥∫1∞x2x⁢𝑑x=∫1∞x⁢𝑑x=∞\int_{1}^{\infty}\frac{x^{2}+1+\operatorname{sen}x}{x}\,dx\geq\int_{1}^{\infty% }\frac{x^{2}}{x}\,dx=\int_{1}^{\infty}x\,dx=\infty, diverge. (10) Como ln⁡x≥2\ln x\geq 2 para todo x≥e2x\geq e^{2}, temos que ∫e2∞e−(ln⁡x)2⁢𝑑x≤∫e2∞e−2⁢ln⁡x⁢𝑑x=∫e2∞d⁢xx2\int_{e^{2}}^{\infty}e^{-(\ln x)^{2}}\,dx\leq\int_{e^{2}}^{\infty}e^{-2\ln x}% \,dx=\int_{e^{2}}^{\infty}\frac{dx}{x^{2}}, que converge. 11.10 Observe que se 0≤x<10\leq x<1, então e−x2/2⁢t≤1e^{-x^{2}/2t}\leq 1, e se x≥1x\geq 1, então x2≥xx^{2}\geq x, logo e−x2/2⁢t≤e−x/2⁢te^{-x^{2}/2t}\leq e^{-x/2t}. Logo,

∫0∞e−x22⁢t⁢𝑑x=∫01e−x22⁢t⁢𝑑x+∫1∞e−x22⁢t⁢𝑑x≤∫01𝑑x+∫1∞e−x/2⁢t⁢𝑑x.\int_{0}^{\infty}e^{-\frac{x^{2}}{2t}}\,dx=\int_{0}^{1}e^{-\frac{x^{2}}{2t}}\,% dx+\int_{1}^{\infty}e^{-\frac{x^{2}}{2t}}\,dx\leq\int_{0}^{1}\,dx+\int_{1}^{% \infty}e^{-x/2t}\,dx\,.

Como essa última integral converge (ela pode ser calculada explicitamente), por comparação ∫0∞e−x22⁢t⁢𝑑x\int_{0}^{\infty}e^{-\frac{x^{2}}{2t}}\,dx converge também. Como x↦e−x2/2⁢tx\mapsto e^{-x^{2}/2t} é par, isso implica que f⁢(t)f(t) é bem definida. Com a mudança y=x/ty=x/\sqrt{t}, temos

12⁢π⁢t⁢∫0∞e−x22⁢t⁢𝑑x=12⁢π⁢∫0∞e−y22⁢𝑑y,\frac{1}{\sqrt{2\pi t}}\int_{0}^{\infty}e^{-\frac{x^{2}}{2t}}\,dx=\frac{1}{% \sqrt{2\pi}}\int_{0}^{\infty}e^{-\frac{y^{2}}{2}}\,dy\,,

que não depende de tt. Assim, ff é constante. 11.11 (1) Por definição, ∫01−d⁢x1−x=limϵ→0+∫01−ϵd⁢x1−x=limϵ→0+{−2⁢1−x}01−ϵ=2\int_{0}^{1^{-}}\frac{dx}{\sqrt{1-x}}=\lim_{\epsilon\to 0^{+}}\int_{0}^{1-% \epsilon}\frac{dx}{\sqrt{1-x}}=\lim_{\epsilon\to 0^{+}}\{-2\sqrt{1-x}\}_{0}^{1% -\epsilon}=2. Logo, a integral converge. (2) ∫0+1ln⁡(x)x⁢𝑑x=limϵ→0+∫ϵ1ln⁡(x)x⁢𝑑x\int_{0^{+}}^{1}\frac{\ln(x)}{\sqrt{x}}dx=\lim_{\epsilon\to 0^{+}}\int_{% \epsilon}^{1}\frac{\ln(x)}{\sqrt{x}}dx. Integrando por partes, definindo f′⁢(x):=1xf^{\prime}(x){:=}\frac{1}{\sqrt{x}}, g⁢(x):=ln⁡(x)g(x){:=}\ln(x), temos f⁢(x)=2⁢xf(x)=2\sqrt{x}, g′⁢(x)=1xg^{\prime}(x)=\frac{1}{x}, e

∫ln⁡(x)x⁢𝑑x=2⁢x⁢ln⁡(x)−2⁢∫xx⁢𝑑x\displaystyle\int\frac{\ln(x)}{\sqrt{x}}dx=2\sqrt{x}\ln(x)-2\int\frac{\sqrt{x}% }{x}dx =2⁢x⁢ln⁡(x)−2⁢∫1x⁢𝑑x\displaystyle=2\sqrt{x}\ln(x)-2\int\frac{1}{\sqrt{x}}dx
=2⁢x⁢ln⁡(x)−4⁢x+C.\displaystyle=2\sqrt{x}\ln(x)-4\sqrt{x}+C\,.

(Obs: pode também começar com u=xu=\sqrt{x}, e acaba calculando 4⁢∫ln⁡(u)⁢𝑑u4\int\ln(u)du.) Logo,

∫0+1ln⁡(x)x⁢𝑑x\displaystyle\int_{0^{+}}^{1}\frac{\ln(x)}{\sqrt{x}}dx =limϵ→0+{2⁢x⁢ln⁡(x)−4⁢x+C}ϵ1\displaystyle=\lim_{\epsilon\to 0^{+}}\big{\{}2\sqrt{x}\ln(x)-4\sqrt{x}+C\big{% \}}_{\epsilon}^{1}
=limϵ→0+−4−2⁢ϵ⁢ln⁡(ϵ)+4⁢ϵ=−4.\displaystyle=\lim_{\epsilon\to 0^{+}}-4-2\sqrt{\epsilon}\ln(\epsilon)+4\sqrt{% \epsilon}=-4\,.

Este último passo é justificado porqué limϵ→0+ϵ=0\lim_{\epsilon\to 0^{+}}\sqrt{\epsilon}=0, e porqué uma simples aplicação da Regra de Bernoulli-l’Hôpital dá limϵ→0+ϵ⁢ln⁡(ϵ)=−limy→+∞ln⁡(y)y=0\lim_{\epsilon\to 0^{+}}\sqrt{\epsilon}\ln(\epsilon)=-\lim_{y\to+\infty}\frac{% \ln(y)}{\sqrt{y}}=0. Como o limite existe e é finito, a integral imprópria acima converge e o seu valor é −4-4.

(3) Observe que a função 1et−1\frac{1}{\sqrt{e^{t}-1}} não é definida em t=0t=0, logo é necessário dividir a integral em duas integrais impróprias:

∫0+∞1et−1⁢𝑑t\displaystyle\int_{0^{+}}^{\infty}\frac{1}{\sqrt{e^{t}-1}}dt =∫0+11et−1⁢𝑑t+∫1∞1et−1⁢𝑑t\displaystyle=\int_{0^{+}}^{1}\frac{1}{\sqrt{e^{t}-1}}dt+\int_{1}^{\infty}% \frac{1}{\sqrt{e^{t}-1}}dt
=limϵ→0+∫ϵ11et−1⁢𝑑t+limL→∞∫1L1et−1⁢𝑑t.\displaystyle=\lim_{\epsilon\to 0^{+}}\int_{\epsilon}^{1}\frac{1}{\sqrt{e^{t}-% 1}}dt+\lim_{L\to\infty}\int_{1}^{L}\frac{1}{\sqrt{e^{t}-1}}dt\,.

Para calcular a primitiva, seja u=et−1u=\sqrt{e^{t}-1}, d⁢u=et2⁢et−1⁢d⁢tdu=\frac{e^{t}}{2\sqrt{e^{t}-1}}dt, i.é. d⁢t=2⁢uu2+1⁢d⁢udt=\frac{2u}{u^{2}+1}du, e

∫1et−1⁢𝑑t=2⁢∫d⁢uu2+1\displaystyle\int\frac{1}{\sqrt{e^{t}-1}}dt=2\int\frac{du}{u^{2}+1} =2⁢arctan⁡(u)+C\displaystyle=2\arctan(u)+C
=2⁢arctan⁡et−1+C\displaystyle=2\arctan\sqrt{e^{t}-1}+C

Logo,

limϵ→0+∫ϵ11et−1⁢𝑑t=2⁢limϵ→0+arctan⁡et−1|ϵ1=2⁢arctan⁡e−1\lim_{\epsilon\to 0^{+}}\int_{\epsilon}^{1}\frac{1}{\sqrt{e^{t}-1}}dt=2\lim_{% \epsilon\to 0^{+}}\arctan\sqrt{e^{t}-1}\big{|}_{\epsilon}^{1}=2\arctan\sqrt{e-1}
limL→∞∫1L1et−1⁢𝑑t=2⁢limL→∞arctan⁡et−1|1L=π−2⁢arctan⁡e−1\lim_{L\to\infty}\int_{1}^{L}\frac{1}{\sqrt{e^{t}-1}}dt=2\lim_{L\to\infty}% \arctan\sqrt{e^{t}-1}\big{|}_{1}^{L}=\pi-2\arctan\sqrt{e-1}

Como esses dois limites existem, ∫0∞d⁢tet−1\int_{0}^{\infty}\frac{dt}{\sqrt{e^{t}-1}} converge, e o seu valor é π\pi.