numerical verify problems coercivity sufficient

The gap

Supporting evidence — 2 representative gaps

• Infinite Horizon Control Problems for Semilinear Parabolic Equations with Pointwise State Constraints (2026) · doi

  The sufficient conditions for second-order sufficient optimality in Theorem 4.3 require the Hessian of the Lagrangian to satisfy strict positivity on the cone of critical directions C̄u for n=1, and coercivity conditions for n=2,3. However, the paper does not provide constructive methods or numerical algorithms to verify these second-order sufficient conditions for concrete semilinear parabolic control problems with pointwise state constraints.

  Keywords: second-order sufficient conditions Lagrangian Hessian semilinear parabolic pointwise state constraints optimality
• Continuous-Time Risk-Sensitive Reinforcement Learning via Quadratic Variation Penalty (2026) · doi

  No empirical validation or numerical experiments are provided to verify the theoretical results on realistic control problems or benchmark environments.

  Keywords: empirical validation numerical experiments provided verify theoretical realistic control problems benchmark environments