From: Wolfgang Bangerth Date: Fri, 7 Jan 2022 10:06:52 +0000 (-0700) Subject: Document a part of step-43 that confused @tjhei. X-Git-Tag: v9.4.0-rc1~648^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F13188%2Fhead;p=dealii.git Document a part of step-43 that confused @tjhei. --- diff --git a/examples/step-43/doc/intro.dox b/examples/step-43/doc/intro.dox index 658f1971f4..483bfb61e3 100644 --- a/examples/step-43/doc/intro.dox +++ b/examples/step-43/doc/intro.dox @@ -59,7 +59,7 @@ Much inspiration for this program comes from step-31 but several of the techniques discussed here are original. -

Advection-dominated two-phase flow mathematical model.

+

Advection-dominated two-phase flow mathematical model

We consider the flow of a two-phase immiscible, incompressible fluid. Capillary and gravity effects are neglected, and viscous @@ -103,7 +103,7 @@ and we arrive at a complete model by also imposing boundary values for the saturation variable on the inflow boundary $\mathbf{\Gamma}_{in}$. -

Adaptive operator splitting and time stepping.

+

Adaptive operator splitting and time stepping

As seen in step-21, solving the flow equations for velocity and pressure are the parts of the program that take far longer than the (explicit) updating @@ -154,7 +154,9 @@ diameter of cell $K$). The result is a scheme where neither micro nor macro time steps are of uniform length, and both are chosen adaptively. -

Time discretization.

+ +

Time discretization

+ Using this time discretization, we obtain the following set of equations for each time step from the IMPES approach (see step-21): @f{align*} @@ -170,7 +172,8 @@ saturation equation becomes &\epsilon \left( \frac{S^{(n)}-S^{(n-1)}}{\Delta t^{(n)}_c} \right) + \mathbf{u}^{(n)}_t \cdot \nabla F\left(S^{(n-1)}\right) + F\left(S^{(n-1)}\right)q=0. @f} -

Weak form, space discretization for the pressure-velocity part.

+ +

Weak form, space discretization for the pressure-velocity part

By multiplying the equations defining the total velocity $\mathbf u_t^{(n)}$ and the equation that expresses its divergence in terms of source terms, with test @@ -201,7 +204,9 @@ the pressure, i.e. $u_h \in Q^d_{p+1}$ and $p_h \in Q_p$, where $p=1$, $d$ is the space dimension, and $Q_s$ denotes the space of tensor product Lagrange polynomials of degree $s$ in each variable. -

Stabilization, weak form and space discretization for the saturation transport equation.

+ +

Stabilization, weak form and space discretization for the saturation transport equation

+ The chosen $Q_1$ elements for the saturation equation do not lead to a stable discretization without upwinding or other kinds of stabilization, and spurious oscillations will appear in the numerical solution. Adding an artificial @@ -294,7 +299,7 @@ $S^{(n-1)}_{(-)}$ and $\mathbf{u}^{(n)}_{t(-)}$ are those taken from the neighboring boundary $\partial\Omega_{(-)}$. -

Adaptive mesh refinement.

+

Adaptive mesh refinement

Choosing meshes adaptively to resolve sharp saturation fronts is an essential ingredient to achieve efficiency in our @@ -314,7 +319,7 @@ out to not be a very useful criterion since it leads to refinement basically everywhere. We only show it here for illustrative purposes. -

Linear system and its preconditioning.

+

The linear system and its preconditioning

Following the discretization of the governing equations discussed above, we @@ -475,7 +480,8 @@ where the mass matrix $\mathbf{M}^{S}$ is solved by the conjugate gradient method, using an incomplete Cholesky decomposition as preconditioner once more. -

The test cases.

+ +

The test cases

@note The implementation discussed here uses and extends @@ -540,6 +546,23 @@ cases are listed in the following table: + +

A note on the implementation

+ +We have mentioned many areas above in which this program improves over the step-20 +and step-21 programs upon which it is based. It also uses the Trilinos interfaces +for its vectors and matrices; this specifically has the advantage that we can use +an excellent implementation of the Incomplete Cholesky method we use as preconditioners +for both the top left and bottom right blocks of the $2\times 2$ matrix that describes +the flow portion of the coupled problem. + +We note that while we use the TrilinosWrappers::MPI::BlockVector class to store +vectors, the program does not actually use MPI (or any other way to run in +parallel): There is no non-MPI vector class in the TrilinosWrappers namespace, +but we can use the MPI version to also run a sequential code as we do here. + + +

List of references