On Zermelo's planar navigation problem for convex bodies, and implications for non-convex optimal routing
Pith reviewed 2026-05-18 07:32 UTC · model grok-4.3
The pith
Optimal controls for planar navigation with convex velocity sets partition into regular zones obeying a generalized Zermelo equation and singular zones where the control stays undetermined.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
In the planar case the domain of any optimal control is partitioned into regular and singular regimes; in the former the optimal control is regular and satisfies a Zermelo-like navigation equation obtained from Pontryagin's principle together with convex analysis, while in the latter the control remains largely undetermined. A necessary condition that excludes singular regimes is stated and proved.
What carries the argument
The regular-singular partition of the control domain, with the Zermelo-like navigation equation holding on the regular subset.
If this is right
- The classical Zermelo equation extends to arbitrary compact convex velocity sets in a non-parametric planar setting.
- Singular regimes can be excluded by verifying the stated necessary condition before solving.
- The same necessary conditions apply to non-convex velocity sets once the convex hull is taken.
- Explicit formulas are obtained for the important special case of an affine current.
Where Pith is reading between the lines
- Numerical routing algorithms could alternate between solving the navigation equation on regular patches and free optimization on singular patches.
- The partition idea may extend to three-dimensional navigation if the singular set remains lower-dimensional.
- For vessels with asymmetric propulsion the convex hull of reachable velocities can be substituted directly into the regular-regime equation.
Load-bearing premise
The velocity set must be compact and convex and the current must satisfy a weak regularity condition.
What would settle it
An explicit optimal trajectory for a planar convex-velocity navigation problem in which every regular candidate fails the derived navigation equation would falsify the claimed partition.
Figures
read the original abstract
We study a generalized version of Zermelo's navigation problem where the set of admissible velocities is a general compact convex set, replacing the classical Euclidean ball. After establishing existence results under the natural assumption of weak currents, we derive necessary optimality conditions via Pontryagin's maximum principle and convex analysis. Consequently, in the planar case, the domain of any optimal control is shown to be partitioned into regular and singular regimes. In the former, the optimal control is regular and satisfies a Zermelo-like navigation equation while in the latter it is largely undetermined. A necessary condition that can exclude singular regimes is stated and proved, providing a useful tool in applications. In regular regimes our results extend the classical Zermelo navigation equation to general convex control sets within a non-parametric setting. Furthermore, we discuss direct applications to the case of a non-convex control set. As an application, we develop the relevant case of an affine current. The results are illustrated with examples relevant to sailing and ship routing with asymmetric or sail-assisted propulsion, including the presence of waves.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript generalizes Zermelo's planar navigation problem by replacing the classical Euclidean ball with a general compact convex set as the admissible velocity set. After proving existence of optimal controls under the assumption of weak currents, it derives necessary optimality conditions via the Pontryagin maximum principle combined with convex analysis. In the planar case the domain of any optimal control is partitioned into regular regimes, where the control satisfies a Zermelo-like navigation equation, and singular regimes, where the control is described as largely undetermined. A necessary condition capable of excluding singular regimes is stated and proved. The results are extended to non-convex control sets and applied to the affine-current case, with illustrations drawn from sailing and ship-routing problems involving asymmetric or sail-assisted propulsion.
Significance. If the partition into regimes and the associated navigation equation are established with full rigor, the work would constitute a useful non-parametric extension of classical Zermelo theory to arbitrary compact convex velocity sets. The exclusion condition for singular regimes offers a concrete tool for applications, while the treatment of non-convex sets and affine currents directly addresses practical routing scenarios such as sail-assisted ship navigation.
major comments (1)
- [planar case partition into regular and singular regimes] In the section deriving the partition into regular and singular regimes (planar case): the assertion that singular controls are 'largely undetermined' is not fully supported by the first-order analysis alone. For a compact convex velocity set, singularity occurs when the adjoint lies in the normal cone to a positive-dimensional face, rendering the maximizer set-valued. Sustaining this condition over a positive-length interval requires the adjoint trajectory to remain inside the cone; differentiating the maximality condition along such an arc yields additional algebraic or differential constraints (generalized Legendre-Clebsch or vanishing derivatives of the switching function). The manuscript's reliance on the first-order PMP and convex analysis without these higher-order conditions risks overstating the actual freedom available while preserving optimality.
minor comments (2)
- The statement of the necessary condition that excludes singular regimes would benefit from an explicit reference to the relevant equation or theorem number for easier cross-checking.
- In the application to affine currents, a brief comparison of the computed trajectories with the classical Zermelo solution (when the velocity set reduces to a ball) would clarify the practical gain of the generalization.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. The observation regarding the characterization of singular regimes is well taken, and we address it directly below with a commitment to revise the relevant section for greater precision.
read point-by-point responses
-
Referee: In the section deriving the partition into regular and singular regimes (planar case): the assertion that singular controls are 'largely undetermined' is not fully supported by the first-order analysis alone. For a compact convex velocity set, singularity occurs when the adjoint lies in the normal cone to a positive-dimensional face, rendering the maximizer set-valued. Sustaining this condition over a positive-length interval requires the adjoint trajectory to remain inside the cone; differentiating the maximality condition along such an arc yields additional algebraic or differential constraints (generalized Legendre-Clebsch or vanishing derivatives of the switching function). The manuscript's reliance on the first-order PMP and convex analysis without these higher-order conditions risks overstating the actual freedom available while preserving optimality.
Authors: We agree that the first-order PMP and convex analysis identify singular regimes via the adjoint lying in the normal cone to a positive-dimensional face, making the maximizer set-valued, but do not by themselves guarantee that such a condition can be sustained over a positive-length interval without further restrictions. In the revised manuscript we will replace the phrase 'largely undetermined' with a more precise statement: within a singular regime the optimal control may be chosen from the face, provided the resulting adjoint trajectory remains inside the corresponding normal cone. We will add a short remark noting that higher-order conditions (such as a generalized Legendre-Clebsch condition or vanishing derivatives of the switching function) may impose additional algebraic or differential constraints on admissible singular selections. This clarification preserves the partition result and the navigation equation for regular regimes while avoiding any overstatement of freedom in the singular case. The revision will appear in the section on the planar-case partition. revision: yes
Circularity Check
Standard PMP application yields independent derivation of regular/singular partition and Zermelo-like equation
full rationale
The paper establishes existence under weak currents, then applies Pontryagin's maximum principle together with convex analysis to obtain necessary conditions. The partition of the domain into regular and singular regimes follows directly from the structure of the maximality condition when the velocity set is compact and convex: regular regimes occur when the adjoint selects a unique velocity vector satisfying the generalized navigation equation, while singular regimes arise when the adjoint lies in the normal cone to a positive-dimensional face. This reduction is not by construction or self-citation; it is a standard consequence of the first-order necessary conditions applied to the new problem class. The necessary condition for excluding singular regimes is proved from the adjoint dynamics without invoking prior results by the same authors as load-bearing premises. No fitted-input-called-prediction, ansatz smuggling, or renaming of known results occurs. The derivation remains self-contained against external benchmarks of optimal control theory.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Pontryagin's maximum principle applies to the generalized control system with compact convex velocity set
- domain assumption Weak currents guarantee existence of optimal trajectories
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
In the planar case, the domain of any optimal control is shown to be partitioned into regular and singular regimes... Weierstrass condition... ⟨u′⊥, u′′ + (∇s)∘x u′⟩ = 0 (Theorem 5.1)
-
IndisputableMonolith/Foundation/BranchSelection.leanbranch_selection unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
strictly convex control sets ensure smoothness of optimal controls (Lemma 5.8)... v(p) = argmax ⟨p,u⟩ is single-valued and C^∞
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
Charalambos D. Aliprantis and Kim C. Border,Infinite Dimensional Analysis, 3 ed., Springer Berlin Heidelberg, 2006 (eng)
work page 2006
-
[2]
Hedy Attouch, Giuseppe Buttazzo, and G´ erard Michaille,Variational analysis in Sobolev and BV spaces: applications to PDEs and optimization, MPS-SIAM series on optimization, Society for Industrial and Applied Mathematics : Mathematical Programming Society, Philadelphia, 2006
work page 2006
-
[3]
Dharmanand Baboolal and Paranjothi Pillay,Some remarks on rectifiably connected metric spaces, Topology Appl.251 (2019), 107–124. MR 3876237
work page 2019
-
[4]
Luca Biferale, Fabio Bonaccorso, Michele Buzzicotti, Patricio Clark Di Leoni, and Kristian Gustavsson,Zermelo’s problem: Optimal point-to-point navigation in 2d turbulent flows using reinforcement learning, Chaos29(2019), no. 10, 103138
work page 2019
-
[5]
Sake Johannes Bijlsma,On minimal-time ship routing, Technische Universiteit Delft, Phd Thesis, 1975
work page 1975
-
[6]
Olivier Bokanowski, Nicolas Forcadel, and Hasnaa Zidani,Deterministic state-constrained optimal control problems without controllability assumptions, ESAIM Control Optim. Calc. Var.17(2011), no. 4, 995–1015. MR 2859862
work page 2011
-
[7]
Bernard Bonnard, Olivier Cots, and Boris Wembe,Zermelo navigation problems on surfaces of revolution and geometric optimal control, ESAIM Control Optim. Calc. Var.29(2023), Paper No. 60, 34. MR 4621417
work page 2023
-
[8]
Piermarco Cannarsa, H´ el` ene Frankowska, and Carlo Sinestrari,Optimality conditions and synthesis for the minimum time problem, Set-Valued Anal.8(2000), no. 1-2, 127–148. MR 1780579
work page 2000
-
[9]
Constantin Carath´ eodory,Calculus of variations and partial differential equations of the first order. Part II: Calculus of variations, Holden-Day, Inc., San Francisco, Calif.-London-Amsterdam, 1967, Translated from the German by Robert B. Dean, Julius J. Brandstatter, translating editor. MR 232264
work page 1967
-
[10]
Arrigo Cellina, Alessandro Ferriero, and Elsa Maria Marchini,On the existence of solutions to a class of minimum time control problems and applications to Fermat’s principle and to the brachystocrone, Systems Control Lett.55(2006), no. 2, 119–123. MR 2187840
work page 2006
-
[11]
Francis Clarke,Functional analysis, calculus of variations and optimal control, Graduate Texts in Mathematics, vol. 264, Springer, London, 2013. MR 3026831
work page 2013
-
[12]
Gianni Dal Maso,An introduction toΓ-convergence, Birkh¨ auser, Boston, 1993
work page 1993
-
[13]
Andrei V. Dmitruk and Nikolai P. Osmolovskii,Necessary conditions for a weak minimum in optimal control problems with integral equations on a variable time interval, Discrete Contin. Dyn. Syst.35(2015), no. 9, 4323–4343. MR 3392628
work page 2015
-
[14]
Zohreh Fathi and Behroz Bidabad,On the geometry of Zermelo’s optimal control trajectories, AUT J. Math. Comput.3 (2022), no. 1, 1–10
work page 2022
-
[15]
,Time-optimal solutions of Zermelo’s navigation problem with moving obstacles, Differential Geom. Appl.97(2024), Paper No. 102177, 17. MR 4795638
work page 2024
-
[16]
Piotr Kopacz,On generalization of Zermelo navigation problem on Riemannian manifolds, Int. J. Geom. Methods Mod. Phys.16(2019), no. 4, 19 (English), Id/No 1950058
work page 2019
-
[17]
Tullio Levi-Civita, ¨Uber Zermelos Luftfahrtproblem, Z. Angew. Math. Mech.11(1931), 314–322 (German). 20
work page 1931
-
[18]
Basilio Mani` a,Sopra un problema di navigazione di Zermelo, Math. Ann.113(1937), no. 1, 584–599. MR 1513108
work page 1937
- [19]
-
[20]
Lorenzo Piro, Benoˆ ıt Mahault, and Ramin Golestanian,Optimal navigation of microswimmers in complex and noisy environments, New J. Phys.24(2022), Paper No. 093037, 14. MR 4515626
work page 2022
-
[21]
Martina Reche-Vilanova, Heikki Hansen, and Harry Bradford Bingham,Performance prediction program for wind-assisted cargo ships, Journal of Sailing Technology6(2021), no. 01, 91–117
work page 2021
-
[22]
317, Springer-Verlag, Berlin, 1998
Ralph Tyrrell Rockafellar and Roger J-B Wets,Variational analysis, 3rd printing, 2009 ed., Gundlehren der mathematischen Wissenchaften, vol. 317, Springer-Verlag, Berlin, 1998
work page 2009
-
[23]
Ulysse Serres,On Zermelo-like problems: Gauss-Bonnet inequality and E. Hopf theorem, J. Dyn. Control Syst.15(2009), no. 1, 99–131 (English)
work page 2009
-
[24]
Richard von Mises,Zum Navigationsproblem der Luftfahrt, Z. Angew. Math. Mech.11(1931), 373–381 (German)
work page 1931
-
[25]
Ernst Zermelo,Ernst Zermelo—collected works. Vol. II. Calculus of variations, applied mathematics, and physics/Gesammelte Werke. Band II. Variationsrechnung, Angewandte Mathematik und Physik, Schriften der Mathematisch-Naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften [Publications of the Mathe- matics and Natural Sciences Sectio...
work page 2013
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.