Ir ao conteúdo principal

Cálculo Integral MAT0321 - 2026/1

Lista de Exercícios Lista 02 – Integração em \(\R^n\)

1.

Seja \(f\colon[0,1]\times[0,1]\to\R\) dada por
\begin{equation*} f(x,y)= \begin{cases} 0,&\text{se }0\leq x<\frac{1}{2},\\ 1,&\text{se }\frac{1}{2}\leq x\leq 1. \end{cases} \end{equation*}
Mostre que \(f\) é integrável e que \(\displaystyle{\int_{[0,1]\times[0,1]}f=\frac{1}{2}}\text{.}\)

2.

Seja \(f\colon[0,1]\times[0,1]\to\R\) dada por
\begin{equation*} f(x,y)= \begin{cases} 0,&\text{se }x\text{ é irracional},\\ 0,&\text{se }x\text{ é racional e }y\text{ é irracional},\\ 1/q,&\text{se }x\text{ é racional e }y=p/q\text{ na forma irredutível.} \end{cases} \end{equation*}
Mostre que \(f\) é integrável e que \(\displaystyle{\int_{[0,1]\times[0,1]}f=0}\text{.}\)

3.

Mostre que um conjunto ilimitado não pode ter conteúdo nulo.

4.

Dê um exemplo de conjunto fechado de medida nula que não tem conteúdo nulo.

5.

Mostre que se \(A\) é um conjunto de conteúdo nulo então seu bordo também tem conteúdo nulo.

6.

Mostre que se \(f\) e \(g\) são limitadas e integráveis sobre um conjunto limitado \(A\subset\R^n\) então \(fg\) também o é.

7.

Mostre que:
  1. se \(C\) tem conteúdo nulo então \(C\) é limitado por um retângulo fechado \(A\text{,}\) \(C\) é \(J-\)mensurável e \(\displaystyle\int_A\chi_C=0\text{;}\)
  2. se \(C\) é limitado, tem medida nula e \(\displaystyle\int_A\chi_C\) existe então \(\displaystyle\int_A\chi_C=0\text{.}\)
Dica.
Determine \(L(f,P)\) para uma partição \(P\) qualquer de \(A\) e use que um retângulo não pode ter conteúdo nulo.

8.

Dê um exemplo de conjunto limitado \(C\) tal que \(\displaystyle\int_A\chi_C\) não existe.

9.

Mostre que se \(f\colon[a,b]\to\R\) é crescente, então \(f\) é integrável.

10.

Sejam \(A\) um conjunto \(J-\)mensurável e \(\epsilon >0\text{.}\) Mostre que existe um compacto \(C\subset A\text{,}\) \(J-\)mensurável, tal que \(\displaystyle\int_{A\setminus C}1<\epsilon\text{.}\)

11.

Seja \(f\colon[a,b]\times[a,b]\to\R\) contínua. Mostre que
\begin{equation*} \int_a^b\left(\int_a^y f(x,y)\,dx\right)\,dy = \int_a^b\left(\int_x^b f(x,y)\,dy\right)\,dx. \end{equation*}

12.

Use o teorema de Fubini para dar um prova simples do Teorema de Schwarz, ou seja, \(\dfrac{\partial^2 f}{\partial x\partial y} = \dfrac{\partial^2 f}{\partial y\partial x}\text{,}\) se \(f\) é uma função de classe \(\mathscr{C}^2\text{.}\)

13.

Deduza uma fórmula para o cálculo do volume de um sólido em \(\R^3\) obtido pela rotação de uma região \(J-\)mensurável no plano \(yz\) ao redor do eixo \(Oz\) (suponha que a região em questão não intercepta o eixo \(Oz\)).

14.

