[논문 리뷰] Attractors for damped hyperbolic equations on arbitrary unbounded domains

Martino Prizzi, Krzysztof P. Rybakowski|ArXiv.org|2006. 01. 13.

Stability and Controllability of Differential Equations참고 문헌 18인용 수 4

한 줄 요약

이 논문은 경계나 계수의 미분 가능성 조건 없이도 임의의 유계가 아닌 영역에서 감쇠된 쌍곡형 방정식에 대해 전역 체감자 존재성을 확립한다. 가중 에너지 공간에서 尾 추정과 점근적 컴acts성 기법을 활용하여, 비선형성의 임계 또는 초임계 성장 조건과 잠재력 및 감쇠 항의 소산적 구조 조건 하에서 위상공간 $ H^1_0(\bar{\Omega}) \times L^2(\Omega) $ 내 전역 컴acts 전역 체감자를 존재함을 증명한다.

ABSTRACT

We prove existence of global attractors for damped hyperbolic equations of the form $$\aligned \eps u_{tt}+α(x) u_t+β(x)u- \sum_{ij}(a_{ij}(x) u_{x_j})_{x_i}&=f(x,u),\quad x\in Ω, t\in[0,\infty[, u(x,t)&=0,\quad x\in \partial Ω, t\in[,\infty[.\endaligned$$ on an unbounded domain $Ω$, without smoothness assumptions on $β(\cdot)$, $a_{ij}(\cdot)$, $f(\cdot,u)$ and $\partialΩ$, and $f(x,\cdot)$ having critical or subcritical growth.

연구 동기 및 목표

• 임의의 비유계 영역에서 경계나 계수의 부드러움 조건 없이 감쇠 쌍곡형 방정식에 대해 전역 체감자의 존재성을 확립한다.
• 기존 결과가 부드러운 기하구조와 계수에 국한되어 있는 유계 영역 이론을 넘어 비유계 영역으로 전역 체감자 이론을 확장한다.
• Sobolev 포함의 관점에서 임계 또는 초임계 성장 조건을 만족하는 비선형성, 즉 부드러운 의존성이 없는 비선형성도 다룰 수 있도록 한다.
• 비유계 영역에서 컴acts성 임베딩이 성립하지 않는 점을 고려하여 尾 추정과 가중 공간 내 에너지 감쇠 기법을 통해 반류의 점근적 컴acts성을 증명한다.
• 잠재력 $ \beta(x) $, 감쇠 $ \alpha(x) $, 비선형성 $ f(x,u) $ 에 대한 기존 결과를 일반화하고, 임계 성장 사례를 포함한 가정을 완화함으로써 통합하고 일반화한다.

제안 방법

• 상태 변수로 $ u $ 와 $ v = u_t $ 를 취하여 위상공간 $ Z = H^1_0(\Omega) \times L^2(\Omega) $ 에서 감쇠 파동 방정식을 일阶 시스템으로 재구성한다.
• 해의 성장 제어 및 소산성 도출을 위해 에너지와 잠재력 항을 포함하는 르아프노프 유형 함수 $ V^*(z) $ 를 사용한다.
• 특히 표준 컴acts성의 실패가 발생하는 비유계 영역에서 해의 공간적 감쇠를 추정하는 尾 추정을 적용하여 점근적 컴acts성을 증명한다.
• 초임계 비선형성의 경우, 尾 추정과 약수렴 논증을 통해 $ Z $ 에서 점근적 컴acts성을 직접 확립한다.
• 임계 비선형성의 경우, 우선 $ Y = L^2(\Omega) \times H^{-1}(\Omega) $ 에서 점근적 컴acts성을 증명한 후, Ball과 Raugel의 방법을 활용해 이를 $ Z $ 로 이전한다.
• 에너지 성장의 유계성과 균일 흡수성을 확보하기 위해 $ f(x,u)u - \bar{\mu}F(x,u) \leq c(x) $ 조건을 활용하며, $ c \in L^1(\Omega) $ 이다.

실험 결과

연구 질문

• RQ1 경계나 계수의 부드러움 조건 없이도 임의의 비유계 영역에서 감쇠 쌍곡형 방정식에 대해 전역 체감자가 존재할 수 있는가?
• RQ2 $ H^1_0(\Omega) \hookrightarrow L^2(\Omega) $ 임베딩이 컴acts가 아닌 비유계 영역에서 점근적 컴acts성은 어떻게 확립할 수 있는가?
• RQ3 임계 성장 조건을 포함한 비선형성 $ f(x,u) $ 에 대해 어떤 조건이 전역 체감자의 존재를 보장하는가?
• RQ4 비유계 영역에서 장기적 역학을 제어하기 위해 $ f(x,u)u - \bar{\mu}F(x,u) \leq c(x) $ 조건을 활용할 수 있는가, 여기서 $ c \in L^1(\Omega) $ 이다?
• RQ5 $ \beta(x) \in L^p_{\text{loc}}({\mathbb{R}}^N) $, $ p > \max(1, N/2) $ 이며 $ \beta \geq 0 $ 를 가정하지 않더라도 전역 체감자 이론을 확장할 수 있는가?

주요 결과

• 주어진 가정 하에 감쇠 쌍곡형 방정식이 생성하는 반류 $ \pi_f $ 는 $ Z = H^1_0(\Omega) \times L^2(\Omega) $ 에서 점근적 컴acts성임을 보장한다.
• 초임계 비선형성의 경우, 尾 추정과 약수렴 논증을 통해 직접적으로 $ Z $ 에서 점근적 컴acts성을 확립한다.
• 임계 비선형성의 경우, 우선 $ Y = L^2(\Omega) \times H^{-1}(\Omega) $ 에서 점근적 컴acts성을 증명한 후, Ball과 Raugel의 방법을 통해 이를 $ Z $ 로 이전한다.
• 전역 체감자가 $ Z $ 에서 존재하며, 이는 컴acts이며 $ Z $ 의 위상에서 모든 유계 집합을 끌어당린다.
• 체감자는 $ H^1_0(\Omega) \times L^2(\Omega) $ 내에서 유계이며, $ Z $ 의 모든 유계 초기 데이터 집합에 대해 일관되게 유지된다.
• 경계 $ \partial\Omega $ 가 불규칙하거나 $ \beta(x) $ 가 부드럽지 않거나 비선형성 $ f(x,u) $ 가 임계 또는 초임계 성장 조건을 만족하더라도 결과는 그대로 성립한다.