Esboçar a regiâo de integração e calcular as integrais iteradas seguintes:
Passo 1
O enunciado dá a integral iterada
Pergunta-se: esboçar a região de integração e calcular a integral.
Informações relevantes que o enunciado dá:
Informações relevantes que o enunciado dá:
- O domínio em
é . - Para cada
o varia de (limite inferior) até (limite superior). - As duas curvas são funções não-negativas de
(raízes quadradas), então na região. - É preciso verificar que, para todo
, vale (caso contrário a região estaria vazia em parte do intervalo).
Passo 2
Entendendo as curvas e a região (esboço mental/conceitual):
- A curva
é a metade superior do círculo de raio centrado na origem (domínio real: ); sobre ela é bem definida e tem valores entre (em ) e (em ). - A curva
existe para . Como no nosso intervalo, o radicando é não-negativo para todo ; em está bem definida. Seus valores vão de (em ) até (em ). - A região
é o conjunto dos pontos com e . É uma “faixa” acima da curva e abaixo da semicircunferência .
Verificação de que o limite inferior está sempre abaixo do superior (importante para garantirmos a região): comparar os quadrados (ambos não-negativos):
equivale a
Para
a função
tem valores positivos (por exemplo em
vale
, em
vale
, em
vale
); portanto a desigualdade é verdadeira em todo o intervalo e a região está bem definida para todo
.
Passo 3
Calcular a integral fazendo primeiro a integração interna em
(a fórmula básica):
Para fixo,
Para
Logo a integral dupla reduz-se à integral simples
Passo 4
Separar a integral em duas e usar paridade onde for vantajoso:
- Observe que a função
é ímpar (produto de , ímpar, por , que é par). Em um intervalo simétrico a integral de uma função ímpar é . Portanto
- Assim
A segunda integral não é imediatamente trivial por paridade, então vamos trocá-la de ordem (voltamos ao ponto geométrico) — isso simplifica porque integraremos
primeiro sobre intervalos cujos extremos dão expressões quadráticas que se simplificam.
Passo 5
Trocar a ordem de integração: descrição detalhada dos limites em função de
.
Como
é não-negativo (raízes quadradas), o conjunto de valores de
que aparecem na região vai de
até o máximo da curva superior sobre
, que é
. Logo
.
Para um
fixo, as restrições sobre
vêm de:
(lembrando que a raiz cúbica é crescente, então a inequação mantém o sentido) e
Além disso temos a restrição original
. Agora precisamos combinar essas condições e ver para cada
qual é o intervalo em
. Há transições em
onde os limites ativos mudam; são os valores que tornam iguais os candidatos a limites:
- Quando
ocorre para , ou seja → . - Quando
ocorre para , isto é → .
Analisando os três intervalos em
que aparecem (
,
,
) obtemos os seguintes limites em
:
- Para
:
-
está entre e , e . Como também está restrito a , o intervalo em é
- Para
:
- Neste caso
(fica abaixo do intervalo admissível de ), enquanto . Então a condição dominante é apenas .
- Para
:
- Aqui
, e continua menor que , então a condição é a que interessa. Assim
Portanto ao trocar a ordem a integral
fica composta de três integrais (uma para cada faixa de
).
Passo 6
Escrever a integral com a ordem trocada e calcular a integral em
explicitamente:
Calcule as integrais internas em
usando
:
- Primeiro bloco:
- Segundo bloco:
- Terceiro bloco:
Os dois últimos blocos dão zero porque os intervalos em
são simétricos em torno de zero e a função integrada é
(ímpar).
Assim sobra apenas o primeiro bloco:
A primeira integral é imediata:
Logo
Passo 7
Avaliação final: observação sobre o termo restante e aproximação numérica
A integral
pode ser exprimida em termos de funções beta/hipergeométricas (é uma integral elíptica/tipo Beta quando feita por partes), mas para uma resposta numérica prática (útil para prova) podemos avaliá‑la numericamente com boa precisão. Fazendo uma aproximação numérica (por exemplo Regra de Simpson com subdivisões suficientes) obtemos
Portanto
Com uma discretização um pouco mais refinada a aproximação estabiliza para
Interpretação rápida: as duas integrais internas simétricas que surgem ao trocar a ordem cancelam, sobrando somente a porção onde o limite inferior em
é
; essa porção dá a expressão final mostrada e o valor numérico acima.