docente: nicolas van goethem [email protected], sala 6.2.20.nvgoethem/teorica_mmc.pdf · mecanica...

133
Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van Goethem [email protected], Sala 6.2.20. December 13, 2016

Upload: others

Post on 29-Oct-2019

2 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricas

Mecanica do continuoAulas teoricas

Docente: Nicolas Van Goethem

[email protected],Sala 6.2.20.

December 13, 2016

Page 2: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasApresentacao da disciplina

Conteudo das aulas teoricas

Conteudo das aulas teoricas

I Aula 1: Conceitos de base. Tensores na M. do C. (27/9)

I Aula 2: Cinematica diferencial com o tempo do gradiente dedeformacao (4/10)

I Aula 3: Taxa de deformacao, diferencial com o tempo de umconjunto (11/10)

I Aula 4: Conservacao da massa, Centro de massa, Leis dadinamica e Forcas (14/10)

I Aulas 5: Tensor das tensoes, Teorema de Cauchy, Simetria.,Eq.do movimento (18/10)

I Aulas 6: Conservacao das Energias cinetica e total, Eq. Calor(25/10)

I Aula 7: Elasticidade linear, Eq. Lame. Compatibilidade das dedeformacoes (08/11)

Page 3: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasApresentacao da disciplina

Conteudo das aulas teoricas

Conteudo das aulas teoricas

I Aulas 8: Ciclos de Carnot, Entropia, 2a Lei da termodinamica,Clausius-Duhem, Abordagem axiomatica (15/11)

I Aula 9-12: Mecanica dos fluidos. Eq. de Stokes eNavier-Stokes. (22, 29/11, 06, 13/12)

I Aula 13: Calculo das variacoes (complemento) (13/12)

Page 4: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasApresentacao da disciplina

Referencias bibliograficas

Referencias bibliograficas

I R. M.: Temam and A. M. Miranville: Matematical modellingin Continuum mechanics

I M. E. Gurtin: An introduction to continuum mechanics

I G. Duvaut: Mecanique des Milieux Continus

I F. Boyer, P. Fabrie: Mathematical tools for the study of theincompressible Navier-Stokes equations and related models

Page 5: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasApresentacao da disciplina

Avaliacao

Avaliacao

I Exame de teoria (40%)

I Exame de teorica-pratica (20%)

I Grande trablho (30%)

I Pequeno trabalho (10%)

Page 6: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasApresentacao da disciplina

Proposta de temas de trabalho

Proposta de temas de trabalho

Cf. Courant and Hilbert’s book as basic reference (plus yourowns).

I Study of the wave equation: Benedetta, 24/11

I Vector calculus: (div,grad,curl, Gauss, Stokes theorems):Matteo, 17/11

I Calculus of variations: the direct method, Euler-Lagrange,Hamilton, ... 04 e 10/11

Page 7: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Conceitos de base, cinematica

Conceito de Modelo

Conceito de Modelo

Observacao de quantidades fisicas e suas propriedades

⇓ Metodos matematicos ⇓

Modelo matematico

na Fısica

Page 8: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Conceitos de base, cinematica

Conceito de Observador Galileano

Conceito de Observador Galileano

Sistema de referenciaDefinido como um corpo rigido em movimento ao qual e legadouma base orthonormal ei1≤i≤3 e uma origem O. Uma outrabase e′j1≤j≤3

neste mesmo sistema de referencia verifica:e′j(x) = aij(x)ei, onde A = [aij ]ij a uma matriz orthogonal (talvezchamada Q), dita de mudanca de base. Portanto:x = xiei, x

′ = x′je′j , e x′ = A(x− xO) + b. Os acontecimentos sao

rapresentados pelo par (x, t) ou (x′, t), conforme a base escolhida.

Sistema de referencia inercial ou de GalileoDefinido como um sistema de referencia em translacao uniforme.

Conceito de observadorDefinido somo um seres num sistema de referencia, capaz derealizar experiencias e medicoes de quantidades fisicas(temperatura, tensoes, velocidade, etc.), e de comunicalas com umoutro observador.

Page 9: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Conceitos de base, cinematica

Referencial Cartesiano e mudanca de base

Page 10: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Conceitos de base, cinematica

Os tensores na mecanico do continuo-1-

Construccao de uma base de ordem superior♣ ei1≤i≤3 a base Cartesiana fixa, e g

j

1≤j≤3uma base movel

tal que gj(x) = aij(x)ei, onde aij sao os componentes da matriz

de mudanca de base. Temos tambem ei = aji(x)gj(x)

♣ Definimos ei ⊗ ej1≤i,j≤3 como elemento de R3×3 igual a(0, · · · , 1, 0, · · · , 0), ou seja com 8 entradas nulas excepto aentrada ij. Desta forma definimos os 9 elementos da baseCartesiana de ordem 2.♣ Temos entao ei ⊗ ej = aki(x)alj(x)g

k⊗ g

l, e, invertindo a

matriz de mundanca de base, gk⊗ g

l= aki(x)alj(x)ei ⊗ ej . Desta

forma, definimos os 9 elementos da base movel de ordem 2,gk⊗ g

lkl.

♣ Por uma construccao parecida, definimos tambem os elementosda base de ordem 3, ei ⊗ ej ⊗ ek1≤i,j,k≤3 (26 entradas nulasexcepto a ijk egual a 1) e g

m⊗ g

n⊗ g

p1≤m,n,p≤3, e todos os

ordem superiores.

Page 11: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Conceitos de base, cinematica

Os tensores na mecanico do continuo-2-

Definicao de um tensor de ordem k♣ Uma propriedade fisica (ou um campo) e dada por um tensor deordem 0 (um escalar), 1 (um vector: v(1)), 2, 3, 4 ou mais.

Tensor de ordem 2: T (2)Um campo T e um tensor de ordem 2 se for dado por um conjuntode 9 scalares x 7→ Tij(x), 1 ≤ i, j ≤ 3 tais que T = Tij(x)ei ⊗ ej(suma em i e j). O mesmo campo e tambem dado na base movelpor 9 scalares x 7→ T ′ij(x), 1 ≤ i, j ≤ 3 tais que T = T ′kl(x)g

k⊗ g

l(suma em k e l). Portanto, este tensor verifique a seguintepropriedade por mudanca de base: T ′kl = akialjTij

Tensor de ordem k: T (k)Um campo U e rapresentado por um tensor de ordem k se fordado por 3k componentes numa base tensorial de ordem k, do tipogm⊗ · · · ⊗ g

p1≤m,··· ,p≤3 (efetua-se k vezes o produto tensorial

da base de ordem 1). A relacao por mudanca de base e:U ′m···p = ami · · · apjUi···j .

Page 12: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Conceitos de base, cinematica

Operacoes com tensores

Operacoes com tensoresI Suma de P (m) com Q(m) (mesma ordem), componente por

componente: Pijkl··· +Qijkl···.I Produto tensorial de u(1) com v(1)=w(2): wij = uivj .

Propriedade (comutatividade): w′ij = u′iv′j (?).

I Produto tensorial de U(m) com V (n)= W (n+m): tensor deordem n+m.

I Contraccao: traco de U(2)=scalar s = Uijδij = Uii.Propriedade (comutatividade): s = U ′ii = Uii (?).

Tensores especiais

I Identidade (de substituicao): δij = δ′ijI Simbolo de Levi-Civita (de permutacao):

εijk =

1 se a permutaao de ijk for par−1 se for impar0 senao

.

Page 13: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Conceitos de base, cinematica

Conceito de tensores objetivos-1-

Conceito de tensores objetivos-1-

Mudanca de observador

Definido atravez uma mudanca de sistema de referencia. Osacontecimentos sao rapresentados pelo par (x?, t?). Portanto,existe uma matriz orthogonal t 7→ Q(t), um vector t 7→ c(t) e umscalar a tais que x? = Q(t)(x− xO) + c(t) e t? = t− a.♣ Alem disso, existe uma mapa, dita de deformacao, Φ? tal quex? = Φ?

(Φ−1(x, t), t?

), onde X := Φ−1(x, t) e o chamado ponto

material associado a x (em t) na configuracao de referencia (ouinicial) escolhida no primeiro sistema de referencia .

Transformacao objetiva por mudanca de observador

Logo: x?2 − x?1 = Q(t)(x1 − x2). Agora um vector v e ditoobjetivo se se verifica: v? = v(x?) = Q(t)v, ou seja se transformapor mudanca de observador como um tensor.♣ Um tensor de ordem 2 sera objetivo se U? = U(x?)= Q(t)UQT (t). Um escalar e sempre objetivo: α? = α.

Page 14: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Conceitos de base, cinematica

Conceito de tensores objetivos-2-

Conceito de tensores objetivos-2-

Exemplos

I Seja T = u⊗ v, onde u e v sao 2 vectores objetivos. PortantoT ? = u? ⊗ v? = Q(t)u⊗Q(t)v = Q(t)(u⊗ v)QT (t). (?)

I Seja o campo escalar α = α(x, t). Portanto

∂x?i α? = ∂xjα

∂xj∂x?i

, ou seja ∇x?α? = Q(t)∇xα. (?)

I Seja f(x, t) = 0 uma superficie com normal exterior

N(x) := ∇f(x,t)|∇f(x,t)| . Portanto

N?(x?) = ∇f?(x?,t)|∇f?(x?,t)| = Q(t)∇f(x,t)

|Q(t)||∇f(x,t)| = Q(t)N(x). (?)

Page 15: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Conceitos de base, cinematica

Conceito de tensores objetivos-3-

Conceito de tensores objetivos-2-

Contro-exemplos

I Velocidade: x? = Q(t)x+ Q(t)(x− xO) + c

I Acceleracao: x? = Q(t)x+ Q(t)(x− xO) + Q(t)x+ c♣ Nota que x sera objetivo por mudanca inercial deobservador, i.e., onde Q = c = 0: a acceleracao e um vectorobjectivo Galileano (rotacao rigida + translacao uniforme).

I Gradiente de velocidade:∇x? x? = Q(t)∇xQT (t) + Q(t)QT (t) (Nota: ∇?x = QT ).♣ Nota que d

dtQQT = 0 e portanto QQT e antisimetrica.

♣ Logo, a parte simmetrica do gradiente de velocidade,∇Sx? x?, e um tensor objetivo.♣ Outra definicao de objetividade: grandeza cinematica quefaz zero por movimento rigido (i.e., v(x) = b+ Ωx, com Ωmatriz antisimetrica constante e b constante.).

Page 16: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Conceitos de base, cinematica

Componentes e coordenadas polares cilindricas

Componentes e coordenadas polares cilindricas

Rotacao em torno de e3 = gz(A = [aij ] =

cos θ sin θ 0− sin θ cos θ 0

0 0 1

)

Acrescimento de caminhodx = d(rg

r+ zg

z) = drg

r+ dzg

z+

rdgr

+ zdgz

= drgr

+ dzgz

+ rdθgθ

gr

= cos θex + sin θeygθ

= − sin θex + cos θeyx = x3D = rg

r+ zg

z

Velocidade, Acceleracao

x3D = rgr

+ rθgθ

+ zgz

x3D = (r − rθ2)gr

+ 1rddt(r

2θ)gθ

+ zgz

Operador gradiente cilindrico

du = dx · ∇u = u,rdr + u,θdθ + u,zdz

⇒ ∇ = gr∂r +

gθr ∂θ + g

z∂z.

Page 17: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Conceitos de base, cinematica

Div, Curl, ∆

Div,Curl,∆

Trabalho em casa 1Seja o vector v = vrgr + vθgθ + vzvz. Calcular em componentes ecoordenadas cilindricas, com ajuda do operador ∇ cilindricodefinido em cima,

I A divergencia ∇ · v de v

I O rotor ∇× v de v

I O Laplaciano ∆u := ∇ · ∇u do escalar u.

Resposta partial

Calcula-se formalmente o produto interno:(gr∂r +

gθr ∂θ + g

z∂z) · (vrgr + vθgθ + vzvz), tendo em conta que

(por exemplo)gθr ∂θ · vrgr =

gθr · vr∂θgr = vr/r. Portanto:

∇ · v = 1/r∂r(rvr) + 1/r∂θvθ + ∂zvz. Tomando v = ∇u, logo∆u = 1/r∂r(r∂r) + 1/r2∂2

θvθ + ∂2zvz.

Page 18: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Conceitos de base, cinematica

Movimento e sua observacao

Movimento e sua observacaoCinematicaEstudo do movimento de um sistema relativamente a umobservador, chamado sistema de referencia. Precisamos de:

I um parametro continuo t chamado tempo

I um sistema de coordenadas fixo: B0 = 0, e1, e2, e3.♣ No tempo t ⊂ I ⊂ R, o sistema e rapresentado pelo dominioΩt ∈ R3. O movimento e definido por uma familia de mapas dedeformacao dependentes do tempo:X ∈ Ωt0 7→ x = Φ(X, t; t0) ∈ Ωt: aplica a posicao X em t0 nanova posicao x = Φ(X, t) em t. Temos:

I Φ(·, t0; t0) = Id

I Φ(·, t′; t) Φ(·, t; t0) = Φ(·, t′; t0)

I (t,X) 7→ Φ(·, t; t0) e pelo menos C1

I Φ bijetiva, regular, Φ−1 diferenciavel ⇒ det∇XΦ 6= 0.

Page 19: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Conceitos de base, cinematica

O movimento de um ponto material

O movimento de um ponto material

Posicao de um ponto material

x =−−→OM(t) = Φ(X, t; t0) = Φ(X, t) (t0 e fixado).

X = Φ−1(x, t)

Deslocamento de um ponto material

u = u(X, t) = Φ(X, t)−X.

Velocidade de um ponto material

x = ddt

−−→OM(t) = v(x, t) = ∂

∂tΦ(X, t).

Acceleracao de um ponto material

x = d2

dt2−−→OM(t) = ∂

∂tv(x, t) = ∂2

∂t2Φ(X, t) .

Lemma: Velocidade e acceleracao sao independentes daescolha de t0 (origem do tempo). (homework)

Page 20: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Conceitos de base, cinematica

Representacao do movimento

Representacao do movimento

♣ Nota: Tomamos t0 = 0 e portanto Ωt0 = Ω0.

Representacao Lagrangiana

x = Φ(X, t; 0) = Φ(X, t) (t0 = 0).♣ E uma representacao pelas trajetorias. Em funccao do pontomaterial na sua posicao de referencia, i.e. na origem.

Representacao Eulerianadxdt = v(x, t) = ∂tΦ

(Φ−1(x, t), t

)x(0) = X

.

♣ E uma representacao pelo campo de velocidades. Em funccaodo ponto material na sua posicao corrente, i.e. no tempo t.

Page 21: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Conceitos de base, cinematica

Derivadas eulerianas e lagrangiana

Derivadas eulerianas e lagrangianaSeja um ponto material M que estava em X em t0 e em x em t.Seja fM (t) uma funccao (tensorial de ordem k).♣ Rapresentacao Lagrangiana: fM (t) = fL(X, t)♣ Rapresentacao Euleriana: fM (t) = fE(x, t),onde x = Φ(X, t). Portanto fL(X, t) = fE(Φ(X, t), t).

Derivadas Euleriana de fM : ∂fE

∂xie ∂fE

∂t

Derivadas Lagrangiana de fM : ∂fL

∂Xie ∂fL

∂t.

Derivada material DDtfM := ∂tf

L = ddtf

L|X fixo =

ddtf

E Φ|X fixo = ∂tfE(t) + v(x, t) · ∇fE(x, t).

Representacao Euleriana da acceleracao

Temos fM = vM = velocidade do ponto material M . PortantovM = vE(x, t) = v(x, t) ou vM = vL(X, t).

Lemma: aM = DDtvM(t) = ∂tv

