Math ClubMath Club
v1 · padrão canônico

Lição 29 — Classificação Canônica das EDPs de 2ª Ordem

Classificação completa de EDPs de 2ª ordem com coeficientes variáveis, formas canônicas elíptica/parabólica/hiperbólica, mudança de variáveis para forma canônica e extensão a sistemas.

Used in: Cálculo 3 — Unidade 3 · USP MAT0216 · ITA MA-013

Auxx+2Buxy+Cuyy+=0;Δ=B2AC{<0  elıˊp.uξξ+uηη==0  parab.uξξ=>0  hip.uξξuηη=Au_{xx}+2Bu_{xy}+Cu_{yy}+\cdots=0;\quad\Delta=B^2-AC\begin{cases}<0\;\text{elíp.}\to u_{\xi\xi}+u_{\eta\eta}=\cdots\\=0\;\text{parab.}\to u_{\xi\xi}=\cdots\\>0\;\text{hip.}\to u_{\xi\xi}-u_{\eta\eta}=\cdots\end{cases}

Toda EDP de 2ª ordem com dois graus de liberdade é classificada pelo discriminante Δ=B2AC\Delta = B^2-AC do símbolo principal. A mudança de variáveis para a forma canônica simplifica a análise e sugere o método de resolução.

Choose your door

Rigorous notation, full derivation, hypotheses

Classificação e redução à forma canônica

EDP de 2ª ordem em 2 variáveis

Auxx+2Buxy+Cuyy+Dux+Euy+Fu=GAu_{xx}+2Bu_{xy}+Cu_{yy}+Du_x+Eu_y+Fu = G

Símbolo principal: p(x,y;ξ,η)=Aξ2+2Bξη+Cη2p(x,y;\xi,\eta) = A\xi^2+2B\xi\eta+C\eta^2.

Discriminante: Δ=B2AC\Delta = B^2-AC.

Redução à forma canônica

A mudança ξ=ϕ(x,y)\xi = \phi(x,y), η=ψ(x,y)\eta = \psi(x,y) transforma a equação. O novo coeficiente de uξξu_{\xi\xi} é Aϕx2+2Bϕxϕy+Cϕy2A\phi_x^2+2B\phi_x\phi_y+C\phi_y^2.

As curvas características satisfazem: A(dy)22B(dx)(dy)+C(dx)2=0A(dy)^2-2B(dx)(dy)+C(dx)^2 = 0:

dydx=B±B2ACA\frac{dy}{dx} = \frac{B\pm\sqrt{B^2-AC}}{A}

Hiperbólica (Δ>0\Delta>0): duas famílias de características reais ϕ(x,y)=c1\phi(x,y) = c_1, ψ(x,y)=c2\psi(x,y) = c_2; forma canônica uξη=h(ξ,η,u,uξ,uη)u_{\xi\eta} = h(\xi,\eta,u,u_\xi,u_\eta) (ou ussutt=hu_{ss}-u_{tt}=h com s=ξ+ηs=\xi+\eta, t=ξηt=\xi-\eta).

Parabólica (Δ=0\Delta=0): uma família de características; forma canônica uηη=hu_{\eta\eta} = h.

Elíptica (Δ<0\Delta<0): características complexas; forma canônica uξξ+uηη=hu_{\xi\xi}+u_{\eta\eta} = h.

Casos especiais importantes

EDPA,B,CA,B,CΔ\DeltaTipo
uxx+uyy=0u_{xx}+u_{yy}=01,0,11,0,11-1Elíptica
ut=κuxxu_t=\kappa u_{xx}κ,0,0\kappa,0,000Parabólica
utt=c2uxxu_{tt}=c^2u_{xx}c2,0,1-c^2,0,1c2c^2Hiperbólica
uxx+2uxy+uyy=0u_{xx}+2u_{xy}+u_{yy}=01,1,11,1,100Parabólica
uxx2uxy3uyy=0u_{xx}-2u_{xy}-3u_{yy}=01,1,31,-1,-31+3=41+3=4Hiperbólica

Sistemas hiperbólicos

ut+A(x,t)ux=f\mathbf{u}_t + A(x,t)\mathbf{u}_x = \mathbf{f}: hiperbólico se AA tem nn autovalores reais distintos. Forma canônica: diagonalizar A=PDP1A = PDP^{-1}, v=P1u\mathbf{v} = P^{-1}\mathbf{u}: vt+Dvx=f~\mathbf{v}_t + D\mathbf{v}_x = \tilde{\mathbf{f}} (nn equações desacopladas de advecção).

Exemplos resolvidos


Exercícios

Bloco A — Classificação

Bloco B — Forma canônica e solução

Bloco C — Nível ITA/USP

To continue

  • Strauss, W.A. — Partial Differential Equations, §1.6 — Wiley, 2ª ed.
  • Evans, L.C. — Partial Differential Equations, §1.3 — AMS, 2ª ed.
  • Kreyszig, E. — Advanced Engineering Mathematics, §21.4 — Wiley, 10ª ed.
  • Iório, V. — EDP — Um Curso de Graduação, §2.3 — IMPA, 2ª ed.
  • LeVeque, R.J. — Numerical Methods for Conservation Laws, §2 — Birkhäuser, 2ª ed.

Updated on 2026-05-28 · Author(s): Clube da Matemática

Found an error? Open an issue on GitHub or submit a PR — open source forever.