Sijing Liu

We propose and analyze a monotone finite element method for an elliptic distributed optimal control problem constrained by a convection-diffusion-reaction equation in the convection-dominated regime. The method is based on the edge-averaged finite element (EAFE) scheme, which is known to preserve the discrete maximum principle for convection-diffusion problems. We show that the EAFE discretization inherits the monotonicity property of the continuous problem and consequently preserves the desired-state bounds at the discrete level, ensuring that the numerical optimal state remains stable and free of nonphysical oscillations. The discrete formulation is analyzed using a combination of the EAFE consistency result and a discrete inf-sup condition, which together guarantee well-posedness and yield the optimal convergence order. Comprehensive numerical experiments are presented to confirm the theoretical findings and to demonstrate the robustness of the proposed scheme in the convection-dominated regimes.

We consider a loosely coupled, non-iterative Robin-Robin coupling method proposed and analyzed in [Numer. Algorithms, 99:921-948, 2025] for a parabolic-parabolic interface problem. We modify the first step of the scheme so that several error difference quantities remain higher order convergence without requiring additional assumptions. Numerical results are presented to support our findings.

In this work, a balancing domain decomposition by constraints (BDDC) algorithm is applied to the nonsymmetric positive definite linear system arising from the hybridizable discontinuous Galerkin (HDG) discretization of an elliptic distributed optimal control problem. Convergence analysis for the BDDC preconditioned generalized minimal residual (GMRES) solver demonstrates that, when the subdomain size is small enough, the algorithm is robust with respect to the regularization parameter, and the number of iterations is independent of the number of subdomains and depends only slightly on the subdomain problem size. Numerical experiments are performed to confirm the theoretical results.