L = ∂tv(x, t) + v · ∇v(x, t). (?)

Page 22: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Conceitos de base, cinematica

Velocidade de um corpo rigido

Velocidade de um corpo rigido

Movimento rigido

Temos Ωt, um corpo rigido se t 7→ d(x, x′) = cste para cadax, x′ ∈ Ωt. Movimento e rigido se d(X,X ′) = d(x, x′), ondex = Φ(X, t) e x′ = Φ(X ′, t). Portanto Φ e uma isometria de Ωt0 aΩt, ou seja, Φ e uma transformacao afim, i.e., uma roto-translacao:temos entao x = QX + c, onde c ∈ R3 e QT = Q−1.

Lemma 1:A velocidade v(x, t) corresponde ao movimento de um corporigido, se o somente se, (x− x′) · (v(x, t)− v(x′, t)) = 0 para cadax, x′ ∈ Ωt e cada t ∈ I. (?)

Lemma 2:A condicao (x− x′) · (v(x, t)− v(x′, t)) = 0 para cada x, x′ ∈ Ωt

no tempo t se, e somente se, existe b(t) ∈ R3 e A(t) ∈ R3×3

antisimetrica t.q. v(x, t) = A(t)x(t) + b(t), onde (existe ω t.q.)Aij = −εijkωk(t), i.e., v(x, t) = ω(t)× x(t) + b(t). (?)

Page 23: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Leis de conservacao

Determinante

Expressao indicial do determinante

Seja uma matriz M ∈M3×3. TemosdetM = (M2? ×M3?) ·M1? = M1iεijkM2jM3k. Invertindo duaslinhas, muda o signal, portanto εpqr detM = εijkMpiMqjMrk.Invertindo linhas e colunas e multiplicando por εpqr,logo εpqrεpqr detM = εpqrεijkMipMjqMkr

⇒ detM = 16εijkεpqrMipMjqMkr

♣ Toma M = F := ∇XΦ = ∇Xx (i.e., Mij = ∂Φi∂Xj

). Logo

∂tF = ∂t∇Φ = ∇Xv = ∇xv∇Xx = ∇xvF (⇔ Curl F = 0).

Lema: diferencial do determinante do gradiente de deformacao

∂t (det∇Φ) = 3× 16εijkεpqr(∂t∇Φip)∇Φjq∇Φkr =

12εijk(∇xv)ilεpqrFlpFjqFkr = 1

2εijk(∇xv)ilεljk detF =12(2δil)(∇xv)il detF = (∇xv)ii detF = div v detF .

Page 24: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Leis de conservacao

O tensor das deformacoes -1-

O tensor das deformacoes -1-

Deformacao

Seja ~dX(M) = (dX1, dX2, dX3) e ~dx(m) = (dx1, dx2, dx3).♣ A deformacao em m = Φ(M) e no tempo t e:def = ~dx(m) · ~dx′(m)− ~dX(M) · ~dX ′(M) =(F TF − I) · dX ⊗ dX ′(M).

Taxa de deformacao

Temosddtdef = d

dt

(~dx(m) · ~dx′(m)

)= d

dt~dx · ~dx′(m) + ~dx · ddt ~dx′(m).

♣ Temos ddtdxi = d

dtFijdXj = ∂vi∂Xj

dXj = ∂vi∂xk

FkjdXj = ∂vi∂xk

dxk.

♣ Logo ddtdef = (∇xv +∇Tx v)(m) · dx⊗ dx′(m)

♣ Tomando dx⊗ dx′(m) = ei ⊗ ej (x(t)) (base Cartesiana),logo,12ddt

(ei · ej (x(t))

)= dij , onde d = 1

2(∇xv +∇Tx v).

Page 25: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Leis de conservacao

O tensor das deformacoes -2-

O tensor das deformacoes -2-

Deformacoes linearizadas: u = uL(X, t) = uE(x, t)

TemosF = ∇XΦ = I+∇Xu =⇒ F TF = (∇Xu+∇TXu+ I+∇Xu∇TXu).♣ Portanto, def = 2εX(u) · dX ⊗ dX ′(P ) +O(|∇u|2), onde

εX(u) := 12(∇Xu+ (∇Xu)T ) = 1

2(∇xuF + F T (∇xu)T ) =ε(u) +O(|∇Xu|2), com

ε(u) := 12(∇xu+ (∇xu)T ) o tensor das deformacoes

linearizadas (d = ε(u)).

♣ ∂XjuL = ∂xku

EFkj = ∂xjuE +O(|∇u|2)⇒ ε(uL) = ε(uE).

Deformacoes infinitesimais: |∇Xu| 1

♣ F ∼ I =⇒ DDtA(x, t) = ∂tA

l(X, t) ∼ ∂tAl(x, t) (|∇XA| 1).

Page 26: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Leis de conservacao

O tensor das deformacoes 3-

O tensor das deformacoes -3-♣ Lembramos a formula

d

dt

(ei · ej (x(t))

)= (∇v +∇T v)

Interpretacao fisica

Temos d11(x, t) = ∂x1v1 = 12ddt‖e1 (x(t)) ‖2 =

122‖e1(t)‖ ddt‖e1(t)‖ = d

dt‖e1(t)‖ : a componente d11 rapresenta avariacao por unidade de tempo do comprimento de uma fibra queestava longo e1 antes da deformacao= traccao (d11 > 0) oucompressao (d11 < 0) em x.♣ d12 = 1

2(∂x1v2 + ∂x2v1) = 12ddt (e1 (x(t)) · e2 (x(t))) =

12‖e1‖‖e2‖ ddt cos〈e1, e2〉 = 1

2ddt cos〈e1, e2〉. Em pequenas

deformacoes, consideramos que a variacao angular e pequena, i.e.,d12 = 1

2ddt cos(π2 − θ) = 1

2ddt sin θ ∼ 1

2ddtθ: d12 rapresenta a metade

da variacao por unidade de tempo do angulo entre duas fibras queestavam longo e1 e e2 antes da deformacao (ou seja, numaconfiguracao de referencia). Nota: cos(π/2− φ) = sinφ ∼ φ/2 emdeformacoes linearizadas.

♣ A mesma interpretacao vale para as restantes componentes de d.

Page 27: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Leis de conservacao

Diferencial de um integral de volume dependente do tempo

Diferencial de um integral de volume dependente do tempo

Objetivo: Calcularddt

(K(t) :=

∫ωt

kM (t)dx

),∀ωt ⊂ Ωt,

onde kM e um campo tensorial de ordem k ≥ 0. Assumimos queΦ ∈ C1(Ω0 × I) e que v ∈ C1(Ωt × I).

Lei de conservacao: forma geral

d

dtK(t) =

∫ωt

B(x, t)dx+

∫∂ωt

s(x, t)dS(x),

onde B e a contribuicao de volume (bulk part) e s a de superficie.

Page 28: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Leis de conservacao

Teorema do transporte de Reynolds

Teorema do transporte de Reynolds

Teorema do transporte de Reynolds

Temos kM (t) = k(x, t), com k ∈ C1(Ωt × I), e ωt ⊂ Ωt. Logo

dK

dt (t) =∫ωt∂tk(x, t)dx+

∫ωt

div (k(x, t)⊗ v(x, t)) dx,

ou seja (com N , a normal unitaria a ∂Ωt),

dK

dt (t) =∫ωt∂tk(x, t)dx+

∫∂ωt

(k ⊗ v)(x, t)N(x, t)dS(x),

DEM.Seja J := detF = det∇Φ. Mudanca de variavel:K(t) :=

∫ωt=Φ(ω0) k(x, t)dx =

∫ω0k(Φ−1(X, t), t)JdX

♣ Pelo lema anterior: ddt(kJ) = J∂tk + J(∇k)v + k∂tJ =

J∂tk+J div (k⊗v)−Jk div v+kJ div v = (∂tk + div (k ⊗ v)) J .

Page 29: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Leis de conservacao

Leis de conservacao da massa-1-

Conservacao da massa

Conservacao da massa (forma global)

m(ωt) =∫ωtρ(x, t)dx = m(ω0) = cste (∀ωt ⊂ Ωt).

Condicao no Jacobiano (J = detF = det∇Φ)

♣ m(ωt) =∫ω0ρ(Φ(X, t), t)JdX =

∫ω0ρ0(X, 0)dX, ∀ωt ⊂ Ωt.

Logo, a forma local: ρJ = ρ0, e ρ = cste

⇒ incompressibilidade ⇔ J = 1.

Pequenas deformacoes

F = ∇XΦ = I +∇Xu♣ 6 detF = εijkεpqr(I +∇Xu)ip(I +∇Xu)jq(I +∇Xu)kr =((∇Xu)ipεiqrεpqr + (∇Xu)jqεpjrεpqr + (∇Xu)krεpqkεpqr + εijkεijk)+O(|∇u|2) = 6((∇Xu)ii + 1) +O(|∇u|2). (Nota: εpqkεpqr = 2δkr)♣ Em deformacoes linearizadas: J = detF ∼ div u+ 1, i.e.:ρ/ρ0 ∼ 1− div u (ρ < ρ0 em traccao ⇒ div u > 0).

Page 30: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Leis de conservacao

Leis de conservacao da massa-2-

Equacao de continuidade

Equacao de continuidade

Consideramos ddtm(ωt) = 0. Logo, para cada (x, t) ∈ Ωt × I temos

∂tρ+ div (vρ) = DρDt + ρdiv v = 0. (?).

♣ Para um fluido: se ρ for constante longo as linhas de flusso, i.e.,DρDt = 0, entao o fluido tem div v = 0.

Densidade de massa de um campo

Seja C(x, t) uma densidade de volume de um campo. Entao

a densidade de massa (ou “especifica”) e c(x, t) := C(x,t)ρ(x,t) e portanto

d

dt

∫ΩtC(x, t)dx = d

dt

∫Ωtc(x, t)ρ(x, t)dx =

∫Ωt

Dc(x,t)Dt ρ(x, t)dx. (?).

♣ E como dizer que a massa dm = ρdx do ponto material naovaria com o movimento do mesmo.

Page 31: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Leis de conservacao

Leis de conservacao da massa-3-

Centros de massas

Centro de massaCentro de massa:

CM(Ωt) := 1

m

∫Ωtx(t)ρ(x, t)dx .

♣ Pelo Lema, ddt

∫Ωtc(x, t)ρ(x, t)dx =

∫Ωt

Dc(x,t)Dt ρ(x, t)dx.

Tomando c(x, t) = x(t),ddt

∫Ωtx(t)ρ(x, t)dx =

∫Ωt

Dx(t)Dt ρ(x, t)dx =

∫Ωtv(x, t)ρ(x, t)dx.

MomentosMomento linear:

P (Ωt) :=∫

Ωtv(x, t)ρ(x, t)dx ,

♣ Momento cinetico: L0(Ωt) :=

∫Ωtx× v(x, t)ρ(x, t)dx .

Page 32: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Leis de conservacao

Derivadas dos momentos

Derivadas dos momentos

Derivadas do centro de massaddtCM(Ωt) = 1

m

∫Ωtv(x, t)ρ(x, t)dx = 1

mP (Ωt) =: CMV(Ωt).

Centros de massa de velocidade e acceleracaoddtCMV(Ωt) = 1

m

∫Ωt

DvDt (x, t)ρ(x, t)dx = CMA(Ωt) :=

:= 1m

∫Ωta(x, t)ρ(x, t)dx.

Derivadas dos momentos= Resultante dinamica (Newton)

ddtP (Ωt) = RD(Ωt) :=

∫Ωta(x, t)ρ(x, t)dx.

d

dtL0(Ωt) :=

∫Ωt

(Dx

Dt× v(x, t) + x× Dv

Dt

)ρ(x, t)dx.

i.e. ddtL0(Ωt) =

∫Ωtx× a(x, t)ρ(x, t)dx.

Page 33: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Leis de conservacao

Forcas

Forcas-1-

Seja dois sistemas S e S ′

♣ Em cada tempo t o sistema S′ atua uma forca no sistema S. Amesma e representada por uma medida vectorial dσt(x).

Os 4 tipos de forcas

I Forca de volume: dσt(x) = f(x, t)dx

I Forca de superficie: dσt(x) = fS(x, t)dS(x)

I Forca de linha: dσt(x) = fL(x, t)dL(x)

I Forca pontual: dσt(x) = fP (x)δx(t)

Lembrete: massa de Dirac: seja ϕ uma funccao continua comsuporte compato, entao 〈δx, ϕ〉 = ϕ(x)

Forcas resultantes

σt(Ωt) :=∫

Ωtdσt(x) =

∫Ωtf(x, t)dx ou

σt(Ωt) :=∫

Ωtdσt(x) =

∫ΣtfS(x, t)dS(x), onde Σt ∪ Ωt 6= ∅, etc.

Page 34: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Leis de conservacao

Leis fundamentais da dinamica

Leis fundamentais da dinamica

Propriedade de aditividade

Seja Ω,Ω1,Ω2 disjuntos mas nao mutuamente separados. EntaoFΩ→Ω1∪Ω2(t) := σΩ

t (Ω1 ∪ Ω2) = σΩt (Ω1) + σΩ

t (Ω2) =FΩ→Ω1(t) + FS→Ω2(t)representa a forca atuada por S sobre Ω1 ∪ Ω2.♣ Tambem: FΩ1∪Ω2→Ω(t) := σΩ1∪Ω2

t (Ω) = σΩ1t (Ω) + σΩ2

t (Ω) =FΩ1→Ω(t) + FΩ2→Ω(t)representa a forca atuada por Ω1 ∪ Ω2 sobre Ω.

Leis fundamentais da dinamicaNum referencial inercial temos:♣ d

dtP (t) = ddt

∫Ωtv(x, t)ρ(x, t)dx = RD(Ωt) =∫

Ωta(x, t)ρ(x, t)dx = dσt(Ωt) =

∫Ωtf(x, t)dx = F→Ωt(t).

♣ ddtL0(Ωt) = d

dt

∫Ωtx× v(x, t)ρ(x, t)dx =∫

Ωtx× a(x, t)ρ(x, t)dx =

∫Ωtx× dσt(x) =

∫Ωtx× f(x, t)dx.

Page 35: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Leis de conservacao

Terceira lei de Newton

Terceira lei de NewtonPrincipio de Accao-Reacao

Seja Ω1,Ω2 disjuntos mas nao mutuamente separados. EntaoFΩ1→Ω2(t) = −FΩ2→Ω1(t).♣ DEM. Seja Ω = Ω1 ∪ Ω2. PortantoF→Ω2(t) = FΩ1→Ω2(t) + FΩc→Ω2(t) eF→Ω1(t) = FΩ2→Ω1(t) + FΩc→Ω1(t).Pela aditividade e a 2a lei de Newton, RD(Ω) = F→Ω(t) =FΩc→Ω(t) = FΩc→Ω1∪Ω2(t) = FΩc→Ω1(t) + FΩc→Ω2(t) =F→Ω2(t)− FΩ1→Ω2(t) + F→Ω1(t)− FΩ2→Ω1(t) = RD(Ω1 ∪ Ω2)−FΩ1→Ω2(t)− FΩ2→Ω1(t)⇒ FΩ1→Ω2(t) = −FΩ2→Ω1(t).

Movimento do centro de massaO movimento do centro de massa de um corpo e o mesmo de o deuma massa pontual, cuja massa e a massa total do corpo, e sobrea qual atua uma forca igual a forca resultante (i.e., total) no

corpo:

m d2

dt2CM(t) = RD(Ωt) = F→Ωt(t) . (?)

Page 36: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Leis de conservacao

O tensor de Cauchy -1-

O tensor de Cauchy -1-♣ Seja Ω1,Ω2 disjuntos mas nao mutuamente separados, eΩ = Ω1 ∪ Ω2. Seja Σ := ∂Ω1 ∩ ∂Ω2.

