[논문 리뷰] Pulsating fronts for bistable on average reaction-diffusion equations in a time periodic environment

Benjamin Contri|arXiv (Cornell University)|2015. 07. 22.

Mathematical and Theoretical Epidemiology and Ecology Models참고 문헌 27인용 수 14

한 줄 요약

이 논문은 시간 주기적인 환경에서 평균적으로 이중안정성(nonlinearities)을 갖는 반응-확산 방정식에 대해 파울링 전면(pulsating fronts)의 존재성, 유일성, 단조성 및 안정성을 확립한다. 섭동 방법과 타원형 최대원리(parabolic maximum principles)를 사용하여, 작은 시간 주기 조건 또는 알려진 전면 해의 작은 변형 조건 하에서 이러한 전면이 존재함을 증명하며, 고전적인 이중안정 전면 이론을 비자기적이고 주기적으로 강제되는 시스템으로 확장한다.

ABSTRACT

This paper is devoted to reaction-diffusion equations with bistable nonlinearities depending periodically on time. These equations admit two linearly stable states. However, the reaction terms may not be bistable at every time. These may well be a periodic combination of standard bistable and monostable nonlinearities. We are interested in a particular class of solutions, namely pulsating fronts. We prove the existence of such solutions in the case of small time periods of the nonlinearity and in the case of small perturbations of a nonlinearity for which we know there exist pulsating fronts. We also study uniqueness, monotonicity and stability of pulsating fronts.

연구 동기 및 목표

• 비순환적이고 주기적으로 강제되는 시스템으로의 이중안정 이동 전면 이론을 확장하기 위해.
• 비자기적이고 주기적으로 강제되는 설정에서, 공간-시간 주기적 해로서 단조 전이 프로파일을 갖는 파울링 전면의 존재성을 확립하기 위해.
• 작은 시간 주기 또는 작은 변형 조건 하에서 이러한 파울링 전면의 유일성, 단조성 및 안정성 분석을 위해.
• 동질적인 이중안정 방정식에서의 고전적 결과를 시간 평균적으로만 이중안정성이 보장되는 경우로 일반화하기 위해.

제안 방법

• u=0 및 u=1에서의 시간 평균 도함수를 통해 '평균적으로 이중안정'이라는 개념을 수식화하기 위해.
• 시간 주기 T가 작거나, 비선형성이 알려진 전면 생성 비선형성의 작은 변형인 경우, 섭동 기법을 적용하여 파울링 전면을 구성하기 위해.
• 서브- 및 수퍼해를 사용하고, 소볼레프 공간과 허더 공간에서의 정규성 및 컴팩턴스 추론을 결합하기 위해.
• 강력한 최대원리와 타원형 하르낙 부등식을 적용하여 열악한 해를 배제하고 전면 프로파일의 엄격한 단조성을 확립하기 위해.
• 극한 프로파일을 분석하고 경계층 분석에서 모순를 이끌어내기 위해 비교 함수를 구성함으로써 해의 점근적 행동을 분석하기 위해.
• 전면 프로파일 주위의 선형화된 연산자의 스펙트럼 분석을 활용하여 안정성 및 유일성을 도출하기 위해.

실험 결과

연구 질문

• RQ1 비선형성이 평균적으로 이중안정성이지만 시간 주기적인 반응-확산 방정식에서 파울링 전면이 존재하는 조건은 무엇인가?
• RQ2 비선형성의 시간 주기 T에 따라 파울링 전면의 존재성과 성질은 어떻게 달라지는가?
• RQ3 파울링 전면는 이동에 대해 유일하게 결정될 수 있으며, 작은 변형 조건 하에서 엄격히 단조적이며 안정적인가?
• RQ4 비선형성이 시간에 따라 단일안정성과 이중안정성의 행동을 번갈아가며 변화할 경우 전면 프로파일은 어떻게 되는가?
• RQ5 동질적인 이중안정 방정식에서의 평면 전면 이론은 비자기적이고 시간 주기적인 설정으로 일반화될 수 있는가?

주요 결과

• 비선형성이 평균적으로 이중안정일 경우, 시간 주기적인 반응-확산 방정식에서 파울링 전면는 작은 시간 주기 조건 또는 알려진 전면 생성 비선형성의 작은 변형 조건 하에서 존재한다.
• 구성된 파울링 전면는 이동 기준에서 엄격히 감소하며, lim_{ξ→-∞} U(t,ξ) = 1 및 lim_{ξ→∞} U(t,ξ) = 0를 만족하며, t에 대해 균일하게 성립한다.
• 파울링 전면는 공간 이동에 대해 유일하며, 적절한 초기 조건 하에서 전역적으로 점근적으로 안정하다.
• 전면 속도 c*는 유일하게 결정되며 시간 주기적 비선형성에 대해 연속적으로 의존하며, 평균적으로 이중안정 조건 하에서 c* > 0이다.
• 강력한 최대원리를 통한 모순 증명에 기반하여, 극한 프로파일이 불안정 상태 w₀(t)와 정확히 일치할 수 없음을 보여, 전면가 1에서 0으로 연결됨을 강제한다.
• 도함수와 함수 자체의 비율이 유계임을 분석을 통해 보여, 하르낙 유형 추정과 스펙트럼 추론을 사용하여 모순를 이끌어내는 데 성공하였다.