# Thread: Is the "inverse" of Lienard's Theorem true?

1. ## Is the "inverse" of Lienard's Theorem true?

If you have d2x/dt2 +f(x)(dx/dt) + g(x) = 0
and
1.f(x), g(x) are continuosly differentiable
2. g(x) is an odd function
3.f(x) is an even function
4. g(x) > 0 for all x > 0
5.
.
6. F(x) has exactly one positive root at some value p, where F(x) < 0 for 0 < x < p and F(x) > 0 and monotonic for x > p.
Then the system has a limit cycle surrounding the origin. This is Lienard's Theorem.
Is it true that if these conditions do not hold there is NO such limit cycle?
Is it true that if these conditions do not hold there is no limit cycle anywhere?

2. ## Re: Is the "inverse" of Lienard's Theorem true?

In general if you have "if A then B", if A is false you cannot conclude that B is false. However, if B is false, it must be the case that A is false.