Catálogo de publicaciones - libros

Compartir en
redes sociales


The Strength of Nonstandard Analysis

Imme van den Berg ; Vítor Neves (eds.)

Resumen/Descripción – provisto por la editorial

No disponible.

Palabras clave – provistas por la editorial

Analysis; Mathematical Logic and Foundations; Probability Theory and Stochastic Processes; Partial Differential Equations; Number Theory; History of Mathematical Sciences

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2007 SpringerLink

Información

Tipo de recurso:

libros

ISBN impreso

978-3-211-49904-7

ISBN electrónico

978-3-211-49905-4

Editor responsable

Springer Nature

País de edición

Reino Unido

Fecha de publicación

Información sobre derechos de publicación

© Springer-Verlag Wien 2007

Cobertura temática

Tabla de contenidos

Path-space measure for stochastic differential equation with a coefficient of polynomial growth

Toru Nakamura

A -additive measure over a space of paths is constructed to give the solution to the Fokker-Planck equation associated with a stochastic differential equation with coefficient function of polynomial growth by making use of nonstandard analysis.

Part IV - Differential systems and equations | Pp. 306-316

Optimal control for Navier-Stokes equations

Nigel J. Cutland; Katarzyna Grzesiak

We survey recent results on existence of optimal controls for stochastic Navier-Stokes equations in 2 and 3 dimensions using Loeb space methods.

Part IV - Differential systems and equations | Pp. 317-348

Local-in-time existence of strong solutions of the -dimensional Burgers equation via discretizations

João Paulo Teixeira

Consider the equation: together with periodic boundary conditions and initial condition (, 0) = (). This corresponds a Navier-Stokes problem where the incompressibility condition has been dropped. The major difficulty in existence proofs for this simplified problem is the unbounded advection term, ( · ∇).

We present a proof of local-in-time existence of a smooth solution based on a discretization by a suitable Euler scheme. It will be shown that this solution exists in an interval [0, ), where ≤ 1/, with depending only on and the values of the Lipschitz constants of and at time 0. The argument given is based directly on local estimates of the solutions of the discretized problem.

Part IV - Differential systems and equations | Pp. 349-366

Calculus with infinitesimals

Keith D. Stroyan

Abraham Robinson discovered a rigorous approach to calculus with infinitesimals in 1960 and published it in []. This solved a 300 year old problem dating to Leibniz and Newton. Extending the ordered field of (Dedekind) “real” numbers to include infinitesimals is not difficult algebraically, but calculus depends on approximations with transcendental functions. Robinson used mathematical logic to show how to extend all real functions in a way that preserves their propertires in a precise sense. These properties can be used to develop calculus with infinitesimals. Infinitesimal numbers have always fit basic intuitive approximation when certain quantities arc “small enough,” but Leibniz, Euler, and many others could not make the approach free of contradiction. Section 1 of this article uses some intuitive approximations to derive a few fundamental results of analysis. We use approximate equality, x ≈ y, only in an intuitive sense that “x; is sufficiently close to ”.

Part V - Infinitesimals and education | Pp. 369-394

Pre-University Analysis

Richard O’Donovan

This paper is a follow-up of K. Hrbacek’s article showing how his approach can be pedagogically helpful when introducing analysis at pre-university level.

Conceptual difficulties arise in elementary pedagogical approaches. In most cases it remains difficult to explain at pre-university level how the derivative is calculated at nonstandard values or how an internal function is defined. Hrbacek provides a modified version of IST [] (rather Péraire’s RIST) which seems to reduce all these difficulties. This system is briefly presented here in its pedagogical form with an application to the derivative. It must be understood as a state-of-the-art report.

Part V - Infinitesimals and education | Pp. 395-401