arxiv: 2605.07217 · v1 · submitted 2026-05-08 · 🧮 math.OC

Recognition: no theorem link

Dynamical Systems in Elliptical Pursuit and Evasion

Sota Yoshihara

Pith reviewed 2026-05-11 02:11 UTC · model grok-4.3

classification 🧮 math.OC

keywords pursuit-evasionelliptical orbitsdynamical systemsfinite-time captureperiodic solutionsnon-autonomous systemsBarton-Eliezer equations

0 comments

The pith

In elliptical pursuit-evasion a faster pursuer captures the evader in finite time with an explicit upper bound, while a slower pursuer produces global convergence to a unique periodic solution.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper extends one-on-one pursuit-evasion from circular to elliptical paths by reducing the Barton-Eliezer equations to a dynamical system in angular difference and separation distance. It assumes the pursuer's trajectory shape is independent of the evader's speed, yielding an autonomous system with a stable equilibrium for circles but a non-autonomous system without equilibria for ellipses. Reformulating the equations with a complex variable that encodes logarithmic distance and angle difference removes the singularity at capture. The resulting analysis proves finite-time capture with a concrete time bound when the pursuer is faster and shows that all trajectories converge globally and asymptotically to a single periodic orbit when the pursuer is slower.

Core claim

When the pursuer moves faster than the evader, the system reaches capture in finite time and supplies an explicit upper bound on that time; when the pursuer is slower, the non-autonomous system admits a unique periodic solution that attracts every trajectory globally and asymptotically.

What carries the argument

The reduced dynamical system in angular difference and separation distance, recast via a complex variable that combines logarithmic distance with the angular difference to remove the capture singularity.

If this is right

Capture time is bounded above by a quantity that depends only on initial separation, speed ratio, and ellipse geometry.
All solutions converge to the same periodic orbit regardless of starting conditions when the pursuer is slower.
The circular case is recovered as a special autonomous limit possessing an asymptotically stable equilibrium.
The non-autonomous character introduced by the ellipse precludes fixed equilibria yet still permits global periodic attractors.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The finite-time bound supplies a concrete design criterion for pursuit controllers that must guarantee capture within a prescribed window.
Periodic convergence for the slower pursuer suggests that elliptical evasion can be used to force predictable long-term looping behavior rather than escape.
Relaxing the fixed-trajectory-shape assumption would couple the players' paths more tightly and might alter both the bound and the existence of the periodic orbit.
The complex-variable reformulation may extend to other singular pursuit problems where distance approaches zero.

Load-bearing premise

The shape of the pursuer's trajectory is unaffected by the evader's speed.

What would settle it

A numerical integration or physical experiment in which, for a faster pursuer, the observed capture time exceeds the paper's derived upper bound or, for a slower pursuer, trajectories fail to approach the claimed unique periodic orbit.

Figures

Figures reproduced from arXiv: 2605.07217 by Sota Yoshihara.

