9-114 Look up the definition of Poisson’s equation in one of your math textbooks or on the Internet. Write Poisson’s equation in standard form. How is Poisson’s equation similar to Laplace’s equation? How do these two equations differ?

Passo 1

O enunciado pede três coisas claras:
  • Escrever a equação de Poisson na sua forma padrão.
  • Dizer em que aspectos Poisson é semelhante à equação de Laplace.
  • Dizer em que aspectos Poisson e Laplace diferem.
Informações que eu vou usar (nenhuma dada pelo enunciado, são conceitos que precisamos): a equação de Poisson envolve a laplaciana de uma função desconhecida e uma função fonte; a equação de Laplace é o caso sem fonte.

Passo 2

Definições de operadores (isso é fundamental para entender as equações).
  • O operador gradiente transforma uma função escalar u(\mathbf{x}) em um vetor que aponta direção de maior variação e tem componentes parciais:
\nabla u = \left(\frac{\partial u}{\partial x_1},\frac{\partial u}{\partial x_2},\ldots\right).
  • O divergente atua em um campo vetorial \mathbf{v} e mede a taxa de “saída” do campo por unidade de volume:
\nabla\cdot\mathbf{v}=\frac{\partial v_1}{\partial x_1}+\frac{\partial v_2}{\partial x_2}+\cdots.
  • A laplaciana é o divergente do gradiente; para uma função escalar u definimos
\Delta u := \nabla\cdot(\nabla u).
Isto significa, em coordenadas cartesianas:
\text{em 1D: }\Delta u = \frac{d^2u}{dx^2},\qquad \text{em 2D: }\Delta u = \frac{\partial^2 u}{\partial x^2}+\frac{\partial^2 u}{\partial y^2},
\text{em 3D: }\Delta u = \frac{\partial^2 u}{\partial x^2}+\frac{\partial^2 u}{\partial y^2}+\frac{\partial^2 u}{\partial z^2}.
Interpretação física intuitiva: \Delta u(\mathbf{x}) mede quanto o valor de u em \mathbf{x} difere da média de u em pequenas vizinhanças ao redor de \mathbf{x}.

Passo 3

Escrever a equação de Poisson em forma padrão e explicar os símbolos.
A forma padrão mais usada é
\Delta u(\mathbf{x}) = f(\mathbf{x}),\qquad \mathbf{x}\in\Omega,
onde:
  • \Omega é o domínio (região) onde procuramos a solução;
  • u(\mathbf{x}) é a função desconhecida (por exemplo, potencial elétrico, temperatura, etc.);
  • f(\mathbf{x}) é a função fonte (descrição de fontes/folhas de carga/termos de geração), também chamada termo inhomogêneo.
    Observação sobre convenções de sinal: algumas áreas (ex.: certos problemas físicos) usam a forma
-\Delta u = g,
com g=-f. O importante é entender que existe um termo fonte não nulo no lado direito.
Normalmente, além da equação diferencial no interior do domínio, especificam-se condições de contorno, por exemplo:
  • Condição de Dirichlet: u é dado em \partial\Omega.
  • Condição de Neumann: \partial u/\partial n (derivada normal) é dada em \partial\Omega.

Passo 4

Escrever a equação de Laplace e a relação com Poisson.
A equação de Laplace é
\Delta u(\mathbf{x}) = 0,\qquad \mathbf{x}\in\Omega.
É exatamente o caso particular de Poisson quando o termo fonte é zero: f(\mathbf{x})\equiv 0. Por isso toda solução de Laplace é também solução de Poisson com f=0.

Passo 5

Semelhanças entre Poisson e Laplace (vou explicar por que essas semelhanças importam na prática de prova):
  1. Mesmo operador principal: ambas envolvem a laplaciana \Delta. Assim muitas técnicas (separação de variáveis, transformadas integrais, métodos variacionais, bases de funções próprias) funcionam para as duas.
  2. São equações diferenciais lineares de segunda ordem e do tipo elíptico (quando consideramos domínios não degenerados). Linearidade significa que se u_1 resolve uma equação com fonte f_1 e u_2 com f_2, então a u_1 + b u_2 resolve com fonte a f_1 + b f_2.
  3. Problemas bem-posicionados com condições de contorno adequadas têm unicidade da solução (com ressalvas que explico adiante).
  4. Relação via superposição e via função de Green: soluções de Poisson podem ser escritas como combinação de uma solução particular (que incorpora f) mais uma solução harmônica (solução de Laplace) que ajusta as condições de contorno:
u = u_{\text{part}} + u_{\text{harm}},
onde \Delta u_{\text{part}}=f e \Delta u_{\text{harm}}=0.

Passo 6