Forcas coesivas

A forca atuada por Ω2 sobre Ω1 e uma forca de contacto em Σ, ouseja e representada por uma medida vectorial absolutamentecontinua respeito a dS, cuja densidade e T (x)dS(x) (no tempo t).♣ O vector T so depende da posicao x ∈ Σ e da normal N(x):T = T (x,N).♣ Fixado N , x 7→ T (x,N(x)) e continuo.T e chamado densidade superficial de forca interna (ou coesiva, oudas tensoes internas) em x e na direccao N .Lemma 1♣ Para todos os x ∈ Ω and todos os N ∈ S2 (|N | = 1) temos:T (x,N) = −T (x,−N). (?)

♣ T (x,N) ·N > 0 em traccao, e < 0 em compressao.

Page 37: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Leis de conservacao

O tensor de Cauchy -2-

O tensor de Cauchy -2-♣ Tomando x = 0 e N = ei, o vector T (0, ei) tem 3 componentesσji, 1 ≤ j ≤ 3, ou seja: T (0, ei) = σjiej . Portanto Tj(0, ei) = σjie a componente j da forca atuada pelo meio continuo numa facetacentrada em x e de normal ei.

Tetraedro de Cauchy

Seja Ω1 ⊂ Ω um tetraedro de cume a origem 0, e dado pelos 3outros pontos Ai no eixo ei. Portanto a base A1A2A3 tem umanormal N , enquanto 0A1A2 tem normal −e3, 0A2A3 tem normal−e2, 0A2A3 tem normal −e1.♣ Temos tambem Ni = N · ei = o angulo entre A1A2A3 e0AkAl, k, l 6= i.♣ Para alem, a equacao de A1A2A3 e Nixi = h, onde h e adistancia de A1A2A3 a 0.

Teorema de Cauchy (linearidade das tensoes)

Temos T (x,N) = NiT (x, ei) = σjiNiej , ou Tj(0, N) = σjiNi. (?)

Page 38: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Leis de conservacao

Equacao do movimento de um contınuo

Equacao do movimento de um contınuo

Equacao do movimento, ou Conservacao do momento linear

Seja um contınuo de massa volumica ρ(x, t) sobre o qual atua umforca de densidade volumica f(x, t). Portanto

ρa = ρDvDt = ρ(∂tvE +∇vE · vE) = f + div σ .

♣ As equacoes do corpo no reposo sao −div σ = f .

♣ DEM. Toma ωt ⊂ Ωt. Portanto em qualquer referencial inercial ∫ωta(x, t)ρ(x, t)dx =

∫∂ωt

T (x,N ; t)dS(x) +∫ωtfdx .

Pelo Teorema da divergencia e o teorema de Cauchy (T = σN):∫ωta(x, t)ρ(x, t)dx =

∫ωt

(f − div σ)dx, ∀ωt ⇒ forma local.

Simetria do tensor de Cauchy ⇔ Conservacao do momentocineticoO tensor de Cauchy e simmetrico: σij = σji. (?)

Page 39: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Leis de conservacao

Conservacao da Energia cinetica

Conservacao da Energia cinetica

Potencia das tensoes internasPara qualquer sistema material ωt ⊂ Ωt, a potencia das tensoesinternas e igual a Pi(ωt) :=

∫ωt

(σ · d)dx, com d a taxa dedeformacao (nao devem ser pequenas!).

Lei: Conservacao da Energia cinetica

Para qualquer sistema material ωt ⊂ Ωt e num qualquer referencialinercial, a derivada com o tempo da energia cinetica e igual a sumadas potencia das forcas externas de volume f e de contacto Tatuadas no sistema, menos Pi(ωt).

Forma global (num referencial inercial, ∀ωt ⊂ Ωt)ddt

∫ωt

ρv2

2 dx =∫ωt

(f · v − σ · d)dx+∫∂ωt

σN · vdS(x).

♣ DEM. Utilisa-se a equacao do movimento, e integracoes porparte e o facto de σ · ∇v = σ · d (pela simetria de σ).

Page 40: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Leis de conservacao

Conservacao da Energia total

Conservacao da Energia totalLei: Primeiro princıpio da termodinamica

∀ sistema material ωt ⊂ Ωt, existe uma funccao “energia interna”especifica e (i.e., por unidade de massa) tal que a derivada com otempo da suma da energia interna e da energia cinetica seja igual asuma das potencia das forcas externas de volume f e de contactoT atuadas no sistema mais a suma das contribuicoes por unidadede tempo de calor volumico (i.e. fonte de calor Q mais radiacao r)e da contribuicao de calor χ na superficie.

Lemma: ∃ fluxo de Calor J t.q. χ = −J ·N .

Forma global (num referencial inercial, ∀ωt ⊂ Ωt)ddt

∫ωtρ(e+ v2

2 )dx =∫ωt

(f ·v+Q+r)dx+∫∂ωt

(σN ·v−J ·N)dS(x).

Forma local (derivada material da energia interna)

ρDeDt = σ · d+Q+ r − div J em (x, t) ∈ Ωt × [0, T ].

♣ DEM. Utilisa-se a eq. do movimento, e integracoes por parte.

Page 41: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Leis de conservacao

Conservacao da Energia

Conservacao da Energia: equacao do CalorInterpretacao fisica da energia internaA energia interna de um ponto material representa a suma de todasa energias (cinetica, potencial) das moleculas do ponto material.

Equacao do CalorTomando e = cT , com c o calor especifico, e T a temperatura,temos pela Lei de Fourier J = −k∇T e a forma local daconservacao da Energia : ρcDTDt = σ · d+Q+ r + k∆T . Nota que

I DTDt = ∂tT +∇T · v (tomar conto do termo de transporte)

I σ · d representa o aquecimento devido ao trabalho das tensoesI Equacao do Calor e acoplada com a do movimento.

Simplificacoes usuais

Sistema no reposo: v = ∇v = d = 0 e portanto DTDt = ∂tT .

♣ Em deformacoes infinitesimais: DDt = ∂t se

|∇T | ∼ |∇v| ∼ |∇u| 1.

Page 42: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Elasticidade

Elasticidade

Elasticidade: tensores de Piola-Kirchhoff

PreambuloTemos N(x)dS(x) = ~dx× ~dx′ = F ~dX × F ~dX ′. Portanto,FilNi(x)dS = FilεijkFjpFkqdXpdX

′q = εlpq detFdXpdX

′q.

Logo N(x)dS(x) = J(F−TN0(X)

)dS0(X).

♣ A forca na faceta NdS em (x, t) escreve se:T (x, t;N)dS = σ(x, t)N(x)dS(x) = Jσ(X, t)F−TN0(X)dS0(X)

Primeiro tensor de Piola-KirchhoffReescretura do tensor de Cauchy no corpo nao deformado: P (X, t) := Jσ(X, t)F−T

♣ Problema: nao e simetrico.

Segundo tensor de Piola-Kirchhoff: simetrico

Reescretura do Primeiro tensor de Piola-Kirchhoff no corpo nao

deformado: Σ(X, t) := F−1P (X, t) = JF−1σ(X, t)F−T

Page 43: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Elasticidade

Elasticidade

Elasticidade: definicao

Equacao do movimento

Em Ω0: ρ0DvDt − div P − f = ρ0

DvDt − div (FΣ)− f = 0.

O tensor das deformacoes de Green-Lagrange E(X, t) = 12(F TF − I) . Logo, E = ε(u) +∇u(∇u)T , onde

u := x−X e o deslocamento.

Definicao

Um material e dito elastico se

I existe um corpo de referencia Ω0 sem tensoes:Σ(X, 0) = E(X, 0) = 0

I apos deformacao, o tensor das tensoes Σ so depende dotensor das deformacoes E em Ω0: Σ(X, t) = S(E(X, t)),onde S(0) = 0

Page 44: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Elasticidade

Elasticidade finita

Elasticidade linear

Equacao do movimento

Linear significa duas coisas:

I A lei de comportamento (i.e., o modelo) e linear

I A deformacao e a linearizada

♣ Lei de Hooke: linear

♣ A 1d significa que f = ax: forca proporcionala deformacao, com o escalar a a rigidez da mola(ou do material)♣ Portanto a 3d uma lei de comportamentolinear elastico sera: σ = Aε, onde ε e uma matrizsimetrica que rapresenta a deformacao.♣ Fazemos a linearizacao Dv

Dt = ∂2t u sendo que

DvDt = (∂tv+∇v ·v)(x, t) = ∂2

t u(x, t) +O(|∇u|2).

Page 45: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Elasticidade

Elasticidade linear

Lei de comportamento linear♣ Lei de comportamento linear elastico:

σ = Aε , onde A e umtensor de ordem 4, i.e., com (a partida) 81 componentes Aijkl.♣ Pela simetria de ε e de σ, tem realmente 6× 6 = 36componentes diferentes.♣ ε e uma matriz simetrica que rapresenta a deformacao:

I Escolha 1: ε = ε(u) = ∇Su. Esta definicao depende daconfiguracao de referencia (pelo uso de u)

I Escolha 2: Consideramos que t 7→ ε(t) e solucao da ODEε(t) = 1

2ddt

(ei · ej (x(t))

)com condicao inicial ε(0) = 0, onde

o membro de direita

I mede a deformacao local (cf. interpretacao fısica em cima)I so depende da configuracao corente

♣ ε(t) admite uma decomposicao ε(t) = ∇Su(t) + ε0(t)

onde a deformacao incompatıvel ε0 verifique div ε0 = 0.

Page 46: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Elasticidade

Matriz de elasticidade

Matriz de elasticidade♣ Supomos que a energia interna e e uma funccao da deformaco ,i.e., temos uma lei constitutiva to tipo e = e (εu), onde εu = ε(u)♣ Considerando o caso sem fontes de Calor de volume ou decontacto. Portanto a equacao da Energia e ρ0

DeDt = σ · ε(v). Em

Euleriano, temos entao ρ0dedt = ρ0

dedεu· ε(u) = σ · ε(v). Logo

ρ0dedεu

= σ = Aε, visto que ε(v) = ε(u) pode ser arbitraria.

Considerando ε0 = 0, logo σ = Aεu, e portanto ρ0e = 1

2Aεu · εu .

♣ A forma quadratica Aεu · εu e “isotropa” pois que por definicaode isotropia, e(QT εuQ) = e(εu).♣ Sendo εu simetrico, na base principal = diag(εIu), I = 1, 2, 3.

Isotropia ⇒ Aεu · εu = a(εIu)2 + b∑I 6=J

εIuεJu = A tr 2εu +Bεu · εu.

♣ Logo Aεu = 2µεu + λ tr εuI, com λ, µ os coeficientes de

Lame, e onde Aijkl = 2µ(δikδjl + δilδjk) + λδikδil.

Page 47: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Elasticidade

Sistema de elasticidade

Sistema de elasticidadeO BVP da Elasticidade linearizada estacionaria, isotermica, esem defeitosSem defeitos ⇔ ε = εu = ε(u).⇒ Existe uma solucao unica de

−div (A∇Su) = f in Ωt

u = u0 in ∂DΩt

(A∇u)N = g on ∂NΩt

.

Homework 2: Formulacao variacional

Demostrar que a formulacao forte e variacional:

minu∈H1(Ω):u=u0on ∂DΩt

∫Ωt

(1

2Aε(u) · ε(u)− f · u

)dx−

∫∂NΩ

g·udS(x).

sao equivalentes.

Page 48: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Elasticidade

Compatibilidade das deformacoes -1-

Compatibilidade das deformacoes -1-

Idea principal

O tensor das deformacoes ε e uma quantidade objetiva, no sentidoem que so depende de medicoes intrinseca no tempo t(alongamento local, variacao angular). Por outra parte e practico ecostume de trabalhar com o vetor deslocacao u.

Problema: quand’e que ε = ε(u) para um u?

Definicao intrinseca do delocamento e da rotacao infinitesimal

Supomos ε regular. Seja x0 ∈ Ωt um ponto de referencia, x umponto qualquer de Ωt e γ uma curva regular que vai de x0 a x.♣ Definimos a rotacao w e o deslocamento u:

wi(x; γ) := wi(x0) +

∫γεipn∂pεmn(y)dym (1)

ui(x; γ) := ui(x0) +

∫γ

(εil(y)− εilkwk(y)) dyl. (2)

Page 49: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Elasticidade

Compatibilidade das deformacoes -2-

Compatibilidade das deformacoes -2-

Calculo formalSupomos que (1) e (2) nao dependem da escolha da curva γ, masso do ponto de partida e chegada. Portanto

wi(x; γ) := wi(x0) +

∫ x

x0

εipn∂pεmn(y)dym (3)

ui(x; γ) := ui(x0) +

∫ x

x0

(εil(y)− εilkwk(y)) dyl. (4)

Portanto

∂jwi(x) = εipn∂pεjn(x) e ∂jui(x) = εij(x)− εijkwk(x). (5)

Logo: ε = ∇Su e

w = 12 Curl u .

Page 50: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Elasticidade

Compatibilidade das deformacoes -3-

Compatibilidade das deformacoes -3-

Demostracao e o operador incompatibilidade

Supomos que Ωt e simplesmente conexo. Seja γ′ uma outra curvaregular que junta x0 e x. Seja S uma superficie aberta com bordoγ − γ′. Portanto

wi(x; γ)− wi(x; γ′) =

∫γ−γ′

εipn∂pεmn(y)dym (6)

Pelo teorema de Stokes:

wi(x; γ)− wi(x; γ′) =

∫Sγ−γ′

εjqm∂q (εipn∂pεmn(y)) dSj(y) (7)

Logo: wi(x; γ) = wi(x; γ′) = wi(x) ⇔ incε := Curl Curl T ε = 0 , onde (incε)ij := εjqmεipn∂q∂pεmn.

Page 51: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Elasticidade

Compatibilidade das deformacoes -4-

Compatibilidade das deformacoes -4-♣ Temos tambem (nao demostrado) queincε = 0⇔ u(x; γ) = u(x; γ′) = u(x).

Deformacoes incompatıveis

No caso incε 6= 0 nao existe uma deslocacao univoquamentedefinida tal que ε seja igual a um gradiente simetrico.♣ Neste caso os vetores de rotacao infinitesimal e de deslocamentotem saltos locais em x ∈ Ωt dados por

[[wi]](x;x0) =

∫S

(incε(y))imdSm(y),

e [[ui]](x;x0) =

∫S

(ym − xm)εimk(incε(y))qkdSq(y).

♣ Se houver saltos, significa que encontra-se defeitos no material(do tipo dislocacao).

Page 52: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica do continuo: Elasticidade

Compatibilidade das deformacoes -5-

Compatibilidade das deformacoes -5-

Teorema de BeltramiSeja ε un tensor simetrico em Lp(Ω;S3), p > 1. Portanto existemum vector u ∈W 1,p(Ω;R3) e um tensor simetrico F emW 2,p(Ω; S3) com div F = 0 em Ω e FN = 0 em ∂Ω tais que: ε = ∇Su+ incF.

Esta decomposicao e unica logo que fixar u = U em ∂Ω.

♣ Portanto no caso de uma deformacao geral, ha sempre umaparte compatıvel e uma incompatıvel.

Page 53: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasSegunda Lei da termodinamica -1-

