164. Integrals of complex functions

So far we have always supposed that the subject of integration in a definite integral is real. We define the integral of a complex function $f(x)=\varphi (x)+i\psi (x)$ of the real variable $x$, between the limits $a$ and $b$, by the equations $${\int }_a^{b}f(x)dx={\int }_a^b\{\varphi (x)+i\psi (x)\}dx={\int }_a^b\varphi (x)dx+i{\int }_a^b\psi (x)dx;$$ and it is evident that the properties of such integrals may be deduced from those of the real integrals already considered.

There is one of these properties that we shall make use of later on. It is expressed by the inequality $$\begin{array}{}\text{(1)}& |{\int }_a^{b}f(x)dx|\le {\int }_a^b|f(x)|dx\end{array}$$ This inequality may be deduced without difficulty from the definitions of §§156 and 157. If ${\delta }_{\nu }$ has the same meaning as in § 156, ${\varphi }_{\nu }$ and ${\psi }_{\nu }$ are the values of $\varphi$ and $\psi$ at a point of ${\delta }_{\nu }$, and $f_{\nu }={\varphi }_{\nu }+i{\psi }_{\nu }$, then we have $$\begin{array}{rl}{\int }_a^{b}fdx={\int }_a^b\varphi dx+i{\int }_a^b\psi dx& =lim\sum {\varphi }_{\nu }{\delta }_{\nu }+ilim\sum {\psi }_{\nu }{\delta }_{\nu }\\ & =lim\sum ({\varphi }_{\nu }+i{\psi }_{\nu }){\delta }_{\nu }=lim\sum f_{\nu }{\delta }_{\nu },\end{array}$$ and so $${\int }_a^{b}fdx=|lim\sum f_{\nu }{\delta }_{\nu }|=lim|\sum f_{\nu }{\delta }_{\nu }|;$$ while $${\int }_a^b|f|dx=lim\sum |f_{\nu }|{\delta }_{\nu }.$$ The result now follows at once from the inequality $$|\sum f_{\nu }{\delta }_{\nu }|\le \sum |f_{\nu }|{\delta }_{\nu }.$$

It is evident that the formulae (1) and (2) of § 162 remain true when $f$ is a complex function $\varphi +i\psi$.