Page images
PDF
EPUB
[merged small][merged small][ocr errors][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][ocr errors]

If the function of which the general, say the rth, derivedfunction is to be found, is the quotient of one function of x by another function of x, so that

[blocks in formation]

the preceding formula (5) is applicable, if we take u to be one factor and to be the other. The general formula for ƒ′(x), as it stands, is however too complicated to be of any use.

And the formula (5) is also indirectly applicable to the discovery of fr(x), even when the primitive function is not the product of two given functions of the variable x. The mode of its application will be best exhibited by examples.

Ex. 1. If f(x) = secx, then cos x f(x) = 1; and from (5),

[merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][ocr errors][merged small][ocr errors][merged small][merged small][merged small][merged small][ocr errors][merged small][merged small][merged small][merged small][ocr errors]

which gives the relation between any derived function and its preceding derived functions. Thus if

[blocks in formation]

.. (1+x2) f'(x) = 1;

and applying to this the formula (5), we have

fn+1(2)(1+r)+nfn(2)2

+

n (n-1)
1.2

fn-1(2) 2 = 0;

[ocr errors]

1

.. ƒn+1(x)

=

1 + x2

{2nx f" (x)+n (n − 1) ƒn−1(x)};

whence may f'(x), f'(x), ... be found.

56.] The following is another theorem concerning the relations between functions and their derived functions which holds good when the subject variable is equicrescent.

Since by (6), Article 18,

d.f(x) = f'(x) dx = f(x+dx) − f(x),

.. d3.f(x) = ƒ"(x) dx2 = f(x+2 dx) − 2 f(x+dx) +f(x), d3. f(x) = ƒ"(x) dx3 = f(x+3dx) −3 f(x+2dx)+3f(x+dx)−f(x), and so on; whence by an inductive proof of the same kind as that of the preceding Article, we have

[blocks in formation]

SECTION 2.-Maclaurin's Theorem for the expansion of an
explicit function of one variable.

57.] One of the most useful applications of the preceding theory of successive differentiation is the means which we thence derive of expanding explicit functions of one variable in ascending powers of that subject variable; at least when such an expansion is possible. And although at the present stage of our PRICE, VOL. I.

[ocr errors]

treatise we are not able to investigate all the conditions of such a possibility, yet doubtless the expansion is possible under the following circumstances.

Suppose f(x) to be a function of x, and to be capable of expansion in a series of ascending powers of x, of the form

f(x) = A0+A1x+ A2 x2 + + An xn + ...

...

(7)

and suppose the series to be subject to the following conditions: 1st, Ao, A1, A2, An, are constants, and to be determined.

...

...

...

...

2nd, A0, A1, A2, An, do not become infinite for any value of x for which the series is applied.

3rd, The series contains no terms involving negative or fractional powers of x.

[merged small][merged small][merged small][merged small][ocr errors][merged small][ocr errors]

In these equations let x=0; then, since by the second and third conditions none of the quantities assume the indeterminate form, or become infinite, we have

[merged small][merged small][merged small][merged small][merged small][ocr errors][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small]

Whence, substituting in equation (7), we have

[blocks in formation]

ƒ(0), ƒ'(0, ƒ''(0) ... being the values of f(x), ƒ'(x), ƒ"(x), ..... when

x = 0.

This series was discovered by Stirling, an English Mathematician of the early part of the last century; but having been introduced by Maclaurin into his Treatise of Fluxions, has been generally called by his name.

58.] For certain functions of x, such as those of the form (a+x)”, where n is positive and integral, the derived-functions will vanish after a certain number of differentiations; and therefore the number of terms of the above series is limited in such Generally the successively derived-functions are functions of x, and the series is continued to an infinite number of terms; but the sum of all the terms after the nth may be expressed as follows, by an algebraical formula. Since

cases.

[ocr errors][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][ocr errors][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small]
[blocks in formation]

(n + 1)(n+2)

{a quantity >f" (0) and < ƒ"(x)}; (11)

the latter factor of (10) is, I say, greater than ƒ" (0), because the sum of the series is algebraically greater than its first term; and is less than f" (r), because by reason of (9)

[ocr errors]

x2

ƒ"(x) = ƒ"(0) + ƒn+1(0) 1⁄4 + ƒn+2(0) +

1

1.2

...

and with the exception of the first term of this series, each term of it is greater than the corresponding term of the series given in (10), inasmuch as the denominators are severally less. Hence representing by e some positive and proper fraction, we may symbolize (11) by

xn 1.2.3...n

f" (0x);

(12)

for the latter factor is too small when = 0, and is too large when = 1.

Hence we may write the series as follows:

[ocr errors]

x2 1.2

ƒ (x) = ƒ(0) +ƒ'(0) = +ƒ”(0) + +

...

[blocks in formation]

which has a definite number of terms; and therefore the only apparent difference in the absolute equality of the two sides of the equation is that which arises from being an undetermined fraction greater than zero and less than unity.

As this series however is of great importance in the application of the Calculus, the proof of it must not rest on any fallacious assumption, or any vague limitations which may be too wide or too narrow, such as those of the stated conditions. Hence arises the need of a rigorous and exact proof of it, and of one which will limit the extent of its applicability, and which will be given hereafter; and therefore the explanation of the last two Articles is to be considered only as yielding a presumption that such a series as (13) is likely to be true.

59.] Examples of Maclaurin's Theorem.

[blocks in formation]

f(x) = n (n−1) (n−2)...3.2.1, ƒ"(0) = n (n−1) (n − 2)...3.2.1;

.. f(x) = (a+x)" = a"+na"-1 x +

n (n-1)
1.2

an-2x2

+ + na xn−1 + x^; (14)

...

the common Binomial Theorem, which is therefore a particular

[merged small][merged small][merged small][merged small][ocr errors][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small]
« PreviousContinue »