---
author:
- 'Florian Streitbürger, Christian Engwer, Sandra May, and Andreas Nüßing'
title: Monotonicity considerations for stabilized DG cut cell schemes for the unsteady advection equation
---

A stabilized DG cut cell scheme for the unsteady advection equation
===================================================================

We consider the time dependent linear advection problem on a cut cell mesh. In @May2019, we propose new stabilization terms for a cut cell discontinuous Galerkin (DG) discretization in two dimensions with piecewise linear polynomials. In the following we will refer to this as **, abbreviated by DoD stabilization.

While the usage of finite element schemes on embedded boundary or cut cell meshes has become increasingly popular for elliptic and parabolic problems in recent years, only very little work has been done for hyperbolic problems. The general challenge is that cut cells can have various shapes and may in particular become arbitrarily small. Special schemes have been developed to guarantee stability. Perhaps the most prominent approach for elliptic and parabolic problems is the ghost penalty stabilization @Burman, which regains coercivity, independent of the cut size.

For hyperbolic conservation laws the problems caused by cut cells are partially of different nature. One major challenge is that standard explicit schemes are not stable on the arbitrarily small cut cells when the time step is chosen according to the cell size of the background mesh. This is what is often called the small cell problem. Adapting the time step size to the cut size is infeasible, as there is no lower bound on the cut size. An additional complication is the fact that there is typically no concept of coercivity that could serve as a guideline for constructing stabilization terms.

In @May2019, we consider the small cell problem for the unsteady linear advection equation. We propose a stabilization of the spatial discretization, which uses a standard DG scheme with upwind flux, that makes explicit time stepping stable again. Our penalty terms are designed to restore the correct domains of dependence of the cut cells and their outflow neighbors (therefore the name DoD stabilization), similar to the idea behind the $h$-box scheme @hbox_2003 but realized in a DG setting using penalty terms. In one dimension, we can prove $L^1$-stability, monotonicity, and TVD (total variation diminishing) stability for the stabilized scheme of first order using explicit Euler in time. For the second-order scheme, we can show a TVDM (TVD in the means) result if a suitable limiter is used.

In this contribution, we will focus on the monotonicity properties in one dimension for the first-order scheme and examine them in more detail. In particular, we will show that a straight-forward adaption of the ghost-penalty approach @Burman to the unsteady transport problem, as proposed in @Massing2018 for the steady problem, cannot ensure monotonicity. Further, we will examine the parameter that we use in our new <span> </span> in more detail than done in @May2019.

Problem setup for piecewise constant polynomials
================================================

For the purpose of a theoretical analysis with focus on monotonicity, we will consider piecewise constant polynomials in 1D. We use the interval $I=[0,1]$ and assume the velocity $\beta > 0$ to be constant. The time dependent linear advection equation reads as $$\label{eq: 1d adv}
u_t(x,t) + \beta u_x(x,t) = 0 \text{ in } I \times (0,T),$$ with initial data $u(x,0) =u_0(x)$ and periodic boundary conditions. We discretize the interval $I$ in N equidistant cells $I_j=[x_{j-\frac{1}{2}},x_{j+\frac{1}{2}}]$ with cell length $h$. Then, we split one cell, the cell $k$, into a pair of two cut cells using the volume fraction $\alpha \in (0,\frac{1}{2}]$, see figure \[fig:MP\]: The first cut cell, which we call $k_1$, has length $\alpha h$, the second cut cell, which we call $k_2$, has length $(1-\alpha)h$. Therefore, cell $k_1$ corresponds to a small cut cell, which induces instabilities, if $\alpha \ll \frac{1}{2}$.

We define the function space $$\label{eq:Funktionenraum}
V_h^0(I):=\left\{v_h \in L^2(I)\  \vline \ v_{h}|_{I_j} \in \mathcal{P}^0, \: j = 1,\ldots,N \right\},$$ with $\mathcal{P}^0$ being the function space of constant polynomials. The semidiscrete scheme, which uses the standard DG scheme with an upwind flux in space and is not yet discretized in time, is given by: Find $u_h \in V_h^0(I)$ such that $$\label{eq:semidiskret}
\int_I d_t u_h(t) \: w_h \: dx + a^{\text{upw}}_h(u_h(t),w_h)=0,\quad \forall w_h \in V_h^0(I),$$ with the bilinear form defined as $$a^\text{upw}_h(u_h,w_h)=\sum_{j=1}^N \beta u_h(x_{j+\frac{1}{2}}^-){\left\llbracket w_h \right\rrbracket}_{j+\frac{1}{2}},$$ and the jump being given by $${\left\llbracket w_h \right\rrbracket}_{j+\frac{1}{2}} = w_h(x_{j+\frac{1}{2}}^-)-w_h(x_{j+\frac{1}{2}}^+), \quad x_{j+\frac{1}{2}}^\pm = \lim_{\varepsilon\rightarrow 0^+}x_{j+\frac{1}{2}}\pm \varepsilon.$$

