[논문 리뷰] On the global existence and qualitative behavior of one-dimensional solutions to a model for urban crime

Nancy Rodríguez, Michael Winkler|arXiv (Cornell University)|2019. 03. 15.

Mathematical and Theoretical Epidemiology and Ecology Models인용 수 9

한 줄 요약

이 논문은 도시 범죄 동역학을 위한 1차원 교차확산 PDE 모델에 대한 고전적 해의 전역 존재성과 장기적 행동을 확립한다. 범죄자는 높은 매력도를 가진 지역으로 끌린다. χ > 0일 때, 양의 평균 소스 항 조건 하에서 해는 전역적으로 유계이며, 범죄 소스에 대한 감쇠 조건 하에서 u는 0으로 감쇠하고 v는 정상 상태 프로파일로 수렴한다. 명시적 유계 조건은 χ < √(6√3 + 9)/2 ≈ 2.17까지 유효하며, 물리적으로 관련 있는 χ = 2의 경우를 포함한다.

ABSTRACT

We consider the no-flux initial-boundary value problem for the cross-diffusive evolution system \begin{eqnarray*} \left\{ \begin{array}{ll} u_t = u_{xx} - χ\big(\frac{u}{v} \partial_x u \big)_x - uv +B_1(x,t), \qquad &amp; x\in Ω, \ t&gt;0, \\[1mm] v_t = v_{xx} +uv - v + B_2(x,t), \qquad &amp; x\in Ω, \ t&gt;0, \end{array} ight. \end{eqnarray*} which was introduced by Short et al. in [Short2008] with $χ=2$ to describe the dynamics of urban crime In bounded intervals $Ω\subset\mathbb{R}$ and with prescribed suitably regular nonnegative functions $B_1$ and $B_2$, we first prove the existence of global classical solutions for any choice of $χ&gt;0$ and all reasonably regular nonnegative initial data. We next address the issue of determining the qualitative behavior of solutions under appropriate assumptions on the asymptotic properties of $B_1$ and $B_2$. Indeed, for arbitrary $χ&gt;0$ we obtain boundedness of the solutions given strict positivity of the average of $B_2$ over the domain; moreover, it is seen that imposing a mild decay assumption on $B_1$ implies that $u$ must decay to zero in the long-term limit. Our final result, valid for all $χ\in\left(0,\frac{\sqrt{6\sqrt{3}+9}}{2} ight),$ which contains the relevant value $χ=2$, states that under the above decay assumption on $B_1$, if furthermore $B_2$ appropriately stabilizes to a nontrivial function $B_{2,\infty}$, then $(u,v)$ approaches the limit $(0,v_\infty)$, where $v_\infty$ denotes the solution of \begin{eqnarray*} \left\{ \begin{array}{l} -\partial_{xx}v_\infty + v_\infty = B_{2,\infty}, \qquad x\in Ω, \\[1mm] \partial_x v_{\infty}=0, \qquad x\in\partialΩ. \end{array} ight. \end{eqnarray*}

연구 동기 및 목표

• 임의의 χ > 0에 대해 도시 범죄 동역학을 모델링하는 1차원 교차확산 시스템에 대한 고전적 해의 전역 존재성을 확립하는 것.
• 소스 항 B₁과 B₂에 대한 점점 감쇠하는 조건 하에서 해의 장기적 행동을 분석하는 것.
• 범죄 밀도 u가 0으로 감쇠하고, 매력도 v가 정상 상태 프로파일로 수렴하는 조건을 규명하는 것.
• 큰 χ 값이 짧은 시간 내 해의 성장에 미치는 영향을 탐색하는 수치 시뮬레이션을 통해 이론적 결과를 검증하는 것.

제안 방법

• 범죄 밀도 u에 대한 교차확산 PDE와 매력도 v에 대한 반응-확산 PDE를 연결하는 시스템에 대해, 무속도 초기경계값 문제를 분석한다.
• 에너지 추정과 최대원리 기법을 활용하여 임의의 χ > 0에 대해 고전적 해의 전역 존재성과 유계성을 증명한다.
• 보조 ODI 보조정리들을 통한 감쇠 추정과 평균화 기법을 사용하여 B₁과 B₂에 대한 감쇠 및 양성 조건 하에서 장기 행동을 분석한다.
• Arzelà-Ascoli 정리를 적용하여 v가 정상 상태 해 v∞로의 전구성 및 균일 수렴성을 확보한다.
• B₁과 B₂의 감쇠 및 안정화 조건 하에서 (u,v) → (0, v∞)로 수렴하는 조건을 만족하는 χ에 대한 명시적 유계 조건(최대 √(6√3 + 9)/2 ≈ 2.17)을 유도한다.
• MATLAB의 pdepe를 사용한 수치 시뮬레이션을 수행하여 큰 χ에 대한 u의 잠시 동안의 성장 현상을 탐색하고, 최종적으로 정상 상태로 수렴하는 것을 보여준다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 임의의 χ > 0에 대해 시스템이 전역 고전적 해를 갖는가?
• RQ2 소스 항 B₁이 시간이 지남에 따라 감쇠할 경우, 범죄 밀도 u의 장기적 행동은 어떠한가?
• RQ3 B₂가 비자명한 극한으로 수렴할 경우, 매력도 장 v는 정상 상태 프로파일로 수렴하는가?
• RQ4 분석에서 유도된 이론적 유계를 초과하는 χ일 경우, 특히 짧은 시간 내 해의 역학은 어떻게 변화하는가?
• RQ5 수치 시뮬레이션을 통해 큰 χ에 대해 u에서 일시적인 성장 현상이 나타나는가, 즉 장기적 행동이 안정하더라도 그렇다.

주요 결과

• 모든 χ > 0과 충분히 정칙한 음이 아닌 초기 데이터 및 소스 항 B₁, B₂에 대해 전역 고전적 해가 존재한다.
• 영역에서 B₂의 평균이 엄격히 양수일 경우 해는 유계로 유지된다.
• B₁이 충분히 빠르게 감쇠하면, t → ∞일 때 범죄 밀도 u는 0으로 감쇠한다.
• χ < √(6√3 + 9)/2 ≈ 2.17일 경우, 이는 χ = 2를 포함하며, (u,v) → (0, v∞)로 수렴한다. 여기서 v∞는 정상 상태 타원형 문제의 해이다.
• 수치 시뮬레이션 결과, 큰 χ일 경우 u의 L∞ 노름이 짧은 시간 스케일에서 급격히 증가한 후 결국 정상 상태로 수렴하는 것으로 나타났다.
• 큰 χ에 대해 정상 상태 해는 비정상적이고 뾰족한 형태(원점에서 최고점)를 띠며, 균일 정상 상태 u ≡ 1/2, v ≡ 2와는 다릅니다.