Dear Firedrakers,
This is a somewhat similar query to what Onno asked earlier this week about evaluating a function at a point in Firedrake.
It's a bit easier because the point evaluation comes at the boundary of the domain, so we're currently including it through ds(1) integrals.
The attached script is a Crank-Nicholson weak form for equations 11-14 in the attached pdf.
The point evaluation comes in at equation 28 where the boundary inflow evolution can be combined with the diffusion equation.
The current script works when theta = 0, so that the non-linear parts are known so we can use a linear solver.
When we choose a non zero theta, we get the following error for a nonlinear solve: