[논문 리뷰] Existence and Upper Semicontinuity of Attractors for Stochastic Equations with Deterministic Non-autonomous Terms

Bixiang Wang|arXiv (Cornell University)|2012. 05. 21.

Stability and Controllability of Differential Equations참고 문헌 25인용 수 7

한 줄 요약

이 논문은 무한도메인에서 다변수 소음과 시간에 의존하는 결정론적 외력이 작용하는 스토크라스틱 반응-확산 방정식에 대해 온난한 무작위 구조물의 존재성과 상부 반연속성을 확립한다. 균일한 꼬리 추정과 이중 매개변수 무작위 동역학 시스템 프레임워크를 사용하여, 외력이 주기적일 경우 구조물이 주기적임을 증명하고, 소음 강도가 0으로 수렴함에 따라 결정론적 구조물로 상부 반연속적으로 수렴함을 보인다.

ABSTRACT

We prove the existence and uniqueness of tempered random attractors for stochastic Reaction-Diffusion equations on unbounded domains with multiplicative noise and deterministic non-autonomous forcing. We establish the periodicity of the tempered attractors when the stochastic equations are forced by periodic functions. We further prove the upper semicontinuity of these attractors when the intensity of stochastic perturbations approaches zero.

연구 동기 및 목표

• 무한도메인에서 다변수 소음과 시간에 의존하는 결정론적 외력이 작용하는 스토크라스틱 반응-확산 방정식에 대해 온난한 무작위 구조물의 존재성과 유일성을 확립한다.
• 결정론적 외력 함수가 시간 주기적일 경우 구조물이 시간 주기적임을 증명한다.
• 특히 무한도메인에서 컴팩트 임bedding이 실패하는 상황에서도, 소음 강도가 0으로 수렴함에 따라 이러한 구조물이 상부 반연속적으로 수렴하는가를 조사한다.
• 다양한 소음 강도에서 해의 균일한 꼬리 추정을 통해 $ L^2(ℝ^n) $에서의 비콤팩트성 문제를 극복한다.
• 이전에 문헌에서 다루지 않은 바와 같이, 스토크라스틱 소음과 결정론적 비자율 외력이 동시에 작용하는 시스템에 대해 무작위 구조물 이론을 확장한다.

제안 방법

• 스토크라스틱 방정식 (1.1)을 $ \mathbb{R}^n $에서 스트라토노비치 의미로 공식화하며, 다변수 소음과 시간에 의존하는 결정론적 외력 $ g(t,x) $를 포함한다.
• 스토크라스틱 소음과 결정론적 외력 각각에 대해 별도의 확률 공간을 사용하여 이중 매개변수 무작위 동역학 시스템을 구성함으로써 비자율 동역학 분석이 가능하도록 한다.
• 에너지 방법과 그로워일 유형 부등식을 사용하여, 소음 강도 $ \alpha \in [0,1] $에 관계없이 독립적인 해의 $ H^1 $-노름과 $ L^2 $-노름에 대한 균일한 사전 추정을 도출한다.
• 큰 공간 구역 외부에서 해의 $ L^2 $-노름에 대한 균일한 꼬리 추정을 확립하여, 모든 $ \alpha \in [0,1] $에서 구조물의 질량이 컴팩트 집합 외부에서 균일하게 작다는 것을 증명한다.
• 유한 도메인에서의 컴팩트 임베딩과 균일한 꼬리 제어를 통해 $ L^2(\mathbb{R}^n) $에서의 구조물의 합집합의 전결정성(precompactness)을 확보하고, 이를 통해 상부 반연속성을 증명한다.
• 매개변수 변화에 따른 피드백 구조물의 상부 반연속성에 대한 추상적 프레임워크를 적용하여, 코시클의 수렴성과 균일한 유계성을 통해 수렴 조건을 검증한다.

실험 결과

연구 질문

• RQ1 무한도메인에서 다변수 소음과 시간에 의존하는 결정론적 외력이 작용하는 스토크라스틱 반응-확산 방정식에 대해 온난한 무작위 구조물이 존재하는가?
• RQ2 결정론적 외력 함수가 주기적일 경우, 무작위 구조물이 시간 주기적일 조건은 무엇인가?
• RQ3 무한도메인에서 컴팩트 소벨레프 임베딩이 실패하는 상황에서도, 소음 강도 $ \alpha \to 0 $일 때 무작위 구조물이 결정론적 구조물로 상부 반연속적으로 수렴하는가?
• RQ4 소음 강도 $ \alpha \in [0,1] $에 대해 해의 꼬리에 대한 균일한 추정을 확립할 수 있는가? 이를 통해 $ L^2(\mathbb{R}^n) $의 비콤팩트성 문제를 극복할 수 있는가?
• RQ5 스토크라스틱 소음과 결정론적 비자율 항을 동시에 갖는 시스템에 대해 무작위 구조물 이론을 확장할 수 있는가?

주요 결과

• 시간에 의존하는 결정론적 외력 $ g \in L^2_{\text{loc}}(\mathbb{R}; L^2(\mathbb{R}^n)) $를 갖는 스토크라스틱 방정식 (1.1)은 $ L^2(\mathbb{R}^n) $에서 유일한 온난한 무작위 구조물을 갖는다.
• 외력 $ g $가 시간 주기적일 경우, 해당 온난한 무작위 구조물 역시 시간 주기적이다.
• 해의 꼬리에 대한 균일 추정이 확립된다: 모든 $ \eta > 0 $에 대해, $ K = K(\tau, \omega, \eta) $와 $ T = T(\tau, \omega, D, \eta) $가 존재하여 $ \int_{|x| \geq K} |u_\alpha|^2 \, dx \leq \eta $가 모든 $ t \geq T $와 $ \alpha \in [0,1] $에서 성립한다.
• $ \bigcup_{0 < \alpha \leq 1} \mathcal{A}_\alpha(\tau, \omega) $는 $ L^2(\mathbb{R}^n) $에서 전결정성(precompact)이며, 이는 상부 반연속성 증명에 필수적이다.
• 구조물의 상부 반연속성이 성립한다: $ \lim_{\alpha \to 0} \text{dist}_{L^2(\mathbb{R}^n)}(\mathcal{A}_\alpha(\tau, \omega), \mathcal{A}_0(\tau)) = 0 $, 무한도메인에서도 성립한다.
• 균일한 유계성과 코시클의 수렴성에 기반하여, 매개변수 변화에 따른 피드백 구조물 연속성에 관한 추상 결과를 활용하여 수렴이 확립된다.