 Research
 Open access
 Published:
Short note on a solution with large amplitude for the limiting system arising from the competitiondiffusion system
Boundary Value Problems volume 2023, Article number: 87 (2023)
Abstract
This paper is concerned with positive solutions of the limiting system arising from the Shigesada–Kawasaki–Teramoto model with large interspecific competition rate. It has previously been suggested that the limiting system has positive solutions with large amplitude for a certain value of parameters. As a first step, the purpose of this paper is to discuss the precise spatial profile of such solutions by employing formal calculations by the singular perturbation technique.
1 Introduction
In 1979, Shigesada et al. [7] proposed the competitiondiffusion system with nonlinear diffusion effect to model the segregation of interacting species. The following is the stationary problem of their proposed system:
where the variables w and z mean the population density of two competing species, the parameters ε, d, θ, and γ are positive, the crossdiffusion coefficients α and β are nonnegative, the habitat Ω of two competing species is a bounded domain in \(\mathbb{R}^{\ell}\) with smooth boundary ∂Ω, the integer ℓ is the space dimension of Ω, the vector \(\nu = \nu (x)\) is the outward unit normal vector on \(x \in \partial \Omega \), the notation \(\partial _{\xi }f\) denotes the derivative of the function f with respect to ξ. We remark that the values θ and γθ correspond to the interspecific competition rate. Since \(w(x)\) and \(z(x)\) mean the population density, we restrict our discussion to the positive solution of problem (1), where we say that \((w, z)(x)\) is positive if \((w, z)(x)\) is in the positive quadrant for any x in the closure ClΩ of Ω. Since then, many mathematicians have researched the solution structure of positive solution for problem (1) to understand what kinds of phenomena occur by the crossdiffusion effect (for example, see Jüngel [3] and Yamada [8, 9] as surveys of mathematical study related to problem (1)).
Since the change of variables \(\mathbf{p} = (\psi _{p}, \psi _{q})(\mathbf{w})\) with \(\mathbf{w} = (w, z)\), \(\mathbf{p} = (p, q)\),
is a bijective map from the positive quadrant to itself, it turns out that there exists an inverse map \(\mathbf{w} = (\Psi _{w}, \Psi _{z})(\mathbf{p})\) of \(\mathbf{p} = (\psi _{u}, \psi _{v})(\mathbf{w})\) in the positive quadrant. After simple calculations, we obtain
for any p in the positive quadrant, and then we represent problem (1) as
which is a stationary problem of reactiondiffusion system with linear diffusion term, where
We remark that
hold true for any p in the positive quadrant.
In the previous paper [5], it was shown that problem (2) as \(\theta \to +\infty \) has two kinds of limiting systems. One limiting system is represented as
by applying the argument in Dancer et al. [2], where \(\Omega = \Omega _{} \cup \Omega _{+} \cup \Gamma \), Γ is the interface which separates two subregions
and \(\mu = \mu (x)\) is a unit vector normal to Γ. We note that the solution of limiting system (3) approximates the bounded solution of problem (1) for sufficiently large \(\theta > 0\). By employing the change of variables \(u = \gamma \theta p\) and \(v = \theta q\), and taking the limit as \(\theta \to +\infty \), we obtain the other limiting system
of problem (2). Since the positive constant solution of problem (1) in the positive quadrant is
the corresponding constant solution of problem (4) becomes
Hence, it turns out that the solution of limiting system (4) approximates the solution with small amplitude of problem (1) in a neighborhood of \(\mathbf{w} = \hat{\mathbf{w}}\) for sufficiently large \(\theta > 0\). We note that the solution structure of limiting system (3) has been already investigated (for example, see Dancer et al. [2]). However, although limiting system (4) is simple in a class of 2component reactiondiffusion systems, we have not yet understood enough solution structure of positive solution for limiting system (4).
As a first step to approach the solution structure of problem (4), we assume that the habitat Ω is the ball with center origin and radius π, and we restrict our discussion to the radially symmetric positive solution, that is, we study positive solutions of the problem
where \(\mathcal{L} u = r^{1  \ell} \partial _{r} [ r^{\ell  1} \partial _{r} u ]\). In the previous paper [5], it was suggested that problem (5) has a solution with very large amplitude for some \(\varepsilon > 0\). In this paper, to discuss precise spatial profile of such a solution of problem (5), we construct the solution for some \(\varepsilon > 0\). To do this, we employ formal calculations by the singular perturbation technique because the rigorous proof on the existence theorem of solution requires lengthy arguments (for example, see Ito [4]).
2 Preliminary
Let \((u, v)(r)\) be an arbitrary bounded positive solution of problem (5) for \(\varepsilon > 0\) and \(d > 0\). When \(u(r) > 1\) (respectively, \(v(r) > 1\)) is satisfied for any \(r \in [0, \pi ]\), we have
because of the boundary condition. This contradiction implies that the following holds true.
Lemma 1
Let \((u, v)(r)\) be an arbitrary bounded positive solution of problem (5) for \(\varepsilon > 0\) and \(d > 0\). Then there exist \(r_{u}\) and \(r_{v} \in [0, \pi ]\) such that \(u(r_{u}) \le 1\) and \(v(r_{v}) \le 1\) are satisfied.
Setting
we consider solutions of the problem
with \(\langle \partial _{r} [ D(u) ] \rangle (\tau ) = 0\) for each \(\tau \in (0, \pi )\) such that \(u(\tau ) = 0\) is satisfied, where
We denote by \(u^{+}(r)\) (respectively, \(u^{}(r)\)) the solution of the problem
with \(u(0) = 1\) (respectively, \(u(0) = 1\)) and \(\partial _{r} u(0) = 0\). The phase plane analysis leads to the following.
Lemma 2
With \(\sigma \in \{ , + \}\), there exist sequences \(\{ \xi _{k}^{\sigma }\}_{k = 0}^{\infty}\) and \(\{ \eta _{k}^{\sigma }\}_{k = 0}^{\infty}\) such that
for any \(k \in \mathbb{N}\), where \(\xi _{0}^{\sigma }= 0\) and \(\eta _{0}^{\sigma }= 0\).
For each \(k \in \mathbb{N}\) and \(\sigma \in \{ , + \}\), setting
we find out that \(\bar{u}_{k}^{}(r)\) and \(\bar{u}_{k}^{+}(r)\) are solutions of problem (6) for \(\varepsilon = \varepsilon _{k}^{}\) and \(\varepsilon = \varepsilon _{k}^{+}\), respectively, and that \(\mathbf{u}_{k}^{}(r)\) and \(\mathbf{u}_{k}^{+}(r)\) are quasipositive solutions of the problem
where \((0, \pi ) = I_{} \cup I_{0} \cup I_{+}\), \(I_{0}\) is the interface that separates two subintervals
and we say that \((u, v)(r)\) is quasipositive if \(u(r) \ge 0\), \(v(r) \ge 0\), and \((u, v)(r) \not \equiv \mathbf{0}\) are satisfied on \(r \in [0, \pi ]\). We remark that problem (7) is a linearized one for problem (5) around \((u, v) = \mathbf{0}\). Moreover, in the previous paper [5], it was suggested that positive solutions with large amplitude for problem (5) appear in a neighborhood of \(\varepsilon = \varepsilon _{1}^{}\) and \(\varepsilon = \varepsilon _{1}^{+}\).
3 Solutions with large amplitude
Setting
we represent problem (5) as follows:
We remark that for each \(k \in \mathbb{N}\), \(\mathbf{u}_{k}^{}(r)\) and \(\mathbf{u}_{k}^{+}(r)\) are quasipositive solutions of problem (8) with \(\varepsilon = \varepsilon _{k}^{}\) and \(\varepsilon = \varepsilon _{k}^{+}\), respectively, except for points \(\tau \in [0, \pi ]\) with \(u(\tau ) = v(\tau ) = 0\). We only discuss the construction of positive solution for problem (8) in a neighborhood of \(\varepsilon = \varepsilon _{1}^{+}\) by formal calculations employing the singular perturbation technique, because we can similarly discuss that in a neighborhood of \(\varepsilon = \varepsilon _{1}^{}\).
We set
Since our purpose of this paper is to seek classical solutions of problem (8), we may impose
on the condition at \(r = \tau \). In an analogous way to the argument in Ito [4], we introduce δ as an auxiliary parameter and assume the following estimate:
as \(\delta \to 0\), where each function is bounded and continuous. Setting
for each \(k \in \mathbb{N}\) and \(\gamma _{0} = v_{0, 1}^{+}\), we have
and
as \(\delta \to 0\) for any compact subset of \(\mathbb{R}\). The definition of \(u_{0}(r)\) and \(v_{0}(r)\) implies that
hold true. Substituting the above estimate (10) into problem (8), we have
as \(\delta \to 0\) for any compact subset of \(\mathbb{R}_{\pm}\), where \(\mathbb{R}_{} = (\infty, 0)\) and \(\mathbb{R}_{+} = (0, +\infty )\). Moreover, we see from condition (9) that
are satisfied.
3.1 Solution \((u_{1}, v_{1})(\xi )\)
In this subsection, we seek a bounded solution \((u_{1}, v_{1})(\xi )\) of the problem
with \((u_{1}, v_{1})(\pm \infty ) = \mathbf{0}\), where \(p_{1}\) and \(q_{1}\) are positive constants to be determined, and \(f(\pm \infty ) = \lim_{\xi \to \pm \infty} f(\xi )\). We set
From
it follows that \(w_{1}(\xi )\) is a \(C^{1}\)class bounded solution of the problem
Hence, we obtain \(\gamma _{1} = 0\) and \(u_{1}(\xi ) = d v_{1}(\xi )\) for any \(\xi \in \mathbb{R}\).
Lemma 3
(Lemma 4.2 in [1])
The problem
has a unique solution \(\mathcal{H}(t)\) such that the following holds true:

