Problem 6

Question

For the Lotka-Volterra system (13.18) show that the trajectories in the phase plane are given by \(f(x, y)=\) constant as in (13.20). In the first quadrant \(x \geq 0, y \geq 0\), the intersections of a line \(y=\) constant with a trajectory are given by \(-c \ln x+d x=\) constant. Hence show that there are 0,1 or 2 such intersections, so that the equilibrium point \((c / d, a / b)\) fore this system is a true centre (i.e. it cannot be a spiral point). Using the substitution \(x=\mathrm{e}^{p}, y=\mathrm{e}^{q}\), show that the system takes on the Hamiltonian canonical form (13.22).

Step-by-Step Solution

Verified
Answer
Based on the step-by-step solution: 1. The given Lotka-Volterra system is represented by the set of equations: \[\begin{align} \frac{dx}{dt} &= x(a - by) \\ \frac{dy}{dt} &= -y(c - dx) \end{align}\] 2. The trajectories in the phase plane for the Lotka-Volterra system are given by the function \(f(x, y) = \text{constant}\). This has been shown by differentiating \(f(x, y)\) with respect to \(t\) and showing that the result is zero. 3. There can be either 0, 1, or 2 intersections of a line \(y = k = \text{constant}\) with a trajectory on the phase plane. 4. The equilibrium point for the system is a true center. 5. After substituting \(x = e^p, y = e^q\), the system takes on the Hamiltonian canonical form with the Hamiltonian function \(H(p, q) = -da + c \ln a - bb + a \ln b\).
1Step 1: Write down the Lotka-Volterra system (13.18) and the function (13.20)
The Lotka-Volterra system (13.18) is given by: \begin{align} \frac{dx}{dt} &= x(a - by) \\ \frac{dy}{dt} &= -y(c - dx) \end{align} And the function (13.20) is: \begin{equation} f(x, y) = dx - c \ln x + by - a \ln y \end{equation}
2Step 2: Show that the trajectories in the phase plane are given by the function \(f(x, y) = \text{constant}\)
To show that the trajectories are given by the function \(f(x, y) = \text{constant}\), we need to differentiate \(f(x, y)\) with respect to \(t\) and show that the result is zero. \begin{align} \frac{d}{dt}f(x, y) &= \frac{\partial f}{\partial x}\frac{dx}{dt} + \frac{\partial f}{\partial y}\frac{dy}{dt} \\ &= (-c/x)(x(a-by)) + (b)(-y(c-dx)) \end{align} Using the given system, substitute \(\frac{dx}{dt}\) and \(\frac{dy}{dt}\): \begin{align} \frac{d}{dt}f(x, y) &= -c(a-by) + b(-y)(c-dx) \\ &= -ac + bcy + bcy -bdx \\ &= 0 \end{align} Thus, \(f(x, y) = \text{constant}\).
3Step 3: Prove that there are 0, 1, or 2 intersections of a line \(y\) = constant with a trajectory
Consider a line \(y = k\), where \(k\) is a constant. At the intersection points, the following equation holds: \begin{equation} -c \ln x + dx = f(x, k) = \text{constant} \end{equation} This equation represents a transcendental equation. The number of intersections depends on the relative positions of the line \(y = k\) and the equilibrium point \((c/d, a/b)\). There can be following scenarios: - No intersection: line \(y = k\) lies below the equilibrium point. - One intersection: line \(y = k\) passes through the equilibrium point. - Two intersections: line \(y = k\) lies above the equilibrium point. Therefore, there are 0, 1, or 2 intersections.
4Step 4: Show that the equilibrium point is a true center
Since the equation in Step 3 has no more than two intersections, the equilibrium point \((c/d, a/b)\) cannot be a spiral point. It can only be a center or a saddle point. However, the saddle point has more than two intersections, so the only possibility left is a true center.
5Step 5: Use substitution \(x = e^p, y = e^q\) and transform the system into Hamiltonian canonical form (13.22)
Using the substitution \(x = e^p, y = e^q\), we transform the system: \begin{align} \frac{dx}{dt} &= \frac{d(e^p)}{dt} = e^p \frac{dp}{dt} \\ \frac{dy}{dt} &= \frac{d(e^q)}{dt} = e^q \frac{dq}{dt} \end{align} Plug the substituted variables into the Lotka-Volterra system: \begin{align} e^p \frac{dp}{dt} &= e^p(a - be^q) \\ e^q \frac{dq}{dt} &= -e^q(c - de^p) \end{align} Divide by \(e^p\) and \(e^q\), respectively: \begin{align} \frac{dp}{dt} &= a - be^q \\ \frac{dq}{dt} &= -(c - de^p) \end{align} This system now takes the Hamiltonian canonical form: \begin{align} \frac{dp}{dt} &= -\frac{\partial H}{\partial q} \\ \frac{dq}{dt} &= \frac{\partial H}{\partial p} \end{align} Where \(H(p, q) = -da + c \ln a - bb + a \ln b\) is the Hamiltonian function.

