Non-standard calculus Guide, Meaning , Facts, Information and Description

In mathematics non-standard calculus is the application of non-standard analysis techniques to differential and integral calculus. It provides a rigorous justification of purely formal calculations using infinitesimals to derive facts about derivatives, integrals, and series. Such formal calculations with infinitesimals were widely used before alternative and rigorously justified methods, without infinitesimals were introduced in the 19th century. See history of calculus.

We illustrate this technique with the following naive calculation of the derivative of the function f(t)=t² at the value x:

whenever the increment in x is infinitesimal. Thus the derivative of f at x is 2x. This formal calculation can be completely justified by non-standard analysis.

Table of contents

1 Basic theorems 2 Applications 3 See also

Basic theorems

If f is a real valued function defined on an interval [a, b], then *f is an internal, hyperreal-valued function defined on the hyperreal interval [*a, *b].

Theorem. Let f be a real-valued function defined on an interval [a, b]. The f is differentiable at a < x < b iff for every non-zero infinitesimal h, the value

is independent of h. In that case, the common value is the derivative of f at x.

This fact follows from the transfer principle of non-standard analysis and overspill.

Note that a similar result holds for differentiability at the endpoints a, b provided the sign of the infinitesimal h is suitably restricted.

For the second theorem, we consider the Cauchy integral. This integral is defined as the limit, if it exists, of a directed family of Cauchy sums; these are sums of the form

where

We will call such a sequence of values a Cauchy integral mesh and

the width of the mesh. In the definition of the Cauchy integral, the limit of the Cauchy sums is taken as the width of the mesh goes to 0.

Theorem. Let f be a real-valued function defined on an interval [a, b]. The f is Cauchy-integrable on [a, b] iff for every internal Cauchy integral mesh of infinitesimal width

is independent of the mesh. In this case, the common value is the Cauchy integral of f over [a, b].

Applications

One immediate application is an extension of the standard definitions of differentation and integration to internal functions on intervals of hyperreal numbers.

An internal hyperreal-valued function f on [a, b] is S-differentiable at x, provided

exists and is independent of the infinitesimal h. The values is the S derivative at x.

Theorem\. Suppose f is S-differentiable at every point of [a, b] where b − a is a bounded hyperreal. Supppose furthermore that

Then for some infinitesimal ε

To prove this, let N be a non-standard natural number. Divide the interval [a, b] into N subintervals by placing N − 1 equally spaced intermediate points:

Then

Now the maximum of any internal set of infinitesimals is infinitesimal. Thus all the ε_k's are dominated by an infinitesimal ε. Therefore,

from which the result follows.

See also

How Archimedes used infinitesimals

This is an Article on Non-standard calculus. Page Contains Information, Facts Details or Explanation Guide About Non-standard calculus

	Web www.E-paranoids.com