Problem 57
Easy Lyapunov Stability

For which values of the parameters α and β is the trivial…

For which values of the parameters $\alpha$ and $\beta$ is the trivial solution of the equation $$y'''+\alpha y''+\beta y'+3y=0$$ stable?

Explanation of Method

The Routh–Hurwitz criterion is applied with the coefficients of the characteristic polynomial left as functions of the free parameter(s). Requiring every coefficient and every Hurwitz determinant to be strictly positive translates into a system of inequalities on the parameter(s), carving out the region of asymptotic stability; the boundary of that region, where a determinant vanishes, is checked separately and typically corresponds to simple purely imaginary roots (marginal stability).

Step 1 · Characteristic polynomial

$$P(\lambda)=\lambda^3+\alpha\lambda^2+\beta\lambda+3,\qquad a_0=1,a_1=\alpha,a_2=\beta,a_3=3.$$

Step 2 · Routh--Hurwitz conditions

Necessary: $\alpha>0$, $\beta>0$. Hurwitz condition: $$\Delta_2=\alpha\beta-3>0\implies\alpha\beta>3.$$

Step 3 · Boundary $\alpha\beta=3$ ($\alpha,\beta>0$)

$$P(\lambda)=(\lambda+\alpha)\left(\lambda^2+\tfrac{3}{\alpha}\right),$$ roots $\lambda_1=-\alpha<0$, $\lambda_{2,3}=\pm i\sqrt{3/\alpha}$ (simple): stable, not asymptotically stable.

Step 4 · Other cases

For $\alpha>0,\beta>0,\alpha\beta<3$: two sign changes, unstable. For $\alpha\leq0$ or $\beta\leq0$: necessary condition fails, unstable.

Step 5 · Summary table

Condition$\Delta_2=\alpha\beta-3$Stability
$\alpha>0,\beta>0,\alpha\beta>3$$>0$Asymptotically stable
$\alpha>0,\beta>0,\alpha\beta=3$$=0$Stable (not asympt.)
$\alpha>0,\beta>0,\alpha\beta<3$$<0$Unstable
$\alpha\leq0$ or $\beta\leq0$---Unstable

Step 6 · Conclusion

$$\boxed{ \text{Asymptotically stable:}\quad\alpha>0,\quad\beta>0,\quad\alpha\beta>3. }$$ $$\boxed{ \text{Stable (not asymptotically):}\quad\alpha>0,\quad\beta>0,\quad\alpha\beta=3. }$$ The asymptotic stability region is the area in the first quadrant above the hyperbola $\alpha\beta=3$; on the hyperbola itself the polynomial factors as $(\lambda+\alpha)(\lambda^2+3/\alpha)$, giving simple purely imaginary roots $\pm i\sqrt{3/\alpha}$.


Summary Table

Condition$\Delta_2=\alpha\beta-3$Stability
$\alpha>0,\beta>0,\alpha\beta>3$$>0$Asymptotically stable
$\alpha>0,\beta>0,\alpha\beta=3$$=0$Stable (not asympt.)
$\alpha>0,\beta>0,\alpha\beta<3$$<0$Unstable
$\alpha\leq0$ or $\beta\leq0$---Unstable

Additional Notes

Result

The final classification is:

$$\boxed{ \text{Asymptotically stable:}\quad\alpha>0,\quad\beta>0,\quad\alpha\beta>3. }$$
$$\boxed{ \text{Stable (not asymptotically):}\quad\alpha>0,\quad\beta>0,\quad\alpha\beta=3. }$$