Enunciado
Cálculo - Boyce - Equações Diferenciais - Ed: 10º - Capítulo 10.8 - Ex. 14a
14. A - Encontre a solução da equação de Laplace no retângulo , , que satisfaz as condições de contorno
B - Encontre a solução se
Passo 1
Para isso vamos usar o método da separação de variáveis como ele sugeriu. Então
Substituindo na EDP temos
Agora vamos passar tudo com para um lado e o que tem no outro
Essa igualdade vale para todo e para todo , assim precisa ser uma constante. Podemos separar isso em duas equações
Agora vamos ver as condições do problema,
Então temos
Passo 2
Resolver o problema que tem duas condições (de contorno)
Como a função é a que possui duas condições de contorno, vamos resolver primeiro o problema em , temos:
Temos a seguinte equação característica:
Vamos ver as soluções caso a caso agora.
Caso 1: . Ou seja, o que está dentro da raiz é positivo. Nesse caso, . As soluções são do tipo:
Agora vamos usar as condições de contorno: . Derivando...
Como a exponencial não pode ser ...
Substituindo esses valores na nossa solução geral, temos
Mas isso não nos ajuda em nada! Essa é a solução trivial, que não nos interessa. Portanto, esse caso, , não nos dá soluções para a EDO.
Caso 2: . Nesse caso, . As soluções são do tipo:
Agora vamos usar as condições de contorno:
Então, .
Mas como não temos nenhuma informação para , não podemos determina-lo. A solução aqui é:
Caso 3: . Ou seja, o que está dentro da raiz é negativo. Nesse caso, . As soluções são do tipo:
Substituindo
Agora vamos usar as condições de contorno:. Derivando...
Como , Isso nos dá
Agora vamos com calma! Se tivermos , a solução é a trivial , que não nos interessa. Então, para essa igualdade ai em cima ser verdadeira, precisamos que o seno seja zero.
O seno se anula em , , ... , múltiplos inteiros de . Logo, podemos dizer que:
As soluções do 3º caso são então do tipo:
Passo 3
Tendo os valores de , resolver a outra EDO
Beleza, agora temos que resolver o problema em , temos:
A equação característica dessa EDO é a seguinte:
Já vimos que , não é? Quando encontramos seu valor no passo anterior. Então, as soluções dessa EDO são do tipo:
Não está errado escrever assim, mas é usual representar a solução dessa EDO (que é a combinação de exponenciais) dessa forma:
Então, as soluções da EDO em são:
Aplicando a condição :
Chegamos então a:
Então, podemos escrever o seguinte:
Passo 4
Escrever como série e achar os coeficientes da série
Como as combinações lineares de também são soluções do problema, temos que:
Agora vamos usar a condição que faltou:.
Repare que o coeficiente dos termos dessa série é tudo o que está no colchete! O que depende apenas de (não de ). Como essa é uma Série de Fourier de cossenos, fazendo uma extensão ímpar de , podemos dizer que:
Repare que o período da extensão é , não . Por isso apareceram esses ’s na integral, tome cuidado. O veio do denominador do seno.
Dessa forma, encontramos os coeficientes da série e substituímos em
Resposta
Onde