Lotka-Volterra equations, or predator-prey equations, are a pair of first-order nonlinear differential equations describing the interaction between a food source and its consumers. If the prey is represented by the variable x and the predators by y, the equations are

dxdt =ax-bxy dydt =cy+dxy

The first term on each right-hand side represents population growth in the absence of interaction: exponential increase for the prey and exponential decrease for the predators. The nonlinear terms describe the result of predation, with the prey decreasing in number and the predators increasing.

The equations are written appear to have four independent parameters, but with the scaled variables

x=cdX y=cbY t=1cT

can be written as a system with a single independent parameter:

dXdT =αX-XY dYdT =Y+XY α=ac

It is now straightforward to integrate these equations for a variety of initial conditions and parameter. The prey is in green and the predators in red for the obvious connotations:

The exponential increase of the prey can be seen by setting the initial predator population to zero, and the exponential decrease of predators by setting the initial prey population to zero.

The critical points of the nonlinear system are found by setting the right-hand sides of the differential equations equal to zero and solving for variable values. The two critical points for the scaled pair of equations are

[0,0] and [1,α]

Linearizing the pair of differential equation near the first critical point

[X,Y] [εX, εY] ddt [ εX εY ] =[ α0 01 ] [ εX εY ]

produces a coefficient matrix with two real eigenvalues of different sign, so that this critical point is a saddle point. Linearizing the pair of differential equation near the second critical point

[X,Y] [1+εX, α+εY] ddt [ εX εY ] =[ 01 α0 ] [ εX εY ]

produces a coefficient matrix with pure imaginary eigenvalues, so that this critical point is a center. Phase-space orbits move around this center in a counterclockwise direction, since ε· Y>0 for εX>0  .

To display orbits in phase space, an energy integral is needed and easily found for this relatively simple system. Eliminating the differential with respect to time in the pair of equations gives

dX X(α-Y) =dY Y(X-1) X-1X dX =α-YY dY   X-lnX +Y-αlnY =E

This energy integral can be rearranged to express one variable as a function of the other in terms of the Lambert W function. This function satisfies the implicit equation

W(z) eW(z) =z

To determine X(Y) multiply both sides of the energy integral by minus one, exponentiate and multiply again by the same factor:

[X -lnX =E-Y +αlnY ] [X eX =Yα eY-E ] X=W[ Y α eY-E ]

For Y(X) the multiplicative factor includes the inverse of the parameter:

1α [Y -αlnY =E-X+lnX ] 1α [Ye Y/α =X 1/α e(X -E)/α ] Y=α W[ 1α X1 /α e(X-E) /α ]

Since the arguments of both functions are negative, the expressions are located in the double-valued region of the Lambert function, which looks like this:

One part of each phase-space orbit will come from the principal branch of the function, with the other part from the other real branch. Since this second branch has larger absolute values, the upper part of each orbit in phase space will come from it.

To determine the limits of variables in phase space, differentiate the energy integral implicitly with respect to each variable:

1-1X +(1 -αY) dYdX =0 dYdX =0 X=1 (1-1X) dXdY +1-αY +=0 dXdY =0 Y=α

The limits of an orbit for a given variable occur when the other has the value of the center critical point. For Y=α these limits are

Xmin =W0 [e α-E αα ] Xmax =W 1 [e α-E αα ]

and for X=1 the limits are

Ymin =α W0 [e (1-E) /α α ] Ymax =α W1 [e (1-E) /α α ]

where the two values come from the two real branches of the Lambert function as previously stated. The critical point is also the absolute minimum of the energy integral as a surface, as can be seen by forming its gradient

E=[ 1-1X , 1-αY ]

which is identically zero at the critical point. A visualization of the energy surface, with the critical point in red, confirms this behavior:

With limits available for both variables as well as the energy, one can now visualize an orbit for arbitrary energy, along with one for E=5 in purple and the center critical point again in red:

These orbits are patently horizontal slices of the energy surface above.