Diferenças importantes e consequências práticas (essas são as que aparecem em provas e exercícios):
  1. Fonte / homogeneidade:
    • Poisson: \Delta u = f com f\not\equiv 0 em geral — é inhomogênea.
    • Laplace: \Delta u = 0 — homogênea.
      Consequência: soluções de Poisson tipicamente não têm as propriedades especiais dos harmônicos (veja abaixo).
  2. Propriedade média e princípio do máximo:
    • Funções harmônicas ( \Delta u=0) satisfazem a propriedade média: o valor em um ponto é a média dos valores em uma esfera centrada no ponto. Elas também obedecem ao princípio do máximo: o máximo e mínimo de u em um domínio compacto ocorrem na fronteira (a menos que u seja constante).
    • Soluções de Poisson não satisfazem, em geral, a propriedade média; o princípio do máximo pode ser modificado: por exemplo, se f\le 0 em \Omega então soluções de Poisson têm um princípio do máximo fraco, mas a forma precisa depende de f.
  3. Condição de compatibilidade para Neumann:
    • Para Laplace com condições de Neumann puras (derivada normal dada), uma solução existe somente se a integral compatível ocorrer (normalmente que a integral do fluxo seja zero), e a solução é única até uma constante.
    • Para Poisson com Neumann, existe uma condição de compatibilidade mais forte: \int_\Omega f \,dV deve igualar a integral do fluxo na fronteira (essa é a condição de conservação). Em particular, se pedir solução com Neumann homogênea, é necessário \int_\Omega f =0.
  4. Física e interpretação:
    • Poisson conta com fontes ou sumidouros (por exemplo, densidade de carga elétrica: \Delta \varphi = -\rho/\varepsilon).
    • Laplace descreve regiões sem fontes (potencial em vazios sem carga).
  5. Métodos e dificuldade: encontrar uma solução particular para Poisson (ou seja, integrar o efeito de f) é a parte extra que Laplace não tem; Laplace pode ser resolvida usando apenas harmônicos e condições de contorno.

Passo 7

Exemplo concreto e comparativo (1D) — isso ajuda a fixar a diferença na prática:
Considere o intervalo (0,1) com condições de contorno u(0)=u(1)=0.
  • Problema de Laplace:
\frac{d^2u}{dx^2}=0,\quad u(0)=0,\\ u(1)=0.
Integro duas vezes: u'(x)=C_1, u(x)=C_1 x + C_2. Aplicando u(0)=0\Rightarrow C_2=0 e u(1)=0\Rightarrow C_1=0. Logo u\equiv 0.
  • Problema de Poisson (mesmas BCs), com fonte constante -1:
\frac{d^2u}{dx^2} = -1,\quad u(0)=0,\\ u(1)=0.
Integro: u'(x) = -x + C_1. Integro de novo: u(x) = -\frac{x^2}{2} + C_1 x + C_2.
Aplicando u(0)=0\Rightarrow C_2=0. Aplicando u(1)=0\Rightarrow -\frac{1}{2}+C_1=0\Rightarrow C_1=\frac{1}{2}.
Portanto
u(x)= -\frac{x^2}{2} + \frac{x}{2} = \frac{x(1-x)}{2}.
Observação prática: Para as mesmas condições de contorno, Laplace deu solução trivial u\equiv 0, enquanto Poisson gerou uma solução não-nula que reflete a presença da fonte f=-1. Isso é exatamente a diferença conceitual: fontes criam curvatura no campo.

Passo 8

Dicas práticas para provas (resumo rápido, amigo que te anima):
  • Se aparecer \Delta u = \text{alguma função}çã, pensa: Poisson — tem fonte; se for \Delta u = 0, pensa: Laplace — sem fonte.
  • Use a linearidade: procure decompor u = u_{\text{part}} + u_{\text{harm}}.
  • Lembre-se das condições de contorno: Dirichlet dá unicidade direta; Neumann precisa verificar compatibilidade (integral).
  • Propriedades bonitas (média, máximo) valem para Laplace (harmônicos); não confie nelas automaticamente para Poisson.
  • Respira fundo — muitos exercícios pedem só identificar e aplicar uma técnica padrão (por exemplo, resolver 1D ou usar séries de Fourier).

Resposta

\Delta u(\mathbf{x}) = f(\mathbf{x}) \n
Semelhança: ambas usam a laplaciana \Delta, são PDEs lineares de segunda ordem e Laplace é o caso particular de Poisson com f\equiv0. \n
Diferenças: Poisson é inhomogênea (termo fonte f\neq0) enquanto Laplace é homogênea ( f=0); funções harmônicas ( \Delta u=0) satisfazem propriedade média e princípio do máximo, o que não vale em geral para soluções de Poisson; para condições de Neumann, Poisson exige condição de compatibilidade envolvendo \int_\Omega f.

Exercícios relacionados