Adjoint-based optimality conditions

Derive first-order necessary optimality conditions for the finite-horizon harvesting problem through a rigorous backward adjoint system.

Background

For the full climate-explicit multi-zone system, the paper proves existence of an optimal harvesting control over a compact Lipschitz-regular admissible class. It explicitly does not derive a Fréchet derivative of the control-to-state map, a backward adjoint equation, or Pontryagin conditions. Establishing a rigorous adjoint system would enable first-order necessary optimality conditions for the harvesting objective.

References

Other open problems include the proof of uniform global persistence for the nonlinear semiflow, the exact bifurcation structure at \mathcal R_0=1, and the derivation of first-order necessary optimality conditions via a rigorous backward adjoint system.

— Rigorous Analysis of a Nonlocal Transport--Renewal System for Physiologically Structured Populations  (2609.00735 - Yu et al., 1 Sep 2026) in Section Discussion; Section 5 Scope