[논문 리뷰] On the Global Behavior of Solutions to a Planar System of Difference Equations

Sukanya Basu, Orlando Merino|ArXiv.org|2008. 12. 17.

Mathematical and Theoretical Epidemiology and Ecology Models참고 문헌 10인용 수 11

한 줄 요약

이 논문은 이민이 있는 경쟁적 생물 상호작용을 모델링하는 평면 상의 유리형 차분 방정식 시스템의 전역 역학을 분석한다. 각 종의 성장은 종내 및 종간 경쟁에 의해 조절된다. 임계 곡선 분석과 국소 안정성 기준을 사용하여, 평형점의 수—1개, 2개, 또는 3개—가 전역적 행동을 유일하게 결정함을 입증한다. 평형점이 하나일 경우 전역 점근적 안정성을 보이며, 세 개의 평형점은 두 개의 국소 안착점과 하나의 안장점으로 구성되며, 남동 부분순서에 따라 정렬된다.

ABSTRACT

We establish the relation between local stability of equilibria and slopes of critical curves for a specific class of difference equations. We then use this result to give global behavior results for nonnegative solutions of the system of difference equations \begin{equation*} % ag{LGIN} \begin{array}{rcl} x_{n+1} & = & \displaystyle \frac{b_1 x_n}{1+x_n+c_1 y_{n}} +h_1 y_{n+1} & = & \displaystyle \frac{b_2 y_n}{1+y_n+c_2 x_{n}} +h_2 \end{array} \quad n=0,1,..., \quad (x_0,y_0) \in [0,\infty) imes [0,\infty) \end{equation*} with positive parameters. In particular, we show that the system has between one and three equilibria, and that the number of equilibria determines global behavior as follows: if there is only one equilibrium, then it is globally asymptotically stable. If there are two equilibria, then one is a local attractor and the other one is nonhyperbolic. If there are three equilibria, then they are linearly ordered in the south-east ordering of the plane, and consist of a local attractor, a saddle point, and another local attractor. Finally, we give sufficient conditions for having a unique equilibrium.

연구 동기 및 목표

• 평면 차분 방정식에서 평형점의 국소 안정성과 임계 곡선의 기울기 간의 기하학적 기준을 설정하는 것.
• 이민 항목(h₁, h₂ > 0)을 포함한 수정된 Leslie-Gower 모델의 전역 역학을 분석하는 것.
• 비음성 초기 조건에 대한 전역 점근적 행동가 평형점의 수(1개, 2개, 또는 3개)가 어떻게 결정되는지 밝혀내는 것.
• 시스템에 유일한 평형점이 존재하는 데 충분한 조건을 제공하는 것.

제안 방법

• 임계 곡선의 기하학적 분석과 양성자행렬의 부호 구성에 기반해 평형점의 국소 안정성 조건을 유도한다.
• 변수 스케일링을 통해 원래 시스템을 정규화된 형태(LGIN)로 변환하여 분석을 단순화한다.
• 베주 정리와 4차 및 3차 방정식의 근 분석을 적용하여 평형점의 수와 정부호 구조를 결정한다.
• 남동 부분순서(≤se)를 사용하여 양의 제1사분면에서 평형점의 순서와 안정성을 분석한다.
• 변수 치환(x = X + h₁, y = Y + h₂)을 통해 변환된 좌표계에서 평형점 집합을 연구한다.
• 유도된 다항방정식의 근의 정부호 구조를 분석하여 불가능한 평형점 구성 조합을 제거한다.

실험 결과

연구 질문

• RQ1 시스템의 평형점 수가 해의 전역 안정성과 안착성에 어떻게 영향을 미치는가?
• RQ2 어떤 기하학적 또는 대수적 조건이 평형점이 국소 안정, 비초월성, 또는 안장점인지 결정하는가?
• RQ3 시스템이 하나 이상의 전역 안착 평형점을 가질 수 있는가? 만약 가능하다면 어떤 매개변수 조건에서 그러한 경우가 발생하는가?
• RQ4 어떤 조건에서 시스템이 유일한 평형점을 가지며, 그 평형점은 전역 점근적으로 안정적인가?
• RQ5 이민 항목(h₁, h₂)과 경쟁 계수(c₁, c₂)는 평형점의 수와 안정성에 어떻게 영향을 미치는가?

주요 결과

• 시스템에 평형점이 하나뿐일 경우, 모든 음이 아닌 초기 조건에 대해 전역 점근적으로 안정하다.
• 두 개의 평형점이 존재할 경우, 하나는 국소 안착점이고 다른 하나는 비초월성이며, 안정다양체가 존재하지 않는다.
• 세 개의 평형점이 존재할 경우, 그들은 남동 부분순서에 따라 선형적으로 정렬되며, 두 개의 국소 안착점과 하나의 안장점으로 구성된다.
• 시스템은 최대 세 개의 평형점을 가질 수 있으며, 그들의 정부호 구조는 베주 정리와 근의 곱 분석에 의해 제약을 받는다.
• c₁c₂ > 1이거나, c₁c₂ ≤ 1이면서 변환된 시스템에서 특정 3차 또는 4차 방정식이 정확히 하나의 양의 근을 가지는 경우에 유일한 평형점이 존재한다.
• 유일한 평형점이 존재하는 데 충분한 조건은 다음과 같다: c₁c₂ > 1 이거나, c₁c₂ ≤ 1 이며 유도된 다항방정식의 근 곱에서 특정 부호 구성이 성립하는 경우이다.