We use explicit Euler in time. Then, results in the global system $$\label{eq:globalsystem}
\mathcal{M}u^{n+1} = \mathcal{B}u^n.$$ Here, $u^n = [u_1^n,\ldots,u_N^n]^T$ is the vector of the piecewise constant solution at time $t^n$ and $\mathcal{M}$ is the global mass matrix. Note that $\mathcal{M}$ is a diagonal matrix with positive diagonal entries. Finally, the global system matrix $\mathcal{B}$ is given by $\mathcal{B} = \mathcal{M} - \Delta t \mathcal{A}$ with $\mathcal{A}u^n$ corresponding to the discretization of the bilinear form $a^\text{upw}_h$ at time $t^n$.

For a standard equidistant mesh, the scheme is stable for $0 < \lambda < 1$ with the CFL number $\lambda$ being given by $$\label{eq:cfl}
\lambda = \frac{\beta \Delta t}{h}.$$ Our goal is to make the scheme stable for the mesh containing the cut cell pair for $0 < \lambda < \frac{1}{2}$, independent of $\alpha$. The reduced CFL condition is due to the fact that we will only stabilize cut cell $k_1$, and not the bigger cut cell $k_2$.

To illustrate one interpretation of the small cell problem that we need to overcome, we refer to figure \[fig:MP\]. There, we determine the exact solution at time $t^{n+1}$, based on piecewise constant data at time $t^n$, by tracing back characteristics. For standard cells $j$, such as $k-1$, the domain of dependence of $u^{n+1}_j$ only includes cells $j$ and $j-1$. For the outflow neighbor of the small cut cell $k_1$, the cell $k_2$, however, $u^{n+1}_{k_2}$ depends on $u^n_{k-1}$, $u^n_{k_1}$, and $u^{n}_{k_2}$. The issue is that standard DG schemes such as only provide information from direct neighbors. We will see that the proposed stabilization that ensures monotonicity will also fix this problem. We will return to this specific interpretation of the small cell problem in section \[sec:4\], when discussing the proper choice of the penalty parameter in the stabilization.

\[scale = 1.5, decoration = brace\] (0,0.5) – (7.5,0.5); (0,1.1) – (7.5,1.1); (0.2,0.4) – (0.2,0.6); (2,0.4) – (2,0.6); (3.8,0.4) – (3.8,0.6); (4.1,0.4) – (4.1,0.6); (5.6,0.4) – (5.6,0.6); (7.4,0.4) – (7.4,0.6); (0.2,1.0) – (0.2,1.2); (2,1.0) – (2,1.2); (3.8,1.0) – (3.8,1.2); (4.1,1.0) – (4.1,1.2); (5.6,1.0) – (5.6,1.2); (7.4,1.0) – (7.4,1.2);

(2,1.1) – (1.333,0.5); (3.8,1.1) – (3.133,0.5); (4.1,1.1) – (3.433,0.5); (5.6,1.1) – (4.933,0.5); (7.4,1.1) – (6.733,0.5);

at (1.1,1.5) <span>$k-2$</span>; at (2.9,1.5) <span>$k-1$</span>; at (3.95,1.5) <span>$k_1$</span>; at (5.0,1.5) <span>$k_2$</span>; at (6.5,1.5) <span>$k+1$</span>; at (4.1,0.8) ; (4.1,0.7) – node\[below=0.4ex\] <span>$\alpha h$</span> (3.8,0.7); (5.6,0.7) – node\[below=0.4ex\] <span>$(1-\alpha) h$</span> (4.12,0.7); (3.78,0.7) – node\[below=0.4ex\] <span>$ h$</span> (2,0.7);

at (-0.3,0.55) <span>$t^{n}$</span>; at (-0.3,1.15) <span>$t^{n+1}$</span>;

