Let us suppose that the polar coordinates of the point \(z = \zeta\) are \(\rho\) and \(\phi\), so that \[\zeta = \rho(\cos\phi + i\sin\phi).\] We suppose for the present that \(-\pi < \phi < \pi\), while \(\rho\) may have any positive value. Thus \(\zeta\) may have any value other than zero or a real negative value.
The coordinates \((x, y)\) of any point on the path \(C\) are functions of \(t\), and so also are its polar coordinates \((r, \theta)\). Also \[\begin{aligned} \log \zeta &= \int_{C} \frac{dz}{z} = \int_{C} \frac{dx + i\, dy}{x + iy} \\ &= \int_{t_{0}}^{t_{1}} \frac{1}{x + iy} \left(\frac{dx}{dt} + i\frac{dy}{dt}\right) dt,\end{aligned}\] in virtue of the definitions of § 219. But \(x = r\cos\theta\), \(y = r\sin\theta\), and \[\begin{aligned} \frac{dx}{dt} + i\frac{dy}{dt} &= \left(\cos\theta\, \frac{dr}{dt} – r\sin\theta\, \frac{d\theta}{dt}\right) + i\left(\sin\theta\, \frac{dr}{dt} + r\cos\theta\, \frac{d\theta}{dt}\right) \\ &= (\cos\theta + i\sin\theta) \left(\frac{dr}{dt} + ir\frac{d\theta}{dt}\right);\end{aligned}\] so that \[\log \zeta = \int_{t_{0}}^{t_{1}} \frac{1}{r}\, \frac{dr}{dt}\, dt + i\int_{t_{0}}^{t_{1}} \frac{d\theta}{dt}\, dt = [\log r] + i[\theta],\] where \([\log r]\) denotes the difference between the values of \(\log r\) at the points corresponding to \(t = t_{1}\) and \(t = t_{0}\), and \([\theta]\) has a similar meaning.
It is clear that \[[\log r] = \log \rho – \log 1 = \log \rho;\] but the value of \([\theta]\) requires a little more consideration. Let us suppose first that the path of integration is the straight line from \(1\) to \(\zeta\). The initial value of \(\theta\) is the amplitude of \(1\), or rather one of the amplitudes of \(1\), viz. \(2k\pi\), where \(k\) is any integer. Let us suppose that initially \(\theta = 2k\pi\). It is evident from the figure that \(\theta\) increases from \(2k\pi\) to \(2k\pi + \phi\) as \(t\) moves along the line. Thus \[[\theta] = (2k\pi + \phi) – 2k\pi = \phi,\] and, when the path of integration is a straight line, \(\log \zeta = \log \rho + i\phi\).
We shall call this particular value of \(\log \zeta\) the principal value. When \(\zeta\) is real and positive, \(\zeta = \rho\) and \(\phi = 0\), so that the principal value of \(\log \zeta\) is the ordinary logarithm \(\log \zeta\). Hence it will be convenient in general to denote the principal value of \(\log \zeta\) by \(\log \zeta\). Thus \[\log \zeta = \log \rho + i\phi,\] and the principal value is characterised by the fact that its imaginary part lies between \(-\pi\) and \(\pi\).
Next let us consider any path (such as those shown in Fig. 56) such that the area or areas included between the path and the straight line from \(1\) to \(\zeta\) does not include the origin.
It is easy to see that \([\theta]\) is still equal to \(\phi\). Along the curve shown in the figure by a continuous line, for example, \(\theta\), initially equal to \(2k\pi\), first decreases to the value \[2k\pi – XOP\] and then increases again, being equal to \(2k\pi\) at \(Q\), and finally to \(2k\pi + \phi\). The dotted curve shows a similar but slightly more complicated case in which the straight line and the curve bound two areas, neither of which includes the origin. Thus if the path of integration is such that the closed curve formed by it and the line from \(1\) to \(\zeta\) does not include the origin, then \[\log \zeta = \log \zeta = \log \rho + i\phi.\]
On the other hand it is easy to construct paths of integration such that \([\theta]\) is not equal to \(\phi\). Consider, for example, the curve indicated by a continuous line in Fig. 57. If \(\theta\) is initially equal to \(2k\pi\), it will have increased by \(2\pi\) when we get to \(P\) and by \(4\pi\) when we get to \(Q\); and its final value will be \(2k\pi + 4\pi + \phi\), so that \([\theta] = 4\pi + \phi\) and \[\log \zeta = \log \rho + i(4\pi + \phi).\]
In this case the path of integration winds twice round the origin in the positive sense. If we had taken a path winding \(k\) times round the origin we should have found, in a precisely similar way, that \([\theta] = 2k\pi+ \phi\) and \[\log \zeta = \log \rho + i(2k\pi + \phi).\] Here \(k\) is positive. By making the path wind round the origin in the opposite direction (as shown in the dotted path in Fig. 57), we obtain a similar series of values in which \(k\) is negative. Since \(|\zeta | = \rho\), and the different angles \(2k\pi + \phi\) are the different values of \(\operatorname{am} \zeta\), we conclude that every value of \(\log |\zeta| + i\operatorname{am} \zeta\) is a value of \(\log \zeta\); and it is clear from the preceding discussion that every value of \(\log \zeta\) must be of this form.
We may summarise our conclusions as follows:
the general value of \(\log \zeta\) is \[\log |\zeta| + i\operatorname{am} \zeta = \log \rho + i(2k\pi + \phi),\] where \(k\) is any positive or negative integer. The value of \(k\) is determined by the path of integration chosen. If this path is a straight line then \(k = 0\) and \[\log \zeta = \log \zeta = \log \rho + i\phi.\]
In what precedes we have used \(\zeta\) to denote the argument of the function \(\log \zeta\), and \((\xi, \eta)\) or \((\rho, \phi)\) to denote the coordinates of \(\zeta\); and \(z\), \((x, y)\), \((r, \theta)\) to denote an arbitrary point on the path of integration and its coordinates. There is however no reason now why we should not revert to the natural notation in which \(z\) is used as the argument of the function \(\log z\), and we shall do this in the following examples.
| $\leftarrow$ 220. Definition of the logarithmic function | Main Page | 222–224. The exponential function $\rightarrow$ |