17.08.2013 Views

Degenerate nonlinear parabolic-hyperbolic equations and ... - SMAI

Degenerate nonlinear parabolic-hyperbolic equations and ... - SMAI

Degenerate nonlinear parabolic-hyperbolic equations and ... - SMAI

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>Degenerate</strong> Parabolic Problems & FV Discretization Theoretical foundations Meshes, operators <strong>and</strong> scheme Discrete calculus & Convergence analysis<br />

Discrete calculus tools...<br />

Let’s follow the steps of the “continuous” convergence proof, looking<br />

at the discrete analogues of the arguments.<br />

“Variational” arguments: take w T for test function, get<br />

Energy estimates<br />

(=⇒ Existence + Weak L p compactness for gradients ∇ T w T,∆t<br />

+ Estimate of space translates for w T,∆t )<br />

Estimate of time translates for w T,∆t .<br />

We have to establish that (divc F) T (·) “coexists nicely” with variational<br />

technique , i.e., (div c F) T (u T ), A(u T <br />

) behaves more or less like<br />

<br />

=<br />

Ω<br />

div <br />

F(u) A(u) := − F(u)· ∇A(u)<br />

<br />

Ω<br />

div u<br />

F(s) dA(s) <br />

=<br />

u<br />

F(s) dA(s) ·ν = 0.<br />

Ω<br />

0<br />

We also have to produce discrete versions of L p (0, T; W 1,p (Ω)) weak<br />

compactness, of Sobolev embeddings of W 1,p (Ω) into L sthg (Ω) (Andr.<br />

& Boyer & Hubert ), <strong>and</strong> exploit discrete duality.<br />

∂Ω<br />

0

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

Saved successfully!

Ooh no, something went wrong!