Nonstandard variational calculus with applications to classical mechanics. 1. An existence criterion

Abstract

Using the framework of nonstandard analysis, I find the discretized version of the Euler-Lagrange equation for classical dynamical systems and discuss the existence of an extremum for a given functional in variational calculus. Some results related to the Cauchy existence theorem are obtained and discussed with various examples.