(1)
\(\mathcal{H}(t)\) is a strictly increasing convex function, and

(2)
\(\mathcal{H}(t) = O(e^{t})\) as \(t \to \infty \), \(\mathcal{H}(t)  t = O(e^{t})\) as \(t \to +\infty \), and \(\mathcal{H}(t) = t + \mathcal{H}(t)\) for any \(t \in \mathbb{R}\) are satisfied.
We note that problem (11) can be represented as
After simple calculations, it turns out that the bounded solution \((u_{1}, v_{1})(\xi )\) of problem (11) with \(u_{1}(\xi ) = d v_{1}(\xi )\) for any \(\xi \in \mathbb{R}\) can be represented as
where \(\alpha _{0} = ( \gamma _{0} / \varepsilon _{0} )^{1/3} > 0\). Hence, we take \(p_{1}\) and \(q_{1}\) as satisfying
Moreover, we can check
because of \(\partial _{t} \mathcal{H}(0) = 1/2\), that is, the difference between lefthand and righthand differential coefficients in problem (11) always holds true. Employing \(v_{1}(\pm \infty ) = 0\), we calculate the asymptotic expansion of \(v_{1}(\xi )\) as \(\vert \xi \vert \to +\infty \), and then we have
as \(\xi \to \pm \infty \), where \(\operatorname{Ai}(z)\) is the Airy function of the first kind, and \(C^{0}_{}\) and \(C^{0}_{+}\) are suitable positive constants.
3.2 Constant \(\varepsilon _{1}\)
In this subsection, setting \(w(\xi ) = u_{2}(\tau, \xi )\) and \(z(\xi ) = v_{2}(\tau, \xi )\), we seek a bounded solution \((w, z)(\xi )\) of the problem
with \((w, z)(\pm \infty ) = \mathbf{0}\), where \(p_{2}\) and \(q_{2}\) are suitable constants to be determined. From the condition at \(\xi = 0\), we remark that \(w(\xi )\) and \(z(\xi )\) are of \(C^{1}\)class in \(\xi \in \mathbb{R}\).
Since \(\hat{w}(\xi ) = w(\xi )  d z(\xi )\) is a \(C^{1}\)class solution of the problem
we have \(\hat{w}(\xi ) = 0\) for any \(\xi \in \mathbb{R}\), which implies \(p_{2} = d q_{2}\) and \(w(\xi ) = d z(\xi )\) for any \(\xi \in \mathbb{R}\). Hence, we find out that \(z(\xi )\) is a \(C^{1}\)class solution of the problem
where
and \(\hat{q}_{2}\) is a constant to be determined. By Lemma 3 and the expression of \(v_{1}(\xi )\), we have \(A(\xi ) > 0\) for any \(\xi \in \mathbb{R}\). Since \(v_{1}(\xi )\) is an even function in \(\xi \in \mathbb{R}\), it turns out that \(F_{}(\xi )\) (respectively, \(F_{+}(\xi )\)) is a bounded odd (respectively, even) function in \(\xi \in \mathbb{R}\).
Let \(\psi (\xi )\) be the solution of the problem
with \(\psi (0) = 1\) and \(\partial _{\xi }\psi (0) = 0\). Since \(v_{1}(\xi )\) and \(A(\xi )\) are even functions in \(\xi \in \mathbb{R}\) and \(A(\xi ) > 0\) holds true for any \(\xi \in \mathbb{R}\), we see that \(\psi (\xi )\) is positive and increasing in \(\xi \in \mathbb{R}_{+}\) and satisfies \(\psi (\xi ) = \psi (\xi )\) for any \(\xi \in \mathbb{R}\). From
in \(\xi \in \mathbb{R}_{+}\), it follows that
is a positive solution of problem (14) and satisfies
Moreover, it follows that \(\phi _{+}(\xi )\) defined by \(\phi _{+}(\xi ) = \phi _{}(\xi )\) for any \(\xi \in \mathbb{R}\) is a positive solution of problem (14) in \(\xi \in \mathbb{R}\), and that
holds true because of L’Hôpital’s rule. Summarizing the above argument, we see that \(\{ \phi _{}(\xi ), \phi _{+}(\xi ) \}\) is a fundamental set of solution for problem (14).
Employing \(v_{1}(\pm \infty ) = 0\), we calculate the asymptotic expansion of \(\phi _{}(\xi )\) and \(\phi _{+}(\xi )\) as \(\vert \xi \vert \to +\infty \), and then we have
where \(\operatorname{Bi}(t)\) is the Airy function of the second kind, and \(C^{}_{\pm}\) and \(C^{+}_{\pm}\) are suitable nonzero constants. Employing the asymptotic expansion of \(\operatorname{Ai}(t)\) and \(\operatorname{Bi}(t)\) as \(t \to +\infty \), we have
as \(t \to +\infty \), and then we obtain
as \(\xi \to \pm \infty \). From the above estimate and L’Hôpital’s rule, it follows that for any bounded function \(f(\xi )\) from \(\mathbb{R}\) to itself, the functions
from \(\mathbb{R}\) to itself are bounded and satisfy
Let \(f(\xi )\) be an arbitrary bounded function from \(\mathbb{R}\) to itself. After simple calculations, we see that the bounded solution \(W(\xi )\) of the problem
can be represented as
for any \(\xi \in \mathbb{R}\), where
We denote by \(\mathcal{K}^{1} f(\xi )\) the solution \(W(\xi )\) given in equation (15). Since
holds true because of \(\phi _{}(\xi ) = \phi _{+}(\xi )\) for any \(\xi \in \mathbb{R}\), we obtain \(W(\xi ) = W(\xi )\) (respectively, \(W(\xi ) =  W(\xi )\))for any \(\xi \in \mathbb{R}\) if \(f(\xi )\) is an even (respectively, odd) function in \(\xi \in \mathbb{R}\)
Let \(z(\xi )\) be a solution of problem (13) with \(z(\pm \infty ) = 0\) for \((\varepsilon _{1}, q_{2}, \hat{q}_{2}) \in \mathbb{R}^{3}\). Since \(A(\xi )\) is an even function in \(\xi \in \mathbb{R}\), it follows that
satisfy
Since \(F_{}(\xi )\) and \(F_{+}(\xi )\) are bounded in \(\xi \in \mathbb{R}\), we can represent the solution \(z(\xi )\) of problem (13) as
where
By integration by parts, we have
which implies that \(\hat{q}_{2}\) and \(\hat{Z}_{+}(0)\) are determined by the above equations. Hence, we see from \(q_{2} = \hat{Z}_{+}(0) \varepsilon _{1}\) that the positive solution of problem (12) is determined for any fixed \(\varepsilon _{1} \in \mathbb{R}\).
Lemma 4
Let \(\varepsilon _{1} \in \mathbb{R}\) be arbitrarily fixed, and let \((w, z)(\xi )\) be a solution of problem (12) with \((w, z)(\pm \infty ) = \mathbf{0}\). Then \(w(\xi ) = d z (\xi )\) holds true for any \(\xi \in \mathbb{R}\) and \(z(\xi )\) is represented as equation (16).
Because rigorous proofs are not given in the above arguments, the summary of this paper is written down as a conjecture.
Conjecture 1
If we take ω as \(\omega = \delta ^{3}\), then there exists \(\delta _{0} > 0\) such that there exist continuous functions \((u, v)(\cdot, \delta )\) and \(\varepsilon (\delta )\) defined on an interval \((0, \delta _{0})\) such that \((u, v)(r, \delta )\) is a positive solution of problem (8) with \(\varepsilon = \varepsilon (\delta )\) for each \(\delta \in (0, \delta _{0})\), and
are satisfied.
4 Conclusion and future works
Since we can study the rough solution structure and the fine solution structure of problem (1) through limiting systems (3) and (4), respectively, we might guess that these structures lead to the global solution structure for problem (1). In this paper, we formally constructed a family of solutions for problem (8) arising from limiting system (4). To do this, we employed the singular perturbation technique such as in Ito [4].
Recently in [6] it was shown that \(0 < \varepsilon _{1}^{} < \varepsilon _{1}^{+}\) holds true for any \(d > 1\). Furthermore, employing the argument as in Dancer et al. [2], it follows that limiting system (3) has no nontrivial solutions for any \(\varepsilon > \varepsilon _{1}^{+}\) and has quasipositive solutions for any \(0 < \varepsilon < \varepsilon _{1}^{+}\). Although we have not yet determined the value of \(\varepsilon _{1}\) in estimate (10), it is possible that we could determine its value by studying the higher order asymptotic expansion of the solution as \(\delta \searrow 0\). If the validity of \(\varepsilon (\delta ) > \varepsilon _{1}^{+}\) can be proved, then we obtain a positive solution of problem (1), which does not appear in limiting system (3), by employing limiting system (4).
Since problem (1) has nonlinear diffusion terms, only the linearized stability is not sufficient for the stability analysis of solution for the system of evolution equations whose stationary problem is represented as problem (1), so that the stability analysis is still open also for the solution corresponding to the positive solution of limiting systems (3) and (4). Since in this paper we have obtained the asymptotic expansion of positive solutions with large amplitude for limiting system (4), it may be possible to establish the stability of the solution by using the expansion of the solution constructed in this paper.
Since the existence of the solutions constructed in this paper seems to be proved in an analogous way to the argument in Ito [4], one of our future works is that we establish a rigorous proof.
Availability of data and materials
Not applicable.
References
Conti, M., Terracini, S., Verzini, G.: Asymptotic estimates for the spatial segregation of competitive systems. Adv. Math. 195, 524–560 (2005)
Dancer, E.N., Hilhorst, D., Mimura, M., Peletier, L.A.: Spatial segregation limit of a competitiondiffusion system. Eur. J. Appl. Math. 10, 97–115 (1999)
Jüngel, A.: Diffusive and nondiffusive population models. In: Naldi, G., Pareschi, L., Toscani, G. (eds.) Mathematical Modeling of Collective Behavior in SocioEconomic and Life Sciences, pp. 397–425. Birkhäuser, Boston, Boston (2010)
Ito, M.: Coexistenceequilibria for competitiondiffusion systems with a small diffusion rate. Jpn. J. Appl. Math. 1, 299–336 (1984)
Kanon, Y.: On the structure of positive solutions for the Shigesada–Kawasaki–Teramoto model with large interspecific competition rate. Int. J. Bifurc. Chaos Appl. Sci. Eng. 30, 2050001 (2020)
Kanon, Y.: Short note on the position of bifurcation points for the limiting system arising from the two competing species model. Discrete Contin. Dyn. Syst., Ser. B 28, 6233–6247 (2023)
Shigesada, N., Kawasaki, K., Teramoto, E.: Spatial segregation of interacting species. J. Theor. Biol. 79, 83–99 (1979)
Yamada, Y.: Positive solutions for Lotka–Volterra systems with crossdiffusion. In: Chipot, M. (ed.) Handbook of Differential Equations: Stationary Partial Differential Equations, vol. 4, pp. 411–501. Elsevier/North–Holland, Amsterdam (2008)
Yamada, Y.: Global solutions for the Shigesada–Kawasaki–Teramoto model with crossdiffusion. In: Du, Y., Ishii, H., Lin, W.Y. (eds.) Recent Progress on ReactionDiffusion Systems and Viscosity Solutions, pp. 282–299. World Sci. Publ., Hackensack (2009)
Acknowledgements
The author deeply thanks anonymous reviewers for their valuable comments to improve the article.
Funding
The work was partially supported by JSPS KAKENHI Grant Number 19K03621.
Author information
Authors and Affiliations
Contributions
The author read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that the author has no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kanon, Y. Short note on a solution with large amplitude for the limiting system arising from the competitiondiffusion system. Bound Value Probl 2023, 87 (2023). https://doi.org/10.1186/s13661023017756
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661023017756