On Phase Margin
On Phase Margin
On Phase Margin
By Yong-Nien Rao
In this note, I try to link some concepts together to let readers get a global view of stability,
especially the phase margin, which is a routine check for feedback amplifier design to circuit
design engineers. These concepts are introduced in common electrical engineering degree
program and should not be strange to any EE college student. I hope this brief note could
give my reader a whole picture quickly without getting strayed by too many details.
We could turn the differential equations problems into algebra problems which are easier to
manipulate.
Some useful properties listed here
1. Uniqueness property: Laplace transform establishes a one-to-one correspondence
between the time function f ( t ) , defined on [0, ∞ ) , and its Laplace transform F ( s ) .
2. Linearity property:
L{ c1 f1 ( t ) + c2 f 2 ( t )} = F1 ( s ) + F2 ( s ) …(eq.1.2)
3. Differential Rule:
d
L f ( t ) = sF ( s ) − f ( 0 − ) …(eq.1.3)
dt
4. Integration Rule:
{
L ∫ f ( u )du =
t
0−
} 1
s
F ( s) …(eq.1.4)
5. Convolution Rule:
L{ f1 ( t ) ∗ f 2 ( t )} = F1 ( s ) F2 ( s ) …(eq.1.5)
And convolution operator “ ∗ ” is defined as
f1 ( t ) ∗ f 2 ( t ) ≡ ∫ f ( t − τ ) f (τ ) dτ
t
1 2 …(eq.1.6)
0
From the uniqueness property, there exists Inverse Laplace Transform which is denoted as
L− 1{ F ( s )} = f ( t ) …(eq.1.7)
(eq.1.5) could be rewritten as
f1 ( t ) ∗ f 2 ( t ) = L− 1 { F1 ( s ) F2 ( s )} …(eq.1.8)
Another useful theory is the initial value theory
f ( t = 0 + ) = lim sF ( s ) …(eq.1.9)
s− > ∞
∑ i (t) =
For all j
j 0 …(eq.2.1) all the i with the direction of leaving the node.
Branch equations are describing the v-i characteristics among the branches. The individual
branch equation is defined by the device characteristic which forms the branch. The typical
passive devices v-i characteristics is as underlying.
dv j
For capacitor ij = Cj …(eq.2.4)
dt
di j
For inductor v j = Lj …(eq.2.5)
dt
From these relations, we can write a specified time-domain (differential) equations for a
specified circuit N with n nodes and b branches. Solve these equations and derives the ei ( t )
A is the reduced-incidence matrix ,which is (n-1)xb. i(t) is the branch current vector, bx1
Step 3: Write KVL for the b branches in matrix form
1
Leon O. Chua et al, “Linear And Nonlinear Circuits”, p24~p26.
0 0 A e(t) 0
− AT 1 0 v(t) = 0
…(eq.2.9)
0 M 0 D + M1 N 0 D + N1 i(t) u s(t)
T(D) w(t) u(t)
T(D) is the matrix of circuit system N, w(t) is the circuit variable vector, and u(t) is the
independent source vector.
<Example>
For the linear circuit as underlying, we’d like to derive its tableau equations here.
1 L 2 3 C 4
i3 i4
i6 i1 i2 i5
n1 : n 2
Linear Circuit
Em cos ωt R
5 Ideal 6
Transformer
First we hinge the node 5 and node 6, the digraph of this circuit is as underlying. And we
assign the hinged node 5 and 6 as the datum node.
2 3
3
4 Digraph of the linear
1 2 circuit
1 4
6 5
5 6
2
Leon O. Chua et al, “Linear And Nonlinear Circuits”, p26~p27.
3
Leon O. Chua et al, “Linear And Nonlinear Circuits”, p226~p229; p462~466.
node 1 i3 + i6 = 0
node 2 i1 - i3 = 0
KCL: Ai (t ) = 0
node 3 i2 + i4 = 0
node 4 - i 4 + i5 = 0
v1 = e2
v2 = e3
v3 = e1 − e 2
KVL: v (t ) = A T e(t )
v4 = e3 − e 4
v5 = e4
v6 = e1
Branch equations:
transforme r : n2 v 1 − n1v 2 = 0
transforme r : n1i1 + n2i2 = 0
d
inductor : v3 -L i3 = 0
dt
d
capacitor : C v4 - i4 = 0
dt
Resistor : v5 - Ri5 = 0
Ind. Source : v6 = Emcosω t
This is in the form of ( M0 D + M 1 ) v(t) + ( N 0 D + N 1 ) i(t) = u s(t)
0 0 A e(s) 0
− AT 1 0 v(s) = 0
…(eq.3.1) 4
0 M 0 s + M 1 N 0 s + N 1 i(s) u s(s)
T(s) w(s) u(s)
Consider a linear-time invariant circuit with only one independent source u j (t ) . The Laplace
transform of u j (t ) is u j (s ) .For any circuit variable wk(s) (element of circuit variable vector
Since the u(s) has only one non-zero element, the det[ Tk (s)] of (eq.3.2) holds for
wk ( s) C jk (s)
H (s) ≡ = …(eq.3.4)
u j ( s) det[ T(s)]
In special case, u j (t ) could represent an input voltage vi (t ) . And wk(t) could represent an
4
Leon O. Chua et al, “Linear And Nonlinear Circuits”, p595~p596
5
http://en.wikipedia.org/wiki/Cramer%E2%80%99s_rule
6
http://en.wikipedia.org/wiki/Cofactor_(linear_algebra)
vo ( t ) = h( t ) ∗ vi ( t ) = ∫ h( t − τ )v (τ ) dτ
t
i …(eq.4.1)
0
0 τ k τ k+Δ t 0 τ k τk+Δ t
t
and ∆ ≡ …(eq.4.4)
N+1
vi
0 τ1 τk τk+Δ τN t τ
7
Leon O. Chua et al, “Linear And Nonlinear Circuits”, p620~p623
∑ bi s i
H(s) = i= 0
n …(eq.5.1)
∑i= 0
ai s i
∑ bi s i
H(s) = r
i= 0
…(eq.5.2)
∏ (s + p )
ni
i
i= 1
r
Where ∑i= 1
ni = n
r ni
cik
H(s) = bn + ∑ ∑ (s + p )
i= 0 k = 1
k …(eq.5.3)
i
Where cik =
1 d ni − k
( ni − k )! ds ni − k
[
( s + pi ) ni H ( s ) ] s = − pi …(eq.5.4)
8
Joseph J. DiStefano, III et al, “Theory and Problems of Feedback and control systems” 2nd ed. P83~p86
9
http://en.wikipedia.org/wiki/Partial_fraction
10
http://www.swarthmore.edu/NatSci/echeeve1/Ref/LPSA/PartialFraction/PartialFraction.html
11
http://www.swarthmore.edu/NatSci/echeeve1/Ref/LPSA/SolutionMethods/LaplaceXform/InvLaplace/InvLaplaceXform.html
12
http://en.wikipedia.org/wiki/Taylor_series
13
http://en.wikipedia.org/wiki/Euler%27s_formula
It is obvious that Re{ pi } must be positive to avoid H (t ) → ∞ when t → ∞ . That is, the
pole − pi must have negative real part to let the circuit stable.
i sin(− Im{ pi } t ) of (eq.5.6). It
(Note: Don’t worry about the interpretation the imaginary term
will be canceled out by the accompanied complex conjugate of pi )
Second we’d like to deal with the (eq.5.1) for an = 1, and n < m
If we let the bounded input vi (t ) = 1(t ) , the output vo (t ) could be determined by (eq.3.6),
(eq.5.1) and (Table 1.1) as
m m
1 ∑ bi s i ∑ bi s i
v o ( s ) = vi ( s ) H ( s ) = i= 0
n
= n
i= 0
…(eq.5.7)
s
∑ i= 0
ai s i
∑
i= 0
ai s i+ 1
The 1st term of the right side of (eq.5.9) is not a bounded value. It means the bounded input
1(t ) has unbounded output. This circuit is not stable.
We conclude that the circuit is stable iff (1) n≧m in (eq.5.1) (2) its transfer function H (s ) has
all its poles in the open Left Half Plane (LHP). In other words, there is no pole in the close
right half plan (RHP).
Im(s) or jω s = σ + jω Im(H(s))
H Mapping
s0 H(s0)
Re(s) or σ Re(H(s))
Im(s) Im(H(s))
H Mapping
CA
C
Re(s) Re(H(s))
From the stability criterion, we know that a circuit is stable iff there is no pole in the close RHP.
14
Joseph J. DiStefano, III et al, “Theory and Problems of Feedback and control systems” 2nd ed. P246~p263
15
http://en.wikipedia.org/wiki/Argument_principle
16
http://www.scribd.com/doc/14530659/Introduction-of-Cauchy-Argument-Principle-in-Nyquist-Stability-Analysis-
Im(s)
Nyquist Path
R->infinite
Re(s)
One of the most popular application of Nyquist analysis is feedback amplifier design.
Let an open loop amplifier circuit with its transfer function as
n( s )
H (s) = …(eq.6.2)
d (s)
H (s ) has no RHP pole. And the degree
And this open loop amplifier circuit is stable. That is,
of polynomial n(s ) is smaller than the degree of polynomial d (s ) .
And the unity gain feedback close loop transfer function of this feedback amplifier circuit is
H ( s)
G ( s) = …(eq.6.3)
1 + H ( s)
If G (s) is stable, G (s) should have no RHP pole. That is, 1 + H ( s) should have no RHP
zero. Following is our analysis for this proposition.
Since H (s ) has no RHP pole, 1 + H ( s) has no RHP pole from (eq.6.2), either. That is
P = 0 in the (eq.6.1). Thus Z = N in this case. What we need to do is only to check the
encirclement about the origin of 1 + H ( s ) (in other words, N). If it is not equal to 0, there
should be a zero in the RHP for 1 + H ( s ) and G (s ) would be unstable.
And please be noted that encirclement about the origin of 1 + H ( s) means encirclement
about (-1,0) of H (s ) .
1+H Mapping
Re(s)
(0,0)
Re(H(s)+1)
= (-1,0)
Re(H(s))
The most right graph shows that we could check the H (s ) encirclement about (-1,0) to
determine the Z. And we could understand the close loop amplifier is stable or not.
We could summarize the Nyquist criterion for a unity gain feedback circuit as
“This unity feedback circuit with its open loop transfer function H (s ) is stable iff the Nyquist
plot of H (s ) does not encircle the (-1,0).”
Another important advantage is that the Nyquist plot could be derived easily from the
experiment data. It is because of the underlying characteristics
1. For s = jw 0 < w < ∞ , and apply a sinusoid wave sin ( wt ) to the input of a circuit h( t ) ,
the sinusoidal steady state output of h( t ) is Asin ( wt + θ ) . Then17
H ( s ) |s = jw = A and ∠ H ( s ) |s = jw = θ
s = R∠ ϕ R → ∞ ,− π ≤ϕ ≤π
2. For
2 2 , then
H (s) → 0 (Because of the higher degree of denominator)
3. For s = − jw 0 < w < ∞ then
Since the Nyquist plot is symmetric to the real axis18. The H ( s ) |s = − jw = H ( s ) |s = jw = A and
∠ H ( s ) |s = − jw = − ∠ H ( s ) |s = jw = − θ
17
http://www.scribd.com/doc/16250512/Transfer-Function-vs-Sinusoid-Freqency-Response
18
http://www.scribd.com/doc/16250603/Symmetry-of-Nyquist-Plot
20log|A(jω)|
Bode plot of A (jω)
0 ω
ωug (log scale)
Phase(A(jω))
0˚ ω
ω180
(log scale)
-90˚
-180˚
Phase margin
-270˚
We could see that if the phase margin is larger than 0, the Nyquist plot does not encircle the