[논문 리뷰] Attractors and global averaging of non-autonomous reaction-diffusion equations in R^n

Francesca Antoci, Martino Prizzi|ArXiv.org|2002. 05. 16.

Stability and Controllability of Differential Equations참고 문헌 11인용 수 19

한 줄 요약

이 논문은 ℝ^N에서 빠르게 진동하는 거의 주기적 계수를 가진 비자율 반응-확산 방정식의 해와 전역 체감자들이 ω → ∞일 때 평균화된 대응 방정식으로 수렴함을 확립한다. 과정의 균일 점근적 L²-콤팩트성과 H¹-콤팩트성을 증명하여 평균화에 따른 체감자의 상부 연속성을 보장하며, 가중치 공간을 사용하지 않고 비유계 영역으로 이전 결과를 확장한다.

ABSTRACT

We consider a family of non-autonomous reaction-diffusion equations with almost periodic, rapidly oscillating principal part and nonlinear interactions. As the frequency of the oscillations tends to infinity, we prove that the solutions of the non-autonomous equations converge to the solutions of the autonomous averaged equation. If the nonlinearity is dissipative, we prove existence of compact attractors and their upper-semicontinuity at infinity.

연구 동기 및 목표

• 유계 영역에서의 전역 평균화 및 체감자 수렴 결과를 비유계 영역 ℝ^N으로 확장한다.
• ℝ^N에서의 비콤팩트 소볼레프 임베딩 문제로 인해 전역 체감자의 존재성과 콤팩트성에 어려움이 발생하는 문제를 다룬다.
• ω→∞일 때 비자율 방정식이 생성하는 과정의 균일 점근적 L²-콤팩트성과 H¹-콤팩트성을 증명한다.
• 비자율 방정식 가족의 Σ-균일 체감자 𝒜_ω^Σ가 평균화된 방정식의 체감자 𝒜로 수렴하는 상부 연속성을 확립한다.
• 이리의 추상적 결과를 시간에 의존하는 빠르게 진동하는 주요 부분을 가진 ℝ^N에서의 반응-확산 방정식 설정으로 일반화한다.

제안 방법

• 가중치 소볼레프 공간에 의존하지 않고, Wang의 접근법을 사용하여 과정의 균일 점근적 L²-콤팩트성을 확립한다.
• L²-콤팩트성과 H¹에서의 균일 유계성에서 H¹-콤팩트성을 도출하기 위해 연속성 추론을 적용한다.
• 진동하는 확산 연산자를 생성하는 시간에 의존하는 선형 과정 V_ω(t,s)를 사용한 상수변화 공식을 활용한다.
• ω→∞일 때 선형 과정 V_ω(t,s)가 평균화된 확산 연산자에 의해 생성되는 셈그룹 e^{-Āt}로 수렴함을 증명한다.
• 비자율 과정에 대한 Σ-균일 체감자 개념을 사용하고, 체감자를 비교하기 위해 하우스도르프 거리 개념을 적용한다.
• 서브시퀀스와 칸토어 대각선 절차를 사용한 모순 추론을 통해 체감자의 극한점들이 평균화된 시스템의 체감자에 속함을 보인다.

실험 결과

연구 질문

• RQ1 ℝ^N에서 빠르게 진동하는 계수를 가진 비자율 반응-확산 방정식의 해가 ω→∞일 때 평균화된 방정식의 해로 수렴하는가?
• RQ2 비자율 방정식 가족의 전역 체감자가 H¹(ℝ^N) 노름에서 평균화된 방정식의 체감자로 상부 연속적으로 수렴하는가?
• RQ3 소볼레프 임베딩 H¹↪L²가 비콤팩트인 비유계 영역에서 비자율 과정의 점근적 콤팩트성을 어떻게 확립할 수 있는가?
• RQ4 체피조프와 비샤크의 비자율 체감자 추상 프레임워크를 가중치 공간 없이 비유계 영역에 어떻게 적용할 수 있는가?
• RQ5 평균화된 방정식의 체감자가 ω→∞일 때 진동하는 시스템의 장기 역학을 얼마나 잘 포괄하는가?

주요 결과

• 비자율 방정식 (E_ω)의 해는 ω→∞일 때 H¹(ℝ^N)에서 평균화된 방정식 (E_∞)의 해로 수렴한다.
• 방정식 (E_ω)가 생성하는 과정은 균일 점근적 L²-콤팩트성을 가지며, 각 ω에 대해 컴팩트 전역 체감자가 존재함을 보장한다.
• 연속성 추론을 통해 H¹-콤팩트성이 확립되어, f의 소산성 조건 하에서 (E_ω)의 전역 체감자가 존재함을 보장한다.
• 비자율 가족의 Σ-균일 체감자 𝒜_ω^Σ는 ω→∞일 때 H¹(ℝ^N)에서 하우스도르프 거리에 대해 평균화된 반세플로우의 체감자 𝒜로 수렴한다.
• 체감자의 상부 연속성이 성립한다: 모든 δ>0에 대해, ω̄>0가 존재하여 모든 ω≥ω̄에 대해 d_H¹(𝒜_ω^Σ,𝒜)<δ이다.
• 𝒜_ω^Σ의 임의의 점 수열의 극한이 H¹(ℝ^N)에서 𝒜의 점으로 수렴함을 확인하여, 평균화된 체감자가 진동 시스템의 장기 역학을 포괄함을 입증한다.