Degenerate nonlinear parabolic-hyperbolic equations and ... - SMAI
Degenerate nonlinear parabolic-hyperbolic equations and ... - SMAI
Degenerate nonlinear parabolic-hyperbolic equations and ... - SMAI
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