Next Article in Journal
Significance of Nanoparticle Radius and Gravity Modulation on Dynamics of Nanofluid over Stretched Surface via Finite Element Simulation: The Case of Water-Based Copper Nanoparticles
Next Article in Special Issue
Emergent Spatial–Temporal Patterns in a Ring of Locally Coupled Population Oscillators
Previous Article in Journal
Periodically Intermittent Control of Memristor-Based Hyper-Chaotic Bao-like System
Previous Article in Special Issue
The Harvest Effect on Dynamics of Northern Fur Seal Population: Mathematical Modeling and Data Analysis Results
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Acoustic Wind in a Hyperbolic Predator—Prey System

by
Andrey Morgulis
1,2
1
I.I.Vorovich Institute for Mathematic, Mechanics and Computer Science, Southern Federal University, 344090 Rostov-na-Donu, Russia
2
Southern Mathematical Institute of VSC RAS, 362025 Vladikavkaz, Russia
Mathematics 2023, 11(5), 1265; https://doi.org/10.3390/math11051265
Submission received: 27 January 2023 / Revised: 28 February 2023 / Accepted: 28 February 2023 / Published: 6 March 2023
(This article belongs to the Collection Theoretical and Mathematical Ecology)

Abstract

:
We address a hyperbolic model for prey-sensitive predators interacting with purely diffusive prey. We adopt the Cattaneo formulation for describing the predators’ transport. Given the hyperbolicity, the long-lived short-wave patterns occur for sufficiently weak prey diffusivities. The main result is that the non-linear interplay of the short waves generically excites the slowly growing amplitude modulation for wide ranges of the model parameters. We have observed such a feature in the numerical experiments and support our conclusions with a short-wave asymptotic solution in the limit of vanishing prey diffusivity. Our reasoning relies on the so-called homogenized system that governs slow evolutions of the amplitudes of the short-wave parcels. It includes a term (called wind) which is absent in the original model and only comes from averaging over the short waves. It is the wind that (unlike any of the other terms!) is capable of exciting the instability and pumping the growth of solutions. There is quite a definite relationship between the predators’ transport coefficients to be held for getting rid of the wind. Interestingly, this relationship had been introduced in prior studies of small-scale mosaics in the spatial distributions of some real-life populations.

1. Introduction

We will be considering two species, one of which (say, predator) is sensitive to the concentration gradient of the other one (say, prey). Prey spread in a purely diffusive way. For the predators, we employ the Cattaneo model [1]. The resulting system of equations belongs to the family of hyperbolic models [2]. The last reference alludes to a review that delivers much helpful information on the subject.
The present article considers the slow evolution of short-wave packages for the outlined PDE system. In many respects, it continues article [3] that regards the effect of small-scale fluctuations of the environment on the stability of the homogeneous equilibria for one parabolic model of the Patlak–Keller–Segel family. Currently, we address a similar problem for a hyperbolic model. There are at least two reasons for doing so. The first one is the completeness of the study. Indeed, the hyperbolic and parabolic models, such as the Cattaneo and the Patlak–Keller–Segel formulations, arise from the same kinetic model under different hypotheses. Both models are natural but very different. For instance, the parabolic model must perceive a short wavelength external signal constantly to produce a short wave pattern in response [3]. In great contrast, the short waves can propagate due to an instantaneous perturbation in the hyperbolic case. The second reason regards the so-called aggregation that review [2] distinguishes as an important application of the hyperbolic models. Since the aggregation means the spontaneous forming of large-scale patterns from small-scale ones, there should be an intrinsic mechanism of destabilization and destruction of the latter. At the same time, there should be some exclusions as real-life populations sometimes display the small-scale mosaic patterns of spatial distributions [4].
Of course, such topics as the relevance of the short-wavelength limit to a real life population or the wave solutions of the hyperbolic models (which have got much less attentions than their parabolic counterparts as yet) are worth continuing discussion. However, we skip it for the sake of brevity and allude to freely accessible papers [3,5] for these matters and for more references to the subject.
In contrast with the Patlak–Keller–Segel parabolic model, which we addressed in article [3], the short-wave limit for the Cattaneo model, due to its hyperbolicity, leads to the elementary wave equation, the solutions to which form a kind of short-wave ether. We apply the homogenization over this ether to derive equations for the slow modulation of the short-wave packages. To some extent, this procedure follows that proposed in article [6]. The main result in the present article is the pumping of the slow amplitudes by the non-linear interactions of the short waves. This feature manifests itself in the excitement of wind, by which we mean some terms that enter the flux equation due to the homogenization. It turns out that this wind is capable of destabilizing the equilibria of the averaged amplitude equation and supporting the growth of their finite perturbations.
The article is organized as follows. In Section 2, we formulate the governing equation. In Section 3, we present several motivating examples. In Section 4, we derive the system that governs the slow evolution of the amplitudes of the short-wave parcels by the homogenization over the short waves. In Section 5, we consider the simplest model that invokes identically constant transport coefficients of the predator and the Lotka–Volterra kinetics. In Section 6, we unfold the destabilizing effect of wind through linear stability analysis. In Section 7, we present numerical solutions of the homogenized system that support our outcomes regarding the crucial part of the wind in supporting the instability and perturbation growth. In Section 8, we list several conclusions from the research presented.

2. The Governing Equations and Scaling

