C. Results from Analytic Function Theory
and assume that has neither poles nor zeros in the closed RHP. Then
Because is analytic in the closed RHP,
where is the contour defined in Figure C.4.
For the first integral on the right-hand side of Equation (C.10.4), we use the conjugate symmetry of to obtain
For the second integral, we notice that, on , can be approximated by
The result follows upon using Example C.7 and noticing that for .
Remark C.4 If for , then result (C.10.9) becomes
Assume that is analytic in the closed RHP and that it has zeros in the open RHP, located at with . Then
We first notice that is no longer analytic on the RHP. We then define
Thus, is analytic in the closed RHP. We can then apply Cauchy's integral in the contour described in Figure C.4 to obtain
The first integral on the right-hand side can be expressed as
where, by using Example C.7.
The second integral on the right-hand side of Equation (C.10.11) can be computed as follows:
We note that the first integral on the right-hand side is zero, and by using Example C.9, the second integral is equal to . Thus, the result follows.
Remark C.5 Note that is a real function of , so
Remark C.6 If for , then the result (C.10.9) becomes
Remark C.7 The Poisson, Jensen, and Bode formulae assume that a key function is analytic, not only inside a domain , but also on its border . Sometimes, there may exist singularities on . These can be dealt with by using an infinitesimal circular indentation in , constructed so as to leave the singularity outside . For the functions of interest to us, the integral along the indentation vanishes. This is illustrated in Example C.6 for a logarithmic function, when is the right-half plane and there is a singularity at the origin.