each of the limits expressed by such forms as lim.x=∞ φ(x)/ψ(x), where φ(x) precedes ψ(x) in the scale, is zero. The construction of such scales, along with the problem of constructing a complete scale was discussed in numerous writings by Paul du Bois-Reymond (see in particular, Math. Ann. Bd. xi., 1877). For the general problem of indeterminate forms reference may be made to the article by A. Pringsheim in Ency. d. math. Wiss. Bd. ii., A. 1 (1899). Forms of the type 0/0 presented themselves to early writers on analytical geometry in connexion with the determination of the tangents at a double point of a curve; forms of the type ∞/∞ presented themselves in like manner in connexion with the determination of asymptotes of curves. The evaluation of limits has innumerable applications in all parts of analysis. Cauchy’s Analyse algébrique (1821) was an epoch-making treatise on limits.

If a function φ(x) becomes infinite at x = a, and another function ψ(x) also becomes infinite at x = a in such a way that φ(x)/ψ(x) has a finite limit C, we say that φ(x) and ψ(x) become “infinite of the same order.” We may write φ(x) = Cψ(x) + φ1(x), where lim.x=aφ1(x)/ψ(x) = 0, and thus φ1(x) is of a lower order than φ(x); it may be finite or infinite at x = a. If it is finite, we describe Cψ(x) as the “infinite part” of φ(x). The resolution of a function which becomes infinite into an infinite part and a finite part can often be effected by taking the infinite part to be infinite of the same order as one of the functions in the scale written above, or in some more comprehensive scale. This resolution is the inverse of the process of evaluating an indeterminate form of the type ∞ − ∞.

For example lim.x=0{(ex − 1)−1 − x−1} is finite and equal to = ½, and the function (ex − 1)−1 − x−1 can be expanded in a power series in x.

39. Functions of several variables. The nature of a function of two or more variables, and the meaning to be attached to continuity and limits in respect of such functions, have been explained under [Function]. The theorems of differential calculus which relate to such functions are in general the same whether the number of variables is two or any greater number, and it will generally be convenient to state the theorems for two variables.

40. Let u or ƒ (x, y) denote a function of two variables x and y. If we regard y as constant, u or ƒ becomes a function of one variable x, and we may seek to differentiate it with respect to x. If the function of x is differentiable, the differential Partial differentiation. coefficient which is formed in this way is called the “partial differential coefficient” of u or ƒ with respect to x, and is denoted by ∂u/∂x or ∂ƒ/∂x. The symbol “∂” was appropriated for partial differentiation by C. G. J. Jacobi (1841). It had before been written indifferently with “d” as a symbol of differentiation. Euler had written (dƒ/dx) for the partial differential coefficient of ƒ with respect to x. Sometimes it is desirable to put in evidence the variable which is treated as constant, and then the partial differential coefficient is written “(dƒ/dx)y” or “(∂ƒ/∂x)y”. This course is often adopted by writers on Thermodynamics. Sometimes the symbols d or ∂ are dropped, and the partial differential coefficient is denoted by ux or ƒx. As a definition of the partial differential coefficient we have the formula

∂ƒ= lim.h=0 ƒ(x + h, y) − ƒ(x, y).
∂x h

In the same way we may form the partial differential coefficient with respect to y by treating x as a constant.

The introduction of partial differential coefficients enables us to solve at once for a surface a problem analogous to the problem of tangents for a curve; and it also enables us to take the first step in the solution of the problem of maxima and minima for a function of several variables. If the equation of a surface is expressed in the form z = ƒ(x, y), the direction cosines of the normal to the surface at any point are in the ratios ∂ƒ/∂x : ∂ƒ/∂y : = 1. If f is a maximum or a minimum at (x, y), then ∂ƒ/∂x and ∂ƒ/∂y vanish at that point.

In applications of the differential calculus to mathematical physics we are in general concerned with functions of three variables x, y, z, which represent the coordinates of a point; and then considerable importance attaches to partial differential coefficients which are formed by a particular rule. Let F(x, y, z) be the function, P a point (x, y, z), P′ a neighbouring point (x + Δx, y + Δy, z + Δz), and let Δs be the length of PP′. The value of F(x, y, z) at P may be denoted shortly by F(P). A limit of the same nature as a partial differential coefficient is expressed by the formula

lim.Δs=0 F(P′) = F(P),
Δs