Lag label

irksome/__init__.py

@@ -14,7 +14,7 @@
     AdamsMoulton,
 )
 from .tableaux.pep_explicit_rk import PEPRK
-from .ufl.deriv import Dt, expand_time_derivatives, check_irksome_import_order
+from .ufl.deriv import Dt, expand_time_derivatives, lag, check_irksome_import_order
 
 check_irksome_import_order()
 
@@ -44,6 +44,7 @@
     "expand_time_derivatives",
     "GalerkinCollocationScheme",
     "GaussLegendre",
+    "lag",
     "LobattoIIIA",
     "LobattoIIIC",
     "MeshConstant",

irksome/tools.py

@@ -7,10 +7,11 @@
 from ufl.algorithms.analysis import extract_type
 from ufl import as_tensor
 from ufl import replace as ufl_replace
+from ufl.classes import Variable
 from pyop2.types import MixedDat
 import FIAT
 
-from .ufl.deriv import TimeDerivative
+from .ufl.deriv import TimeDerivative, lag_label
 
 
 def dot(A, B):
@@ -108,9 +109,15 @@ def getNullspace(V, Vbig, num_stages, nullspace):
 
 
 def replace(e, mapping):
-    """A wrapper for ufl.replace that allows numpy arrays."""
+    """A wrapper for ufl.replace that allows numpy arrays and skips
+    substitution into sub-expressions wrapped by :func:`~.lag`."""
     cmapping = {k: as_tensor(v) for k, v in mapping.items()}
+    for var in extract_type(e, Variable):
+        if var.ufl_operands[1] is lag_label:
+            cmapping.setdefault(var, var)
     if isinstance(e, LabelledForm):
+        new_terms = []
+
         enew = LabelledForm(*(Term(ufl_replace(term.form, cmapping), term.labels)
                               for term in e.terms))
         return enew

irksome/ufl/deriv.py

@@ -10,7 +10,7 @@
 from ufl.algorithms.apply_algebra_lowering import apply_algebra_lowering
 from ufl.form import BaseForm
 from ufl.classes import (Coefficient, Conj, Curl, ConstantValue, Derivative,
-                         Div, Expr, Grad, Indexed, ReferenceGrad,
+                         Div, Expr, Grad, Indexed, Label, ReferenceGrad,
                          ReferenceValue, SpatialCoordinate, Variable)
 from ufl.corealg.multifunction import MultiFunction
 
@@ -85,6 +85,17 @@ def Dt(f, order=1):
     return f
 
 
+# A :class:`ufl.Label` to mark nodes that are only evaluated at the start of
+# the timestep.
+lag_label = Label()
+
+
+def lag(expr):
+    """Mark a sub-expression to be evaluated only at the start of the
+    timestep during the implicit solve."""
+    return Variable(expr, lag_label)
+
+
 class TimeDerivativeRuleset(GenericDerivativeRuleset):
     """Apply AD rules to time derivative expressions."""
     def __init__(self, t=None, timedep_coeffs=None):

tests/test_lag.py

@@ -0,0 +1,38 @@
+import firedrake
+from firedrake import Constant, inner, grad, dx, conditional
+import irksome
+from irksome import Dt, lag
+
+
+def test_stefan_implicit():
+    """Test lagging the conductivity on the Stefan problem"""
+    nx = 32
+    mesh = firedrake.UnitIntervalMesh(nx)
+    V = firedrake.FunctionSpace(mesh, "CG", 1)
+    x, = firedrake.SpatialCoordinate(mesh)
+
+    u = firedrake.Function(V)
+    u.interpolate(1 - 2 * x)
+
+    k_solid = Constant(2.0)
+    k_liquid = Constant(1.0)
+    k = lag(conditional(u < 0, k_solid, k_liquid))
+
+    v = firedrake.TestFunction(V)
+    F = (Dt(u) * v + k * inner(grad(u), grad(v))) * dx
+
+    T_1 = Constant(1.0)
+    T_2 = Constant(-1.0)
+    bcs = [firedrake.DirichletBC(V, T_1, 1), firedrake.DirichletBC(V, T_2, 2)]
+
+    t = Constant(0.0)
+    dt = Constant(0.1)
+    solver_params = {"snes_type": "newtonls", "snes_converged_reason": None}
+    params = {"bcs": bcs, "solver_parameters": solver_params}
+    method = irksome.BackwardEuler()
+    stepper = irksome.TimeStepper(F, method, t, dt, u, **params)
+
+    final_time = 10.0
+    num_steps = int(final_time / float(dt))
+    for step in range(num_steps):
+        stepper.advance()