You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Here, J(U) denotes some quantity of interest (QoI) of our solution, e.g. it could be the value at the end time in the case of an ordinary differential equation (ODE): $J(U) := U(T)$.
To make our lives easier we consider here linear differential equations and linear goal functionals $J$ such that the dual problem simplifies to
$$
A(\Psi)(Z) = J(\Psi) \qquad \forall \Psi.
$$
To estimate the error caused by the temporal discretization, we have the error estimator
which means that we just need to insert the primal and dual solutions into the residuum to be able to estimate the error on all temporal elements. For error localization, we can just assemble the residual on individual elements and then refine the elements with the largest error.
We need to use some approximation for $Z - Z_k$, since the analytical solution is unknown.
In this repisotory, we demonstrate this method by solving the primal problem with a dG(0) discretization in time, i.e. we use piecewise constant finite elements for the time discretization. Note that for our numerical problems this leads to a backward Euler time discretization.
For the dual problem, we then use either an equal order discretization by also using dG(0) in time or a higher order discretization by using dG(1) in time, i.e. piecewise linear finite elements for the time discretization.
For more information on dG(r) time discretizations for ODEs and PDEs, we refer to our exercises for the course on Space-time finite element methods.
The dual weights $Z - Z_k$ are then either approximated by patchwise higher order interpolation for the dG(0) solution (here: linear interpolating solution at neighboring time points), i.e.
$$
Z - Z_k \approx I_{2k}^{dG(0)} Z_k^{dG(0)} - Z_k^{dG(0)},
$$
or by low order interpolation for the dG(1) solution (here: evaluate at left end point of temporal element), i.e.
$$
Z - Z_k \approx Z_k^{dG(1)} - I_k^{dG(0)}Z_k^{dG(1)}.
$$