Next  |  Prev  |  Top  |  JOS Index  |  JOS Pubs  |  JOS Home  |  Search

Relation to functions positive real in the right-half plane

Theorem. re$ \left\{H(z)\right\}\geq 0$ for $ \left\vert z\right\vert\geq 1$ whenever re$ \left\{H\left(\frac{\alpha+s}{ \alpha-s}\right)\right\}\geq 0$ for re$ \left\{s\right\}\geq 0$, where $ \alpha$ is any positive real number.

Proof. We shall show that the change of variable $ z\leftarrow (\alpha+s)/(\alpha-s),\; \alpha>0$, provides a conformal map from the z-plane to the s-plane that takes the region $ \left\vert z\right\vert\geq 1$ to the region re$ \left\{s\right\}\geq 0$. The general formula for a bilinear conformal mapping of functions of a complex variable is given by

$\displaystyle \frac{(z-z_1)(z_2-z_3)}{ (z-z_3)(z_2-z_1)} = \frac{(s-s_1)(s_2-s_3)}{ (s-s_3)(s_2-s_1)}.$ (6)

In general, a bilinear transformation maps circles and lines into circles and lines [2]. We see that the choice of three specific points and their images determines the mapping for all $ s$ and $ z$. We must have that the imaginary axis in the s-plane maps to the unit circle in the z-plane. That is, we may determine the mapping by three points of the form $ z_i=e^{j\theta_i}$ and $ s_i=j\omega_i,\;i=1,2,3$. If we predispose one such mapping by choosing the pairs $ (s_1=\pm\infty ) \leftrightarrow (z_1= -1)$ and $ (s_3=0)\leftrightarrow(z_3=1)$, then we are left with transformations of the form

$\displaystyle s=\left(s_2 \frac{z_2+1}{ z_2-1}\right)\left( \frac{z-1}{ z+1}\right)
=\alpha\left( \frac{z-1}{ z+1}\right)
$

or

$\displaystyle z\leftarrow \frac{\alpha+s}{ \alpha-s},$ (7)

Letting $ s_2$ be some point $ j\omega$ on the imaginary axis, and $ z_2$ be some point $ e^{j\theta}$ on the unit circle, we find that

$\displaystyle \alpha = j\omega \frac{e^{j\theta} + 1}{ e^{j\theta} -1 }
= \omega \frac{\sin\theta}{ 1-\cos\theta}
= \omega\cot(\theta/2)
$

which gives us that $ \alpha$ is real. To avoid degeneracy, we require $ s_2\neq 0,\infty ,\;z_2\neq \pm1$, and this translates to $ \alpha$ finite and nonzero. Finally, to make the unit disk map to the left-half s-plane, $ \omega$ and $ \theta$ must have the same sign in which case $ \alpha>0$. $ \Box$

There is a bonus associated with the restriction that $ \alpha$ be real which is that

$\displaystyle z= \frac{\alpha+s}{ \alpha-s}\in\Re \quad \leftrightarrow \quad s = \alpha \frac{z-1}{ z+1}\in\Re .$ (8)

We have therefore proven

Theorem. $ H(z)$ PR $ \quad\leftrightarrow\quad H\left(\frac{\alpha+s}{ \alpha-s}\right)$ PR, where $ \alpha$ is any positive real number.

The class of mappings of the form Eq.$ \,$(6) which take the exterior of the unit circle to the right-half plane is larger than the class Eq.$ \,$(7). For example, we may precede the transformation Eq.$ \,$(7) by any conformal map which takes the unit disk to the unit disk, and these mappings have the algebraic form of a first order complex allpass whose zero lies inside the unit circle.

$\displaystyle z\leftarrow e^{j\theta} \frac{w-w_0}{ \overline{w_0}\,w - 1},\qquad \left\vert w_0\right\vert<1$ (9)

where $ w_0$ is the zero of the allpass and the image (also pre-image) of the origin, and $ \theta$ is an angle of pure rotation. Note that Eq.$ \,$(9) is equivalent to a pure rotation, followed by a real allpass substitution ($ w_0$ real), followed by a pure rotation. The general preservation of condition (2) in Def. 2 forces the real axis to map to the real axis. Thus rotations by other than $ \pi $ are useless, except perhaps in some special cases. However, we may precede Eq.$ \,$(7) by the first order real allpass substitution

$\displaystyle z\leftarrow \frac{w-r}{ r\,w - 1},\qquad \left\vert r\right\vert<1,\; r\; real,
$

which maps the real axis to the real axis. This leads only to the composite transformation,

$\displaystyle z \leftarrow \frac{s+ \left(\alpha \frac{1-r}{1+r}\right)}{ s- \left(\alpha \frac{1-r}{1+r}\right)}
$

which is of the form Eq.$ \,$(7) up to a minus sign (rotation by $ \pi $). By inspection of Eq.$ \,$(6), it is clear that sign negation corresponds to the swapping of points $ 1$ and $ 2$, or $ 2$ and $ 3$. Thus the only extension we have found by means of the general disk to disk pre-transform, is the ability to interchange two of the three points already tried. Consequently, we conclude that the largest class of bilinear transforms which convert functions positive real in the outer disk to functions positive real in the right-half plane is characterized by

$\displaystyle z \leftarrow \pm \frac{\alpha+s}{ \alpha-s}.$ (10)

Riemann's theorem may be used to show that Eq.$ \,$(10) is also the largest such class of conformal mappings. It is not essential, however, to restrict attention solely to conformal maps. The pre-transform $ z\leftarrow \overline{z}$, for example, is not conformal and yet PR is preserved.

The bilinear transform is one which is used to map analog filters into digital filters. Another such mapping is called the matched $ z$ transform [6]. It also preserves the positive real property.

Theorem. $ H(z)$ is PR if $ H(e^{sT})$ is positive real in the analog sense, where $ T>0$ is interpreted as the sampling period.

Proof. The mapping $ z \leftarrow e^{sT}$ takes the right-half $ s$-plane to the outer disk in the $ z$-plane. Also $ z$ is real if $ s$ is real. Hence $ H(e^{sT})$ PR implies $ H(z)$ PR. (Note, however, that rational functions do not in general map to rational functions.)$ \Box$

These transformations allow application of the large battery of tests which exist for functions positive real in the right-half plane [9].


Next  |  Prev  |  Top  |  JOS Index  |  JOS Pubs  |  JOS Home  |  Search

Download prf.pdf
Download the thesis containing this material.
[Report a bug]

``Properties of Positive Real Functions'', by Julius O. Smith III, from ``Techniques for Digital Filter Design and System Identification, with Application to the Violin,'' Julius O. Smith III, Ph.D. Dissertation, CCRMA, Department of Electrical Engineering, Stanford University, June 1983.
Copyright © 2009-12-01 by Julius O. Smith III
Center for Computer Research in Music and Acoustics (CCRMA),   Stanford University
CCRMA  [About the Automatic Links]