[논문 리뷰] Spectral stability of monotone traveling fronts for reaction diffusion-degenerate Nagumo equations

Leyva, J. Francisco, R\'ios, Luis F. L\'opez외 1명|arXiv (Cornell University)|2019. 09. 16.

Nonlinear Dynamics and Pattern Formation인용 수 9

한 줄 요약

이 논문은 비선형 반응-확산 방정식에서 비가역적이고 밀도에 의존하는 확산, 이중 안정성(Nagumo형) 반응 동역학을 갖는 단조 증가하는 파면의 스펙트럼 안정성을 확립한다. u=0에서의 확산 비가역성으로 인한 스펙트럼 문제를 해결하기 위해 지수 가중 에너지 공간을 도입하고, 일반화된 연산자 수렴, 에너지 추정, 특이 수열 분석을 통해, 모든 이러한 파면이 복소수의 왼쪽 평면에서 스펙트럼 안정성을 확보한다.

ABSTRACT

This paper establishes the spectral stability of monotone traveling front solutions for reaction-diffusion equations where the reaction function is of Nagumo (or bistable) type and with diffusivities which are density dependent and degenerate at zero (one of the equilibrium points of the reaction). Spectral stability is understood as the property that the spectrum of the linearized operator around the wave, acting on an exponentially weighted space, is contained in the complex half plane with non-positive real part. Three different types of monotone waves are studied: (i) stationary diffusion-degenerate fronts, connecting the two stable equilibria of the reaction; (ii) traveling diffusion-degenerate fronts connecting zero with the unstable equilibrium; and, (iii) non-degenerate fronts. In the first two cases, the degeneracy is responsible of the loss of hyperbolicity of the asymptotic coefficient matrices of the spectral problem at one of the end points, precluding the application of standard techniques to locate the essential spectrum. This difficulty is overcome with a suitable partition of the spectrum, a generalized convergence of operators technique, the analysis of singular (or Weyl) sequences and the use of energy estimates. The monotonicity of the fronts, as well as detailed descriptions of the decay structure of eigenfunctions on a case by case basis, are key ingredients to show that all traveling fronts under consideration are spectrally stable in a suitably chosen exponentially weighted $L^2$ energy space.

연구 동기 및 목표

• 비가역적 확산과 이중 안정성 반응 동역학을 갖는 반응-확산 방정식에서 단조 증가 파면의 스펙트럼 안정성을 확립하기 위해.
• 제로 평형에서의 확산 비가역성으로 인한 스펙트럼 불안정성 문제를 다루기 위해, 이는 점 渐近 행렬의 쌍곡성 파괴를 초래한다.
• 비가역성 존재 시 기존 기법이 실패하는 상황에서 본질 스펙트럼과 점 스펙트럼을 위치화하는 프레임워크를 개발하기 위해.
• 임계 속도를 초월하는 모든 단조 파면이 지수 가중 L2 공간에서 스펙트럼 안정성을 갖는 것을 증명하기 위해.
• 인구 역학 및 다공성 매체와 관련된 비선형 비가역적 확산 방정식의 한 클래스에 대해 엄밀한 스펙트럼 안정성 분석을 제공하기 위해.

제안 방법

• 선형화 연산자를 안정화하기 위해 지수 가중 L2 공간을 사용하여 스펙트럼 문제를 변환하기 위해.
• 비가역성 있는 확산 계수를 다루기 위해 포물선 정규화의 일반화된 수렴을 적용하기 위해.
• 고유함수의 행동을 제어하기 위해 스펙트럼 방정식에서 에너지 추정을 활용하기 위해.
• 근사 스펙트럼을 위치하고 안정성을 증명하기 위해 특이(웨일) 수열을 분석하기 위해.
• 고유함수의 세밀한 감쇠 추정과 파면 프로파일의 단조성으로 스펙트럼 성분을 제어하기 위해.
• 스펙트럼의 분할과 연산자 가정의 검증을 통해 에너지 추정을 적용하고 복소수의 닫힌 왼쪽 평면 내 스펙트럼 포함성을 결론짓기 위해.

실험 결과

연구 질문

• RQ1 비가역적 확산과 이중 안정성 반응 항을 갖는 반응-확산 방정식에서 단조 증가 파면의 스펙트럼 안정성을 확립할 수 있는가?
• RQ2 u=0에서의 확산 계수의 비가역성이 선형화된 연산자의 스펙트럼 성질에 어떤 영향을 미치는가?
• RQ3 비가역성으로 인해 점 渐近 행렬의 쌍곡성이 상실될 경우, 본질 스펙트럼을 위치시키기 위해 어떤 기법을 사용할 수 있는가?
• RQ4 임계 속도를 초월하는 파면에 대해 선형화된 연산자의 점 스펙트럼이 닫힌 왼쪽 평면에 포함되는가?
• RQ5 에너지 추정과 일반화된 연산자 수렴 기법이 비가역적 설정에서 표준 스펙트럼 국소화 도구의 부족을 극복할 수 있는가?

주요 결과

• 속도 c > c(α)를 갖는 비가역 Nagumo 방정식의 모든 단조 증가 파면은 지수 가중 L2 공간에서 스펙트럼 안정성을 갖는다.
• 가중치 a가 0 < a1(α) < a < c/(2D(α)) < a2(α) 조건을 만족할 경우, 선형화된 연산자 L_a의 스펙트럼은 닫힌 왼쪽 평면에 포함된다. 즉, σ(La)|L2 ⊂{λ ∈C : Re λ ≤0}이다.
• 점 스펙트럼 σpt(La)|L2는 (−∞, 0]에 포함되며, λ=0은 고유함수 φ = e^{aϕ_x}와 관련된 고유값이다.
• 근사 스펙트럼 σπ(La)|L2 역시 닫힌 왼쪽 평면에 포함되며, 에너지 추정과 특이 수열의 수렴을 통해 증명된다.
• 본질 스펙트럼은 일반화된 연산자 수렴과 고유함수의 감쇠 분석의 조합을 통해 제어된다.
• 비가역성으로 인한 쌍곡성 상실 문제는 가중치 공간 내에서 스펙트럼의 분할 접근법과 에너지 추정을 통해 성공적으로 해결된다.