As we have mentioned above, we invoke the Cattaneo model [1] for the predators’ transport and the common reaction–diffusion equation for the prey. The former involves the equations for the balance of the predators and the equation for their flux that, in contrast with the Patlak–Keller–Segel law, takes into account the inertia of their responding. The dimensionless form of the governing equations reads as
p t + q x = F ( p , s ) ,
q t + ν q = κ χ ( p , s ) p s x μ ( p , s ) p x ,
s t = G ( p , s ) + δ s x x .
In article [5], there are more details on scaling the dimensional governing equations for bringing them into the above dimensionless form.
In system (1)–(3), the independent variables, x and t, stand for the spatial and temporal coordinates, correspondingly, x R , t > 0 . The dependent variables are p = p ( x , t ) , q = q ( x , t ) and s = s ( x , t ) . The first and the last ones play the parts of the densities of the species. The first two equations constitute the Cattaneo model for the prey-sensitive movement of the predators, where the remaining dependent variable, q, stands for predator’s flux. Coefficient κ > 0 stands as the sensitivity factor. Moreover, Equation (2) involves term ν q with constant factor ν > 0 , which resembles the resistance force in mechanics. We will be calling the corresponding coefficient, ν , resistivity. The notation of δ stands for the prey diffusivity factor that is constant by assumption.
By default, the predator diffusivity, μ , the sensitivity, χ , and the reactions terms, F and G, are smooth functions in variables p > 0 ,   s > 0 ; at that
μ ( p , s ) > 0 p > 0 , s > 0 , p χ ( p , s ) 0 , p + 0 , s 0 .

3. Motivating Examples

Throughout this section, we will be discussing three numerical solutions to the Cauchy problem for Equations (1)–(3) with small diffusivity of prey and identically constant coefficients μ and χ . The initial data and other settings are as follows
p | t = 0 = p e 1 + ϵ e x 2 + a sin N ( 2 π n x ) , q | t = 0 = μ p e a sin N ( 2 π n x ) , s | t = 0 = s e ,
F = p ( γ s β ) , G = s ( α p s ) , s e = β / γ , p e = α s e , β / ( γ α ) = 0.4 , α = 5 / 4 , γ = 2 / 3 ,
μ const = 4 , ν = 1 , δ = 0.01 , χ const = μ ν / ( p e s e ) , κ = 1 .
Quantities s e and p e are the equilibrium species densities in the sense that
F ( p e , s e ) = 0 , G ( p e , s e ) = 0 ,
i.e., the system (1)–(3) allows the homogeneous equilibrium in which p p e , s s e and q 0 . The value assigned to the parameter χ is a threshold for the linear instability of such an equilibrium in the case of δ = 0 (see Section 6).
Figure 1 illustrates the numerical solutions, which cover the spatial range of ( 35 , 35 ) . For more details of the implementation, see Section 7. Each row of snapshots shows the instantaneous graphs of the deviation of the species densities from their equilibrium values for one concrete set of initial data (5). The top row shows those patterns that arise from a short-wave modulation of the homogeneous equilibrium. The middle row demonstrates an interplay of the same modulation with a small smooth localized perturbation. The bottom row corresponds to the same perturbation but with no underlying short wave. Table 1 states the correspondence between the rows and the versions of initial data (5).
Overall, the top snapshots row displays a short-wave profile of the predator density amid almost homogeneous prey distribution. The former resembles a linear travelling wave subject to slow amplitude damping. It is not entirely unexpected since the short-wave limit of the governing equations leads to the linear acoustic system with the sound speed equal to μ , namely,
p t + q x = 0 , q t + μ p x = 0 .
The amplitude damping is due to the resistance term, ν q , which is not entirely negligible for the wavelengths adopted for computing.
The middle row shows that the small smooth localized initial perturbation persists and even gets amplified despite the existing resistance. Notice the asymmetry too. It cannot be explained using the above acoustic approximation only. These features sharply contrast with the bottom row, which displays a symmetrical picture of decaying perturbation. This symmetry is due to the mirror invariance of Equations (1)–(3) and initial data (5) (the latter takes place for a = 0 only).
The listed observations suggest that short waves are capable of pumping the perturbations. In the rest of the article, we will be addressing this conjecture with the use of homogenization.

4. Homogenization and Wind

