xref: /libCEED/examples/fluids/README.md (revision d99129b90c9b3ad6c1f1c68efbf93e59a7d0d90e)

## libCEED: Navier-Stokes Example

This page provides a description of the Navier-Stokes example for the libCEED library, based on PETSc.

The Navier-Stokes problem solves the compressible Navier-Stokes equations in three dimensions using an
explicit time integration. The state variables are mass density, momentum density, and energy density.

The main Navier-Stokes solver for libCEED is defined in [`navierstokes.c`](navierstokes.c)
with different problem definitions according to the application of interest.

Build by using

`make`

and run with

`./navierstokes`

Available runtime options are:

|  Option                               | Meaning                                                                                         |
| :-------------------------------------| :-----------------------------------------------------------------------------------------------|
| `-ceed`                               | CEED resource specifier                                                                         |
| `-test`                               | Run in test mode                                                                                |
| `-problem`                            | Problem to solve (`advection`, `advection2d`, or `density_current`)                             |
| `-problem_advection_wind`             | Wind type in Advection (`rotation` or `translation`)                                            |
| `-problem_advection_wind_translation` | Constant wind vector when `-problem_advection_wind translation`                                 |
| `-stab`                               | Stabilization method                                                                            |
| `-implicit`                           | Use implicit time integartor formulation                                                        |
| `-bc_wall`                            | Use wall boundary conditions on this list of faces                                              |
| `-bc_slip_x`                          | Use slip boundary conditions, for the x component, on this list of faces                        |
| `-bc_slip_y`                          | Use slip boundary conditions, for the y component, on this list of faces                        |
| `-bc_slip_z`                          | Use slip boundary conditions, for the z component, on this list of faces                        |
| `-viz_refine`                         | Use regular refinement for visualization                                                        |
| `-degree`                             | Polynomial degree of tensor product basis (must be >= 1)                                        |
| `-units_meter`                        | 1 meter in scaled length units                                                                  |
| `-units_second`                       | 1 second in scaled time units                                                                   |
| `-units_kilogram`                     | 1 kilogram in scaled mass units                                                                 |
| `-units_Kelvin`                       | 1 Kelvin in scaled temperature units                                                            |
| `-theta0`                             | Reference potential temperature                                                                 |
| `-thetaC`                             | Perturbation of potential temperature                                                           |
| `-P0`                                 | Atmospheric pressure                                                                            |
| `-E_wind`                             | Total energy of inflow wind                                                                     |
| `-N`                                  | Brunt-Vaisala frequency                                                                         |
| `-cv`                                 | Heat capacity at constant volume                                                                |
| `-cp`                                 | Heat capacity at constant pressure                                                              |
| `-g`                                  | Gravitational acceleration                                                                      |
| `-lambda`                             | Stokes hypothesis second viscosity coefficient                                                  |
| `-mu`                                 | Shear dynamic viscosity coefficient                                                             |
| `-k`                                  | Thermal conductivity                                                                            |
| `-CtauS`                              | Scale coefficient for stabilization tau (nondimensional)                                        |
| `-strong_form`                        | Strong (1) or weak/integrated by parts (0) advection residual                                   |
| `-lx`                                 | Length scale in x direction                                                                     |
| `-ly`                                 | Length scale in y direction                                                                     |
| `-lz`                                 | Length scale in z direction                                                                     |
| `-rc`                                 | Characteristic radius of thermal bubble                                                         |
| `-resx`                               | Resolution in x                                                                                 |
| `-resy`                               | Resolution in y                                                                                 |
| `-resz`                               | Resolution in z                                                                                 |
| `-center`                             | Location of bubble center                                                                       |
| `-dc_axis`                            | Axis of density current cylindrical anomaly, or {0,0,0} for spherically symmetric               |
| `-output_freq`                        | Frequency of output, in number of steps                                                         |
| `-continue`                           | Continue from previous solution                                                                 |
| `-degree`                             | Polynomial degree of tensor product basis                                                       |
| `-qextra`                             | Number of extra quadrature points                                                               |
| `-qextra_boundary`                    | Number of extra quadrature points on in/outflow faces                                           |
| `-output_dir`                         | Output directory                                                                                |

For the case of a square/cubic mesh, the list of face indices to be used with `-bc_wall` and/or `-bc_slip_x`,
`-bc_slip_y`, and `-bc_slip_z` are:

* 2D:
  - faceMarkerBottom = 1;
  - faceMarkerRight  = 2;
  - faceMarkerTop    = 3;
  - faceMarkerLeft   = 4;
* 3D:
  - faceMarkerBottom = 1;
  - faceMarkerTop    = 2;
  - faceMarkerFront  = 3;
  - faceMarkerBack   = 4;
  - faceMarkerRight  = 5;
  - faceMarkerLeft   = 6;

### Advection

This problem solves the convection (advection) equation for the total (scalar) energy density,
transported by the (vector) velocity field.

This is 3D advection given in two formulations based upon the weak form.

