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

will be correct up to the mth term, yet the development must not be carried beyond that term, and the limit will be the symbolical expression for the sum of all the terms after it. In the latter case the original function, when broken into factors, contains one or more of the form x-m; and thus becomes infinite when x = 0. Of this kind of failure cosec x and cotan x are instances: see Ex. 3 and 4, Art. 88; for of each of these when expanded -1 is the first term. And therefore their equivalent series cannot be made to correspond with that of Maclaurin.

Another similar case is that of log r; because this, and also all its derived-functions, =∞ when x = 0.

I

Also another case is e2; because it and all its derived-functions vanish when = 0; and hence we infer that this function does not admit of development into a series of ascending integral and positive powers of x, which alone is given by Maclaurin's Series.

Thus if the function to be expanded by Maclaurin's Theorem is

F(x) = f(x)+e ̄22,

the development of F(x) will be that of f(x) alone; and therefore will not be correct.

There may also be many other functions which are not capable of development in the forms of Taylor's and Maclaurin's Series; and therefore the student must be on his guard against attempts at expansion in a form not suited to the function. The above remarks must be considered as general hints rather than as a secure and scientific enumeration of cases of applicability and non-applicability; the latter is beyond our knowledge, and therefore with the former, however incomplete, we must be

content.

There is also another reason why we have treated thus at length of the cases where Taylor's and Maclaurin's Theorems fail; some foreign and most English writers have attempted to raise the Differential Calculus on them as its basis. As far as they are applicable, reasoning founded on them may be correct; but since they are not universally so, it is objected, and validly objected, that the basis of the Calculus is confined within limits narrower than are necessary. And no criteria are known for determining whether functions can be expanded in their forms or not, before such principles of continuity, as those which we

have made fundamental, have been elucidated; on the expansion-principle therefore we are left to grope our way in the dark, being uncertain whether the matter which we are discussing is within its comprehension or not.

SECTION 2.-On functions of many variables.

137.] In Chapter IV. certain relations have been investigated between functions and derived-functions of one variable x, and chiefly when many of the derived-functions vanish for particular values of the variables. Similar theorems are true of functions of two and more variables; but I was unwilling in that Chapter to interrupt the discussion of a difficult question, or in the following Chapter to break in upon the immediate application of it, by introducing functions of a more complex order. Now we must return to the subject, and I shall shew that for functions. of two and more variables, theorems are true analogous to those which have been proved for functions of one variable. We will take at first a function of two independent variables x and y.

Let F(x, y) be the function under consideration; and let us suppose the function to be finite and continuous for all values of x and y between x and xo+h, yo and yo+k; and let us moreover suppose all and each of the several and successive partial derived-functions up to the nth to vanish, when x = xo and y = yo; but the nth not to vanish nor to become infinite at these values: then the following theorem is true, as I shall just now prove,

[blocks in formation]
[ocr errors]

n

[merged small][ocr errors]

d" F

k+..

dxn-1 dy) hn−1k+
(dar) k" ] xo + Oh

kn + 1 (dx dyn−1) h kn−1 +

[ocr errors]

dyn

Yo+ok;

the meaning of the notation at the end of the right-hand member being that x and y are to be respectively replaced by xo+0h and yo+0k.

Let us suppose the finite increments of ro and yo to be ht and kt; so that ultimately they become h and k, when t = 1; thus we may consider r(xo+ht, yo+kt) to be a function of t; so that

and therefore

F(xo+ht, yo+kt) = f (t);

F(xo, yo) = f(0).

(28) (29)

Now by (20), Art. 115, if ƒ(t) is finite and continuous for all
values of t between t
= t and t 0; and if moreover all the de-
rived-functions of f(t) up to the (n-1)th inclusive vanish when
t = 0, but if f" (t) does not vanish and is not infinite; then

f(t)-f(0) =

tn 1.2. ...n

f" (0t).

(30)

To apply this to the present case, I must deduce from (28) the
several derived-functions of f(t). To simplify the process, let

[blocks in formation]

and observing that when t=0, x = x and y = yo; we have

[blocks in formation]

(31)

(32)

the notation in the last line indicating that x and y are replaced

[blocks in formation]
[ocr errors]
[blocks in formation]

are equivalent to the vanishing of f'(t), when t = 0. Again,

[blocks in formation]

bearing in mind that t is equicrescent; otherwise (30) would
not be true.

d2F

[blocks in formation]

dx2

k2;

(125) 2 + 2 (177) hk + (d) *2; (31)

0

dx dy)

0

dy2

and therefore if all the second partial derived-functions of
F(x, y) vanish, when xxo and y = yo, these circumstances are
equivalent to the vanishing of ƒ"(t), when t = 0.

[merged small][ocr errors][merged small][merged small][subsumed][subsumed][merged small][subsumed][ocr errors][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][ocr errors][merged small][ocr errors][merged small]

the notation being used to signify that x and y are replaced by x' and y'.

And thus if all the partial derived-functions of F(x, y) of the (n − 1)th order vanish when x = x。 and y = yo, these circumstances are equivalent to the vanishing of fa-1(0); and f"(t) is given by (36). Suppose now all the partial derived-functions of F(x, y) up to the (n-1)th inclusive to vanish, when x = xo and y yo but that all the nth do not vanish; then substituting in (30) we have

[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][ocr errors][merged small][merged small][merged small][ocr errors][merged small][merged small][merged small][ocr errors][merged small][merged small][merged small][merged small][merged small][merged small][merged small][merged small][ocr errors][merged small][merged small][merged small][subsumed][ocr errors][ocr errors][merged small][merged small][merged small][merged small][merged small]

which is the theorem required to be proved; and is analogous

to that contained in equation (16), Art. 114.

If the given function is of more variables than two, and if all its several partial derived-functions up to those of the (n−1)th order inclusive vanish for particular values of the variables, a similar theorem is also true. But as the proof is the same as that which has been applied to a function of two variables, it is unnecessary to insert it.

138.] Suppose xo and yo to be each zero in (38); then, replacing hand k by x and y, we have

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

in which all the derived-functions of F(x, y) up to those of the

(n-1)th order inclusive vanish, when x = 0 and y = 0. This
theorem is analogous to that of equation (19), Art. 115.

139.] If the ratio to each other of two functions of two or more variables is for particular values of the variables indeterminate, and if a function of two or more variables takes for particular values of the variables one or other of the indeterminate forms given in Sect. 3, Chap. V, we are hereby enabled to evaluate them. We will take functions of two variables only, because the expressions are shorter; and the method required for those of more variables is the same in form.

Let F(x, y) and (x, y) be two functions of x and y which vanish when x=xo and y = yo; and let us take the most general case, and assume that all the successive partial derived-functions up to those of the (n-1)th order inclusive also vanish for these values of the variables; and that all the nth derived-functions neither vanish nor become infinite; then by (38),

[merged small][merged small][merged small][ocr errors][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][ocr errors][merged small][merged small][merged small][ocr errors][subsumed][merged small][merged small][merged small][merged small][ocr errors][merged small][merged small][merged small][merged small][merged small]

Let us suppose h and k to become infinitesimal; to become, that is, dr and dy; then if we neglect those terms which are infinitesimal and are added to finite quantities, and divide (40) by (41), we have

[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][merged small]

To take particular cases, let us suppose the functions to vanish when x = x and y = yo, and their first derived-functions not to

vanish; then

PRICE, VOL. 1.

G g

.(42)

« PreviousContinue »