[논문 리뷰] Continuity of attractors for a nonlinear parabolic problem with terms concentrating in the boundary

Gleiciane S. Aragão, Antônio Luíz Pereira외 1명|arXiv (Cornell University)|2012. 03. 31.

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

한 줄 요약

이 논문은 두께 매개수 $\epsilon \to 0$일 때 반응항과 포텐셜 항이 얇고 진동하는 경계층에 집중되는 비선형 포물형 PDE의 해의 점근적 행동을 조사한다. 특이 섭동 기법과 스펙트럼 분석을 사용하여 $H^1(\Omega)$에서 전역 초집합의 상하 연속성을 확립하며, 모든 평형점이 하이퍼볼릭일 경우 특이 문제의 초집합이 한계 문제의 초집합으로 수렴함을 증명한다.

ABSTRACT

We analyze the dynamics of the flow generated by a nonlinear parabolic problem when some reaction and potential terms are concentrated in a neighborhood of the boundary. We assume that this neighborhood shrinks to the boundary as a parameter εgoes to zero. Also, we suppose that the "inner boundary" of this neighborhood presents a highly oscillatory behavior. Our main goal here is to show the continuity of the family of attractors with respect to ε. Indeed, we prove upper semicontinuity under the usual properties of regularity and dissipativeness and, assuming hyperbolicity of the equilibria, we also show the lower semicontinuity of the attractors at ε=0.

연구 동기 및 목표

• 반응항과 포텐셜 항이 경계 근처에서 수축하는 진동하는 이웃 영역에 집중되는 비선형 포물형 문제의 역학을 분석하기 위해.
• 집중 매개수 $\epsilon \to 0$일 때 해의 점근적 행동을 조사하기 위해.
• 매개수 $\epsilon$로 매개화된 문제의 가중 가족에 대응하는 전역 초집합의 연속성을 확립하기 위해.
• 한계 문제의 형태가 $\partial\Omega$에서 유량 항과 포텐셜을 포함하는 비선형 경계 조건을 가진 포물형 PDE임을 보여주기 위해.
• 모든 평형점이 하이퍼볼릭일 조건 하에서 $\epsilon = 0$에서 초집합의 하부 연속성을 증명하기 위해.

제안 방법

• 반응항과 포텐셜 항의 집중을 경계 근처의 얇고 진동하는 $\epsilon$-스트립 $\omega_\epsilon$ 위에서 특성 함수 $\mathcal{X}_{\omega_\epsilon}$를 통해 모델링하기 위해.
• 주기적 전개 방법과 약한 수렴을 사용하여 집중된 항의 극한을 규명하며, $\epsilon \to 0$일 때 $\frac{1}{\epsilon}\int_{\omega_\epsilon} V_\epsilon \varphi \to \int_{\partial\Omega} V_0 \varphi$임을 보여주기 위해.
• 해와 그 도함수에 대한 $H^1(\Omega)$에서의 균일한 유계성 확보를 통해 반사성과 반도체 성질을 보장하는 반군의 정규성 확보하기 위해.
• 점근적 컴actness와 반군 $T^\epsilon(t)$가 강한 연산자 위상에서 $T^0(t)$로 수렴함을 이용하여 초집합의 상부 연속성을 증명하기 위해.
• 스펙트럼 수렴 결과를 적용하여 선형화된 연산자 $L_\epsilon(u^*)$가 $\epsilon \to 0$일 때 노름 수렴함을 보여주며, 하이퍼볼릭성의 유지 보장하기 위해.
• 평형점 주변에서 불안정 다변량의 연속성(보조정리 5.2)과 기울기 시스템의 구조를 활용하여 초집합의 하부 연속성(정리 5.3)을 유도하기 위해.

실험 결과

연구 질문

• RQ1 경계에 집중된 항을 가진 특이 포물형 문제의 전역 초집합이 $\epsilon \to 0$일 때 비선형 경계 조건을 가진 한계 문제의 초집합으로 수렴하는가?
• RQ2 $\epsilon = 0$에서 초집합의 가족 $\{\mathscr{A}_\epsilon\}$이 상부 연속성이 성립하는 조건은 무엇인가?
• RQ3 한계 문제의 모든 평형점이 하이퍼볼릭일 경우 초집합의 하부 연속성을 확립할 수 있는가?
• RQ4 집중 영역 $\omega_\epsilon$의 진동 행동이 시스템의 장기적 역학에 어떤 영향을 미치는가?
• RQ5 평형점에서 선형화된 연산자의 스펙트럼 성질과 초집합의 연속성 사이의 관계는 무엇인가?

주요 결과

• 표준적인 정규성 및 반사성 가정 하에서, $\epsilon \in [0,\epsilon_0]$에서의 전역 초집합 가족 $\{\mathscr{A}_\epsilon\}_{\epsilon \in [0,\epsilon_0]}$은 $H^1(\Omega)$에서 $\epsilon = 0$에서 상부 연속성을 가진다.
• 추가로 한계 문제($\epsilon = 0$)의 모든 평형점이 하이퍼볼릭일 경우, $H^1(\Omega)$에서 초집합의 가족은 $\epsilon = 0$에서 하부 연속성도 가진다.
• 한계 문제의 형태는 비선형 경계 조건을 가진 포물형 PDE이다: $\frac{\partial u_0}{\partial N} + V_0 u_0 = \mu f(u_0)$ on $\partial\Omega$, 여기서 $\mu$는 주기 동안 진동 함수 $g_\epsilon$의 평균이다.
• $T^\epsilon(t)$ 반군의 수렴은 $H^1(\Omega)$에서 유계 집합 $\mathbb{R}^+ \times H^1(\Omega)$ 위에서 균일하게 연속적이며, 이는 초집합 연속성의 지원 조건이 된다.
• $\epsilon \to 0$일 때 선형화된 연산자 $L_\epsilon(u^*)$는 연산자 노름 수렴으로 $L_0(u^*)$로 수렴하며, 이는 하이퍼볼릭 평형점이 편미분에 의해 유지됨을 보장한다.
• 평형점 $u^*_{\epsilon,i}$의 국소 불안정 다변량은 $\epsilon \to 0$일 때 $u^*_{0,i}$의 불안정 다변량으로 수렴하며, 이는 초집합의 하부 연속성을 증명하는 데 핵심 요소이다.