Key Concepts

Phase Plane TrajectoriesEquilibrium PointHamiltonian Canonical Form
Phase Plane Trajectories
A key concept in analyzing systems like the Lotka-Volterra model is the idea of phase plane trajectories. These are paths that represent the state of the system (comprised of populations in this biological model) over time. By graphing these trajectories, we can visually observe how the system evolves.

In the case of the Lotka-Volterra system, to understand what these trajectories look like, we examine the function derived from the system's differential equations. Here, we consider a particular function, f(x, y), that remains constant along any trajectory of the system. Mathematically, it is demonstrated that the derivative of this function with respect to time is zero along a path, confirming that it is indeed constant for the phase plane trajectories.

The importance of these trajectories lies in their capacity to describe the behavior of predator and prey populations without solving the differential equations at each time step. Instead, one can analyze the shape and location of these paths to predict long-term behaviors such as stability or oscillations in populations.
Equilibrium Point
An equilibrium point is essentially a state where the system settles, and once reached, no further change occurs if undisturbed. In dynamics, it's akin to a ball coming to rest in a trough – at this point, the forces balance out, and the ball stops rolling.

In the Lotka-Volterra model, we find an equilibrium point by setting the rate of change of both populations to zero. For the given system, the equilibrium is at \((c/d, a/b)\). The behavior around this point is significant: it can either be stable (attract nearby points), unstable (repel them), or neutral (neither attract nor repel, but make them circulate around).

The exercise explores the intersections of a horizontal line with the system's trajectories. Depending on the location of this line relative to the equilibrium point, we may have none, one, or two intersections. This helps us determine that the point in question is a true center — it is not a spiral since spirals would have an infinite number of such intersections. Recognizing an equilibrium point as a true center is powerful: it informs us that the system's populations will oscillate without ever settling down or spiraling out of control.
Hamiltonian Canonical Form
The Hamiltonian canonical form is a representation used in physics and mathematics to simplify complex systems of differential equations by describing the evolution of a system over time in terms of energy conservation. A Hamiltonian system has pairs of conjugate variables and follows a specific set of rules governed by the Hamiltonian function, an analogue to the total energy of the system.

The Lotka-Volterra system can be transformed into this form by a change of variables, switching from the populations (x, y) to a new set of variables (p, q), which are related to the former through an exponential function. This transformation simplifies the original equations into a different pair, which resemble the canonical set of Hamilton's equations. This not only offers a fresh perspective on the system but also opens up a rich toolkit of analytical methods from the realm of Hamiltonian mechanics.

Being able to cast the Lotka-Volterra system into Hamiltonian form is more than a mathematical trick — it links population dynamics to energy conservation concepts and allows for exploitation of the symmetries in the system, which can lead to further insights into the system's qualitative behavior.