Nonlinear numerical schemes using specular differentiation for initial value problems of first-order ordinary differential equations

This paper proposes specular differentiation in one-dimensional Euclidean space and provides its fundamental analysis, including a quasi-Fermat theorem and a quasi-Mean Value Theorem. As an application, this paper develops several numerical schemes for solving initial value problems for first-order ordinary differential equations. Based on numerical simulations, we select one scheme and prove its second-order consistency and convergence. By modifying this scheme, we also obtain a numerical scheme with zero local truncation error for ODEs whose solution trajectories are ellipses.