Segunda Lei da termodinamica -1- IntroduccaoPreambuloA 1a Lei da termodinamica e um princıpio em relacao aconservacao da quantidade de energia. Por sua vez, a 2a Lei datermodinamica nos diz algo sobre a qualidade da energia. Oprincıpio e o seguinte: havendo a conservacao da energia total deum sistema pela primeira Lei, o 2o princıpio nos diz que a parte daenergia “utilizavel” diminui enquanto a parte “inutilizael” aumenta.♣ Em termos microscopicos, a 2a Lei da termodinamica nos dizque um sistema tende a evoluir a mais desordem, disorganizacao,caos. Esta evolucao nao pode voltar atraz: chama-se airreversibilidade do processo.♣ Portanto a 2a Lei da termodinamica da uma orientacao aotempo (fora dos sistemas reversıveis, onde “nao ha tempo”.)

♣ Exemplo: o Calor vai da parte quente a parte fria, e nao ooposto (sem outras forcas a atuar no sistema).

Page 54: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasSegunda Lei da termodinamica -1-

Segunda Lei da termodinamica -2-

Segunda Lei da termodinamica -2- Introduccao

Energia “utilizavel”

E basicamente a energia que se transforme em trabalho(tipicamente: ativar um pistao) necessario para a produccao,crescimento, reparacao, etc., de subsistemas.

Energia “inutilizavel”

Os processos indicados acima nao existem sem gastar energia(tipicamente: por dissipacao termica, atrito, etc.) Esta parteconsiste em energia perdida, por nao ser transformavel.

Entropia

A entropia e uma medida da parte “inutilizavel” da energia de umsistema. Portanto e uma quantidade escalar que aumenta com estaultima energia. Por isso, diz-se que a entropia mede o desordem deum sistema.

Page 55: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasSegunda Lei da termodinamica -1-

Segunda Lei da termodinamica -3-

Segunda Lei da termodinamica -3-: Maquina de Carnot♣ At e meados do seculo XIX, acreditava-se ser possıvel aconstrucao de uma maquina termica ideal, que seria capaz detransformar toda a energia fornecida em trabalho, obtendo umrendimento total (100%).♣ Para demonstrar que nao seria possıvel, o engenheiro francesNicolas Carnot (1796-1832) propos uma maquina termica teoricaque se comportava como uma maquina de rendimento maximo.

♣ Este ciclo seriacomposto de quatroprocessos♣ Consideramos ocaso idal onde nao haatrito em nenhumdos quatros.

Page 56: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasSegunda Lei da termodinamica -1-

Segunda Lei da termodinamica -3a-

Segunda Lei da termodinamica -3a-: Maquina de Carnot

Page 57: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasSegunda Lei da termodinamica -1-

Segunda Lei da termodinamica -4-

Segunda Lei da termodinamica -4-: Ciclo de Carnot

♣ Medimos que: Q2

T2= Q1

T1

♣ Pela 1a Lei, orendimento e W

Q1= Q1−Q2

Q1

(partes utıl/fornecida daenergia em saida)= 1− T2

T1

♣ 100%⇔ T2 = 0 ouT1 =∞ ( fisicamenteimpossıvel)

I A-B: Uma expansao isotermicareversıvel. O sistema recebecalor da fonte de aquecimento

I B-C: Uma expansao adiabaticareversıvel. O sistema nao trocacalor com as fontes termicas

I C-D: Uma compressaoisotermica reversıvel. O sistemacede calor para a fonte deresfriamento

I D-A: Uma compressaoadiabatica reversıvel. O sistemanao troca calor com as fontestermicas

Page 58: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasSegunda Lei da termodinamica -1-

Segunda Lei da termodinamica -5-

Segunda Lei da termodinamica -5-: Consequencias

Existencia de energia “inutilizavel”

O ciclo ideal de Carnot mostre-nos que mesmo sem atrito, ou sejano caso de uma maquina perfeita nao e possıvel transferir todo oCalor fornecido em trabalho utıl, pelo que existera sempre umaparte da energia “inutilizavel”.

Ciclo realIntroduzimos a forma diferencial δQT . Num ciclo de Carnot temos∮ABCD

δQT = Q2

T2− Q1

T1= 0. Sendo esta forma fechada, e exata, i.e.

existe uma funccao escalar S (dita “de estado”) tal que dS = δQT .

♣ Num sistema real (con atrito) teriamos Q′1 ≥ Q1 e Q′2 ≤ Q2.

Portanto num sistema real, i.e., nao reversıvel: δQT =

Q′2T2− Q′1

T1≤ 0.

Page 59: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasSegunda Lei da termodinamica -1-

Segunda Lei da termodinamica -6-

Segunda Lei da termodinamica -6- 2o Princıpio♣ Logo, num processo real do estado A ao estado B temos∫ BA ( δQT )irrev +

∫ AB ( δQT )rev =

∮ AA ( δQT )irrev ≤ 0, ∀A,B

∫ B

A

(δQT − dS

)≤ 0, ∀A,B .

2o Princıpio da Termodinamica: ∃S (a entropia) t.q dS ≥ δQT

.

Para um qualquer sistema material ωt ⊂ Ωt, existe uma funcca“entropia” especifica s tal que a derivada com o tempo daentropia do sistema seja maior ou igual a suma das contribuicoespor unidade de tempo de calor volumico e do fluxo de calor Jatuados no sistema, ambos divididos pela temperatura.Forma globalddt

∫ωtρsdx ≥

∫ωt

Q+rT dx−

∫∂ωt

J ·NT dS(x).

Forma local♣ Pelo teorema de Transporte,

∀(x, t) : ρDsDt ≥

Q+rT − div ( JT ) .

Page 60: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasSegunda Lei da termodinamica -1-

Segunda Lei da termodinamica -7-

Segunda Lei da termodinamica -7- Energia livre

Desigualdade de Clausius-Duhem

Pela conservacao da energia (forma local): ∀ referencial inercial, ∀(x, t) : ρT DsDt − ρ

DeDt ≥ −σ · d+ J · ∇TT

(Nota: div ( JT ) = 1T div J − J · ∇T

T 2 = 1T div J + J · ∇ 1

T ).

Energia livre de Helmholtz

Definida como h := e− Ts .

2o Princıpio da Termodinamica em forma local

Pela desigualdade de Clausius-Duhem: em qualquer referencial

inercial temos: ∀(x, t) : 0 ≤ σ · d− ρ(DhDt − s

DTDt

)− J · ∇TT .

Dissipacao mecanica

Definida como D := σ · d− ρDhDt ≥ 0 (T =constante em C.-D.).

Page 61: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasSegunda Lei da termodinamica -1-

Segunda Lei da termodinamica -8-

Segunda Lei da termodinamica -8- Modelizacao

Regra de modelizacao

Uma lei constitutiva (ou de comportamento) de um modelo devesempre ser amissıvel pelo 2o princıpio da Termodinamica, ou sejadeve satisfazer a desigualdade de Clausius-Duhem.

Exemplo

Assumimos que e = e(F, s) e que v = 0. Portanto C.-D. implicaque ρDsDt (T −

∂e∂s)− J ·

∇TT ≥ 0. Portanto a escolha

J = −k∇T (Fourier)

T = ∂e∂s

e consistente.

♣ Geralmente, para uma transformacao isovolumica, a unica

maneira de garantir a desigualdade e de tomar T := ∂e

∂s

(pode ser visto como uma definicao da temperatura) .

Page 62: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasSegunda Lei da termodinamica -1-

Segunda Lei da termodinamica -9-

Segunda Lei da termodinamica -9- Princıpo de maximaentropia maxima♣ Seja a energia total E := Eint + Epot + Ecin, onde

Eint :=∫ωtρedx, Ecin :=

∫ωtρv

2

2 , Epot :=∫ωt−f · udx+∫

∂ωt−g · udS(x). A 1a Lei escreve-se como (i)

ddtE =

∫ωt

(Q+ r)dx−∫∂ωt

J ·NdS(x) e a 2a como (ii)ddtS ≥

∫ωt

Q+rT dx−

∫∂ωt

J ·NT dS(x), com a entropia S :=

∫ωtρsdx.

Princıpo de maxima entropia maxima de Clausius (1822–1888)

Consideramos um sistema adiabatico (i.e., J = r = 0) sem fontesde Calor volumicas (i.e., Q = 0). Portanto, a 1a Lei, (i), significa aconservacao no tempo de E . i.e., d

dtE = 0 enquanto a 2a Lei, (ii),

o crescimento no tempo de S, i.e., ddtS ≥ 0.

♣ Esta observacao conduz Rudolf. E. Clausius a escrever “Theenergy of the universe is constant, and the entropy of the universetends to a maximum”.

Page 63: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasSegunda Lei da termodinamica -1-

Segunda Lei da termodinamica -10-

Segunda Lei da termodinamica -10- Princıpo de maximaentropia/minima energia

Princıpo de maxima entropia/minima energiaConsideramos um sistema com Q+ r = 0, de volume constante ede temperatura constante T = T0 na fronteira (so). Pela 2a Lei,ddt(T0S) ≥ −

∫∂Ωt

J ·NdS(x), i.e. temos ddtA ≤ 0, A := E −T0S:

I Minimiza-se E (energia) a entropia constante, ouI Maximiza-se S (entropia) a energia constante.♣ Notamos:I T = cst, f, g = 0⇒ A =

∫ωt

(ρh+ ρv2

2 )dx : ddtA ≤ 0 and∫

ωtρv

2

2 dx ≤ 0⇒ DhDt ≤ 0. (cf. fluido Newtoniano) .

I Pode-se maximizar S e minimizar E simultaneamente.I Existe sistemas onde maximizar S e contraditorio com

minimizar E : neste caso, um princıpio so e que ganha.I Nao e preciso chegar aos valors minimos/maximos: e

suficiente ter E a diminuir, enquanto S aumentar.

Page 64: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasSegunda Lei da termodinamica -1-

Segunda Lei da termodinamica -11-

Segunda Lei da termodinamica -11- Temperatura♣ A relacao T := ∂e

∂s vem do 2o Princıpio: e uma definicaomacroscopica da temperatura, atravez a Lei de comportamentos 7→ e(·, s). Portanto a nocao de temperatura segue a de entropiae de energia interna. Contudo, nem s nem e foram definidas aescada macroscopica (foi so postulada suas existencias).

♣ A temperatura e a tendenciade um ponto material cederenergia espontaneamente apropria vizinhanca.

♣ Ambos s e T tem uma definicao aescada microscopica.

Cadeia de decaimento da energia

♣ Eint + Epot # Ecin # D :=dissipacao de Calor♣ Energias utilizaveis acabam por setransformar em dissipacao termica,aumentando a entropia do sistema

Page 65: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasSegunda Lei da termodinamica -1-

Segunda Lei da termodinamica -12-

Segunda Lei da termodinamica -12- Abordagem axiomatico

♣ O peso significa que so foirealizado trabalho (forca doGorilla considerada infinita)

♣ Devido a Elliott H.Lieb e Jakob Yngvason(Phys. Today 53 (4), 32(2000))

Transformacao adiabatica

Definida como um processo termodinamicode um estado X (de equilibrio) de umsistema a um estado Y deste sistema, ondeI nao existe transferencia de Calor com

o exterior ao sistema (i.e., e isolado)

I trabalho tem sido realizado (sobre osistema pelo exterior ou sobre o doexterior sobre ou sistema).

Page 66: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasSegunda Lei da termodinamica -1-

Segunda Lei da termodinamica -13-

Segunda Lei da termodinamica -13- Abordagem axiomatica

Relacao logica entre dois estados: X ≺ Y

Se existe uma transformacao adiabatica que faz evoluir o sistemado estado X ao estado Y, escrevemos que X ≺ Y e digamos queX precede Y .

Estados conjuntos (combinados)

Seja X e X ′ dois estados. Portantoo estado conjunto e o par (X,X ′).

Entropia

Sejam un conjunto de pares (X,Y ) onde X ≺ Y . Pela 2a Lei,podemos codificar esta lista numa funccao S definida sobre todos

o estados do sistema tal que X ≺ Y ⇔ S(X) ≤ S(Y )

(temos = se a transformacao estiver reversıvel).

Page 67: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasSegunda Lei da termodinamica -1-

Segunda Lei da termodinamica -14-

Segunda Lei da termodinamica -14- Additividade daentropia♣ Pelo 2o princıpio, a entropia S deve verificar a propriedade deaditividade: S(X,X ′) = S(X) + S(X ′).♣ ∀(Y, Y ′) tal que X ≺ Y e X ′ ≺ Y ′. Portanto (X,X ′) ≺ (Y, Y ′).♣ O oposto e falso: ∃(X,X ′) ≺ (Y, Y ′) sem que X ≺ Y,X ′ ≺ Y ′.♣ Portanto S(X) + S(X ′) ≤ S(Y ) + S(Y ′)(mesmo se S(X) ≥ S(Y )). Exemplos

♣ Misturando (adiabatico!) pode-seaquecer whiskey e fundir gelo♣ Colocando os 2 copos em contactopode-se aquecer o gelo e arrefecer owhiskey: o estado conjunto e dadopor uma transformacao adiabatica.Mas arrefecer o whiskey sozinho naoe adiabatico (e S(X) ≥ S(Y2)).

Page 68: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasSegunda Lei da termodinamica -1-

Segunda Lei da termodinamica -15-

Segunda Lei da termodinamica -15- Scaling da entropia

Grandeza intensiva ou extensivaAs propriedades intensivas sao propriedades fısicas que naodependem da extensao do sistema (i.e., do scaling), isto e, saoindependentes do tamanho ou da quantidade de materia de umdado sistema. Ja as propriedades extensivas, dependem daextensao do sistema, isto e, variam de forma proporcional com otamanho ou a quantidade de materia existente num dado sistema.

I Propriedades intensivas: temperatura (T em K), pressao (pem Pa), massa volumica (ρ em kg/m3), ponto de ebulicao.

I Propriedades extensivas: massa (m em kg), volume (V emm3), energia interna (U em J), entropia (S em J/K),capacidade calorıfica (Cp ou CV em J/K)

A entropia e uma grandeza extensıva: S(λX) = λS(X).

Page 69: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasSegunda Lei da termodinamica -1-

Segunda Lei da termodinamica -16-

Segunda Lei da termodinamica -16- Propriedades

Sumario das propriedades basicas de ≺I Reflexividade: X ≺ XI Transitividade: X ≺ Y and Y ≺ Z ⇒ X ≺ ZI Juncao adiabatica: X ≺ Y and X ′ ≺ Y ′ ⇒ (X,X ′) ≺ (Y, Y ′)

I Extencao adiabatica: X ≺ Y ⇒ λX ≺ λYI Corte adiabatico: ∀0 ≤ λ ≤ 1, X ≺ ((1− λ)X,λX)

I Recombinacao adiabatica: ∀0 ≤ λ ≤ 1, ((1− λ)X,λX) ≺ X

Page 70: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasSegunda Lei da termodinamica -1-

Segunda Lei da termodinamica -17-

Segunda Lei da termodinamica -17- Hipotese deComparacao

Hipotese de Comparacao

Seja X e Y estados (em equilibrio) de um sistema (massa total ecomposicao quimıca dadas), simples ou combinados. Entao X ≺ Y ou Y ≺ X .

♣ Consideramos X0, X e X1, 3 estados de um sistema. PelasHipotese de Comparacao e as propriedades de corte e derecombinacao, temos ∀0 ≤ λ ≤ 1, X ≺ ((1− λ)X0, λX1) ou((1− λ)X0, λX1) ≺ X.

♣ Seja X0, X e X1 estados (em equilibrio) de um sistema tal queX0 ≺ X ≺ X1 (exemplo: mesma massa de aqua no estados degelo, lıquido, e vapor).

Page 71: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasSegunda Lei da termodinamica -1-

Segunda Lei da termodinamica -18-

Segunda Lei da termodinamica -17- Existencia

Teorema de existencia de um limite inferior a entropia

Existe pelo menos um 0 ≤ λ ≤ 1 tal que ((1− λ)X0, λX1) ≺ X.

