[논문 리뷰] Periodic, Quasi-Periodic, Almost Periodic, Almost Automorphic, Birkhoff Recurrent and Poisson Stable Solutions for Stochastic Differential Equations

David Cheban, Zhenxin Liu|arXiv (Cornell University)|2017. 02. 09.

advanced mathematical theories참고 문헌 19인용 수 3

한 줄 요약

이 논문은 계수들이 시간에 따라 포isson 안정성(poisson stable)인 반선형 확률미분방정식에 대해 주기적, 거의주기적, 거의자기동역학적, Birkhoff 재귀적 해의 존재성과 안정성을 확립한다. 선형 연산자가 지수적 안정성을 가지며 비선형성의 크기가 작을 조건 하에, 해가 계수의 재귀 성질을 그대로 이어받음을 증명하며, Shcherbakov의 비교 원리(comparability principle)를 엄밀한 분포 및 제곱평균 의미에서 확률적 환경으로 확장한다.

ABSTRACT

The paper is dedicated to studying the problem of Poisson stability (in particular stationarity, periodicity, quasi-periodicity, Bohr almost periodicity, Bohr almost automorphy, Birkhoff recurrence, almost recurrence in the sense of Bebutov, Levitan almost periodicity, pseudo-periodicity, pseudo-recurrence, Poisson stability) of solutions for semi-linear stochastic equation $$ dx(t)=(Ax(t)+f(t,x(t)))dt +g(t,x(t))dW(t)\quad (*) $$ with exponentially stable linear operator $A$ and Poisson stable in time coefficients $f$ and $g$. We prove that if the functions $f$ and $g$ are appropriately "small", then equation $(*)$ admits at least one solution which has the same character of recurrence as the functions $f$ and $g$.

연구 동기 및 목표

• 결정론적 방정식에 대한 Shcherbakov의 재귀성 비교 원리를 확률미분방정식으로 확장하기 위해.
• 확률 방정식에서 계수와 동일한 재귀 성질(예: 주기적, 거의주기적, 거의자기동역학적)을 가진 해의 존재성을 조사하기 위해.
• 시간에 따라 변화하는 계수 f와 g의 재귀 유형이 해로 전이되는 조건을 설정하기 위해.
• 제곱평균 및 분포 의미에서 해의 유계성, 소산성, 점근적 안정성 분석하기 위해.
• 비마코프, 비정상적인 계수를 가진 확률 시스템에서 특정 재귀 성질을 가진 유일한 유계 해가 존재할 수 있는 충분 조건 제공하기 위해.

제안 방법

• 선형 연산자 A가 지수적 안정성을 가지는 반선형 확률미분방정식을 설정하며, 계수 f(t,x)와 g(t,x)는 시간에 대해 포isson 안정성임을 가정한다.
• 연속 함수 공간에서 함수 수렴과 재귀 성질 분석을 위해 C(ℝ,X)에 정의된 거리 d를 적용한다.
• Shcherbakov의 프레임워크를 확장하여 재귀 성질에 따라 함수의 비교 개념을 도입하고, 이를 확률 방정식에 적용한다.
• 수축 원리와 안정성 추정을 통해 L² 및 분포 의미에서 해의 존재성과 유일성을 확립한다.
• f와 g에 립시츠 조건과 전역 선형 성장 조건을 부과하고, 수렴성을 보장하기 위해 균일 적분 가능성 조건(C3)을 검증하여 SPDE에서 L²(ℙ, H) 수렴을 확보한다.
• 소산성과 수렴성에 관한 정리를 적용하여, 제곱평균 의미에서 해의 전역 점근적 안정성을 증명한다.

실험 결과

연구 질문

• RQ1 포isson 안정성 계수를 가진 확률미분방정식이 계수의 재귀 성질을 그대로 이어받는 해를 갖기 위한 조건은 무엇인가?
• RQ2 Shcherbakov의 비교 원리가 일반적인 재귀 유형을 가진 결정론적 방정식에서 확률미분방정식으로 확장 가능한가?
• RQ3 제곱평균 및 분포 의미에서 이러한 방정식에 대해 해의 존재성, 유일성, 점근적 안정성을 보장하는 조건은 무엇인가?
• RQ4 비자기동역학적, 비정상적인 계수를 가진 확률 방정정식의 해에서 주기적, 거의주기적, 거의자기동역학적, Birkhoff 재귀적 등의 재귀 유형이 어떻게 유지되는가?
• RQ5 선형 연산자 A의 지수적 안정성이 해의 재귀적 구조 유지에 어떤 역할을 하는가?

주요 결과

• 선형 방정식 dx(t) = (Ax(t) + f(t))dt + g(t)dW(t)는 f와 g가 유계이면서 포isson 안정일 경우, f와 g와 동일한 재귀 성질을 가지는 유일한 유계 해 φ를 가진다.
• 반선형 방정식 dx(t) = (Ax(t) + F(t,x(t)))dt + G(t,x(t))dW(t)는 F와 G에 대해 립시츠 조건과 소형 조건이 만족될 경우, F와 G와 동일한 재귀 유형을 가지는 유일한 유계 해 ξ가 존재한다.
• F와 G가 함께 Levitan 거의주기적일 경우, 유일한 해는 분포 의미에서 Levitan 거의주기적이다. F와 G가 함께 준주기적일 경우, 해는 분포 의미에서 준주기적이다.
• 모든 L² 초기값을 가진 해들은 충분히 오랜 시간 후에 일정한 상수 이내로 유계가 된다. 이는 보조정리 5.3에 의해 도출된다.
• 제시된 립시츠 상수와 균일 적분 가능성 조건 하에, 제곱평균 의미에서 해는 전역적으로 점근적 안정성이 확보된다. 이는 정리 5.4에 의해 입증된다.
• 확률적 열 방정식과 스칼라 SDE에 대한 적용 사례는 이론적 결과를 확인하며, 명시적 예시를 통해 분포 의미에서 Levitan 거의주기적 및 준주기적 해의 존재를 보여준다.