Numerical Methods, Differential Equations.
We have: which means that Total derivative of the eikonal function. Exploiting now the equation for the determination of the curve from the eikonal function U, then proving that the eikonal function U is decreasing along the optimal curve. Furthermore, the function U should equal the total