Let δ + 0 in Equation (3). We seek the short wavelength solutions that read as
p = p ( x , t , ξ , τ , δ ) , q = q ( x , t , ξ , τ , δ ) , s = s ( x , t , ξ , τ , δ ) , where τ = t / δ , ξ = x / δ .
For calculating such a solution we employ the formal power expansions as follows
( p , q , s ) ( x , t , ξ , τ , δ ) = k = 0 ( p , q , s ) k ( x , t , ξ , τ ) δ k .
We assume that for every coefficient in these series there exists an averaged value defined as follows
u ( x , t ) = d e f lim L 1 4 L 2 [ L , L ] 2 u ( x , t , ξ , τ ) d ξ d τ .
Hence, for every k = 0 , 1 , there is a decomposition
( p , q , s ) k ( x , t , ξ , τ ) = ( p ¯ , q ¯ , s ¯ ) k ( x , t ) + ( p ˜ , q ˜ , s ˜ ) k ( x , t , ξ , τ ) , where ( p ¯ , q ¯ , s ¯ ) k = ( p , q , s ) k ,
so that the tilde terms vanish on average. To simplify the notation, we will be omitting the zero-valued indices here and there below—that is, the following agreement is valid from here on:
p ¯ 0 = p ¯ , p ˜ 0 = p ˜ , q ¯ 0 = q ¯ , q ˜ 0 = q ˜ , s ¯ 0 = s ¯ , s ˜ 0 = s ˜ .
Finally, we assume that
s ˜ = s ˜ 0 = 0 .
We write the governing equations with the use of the slow variables, x , t , and the fast variables, ξ , τ . For this purpose, we substitute t and x with t + δ 1 τ and x + δ 1 ξ . Then replacing the dependent variables, p , q , s , with the above expansions gives a chain of equations for the approximations of successive orders. Specifically, collecting the terms of order δ 1 yields equations:
p ˜ τ + q ˜ ξ = 0 ; q ˜ τ + μ ( p ¯ + p ˜ , s ¯ ) p ˜ ξ = 0 .
This system is quasi-linear and hyperbolic with respect to unknowns p ˜ , q ˜ since function μ is positive by assumption. The value of s ¯ stands as a constant parameter. Let
p M ( p , s ¯ ) = μ ( p , s ¯ ) .
Given this, the second equation in system (9) takes the form of a conservation law that reads as
q ˜ τ + ξ M ( p ¯ + p ˜ , s ¯ ) = 0 ,
Eliminating of variable q reduces system (9) to a single quasi-linear wave equation that reads as
p ˜ τ τ = ( μ ( p ¯ + p ˜ , s ¯ ) p ˜ ξ ) ξ .
The next step after resolving Equation (10) is recovering the other unknown, q ˜ , from system (9). Some compatibility conditions can arise at that. One of them is Equation (10) itself and it can seem that one more results from system (9) upon averaging. However, the latter holds identically due to the aforementioned conservatism.
Collecting the terms of order 1 yields equations:
p ˜ 1 τ + q ˜ 1 ξ = F ( p 0 , s ¯ ) p 0 t q 0 x ,
q ˜ 1 τ + ( μ ( p 0 , s ¯ ) p 1 ) ξ + s 1 M s ( p 0 , s ¯ ) ξ = κ p 0 χ ( p 0 , s ¯ ) ( s ¯ x + s ˜ 1 ξ ) μ ( p 0 , s ¯ ) p 0 x q 0 t ν q 0 ,
s ˜ 1 τ s ˜ 1 ξ ξ = G ( p 0 , s ¯ ) s ¯ t .
Regarding Equation (12), it is worth noting that the collection of the terms of order 1 resulting from the term δ 1 μ ( p , s ) p ξ reads as ( μ s ( p 0 , s ¯ ) s 1 + μ p ( p 0 , s ¯ ) p 1 ) p ˜ 0 ξ + μ ( p 0 , s ¯ ) p ˜ 1 ξ and this, by definition of function M, is equal to ( μ ( p 0 , s ¯ ) p 1 ) ξ + s 1 M s ( p 0 , s ¯ ) ξ .
Again, there are several compatibility conditions to hold for isolating unknown q ˜ 1 from Equations (11) and (12). These are
F ( p 0 , s ¯ ) p 0 t q 0 x = 0 ,
κ p 0 χ ( p 0 , s ¯ ) s ¯ x + s ˜ 1 ξ κ p 0 χ ( p 0 , s ¯ ) + M s ( p 0 , s ¯ ) ν q 0 μ ( p 0 , s ¯ ) p 0 x q 0 t = 0 ,
p ˜ 1 τ τ ( μ ( p 0 , s ¯ ) ( p ˜ 1 + p ¯ 1 ) ξ + ( s ˜ 1 + s ¯ 1 ) ( M s ( p 0 , s ¯ ) ) ξ ξ = ( μ 0 ( p 0 , s ¯ ) p 0 x + q 0 t + ν q 0 κ p 0 χ ( p 0 , s ¯ ) ( s ¯ x + s ˜ 1 ξ ) ) ξ + ( F ( p 0 , s ¯ ) p 0 t q 0 x ) τ .
Equation (16) is a linear wave equation in fast variables with respect to function p ˜ 1 provided that we have determined p ¯ , p ˜ , s ˜ 1 and s ¯ . More accurately, this is a two-parametric family of the linear wave equations where the values of p ¯ 1 and s ¯ 1 stand as parameters.
Assume there exists a two-parametric family of solutions p ˜ = P ( p ¯ , s ¯ ) , q ˜ = Q ( p ¯ , s ¯ ) to system (9). Equation (13) entails the following compatibility condition
s ¯ t = G ( p ¯ + p ˜ , s ¯ ) .
This equation is nothing else than Equation (13) on average. Assume that it holds. Then Equation (13) defines a two-parametric family of operators
S 1 = S 1 ( p ¯ , s ¯ ) : p ˜ s ˜ 1 , S 1 = L ( G ( p ¯ + · , s ¯ ) G ( p ¯ + · , s ¯ ) ) ,
where L is the inverse to the heat operator on a suitable space of functions vanishing on average.
Further, let us write conditions (14) and (15) as equations for p ¯ and q ¯ :
p ¯ t + q ¯ x = F ( p ¯ + p ˜ , s ¯ ) ,
q ¯ t + ν q ¯ + μ ¯ ( p ¯ , s ¯ ) p ¯ x = κ p ¯ χ ¯ ( p ¯ , s ¯ ) s ¯ x + W ( p ¯ , s ¯ ) ,
where p ˜ = P ( p ¯ , s ¯ ) and s ˜ 1 = S 1 ( p ¯ , s ¯ ) p ˜ , and
μ ¯ ( p ¯ , s ¯ ) = μ ¯ ( p ¯ + p ˜ , s ¯ ) , χ ¯ ( p ¯ , s ¯ ) = χ ¯ ( p ¯ + p ˜ , s ¯ ) ,
W ( p ¯ , s ¯ ) = κ ( ( p ¯ + p ˜ ) χ ( p ¯ + p ˜ , s ¯ ) χ ¯ ( p ¯ , s ¯ ) p ¯ ) s ¯ x + s ˜ 1 ξ κ ( p ¯ + p ˜ ) χ ( p ¯ + p ˜ , s ¯ ) + M s ( p ¯ + p ˜ , s ¯ ) μ ( p ¯ + p ˜ , s ¯ ) ( p ¯ + p ˜ ) x + μ ¯ ( p ¯ , s ¯ ) p ¯ x .
Equations (17)–(19) constitute a closed system regarding the averaged unknowns, p ¯ , q ¯ , s ¯ , which we will call a homogenized or averaged system.
The homogenized system is similar to the original governing equations but not the same. In the generic case, the effect of the short waves is threefold. First, the averaged reaction terms, G ( p ¯ + p ˜ , s ¯ ) and F ( p ¯ + p ˜ , s ¯ ) , can differ from those specified originally. Second, the same is true regarding the averaged diffusivity, μ ¯ , and sensitivity, χ ¯ . Third, last but not least, the wind term, W, can enter the flux Equation (19). The usage of the name “wind” relies on an analogy to some features in the dynamics of compressible fluid [6].
Now let the following conditions hold
φ = φ ( p , s ) : d φ = μ ( p , s ) d p κ p χ ( p , s ) d s .
In analogy with fluid mechanics, we will call this function pressure (if any). Indeed, given an existing pressure, Equation (2) represents a conservation law:
q t + ν q = x φ ( p , s ) .
Note in passing that the occurrence of shock waves is natural in such a case, see [5].
When the pressure exists, Equation (12) is written as
q ˜ 1 τ = ξ d φ p = p 0 , s = s ¯ ( p 1 , s 1 ) x φ ( p 0 , s ¯ ) ν q 0 q 0 t .
Averaging the last equation again leads to the conservation law as follows
q ¯ t + ν q ¯ = x φ ¯ ( p ¯ , s ¯ ) , φ ¯ ( p ¯ , s ¯ ) = φ ( p ¯ + p ˜ , s ¯ ) .
Comparing Equation (23) to Equations (19)–(21) (where one can put M = φ now) brings the wind into a simpler form
W = μ ( p ¯ + p ˜ , s ¯ ) p ˜ x κ s ¯ x χ ( p ¯ + p ˜ , s ¯ ) p ˜ ,
and formulae (20) define the averaged transport coefficients, μ ¯ and χ ¯ , again. Generally, they satisfy condition (22) neither with pressure φ ¯ nor with any others even if it has held originally.
The most tractable averaged system arises from the signal-dependent transport coefficients—that is, for
μ = μ ( s ) , χ = χ ( s ) .
At the same time, there are examples of considering this assumption for some real-life species in the biological literature. We allude to articles by Tytyunov et al. [4,7], and Menolascina et al. [8] for examples and references. In such a case system (9) reduces to two uncoupled linear wave equations where the sound speed is c = c ( s ¯ ( x , t ) ) = μ ( s ¯ ( x , t ) ) —that is, it is a constant relative to the fast variables. Then the solution reads as
p ˜ = p ¯ ( x , t ) ( ψ ˜ + ( ξ + c τ ) + ψ ˜ ( ξ c τ ) ) , c = c ( s ¯ ( x , t ) ) = μ ( s ¯ ( x , t ) )
for every pair of function ψ ˜ ± (as the sound speed is a constant relative to the fast variables). To make the solution positive, choose functions ψ ± that are 2 π periodic and positive, and set
1 2 π π π ψ ± ( η ) d η = ψ ¯ ± , ψ ¯ + + ψ ¯ = 1 , ψ ˜ ± = ψ ± ψ ¯ ± .
Then the solution defined by equality (25) vanishes on average, while the leading term, p 0 = p ¯ + p ˜ , is positive for every positive function p ¯ . The corresponding flux, q ˜ , reads as
q ˜ = c p ¯ ( x , t ) ( ψ ˜ ( ξ c τ ) ψ ˜ + ( ξ + c τ ) ) ,
The envelope of this shortwave parcel, p ¯ , the averaged flux, q ¯ , and the prey density, s ¯ , are a solution to the homogenized system. The last gets simplified substantially, namely,
μ ¯ = μ , χ ¯ = χ , W = ( μ s ( s ¯ ) + κ χ ( s ¯ ) ) s ˜ 1 ξ p ˜ .
The wind vanishes when
μ s ( s ) + κ χ ( s ) = 0 .
This is the particular form of integrability condition (22) so that expression (24) has to determine the wind too and it is equal to zero as well.
Let us proceed with simplifying the model. Assume the reaction terms to be linear in the predator density (as in the Lotka–Volterra case)—that is, set
G ( p , s ) = G 1 ( s ) p + G 0 ( s ) , F ( p , s ) = F 1 ( s ) p + F 0 ( s ) .
Then the reaction terms in Equations (17) and (18) remain the same as we have defined by formulae (29). Equation (13) now reads as
s ˜ 1 τ s ˜ 1 ξ ξ = G 1 ( s ¯ ) p ˜ .
Hence,
s ˜ 1 = p ¯ G 1 ( s ¯ ) k 0 ψ k + e i k ( ξ + c τ ) k 2 + i c k + ψ k e i k ( ξ c τ ) k 2 i c k .
where numbers ψ k ± are the Fourier coefficients of functions ψ ± . Finally,
W = θ ( ψ ± , c ) G 1 ( s ¯ ) ( μ s ( s ¯ ) + κ χ ( s ¯ ) ) p ¯ 2 , c = c ( s ¯ ) = μ ( s ¯ ) ,
θ ( ψ ± , c ) = 2 c k = 1 | ψ k + | 2 | ψ k | 2 c 2 + k 2 .
Thus, in the case under consideration, the homogenized system takes the form as follows
p ¯ t + q ¯ x = F 1 ( s ¯ ) p ¯ + F 0 ( s ¯ ) ,
q ¯ t + ν q ¯ + μ ( s ¯ ) p ¯ x = κ χ ( s ¯ ) p ¯ s ¯ x + W ,
s ¯ t = G 1 ( s ¯ ) p ¯ + G 0 ( s ¯ ) ,
where the wind term, W, is determined by formula (30).
Let us consider the maximization of factor θ in the absolute value for a fixed c > 0 . There are restrictions for functions ψ ± to obey; namely, they must be positive and their sum (normalized by 2 π ) must be a probabilistic density on the unit circumference. Hence, | ψ k ± | < 1 k N and the maximizing (minimizing) pair of sequences is | ψ k + | = 1 ,   ψ k = 0 ( | ψ k | = 1 ,   ψ k + = 0 ). So, the supremum and infimum of factor θ read as
± 2 c k = 1 1 c 2 + k 2 = ± π coth π c c 1 c
It is worth noting that functional (31) probably does not attain these extremal values at some smooth densities ψ ± . On the other hand, it tends to one of these values when one concentrates density ψ + or ψ near some singular point on the unit circumference. The similar limiting object on the whole real axis is known as the Dirac measure, or δ , or the atomic measure. To build the same on the circumference, we construct the 2 π -periodic grid of the Dirac atoms while setting one atom on the period.

5. The Case of Constant Diffusivity and Sensitivity

For reducing the wind term (30) into its simplest form, let us set
μ = const , χ = const , κ = 1 , G ( p , s ) = s ( α p s ) , F = p ( γ s β ) ,
where α , β and γ are positive constants. Then the homogenized system reads as
p ¯ t + q ¯ x = p ¯ ( γ s ¯ β ) ,
q ¯ t + ν q ¯ + μ p ¯ x = χ p ¯ ( s ¯ x θ p ¯ s ¯ ) ,
s ¯ t = s ¯ ( α p ¯ s ¯ ) ,
where μ = const > 0 , χ = const > 0 , while formula (31) determines the magnitude of factor θ for every c = μ = const . Since it depends on functions ψ ± as well, we will be considering this factor as an additional parameter, which varies within bounds (35). Actually, we can restrict our considerations within positive values of parameter θ due to the system invariance with respect to the following transform
( x , t , p ¯ , q ¯ , s ¯ , θ ) ( x , t , p ¯ , q ¯ , s ¯ , θ ) .
For θ = 0 , system (37)–(39) is nothing else than a version of the original system (1)–(3), which possesses the mirror symmetry ( x , t , p , q , s ) ( x , t , p , q , s ) . Note in passing that solutions (25) and (26), over which we do the homogenization, cannot possess the above invariance unless ψ + ( η ) = ψ ( η ) η . The last, however, entails | ψ k + | = | ψ k | k and, hence, θ = 0 by (31), so that the homogenized system gets the mirror invariance.
Recall now that we aim at studying the slow evolution of the amplitudes of the short-wavelength parcels. In this respect, understanding the effect of the wind seems to be the keynote as the wind is the only difference between the homogenized system (37)–(39) and the original system. Fortunately, it is particularly easy under hypotheses (36), as the wind term, θ χ s ¯ p ¯ 2 , is proportional to only one scalar parameter, θ . Hence, estimating the effect of wind reduces to estimating the effect of the magnitude of parameter θ , which is moreover confined within the known finite interval. It is worth noting that the same is true when the transport coefficients depends on the prey density only, and the reaction terms are linear in the predator density.

6. Linear Stability

The homogenized system (37)–(39) allows an equilibrium
p e = α β / γ , s e = β / γ , q e = θ s e p e 2 / ν .
For θ = 0 , this is the equilibrium of the original system. Here by the original system we mean the formulation of system (1)–(3) arising from assumptions (36) in the case of non-diffusive (sedentary) prey (i.e., for δ = 0 ).
In general, from formula (21), it follows that W ( p ¯ , s ¯ ) = const provided that p ¯ = const , s ¯ = const and system (9) has a two-parametric family of solutions p ˜ = P ( p ¯ , s ¯ ) , q ˜ = Q ( p ¯ , s ¯ ) . Hence, the equilibria of the general homogenized system (if any) are to read as
p ¯ p ¯ e = const , s ¯ s ¯ e = const q ¯ e = W ( p ¯ e , s ¯ e ) / ν ,
where the equilibrium densities are to set to zero the averaged reaction terms—that is, the following equations are to hold
F ( p ¯ e + p ˜ , s ¯ e ) = 0 , G ( p ¯ e + p ˜ , s ¯ e ) = 0 , p ˜ = P ( p ¯ e , s ¯ e ) .
Every equilibrium of the homogenized system generates the unmodulated short-wave pattern by formula p ˜ = P ( p ¯ e , s ¯ e ) , q ˜ = Q ( p ¯ e , s ¯ e ) . In a simpler situation, for μ = μ ( s ) , χ = χ ( s ) , such a quasi-equilibrium pattern results from formulae (25) and (26) where p ¯ = p ¯ e , q ¯ = q ¯ e .
Applying the rationales above to the case of the linear reactions in the predator density leads to the conclusion that the equilibrium densities of species are the same for both the homogenized and original systems, i.e.,
p ¯ e = p e , s ¯ e = s e .
(where by original we mean the version of the governing system dealt with). This observation opens a relatively easy way towards unfolding the effect of the wind, at least partly. It consists of comparing the stability of the equilibrium with the wind or without it and deciding whether the wind exerts a stabilizing or destabilizing effect. Regarding system (37)–(39), the problem simplifies to estimating the effect of the parameter θ on the stability of the above equilibria.
Let us consider the linearization of system (37)–(39) near the equilibrium (40) and look for a special solution that reads as
( p ^ , q ^ , s ^ ) exp ( i k x + λ t ) , p ^ , q ^ , s ^ , λ C , k R ,
It is common to name solutions (41) as the normal modes (of the corresponding equilibrium) and say that such a mode is stable (unstable, neutral) if the real part of decrement λ is negative (positive, equal to zero). At that, the so-called spectral stability problem arises for which λ is the eigenvalue and the corresponding normal mode is the eigenmode. It is also common to say that an equilibrium (or more general steady regime) is stable (unstable, neutral) provided its normal mode is stable (there exists an unstable (neutral) mode). Note that genuine stability in the Lyapunov sense often needs a much more accurate definition and does not always relate to this spectral test straightforwardly. This notice concerns the instability too.
Typically, the regimes we examine for stability depend on several parameters as, for example, equilibrium (40) does. Note that the wavelength of the eigenmode, k, stands as a parameter too. In the parametric space, every point belongs to either the area of instability or the area of stability or the critical submanifold that separates them. In the former (latter) area, there exist unstable normal modes (every normal mode is stable).
A smooth path in the parametric space that parameterizes a family of equilibria parameterizes the corresponding family of stability problems. We call a submanifold in the parametric space neutral if the transversal intersection of it by such a path generically entails the transversal intersection of the imaginary axis by a branch of eigenvalues of the corresponding stability problems. The unstable eigenmodes disappearing or arising upon crossing the neutral submanifold is what we call an occurrence of instability. We say that the instability is oscillatory (monotonic) if the corresponding branch of the eigenvalues is not real (is real).
In the case dealt with here, the stability test for an individual normal mode reduces to counting the eigenvalues of some complex matrix 3 × 3 that belong to the right semi-plane. We allude to widely recognized textbook [9] for more details, though the procedure is routine. Nevertheless, it is worth noting that the characteristic polynomials of the mentioned matrices depend not on the parameter θ itself but on θ 2 only—that is, the direction of the wind is nothing to do with the stability. This feature also agrees with the invariance of the homogenized system.
Here is the summary of our outcomes concerning the linear stability of equilibrium (40) for θ = 0 —that is, for the original system.
  • The neutral submanifold is the graph of function χ = χ n t ( γ , p , s , k 2 ) , where
    χ n t = μ ν p e s e + γ p e s e 2 + s e ν 2 + s e 2 ν p e s e k 2 .
    For a specific equilibrium and a specific wave number k, the normal mode is stable for χ < χ n t and becomes unstable otherwise.
  • The critical submanifold is the graph of function χ = χ c r = μ ν / p e s e . A specific equilibrium is stable provided that χ < χ c r and becomes unstable otherwise. This instability is always oscillatory and occurs to shorter waves; namely, for every χ > χ c r there exists k * > 0 such that every eigenmode is unstable (stable) provided that | k | > k * ( | k | < k * ).
  • The above conclusions mainly withstand allowing the prey diffusion, except for the shortwave instability; namely, the neutral submanifold is the graph of function
    χ = χ ˇ n t = δ 2 k 2 A + δ B + χ n t ,
    where χ n t is function (42) while factors A , B do not depend on the parameters that enter the right-hand side explicitly.
  • At that, the critical submanifold is the graph of function
    χ = χ ˇ c r = min k χ ˇ n t = δ ( ν 2 + 2 ν s e + γ p e s e + ν s e ν 2 + ν s e + γ p e s e ) + μ ν p e s e > χ c r .
Again, for every δ > 0 a specific equilibrium is stable provided that χ < χ ˘ c r and becomes unstable otherwise. This instability is always oscillatory and there exist real numbers k 1 > k 0 > 0 such that every eigenmode’s mode is unstable provided that its wavenumber obeys the inequality k 0 < | k | < k 1 . Interestingly, function χ ˘ c r is linear in μ and in δ too.
Let us pass to the homogenized system (37)–(39) and test the linear stability for χ = χ c r and θ equal to its maximal absolute value (35). It turns out that the equilibrium (40) is unstable while it is stable for θ = 0 in accordance with what we have been saying above. Hence, the wind can make the equilibria unstable. In more detail, let χ and θ be set as above. Then for every admissible setting of the other parameters there exist numbers k 2 > k 1 > 0 such that there are unstable normal modes for every wavelength k : | k | > k 2 and all the normal modes are stable for every k : | k | < k 1 . Figure 2 (the right frame) is to illustrate this conclusion. Note that generically there are three different eigenvalues λ for every k. Their expressions in the problem parameters are commonly called the eigenvalues branches. These branches remains smooth unless the eigenvalues collide, while their collisions lead to singularities. The right frame in Figure 2 shows the real part of the eigenvalue branch that turns positive when the squared wavenumber increases over some threshold. This threshold tends to zero rapidly upon increasing the diffusivity coefficient. Two more branch do not appear there since they always remain in the left complex semi-plane. It is worth mentioning that the increment, Re λ , tends to a limit for | k | (which depends on other parameters), while Im λ = | k | μ + O ( | k | 1 ) , | k | .

7. Numerical Results for the Homogenized System

Figure 3 shows typical patterns of the wind-induced pumping of a perturbation (upper row) or decaying it without the wind (lower row), cf. Figure 1. They both result from the numerical solutions of the Cauchy problems for system (37)–(39). Their settings are the same, except for the value of parameter θ , which is equal either to zero (lower row) or to its negative absolutely maximal value (upper row). It is the negative quantity given by formula (35) where c = μ . The initial conditions and the values of the other parameters are as follows
p | t = 0 = p e + 0.05 e x 2 4 , s | t = 0 = s e , q | t = 0 = q e = θ χ s e p e 2 / ν , s e = β / γ < α , p e = α s e > 0 ,
χ = χ c r = μ ν / ( p e s e ) , ν = 1 , μ = 1 / 2 , β = 0.4 α γ , α = 3 / 4 , γ = 2 / 3 .
From the numerical experiments, it follows that the behaviour of small finite perturbation qualitatively agrees with the linear theory of Section 6. Namely, the linear theory states the stability provided that θ = 0 while the other parameters take the values specified in (44), and we have observed the decay of the small finite perturbations. At the same time, we see amplifying them once the magnitude of θ has attained its maximal value with no changes in the other parameters. This observation also agrees with the linear theory, which predicts the onset of instability upon following such a path in the parametric space.
We emphasize the typicality of the outlined picture. We have tried not a few parameter combinations with stronger or weaker resistance, faster growth of prey ( α > 1 ), weaker prey diffusivity, a moderate overabundance of prey ( α = 0.6 β γ ), a greater predation efficiency ( γ > 1 ) and smaller values of parameter θ (e.g., produced by a single harmonic). Nevertheless, we have not observed any patterns of behaviour, linear or nonlinear, which differ qualitatively from those discussed above.
For numerical solving of the Cauchy problems for system (37)–(39) with data (43) and (44), we have eliminated the unknown q from Equations (37) and (38) and then have arrived at a system that consists of the reaction–diffusion Equation (39) and a nonlinear wave equation for the predator density, p. For completing the reduction, it is necessary to set up an ad hoc initial condition of form p t = a when t = 0 , where function a = a ( x ) is given. By Equation (37), a = F ( p , s ) q x , where F is the predators’ sources density, and functions p, q, s are specified by the initial condition set up for the first-order system (37)–(39). Given the initial data (43) and (44) and Equation (37), we set p t | t = 0 = 0 . This is not the case for the Cauchy problem of Section 3, where we have addressed in fact Equations (37) and (38) for θ = 0 and initial data (5). Given this, we arrive at p t + q x | t = 0 = 0 .
In fact, instead of the Cauchy problem, we had been solving an initial-boundary value problem with Neumann boundary conditions on a sufficiently wide spatial interval with the built-in solver of Maple. We set the interval of ( 25 , 25 ) for computing the results, which we have been discussing in this section, and ( 35 , 35 ) for those of Section 3.

8. Conclusions

We have studied a model for the predator–prey community that couples purely diffusive prey with a prey-sensitive predator. For the latter, we employ the Cattaneo model, which is a notable member of the hyperbolic models family. Motivated by the preliminary numerical results presented in Section 3, we have been seeking a mechanism for pumping the slow amplitude modulation of short-wave patterns. For this purpose, we have addressed the high-frequency limit of the model for vanishing prey diffusivity. It has turned out that there exists an asymptotic solution that represents a short-wave pattern with slowly varying amplitude, for which there is an explicit closed system of equations to obey. This homogenized system resembles the original model in many respects, except for the source-like term, which enters the flux equation. We have called it the acoustic wind.
The linear stability analysis has discovered that the wind always destabilizes the equilibria of the homogenized system and, hence, the corresponding quasi-equilibria short-wave patterns. In agreement with the linear theory, the numerical solutions to the homogenized system presented in Section 7 reveal the growth of the finite perturbations of the equilibria when the wind is on and their decay when it is off. Thus, we conclude that the acoustic wind is solely responsible for the excitement and growth of the amplitude modulation of the short-wave patterns.
Thus, we have found an intrinsic mechanism for destabilizing and ruining the short-wave patterns in the Cattaneo model. It stops working only for quite a narrow class of models that obey condition (28). It is worth emphasizing that Tytyunov et al. [4,7] had earlier proposed this condition using probabilistic reasoning for modelling copepods with special regard to their ability to form small-scale mosaics upon spreading. The mentioned articles invoked Patlak–Keller–Segel modelling with transport coefficients obeying condition (28). Given the results of the present article, the hyperbolic models under condition (28) are not less suitable for studying the formation of small-scale patterns in population dynamics, and it is a challenging topic for continuing investigations.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Data Availability Statement

Data sharing not applicable.

Acknowledgments

The author is grateful to Southern Federal University and SMI VSC RAS for supporting this research.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Dolak, Y.; Hillen, T. Cattaneo models for chemosensitive movement. J. Math. Biol. 2003, 46, 461–478. [Google Scholar] [CrossRef] [PubMed]
  2. Eftimie, R. Hyperbolic and Kinetic Models for Self-organised Biological Aggregations. In A Modelling and Pattern Formation Approach; Springer Nature: Cham, Switzerland, 2018; pp. 1–278. [Google Scholar]
  3. Morgulis, A.; Ilin, K. Indirect Taxis on a Fluctuating Environment. Mathematics 2020, 8, 2052. [Google Scholar] [CrossRef]
  4. Tyutyunov, Y.V.; Zagrebneva, A.D.; Surkov, F.A.; Azovsky, A.I. Microscale patchiness of the distribution of copepods (Harpacticoida) as a result of trophotaxis. Biophysics 2009, 54, 355–360. [Google Scholar] [CrossRef]
  5. Morgulis, A. Waves in a Hyperbolic Predator–Prey System. Axioms 2022, 11, 187. [Google Scholar] [CrossRef]
  6. Vladimirov, V.A.; Ilin, K. An asymptotic model in acoustics: Acoustic drift equations. J. Acoust. Soc. Am. 2013, 134, 3419–3424. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  7. Tyutyunov, Y.V.; Zagrebneva, A.D.; Surkov, F.A.; Azovsky, A.I. Derivation of density flux equation for intermittently migrating population. Oceanology 2010, 50, 67–76. [Google Scholar] [CrossRef]
  8. Menolascina, F.; Rusconi, R.; Fernandez, V.I.; Smriga, S.; Aminzare, Z.; Sontag, E.D.; Stocker, R. Logarithmic sensing in Bacillus subtilis aerotaxis. Syst. Biol. Appl. 2017, 3, 16036. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  9. Gantmacher, F.R. Theory of Matrices; Chelsea Publishing: New York, NY, USA, 1959; Volume 2, Chapter XV; pp. 142–250. [Google Scholar]
Figure 1. This figure shows the patterns produced by three versions of the initial data (5), see Table 1. Each frame shows instantaneous graphs of the deviation of the species densities from their equilibrium values. At that, blue (green) colour corresponds to the predator (prey) and the horizontal axis corresponds to the spatial coordinate, x. The upper (middle) row demonstrates the short-wave pattern produced by initial data (5) where ϵ = 0 ( ϵ 0 ). The bottom row displays the decaying pattern produced by initial data (5) for a = 0 . The snapshot timing, left to right, is t 0.0 ,   2.0 ,   3.9 ,   6.0 for the upper row, t 0.0 ,   2.0 ,   41 ,   5.38 for the middle row and t 0.0 ,   3.1 ,   6.9 ,   10.0 for the bottom row.
Figure 1. This figure shows the patterns produced by three versions of the initial data (5), see Table 1. Each frame shows instantaneous graphs of the deviation of the species densities from their equilibrium values. At that, blue (green) colour corresponds to the predator (prey) and the horizontal axis corresponds to the spatial coordinate, x. The upper (middle) row demonstrates the short-wave pattern produced by initial data (5) where ϵ = 0 ( ϵ 0 ). The bottom row displays the decaying pattern produced by initial data (5) for a = 0 . The snapshot timing, left to right, is t 0.0 ,   2.0 ,   3.9 ,   6.0 for the upper row, t 0.0 ,   2.0 ,   41 ,   5.38 for the middle row and t 0.0 ,   3.1 ,   6.9 ,   10.0 for the bottom row.
Mathematics 11 01265 g001
Figure 2. The typical neutral curves of μ versus squared wavenumber for five values of α = 0.5 ,   0.87 ,   1.12 ,   1.43 ,   1.8 ,   2.0 (left panel) and graphs of the increments of the eigenmodes ( Re λ ) vs. the squared wavenumbers for μ = 0.1 ,   0.18 ,   0.25 ,   1.25 ,   2.25 ,   3.0 and α = 3 / 4 (right). Each increase in the diffusivity coefficient increases the increment so that its graph moves upward and crosses the horizontal axis closer to zero. On the left panel, the area of stability is confined within the coordinate axes and the neutral curves. Each increase in α widens the stability areas so that the neutral curves moves right and upward. The values of other parameters are as follows: ν = 1 ,   γ = 2 / 3 ,   β = 0.4 γ α , χ = χ c r and θ is equal to its maximum.
Figure 2. The typical neutral curves of μ versus squared wavenumber for five values of α = 0.5 ,   0.87 ,   1.12 ,   1.43 ,   1.8 ,   2.0 (left panel) and graphs of the increments of the eigenmodes ( Re λ ) vs. the squared wavenumbers for μ = 0.1 ,   0.18 ,   0.25 ,   1.25 ,   2.25 ,   3.0 and α = 3 / 4 (right). Each increase in the diffusivity coefficient increases the increment so that its graph moves upward and crosses the horizontal axis closer to zero. On the left panel, the area of stability is confined within the coordinate axes and the neutral curves. Each increase in α widens the stability areas so that the neutral curves moves right and upward. The values of other parameters are as follows: ν = 1 ,   γ = 2 / 3 ,   β = 0.4 γ α , χ = χ c r and θ is equal to its maximum.
Mathematics 11 01265 g002
Figure 3. The typical pattern of the smooth localized perturbation with or without the wind, see Section 7 for specific settings. Each frame shows instantaneous graphs of the deviation of the species densities from their equilibrium values. At that, blue (green) colour corresponds to the predator (prey) and the horizontal axis corresponds to the spatial coordinate, x. The upper row displays growth and sharpening of the perturbation due to the wind-induced pumping. Parameter θ < 0 is maximal in the absolute value. The snapshot timing, left to right, is t 0.0 ,   3.4 ,   9.3 . The bottom row displays a decaying pattern with no wind so that θ = 0 . The snapshot timing, left to right, is t 0.0 ,   5.2 ,   10 .
Figure 3. The typical pattern of the smooth localized perturbation with or without the wind, see Section 7 for specific settings. Each frame shows instantaneous graphs of the deviation of the species densities from their equilibrium values. At that, blue (green) colour corresponds to the predator (prey) and the horizontal axis corresponds to the spatial coordinate, x. The upper row displays growth and sharpening of the perturbation due to the wind-induced pumping. Parameter θ < 0 is maximal in the absolute value. The snapshot timing, left to right, is t 0.0 ,   3.4 ,   9.3 . The bottom row displays a decaying pattern with no wind so that θ = 0 . The snapshot timing, left to right, is t 0.0 ,   5.2 ,   10 .
Mathematics 11 01265 g003
Table 1. This table states the correspondence between patterns shown in Figure 1 and concrete versions of the initial data (5).
Table 1. This table states the correspondence between patterns shown in Figure 1 and concrete versions of the initial data (5).
RowSettings of the Initial Data
Top N = 5 , n = 3 , ϵ = 0 , a = 1 / 2
Middle N = 5 , n = 3 , ϵ = 0.1 , a = 1 / 2
Bottom N = 5 , n = 3 , ϵ = 0.1 , a = 0
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Morgulis, A. Acoustic Wind in a Hyperbolic Predator—Prey System. Mathematics 2023, 11, 1265. https://doi.org/10.3390/math11051265

AMA Style

Morgulis A. Acoustic Wind in a Hyperbolic Predator—Prey System. Mathematics. 2023; 11(5):1265. https://doi.org/10.3390/math11051265

Chicago/Turabian Style

Morgulis, Andrey. 2023. "Acoustic Wind in a Hyperbolic Predator—Prey System" Mathematics 11, no. 5: 1265. https://doi.org/10.3390/math11051265

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop