⚠ ネタバレ注意: 本サイトはSFアニメ「SOLAR LINE」の内容を詳細に分析しています。未視聴の方はご注意ください。
📝 AI生成コンテンツ: 本考証の大部分は AI(Claude Code 等)によって生成されています。内容の正確性については原作および引用元をご確認ください。

Task 181: Validate episode transfers with adaptive integrators

完了 ← タスク一覧

Task 181: Validate episode transfers with adaptive integrators

Status: DONE

Description

The adaptive integrators (RK45 Dormand-Prince, Störmer-Verlet) are implemented in solar-line-core

but have only been validated with unit tests. Run the full episode transfer calculations through

the adaptive integrators and compare results against the existing RK4 fixed-step results.

This serves dual purposes:

  1. Cross-validate the existing analysis results
  2. Identify if any transfers benefit from adaptive stepping (e.g., near-body passages, thrust transitions)

Steps

  1. Add integration tests that run each episode's key transfers through both RK4 and RK45
  2. Compare ΔV, travel time, and arrival position accuracy
  3. Check energy conservation metrics for ballistic phases (Störmer-Verlet vs RK4)
  4. Document any meaningful differences in reports/data/calculations/
  5. If adaptive results are significantly more accurate, update episode analyses

Results

12 integration tests added in tests/episode_integrator_comparison.rs:

TestEpisodeResult
EP01 brachistochrone 72h1pos_diff 85k km (0.015% rel), speed_diff 0.66 km/s
EP01 flip point1Speed agrees to 0.015% (4272.1 vs 4272.7 km/s)
EP02 ballistic RK4 vs RK452Machine precision agreement (~3e-15 relative)
EP02 ballistic RK4 vs Störmer-Verlet2Sub-km agreement; SV energy drift 2.5e-9 (bounded)
EP02 all integrators reach Saturn2All three agree to rounding: 0.877× Saturn orbit
EP03 brachistochrone 143h3pos_diff 112k km (0.008% rel)
EP03 nav crisis midpoint3Integrator diff ~0 km vs 14.36M km error budget
EP04 Uranus departure4~0 km, ~0 km/s (low thrust, short burn)
EP05 Uranus escape5Machine precision agreement
EP05 decel burn 35h5pos_diff 12.6k km (0.007% rel)
EP05 LEO insertion5pos_diff 1.28 km, speed_diff 0.004 km/s
Computation cost1RK45 uses 15× fewer derivative evaluations

Conclusion: RK4 and RK45 agree to high precision. No episode analyses need updating.

RK45 is 7-15× more efficient. Störmer-Verlet shows proper bounded energy oscillation.

Notes