[論文レビュー] 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)|Mar 15, 2019

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 に対して古典的解のグローバル存在および有界性を証明する。
• 補助的ODE不等式補題を用いた減衰推定および平均化の議論により、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 とは乖離する。