Back to search
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

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.