There are several ways to express the period of orbits as summarized nicely in this review article, the most direct making use of expressions already determined. The differential of the scaled temporal variable can be equally expressed as

dT=dX X(α-Y) =dY Y(X-1)

Integrating either expression along an entire orbit provides an integral representation of the period. First denote integrals on each constituent branch of the orbit as

TXlower = Xmin Xmax dXαX [1+W0 (1α X1 /α e(X-E) /α )] TXupper = Xmin Xmax dXαX [1+W 1 (1α X1 /α e(X-E) /α )] TYlower = Ymin Ymax dYY [1+W0 (Y α eY-E )] TYupper = Ymin Ymax dYY [1+W 1 (Y α eY-E )]

where overall signs are chosen to produce positive values for counterclockwise motion. The period of the complete orbit is then

Torbit =TXlower +TXupper =TYlower +TYupper

These two expressions must give identical results by definition, so either can be used in practice. Taking the second as a bit more concise, the period as a function of energy is

The orbit period appears to be quite linear for small energies, but does not remain so for higher energies or low values of the single system parameter. Plotting the two parts of the period separately shows that they are not equal and their ratio is not constant, indicating that solutions to the pair of differential equations are not simply circular or Jacobi elliptic functions.

With an expression for period, numerical integration of the differential equations can be performed over just a single one. This facilitates visualization of the result in phase space with animation of the motion along the orbit:

Having integral representations for the two parts of the period allows one to write explicit expressions for the time to maxima and minima in each of the variables. Inspection of the phase-space orbits makes clear that the expression for a given initial variable is controlled by the value of the other initial variable relative to the center critical point, since this determines the branch of the relevant Lambert function. The time to maximum population of prey is thus

TXmax ={ X0 Xmax dXαX [1+W0 (1α X1 /α e(X-E) /α )] , Y0α TXlower + X0 Xmin dXαX [1+W 1 (1α X1 /α e(X-E) /α )] , Y0>α

while the time to minimum prey is

TXmin ={ TXupper + X0 Xmax dXαX [1+W0 (1α X1 /α e(X-E) /α )] , Y0α X0 Xmin dXαX [1+W 1 (1α X1 /α e(X-E) /α )] , Y0>α

Similarly, the time to maximum population of predators is

TYmax ={ TYupper - Y0 Ymin dYY [1+W0 (Y α eY-E )] , X01 Y0 Ymax dYY [1+W 1 (Y α eY-E )] , X0>1

while the time to minimum predators is

TYmin ={ Y0 Ymin dYY [1+W0 (Y α eY-E )] , X01 TYlower - Y0 Ymax dYY [1+W 1 (Y α eY-E )] , X0>1

These expressions can be verified visually by repeating the initial integration of the pair of differential equations for a single period and adding vertical lines at the indicated times:

Other quantities of interest are the times between maxima and minima in each of the populations. It might seem at first that expressions for such quantities will require four different options as combinations of the expressions just given, until one realizes that they remain in a single phase-space quadrant. This makes them easier to evaluate than anticipated:

TYmax -TXmax =1 Xmax dXαX [1+W 1 (1α X1 /α e(X-E) /α )] TYmax -TXmax =α Ymax dYY [1+W 1 (Y α eY-E )]

TYmin -TXmin =1 Xmin dXαX [1+W0 (1α X1 /α e(X-E) /α )] TYmin -TXmin =α Ymin dYY [1+W0 (Y α eY-E )]

Each of the pairs of integrals are easily seen to be equal: the integrands are equivalent by construction and the limits of integration follow from the corresponding change of variables. Again taking the simpler of the two representations, the temporal differences as functions of energy between maxima (in purple) and minima (in bright green) look like this:

The maxima thus get closer together for higher energy while the minina get further apart. The two temporal differences are equal at the energy minimum.

All of the interactive graphics presented here provide intuition into a desired parameterization of the exact solution to the pair of nonlinear differential equations.

Uploaded 2018.10.07 — Updated 2018.10.11 analyticphysics.com