In the Solow growth model in economics, the dynamics of the capital-labor ratio () is described by the differential equation where is a constant between and , is a positive constant and is a twice-differentiable function with the following properties
These assumptions guarantee the existence of an equilibrium for the differential equation. Moreover for and for .
Every year, being in a hurry to finish the Solow model and move on to more interesting things, I give my students the following story: “since is increasing to the left of and decreasing to the right of it, it must be the case that regardless of your starting point the trajectory of will converge to as time goes to infinity”. That is, is a globally asymptotically stable equilibrium.
But then my mathematical conscience makes me point out that while this argument is morally right, it is mathematically incomplete. Say we start off to the left of . Then we know from the sign of that must increase as time passes. But what stops it from increasing ever more slowly as time passes and ending up converging to some point strictly to the left of ? We need to make use of the properties of and the solution trajectory itself to argue that this cannot happen.
Having said this, I now have to worry that some smart student will actually ask me to write out a full proof. The standard growth theory texts I have at hand don’t prove this, but here is a one-line proof if you are willing to outsource the difficulty to someone else:
Use as your Lyapunov function.
For the details that we thus outsource, see for example Theorem 2.3 of Perko’s Differential Equations and Dynamical Systems, 3rd ed. or the theorem in Section 9.2 of Hirsch, Smale and Devaney’s Differential Equations, Dynamical Systems & an Introduction to Chaos, 2nd ed.