State Variables:

   *q = ( rho, U<sub>1</sub>, U<sub>2</sub>, U<sub>3</sub>, E )*

   *rho* - Mass Density

   *U<sub>i</sub>*  - Momentum Density    ,   *U<sub>i</sub> = rho ui*

   *E*   - Total Energy Density,   *E  = rho Cv T + rho (u u) / 2 + rho g z*

Advection Equation:

   *dE/dt + div( E _u_ ) = 0*

#### Initial Conditions

Mass Density:
    Constant mass density of 1.0

Momentum Density:
    Rotational field in x,y with no momentum in z

Energy Density:
    Maximum of 1. x0 decreasing linearly to 0. as radial distance increases
    to 1/8, then 0. everywhere else

#### Boundary Conditions

Mass Density:
    0.0 flux

Momentum Density:
    0.0

Energy Density:
    0.0 flux

### Density Current

This problem solves the full compressible Navier-Stokes equations, using
operator composition and design of coupled solvers in the context of atmospheric
modeling. This problem uses the formulation given in Semi-Implicit Formulations
of the Navier-Stokes Equations: Application to Nonhydrostatic Atmospheric Modeling,
Giraldo, Restelli, and Lauter (2010).

The 3D compressible Navier-Stokes equations are formulated in conservation form with state
variables of density, momentum density, and total energy density.

State Variables:

   *q = ( rho, U<sub>1</sub>, U<sub>2</sub>, U<sub>3</sub>, E )*

   *rho* - Mass Density

   *U<sub>i</sub>*  - Momentum Density   ,  *U<sub>i</sub> = rho u<sub>i</sub>*

   *E*   - Total Energy Density,  *E  = rho c<sub>v</sub> T + rho (u u) / 2 + rho g z*

Navier-Stokes Equations:

   *drho/dt + div( U )                               = 0*

   *dU/dt   + div( rho (u x u) + P I<sub>3</sub> ) + rho g khat = div( F<sub>u</sub> )*

   *dE/dt   + div( (E + P) u )                       = div( F<sub>e</sub> )*

Viscous Stress:

   *F<sub>u</sub> = mu (grad( u ) + grad( u )^T + lambda div ( u ) I<sub>3</sub>)*

Thermal Stress:

   *F<sub>e</sub> = u F<sub>u</sub> + k grad( T )*

Equation of State:

   *P = (gamma - 1) (E - rho (u u) / 2 - rho g z)*

Temperature:

   *T = (E / rho - (u u) / 2 - g z) / c<sub>v</sub>*

Constants:

   *lambda = - 2 / 3*,  From Stokes hypothesis

   *mu*              ,  Dynamic viscosity

   *k*               ,  Thermal conductivity

   *c<sub>v</sub>*              ,  Specific heat, constant volume

   *c<sub>p</sub>*              ,  Specific heat, constant pressure

   *g*               ,  Gravity

   *gamma  = c<sub>p</sub> / c<sub>v</sub>*,  Specific heat ratio

#### Initial Conditions

Potential Temperature:

   *theta = thetabar + deltatheta*

   *thetabar   = theta0 exp( N * * 2 z / g )*

   *deltatheta =
        r <= rc : theta0(1 + cos(pi r)) / 2
        r > rc : 0*

   *r        = sqrt( (x - xc) * * 2 + (y - yc) * * 2 + (z - zc) * * 2 )*
    with *(xc,yc,zc)* center of domain

Exner Pressure:

   *Pi = Pibar + deltaPi*

   *Pibar      = g * * 2 (exp( - N * * 2 z / g ) - 1) / (cp theta0 N * * 2)*

   *deltaPi    = 0* (hydrostatic balance)

Velocity/Momentum Density:

   *U<sub>i</sub> = u<sub>i</sub> = 0*

Conversion to Conserved Variables:

   *rho = P0 Pi**(c<sub>v</sub>/R<sub>d</sub>) / (R<sub>d</sub> theta)*

   *E   = rho (c<sub>v</sub> theta Pi + (u u)/2 + g z)*

Constants:

   *theta0*          ,  Potential temperature constant

   *thetaC*          ,  Potential temperature perturbation

   *P0*              ,  Pressure at the surface

   *N*               ,  Brunt-Vaisala frequency

   *c<sub>v</sub>*              ,  Specific heat, constant volume

   *c<sub>p</sub>*              ,  Specific heat, constant pressure

   *R<sub>d</sub>*     = c<sub>p</sub> - c<sub>v</sub>,  Specific heat difference

   *g*               ,  Gravity

   *r<sub>c</sub>*              ,  Characteristic radius of thermal bubble

   *l<sub>x</sub>*              ,  Characteristic length scale of domain in x

   *l<sub>y</sub>*              ,  Characteristic length scale of domain in y

   *l<sub>z</sub>*              ,  Characteristic length scale of domain in z


#### Boundary Conditions

Mass Density:
    0.0 flux

Momentum Density:
    0.0

Energy Density:
    0.0 flux

### Time Discretization

For all different problems, the time integration is performed with an explicit
or implicit formulation.

### Space Discretization

The geometric factors and coordinate transformations required for the integration of the weak form
are described in the file [`common.h`](common.h)