[논문 리뷰] Counterexamples to mean square almost periodicity of the solutions of some SDEs with almost periodic coefficients

Omar Mellah, Paul Raynaud de Fitte|arXiv (Cornell University)|2012. 08. 31.

Nonlinear Differential Equations Analysis참고 문헌 9인용 수 31

한 줄 요약

이 논문은 과거 연구에서 제기한 주장, 즉 특정 스토크라스틱 미분 방정식(SDEs)의 해가 거의 주기적 계수를 가질 경우 평균 제곱 거의 주기적임을 부정한다. 구체적으로 정적 옴스터하인-울렌벡 과정과 주기적 계수를 가진 비자기적 SDE를 포함한 명시적 반례를 제시함으로써, 이러한 해는 장기적 공분산이 소멸하고 시간 이동에 따른 L² 수렴이 없기 때문에 평균 제곱 거의 주기적이지 않음을 보여준다. 이는 해가 분포상으로는 거의 주기적이지만, 평균 제곱 거의 주기성은 성립하지 않음을 의미한다.

ABSTRACT

We show that, contrarily to what is claimed in some papers, the nontrivial solutions of some stochastic differential equations with almost periodic coefficients are never mean square almost periodic (but they can be almost periodic in distribution).

연구 동기 및 목표

• 최근 몇 편의 논문에서 주장한 linf SDE의 해가 거의 주기적 계수를 가질 경우 평균 제곱 거의 주기적임을 도전하고 부정하기 위해.
• 스토크라스틱 과정에 있어서 평균 제곱 거의 주기성과 분포상 거의 주기성 사이의 차이를 명확히 하기 위해.
• 해가 거의 주기적 계수를 가질지라도 평균 제곱 거의 주기성이 성립하지 않는다는 것을 보여주는 명시적 반례를 제공하기 위해.
• 스토크라스틱 컨볼루션의 경우 약한 조건 하에서도 평균 제곱 거의 주기성을 유지한다고 잘못 가정한 과거 증명의 결함을 규명하기 위해.
• SDE 해에 있어서 평균 제양 거의 주기성이 분포상 거의 주기성보다 훨씬 강력한 성질임을 강조하기 위해.

제안 방법

• 거의 주기적 계수를 가진 선형 SDE의 해로 정적 옴스터하인-울렌벡 과정을 구성함. 이는 브라운 운동에 대한 스토크라스틱 적분을 사용한다.
• 보흐너의 거의 주기성 기준을 적용하여 L²에서 시간 이동된 수열의 수렴을 분석함. 이때 공분산이 0이면 극한이 반드시 비어 있지 않은 경우에만 존재할 수 있음을 보여준다.
• 극한에서 상호 무상관인 가우시안 랜덤 변수가 존재할 경우 그들은 독립이 되며, 이는 비어 있지 않은 극한이 존재할 수 없음을 의미함.
• 시간에 따라 변하는 주기적 계수를 가진 두 번째 반례를 분석함. 이 경우 시간 지연이 증가함에 따라 공분산이 0으로 수렴한다.
• 버크홀더-데이비스-건디 부등식을 적용하여 L² 노름의 균일 적분 가능성을 확보하고, 타이트니스를 이용하여 분포상 거의 주기성을 확인한다.
• 시간 이동에 따른 장기적 공분산이 소멸한다는 사실은 비어 있지 않은 L² 극한이 존재할 수 없음을 의미하며, 이는 평균 제곱 거의 주기성의 위반을 초래한다.

실험 결과

연구 질문

• RQ1 몇 편의 최근 논문에서 주장한 linf SDE의 해가 거의 주기적 계수를 가질 경우 평균 제곱 거의 주기적일 수 있는가?
• RQ2 스토크라스틱 과정에 있어서 평균 제곱 거의 주기성과 분포상 거의 주기성 사이의 관계는 무엇인가?
• RQ3 베잔드리와 다이아가나(2010–2013)의 증명은 거의 주기적 계수를 가진 SDE 해에 대해 평균 제곱 거의 주기성을 올바르게 확립하는가?
• RQ4 SDE 해에 있어서 분포상 거의 주기성이 평균 제곱 거의 주기성을 유도하는 조건은 무엇인가?
• RQ5 왜 거의 주기적 계수를 가진 스토크라스틱 컨볼루션은 평균 제곱 거의 주기성을 유지하지 못하는가?

주요 결과

• 거의 주기적 계수를 가진 정적 옴스터하인-울렌벡 과정은 분포상 거의 주기적이지만, 평균 제곱 거의 주기적이지 않다.
• 반례에서 시간 tₙ → ∞ 인 임의의 수열에 대해 L² 극한은 과정의 값과 독립이 되며, 이는 극한이 반드시 상수여야 함을 의미한다. 이는 비어 있지 않은 분산을 가진 경우 모순이 된다.
• 주기적 계수를 가진 두 번째 반례에서 Xₜ와 Xₜ₊τ 간의 장기적 공분산은 τ → ∞ 일 때 0으로 수렴하며, 이는 평균 제곱 거의 주기성에 필요한 조건을 위반한다.
• 과거 연구에서의 증명 오류는 적분자가 시간에 대해 거의 주기적일 경우 스토크라스틱 컨볼루션의 평균 제곱 거의 주기성이 약한 조건 하에서도 유지된다고 잘못 가정한 데 있다.
• 저자들은 평균 제곱 거의 주기성이 분포상 거의 주기성보다 훨씬 강력한 성질이며, 그러한 해는 흔하지 않음을 보여준다.
• 비자기적 평균 제곱 거의 주기적 해를 가지는 SDE의 특성화는 여전히 열린 문제로 남아 있다.