*Notes to a video lecture on http://www.unizor.com*

__Sequence Limit - Infinitesimal__

(infinitely small)

(infinitely small)

Special role in mathematics in general and, in particular, in calculus is played by sequences that converge to zero.

These sequences have a special name -

*infinitesimal*. More descriptive name might be

*infinitely small*.

It is very important to understand that here we are not dealing with any concrete, however small, number, but with a sequence converging to zero.

When we say that

**is an infinitesimal value, we mean that it represents a sequence of values converging to zero, that is a**

*ε**process*, a variable that changes its value, gradually getting closer and closer to zero.

When we say that a distance between two objects is an infinitesimal, we imply that these objects are moving towards each other such that the distance between them converges to zero.

When we say that the speed of an object changes by an infinitesimal value during infinitesimal time interval, we mean the following process:

(a) we fix some moment in time

*and the speed of an object at this moment*

**T**_{0}*;*

**V**_{0}(b) we consider an infinite sequence of time intervals starting at

*and ending at*

**T**_{0}*,*

**T**_{1}*,...*

**T**_{2}*... such that the difference in time*

**T**_{n}*−*

**|T**_{n}*converges to zero as index*

**T**_{0}|*increases;*

**n**(c) we measure a speed

*of an object at each end of interval*

**V**_{n}*;*

**T**_{n}(d) the difference between the original speed

*and the speed at each end of interval*

**V**_{0}*is a sequence that converges to zero:*

**V**_{n}*−*

**|V**_{n}

**V**_{0}| → 0Properties of infinitesimals are direct consequences of properties of the limits in general:

1. If

*is an infinitesimal (more precisely, if a sequence*

**ε****{ε**converges to zero, but we will use the former expression for brevity), then

_{n}}*is also an infinitesimal, where*

**K·ε***- any real constant, positive, negative or zero.*

**K**2. If

*and*

**ε***are two infinitesimals, their sum*

**δ***is an infinitesimal as well.*

**ε+δ**3. If

*and*

**ε***are two infinitesimals, their product*

**δ***is an infinitesimal as well.*

**ε·δ**Lots of problems are related to a division of one infinitesimal by another, provided the infinitesimal in the denominator does not take the value of zero. The result of this operation can be a sequence that might or might not converge at all and, if it converges, it can converge to any number.

Here are a few examples.

A)

*=*

**ε****{**

*13/n*}**;**

*→0**=*

**δ****{**

*37/n*}**;**

*→0*⇒

*=*

**ε/δ****{**=

*13n/37n*}**{**.

*13/37*}Since sequence

*is a constant, its limit is the same constant, that is*

**ε/δ****.**

*13/37*Obviously, we can similarly construct two sequences with ratio converging to any number.

B)

*=*

**ε****{**

*13/n*}**;**

*→0**=*

**δ****{**

*37n/(n²+1)*}**;**

*→0*⇒

*=*

**ε/δ****{**=

*[13(n²+1)]/37n²*}=

**{**=

*(13/37)·[1+1/(n²+1)]*}=

**{**=

*(13/37)+13/[37(n²+1)]*}=

**,**

*13/37 + γ → 13/37*since

**is an infinitesimal {**

*γ***→**

*13/[37(n²+1)]*}**.**

*0*C)

*=*

**ε****{**

*13/n²*}**;**

*→0**=*

**δ****{**

*37n/(n²+1)*}**;**

*→0*⇒

*=*

**ε/δ****{**=

*[13(n²+1)]/37n³*}=

**{**=

*(13/37)·[1/n+1/(n²+1)]*}=

**{**=

*13/(37n)+13/[37(n²+1)]*}=

**,**

*γ*_{1}+ γ_{2}→ 0since both

**and**

*γ*_{1}=13/(37n)**are infinitesimals.**

*γ*_{2}=13/[37(n²+1)]D)

*=*

**ε****{**

*13/n*}**;**

*→0**=*

**δ****{**

*37/(n²+1)*}**;**

*→0*⇒

*=*

**ε/δ****{**=

*[13(n²+1)]/(37n)*}=

*(13n)/37+13/(37n)*The last expression is growing limitlessly as

*is increasing.*

**n**So, the result is not a convergent sequence. However, it is reasonable to say that this sequence "grows to positive infinity" as

*increases.*

**n**We will discuss a concept of infinity later.

E)

*=*

**ε****{**

*1/n*}**;**

*→0**=*

**δ****{**

*(−1)*}^{n}/n**;**

*→0*⇒

*=*

**ε/δ****{**

*(−1)*}^{n}The last expression represents a sequence that alternatively takes only two values,

**and**

*1***. It is not converging to any number, nor can we say that it grows to infinity.**

*−1*As we see, a ratio of two infinitesimals might be convergent or not-convergent sequence, bounded or unbounded.

If we suspect that it should converge to some limit, we have to resolve this by some transformation into an expression without division between two infinitesimals.

It should be noted, however, that the most interesting cases in dealing with infinitesimals occur exactly at the point of division of one by another. Numerous examples of this can be found in physics (like a concept of

*speed*, where we divide an infinitesimal distance by infinitesimal time interval during which this distance is covered), analysis of

*smooth functions*(like in determining their local maximums and minimums) and many others.

## No comments:

Post a Comment