2509.14286
Segmentation of the spacecraft transfer problem through overdetermined and continuity constraints based on the Theory of Functional Connections
A. K. de Almeida Jr.
wrongmedium confidenceCounterexample detected
- Category
- math.DS
- Journal tier
- Specialist/Solid
- Processed
- Sep 28, 2025, 12:57 AM
- arXiv Links
- Abstract ↗PDF ↗
Audit review
For the three-segment case with support functions s1=(1,t,t^2), s2=(1,t), s3=(1,t,t^2) and the eight combined constraints, the paper gives explicit constrained functionals (its Eq. (14)) that contain 1/13 coefficients. Solving the same eight-by-eight linear system directly yields a different, uniquely determined solution with determinant 8 T^3 and coefficients built from 1/8, 1/4, etc. The two cannot both be correct. A simple counterexample (all g-values and their derivatives set to zero, vi=vf=0) shows the paper’s r1(t) t^2-coefficient equals 3(rf−ri)/(13 T^2) whereas the correct value from the linear system is (rf−ri)/(4 T^2), proving the paper’s expression is wrong. The model’s derivation matches the structure rn=gn+En sn, the constraints, and recovers the published Ns=2 formula (paper’s Eq. (10)), but disagrees with the Ns=3 formula (Eq. (14)). Therefore, the model is correct and the paper’s Ns=3 explicit expression is in error.
Referee report (LaTeX)
\textbf{Recommendation:} reject \textbf{Journal Tier:} specialist/solid \textbf{Justification:} The TFC segmentation framework and the combined-constraints idea are sound and align with prior literature, and the two-segment case matches known constructions. However, the three-segment explicit closed forms (Eq. (14)) are inconsistent with the uniquely determined solution of the corresponding linear system for the stated support functions, as shown by direct algebra and a simple counterexample. Because later sections rely on these expressions, the error is material. The paper needs a thorough re-derivation and verification of the Ns=3 formulas (and any others built analogously), plus a clear invertibility statement for the adopted support distributions.