Monotonicity considerations for two different stabilization terms {#sec:3}
=================================================================

In the following, we will examine the monotonicity properties of different stabilizations. A monotone scheme guarantees in particular that $\min_j u_j^0 \le u^n \le \max_j u_j^0$ for all times $t^n$. We will use the following definition of a monotone scheme.

\[Monoton\] A method $ u^{n+1}_j = H(u^n_{j-i_L},u^n_{j-i_L+1},...,u^n_{j+i_R}) $ is called <span>*monotone*</span>, if for all $j$ there holds for every $l$ with $-i_L\le l\le i_R$ $$\label{Def_monotone_coeff}
\frac{\partial H}{\partial u_{j+l}}(u_{j-i_L},...,u_{j+i_R})\geq 0.$$

For the linear scheme this implies that all coefficients of $\mathcal{B}$ need to be non-negative. This is due to the fact that $\mathcal{M}$ is a non-negative diagonal matrix. On an equidistant mesh, the scheme is monotone for $0 < \lambda < 1$.

We will compare the entries of the matrix $\mathcal{B}$ for three different cases: the unstabilized case, a stabilization in the spirit of the ghost-penalty method @Burman, and the <span> </span>@May2019 that we propose.

### Unstabilized case {#unstabilized-case .unnumbered}

In this case, the matrix $\mathcal{B}$ is given by $$\mathcal{B}=
    \left(
    \begin{smallmatrix}
      h-\tau & 0 & \cdots&  & & \cdots & 0 & \tau\\
      \tau & h-\tau & 0 & & & & & 0\\
      0 & \ddots & \ddots & & & & &\vdots\\
      \vdots & & \tau& {\text{\fboxsep.5ex\fbox{$\alpha h-\tau$}}} & & & &\\
      & & & \tau& {\text{\fboxsep.5ex\fbox{$(1-\alpha)h-\tau$}}} & & &\vdots \\
      \vdots & & & & \ddots& \ddots& & 0\\
      &&&&&&&\\
      0 &\cdots& & &\cdots&0&\tau& h-\tau\\
    \end{smallmatrix}\right),$$ with $\tau:=\beta\Delta t > 0$. We therefore focus on the diagonal entries. On standard cells, and on cell $k_2$, the entries $h-\tau$ and $(1-\alpha)h-\tau$ are non-negative due to the CFL condition $\beta \Delta t = \lambda h$ if the reduced CFL condition $0 < \lambda \le \frac{1}{2}$ is used. On the small cut cell $k_1$, the entry $\alpha h - \tau$ is clearly negative for $\alpha < \lambda$, which is the case that we are interested in.

### Ghost-penalty stabilization {#ghost-penalty-stabilization .unnumbered}

We first consider the option of using the ghost penalty method for stabilization, an approach that is, e.g., used in @Massing2018 for stabilizing the steady advection equation. Adapting the stabilization to our model mesh (compare figure \[fig:MP\]) changes the formulation of to: Find $u_h \in V_h^0(I)$ such that $$\label{eq:gp_formulation}
\int_I d_t u_h(t) \: w_h \: dx  + a^{\text{upw}}_h(u_h(t),w_h)+J_h^{GP}(u_h,w_h)=0,\quad \forall w_h \in V_h^0(I),$$ with $$\label{eq:gpstab}
J_h^{GP}=\beta\eta_1{\left\llbracket u_h \right\rrbracket}_{k-\frac{1}{2}}{\left\llbracket w_h \right\rrbracket}_{k-\frac{1}{2}}+\beta\eta_2{\left\llbracket u_h \right\rrbracket}_{k_\text{cut}}{\left\llbracket w_h \right\rrbracket}_{k_\text{cut}}.$$ As a result, the matrix $\mathcal{B}$ in is modified in the following way $$\mathcal{B}_{GP}=
    \left(
    \begin{smallmatrix}
      h-\tau & 0 & \cdots& & & & & \cdots & 0 & \tau\\
      \tau & h-\tau & 0 & & & & & & & 0\\
      0 & \ddots & \ddots & \ddots & & & & & &\vdots\\
      &&&&&&&&\\
      &&&&&&&&\\
      & & & \tau & {\text{\fboxsep.5ex\fbox{$h-\tau(1-\eta_1)$}}} & -\tau \eta_1 & & &\\
      \vdots & && 0 & \tau(1-\eta_1)& {\text{\fboxsep.5ex\fbox{$\alpha h-\tau+\tau\eta_1+\tau\eta_2$}}} & -\tau\eta_2& & &\\
      & & & & 0 & \tau(1-\eta_2)& {\text{\fboxsep.5ex\fbox{$(1-\alpha)h-\tau(1-\eta_2)$}}} & & &\vdots \\
      &&&&&&&&&\\
      &&&&&&&&&\\
      \vdots & & & & & & \ddots& \ddots& & 0\\
      &&&&&&&&&\\
      0 &\cdots& & & & &\cdots&0&\tau& h-\tau\\
    \end{smallmatrix}\right).$$ Our goal is to determine the parameters $\eta_1$ and $\eta_2$ such that every entry of $\mathcal{B}_{GP}$ is non-negative. The two entries on the first superdiagonal prescribe the restriction $$\label{eq:ghost_penalty_superdiagonal}
\eta_1\le 0\quad \text{and}\quad \eta_2\le 0.$$ Next, we consider the entry $\mathcal{B}_{GP}(k_1,k_1)$.This results in the condition $$\alpha h -\tau+\tau\eta_1+\tau\eta_2\overset{!}{\ge }0.$$ Since $\alpha h -\tau$ is negative for $\alpha < \lambda$, we need to choose $\eta_1$ or $\eta_2$ to be positive. This is a contradiction to . Therefore, it is *not* possible to create a monotone scheme using this setup.

###  {#section .unnumbered}

We now consider the <span> </span>, which we introduced in @May2019. The resulting scheme is of the same form as , but instead of adding $J_h^\text{GP}$ we use the term $$\label{eq:newstab}
J_h^{{\text{DoD} }}(u_h,w_h):=\beta\eta{\left\llbracket u_h \right\rrbracket}_{k-\frac{1}{2}}{\left\llbracket w_h \right\rrbracket}_{k_\text{cut}}.$$ One big difference between and is that the locations of the jump terms were moved. As a result, the position of the stabilization terms in the matrix $\mathcal{B}$ changed: $$\mathcal{B}_{{\text{DoD} }}=
    \left(
    \begin{smallmatrix}
      h-\tau & 0 & \cdots&  & & \cdots & 0 & \tau\\
      \tau & h-\tau & 0 & & & & & 0\\
      0 & \ddots & \ddots & & & & &\vdots\\
      \vdots & & \tau\left(1-\eta\right)& {\text{\fboxsep.5ex\fbox{$\alpha h-\tau\left(1-\eta\right)$}}} & 0 & & &\\
      & & \tau\eta& \tau\left(1-\eta\right)& {\text{\fboxsep.5ex\fbox{$(1-\alpha)h-\tau$}}} & & &\vdots \\
      \vdots & & & & \ddots& \ddots& & 0\\
      &&&&&&&\\
      0 &\cdots& & &\cdots&0&\tau& h-\tau\\
    \end{smallmatrix}\right).$$ In @May2019, we examined the monotonicity conditions of the stabilized scheme for the theta-scheme in time and a fixed value of $\eta$. Here, we will focus on using explicit Euler in time and vary $\eta$ instead. Requiring that all entries become non-negative results in the following three inequalities: $$\begin{aligned}
{2}
\textbf{I}& \qquad  \alpha h -\tau(1-\eta) &\quad\ge 0,\\
\textbf{II}& \qquad  \tau \eta &\quad\ge 0,\\
\textbf{III}& \qquad  \tau(1-\eta) &\quad\ge 0.\end{aligned}$$ Short calculations show that this implies the following restrictions on $\eta$ $$\eta \overset{\textbf{II}}{\ge} 0, \quad
1-\frac{\alpha}{\lambda}\overset{\textbf{I}}{\le} \eta
\overset{\textbf{III}}{\le} 1, \quad \text{i.e., we need to choose} \quad \eta \in \left[1-\frac{\alpha}{\lambda},1\right]$$ and should not stabilize for $\alpha > \lambda$. In other words, for $\alpha \ll \lambda < \frac{1}{2}$, the resulting scheme using explicit Euler in time is monotone for $\eta \in \left[1-\frac{\alpha}{\lambda},1\right]$, despite the CFL condition on the cut cell $k_1$ being violated. Next, we will discuss how to best choose $\eta$ within the prescribed range.

Choice of $\eta$ in <span> </span> {#sec:4}
==================================

We denote the discrete solution on cell $j$ at time $t^n$ by $u^n_j$. Resolving the system $\mathcal{M} u^{n+1} = \mathcal{B}_{{\text{DoD} }} u^n$ for the update on the two cut cells under the condition $\alpha < \lambda < \frac{1}{2}$, we get $$\begin{aligned}
u^{n+1}_{k_1} &= u^n_{k_1}-\frac{\lambda}{\alpha}\left(1-\eta\right)\left(u^n_{k_1}-u^n_{k-1}\right),\\
u^{n+1}_{k_2} &= u^n_{k_2}-\frac{\lambda}{1-\alpha}\left(u^n_{k_2}-u^n_{k_1}\right)-\frac{\lambda}{1-\alpha}\eta\left(u^n_{k_1}-u^n_{k-1}\right).\end{aligned}$$ For monotonicity, we need to choose $\eta\in \left[1-\frac{\alpha}{\lambda},1\right]$. We will now examine the two extreme choices, $\eta=1-\frac{\alpha}{\lambda}$ and $\eta =1$, in more detail.

For $\eta=1-\frac{\alpha}{\lambda}$, the two update formulae reduce to $$u^{n+1}_{k_1}=u^n_{k-1} \quad \text{and}\quad  u^{n+1}_{k_2} =\left(1-\frac{\lambda}{1-\alpha}\right)u^n_{k_2}+\frac{\alpha}{1-\alpha}u^n_{k_1}+\frac{\lambda-\alpha}{1-\alpha}u^n_{k-1}.$$ We observe, comparing with figure \[fig:MP\], that the new update formulae now use the correct domains of dependence. In particular, $u^{n+1}_{k_1}$ now coincides with $u_{k-1}^n$ and $u^{n+1}_{k_2}$ now includes information from $u^n_{k-1}$, which is the neighbor of its inflow neighbor. Actually, the resulting updates correspond to exactly advecting a piecewise constant solution at time $t^n$ to time $t^{n+1}$ and to then averaging. Therefore, thanks to the stabilization, we have implicitly restored the correct domains of dependence. In that sense, the new stabilization has a certain similarity to the $h$-box method @hbox_2003.

For the choice $\eta=1$ the update formulae have the following form: $$u^{n+1}_{k_1} = u^n_{k_1} \quad \text{and} \quad u^{n+1}_{k_2} = u^n_{k_2} - \frac{\lambda}{1-\alpha}\left(u^n_{k_2}-u^n_{k-1}\right).$$ We observe that in this case the smaller cut cell $k_1$ will not be updated. Instead, it just keeps its old value. In addition, the update of the solution on cell $k_2$ does not include information of its inflow neighbor $k_1$. Therefore choosing $\eta=1$ can be interpreted as skipping the small cut cell and let the information flow directly from its inflow neighbor into its outflow neighbor.

In @May2019, we propose to use $\eta=1-\frac{\alpha}{2\lambda} \in \left[1-\frac{\alpha}{\lambda},1\right]$ as this produces better results for piecewise linear polynomials than $\eta=1-\frac{\alpha}{\lambda}$.

Numerical results
=================

We will now compare the different choices of $\eta$ for the <span> </span>numerically. We consider the grid described in figure \[fig:MP\] and place cell $k$ such that $x_{k-\frac{1}{2}}=0.5$.

We use discontinuous initial data $$\label{eq: disc init data}
    u_0(x) = \begin{cases} 1 & 0.1 \le x \le 0.5, \\
    0 & \text{otherwise},
    \end{cases}$$

with the discontinuity being placed right in front of the small cut cell $k_1$. We set $\beta = 1$, $\alpha = 0.001$, $\lambda = 0.4$, and $h=0.1$, and use $V_h^0(I)$ as well as periodic boundary conditions. We test four different values for $\eta$: the extreme cases $\eta = 1$ and $\eta = 1-\frac{\alpha}{\lambda}$ as well as $\eta=1-\frac{\alpha}{2\lambda}$ and a value, $\eta=1-\frac{2\alpha}{\lambda}$, that violates the monotonicity considerations.

<span>![Results after one time step for the <span> </span>for different values of $\eta$. <span data-label="fig:disc"></span>](Plots/Disc1.pdf "fig:"){width=".46\linewidth"}</span><span>![Results after one time step for the <span> </span>for different values of $\eta$. <span data-label="fig:disc"></span>](Plots/Disc2.pdf "fig:"){width=".46\linewidth"}</span>

In figure \[fig:disc\] we show the different solutions after one time step. For $\eta=1$ we observe that the solution on cell $k_1$ has not been updated, while the updates on the other cells are correct. Obviously, cell $k_1$ has simply been skipped. The solution for $\eta=1-\frac{\alpha}{\lambda}$ corresponds to exactly advecting the initial data and to then apply averaging. If we choose $\eta=1-\frac{\alpha}{2\lambda}$, we observe that $u^1_{k_1}$ lies between $u^1_{k-1}$ and $u^1_{k_2}$. Finally, for $\eta=1-\frac{2\alpha}{\lambda}$, which is not included in the suggested interval, we observe a strong overshoot on the small cut cell. This cannot happen for a monotone scheme. Therefore, the numerical results confirm our theoretical considerations above.

{'source': 'arXiv_out/1912'}