REVIEW 4 major objections 4 minor 36 references
Investigation of the Estimation Accuracy of 5 Different Numerical ODE Solvers on 3 Case Studies
T0 review · 4 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read No single ODE solver is universally best; the model's behavior determines which solver is most accurate.
desk verdict A basic ODE-solver benchmark whose reported rankings are internally inconsistent and unreproducible; the paper's central claim doesn't survive scrutiny. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the normalized relative-error measure defined in Eqs. (23) and (24), which compares each solver's output to an empirical-model reference and to experimental reference values. The five solvers themselves form the second ingredient: all are explicit one-step methods of the form $y_{i+1}=y_i+\Phi h$, differing only in how the representative slope is computed. The relative-error measure is what the paper uses to rank the solvers and to conclude that the rankings shift across the three case studies.
What would settle it
A decisive test would be to re-run the five solvers on the three case studies with the ODEs, step sizes, and reference data supplied, and check whether the midpoint method still has the smallest experimental relative error on the building-temperature case and whether all five solvers still blow up on the market-price case. If, under identical conditions, a different solver wins the temperature case or any solver tracks the market price, the paper's core claim of model-dependent rankings would need revision.
Extended reading notes
Core claim
The central claim is that estimation accuracy of numerical ODE solvers is case-dependent. Using the logistic population model, a building-temperature model, and a market-equilibrium-price model, the paper computes relative errors via Eqs. (23) and (24) for each of five solvers against both empirical equation outputs and experimental data from previous literature. The reported result is that the solvers are nearly indistinguishable in relative error on population dynamics; that the midpoint method has the lowest experimental relative error on the temperature case; and that all solvers fail on the market-price case because the model's steep slope makes denominators in the numerical formulas very small. The general conclusion the authors draw is that the application and accuracy of each solver differ according to the behavior of the model.
Load-bearing premise
The rankings stand on the assumption that the empirical and experimental reference data are valid, aligned at matching time points, and correctly transcribed into the error formulas of Eqs. (23) and (24), and that each solver was implemented and configured fairly, since the paper does not report the ODEs, parameters, step sizes, or source datasets.
Editorial extensions
If this is right
- For smooth, logistic-type growth, choosing the solver with the lowest computational cost (Euler's method) loses no meaningful accuracy, so expensive higher-order solvers are unnecessary there.
- Higher-order and adaptive solvers are not automatically more accurate: on the building-temperature case the midpoint method is reported to have the smallest experimental relative error despite being only second-order.
- For models with sudden, steep changes (market equilibrium price), standard explicit solvers diverge and blow up, so such models require different numerical treatment or model reformulation before these solvers can be used.
- A solver ranking established on one case study should not be assumed to carry over to another case study with different qualitative dynamics.
- The relative-error formulas in the paper provide a portable, quantitative way to compare solver accuracy against empirical and experimental references in future case studies.
Reading between the lines
- A natural extension the paper does not pursue is to construct a benchmark suite containing several qualitative regimes (smooth, transient, stiff, discontinuous) and report solver rankings per regime; if the rankings still separate cleanly by regime, the model-dependence claim becomes a design principle for solver selection.
- Because the paper does not report the underlying ODEs, parameters, step sizes, or the reference datasets, the specific rankings (e.g., midpoint best for temperature) are not yet reproducible; publishing those details would turn the claim into a testable benchmark.
- The market-equilibrium failure hints that an implicit or special stiff solver, or an event-detecting formulation, could handle the steep-slope behavior; testing that is a direct, concrete follow-up.
- The internal inconsistency between the table (midpoint lowest temperature error) and the prose (ode45 named most accurate) suggests the reported 'best solver' label should be read with care until the dataset and error computations are confirmed.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript compares five explicit ODE solvers (Euler, Heun, midpoint, classical RK4, and MATLAB's ODE45) on three case studies: logistic population growth, building temperature change, and market equilibrium price. It reports relative errors computed against 'empirical' and 'experimental' reference data in Tables 1-3 and concludes that no single solver is universally best, that all solvers are nearly equivalent for the population case, that the midpoint method is best for the temperature case, and that none can track the market-price dynamics. The paper provides textbook summaries of the methods but does not state the ODEs, parameters, initial conditions, step sizes, tolerances, or source datasets behind any of the computed errors.
Significance. If the results were reproducible and internally consistent, the paper would provide a modest empirical illustration of a well-known principle: solver choice should depend on problem structure. That principle is already standard in numerical analysis, and the paper offers no new algorithm, theory, code, or data set. The main potential value would be as a reproducible benchmark, but that value is not realized because the experimental setup is almost entirely unspecified. On the positive side, the idea of comparing numerical solutions against both an empirical formula and previously published experimental data is appropriate for the stated applied goal, and the method summaries indicate familiarity with the classical fixed-step schemes. However, the evidence in the tables is not reliable enough to support even the qualitative ranking claims.
major comments (4)
- [§3.1, Table 1; §3.2, Table 2; §4] The prose and the tables contradict each other on the very rankings on which the paper's conclusions depend. In §3.1 the text first says Heun's method has the lowest experimental error and then says ode45 has the lowest error at 2.9417, but Table 1 gives Euler 2.9281, Heun 2.9438, midpoint 2.9418, RK4 2.9417, and ode45 2.9417; Euler is the minimum and Heun is the maximum. In §3.2 the opening paragraph concludes the midpoint method has the lowest experimental error, but the next paragraph says ode45 'proved to be the most accurate' with the lowest error at 0.6790; Table 2 gives midpoint 0.5362 and ode45 0.6790, so the minimum is midpoint and ode45 is not the lowest. These contradictions make it impossible to know which ranking, if any, is the intended result and invalidate the central claim that accuracy ordering changes with model behavior.
- [§2, §3 (all case studies)] The manuscript does not provide the ODEs being solved, their parameter values, initial conditions, integration intervals, step sizes, solver tolerances, or the 'experimental data of previous literature' used as references. Without this information, the relative errors in Tables 1-3 and the rankings drawn from them cannot be reproduced or independently checked. Equations (23) and (24) cannot be evaluated either, because the sets E_i, P_i, and X_i are never defined in concrete terms. This is not a presentation issue: every numerical claim in the paper rests on these unreported inputs.
- [§3.3, Table 3] The 'empirical error' column of Table 3 is 100.00 for all five solvers, yet the text interprets the methods as failing in different degrees. The fact that all values are exactly the same strongly suggests that the error computation is degenerate or mis-specified for this case. The explanation in §3.3 that the steep slope 'makes the denominator of all the solvers to be a very small number' is not meaningful without the actual formula and denominators; a blow-up of the numerical solution should not automatically produce an identical error for every method. The authors need to report how Eq. (23) behaves for this case study and why the comparison is not vacuous.
- [§2.6, §3.2] The description of ODE45 as a 'variable-step, variable-order algorithm' is not accurate: MATLAB's ode45 is an adaptive step-size implementation of an explicit Runge-Kutta (4,5) pair (Dormand-Prince), not a variable-order method. More importantly, the comparison of fixed-step solvers with an adaptive solver is only meaningful if step sizes and tolerances are chosen under a stated protocol; since no protocol is given, the 'solution cost' claims in §3.1 and the accuracy ranking in §3.2 are not well-defined.
minor comments (4)
- [Keywords; §1] Keywords contain 'Euler'r method' and the introduction uses 'Hyun's method'; these should be 'Euler's method' and 'Heun's method'.
- [§2, Eqs. (1), (23), (24)] Equation (1) and the surrounding text contain corrupted symbols (e.g., 'd!d"' instead of dy/dx), and Eqs. (23)-(24) do not define n, E_i, P_i, or X_i in a way that makes the computed quantities unambiguous. Please use standard notation and state whether the reported errors are percentages or normalized RMSE values.
- [§3.2] In the sentence after Figure 2, 'form 2' should be 'figure 2'; the same typo appears in §3.1 and §3.2 for 'form' versus 'from'. Additionally, §3.1 refers to the 'exponential model' while the abstract and introduction describe the first case study as a logistic population model; the discrepancy should be resolved.
- [§1] The introduction states that Heun's method 'enhances accuracy through dynamic step size adaptation,' but the method described in §2.2 is a fixed-step predictor-corrector; this should be corrected.
Circularity Check
No significant circularity: the solver-error rankings are compared against external literature data, not derived from the rankings themselves.
full rationale
The paper's central claim is that the relative accuracy of five standard ODE solvers depends on the qualitative behavior of the modeled system. The error values in Tables 1-3 are computed with Equations (23) and (24), which compare each solver's output X_i against external empirical data P_i and empirical-equation data E_i. No solver parameter is fitted to the reported error values, and the conclusion is not used to define the error metric. The methods themselves are textbook formulas (Equations 3, 12, 14, 16-18, and 22), and no load-bearing result is imported from the authors' own prior work. The prose contradicts Tables 1 and 2 when naming the 'best' solver, and the source ODEs, step sizes, and literature datasets are not specified, making the reported rankings unreproducible; however, these are correctness and reproducibility defects, not circularity. There is no exhibited reduction in which an input is defined in terms of the claimed output, so the honest finding is no significant circularity.
Assumptions & free parameters
free parameters (3)
- Step size h =
Not stated
- ODE45 error tolerance =
Not stated
- Model parameters for the three case studies =
Not stated
assumptions (3)
- standard math Taylor series expansion of the solution with remainder, used to derive Euler's truncation error in Equations (5) through (8).
- domain assumption The empirical relationship and experimental data from prior literature are accurate, comparable, and correctly used as ground truth.
- ad hoc to paper The numerical solvers were all run with step sizes and settings that make their errors directly comparable.
Cite this review
Pith. "Pith review of Investigation of the Estimation Accuracy of 5 Different Numerical ODE Solvers on 3 Case Studies." pith.science (2026). https://pith.science/paper/IRLPAYI5
@misc{pith2026250210289,
author = {Pith},
title = {Pith review of: Investigation of the Estimation Accuracy of 5 Different Numerical ODE Solvers on 3 Case Studies},
year = {2026},
howpublished = {\url{https://pith.science/paper/IRLPAYI5}},
note = {Machine review of arXiv:2502.10289}
}
read the original abstract
Numerical ordinary differential equation (ODE) solvers are indispensable tools in various engineering domains, enabling the simulation and analysis of dynamic systems. In this work, we utilize 5 different numerical ODE solvers namely: Euler's method, Heun's method, Midpoint Method, Runge-kutta 4th order and ODE45 method in order to discover the answer of three wellknown case studies and compare their results by calculation of relative errors. To check for the validity of the estimations, the experimental data of previous literature have been compared with the data in this paper which shows a good accordance. We observe that for each of the case studies based on the behavior of the model, the estimation accuracy of the solvers is different. For the logistic population change as the first case study, the results of all solvers are so close to each other that only their solution cost can be considered for their superiority. For temperature change of a building as the second case study we see that in some especial areas the accuracy of the solvers is different and in general Midpoint ODE solver shows better results. As the last case study, market equilibrium price shows that none of the numerical ODE solvers can estimate its behavior which is due to its sudden changing nature.
Figures
Reference graph
Works this paper leans on
-
[1]
#!$%!& 2.9281 𝑒!'#!$%!& 0.2020 𝑒!
Error values of considered ODE solvers on population dynamics with respect to both experimental and empirical results Error value 𝑒!"#!$%!& 2.9281 𝑒!'#!$%!& 0.2020 𝑒!"#(!$) 2.9438 𝑒!'#(!$) 0.1858 𝑒!"#'*+#,*)- 2.9418 𝑒!'#'*+#,*)- 0.1878 𝑒!"#./0 2.9417 𝑒!'#./0 0.1879 𝑒!"#,+!12 2.9417 𝑒!'#,+!12 0.1879 3.2 Temperature Change As a different case study having a...
work page 2020
-
[2]
Perko, L. (2013). Differential equations and dynamical systems (Vol. 7). Springer Science & Business Media
work page 2013
-
[3]
Asadi, S., Mohammadagha, M., & Naeini, H. K. (2025). Comprehensive review of analytical and numerical approaches in earth-to-air heat exchangers and exergoeconomic evaluations. arXiv preprint, arXiv:2502.08553
work page Pith review arXiv 2025
-
[4]
Kermani, A., Jamshidi, A. M., Mahdavi, Z., Dashtaki, A. A., Zand, M., Nasab, M. A., ... & Khan, B. (2023). Energy management system for smart grid in the presence of energy storage and photovoltaic systems. International Journal of Photoenergy, 2023(1), 5749756
work page 2023
-
[5]
Asheghi Mehmandari, T. (2023). Engineering concept and construction methods of high-rise building. Iran: Sanei
work page 2023
-
[6]
Moshiri, M., Heidari, A. A., & Ghafoorzadeh-Yazdi, A. (2023). Wideband two-layer transmitarray antenna based on non-uniform layers. Wireless Personal Communications, 132(3), 2225–2241
work page 2023
-
[7]
Mahdavi, Z., Samavat, T., Javanmardi, A. S. J., Dashtaki, M. A., Zand, M., Nasab, M. A., ... & Khan, B. (2024). Providing a control system for charging electric vehicles using ANFIS. International Transactions on Electrical Energy Systems, 2024(1), 9921062
work page 2024
-
[8]
Moshiri, M., Ghafoorzadeh-Yazdi, A., & Heidari, A. A. (2020). A wideband quad-layer transmitarray antenna with double cross slot rings elements. AEU - International Journal of Electronics and Communications, 115, 153031
work page 2020
Show all 36 references
-
[9]
Rastgoo, S., Mahdavi, Z., Azimi Nasab, M., Zand, M., & Padmanaban, S. (2022). Using an intelligent control method for electric vehicle charging in microgrids. World Electric Vehicle Journal, 13(12),
2022
-
[10]
Babaey, V., & Ravindran, A. (2025b). GenXSS: An AI-driven framework for automated detection of XSS attacks in WAFs. In SoutheastCon 2025 (pp. 1519–1524). IEEE
2025
-
[11]
K., Asadi, S., Najafi, M., & Kasuhal, V
Mohammadagha, M., Naeini, H. K., Asadi, S., Najafi, M., & Kasuhal, V. (2025, March). Machine learning model for condition assessment of trenchless vitrified clay pipes. In North American Society for Trenchless Technology (NASTT) 2025 No-Dig Show
2025
-
[12]
A., & Tee, K
Zarchi, M., Nazari, R. A., & Tee, K. F. (2025). Explainable multi-attribute machine learning via a hierarchical nature-inspired system toward predicting geological hazards. Modeling Earth Systems and Environment, 11(4), 1–23
2025
-
[13]
A., Zand, M., Sanjeevikumar, P., & Khan, B
Ahmadi, M., Rastgoo, S., Mahdavi, Z., Nasab, M. A., Zand, M., Sanjeevikumar, P., & Khan, B. (2023). Optimal allocation of EVs parking lots and DG in micro grid using two‐stage GA‐PSO. The Journal of Engineering, 2023(2), e12237
2023
-
[14]
Toloeia, A., Zarchi, M., & Attaran, B. (2017). Numerical survey of vibrational model for third aircraft based on HR suspension system actuator using two bee algorithm objective functions. A, A, 1(2),
2017
-
[15]
Kefayat, E., & Thill, J. C. (2025). Urban street network configuration and property crime: An empirical multivariate case study. ISPRS International Journal of Geo-Information, 14(5),
2025
-
[16]
Mohammadagha, M. (2025). Hybridization and optimization modeling, analysis, and comparative study of sorting algorithms: Adaptive techniques, parallelization, for mergesort, heapsort, quicksort, insertion sort, selection sort, and bubble sort
2025
-
[17]
Zarchi, M., & Attaran, B. (2019). Improved design of an active landing gear for a passenger aircraft using multi-objective optimization technique. Structural and Multidisciplinary Optimization, 59(5), 1813–1833. 15
2019
-
[18]
Mirnajafizadeh, S. M. M., Sethuram, A. R., Mohaisen, D., Nyang, D., & Jang, R. (2024). Enhancing network attack detection with distributed and in-network data collection system. In 33rd USENIX Security Symposium (USENIX Security
2024
-
[19]
Babaey, V., & Faragardi, H. R. (2025). Detecting zero-day web attacks with an ensemble of LSTM, GRU, and stacked autoencoders. Computers, 14(6),
2025
-
[20]
Kim, S., Mirnajafizadeh, S. M. M., Kim, B., Jang, R., & Nyang, D. (2025). SketchFeature: High-quality per-flow feature extractor towards security-aware data plane. In Proceedings of ISOC NDSS
2025
-
[21]
Mahdavi, Z. (2022). MRI brain tumors detection by proposed U-Net model
2022
-
[22]
Mahdavi, Z. (2022). Introduce improved CNN model for accurate classification of autism spectrum disorder using 3D MRI brain scans
2022
-
[23]
Städter, P., Weindl, D., Hasenauer, J., & Loos, C. (2021). Benchmarking of numerical integration methods for ODE models of biological systems. Scientific Reports, 11(1),
2021
-
[24]
L., & Truong, V
Hwang, Y. L., & Truong, V. T. (2015). Dynamic analysis and control of multi-body manufacturing systems based on Newton–Euler formulation. International Journal of Computational Methods, 12(2), 1550007
2015
-
[25]
Postawa, K., Szczygieł, J., & Kułażyński, M. (2020). A comprehensive comparison of ODE solvers for biochemical problems. Renewable Energy, 156, 624–633
2020
-
[26]
Yang, N., Wu, C., & McMillan, I. (1989). New mathematical model of poultry egg production. Poultry Science, 68(4), 476–481
1989
-
[27]
Tu, J. V. (1996). Advantages and disadvantages of using artificial neural networks versus logistic regression for predicting medical outcomes. Journal of Clinical Epidemiology, 49(11), 1225–1231
1996
-
[28]
Heracleous, C., & Michael, A. (2019). Experimental assessment of the impact of natural ventilation on indoor air quality and thermal comfort conditions of educational buildings in the Eastern Mediterranean region during the heating period. Journal of Building Engineering, 26, 100917
2019
-
[29]
& Sun, Y
Lu, C., Norbäck, D., Zhang, Y., Li, B., Zhao, Z., Huang, C., ... & Sun, Y. (2016). Outdoor air pollution, meteorological conditions and indoor factors in dwellings in relation to sick building syndrome (SBS) among adults in China. The Science of the Total Environment, 560–561, 186–196
2016
-
[30]
Branco, P. T. B. S., Alvim-Ferraz, M. C. M., Martins, F. G., & Sousa, S. I. V. (2015). Children’s exposure to indoor air in urban nurseries – Part I: CO₂ and comfort assessment. Environmental Research, 140, 1–9
2015
-
[31]
Shriram, S., Ramamurthy, K., & Swaminathan, R. (2018). Effect of occupant-induced indoor CO₂ concentration and bioeffluents on human physiology using a spirometric test. Building and Environment,
2018
-
[32]
N., Kang, L., & Sekhar, C
Quang, T. N., Kang, L., & Sekhar, C. (2014). Co-optimisation of indoor environmental quality and energy consumption within urban office buildings. Energy and Buildings, 85, 225–234
2014
-
[33]
Allen, P. M. (1988). Dynamic models of evolving systems. System Dynamics Review, 4(1–2), 109–130
1988
-
[34]
V., & Sherman, A
Mascagni, M. V., & Sherman, A. S. (1989). Numerical methods for neuronal modeling. In Methods in Neuronal Modeling (2nd ed.). Retrieved from https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=bc950e1d71da936934d9f5ff650d493bfd82e9fb
1989
-
[35]
K., & Srinivasan Puri, R
Xie, X., Parlikad, A. K., & Srinivasan Puri, R. (2019). A neural ordinary differential equations based approach for demand forecasting within power grid digital twins. In 2019 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids ...
2019
-
[36]
Zhao, W., & Li, H. (2013). Midpoint derivative-based closed Newton–Cotes quadrature. Abstract and Applied Analysis, 2013, e492507
2013
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.