Functions and Analysis

1605 Submissions

[2] viXra:1605.0290 [pdf] submitted on 2016-05-28 22:52:24

A Formalized Implied Integral

Authors: Eric Stucky
Comments: 6 Pages.

In this document, we define a fully formalized notion of the ``Implied Integral'' which works for a broad variety of symbolic expressions. We show that it is equal to the ordinary integral up to a generalized constant term, and we show that this generalized constant is in some sense optimal.
Category: Functions and Analysis

[1] viXra:1605.0236 [pdf] replaced on 2016-08-28 12:57:14

Two Theorems on Solutions in Eulerian Description

Authors: Valdir Monteiro dos Santos Godoi
Comments: 8 Pages.

We present two proofs of theorems needed to the major work we are doing on existence and breakdown solutions of the Navier-Stokes equations for incompressible case in n = 3 spatial dimensions.
Category: Functions and Analysis