**Figure 1.** Figure 1: The pursuer’s trajectory does not converge to the blue line, i.e., the ellipse orbited by the evader scaled by [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗

**Figure 2.** Figure 2: Elliptical one-on-one pursuit and evasion problem when [PITH_FULL_IMAGE:figures/full_fig_p002_2.png] view at source ↗

**Figure 6.** Figure 6: The numerical solutions of (47) and both player’s position (49) describing elliptical pursuit and evasion, for a =1.0, b =0.5, and n =0.5 from ϑ = ϱ/2 to ϑ = 10ϱ + ϱ/2. The horizontal axis represents ω and the vertical axis represents ε. The pursuer and the evader start from the origin and (1, 0), respectively, so the initial conditions are ω(0) = 1 and ε(0) = ϱ/2. The solution trajectory converges to an u… view at source ↗

**Figure 7.** Figure 7: The numerical solutions of (47) and both player’s positi Figure 7: The numerical solutions of (47) and both player’s position (49), for [PITH_FULL_IMAGE:figures/full_fig_p010_7.png] view at source ↗

**Figure 8.** Figure 8: The numerical solutions of (47) and both player’s position (49), for a =1.0, b =0.5, and n =1.0 from ω = ε/2 to ω = ε/2+2ε. The meaning of axes and initial conditions are the same as in [PITH_FULL_IMAGE:figures/full_fig_p011_8.png] view at source ↗

**Figure 9.** Figure 9: shows µ(φ) for all four initial conditions plotted on the same axes. After a short transient of at most a few periods, the four curves become visually indistinguishable and settle into a common πperiodic oscillation, confirming that µ(φ) converges uniformly to a single limit independent of its initial value [PITH_FULL_IMAGE:figures/full_fig_p017_9.png] view at source ↗

**Figure 10.** Figure 10: Time evolution of ζ(φ) for the same four initial conditions as in [PITH_FULL_IMAGE:figures/full_fig_p018_10.png] view at source ↗

**Figure 11.** Figure 11: Pursuer trajectories reconstructed from ( [PITH_FULL_IMAGE:figures/full_fig_p018_11.png] view at source ↗

read the original abstract

This paper investigates the difference between the circular and elliptical cases in one-on-one pursuit and evasion problems. Using the simultaneous differential equation derived by Barton and Eliezer, we derive a dynamical system based on the assumption that the shape of the pursuer's trajectory is unaffected by the evader's speed. The dynamical system involves the angular difference between the velocity vectors of the players and their separation distance. When the evader orbits a circle, the dynamical system is autonomous with an asymptotically stable equilibrium point. By contrast, if the evader orbits an ellipse, the dynamical system becomes non-autonomous and lacks an equilibrium point. To handle the singularity at capture, we reformulate the system using a complex variable that includes information about the logarithmic distance and the angular difference. We establish two main results: when the pursuer is faster than the evader, the pursuer captures the evader in finite time, and we derive an explicit upper bound for the capture time; when the pursuer is slower, the system possesses a unique periodic solution to which all trajectories converge globally and asymptotically.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper reduces elliptical pursuit-evasion to a non-autonomous system and proves explicit capture bounds plus global periodic convergence, but everything rests on the unverified assumption that pursuer trajectory shape is independent of evader speed.

read the letter

The main contribution here is taking the Barton-Eliezer simultaneous equations and closing them into a two-variable system (angular difference and separation) by assuming the pursuer's path geometry does not change with evader speed. For circular orbits this recovers an autonomous system with a stable equilibrium. For ellipses the system becomes non-autonomous with no equilibria; they reformulate it with a complex variable to remove the capture singularity and then prove two results: faster pursuer captures in finite time with an explicit upper bound, and slower pursuer yields global asymptotic convergence to a unique periodic orbit. These statements are new relative to the circular literature they cite and could be directly usable in applications if the reduction holds. The complex-variable step looks like a clean technical move for handling the log singularity at zero distance. The central soft spot is exactly that modeling assumption. If the pursuer's actual trajectory shape does depend on evader speed, the reduced ODEs no longer govern the original problem, so neither the bound nor the convergence claim transfers. The abstract gives no indication of numerical checks against the full simultaneous system or any sensitivity analysis on this point. Without the full proofs it is also impossible to judge how sharp the bound is or whether the global attraction argument has any gaps. This is for people working on differential games with non-circular paths who are willing to accept or separately validate the independence assumption. It has enough concrete claims and a clear technical approach to deserve a serious referee, though any review should focus first on whether the reduction is justified and second on the details of the periodic-orbit proof.

Referee Report

2 major / 2 minor

Summary. The paper starts from the Barton-Eliezer simultaneous differential equations for one-on-one pursuit-evasion and derives a reduced two-variable dynamical system (angular difference and separation distance) by adding the explicit modeling assumption that the pursuer's trajectory shape is independent of the evader's speed. For circular evader motion the reduced system is autonomous with an asymptotically stable equilibrium; for elliptical motion it is non-autonomous and has no equilibria. A complex-variable reformulation is introduced to regularize the capture singularity. The two main theorems state that a faster pursuer captures the evader in finite time (with an explicit upper bound on capture time) and that a slower pursuer yields a unique periodic orbit to which all trajectories converge globally and asymptotically.

Significance. If the modeling assumption is valid, the work supplies explicit capture-time bounds and global convergence results for non-circular pursuit-evasion, extending the classical circular case. The complex-variable treatment of the singularity is a technically clean device that could be useful in related problems. The results are falsifiable via simulation of the original Barton-Eliezer equations and therefore constitute a concrete contribution to the dynamical-systems analysis of pursuit-evasion.

major comments (2)

[Derivation of the reduced dynamical system (immediately after the citation of Barton and Eliezer)] The reduction from the Barton-Eliezer equations to the claimed two-variable system rests entirely on the unverified modeling assumption that the pursuer's trajectory geometry is unaffected by the evader's speed. This assumption is introduced explicitly to close the system but is neither justified analytically nor checked numerically against the full coupled dynamics. Because every subsequent result (finite-time capture bound, periodic-orbit existence, global asymptotic convergence) is proved only for the reduced system, the assumption is load-bearing for the central claims; without support for it, the theorems do not transfer to the original pursuit-evasion problem the paper sets out to solve.
[Complex-variable reformulation section] The complex-variable reformulation that combines logarithmic distance and angular difference is asserted to remove the capture singularity while preserving the dynamics. The manuscript does not supply an explicit verification that the transformed vector field remains equivalent to the original reduced system away from capture, nor does it address whether the non-autonomous terms arising from the elliptical evader are faithfully carried through the transformation.

minor comments (2)

[Abstract] The abstract states that the circular case possesses an 'asymptotically stable equilibrium point' while the elliptical case 'lacks an equilibrium point'; a single sentence clarifying that the elliptical system is non-autonomous would prevent readers from expecting an equilibrium to exist.
[Notation and statement of theorems] Notation for the pursuer and evader speed ratios should be introduced once and used consistently; occasional switches between ratio symbols and separate speed symbols obscure the statements of the two main theorems.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough review and insightful comments, which help clarify the scope and technical details of our work. We address each major comment point by point below, with plans for revisions to improve the manuscript.

read point-by-point responses

Referee: [Derivation of the reduced dynamical system (immediately after the citation of Barton and Eliezer)] The reduction from the Barton-Eliezer equations to the claimed two-variable system rests entirely on the unverified modeling assumption that the pursuer's trajectory geometry is unaffected by the evader's speed. This assumption is introduced explicitly to close the system but is neither justified analytically nor checked numerically against the full coupled dynamics. Because every subsequent result (finite-time capture bound, periodic-orbit existence, global asymptotic convergence) is proved only for the reduced system, the assumption is load-bearing for the central claims; without support for it, the theorems do not transfer to the original pursuit-evasion problem the paper sets out to solve.

Authors: The manuscript explicitly introduces the modeling assumption that the pursuer's trajectory shape is independent of the evader's speed in order to reduce the Barton-Eliezer equations to a closed two-variable system in angular difference and separation distance. This is stated in the abstract and derivation section as the basis for obtaining an analytically tractable dynamical system. We agree that the assumption is central and that the theorems apply directly to the reduced system. In the revision we will expand the discussion to include a rationale for the assumption (its consistency with constant-curvature pursuit strategies when speed ratios are fixed) and add numerical simulations comparing trajectories of the reduced system against the full coupled Barton-Eliezer equations for representative elliptical orbits. We will also revise the introduction and conclusion to state clearly that the results hold under this modeling assumption, which is motivated by but not identical to the original pursuit-evasion problem. revision: partial
Referee: [Complex-variable reformulation section] The complex-variable reformulation that combines logarithmic distance and angular difference is asserted to remove the capture singularity while preserving the dynamics. The manuscript does not supply an explicit verification that the transformed vector field remains equivalent to the original reduced system away from capture, nor does it address whether the non-autonomous terms arising from the elliptical evader are faithfully carried through the transformation.

Authors: We acknowledge that an explicit verification of dynamical equivalence was omitted. In the revised manuscript we will insert a short lemma immediately after the definition of the complex variable z = log(r) + iθ. The lemma will derive the transformed vector field explicitly, show that it coincides with the original reduced system for r > 0 (i.e., away from capture), and confirm that the time-dependent terms induced by the elliptical evader orbit are preserved without modification under the change of variables. This will be accompanied by a brief remark on the removable nature of the singularity at r = 0. revision: yes

Circularity Check

0 steps flagged

No circularity: results follow from explicit reduction under stated assumption

full rationale

The paper begins with the external Barton-Eliezer simultaneous DEs, explicitly invokes the modeling assumption that pursuer trajectory shape is independent of evader speed to obtain a reduced non-autonomous ODE in angular difference and separation, then performs standard analysis (complex-variable reformulation, Lyapunov or comparison arguments for finite-time capture when speed ratio >1, and existence/uniqueness of periodic orbit with global attraction when speed ratio <1). No parameter is fitted and relabeled as a prediction, no self-citation supplies a load-bearing uniqueness theorem, and no step equates the claimed bound or convergence result to the input equations by definition. The derivation chain is therefore self-contained once the (explicitly declared) modeling assumption is granted.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the Barton-Eliezer simultaneous differential equation (external) plus one explicit modeling assumption about pursuer trajectory shape; no free parameters, new entities, or additional axioms are mentioned.

axioms (1)

domain assumption The shape of the pursuer's trajectory is unaffected by the evader's speed.
Explicitly invoked to reduce the full motion equations to the angular-difference and distance dynamical system.

pith-pipeline@v0.9.0 · 5477 in / 1492 out tokens · 58063 ms · 2026-05-11T02:11:09.783559+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

[1]

Bouguer, P.: Memories de l’Academie Royale des Sciences, 1-14 (1732)

work page
[2]

Hathaway, A.S., Archibald, R.C., Manning, H.P.: Problems and solutions: 2801. Am. Math. Mon. 28(2), 91–97 (1921).https://doi.org/10.2307/2973052

work page doi:10.2307/2973052 1921
[3]

Bernhart, A.: Curves of pursuit. Scr. Math.20, 125–141 (1954)

work page 1954
[4]

Wiley, New York (1965)

Isaacs, R.: Differential Games: A Mathematical Theory with Applications to Warfare and Pursuit, Control and Optimization. Wiley, New York (1965)

work page 1965
[5]

, year =

Weintraub, I.E., Pachter, M., Garcia, E.: An introduction to pursuit-evasion differential games. In: 2020 American Control Conference (ACC), pp. 1049–1066 (2020).https://doi.org/10.23919/ ACC45564.2020.9147205

work page arXiv 2020
[6]

Kumkov, S.S., Le M´ enec, S., Patsko, V.S.: Zero-sum pursuit-evasion differential games with many objects: survey of publications. Dyn. Games Appl.7, 609–633 (2017).https://doi.org/10.1007/ s13235-016-0209-z

work page 2017
[7]

Azamov, A.: On a problem of escape along a prescribed curve. J. Appl. Math. Mech.46(4), 553–555 (1982).https://doi.org/10.1016/0021-8928(82)90045-4

work page doi:10.1016/0021-8928(82)90045-4 1982
[8]

Kuchkarov, A.Sh.: Solution of simple pursuit-evasion problem when evader moves on a given curve. Int. Game Theory Rev.12(3), 223–238 (2010).https://doi.org/10.1142/S0219198910002647

work page doi:10.1142/s0219198910002647 2010
[9]

Barton, J.C., Eliezer, C.J.: On pursuit curves. J. Aust. Math. Soc. Ser. B41, 358–371 (2000). https://doi.org/10.1017/S0334270000011292

work page doi:10.1017/s0334270000011292 2000
[10]

Springer, Singapore (2019).https://doi.org/10.1007/978-981-15-1731-0 19

Kamimura, A., Ohira, T.: Group Chase and Escape: Fusion of Pursuit-Escapes and Collective Motion. Springer, Singapore (2019).https://doi.org/10.1007/978-981-15-1731-0 19

work page doi:10.1007/978-981-15-1731-0 2019
[11]

Princeton University Press, Princeton (2007)

Nahin, P.J.: Chases and Escapes: The Mathematics of Pursuit and Evasion. Princeton University Press, Princeton (2007)

work page 2007
[12]

arXiv:2508.03841 (2025).https://doi.org/10.48550/arXiv.2508

Rozas, L.: A numerical procedure for the determination of the pursuit curve of objects with uniformly accelerated motion. arXiv:2508.03841 (2025).https://doi.org/10.48550/arXiv.2508. 03841

work page doi:10.48550/arxiv.2508 2025
[13]

Yoshihara, S., Ohira, T.: Pursuit and evasion: from singles to groups. J. Phys. Conf. Ser.2207, 012014 (2022).https://doi.org/10.1088/1742-6596/2207/1/012014

work page doi:10.1088/1742-6596/2207/1/012014 2022
[14]

Yoshihara, S.: Elliptical pursuit and evasion. J. Phys. Conf. Ser., in press (2026)

work page 2026
[15]

arXiv:2401.06338v3 (2024).https: //doi.org/10.48550/arXiv.2401.06338

Yoshihara, S.: Elliptical pursuit and evasion –extended version–. arXiv:2401.06338v3 (2024).https: //doi.org/10.48550/arXiv.2401.06338

work page doi:10.48550/arxiv.2401.06338 2024
[16]

Texts in Applied Mathematics, vol 2

Wiggins, S.: Introduction to Applied Nonlinear Dynamical Systems and Chaos, 2nd edn. Texts in Applied Mathematics, vol 2. Springer, New York (2000)

work page 2000
[17]

Wolfram Research, Inc., Champaign, Illinois (2024) 20

Wolfram Research, Inc.: Mathematica, Version 14.1. Wolfram Research, Inc., Champaign, Illinois (2024) 20

work page 2024