89. Limits as x tends to .

We shall now return to functions of a continuous real variable. We shall confine ourselves entirely to one-valued functions,1 and we shall denote such a function by ϕ(x). We suppose x to assume successively all values corresponding to points on our fundamental straight line Λ, starting from some definite point on the line and progressing always to the right. In these circumstances we say that x tends to infinity, or to , and write x. The only difference between the ‘tending of n to ’ discussed in the last chapter, and this ‘tending of x to ’, is that x assumes all values as it tends to , i.e. that the point P which corresponds to x coincides in turn with every point of Λ to the right of its initial position, whereas n tended to by a series of jumps. We can express this distinction by saying that x tends continuously to .

As we explained at the beginning of the last chapter, there is a very close correspondence between functions of x and functions of n. Every function of n may be regarded as a selection from the values of a function of x. In the last chapter we discussed the peculiarities which may characterise the behaviour of a function ϕ(n) as n tends to . Now we are concerned with the same problem for a function ϕ(x); and the definitions and theorems to which we are led are practically repetitions of those of the last chapter. Thus corresponding to Def. 1 of § 58 we have:

Definition 1. The function ϕ(x) is said to tend to the limit l as x tends to if, when any positive number ϵ, however small, is assigned, a number x0(ϵ) can be chosen such that, for all values of x equal to or greater than x0(ϵ), ϕ(x) differs from l by less than ϵ, if |ϕ(x)l|<ϵ when xx0(ϵ).

When this is the case we may write limxϕ(x)=l, or, when there is no risk of ambiguity, simply limϕ(x)=l, or ϕ(x)l. Similarly we have:

Definition 2. The function ϕ(x) is said to tend to with x if, when any number Δ, however large, is assigned, we can choose a number x0(Δ) such that ϕ(x)>Δ when xx0(Δ).

We then write ϕ(x). Similarly we define ϕ(x).2 Finally we have:

Definition 3. If the conditions of neither of the two preceding definitions are satisfied, then ϕ(x) is said to oscillate as x tends to . If |ϕ(x)| is less than some constant K when xx0,3 then ϕ(x) is said to oscillate finitely, and otherwise infinitely.

The reader will remember that in the last chapter we considered very carefully various less formal ways of expressing the facts represented by the formulae ϕ(n)l, ϕ(n). Similar modes of expression may of course be used in the present case. Thus we may say that ϕ(x) is small or nearly equal to l or large when x is large, using the words ‘small’, ‘nearly’, ‘large’ in a sense similar to that in which they were used in Ch. IV.

Example XXXIV

1. Consider the behaviour of the following functions as x: 1/x, 1+(1/x), x2, xk, [x], x[x], [x]+x[x].

The first four functions correspond exactly to functions of n fully discussed in Ch. IV. The graphs of the last three were constructed in Ch. II (Exs. XVI. 1, 2, 4), and the reader will see at once that [x], x[x] oscillates finitely, and [x]+x[x].

One simple remark may be inserted here. The function ϕ(x)=x[x] oscillates between 0 and 1, as is obvious from the form of its graph. It is equal to zero whenever x is an integer, so that the function ϕ(n) derived from it is always zero and so tends to the limit zero. The same is true if ϕ(x)=sinxπ,ϕ(n)=sinnπ=0. It is evident that ϕ(x)l or ϕ(x) or ϕ(x) involves the corresponding property for ϕ(n), but that the converse is by no means always true.

2. Consider in the same way the functions: (sinxπ)/x,xsinxπ,(xsinxπ)2,tanxπ,acos2xπ+bsin2xπ, illustrating your remarks by means of the graphs of the functions.

3. Give a geometrical explanation of Def. 1, analogous to the geometrical explanation of Ch. IV, § 59.

4. If ϕ(x)l, and l is not zero, then ϕ(x)cosxπ and ϕ(x)sinxπ oscillate finitely. If ϕ(x) or ϕ(x), then they oscillate infinitely. The graph of either function is a wavy curve oscillating between the curves y=ϕ(x) and y=ϕ(x).

5. Discuss the behaviour, as x, of the function y=f(x)cos2xπ+F(x)sin2xπ, where f(x) and F(x) are some pair of simple functions (e.g. x and x2). [The graph of y is a curve oscillating between the curves y=f(x), y=F(x).]

 

90. Limits as x tends to .

The reader will have no difficulty in framing for himself definitions of the meaning of the assertions ‘x tends to ’, or ‘x’ and limxϕ(x)=l,ϕ(x),ϕ(x). In fact, if x=y and ϕ(x)=ϕ(y)=ψ(y), then y tends to as x tends to , and the question of the behaviour of ϕ(x) as x tends to is the same as that of the behaviour of ψ(y) as y tends to .

 

91. Theorems corresponding to those of Ch. IV, §§ 63-67.

The theorems concerning the sums, products, and quotients of functions proved in Ch. IV are all true (with obvious verbal alterations which the reader will have no difficulty in supplying) for functions of the continuous variable x. Not only the enunciations but the proofs remain substantially the same.

 

92. Steadily increasing or decreasing functions.

The definition which corresponds to that of § 69 is as follows: the function ϕ(x) will be said to increase steadily with x if ϕ(x2)ϕ(x1) whenever x2>x1. In many cases, of course, this condition is only satisfied from a definite value of x onwards, i.e. when x2>x1x0. The theorem which follows in that section requires no alteration but that of n into x: and the proof is the same, except for obvious verbal changes.

If ϕ(x2)>ϕ(x1), the possibility of equality being excluded, whenever x2>x1, then ϕ(x) will be said to be steadily increasing in the stricter sense. We shall find that the distinction is often important (cf. §§ 108-109).

The reader should consider whether or no the following functions increase steadily with x (or at any rate increase steadily from a certain value of x onwards): x2x, x+sinx, x+2sinx, x2+2sinx, [x], [x]+sinx, [x]+x[x]. All these functions tend to as x.


  1. Thus x stands in this chapter for the one-valued function +x and not (as in § 26) for the two-valued function whose values are +x and x.↩︎
  2. We shall sometimes find it convenient to write +, x+, ϕ(x)+ instead of , x, ϕ(x).↩︎
  3. In the corresponding definition of SecNo 62, we postulated that |ϕ(n)|<K for all values of n, and not merely when nn0. But then the two hypotheses would have been equivalent; for if |ϕ(n)|<K when nn0, then |ϕ(n)|<K for all values of n, where K is the greatest of |ϕ(1)|, |ϕ(2)|, …, |ϕ(n01)| and K. Here the matter is not quite so simple, as there are infinitely many values of x less than x0.↩︎

Chapter IV Main Page 93-97. Limits as xa