♣ Logo, (1− λ)S(X0) + λS(X1) ≤ S(X). Tomando S(X0) = 0 eS(X1) = 1 como entropias de referencia dos estados de referenciaX0 e X1 (equivale a dizer que S(X0) e S(X1) sao os valoresminimo e maximo da entropia para este sistema), temos λ ≤ S(X).

♣ Extraimos or introduzimos energiano sistema sob a forma de trabalhoso, por exemplo com uma maquinade Carnot reversıvel que funcionaentre as parte do sistema com alta ebaixa temperaturas.

Page 72: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasSegunda Lei da termodinamica -1-

Segunda Lei da termodinamica -18-

Segunda Lei da termodinamica -18- Definicao da entropia

Unicidade da entropia

S(X) := λmax = maxλ : λ ≤ S(X) .

♣ Corollario (reversibilidade adiabatica):X ≺ ((1− λmax)X0, λmaxX1) (visto que temos =).

Definicao da entropia

Seja X0 ≺ X ≺ X1.DEF: A entropia S(X) do estado X de um sistema e igual afracao maxima de X1 necessaria par transformar X1 em 1kg de Xcom ajuda de (1− S(X)) de X0.

♣ Nota-se que esta definicao e puramente derivada de princıpioslogicos. Em particular, nao se fala nem de temperatura, nem deenergia ou de Ciclos de Carnot reversıveis.

Page 73: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -1- O fluido Newtoniano

Definicoes

I Um continuo e dito fluido se o tensor das tensoes e umafunccao isotropa de d = ∇Sv. i.e., σ = σ(d).

I Um fluido e dito Newtoniano se σ(d) for afina em d.

I Um fluido e dito incompressivel se tr d = div v = 0.

♣ Pela estrutura de uma forma quadratica isotropa, um fluidoNewtoniano verifique σ · d = −pd+A( tr d)2 +B tr d2. Logo, sua

Lei constitutiva e σ(d) = −pI + 2µd+ λ tr dI = −pI + Ad.

PressaoA pressao e definida como o menos um terco do traco das tensoesdum fluido incompressivel, i.e.

p := tr σ.

♣ Observamos que nao existe Lei constituiva entre p e d.

Page 74: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -2-

Mecanica dos fluidos -2- Estatica

♣ No reposo, i.e., se v = 0, temos d = 0 e portanto σ = −pI.

Lema 1Seja um fluido no reposo e supomos que as forcas de volumederivam de um potencial, i.e., f = −∇P. Portanto p+ P = cste.♣ DEM. Emediato, pelo equilibrio −div σ = f .

♣ Caso da gravidade: P = ρ0gz onde ρ0 e a densidade constantedu fluido.♣ Fluido no reposo com fronteira livre:pa + P = cste⇒ P = cste. Logo z = cste.♣ Caso de um fluido em rotacao mas com d = 0 numa base emrotacao (i.e. imovel com respeito ao suporte): acrescenta-se as

forcas centrifugas, P = ρ0gz − ρ0ω2 r2

2 . Logo, z = ρ0ω2 r2

2g + cste:perfıl=paraboloide de revolucao.

Page 75: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -3-

Mecanica dos fluidos -3- Estatica

Equilibrio entre 2 fluidos

Temos f = ∇p and f = −ρgez.Logo, p = pa − ρgz e portanto:

ρh = ρ′(h+H).

Princıpio de Archimedes (287-212BC. Syracusa (Sicilia), Alexandria(Grecia))

A suma das forcas de contactoatuadas sobre um corpo inteiramenteou parcialmente imerso num fluidono reposo e uma forca vertical iguala menos o peso do volume de aguadeslocado, e atuando no centro demassa G do volume imerso.

Page 76: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -4-

Mecanica dos fluidos -4- Princıpio de Archimedes

♣ SejaΓ = z = 0 ∩ Ω1 e N anormal exterior a ∂1Ω.

♣ DEM (Archimedes). Trata-se de calcularA =

∫∂Ω1=∂1Ω∪Γ σNdS(x) =

∫∂1Ω−pINdS(x)

+∫

Γ paIezdS(x) =∫∂1Ω(ρ0gz − pa)INdS(x) +∫

Γ paIezdS(x) =∫∂Ω1

ρ0gzINdS(x), pois quez = 0 em Γ.Pelo teorema da divergencia,A =

∫Ω1∇(ρ0gz)dx =

∫Ω1ρ0gezdx = m(Ω1)gez.

Para alem,∫∂Ω1=∂1Ω∪Γ

−→Gx× (σN)dS(x) =(∫

Ω1

−→Gxdx

)× ρ0gez = 0, pela definicao

intrinseca do centro de massa.

Page 77: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -5-

Mecanica dos fluidos -5- Navier-StokesEquacao de Navier-Stokes geral ou compressıvelPela equacao do movimento, temosρDvDt = div σ + f = −∇(p+ λ tr d)− 2µ div d+ f .Lembrando que tr d = div u e div ∇T v = ∇ div v, temosa equacao de Navier-Stokes compressıvel: ρDvDt − µ∆v +∇ (p− (λ+ µ) div v) = f, p = p(ρ, T ) = αρT

⇒ acoplado com (i) (Massa) DρDt + ρdiv v = 0 e (ii)

(Energia/Calor) ρcDTDt = σ · d+Q+ r + k∆TRestricoesA forma bilinear σ · d que aparece na formulacao fraca deve serfortemente elitica. E suficiente pedir estabilidade puntual. Istovale, pois que A ≥ 0: P(d) := Ad · d ≥ 0, ∀d (i.e., a parteprincipal). Escrevendo d = ddev + dsph com dsph := I tr d/3:

P(d) = 2µddev · ddev + (λ+ 2/3µ)( tr d)2 ≥ 0 ⇒

µ, λ+ 2µ

3 ≥ 0 .

Por Clausius-Duhem (2o Princıpio), basta assumir Dh/Dt ≤ 0.

Page 78: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -6-

Mecanica dos fluidos -6- Navier-Stokes incompressıvel♣ Incognitas: (v, p). (Caso compressıvel: tambem T e ρ).

Equacao de Navier-Stokes incompressıvel: div v = 0

⇒ ρ0

DvDt − µ∆v +∇p = f ( div v = 0), onde ρ = ρ0 = cst e p

obtido a partir de v e f como ∆p = div f − ρ0∇v · ∇T v.

(DvDt (t) = ddtv

E(Φ(X, t), t) = ∂tv(x, t)+(v(x, t)∇)·v(x, t), vE = v).

ENS-c: propriedades

I Translacao espacio-temporal: x→ x+ a, t→ t+ τ

I Isometrias (rotacao/reflexao): x→ Qx,QTQ = II Transformacao de Galileo:x→ x− v0t, v → v(x− v0t, t) + v0

I Scaling v(x, t), p(x, t) solucao ⇒ λv(, λ2t), λ2p(λx, λ2t)tambem e solucao

Page 79: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -7-

Mecanica dos fluidos -7- Navier-Stokes incompressıvelENS-c: condicoes limites

Seja a velocidade relativa: vr = v − V∂Ωt

I Fluido viscoso: vr = 0 em ∂Ωt

I fluido perfeito: vr ·N = 0

I Condicao inicial: (v(x, 0), p(x, 0)) = (v0(x), p0(x)).

Adimensionalisacao, Numero de Reynolds

Define x = x/L, t = t/τ, v = v/U (U = L/τ),p = p/U2, f = fτ2/L: a ENS-c e re-escrita como (sem os ∧)

DvDt +∇p− Re−1∆v = f

div v = 0.

♣ O escoamento nao depende de ρ0, L, U, µ separadamente, mas

sim do numero sem dimencoes Re = L2ρ0/µL/U = tempo viscoso

tempo cinetico .

Page 80: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -8-

Mecanica dos fluidos -8- ENS-c-Conservacao da energia♣ Termo nao linear: B(u, v) = (v∇) · u: Dv

Dt = ∂tv +B(v, v).

Lema 2:∫

ΩB(u, u) · udx = 0 se u = 0 em ∂Ω.

DEM. Temos∫

Ω ui∂iujujdx =∫∂Ω uiNiujujdS(x)

−∫

Ω ∂i(uiuj)ujdx = −∫

Ω ∂iuiu2jdx−

∫Ω ui(∂iuj)ujdx⇒

2∫

Ω ui∂iujujdx = −∫

Ω( div u)u2dx = 0.

♣ Supomos v bastante regular. A energia cinetica e igual a 12‖v‖

22.

Lema 3: ddt

12‖v‖2

2 = −Re−1‖∇v‖22 + (f, v)2 se u = 0 em ∂Ω.

DEM. Integramos,∫

Ω(∂tv +B(v, v)) · vdx =∫

Ω−∇p · vdx+∫

Ω(Re−1∆v + f) · vdx =∫

Ω p div vdx−∫

Ω Re−1∇v · ∇vdx+∫

Ω f · vdx. Pelo Lema 2 e a incompressibilidade, temosddt

12

∫Ω ‖v‖

2dx = −∫

Ω Re−1‖∇v‖2dx+∫

Ω f · vdx.

♣ Esta igualdade vale em 2D. Em 3D vale so em casosparticulares. Em geral vale d

dt12‖v‖

22

≤ −Re−1‖∇v‖22 + (f, v)2.

Page 81: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -9-

Mecanica dos fluidos -9- Navier-Stokes incompressıvel

Caso limite 1: Re→∞: fluido perfeito: Eq. de Euler

Fluido sem dissipacao viscosa, com turbulencia...nao linear:

(EE-c)∂tv + (v∇) · v +∇p = f

div v = 0.

Caso limite 2: Re→ 0: Eq. de Stokes

Velocidades e Re pequenos, fluido viscoso, linear:

(ES-c)

∂tv +∇p− Re−1∆v = f

div v = 0.

Page 82: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -10-

Mecanica dos fluidos -10- Stokes incompressıvel eestacionario (SE-s-st)

em R3

(F)

Re−1∆v −∇p = −f

div v = 0|v|, p → 0 as r = |x| → ∞

.

Metodo 1: solucao canonica

Seja F ∈ R3. Consideramos (F) com f = Fδ0 e definimosV := Re

( Ir + x⊗x

r3

). Portanto v = VF, p = F ·x

4πr3 e solucao.

Lema 4: Re−1∆v −∇p = 0 em R3 \ 0.♣ DEM. Faz-se a mano.

Lema 5: Re−1∆v −∇p = −Fδ0 em R3.

♣ DEM. Temos que ver seRe−1(∇v,∇w)2 − (p, div w)2 = Fw(0), ∀w ∈ C∞c (Ω)?

Page 83: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -11-

Mecanica dos fluidos -11- Stokes incompressıvel eestacionario em R3

Demonstracao do Lema 5

Re−1(∇v,∇w)2−(p, div w)2 = Re−1∫Bε(0)(∇v ·∇w−p div w)dx

+Re−1∫Bcε (0)(∇v · ∇w − p div w)dx = I + J . Logo

|I| ≤ Cε,C > 0, pois v ∼ 1r , p ∼

1r2 e dx = r2drdω. Para alem,

J =∫Bcε (0)(∇p−

∆vRe ) ·wdx+

∫∂Bcε

∂NvRe wdS(x) +

∫∂Bcε

pwNdS(x),

que pelo Lema 4, =∫∂Bcε

(∂NvRe − pN)wdS(x). Logo x = rer ⇒∂Nv = −∂rv = Re

8πr2 (I + er ⊗ er)F , pN = −per = − 14πr2 er ⊗ erF .

Ja∫∂Bcε

(∂NvRe − pN)wdS(x) = O(ε) + w(0)8π

∫S2(I + 3er ⊗ er)dωF

= O(ε) + w(0)8π (4πI + 34π

3 )F = O(ε) + w(0)F (exprimir er na baseCartesiana para integrar). Deixar ε→ 0.

Corollario: a solucao de (F) e v = V ? f, p = x4πr3 · ?f

DEM. Imediato, pois que f = f ? δ0.

Page 84: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -12-

Mecanica dos fluidos -12- ES-c-est em Ω ⊂ R3 limitado.Solucao explicita no caso f = 0 (Papkovich–Neuber)

Seja o vector Φ e o escalar χ tais que ∆Φ = ∆χ = 0. Logov(x) = 2Re (∇(x · Φ + χ)(x)− 2Φ(x))p(x) = div Φ(x)

e solucao.

♣ Exemplo:χ = 0 e x · ∂iΦ−Φi = 0 em ∂Ω implica v = 0 em ∂Ω.

♣ Seja V := v ∈ H10 (Ω) : div v = 0 e

L20(Ω) := p ∈ L2 :

∫Ω pdx = 0.

Teorema de existencia no caso v = 0 em ∂Ω.Seja Ω conexo, Lipschitz, e f ∈ H−1(Ω). Portanto∃!(v, p) ∈ V × L2

0(Ω) solucao de (ES-c) com v = 0 em ∂Ω.♣ DEM. Seja a(u, v) = (∇u,∇v)2 e L: (L,w) = 〈f, w〉H−1,H1

0.

Sendo a uma norma para H10 e L linear e continua em V ,

Lax-Milgram implica existencia de um unico (v, p) ∈ V ×L20(Ω) tal

que a(v, w) = L(w). Logo 〈−∆v − f, w〉H−1,H10

= 0, ∀w ∈ V .

Pelo teorema de de Rahm, ∃p ∈ L2(Ω) : ∇p = −∆v − f .

Page 85: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -13-

Mecanica dos fluidos -13- ES-c-est em Ω ⊂ R3 limitado.

Problema de minimizacao e multiplicador de Lagrange

A solucao obtida e o unico minimo de J : H10 (Ω)→ R :

J(w) :=∫

Ω |∇w|2dx−

∫Ω f · wdx, ∀w ∈ V . O gradiente de J em

v e Grad J(v) := −∆v− f ∈ H−1(Ω). Visto que v minimza J nosub-espaco V de vectores com divergencia nula, o vinculo e amapa linear div : H1

0 (Ω)→ L20(Ω), pelo que o teorema dos

multiplicadores de Lagrange implica que Grad J(v) = Π div ,com Π ∈

(L2

0(Ω))′

= L20(Ω). Logo, ∃p :

Grad J(v)[w] = 〈Π div , w〉H−1,H10

= (p, div w)2 = 〈−∇p, w〉H−1,H10

e portanto a pressao pode servista como um multiplicador de Lagrange para o vinculo div v = 0.

Page 86: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -14-

Mecanica dos fluidos -14- ES-c-td em Ω ⊂ R3 limitado.

()

∂tv +∇p− Re−1∆v = f Ω

div v = 0 Ωv = 0 ∂Ωv(0) = v0

.

Formulacao fraca (J.-L. Lions: 1928-2001)

Seja v(·, t) ∈ V . Multiplicando () por w ∈ V , temos

d

dt

∫Ωv(x, t)w(x)dx+ a(v, w) =

∫Ωf(x, t) · w(x)dx,

onde a(v, w) := Re−1∫

Ω∇v(x) · ∇w(x)dx

