[논문 리뷰] Unstable patterns in autocatalytic reaction-diffusion-ODE systems

Anna Marciniak‐Czochra, Grzegorz Karch외 1명|arXiv (Cornell University)|2013. 01. 09.

Nonlinear Dynamics and Pattern Formation인용 수 4

한 줄 요약

이 논문은 한 성분이 확산되는 화학물질과 확산되지 않는 성분이 상호작용하는 반응-확산-ODE 시스템에서 패턴 형성 현상을 연구한다. 이는 자정화 작용이 존재할 경우 확산에 의한 불안정성(Turing 불안정성)이 발생할 수 있음을 증명하지만, 이는 모든 공간적으로 비균일한 정상해를 불안정하게 만들며, 안정적인 Turing 패턴의 존재를 배제한다. 불안정성은 선형화된 연산자의 연속 스펙트럼에 기인하며, 특정 비선형성에 대해서는 불연속적인 패턴으로도 이 결과가 확장된다.

ABSTRACT

The aim of this paper is to contribute to the understanding of the pattern formation phenomenon in reaction-diffusion equations coupled with ordinary differential equations. Such systems of equations arise, for example, from modeling of interactions between cellular processes such as cell growth, differentiation or transformation and diffusing signaling factors. We focus on stability analysis of solutions of a prototype model consisting of a single reaction-diffusion equation coupled to an ordinary differential equation. We show that such systems are very different from classical reaction-diffusion models. They exhibit diffusion-driven instability (Turing instability) under a condition of autocatalysis of non-diffusing component. However, the same mechanism which destabilizes constant solutions of such models, destabilizes also all continuous spatially heterogeneous stationary solutions, and consequently, there exist no stable Turing patterns in such reaction-diffusion-ODE systems. We provide a rigorous result on the nonlinear instability, which involves the analysis of a continuous spectrum of a linear operator induced by the lack of diffusion in the destabilizing equation. These results are extended to discontinuous patterns for a class of nonlinearities.

연구 동기 및 목표

• 세포 과정을 포함한 생물학적 맥락에서 반응-확산 시스템과 상미분 방정식이 결합된 경우의 패턴 형성 원리를 이해하기 위해.
• 프로토타입 반응-확산-ODE 모델에서 일정값과 공간적으로 비균일한 정상해의 안정성을 분석하기 위해.
• 한 성분이 확산되지 않는 시스템에서 안정적인 Turing 패턴이 나타날 수 있는지 확인하기 위해.
• 자정화 작용이 확산되지 않는 성분에서 불안정성을 유도하는 역할을 분석하기 위해.
• 일부 비선형성에 대해 불연속적인 정상해로의 불안정성 분석을 확장하기 위해.

제안 방법

• 한 개의 반응-확산 방정식과 한 개의 상미분 방정식을 포함하는 프로토타입 모델을 수립하기 위해.
• 일정해의 안정성을 연구하기 위해 선형 안정성 분석을 적용하고, 확산에 의한 불안정성 발생 조건을 규명하기 위해.
• 선형화된 연산자의 스펙트럼을 분석하며, 특히 ODE 성분의 확산 부재로 인해 발생하는 연속 스펙트럼을 중점적으로 다루기 위해.
• 선형화된 연산자의 스펙트럼 분석을 통해 일정해 및 연속적인 공간적 비균일 정상해의 비선형 불안정성을 증명하기 위해.
• 일부 비선형성에 대해 불연속적인 정상해로의 불안정성 결과를 분석을 통해 확장하기 위해.
• 비확산 성분에 의해 유도되는 연속 스펙트럼을 다루기 위해 기능적 해석 기법을 사용하기 위해.

실험 결과

연구 질문

• RQ1 비확산 성분이 존재하는 반응-확산-ODE 시스템에서 확산에 의한 불안정성(Turing 불안정성)이 발생할 수 있는가?
• RQ2 확산에 의한 불안정성이 존재하는 바에도 불구하고, 이러한 시스템에서 안정적인 Turing 패턴이 존재하는가?
• RQ3 한 성분의 확산 부재가 공간적으로 비균일한 정상해의 안정성에 어떤 영향을 미치는가?
• RQ4 자정화 작용이 일정해와 비균일해를 모두 불안정하게 만드는 데 어떤 역할을 하는가?
• RQ5 일부 비선형성에 대해 불안정성 결과를 불연속적인 정상해 패턴으로 확장할 수 있는가?

주요 결과

• 비확산 성분이 자정화 작용을 할 경우, 반응-확산-ODE 시스템에서 확산에 의한 불안정성이 발생할 수 있다.
• 일정해를 불안정하게 만드는 동일한 메커니즘이 연속적인 공간적 비균일 정상해를 모두 불안정하게 만들며, 이는 안정적인 Turing 패턴이 존재하지 않음을 의미한다.
• 결과적으로, 비균일 상태가 일반적으로 불안정해지므로 이러한 시스템에서는 안정적인 Turing 패턴이 존재할 수 없다.
• 불안정성은 ODE 성분의 확산 부재로 인해 발생하는 선형화된 연산자의 연속 스펙트럼에 의해 유도된다.
• 비선형 불안정성 결과는 선형화된 연산자의 스펙트럼 분석을 통해 엄밀하게 확립된다.
• 일부 비선형성에 대해 불연속적인 정상해로의 불안정성 결과가 확장되며, 이는 패턴 안정성의 광범위한 실패를 시사한다.