[논문 리뷰] Correction to the paper "Some remarks on Davie's uniqueness theorem"

A. V. Shaposhnikov|arXiv (Cornell University)|2017. 03. 20.

Navier-Stokes equation solutions참고 문헌 10인용 수 8

한 줄 요약

이 논문은 Shaposhnikov(2017)에서 처음 제안한 비정칙 드리프트를 가진 확률미분방정식의 경로별 유일성 증명에서 발생한 기술적 결함을 수정한다. 기존의 잘못된 균일 헬더 연속성 가정을 수정된 콜모고로프 연속성 정리의 보다 정교한 적용으로 대체함으로써, 주요 결과의 타당성을 복원한다: 유계이고 보렐 가측인 드리프트가 임의의 조건 $\frac{d}{p} + \frac{2}{q} < 1$를 만족할 경우, 거의 모든 브라운 운동 경로에 대해 경로별 유일성이 성립한다.

ABSTRACT

The property 4 in Proposition 2.3 from the paper "Some remarks on Davie's uniqueness theorem" is replaced with a weaker assertion which is sufficient for the proof of the main results. Technical details and improvements are given.

연구 동기 및 목표

• Shaposhnikov(2017)의 논문에서 제시된 흐름의 균일 헬더 연속성 증명에 존재하는 기술적 결함, 특히 정리 2.3의 성질 4를 다루기 위함.
• 유계이고 보렐 가측인 드리프트를 가진 SDE의 경로별 유일성에 관한 주요 결과의 타당성을 복원하기 위함.
• 원래 논문에서 제시된 조건과 동일한 적분 가능성 조건 하에서 해 흐름의 헬더 연속성에 대한 보완된 엄밀한 증명을 제공하기 위함.
• 초기 연속성 추론에서 발생한 결함에도 불구하고, 거의 모든 브라운 운동 경로에 대해 경로별 유일성의 핵심 결론이 그대로 유지됨을 보장하기 위함.

제안 방법

• 원래의 균일 헬더 연속성 주장 대신, 이산 시간 격자에 맞게 조정된 콜모고로프 연속성 정리의 수정된 버전을 도입함.
• 변형된 SDE의 해 차이에 대한 정교한 모멘트 추정을 적용하여, $\sup_{s} \mathbb{E} \sup_{t} |X_{s,t}^x - X_{s,t}^y|^a \leq C(|x-y|^a + |x-y|^{a-1})$ 를 도출함.
• 크기 $|S_n| \leq 2^{\eta n}$ 인 유한 집합의 수열 $S_n$ 을 사용한 확률적 커버링 추론을 통해 이진 시간에 대한 헬더 노름을 제어함.
• 레마 2.1(확률적 콜모고로프 연속성 정리의 변형)을 적용하여, 집합 $S_n$ 상에서 흐름의 거의 확실한 헬더 연속성을 유도함.
• 제한 조건 $|x| < N$ 을 도입하고, 유계 드리프트 케이스를 다루기 위해 절단 추론을 사용함.
• 수정된 흐름의 정칙성과 보렐-칸텔리 추론, 레마 3.6의 변형 추정을 조합하여 경로별 유일성을 증명함.

실험 결과

연구 질문

• RQ1 Shaposhnikov(2017)에서 제시한 비정칙 드리프트를 가진 SDE의 경로별 유일성 증명이, 특히 해 흐름의 균일 헬더 연속성에 관해 제시된 조건 하에서 타당한가?
• RQ2 정리 2.3의 성질 4에서 제기된 균일 헬더 연속성의 잘못된 가정을, 여전히 주요 결과를 지지할 수 있는 더 약한, 증명 가능한 조건으로 대체할 수 있는가?
• RQ3 해 흐름의 연속성이 수정된 콜모고로프 연속성 정리의 적용을 통해 확립된 경우, 유계이고 보렐 가측인 드리프트를 가진 SDE의 경로별 유일성 결과는 여전히 유효한가?
• RQ4 더 강력한 사전 정규성 조건이 필요 없이, 오직 모멘트 추정과 확률적 커버링 추론만으로도 증명이 엄밀하게 수행될 수 있는가?
• RQ5 거의 모든 브라운 운동 경로에 대해 경로별 유일성을 보장할 수 있는 드리프트 $b$ 의 최소 정규성 조건은 무엇인가?

주요 결과

• 정리 2.3의 성질 4에서 제시된 해 흐름의 균일 헬더 연속성 주장은 수정된 콜모고로프 연속성 정리에 기반한 더 약한, 증명 가능한 진술로 대체됨.
• 수정된 증명은 임의의 $\alpha \in (0,1)$ 과 $\eta > 0$ 에 대해, 전체 확률을 가진 집합 $\Omega'$ 가 존재하여, $s \in S_n$, $|x-y| \leq 2^{-n}$, 그리고 유계인 $x,y$ 에 대해 $|\varphi_{s,t}(x) - \varphi_{s,t}(y)| \leq C|x-y|^\alpha$ 를 만족함을 보여줌.
• 모멘트 추정 $\sup_s \mathbb{E} \sup_t |X_{s,t}^x - X_{s,t}^y|^a \leq C(|x-y|^a + |x-y|^{a-1})$ 는 이산 시간 격자 $S_n$ 상에서 요구되는 헬더 연속성을 유도하는 데 충분함.
• 유계이고 보렐 가측인 드리프트를 가진 SDE의 경로별 유일성 결과는 $\frac{d}{p} + \frac{2}{q} < 1$ 조건을 만족할 경우 복원되었으며, 이제 엄밀하게 증명됨.
• 증명은 이진 분할에 대한 보렐-칸텔리 추론과 레마 3.6의 변형 추정을 조합하며, 길이 $l$ 인 간격에서 해의 차이를 $C l^{4/3}$ 으로 유계화함.
• 최종적으로, 이진 격자의 세분화의 극한에서 두 해의 차이가 0으로 수렴함을 보여주며, 연속성과 $M^{-1/15}$ 감쇠 bound 를 통해 유일성을 유도함.