Seja \(f\colon[a,b]\times[c,d]\to\R\) contínua com \(\dfrac{\partial f}{\partial y}\) também contínua e defina \(F\colon[c,d]\to\R\) por \(F(y)=\displaystyle\int_a^b f(x,y)\,dx\text{.}\) Mostre que \(F'(y)=\displaystyle\int_a^b\frac{\partial f}{\partial y}(x,y)\,dx\text{.}\)
Dica.
Escreva \(F(y)\) como uma integral iterada.
A hipótese sobre a continuidade de \(\dfrac{\partial f}{\partial y}\) contínua é realmente necessária?

15.

Sejam \(A\) e \(B\) conjuntos \(J-\)mensuráveis contidos num paralelepípedo \(R\times [a,b]\subset\R^3\text{.}\) Defina \(A_c=\big\{(x,y)\in R:(x,y,c)\in A\big\}\) e \(B_c\) de modo análogo. Suponha que \(A_c\) e \(B_c\) sejam, para cada \(c\in[a,b]\text{,}\) conjuntos \(J-\)mensuráveis em \(\R^2\) de mesma área. Mostre que \(A\) e \(B\) têm o mesmo volume.

16.

Seja \(f_n\colon\R\to\R\) dada por
\begin{equation*} f_n(x)= \begin{cases} \frac{e^{-1/x}}{x^n},&\text{se }x>0,\\ \hfill 0,&\mbox{se }x\leq 0. \end{cases} \end{equation*}
  1. Mostre que \(f_n\) é contínua em \(x_0=0\text{.}\)
    Dica.
    Mostre que \(a<e^a\) para todo \(a\in\R\) e depois defina \(a=\frac{t}{2n}\) para mostrar que \(\frac{t^n}{e^t}<\frac{(2n)^n}{e^{t/2}}\text{.}\) Faça então \(t=\frac{1}{x}\) e \(x\to 0^+\text{.}\)
  2. Mostre que \(f_n\) é diferenciável em \(x=0\text{.}\)
  3. Mostre que \(f_n'(x)=f_{n+2}(x)-nf_{n+1}(x)\) para todo \(x\in\R\text{.}\)
  4. Conclua que \(f_n\) é de classe \(\mathscr{C}^\infty\text{.}\) Ela é analítica real?
  5. Esboce o gráfico de \(g(x)=f_0(x)f_0(1-x)\text{.}\)
  6. Seja \(A=[a_1,b_1]\times\ldots\times[a_n,b_n]\) um retângulo em \(\R^n\text{.}\) Construa uma função, de classe \(\mathscr{C}^\infty\text{,}\) \(\phi\colon\R^n\to\R\) tal que \(\phi(x)>0\) para \(x\in\mathring{A}\) e \(\phi(x)=0\text{,}\) em caso contrário.

17.

Mostre que a coleção de funções dadas por \(\phi_{2m+1}(x)=f(x-m\pi)\text{,}\) se \(m\geq 0\text{,}\) e \(\phi_{2m}(x)=f(x+m\pi)\text{,}\) se \(m\geq 1\text{,}\) onde
\begin{equation*} f(x)= \begin{cases} \frac{1+\cos(x)}{2},&\text{se }-\pi\leq x\leq\pi,\\ \hfill 0,&\text{em caso contrário}. \end{cases} \end{equation*}
são uma partição da unidade.
Determine o suporte de cada \(\phi_i\) e mostre que cada \(x\in\R\) tem uma vizinhança que intercepta no máximo três desses suportes.

18.

Sejam \(S\) um subconjunto arbitrário de \(\R^n\) e \(x_0\in S\text{.}\) Dizemos que uma função \(f\colon S\to\R\) é de classe \(\mathscr{C}^r\) em \(x_0\) se existe um aberto \(U\text{,}\) contendo \(x_0\text{,}\) e uma função \(g\colon U\to\R\text{,}\) de classe \(\mathscr{C}^r\text{,}\) tal que \(g(x)=f(x)\) para todo \(x\in U\cap S\text{.}\)
Mostre nesse caso que se \(\phi\colon\R^n\to\R\) é de classe \(\mathscr{C}^r\) e cujo suporte está contido em \(U\) então
\begin{equation*} h(x)= \begin{cases} \phi(x)g(x),&\text{se }x\in U\\ \hfill 0,&\text{se }x\not\in\supp\phi. \end{cases} \end{equation*}
é uma função bem definida e de classe \(\mathscr{C}^r\) em \(\R^n\text{.}\)

19.

Mostre que se \(f\colon S\to\R\) é de classe \(\mathscr{C}^r\) em cada ponto \(x_0\in S\subset\R^n\text{,}\) então \(f\) pode ser estendida a uma função \(h\colon A\to\R\text{,}\) onde \(A\) é um aberto de \(\R^n\) contendo \(S\text{.}\)
Dica.
Determine uma cobertura apropriada para \(S\text{,}\) defina \(A\) como sua reunião e então tome uma partição da unidade subordinada a esta cobertura.

20.

Seja \(S\) a porção do primeiro quadrante de \(\R^2\) limitada pelas hipérboles \(xy=1\) e \(xy=2\text{,}\) além das retas \(y=x\) e \(y=4x\text{.}\) Calcule \(\displaystyle\int_S x^2y^3\,dx\,dy\text{.}\)
Dica.
Considere \(x=u/v\) e \(y=uv\text{.}\)

21.

Seja \(S\) o tetraedro de vértices \((0,0,0), (1,2,3), (0,1,2)\) e \((-1,1,1)\text{.}\) Calcule \(\displaystyle\int_S x+2y-z\,dx\,dy\,dz\text{.}\)
Dica.
Considere uma mudança que “endireita” o tetraedro.

22.

Defina \(f\colon]0,\infty[\times]0,2\pi[\to\R^2\) por \(f(r,\theta)=(r\cos\theta,r\sin\theta)\text{.}\)
  1. Mostre que \(f\) é injetora, calcule \(f'(r,\theta)\) e mostre que \(\det f'(r,\theta)\neq 0\) para todo \((r,\theta)\text{.}\) Determine o conjunto \(f\big(]0,\infty[\times]0,2\pi[\big)\text{.}\)
  2. Explicite a expressão de \(f^{-1}(x,y)\text{.}\)
  3. Seja \(C\subset\R^2\) a região delimitada por círculos de raios \(r_1\) e \(r_2\text{,}\) \(0<r_1<r_2\) e pela retas que passam pela origem que fazem ângulo \(\theta_1\) e \(\theta_2\) com o eixo dos \(x\text{,}\) respectivamente. Se \(h\colon C\to\R\) é uma função integrável tal que \(h(x,y)=g\big(r(x,y),\theta(x,y)\big)\text{,}\) mostre que
    \begin{equation*} \int_C h=\int_{r_1}^{r_2}\left(\int_{\theta_1}^{\theta_2} g(r,\theta)r\,d\theta\right)\,dr. \end{equation*}
    Mostre também que se \(B_r=\big\{(x,y)\in\R^2:x^2+y^2\leq r\big\}\) então
    \begin{equation*} \int_{B_r} h=\int_0^r\left(\int_0^{2\pi} rg(r,\theta)\,d\theta\right)\,dr. \end{equation*}
  4. Se \(C_r=[-r,r]\times[-r,r]\text{,}\) mostre que
    \begin{equation*} \int_{B_r} e^{-x^2-y^2}\,dx\,dy = \pi(1-e^{-r^2})\quad\text{e}\quad \int_{C_r} e^{-x^2-y^2}\,dx\,dy = \left(\int_{-r}^r e^{-x^2}\,dx\right)^2. \end{equation*}
  5. Prove também que
    \begin{equation*} \lim_{r\to\infty}\int_{B_r} e^{-x^2-y^2}\,dx\,dy=\lim_{r\to\infty}\int_{C_r} e^{-x^2-y^2}\,dx\,dy \end{equation*}
    e conclua que \(\displaystyle{\int_{-\infty}^{\infty}e^{-x^2}\,dx=\sqrt{\pi}}\text{.}\)

23.

Sejam \(0<a<b\text{.}\) Considere o círculo no plano \(Oxz\) de raio \(a\) e centro em \((b,0,0)\text{.}\) Ao rotacionar esse círculo em torno do eixo \(Oz\) obtemos uma superfície chamada toro (vide Exercício 16 da Lista 01 - “Recordação”). Se realizamos esse processo com o disco ao invés do círculo obtemos o toro sólido.
Determine o volume do toro sólido.
Dica.
Você pode calcular isto diretamente, mas é bem mais conveniente utilizar as coordenadas cilíndricas do \(\R^3\text{:}\) \(g(r,\theta, z)=(r\cos\theta,r\sin\theta,z)\text{.}\) Determine a região no domínio de \(g\) que tem o toro como imagem.
O resultado obtido é um caso particular do Exercício 13 desta lista.