A solução das equações diferenciais parciais, como a equação de Laplace, em domínios finitos e semi-infinitos é um campo central da matemática aplicada, com inúmeras aplicações na engenharia e nas ciências físicas. Neste capítulo, exploramos a resolução de problemas clássicos envolvendo a equação de Laplace e seus análogos, abordando a importância das condições de contorno e as técnicas matemáticas necessárias para resolver tais equações.

Consideremos inicialmente um problema típico em que precisamos resolver a equação de Laplace sobre uma faixa semi-infinita. O domínio do problema é limitado por 0<x<0 < x < \infty e 0<y<a0 < y < a, e a equação que descreve o sistema é dada por:

2ux2+2uy2β2ux=2,0<x<,0<y<a\frac{\partial^2 u}{\partial x^2} + \frac{\partial^2 u}{\partial y^2} - \beta^2 \frac{\partial u}{\partial x} = 2, \quad 0 < x < \infty, 0 < y < a

com as condições de contorno de Dirichlet:

u(0,y)=c0,limxu(x,y)<,0<y<au(0, y) = c_0, \quad \lim_{x \to \infty} |u(x, y)| < \infty, \quad 0 < y < a
u(x,0)=u(x,a)=0,0<x<u(x, 0) = u(x, a) = 0, \quad 0 < x < \infty

Para resolver este problema, começamos com uma suposição de solução separável. Propomos uma solução da forma:

u(x,y)=n=1Xn(x)sin(kny)u(x, y) = \sum_{n=1}^{\infty} X_n(x) \sin(k_n y)

onde kn=nπak_n = \frac{n\pi}{a} é um número de onda. A escolha dessa forma é motivada pela condição de contorno u(x,0)=u(x,a)=0u(x, 0) = u(x, a) = 0, que é automaticamente satisfeita pela função seno. Substituindo essa solução na equação original, obtemos a equação para Xn(x)X_n(x):

Xn(x)2Xn(x)(kn2+β2)Xn(x)=0X_n''(x) - 2 X_n'(x) - (k_n^2 + \beta^2) X_n(x) = 0

A solução geral para esta equação é dada por:

Xn(x)=Anexp(kn2+β2x)X_n(x) = A_n \exp\left( \sqrt{k_n^2 + \beta^2} x \right)