Trotter product formulas and global regular upper bounds of the Navier Stokes equation solution

Abstract

Global upper bounds with respect to regular norms of the incompressible Navier Stokes equation solution with regular data are constructed by an infinite scheme, where we work in bounded ZFC with bounded quantifiers and explicit infinitesimals. Trotter product formulas with infinitesimal error are obtained, which simplify for calculi with explicit infinitesimal and make the spatial effects needed in order to obtain global schemes more transparent.

arXiv comment27p., thoroughly revised version, results sharpened, arXiv admin note: text overlap with arXiv:1112.4660

Cited by in corpus (1)

• On an auto-controlled global existence scheme of the incompressible Navier Stokes equation