27.10.2014 Views

FCUP Dep. Matemática Pura Geometria das Equaç˜oes Diferenciais

FCUP Dep. Matemática Pura Geometria das Equaç˜oes Diferenciais

FCUP Dep. Matemática Pura Geometria das Equaç˜oes Diferenciais

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Capítulo 3<br />

<strong>Geometria</strong> de contacto <strong>das</strong> Equações<br />

<strong>Diferenciais</strong> Parciais (PDE’s) de<br />

Primeira Ordem<br />

3.1 <strong>Geometria</strong> da equação F (x, u, u x ) = 0.<br />

Consideremos uma PDE de primeira ordem:<br />

F (x, u, u x ) = 0 (3.1.1)<br />

onde x = (x 1 , · · · , x n ) ∈ IR n , u ∈ IR e u x = (∇u) T =<br />

( ∂u<br />

∂x 1 , · · · , ∂u<br />

∂x n )<br />

= (u x 1, u x 2, · · · , u x n).<br />

Para interpretar geomètricamente esta equação, consideramos o espaço J 1 (IR n ; IR) dos elementos<br />

de contacto regulares do espaço de configuração IR n+1<br />

x 1···xn u<br />

. Um elemento de contacto<br />

desse espaço é, por definição, um par c = (m, H m ), constituído por um ponto m = (x, u) ∈ IR n+1<br />

e por um hiperplano H m ∈ T m IR n+1 . O ponto m diz-se o suporte de c = (m, H m ). O elemento<br />

de contacto c = (m, H m ) diz-se regular quando o hiperplano H m é não vertical, i.e., quando não<br />

contem<br />

∂<br />

∣ (ver figura 3.1).<br />

m<br />

∂u<br />

Figure 3.1: Elemento de contacto c = (m, H m ) em IR n+1 = IR n+1<br />

x i u .<br />

{ ∣ ∣ }<br />

Como ∂ ∣∣m ∂ ∣∣m ∂<br />

, · · · ,<br />

∂x 1 ∂x<br />

, n ∂u∣ constituem uma base para o espaço tangente T m IR n+1 , onde<br />

m<br />

m = (x, u) ∈ IR n+1 , e como { dx 1∣ ∣ m<br />

, · · · , dx n }<br />

| m<br />

, du| m é a respectiva base dual, o hiperplano Hm<br />

(sendo não vertical) tem por equação:<br />

du| m<br />

= p 1 dx 1∣ ∣ ∣m + · · · + p n dx n | m<br />

= p · dx| m<br />

(3.1.2)<br />

107

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!