[논문 리뷰] Global attractors for multivalued semiflows with weak continuity properties

Piotr Kalita, Grzegorz Łukaszewicz|arXiv (Cornell University)|2013. 07. 12.

Stability and Controllability of Differential Equations참고 문헌 24인용 수 5

한 줄 요약

이 논문은 약한 연속성 성질을 갖는 다중값 반류에 대해 전역 체감자 존재성을 확립하며, 기존의 상부 점근성 요구 조건을 완화하는 새로운 조건(NW)을 도입한다. 약한 컴acts성과 강한-약한 상부 점근성의 증명을 통해, 반응-확산 문제에서 비단조화 다중값 경계 및 소스 항이 존재할 경우 힐버트 공간과 르베그 공간 모두에서 체감자 존재성을 보여준다.

ABSTRACT

A method is proposed to deal with some multivalued semiflows with weak continuity properties. An application to the reaction-diffusion problems with nonmonotone multivalued semilinear boundary condition and nonmonotone multivalued semilinear source term is presented.

연구 동기 및 목표

• 강한 상부 점근성 조건을 만족하지 못하는 다중값 반류 이론에 전역 체감자를 확장하기 위해 더 약한 연속성 조건을 도입한다.
• 다중값 항이 클라크의 부분미분을 통해 유도될 때 발생하는 미분 포함 방정식의 해의 유일성 부재 문제를 다룬다.
• 약한 연속성 및 컴acts성 조건을 완화한 상황에서도 $ H $ 및 $ L^p(\Omega) $ 공간에서 체감자 존재성을 확립한다.
• 기존의 강한-약한 연속성 및 $ \omega $-극한 컴acts성 결과를 다중값, 비엄격 반류 설정으로 일반화한다.
• 반응-확산 문제에 비단조화 다중값 비선형성을 갖는 반타원부등식에 적용 가능한 프레임워크를 제공한다.

제안 방법

• 조건(NW) 도입: 약한 컴acts성 값을 갖는 다중값 반류 $ G(t,x) $의 강한-약한 상부 점근성.
• 에너지 추정 및 사전 경계를 사용하여 $ H $ 및 $ L^p(\Omega) $ 공간에서 유계인 흡수 집합 존재성을 증명한다.
• 고주파 성분의 지수 감쇠 기반의 평탄화 조건을 통해 $ H $ 공간에서의 $ \omega $-극한 컴acts성 확립.
• 레마 3.15를 적용하여 $ H $에서의 $ \omega $-극한 컴acts성을 $ L^p(\Omega) $로 이행시키며, $ |v| \geq M $에 대한 균일 꼬리 추정을 사용한다.
• 코로나리 2.2 및 정리 2.4를 활용하여 (NW), 유계 흡수 집합, $ \omega $-극한 컴acts성으로부터 전역 체감자 존재성을 유도한다.
• 분할 적분 및 그론월라 유형 추정을 사용하여 $ (|v| - M)_+ $의 $ L^p $-노름을 제어함으로써 균일 꼬리 제어를 가능하게 한다.

실험 결과

연구 질문

• RQ1 강한 상부 점근성 조건을 만족하지 못하지만 더 약한 (NW) 조건을 만족하는 다중값 반류에 대해 전역 체감자가 존재함을 증명할 수 있는가?
• RQ2 비단조화 다중값 경계 및 소스 항을 갖는 반응-확산 문제에 대해 체감자 존재성을 어떻게 확립할 수 있는가?
• RQ3 강한-약한 연속성이 성립할 때 $ L^p(\Omega) $ 공간에서의 $ \omega $-극한 컴acts성은 어떤 조건에 의해 보장되는가?
• RQ4 등호 대신 포함 관계 $ G(t+s,x) \subset G(t,G(s,x)) $를 만족하는 비엄격 다중값 반류 설정으로 체감자 이론을 확장할 수 있는가?
• RQ5 미분 포함 방정식에서 클라크 부분미분의 구조가 (NW) 조건을 확인하는 데 얼마나 활용될 수 있는가?

주요 결과

• 다중값 반류 $ G: \mathbb{R}^+ \times H \to P(H) $ 는 (NW) 조건과 $ \omega $-극한 컴acts성에 의해 $ H $에서 전역 체감자를 갖는다.
• 반류 $ G: \mathbb{R}^+ \times L^p(\Omega) \to P(L^p(\Omega)) $ 는 레마 3.15를 통해 $ H $에서의 컴acts성을 이행함으로써 $ L^p(\Omega) $ 공간에서 전역 체감자를 갖는다.
• 모든 $ \varepsilon > 0 $ 에 대해 $ M = M(\varepsilon, R) $ 이 존재하여 $ \|(|v(t)| - M)_+\|_{L^p(\Omega)} \leq \varepsilon $ 이다. 이는 균일 꼬리 제어를 보장한다.
• 분해 $ v = v_1 + v_2 $ 에서 고주파 성분 $ v_2 $ 의 $ L^p $-노름은 지수 감쇠 및 에너지 추정을 통해 제어된다.
• 항 $ \|(|v| - M)_+\|_{L^{2p-2}(\Omega)}^{2p-2} $ 는 $ \frac{p}{d}\|F\|_H^2 \frac{e^{\lambda_{n+1}(t+2)}}{\lambda_{n+1}} + 2e^{\lambda_{n+1}(t+2)}\delta $ 로 유계이며, 이는 균일한 소형성을 가능하게 한다.
• 체감자 $ H $ 는 컴팩트하며 모든 유계 집합을 끌어당리며, 이 증명은 $ \omega $-극한 컴acts성과 (NW) 조건에 기반한다.