♣ A mesma reescreve-se como uma ODE: procura-se v(t) umafunccao em ]0, T [ com valores em V tal que

()

ddt(v(t), w)L2(Ω) + a(v(t), w) = (f(t), w)L2(Ω),

v(0) = v0,

∀w ∈ V, 0 < t < T , e onde v e continua em 0.

Page 87: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -15-

Mecanica dos fluidos -15- ES-c-td em Ω ⊂ R3 limitado.

♣ SejaV yW := v ∈ L2(Ω) : div v = 0 ∈ D′(Ω), γ∂Ω(v)N = 0.Introduzimos EWV := L2(]0, T [;V ) ∩ C([0, T ];W ).

Teorema de existencia de uma solucao fraca; formulacao geral

Seja V ⊂W , dois espacos de Hilbert. Seja a(u, v) uma formasimetrica, bilinear, continua e coerciva em V × V . Seja T > 0,v0 ∈W e f ∈ L2(]0, T [;W ). Portanto o problema () tem umasolucao unica em EWV , e existe uma constante C > 0 tal que‖v‖L2(]0,T [;V ) + ‖v‖C([0,T ];W ) ≤ C

(‖v0‖W + ‖f‖L2(]0,T [;W )

).

♣ Assumindo bastante regularidade, (∂tv + Re−1∆v − f, w)2 = 0,∀w ∈ V e portanto temos () pelo teorema de de Rahm.

Page 88: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -16-

Mecanica dos fluidos -16- ES-c-td em Ω ⊂ R3 limitado.

♣ ∀t : dv(t)dt ∈ V

′: ∀w ∈ V : 〈dv(t)dt , w〉V ′,V := Π′(t) ∈ D′([0, T ]),

onde Π(t) := (v(t), w)L2(Ω) ∈ L2(]0, T [). Temos

Π′(t) ∈ Der C([0, T ])) : 〈Π′(t), ϕ(t)〉D′,D = −∫ T

0 Π(t)ϕ′(t)dt.Geralmente, Π′(t) /∈ L1(]0, T [), pois Der C([0, T ])) *W 1,1(]0, T [).♣ Se v(t) for solucao de (), ve-se logo que Π′ ∈ L1(]0, T [), pois

que (f(t), w)L2(Ω) − a(v(t), w) ∈ L1(]0, T [). Logo 〈dv(t)dt , w〉V ′,V

∈ L1(]0, T [), pelo que 〈v(t), w〉V ′,V := (v(t), w)L2(Ω)

∈W 1,1(]0, T [) y C([0, T ]))⇒ v e ?-fraco continuo com valoresem V ′ ⇒ tomar v0 ∈ V ′, pois v(t) v(0) = v0 em V ′, t→ 0.♣ Formulacao fraca com funcoes test que dependem do tempo:

(♦)∀ψ ∈ Cc(]0, T [;V ) : 0 =∫ T

0

(〈dv(t)

dt, ψ(t)〉V ′,V + a(v(t), ψ(t))− 〈f(t), ψ(t)〉H−1,H1

0 (Ω)

)dt.

Page 89: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -17-

Mecanica dos fluidos -17- EE-c-td em Ω ⊂ R3 limitado.

Consideramos (F)

∂tv +B(v, v) +∇p = f = −∇P

div v = 0γ∂Ω(v)N = 0

.

Lema 6:B(v, v) := (v∇) · v = div (v ⊗ v) = ∇ |v|

2

2+ ( Curl v)× v e

div B(v, v) = ∇v · ∇Tv.

DEM. Imediato por calculo indicial.

Equacao da vorticidade: ω := Curl v.

(cf. o vetor rotacao infinitesimal em elasticidade).♣ Tomando o curl de (F), temos∂tω+ Curl (ω×v) = ∂tω+(v ·∇)ω−(ω ·∇)v = Dω

Dt −(ω ·∇)v = 0.♣ A 2D, temos ω · ∇ = 0 e portanto Dω

Dt = 0. Logo∫Ω ω(x, t)dx =

∫Ω ω(x, 0)dx =

∫∂Ω v · dL(x), por Stokes. ⇒ Ha de

resolver o sistema acoplado completo.

Page 90: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -18-

Mecanica dos fluidos -18- EE-c-td em Ω ⊂ R3 limitado.

♣ Lembrando-se deW := v ∈ L2(Ω) : div v = 0 ∈ D′(Ω), γ∂Ω(v)N = 0.

Leray decomposition

L2(Ω) = W⊕W⊥,W⊥ = u ∈ L2(Ω) : ∃ϕ ∈ H1(Ω), u = ∇ϕ.

♣ Pois que ∇p ∈W⊥, a projecao de (F) sobre W ev ∈W ⊂ H1

0 (Ω) : ∂tv + B(v, v) = 0, onde B e a projeccao de Bsobre W . Depois: p ∈W⊥ : ∆p = div f − ρ0∇v · ∇T v.

Lema 7: Conservacao da energia cinetica Ecin = 12

∫Ω‖v‖2dx

DEM. Temos ddtEcin =

∫Ω ∂tv · vdx =

−∫

Ω(B(v, v) +∇(p+ P)) · vdx = −∫

Ω div (bv)dx = 0, onde

b = |v|22 + p+ P pelo Lema 1, pelo teorema de Gauss e vN = 0.

Page 91: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -19-

Mecanica dos fluidos -19- EE-c-td em Ω ⊂ R3 limitado.

Problema de Cauchy: ∂tv + B(v, v) = 0, v(0) = v0,

onde a forma bilinear B e tal que:(B(u, v), v

)L2(Ω)

= 0.

Existencia em tempos curtos (Lichtenstein ∼ 1925)

