about the Fundamental Theorem of Calculus. Let me here supplement by exhibiting the difference in the approaches as concerns the basic concepts of continuous function and derivate.
In Analytical/Symbolic Calculus, a real-valued function $s\rightarrow f(s)$ with $s$ a real variable, is said to be continuous at $t$ if
- $f(t) = \lim_{\Delta t\rightarrow 0}f(t+\Delta t)$,
and to have derivative $Df(t)$ at $t$ if
- $Df(t) = \lim_{\Delta t\rightarrow 0}\frac{f(t+\Delta t) -f(t)}{\Delta t}$.
In Constructive/Computational Calculus a real-valued function $s\rightarrow f(s)$ with $s$ a real variable, is said to be Lipschitz continuous with Lipschitz constant $L$ if for all $t$ and $\Delta t$
- $\vert f(t+\Delta t) - f(t)\vert\le L\vert \Delta t\vert$
and differentiable with derivative $Df(t)$ if for a positive constant $K$, for all $t$ and $\Delta t$
- $\vert f(t+\Delta t) - f(t) - Df(t)\Delta t\vert\le K\vert \Delta t^2\vert$.
We see that Analytical/Symbolic Calculus uses the concept of limit which is a difficult concept involving the mysterious process of $\Delta t$ tending to zero or becoming infinitessimally small, but holy God, not zero!
We see that Constructive/Computational Calculus does not use the difficult concept of limit, only the more basic and easy to grasp concept of local change, with a function being Lipschitz continuous if it is locally constant and differentiable if is locally linear with specified deviations.
Inga kommentarer:
Skicka en kommentar