Seja v0 ∈ Hs(Ω) (s > 1 + d/2). Existe um tempo 0 < T ≤ ∞ euma solucao unica v ∈ C([0, T [;Hs(Ω)) ∩ C1([0, T [;Hs−1(Ω)) doproblema de Cauchy.

♣ Pois que Hs(Ω) y C1(Ω) e Hs−1(Ω) y C(Ω) temos uma unicasolucao classica v ∈ C1(Ω× [0, T [), pois ‖v(t, ·)− v(t0, ·)‖C1 → 0 e‖∂tv(t, ·)− ∂tv(t0, ·)‖C → 0 quando t→ 0.

Page 92: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -20-

Mecanica dos fluidos -20- EE-c-td em Ω ⊂ R3 limitado.

Extensao temporal (Beale–Kato–Majda, 1984)

A mesma solucao pode ser extendida de modo unico e regular aointervalo [T, T + δ[, δ > 0 se ω ∈ L1(]0, T [;L∞(Ω)).♣ Fisicamente: existe uma instabilidade em t = T se a vorticidadenao estiver limitada.

Problema:Gostariamos de haver um resultado de existencia num intervalo Iindependente da condicao inicial, e para condicoes iniciais nao taoregulares como C1.

♣ Fisicamente temos que haver a energia cinetica limitada, ou seja∫I ‖v‖

22dt <∞, dar um sentido fraco a div (v ⊗ v) e ∇p. Para

alem temos v0 ∈ D′(Rd) e v deve ser pelo menos continua paradarmos um sentido a condicao inical.

Page 93: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -20-

Mecanica dos fluidos -20- EE-c-td em Ω ⊂ R3 limitado.

Extensao temporal (Beale–Kato–Majda, 1984)

A mesma solucao pode ser extendida de modo unico e regular aointervalo [T, T + δ[, δ > 0 se ω ∈ L1(]0, T [;L∞(Ω)).♣ Fisicamente: existe uma instabilidade em t = T se a vorticidadenao estiver limitada.

Problema:Gostariamos de haver um resultado de existencia num intervalo Iindependente da condicao inicial, e para condicoes iniciais nao taoregulares como C1.

♣ Fisicamente temos que haver a energia cinetica limitada, ou seja∫I ‖v‖

22dt <∞, dar um sentido fraco a div (v ⊗ v) e ∇p. Para

alem temos v0 ∈ D′(Rd) e v deve ser pelo menos continua paradarmos um sentido a condicao inical.

Page 94: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -20-

Mecanica dos fluidos -20- EE-c-td em Ω ⊂ R3 limitado.

Extensao temporal (Beale–Kato–Majda, 1984)

A mesma solucao pode ser extendida de modo unico e regular aointervalo [T, T + δ[, δ > 0 se ω ∈ L1(]0, T [;L∞(Ω)).♣ Fisicamente: existe uma instabilidade em t = T se a vorticidadenao estiver limitada.

Problema:Gostariamos de haver um resultado de existencia num intervalo Iindependente da condicao inicial, e para condicoes iniciais nao taoregulares como C1.

♣ Fisicamente temos que haver a energia cinetica limitada, ou seja∫I ‖v‖

22dt <∞, dar um sentido fraco a div (v ⊗ v) e ∇p. Para

alem temos v0 ∈ D′(Rd) e v deve ser pelo menos continua paradarmos um sentido a condicao inical.

Page 95: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -21-

Mecanica dos fluidos -21- EE-c-td em Ω ⊂ R3 limitado.

Solucao fraca

O par (v, p) e solucao no sentido das distribuicoes de (F) sev ∈ C(I;D′(Rd)) ∩ L2

loc(I × Rd), p ∈ L1loc(I × Rd) .

♣ Nota-se que neste definicao, nao e exigido a conservacao daenergia: nao segue automaticamente, pois que ∂tv ∈ D′ (sentidode∫

Ω v · ∂tvdx?)

Paradoxo de Scheffer-Schnirelman (1993, 1997))

Seja f = 0. Existe uma solucao fraca de (F) a 2D nao nula e comsuporte compato em I × Rd.

♣ Solucao nao e fisica, visto que existe um campo de velocidadesnao nulo, sem forcagem e com uma C.I. nula, e que volta a sernulo num instante.

Page 96: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -21-

Mecanica dos fluidos -21- EE-c-td em Ω ⊂ R3 limitado.

Solucao fraca

O par (v, p) e solucao no sentido das distribuicoes de (F) sev ∈ C(I;D′(Rd)) ∩ L2

loc(I × Rd), p ∈ L1loc(I × Rd) .

♣ Nota-se que neste definicao, nao e exigido a conservacao daenergia: nao segue automaticamente, pois que ∂tv ∈ D′ (sentidode∫

Ω v · ∂tvdx?)

Paradoxo de Scheffer-Schnirelman (1993, 1997))

Seja f = 0. Existe uma solucao fraca de (F) a 2D nao nula e comsuporte compato em I × Rd.

♣ Solucao nao e fisica, visto que existe um campo de velocidadesnao nulo, sem forcagem e com uma C.I. nula, e que volta a sernulo num instante.

Page 97: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -21-

Mecanica dos fluidos -21- EE-c-td em Ω ⊂ R3 limitado.

Solucao fraca

O par (v, p) e solucao no sentido das distribuicoes de (F) sev ∈ C(I;D′(Rd)) ∩ L2

loc(I × Rd), p ∈ L1loc(I × Rd) .

♣ Nota-se que neste definicao, nao e exigido a conservacao daenergia: nao segue automaticamente, pois que ∂tv ∈ D′ (sentidode∫

Ω v · ∂tvdx?)

Paradoxo de Scheffer-Schnirelman (1993, 1997))

Seja f = 0. Existe uma solucao fraca de (F) a 2D nao nula e comsuporte compato em I × Rd.

♣ Solucao nao e fisica, visto que existe um campo de velocidadesnao nulo, sem forcagem e com uma C.I. nula, e que volta a sernulo num instante.

Page 98: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -22-

Mecanica dos fluidos -22- EE-c-td em Ω ⊂ R3 limitado.

Teorema de De Lellis e Szekelyhidi (2009)

Seja Ω ⊂ Rd aberto, T > 0, e e :]0, T [×Ω→ R∗ uniformementecontinua e tal que e ∈ L∞(]0, T [;L1(Ω)). Para f = 0 e qualquerη > existe uma solucao fraca tal que(i) v ∈ C(R : L2(Rd; fraco)),(ii) v(t, x) = 0 se (x, t) /∈]0, T [×Ω,

(iii) |v(t,x)|22 = −d

2p(t, x) = e(t, x), ∀t ∈]0, T [ e q.t. x ∈ Ω,(iv) sup0≤t≤T ‖v(t, ·)‖H−1(Rd) ≤ η,

(v)(v, p) = limn→∞

(vn, pn) em L2(I × Rd), onde (vk, pk) e solucao

forte de (F) com forca fk ∈ D(I × Ω) tal que fk → 0 em D′(Ω).

♣(iii)⇒ velocidade pode ser localmente grandes quanto quizernum dominio pequeno quanto quizer, e a pressao constante(e = cste⇒sem interaccoes entre partıculas); (iv) ⇒ velocidademacroscopica quase invisıvel, com oscilacoes rapidas (∂tv ∼ ∇e).

Page 99: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -22-

Mecanica dos fluidos -22- EE-c-td em Ω ⊂ R3 limitado.

Teorema de De Lellis e Szekelyhidi (2009)

Seja Ω ⊂ Rd aberto, T > 0, e e :]0, T [×Ω→ R∗ uniformementecontinua e tal que e ∈ L∞(]0, T [;L1(Ω)). Para f = 0 e qualquerη > existe uma solucao fraca tal que(i) v ∈ C(R : L2(Rd; fraco)),(ii) v(t, x) = 0 se (x, t) /∈]0, T [×Ω,

(iii) |v(t,x)|22 = −d

2p(t, x) = e(t, x), ∀t ∈]0, T [ e q.t. x ∈ Ω,(iv) sup0≤t≤T ‖v(t, ·)‖H−1(Rd) ≤ η,

(v)(v, p) = limn→∞

(vn, pn) em L2(I × Rd), onde (vk, pk) e solucao

forte de (F) com forca fk ∈ D(I × Ω) tal que fk → 0 em D′(Ω).

♣(iii)⇒ velocidade pode ser localmente grandes quanto quizernum dominio pequeno quanto quizer, e a pressao constante(e = cste⇒sem interaccoes entre partıculas); (iv) ⇒ velocidademacroscopica quase invisıvel, com oscilacoes rapidas (∂tv ∼ ∇e).

Page 100: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -22-

Mecanica dos fluidos -22- EE-c-td em Ω ⊂ R3 limitado.

Teorema de De Lellis e Szekelyhidi (2009)

Seja Ω ⊂ Rd aberto, T > 0, e e :]0, T [×Ω→ R∗ uniformementecontinua e tal que e ∈ L∞(]0, T [;L1(Ω)). Para f = 0 e qualquerη > existe uma solucao fraca tal que(i) v ∈ C(R : L2(Rd; fraco)),(ii) v(t, x) = 0 se (x, t) /∈]0, T [×Ω,

(iii) |v(t,x)|22 = −d

2p(t, x) = e(t, x), ∀t ∈]0, T [ e q.t. x ∈ Ω,(iv) sup0≤t≤T ‖v(t, ·)‖H−1(Rd) ≤ η,

(v)(v, p) = limn→∞

(vn, pn) em L2(I × Rd), onde (vk, pk) e solucao

forte de (F) com forca fk ∈ D(I × Ω) tal que fk → 0 em D′(Ω).

♣(iii)⇒ velocidade pode ser localmente grandes quanto quizernum dominio pequeno quanto quizer, e a pressao constante(e = cste⇒sem interaccoes entre partıculas); (iv) ⇒ velocidademacroscopica quase invisıvel, com oscilacoes rapidas (∂tv ∼ ∇e).

Page 101: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -22-

Mecanica dos fluidos -22- EE-c-td em Ω ⊂ R3 limitado.

Teorema de De Lellis e Szekelyhidi (2009)

Seja Ω ⊂ Rd aberto, T > 0, e e :]0, T [×Ω→ R∗ uniformementecontinua e tal que e ∈ L∞(]0, T [;L1(Ω)). Para f = 0 e qualquerη > existe uma solucao fraca tal que(i) v ∈ C(R : L2(Rd; fraco)),(ii) v(t, x) = 0 se (x, t) /∈]0, T [×Ω,

(iii) |v(t,x)|22 = −d

2p(t, x) = e(t, x), ∀t ∈]0, T [ e q.t. x ∈ Ω,(iv) sup0≤t≤T ‖v(t, ·)‖H−1(Rd) ≤ η,

(v)(v, p) = limn→∞

(vn, pn) em L2(I × Rd), onde (vk, pk) e solucao

forte de (F) com forca fk ∈ D(I × Ω) tal que fk → 0 em D′(Ω).

♣(iii)⇒ velocidade pode ser localmente grandes quanto quizernum dominio pequeno quanto quizer, e a pressao constante(e = cste⇒sem interaccoes entre partıculas); (iv) ⇒ velocidademacroscopica quase invisıvel, com oscilacoes rapidas (∂tv ∼ ∇e).

Page 102: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -23-

Mecanica dos fluidos -23- ENS-c-td em Ω ⊂ R3 limitado.

Formulacao forte

()

∂tv + (v · ∇)v +∇p− Re−1∆v = f Ω

div v = 0 Ωv = 0 ∂Ωv(0) = v0 Ω

.

Formulacao fraca 1: funccoes test independente do tempo

Procura-se v ∈ L2(]0, T [;V ) tal que ∀w ∈ V :()0 =ddt(v(t), w)L2(Ω) + a(v(t), w) + (B(v, v), w)2 − 〈f(t), w〉H−1,H1

0

vale em D′(]0, T [), e v(0) = v0 vale em V ′

(i.e., continuidade fraca-F: 〈v(t), ϕ〉V ′,V → 〈v0, ϕ〉V ′,V ).

Page 103: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -23-

Mecanica dos fluidos -23- ENS-c-td em Ω ⊂ R3 limitado.

Formulacao forte

()

∂tv + (v · ∇)v +∇p− Re−1∆v = f Ω

div v = 0 Ωv = 0 ∂Ωv(0) = v0 Ω

.

Formulacao fraca 1: funccoes test independente do tempo

Procura-se v ∈ L2(]0, T [;V ) tal que ∀w ∈ V :()0 =ddt(v(t), w)L2(Ω) + a(v(t), w) + (B(v, v), w)2 − 〈f(t), w〉H−1,H1

0

vale em D′(]0, T [), e v(0) = v0 vale em V ′

(i.e., continuidade fraca-F: 〈v(t), ϕ〉V ′,V → 〈v0, ϕ〉V ′,V ).

Page 104: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -23-

Mecanica dos fluidos -23- ENS-c-td em Ω ⊂ R3 limitado.

Formulacao forte

()

∂tv + (v · ∇)v +∇p− Re−1∆v = f Ω

div v = 0 Ωv = 0 ∂Ωv(0) = v0 Ω

.

Formulacao fraca 1: funccoes test independente do tempo

Procura-se v ∈ L2(]0, T [;V ) tal que ∀w ∈ V :()0 =ddt(v(t), w)L2(Ω) + a(v(t), w) + (B(v, v), w)2 − 〈f(t), w〉H−1,H1

0

vale em D′(]0, T [), e v(0) = v0 vale em V ′

(i.e., continuidade fraca-F: 〈v(t), ϕ〉V ′,V → 〈v0, ϕ〉V ′,V ).

Page 105: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -24-

Mecanica dos fluidos -24- ENS-c-td em Ω ⊂ R3 limitado.

Formulacao fraca 2: funccoes test dependente do tempo

Procura-se v ∈ L2(]0, T [;V ) tal que dvdt ∈ L

1(]0, T [;V ′), queverifique ∀ψ ∈ Cc(]0, T [;V ):

()

∫ T

0

(〈dv(t)

dt, ψ(t)〉V ′,V + a(v(t), ψ(t)) + (B(v(t), v(t)), ψ(t))2

−〈f(t), ψ(t)〉H−1,H10 (Ω)dt = 0.

Lema 8: Equivalencia das formulacoes

Seja v ∈ L2(]0, T [;V ) e f ∈ L1(]0, T [;V ′). Sao equivalentes (i) vsolucao de () e dv

dt ∈ L1(]0, T [;V ′), (ii) v solucao de (), e (iii)

v(t) e solucao de () em V ′ para quase todos os t.

Page 106: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -24-

Mecanica dos fluidos -24- ENS-c-td em Ω ⊂ R3 limitado.

Formulacao fraca 2: funccoes test dependente do tempo

Procura-se v ∈ L2(]0, T [;V ) tal que dvdt ∈ L

1(]0, T [;V ′), queverifique ∀ψ ∈ Cc(]0, T [;V ):

()

∫ T

0

(〈dv(t)

dt, ψ(t)〉V ′,V + a(v(t), ψ(t)) + (B(v(t), v(t)), ψ(t))2

−〈f(t), ψ(t)〉H−1,H10 (Ω)dt = 0.

Lema 8: Equivalencia das formulacoes

Seja v ∈ L2(]0, T [;V ) e f ∈ L1(]0, T [;V ′). Sao equivalentes (i) vsolucao de () e dv

dt ∈ L1(]0, T [;V ′), (ii) v solucao de (), e (iii)

v(t) e solucao de () em V ′ para quase todos os t.

Page 107: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -25-

Mecanica dos fluidos -25- ENS-c-td em Ω ⊂ R3 limitado.

Teorema (Leray ∼ 1930)

Seja Ω ⊂ R3 Lipschitziano, Re > 0, f ∈ L2loc(]0,∞[;H−1(Ω)), e

v0 ∈W . Portanto existe v ∈ L∞(]0, T [,W ) ∩ L2(]0, T [;V ) ep ∈W−1,∞(]0, T [;L2

0(Ω) t.q dvdt ∈ L

4/3(]0, T [;V ′) (i.e.,v ∈ C([0, T ];V ′)).♣ Temos a desigualdade de energia:12‖v‖

22(t) + Re−1

∫ t0 ‖∇v‖

22(s)ds ≤ 1

2‖v‖22(0) +

∫ t0 〈f, v〉H−1,H1

0(s)ds

♣ Em 2d temos uma unica v ∈ C([0, T ];W ) e vale a conservacaoda energia:12‖v‖

22(t) + Re−1

∫ t0 ‖∇v‖

22(s)ds = 1

2‖v‖22(0) +

∫ t0 〈f, v〉H−1,H1

0(s)ds

♣ Nota que se quisessemos um valor puntual de v(t) com0 ≤ t ≤ T entao v(t) ∈ V ′.

Page 108: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -25-

Mecanica dos fluidos -25- ENS-c-td em Ω ⊂ R3 limitado.

Teorema (Leray ∼ 1930)

Seja Ω ⊂ R3 Lipschitziano, Re > 0, f ∈ L2loc(]0,∞[;H−1(Ω)), e

v0 ∈W . Portanto existe v ∈ L∞(]0, T [,W ) ∩ L2(]0, T [;V ) ep ∈W−1,∞(]0, T [;L2

0(Ω) t.q dvdt ∈ L

4/3(]0, T [;V ′) (i.e.,v ∈ C([0, T ];V ′)).♣ Temos a desigualdade de energia:12‖v‖

22(t) + Re−1

∫ t0 ‖∇v‖

22(s)ds ≤ 1

2‖v‖22(0) +

∫ t0 〈f, v〉H−1,H1

0(s)ds

♣ Em 2d temos uma unica v ∈ C([0, T ];W ) e vale a conservacaoda energia:12‖v‖

22(t) + Re−1

∫ t0 ‖∇v‖

22(s)ds = 1

2‖v‖22(0) +

∫ t0 〈f, v〉H−1,H1

0(s)ds

♣ Nota que se quisessemos um valor puntual de v(t) com0 ≤ t ≤ T entao v(t) ∈ V ′.

Page 109: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -25-

Mecanica dos fluidos -25- ENS-c-td em Ω ⊂ R3 limitado.

Teorema (Leray ∼ 1930)

Seja Ω ⊂ R3 Lipschitziano, Re > 0, f ∈ L2loc(]0,∞[;H−1(Ω)), e

v0 ∈W . Portanto existe v ∈ L∞(]0, T [,W ) ∩ L2(]0, T [;V ) ep ∈W−1,∞(]0, T [;L2

0(Ω) t.q dvdt ∈ L

4/3(]0, T [;V ′) (i.e.,v ∈ C([0, T ];V ′)).♣ Temos a desigualdade de energia:12‖v‖

22(t) + Re−1

∫ t0 ‖∇v‖

22(s)ds ≤ 1

2‖v‖22(0) +

∫ t0 〈f, v〉H−1,H1

0(s)ds

♣ Em 2d temos uma unica v ∈ C([0, T ];W ) e vale a conservacaoda energia:12‖v‖

22(t) + Re−1

∫ t0 ‖∇v‖

22(s)ds = 1

2‖v‖22(0) +

∫ t0 〈f, v〉H−1,H1

0(s)ds

♣ Nota que se quisessemos um valor puntual de v(t) com0 ≤ t ≤ T entao v(t) ∈ V ′.

Page 110: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -25-

Mecanica dos fluidos -25- ENS-c-td em Ω ⊂ R3 limitado.

Teorema (Leray ∼ 1930)

Seja Ω ⊂ R3 Lipschitziano, Re > 0, f ∈ L2loc(]0,∞[;H−1(Ω)), e

v0 ∈W . Portanto existe v ∈ L∞(]0, T [,W ) ∩ L2(]0, T [;V ) ep ∈W−1,∞(]0, T [;L2

0(Ω) t.q dvdt ∈ L

4/3(]0, T [;V ′) (i.e.,v ∈ C([0, T ];V ′)).♣ Temos a desigualdade de energia:12‖v‖

22(t) + Re−1

∫ t0 ‖∇v‖

22(s)ds ≤ 1

2‖v‖22(0) +

∫ t0 〈f, v〉H−1,H1

0(s)ds

♣ Em 2d temos uma unica v ∈ C([0, T ];W ) e vale a conservacaoda energia:12‖v‖

22(t) + Re−1

∫ t0 ‖∇v‖

22(s)ds = 1

2‖v‖22(0) +

∫ t0 〈f, v〉H−1,H1

0(s)ds

♣ Nota que se quisessemos um valor puntual de v(t) com0 ≤ t ≤ T entao v(t) ∈ V ′.

Page 111: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -26-

Mecanica dos fluidos -26- ENS-c-td em Ω ⊂ R3 limitado.Relacao com a 1a Lei

Temos sempre ddt (Eint + Epot + Ecin) = Contribuicoes de Calor.

Pelo teorema ddt

(Eint − Re−1

∫ t0 ‖∇v‖

22(s)ds

)= Calor.

♣ Escrevemos Re−1‖∇v‖22(t) = ddtEint(t)− Calor, i.e., interpretar

Re−1‖∇v‖22 como uma dissipacao viscosa (Calor que sai).

♣ Interpretacao: em 2d, Eint =∫ t

0 Re−1‖∇v‖22(s)ds+ Calor(Calor intrinseco=criado pelo fluido sobre si mesmo, mais oexterno=fornecido), enquanto em 3d, pelo teorema,Eint ≥

∫ t0 Re−1‖∇v‖22(s)ds+ Calor. ⇒ Parece que em 3d a

energia interna (i.e., das moleculas do fluido) tem outrocomportamento (i.e, existe outras fontes de energia interna...).

Page 112: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -26-

Mecanica dos fluidos -26- ENS-c-td em Ω ⊂ R3 limitado.Relacao com a 1a Lei

Temos sempre ddt (Eint + Epot + Ecin) = Contribuicoes de Calor.

Pelo teorema ddt

(Eint − Re−1

∫ t0 ‖∇v‖

22(s)ds

)= Calor.

♣ Escrevemos Re−1‖∇v‖22(t) = ddtEint(t)− Calor, i.e., interpretar

Re−1‖∇v‖22 como uma dissipacao viscosa (Calor que sai).♣ Interpretacao: em 2d, Eint =

∫ t0 Re−1‖∇v‖22(s)ds+ Calor

(Calor intrinseco=criado pelo fluido sobre si mesmo, mais oexterno=fornecido), enquanto em 3d, pelo teorema,Eint ≥

∫ t0 Re−1‖∇v‖22(s)ds+ Calor. ⇒ Parece que em 3d a

energia interna (i.e., das moleculas do fluido) tem outrocomportamento (i.e, existe outras fontes de energia interna...).

Page 113: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -26-

Mecanica dos fluidos -26- ENS-c-td em Ω ⊂ R3 limitado.Relacao com a 1a Lei

Temos sempre ddt (Eint + Epot + Ecin) = Contribuicoes de Calor.

Pelo teorema ddt

(Eint − Re−1

∫ t0 ‖∇v‖

22(s)ds

)= Calor.

♣ Escrevemos Re−1‖∇v‖22(t) = ddtEint(t)− Calor, i.e., interpretar

Re−1‖∇v‖22 como uma dissipacao viscosa (Calor que sai).♣ Interpretacao: em 2d, Eint =

∫ t0 Re−1‖∇v‖22(s)ds+ Calor

(Calor intrinseco=criado pelo fluido sobre si mesmo, mais oexterno=fornecido), enquanto em 3d, pelo teorema,Eint ≥

∫ t0 Re−1‖∇v‖22(s)ds+ Calor. ⇒ Parece que em 3d a

energia interna (i.e., das moleculas do fluido) tem outrocomportamento (i.e, existe outras fontes de energia interna...).

Page 114: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -27-

Mecanica dos fluidos -27- ENS-c-td em Ω ⊂ R3 limitado.♣ A solucao fraca e que da existencia global no tempo.

Extencao ao intervalo [0,∞[ a 2d e 3d.

Visto que v(T ) ∈ V ′ em vez de W nao se pode considerar oteorema num intervalo [T, T + δ].♣ Em 2d: define vn solucao em [0, n]. Pela unicidade temosvn = vm em [0, n] se n < m e portanto v(t) := vn(t) se t ∈ [0, n].Em 3d nao se pode proceder desta forma, pela falta de unicidade(mas vale o mesmo).

Duvida: com uma condicao inicial mais fraca, sera que existeuma solucao forte que seja unica?

SIM: f ∈ L2loc(]0,∞[;L2(Ω)), e v0 ∈ V ⇒ v ∈ C([0, T ?[;V ), para

o unico T ? : T ? =(

2CRe3(‖v0‖22 + CRe∫ T ?

0 ‖f‖22(s)ds))−1

.

Nota-se que T ? →∞ se os dados forem pequenos (v0, f → 0).

Page 115: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -27-

Mecanica dos fluidos -27- ENS-c-td em Ω ⊂ R3 limitado.♣ A solucao fraca e que da existencia global no tempo.

Extencao ao intervalo [0,∞[ a 2d e 3d.

Visto que v(T ) ∈ V ′ em vez de W nao se pode considerar oteorema num intervalo [T, T + δ].♣ Em 2d: define vn solucao em [0, n]. Pela unicidade temosvn = vm em [0, n] se n < m e portanto v(t) := vn(t) se t ∈ [0, n].Em 3d nao se pode proceder desta forma, pela falta de unicidade(mas vale o mesmo).

Duvida: com uma condicao inicial mais fraca, sera que existeuma solucao forte que seja unica?

SIM: f ∈ L2loc(]0,∞[;L2(Ω)), e v0 ∈ V ⇒ v ∈ C([0, T ?[;V ), para

o unico T ? : T ? =(

2CRe3(‖v0‖22 + CRe∫ T ?

0 ‖f‖22(s)ds))−1

.

Nota-se que T ? →∞ se os dados forem pequenos (v0, f → 0).

Page 116: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -27-

Mecanica dos fluidos -27- ENS-c-td em Ω ⊂ R3 limitado.♣ A solucao fraca e que da existencia global no tempo.

Extencao ao intervalo [0,∞[ a 2d e 3d.

Visto que v(T ) ∈ V ′ em vez de W nao se pode considerar oteorema num intervalo [T, T + δ].♣ Em 2d: define vn solucao em [0, n]. Pela unicidade temosvn = vm em [0, n] se n < m e portanto v(t) := vn(t) se t ∈ [0, n].Em 3d nao se pode proceder desta forma, pela falta de unicidade(mas vale o mesmo).

Duvida: com uma condicao inicial mais fraca, sera que existeuma solucao forte que seja unica?

SIM: f ∈ L2loc(]0,∞[;L2(Ω)), e v0 ∈ V ⇒ v ∈ C([0, T ?[;V ), para

o unico T ? : T ? =(

2CRe3(‖v0‖22 + CRe∫ T ?

0 ‖f‖22(s)ds))−1

.

Nota-se que T ? →∞ se os dados forem pequenos (v0, f → 0).

Page 117: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -27-

Mecanica dos fluidos -27- ENS-c-td em Ω ⊂ R3 limitado.♣ A solucao fraca e que da existencia global no tempo.

Extencao ao intervalo [0,∞[ a 2d e 3d.

Visto que v(T ) ∈ V ′ em vez de W nao se pode considerar oteorema num intervalo [T, T + δ].♣ Em 2d: define vn solucao em [0, n]. Pela unicidade temosvn = vm em [0, n] se n < m e portanto v(t) := vn(t) se t ∈ [0, n].Em 3d nao se pode proceder desta forma, pela falta de unicidade(mas vale o mesmo).

Duvida: com uma condicao inicial mais fraca, sera que existeuma solucao forte que seja unica?

SIM: f ∈ L2loc(]0,∞[;L2(Ω)), e v0 ∈ V ⇒ v ∈ C([0, T ?[;V ), para

o unico T ? : T ? =(

2CRe3(‖v0‖22 + CRe∫ T ?

0 ‖f‖22(s)ds))−1

.

Nota-se que T ? →∞ se os dados forem pequenos (v0, f → 0).

Page 118: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -28-

Mecanica dos fluidos -28- ENS-c-td em Ω ⊂ R3 limitado.

Extencao ao intervalo [0,+∞[?

Visto que v(T ?) ∈ V pode-se considerar existencia num intervalo[T, T + δ]. Mas, quem nos garante que pode-se chegar a +∞?(Pois que δ depende de T ?).

♣ Temos T ? =∞ se ‖∇v0‖22 ≤C(Ω)

Re2 , ‖f‖2L∞(R+;L2(Ω)) ≤C(Ω)

Re4 .

♣ Voltamos a solucao fraca: ∀0 ≤ t0 <∞, so temos continuidadefraca para v, ou seja ∀w ∈W : (v(t)− v(t0), w)2 → 0, t→ t0.Sabemos tambem que ∀T > 0 : sup

t∈]0,T [‖v(t)‖2 <∞.

♣ Em particular, nao sabemos nada em termos de limite puntual.Nota-se que a velocidade so e definida em quase todos os pontos.

Conjunto singular (Solucao com blow-up.)

Definimos S(v) := (t, x) : ∀δ > 0 : v /∈ L∞ (Bδ(t, x)).

Page 119: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -28-

Mecanica dos fluidos -28- ENS-c-td em Ω ⊂ R3 limitado.

Extencao ao intervalo [0,+∞[?

Visto que v(T ?) ∈ V pode-se considerar existencia num intervalo[T, T + δ]. Mas, quem nos garante que pode-se chegar a +∞?(Pois que δ depende de T ?).

♣ Temos T ? =∞ se ‖∇v0‖22 ≤C(Ω)

Re2 , ‖f‖2L∞(R+;L2(Ω)) ≤C(Ω)

Re4 .

♣ Voltamos a solucao fraca: ∀0 ≤ t0 <∞, so temos continuidadefraca para v, ou seja ∀w ∈W : (v(t)− v(t0), w)2 → 0, t→ t0.Sabemos tambem que ∀T > 0 : sup

t∈]0,T [‖v(t)‖2 <∞.

♣ Em particular, nao sabemos nada em termos de limite puntual.Nota-se que a velocidade so e definida em quase todos os pontos.

Conjunto singular (Solucao com blow-up.)

Definimos S(v) := (t, x) : ∀δ > 0 : v /∈ L∞ (Bδ(t, x)).

Page 120: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -28-

Mecanica dos fluidos -28- ENS-c-td em Ω ⊂ R3 limitado.

Extencao ao intervalo [0,+∞[?

Visto que v(T ?) ∈ V pode-se considerar existencia num intervalo[T, T + δ]. Mas, quem nos garante que pode-se chegar a +∞?(Pois que δ depende de T ?).

♣ Temos T ? =∞ se ‖∇v0‖22 ≤C(Ω)

Re2 , ‖f‖2L∞(R+;L2(Ω)) ≤C(Ω)

Re4 .

♣ Voltamos a solucao fraca: ∀0 ≤ t0 <∞, so temos continuidadefraca para v, ou seja ∀w ∈W : (v(t)− v(t0), w)2 → 0, t→ t0.Sabemos tambem que ∀T > 0 : sup

t∈]0,T [‖v(t)‖2 <∞.

♣ Em particular, nao sabemos nada em termos de limite puntual.Nota-se que a velocidade so e definida em quase todos os pontos.

Conjunto singular (Solucao com blow-up.)

Definimos S(v) := (t, x) : ∀δ > 0 : v /∈ L∞ (Bδ(t, x)).

Page 121: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -28-

Mecanica dos fluidos -28- ENS-c-td em Ω ⊂ R3 limitado.

Extencao ao intervalo [0,+∞[?

Visto que v(T ?) ∈ V pode-se considerar existencia num intervalo[T, T + δ]. Mas, quem nos garante que pode-se chegar a +∞?(Pois que δ depende de T ?).

♣ Temos T ? =∞ se ‖∇v0‖22 ≤C(Ω)

Re2 , ‖f‖2L∞(R+;L2(Ω)) ≤C(Ω)

Re4 .

♣ Voltamos a solucao fraca: ∀0 ≤ t0 <∞, so temos continuidadefraca para v, ou seja ∀w ∈W : (v(t)− v(t0), w)2 → 0, t→ t0.Sabemos tambem que ∀T > 0 : sup

t∈]0,T [‖v(t)‖2 <∞.

♣ Em particular, nao sabemos nada em termos de limite puntual.Nota-se que a velocidade so e definida em quase todos os pontos.

Conjunto singular (Solucao com blow-up.)

Definimos S(v) := (t, x) : ∀δ > 0 : v /∈ L∞ (Bδ(t, x)).

Page 122: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -28-

Mecanica dos fluidos -28- ENS-c-td em Ω ⊂ R3 limitado.

Extencao ao intervalo [0,+∞[?

Visto que v(T ?) ∈ V pode-se considerar existencia num intervalo[T, T + δ]. Mas, quem nos garante que pode-se chegar a +∞?(Pois que δ depende de T ?).

♣ Temos T ? =∞ se ‖∇v0‖22 ≤C(Ω)

Re2 , ‖f‖2L∞(R+;L2(Ω)) ≤C(Ω)

Re4 .

♣ Voltamos a solucao fraca: ∀0 ≤ t0 <∞, so temos continuidadefraca para v, ou seja ∀w ∈W : (v(t)− v(t0), w)2 → 0, t→ t0.Sabemos tambem que ∀T > 0 : sup

t∈]0,T [‖v(t)‖2 <∞.

♣ Em particular, nao sabemos nada em termos de limite puntual.Nota-se que a velocidade so e definida em quase todos os pontos.

Conjunto singular (Solucao com blow-up.)

Definimos S(v) := (t, x) : ∀δ > 0 : v /∈ L∞ (Bδ(t, x)).

Page 123: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -29-

Mecanica dos fluidos -29- ENS-c-td em Ω ⊂ R3 limitado.

Teoremas (Serrin ∼ 1962, 63, Caffarelli-Kohn-Nirenberg∼ 1982)

Se (t, x) /∈ S(v)⇒ ∀k ∈ N : v ∈ Ck,α(Bδ/2(t, x)), α > 0.Temos

I H1(S) = 0⇒ dH(S) ≤ 1.

I H1/2(πS) = 0⇒ dH() ≤ 1/2, onde πS e o conjunto dostempos singulares.

I uma solucao fraca so pode bifurcar nos tempos singulares.

♣ O blow-up significa fisicamente transferencia de energia aescadas sempre mais pequenas, pois no final trata-se de energiaconcentrada num conjunto fractal.

Page 124: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -29-

Mecanica dos fluidos -29- ENS-c-td em Ω ⊂ R3 limitado.

Teoremas (Serrin ∼ 1962, 63, Caffarelli-Kohn-Nirenberg∼ 1982)

Se (t, x) /∈ S(v)⇒ ∀k ∈ N : v ∈ Ck,α(Bδ/2(t, x)), α > 0.Temos

I H1(S) = 0⇒ dH(S) ≤ 1.

I H1/2(πS) = 0⇒ dH() ≤ 1/2, onde πS e o conjunto dostempos singulares.

I uma solucao fraca so pode bifurcar nos tempos singulares.

♣ O blow-up significa fisicamente transferencia de energia aescadas sempre mais pequenas, pois no final trata-se de energiaconcentrada num conjunto fractal.

Page 125: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -29-

Mecanica dos fluidos -29- ENS-c-td em Ω ⊂ R3 limitado.

Teoremas (Serrin ∼ 1962, 63, Caffarelli-Kohn-Nirenberg∼ 1982)

Se (t, x) /∈ S(v)⇒ ∀k ∈ N : v ∈ Ck,α(Bδ/2(t, x)), α > 0.Temos

I H1(S) = 0⇒ dH(S) ≤ 1.

I H1/2(πS) = 0⇒ dH() ≤ 1/2, onde πS e o conjunto dostempos singulares.

I uma solucao fraca so pode bifurcar nos tempos singulares.

♣ O blow-up significa fisicamente transferencia de energia aescadas sempre mais pequenas, pois no final trata-se de energiaconcentrada num conjunto fractal.

Page 126: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -29-

Mecanica dos fluidos -29- ENS-c-td em Ω ⊂ R3 limitado.

Teoremas (Serrin ∼ 1962, 63, Caffarelli-Kohn-Nirenberg∼ 1982)

Se (t, x) /∈ S(v)⇒ ∀k ∈ N : v ∈ Ck,α(Bδ/2(t, x)), α > 0.Temos

I H1(S) = 0⇒ dH(S) ≤ 1.

I H1/2(πS) = 0⇒ dH() ≤ 1/2, onde πS e o conjunto dostempos singulares.

I uma solucao fraca so pode bifurcar nos tempos singulares.

♣ O blow-up significa fisicamente transferencia de energia aescadas sempre mais pequenas, pois no final trata-se de energiaconcentrada num conjunto fractal.

Page 127: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -29-

Mecanica dos fluidos -29- ENS-c-td em Ω ⊂ R3 limitado.

Teoremas (Serrin ∼ 1962, 63, Caffarelli-Kohn-Nirenberg∼ 1982)

Se (t, x) /∈ S(v)⇒ ∀k ∈ N : v ∈ Ck,α(Bδ/2(t, x)), α > 0.Temos

I H1(S) = 0⇒ dH(S) ≤ 1.

I H1/2(πS) = 0⇒ dH() ≤ 1/2, onde πS e o conjunto dostempos singulares.

I uma solucao fraca so pode bifurcar nos tempos singulares.

♣ O blow-up significa fisicamente transferencia de energia aescadas sempre mais pequenas, pois no final trata-se de energiaconcentrada num conjunto fractal.

Page 128: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -30-

Mecanica dos fluidos -30- ENS-c-td. Conclusao.

Solucao com blow-up.

I Nao sao fisicas: as ENS nao estao validas se tiverem lugar.

I Argomento mais forte: num fluido a velocidade nao pode sersuperior a velocidade do som.

I O matematico italiano Giovanni Prouse (Politecnico diMilano) demostrou no 1979 que existe uma unica solucaocontinua com este vinculo.

I O problema e a condicao div v = 0 que e uma aproximacaoque torna as equaoese eliticas (i.e., com propagacao infinita).

Porque estudar equacoes nao realisticas?

Richard Feynman: “Physics is like sex: sure, it may give somepractical results, but that’s not why we do it”...

Page 129: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -30-

Mecanica dos fluidos -30- ENS-c-td. Conclusao.

Solucao com blow-up.

I Nao sao fisicas: as ENS nao estao validas se tiverem lugar.

I Argomento mais forte: num fluido a velocidade nao pode sersuperior a velocidade do som.

I O matematico italiano Giovanni Prouse (Politecnico diMilano) demostrou no 1979 que existe uma unica solucaocontinua com este vinculo.

I O problema e a condicao div v = 0 que e uma aproximacaoque torna as equaoese eliticas (i.e., com propagacao infinita).

Porque estudar equacoes nao realisticas?

Richard Feynman: “Physics is like sex: sure, it may give somepractical results, but that’s not why we do it”...

Page 130: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -30-

Mecanica dos fluidos -30- ENS-c-td. Conclusao.

Solucao com blow-up.

I Nao sao fisicas: as ENS nao estao validas se tiverem lugar.

I Argomento mais forte: num fluido a velocidade nao pode sersuperior a velocidade do som.

I O matematico italiano Giovanni Prouse (Politecnico diMilano) demostrou no 1979 que existe uma unica solucaocontinua com este vinculo.

I O problema e a condicao div v = 0 que e uma aproximacaoque torna as equaoese eliticas (i.e., com propagacao infinita).

Porque estudar equacoes nao realisticas?

Richard Feynman: “Physics is like sex: sure, it may give somepractical results, but that’s not why we do it”...

Page 131: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -30-

Mecanica dos fluidos -30- ENS-c-td. Conclusao.

Solucao com blow-up.

I Nao sao fisicas: as ENS nao estao validas se tiverem lugar.

I Argomento mais forte: num fluido a velocidade nao pode sersuperior a velocidade do som.

I O matematico italiano Giovanni Prouse (Politecnico diMilano) demostrou no 1979 que existe uma unica solucaocontinua com este vinculo.

I O problema e a condicao div v = 0 que e uma aproximacaoque torna as equaoese eliticas (i.e., com propagacao infinita).

Porque estudar equacoes nao realisticas?

Richard Feynman: “Physics is like sex: sure, it may give somepractical results, but that’s not why we do it”...

Page 132: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -30-

Mecanica dos fluidos -30- ENS-c-td. Conclusao.

Solucao com blow-up.

I Nao sao fisicas: as ENS nao estao validas se tiverem lugar.

I Argomento mais forte: num fluido a velocidade nao pode sersuperior a velocidade do som.

I O matematico italiano Giovanni Prouse (Politecnico diMilano) demostrou no 1979 que existe uma unica solucaocontinua com este vinculo.

I O problema e a condicao div v = 0 que e uma aproximacaoque torna as equaoese eliticas (i.e., com propagacao infinita).

Porque estudar equacoes nao realisticas?

Richard Feynman: “Physics is like sex: sure, it may give somepractical results, but that’s not why we do it”...

Page 133: Docente: Nicolas Van Goethem vangoeth@fc.ul.pt, Sala 6.2.20.nvgoethem/Teorica_MMC.pdf · Mecanica do continuo Aulas teoricas Mecanica do continuo Aulas teoricas Docente: Nicolas Van

Mecanica do continuo Aulas teoricasMecanica dos fluidos -1-

Mecanica dos fluidos -30-

Mecanica dos fluidos -30- ENS-c-td. Conclusao.

Solucao com blow-up.

I Nao sao fisicas: as ENS nao estao validas se tiverem lugar.

I Argomento mais forte: num fluido a velocidade nao pode sersuperior a velocidade do som.

I O matematico italiano Giovanni Prouse (Politecnico diMilano) demostrou no 1979 que existe uma unica solucaocontinua com este vinculo.

I O problema e a condicao div v = 0 que e uma aproximacaoque torna as equaoese eliticas (i.e., com propagacao infinita).

Porque estudar equacoes nao realisticas?

Richard Feynman: “Physics is like sex: sure, it may give somepractical results, but that’s not why we do it”...