[논문 리뷰] Analysis on Wiener Space and Applications

Ali Süleyman Üstünel|arXiv (Cornell University)|2010. 03. 08.

advanced mathematical theories참고 문헌 47인용 수 32

한 줄 요약

이 논문은 말리아빈 미분법의 프레임워크를 사용하여 위너 공간 위의 분석에 대한 종합적인 접근을 제시하며, 그로스-소볼레프 미분과 옴스타인-울렌벡 연산자와 같은 기본 도구를 수립하고, 로그-소볼레프 부등식, 마이어 부등식, 용량 이론적 결과에 응용한다. 주요 기여 중 하나는 클라크의 공식을 분포로 확장하여 밀도와 비선형 필터링 방정식의 해에 대한 정칙성 결과를 도출하는 것이다.

ABSTRACT

The aim of this book is to give a rigorous introduction for the graduate students to Analysis on Wiener space, a subject which has grown up very quickly these recent years under the new impulse of the Stochastic Calculus of Variations of Paul Malliavin.

연구 동기 및 목표

• 위너 공간 위의 분석에 대해 말리아빈 미분법의 프레임워크를 활용하여 대학원 수준의 엄밀한 소개를 제공하는 것.
• 로그-소볼레프 부등식과 마이어 부등식과 같은 고전적 결과를 무한차원 설정으로 확장하는 것.
• 비선형성의 정칙성 분석을 위한 도구를 개발하며, 특히 클라크의 공식을 분포로 확장하는 것.
• 이러한 도구를 비선형 필터링, 측도 이동, 컴acts Lie 군 위의 경로 공간 문제에 적용하는 것.
• 위너 공간에서의 확률적 볼록성, 로그-볼록성, 기능적 부등식 간의 관계를 설정하는 것.

제안 방법

• 위너 공간 위의 분석에 핵심 도구로 그로스-소볼레프 미분과 옴스타인-울렌벡 연산자를 사용한다.
• 옴스타인-울렌벡 반응의 초수렴성에 의해 루이스 그로스의 로그-소볼레프 부등식을 증명한다.
• 클라크의 공식을 분포 공간으로 확장하여 비퇴화된 위너 함수계수와 그 밀도의 연구를 가능하게 한다.
• 옴스타인-울렌벡 과정 기반의 용량 이론을 활용하여 0-1 법칙을 강화하고 게이지 함수계수의 거의 모든 곳에서의 유한성을 증명한다.
• 국소 소볼레프 공간을 도입하고, 특히 사전에 적분 가능하지 않은 물체에 대해 패치를 이용한 전역 함수계수를 구성한다.
• 타원형 연산자의 제2량자화를 적용하여 분포 공간을 정의하며, 이는 이동 연산자 등의 예를 포함한다.

실험 결과

연구 질문

• RQ1 말리아빈 미분법 프레임워크를 체계적으로 발전시켜 위너 공간 위의 분석에 분포 미분과 발산을 포함할 수 있는가?
• RQ2 비퇴화된 위너 함수계수의 밀도가 매끄럽고 빠르게 감소하는 조건은 무엇인가?
• RQ3 용량 이론을 활용하여 옴스타인-울렌벡 반응의 0-1 법칙 및 양의 성질 강화를 어떤 의미에서 강화할 수 있는가?
• RQ4 특이한 이차 비용을 가진 무한차원 위너 공간에서 몽체-칸토로비치 측도 이동 문제를 어떻게 설정하고 해결할 수 있는가?
• RQ5 콤팩트 리 군 위의 경로 공간에서의 소볼레프 분석의 구조는 무엇이며, 평탄한 위너 공간의 경우와 어떻게 관련이 있는가?

주요 결과

• 옴스타인-울렌벡 연산자를 통한 정의된 분포 공간으로의 미분 및 발산 연산자는 연속적으로 연장된다.
• 비퇴화된 위너 함수계수의 확률 밀도는 $ C^ u $ 뿐 아니라, 클라크의 공식의 분포적 확장에 의해 빠르게 감소함을 보였다.
• H-불변 집합 또는 그 여집합은 $ C_{r,1} $-용량이 0을 가지며, 이는 용량 이론적 맥락에서 0-1 법칙을 강화한다.
• 비퇴화된 $ \rm I\rm R^n $-값 위너 함수계수와 $ \rm I\rm R^n $ 위의 매끄러운 함수의 함수합성은 그 함수가 분포일 경우 온전한 분포로 연장된다.
• 비선형 필터링의 자카이 방정식의 해는 매끄럽고, 온전한 분포 공간에서 이토의 공식의 확장이 수립된다.
• 콤팩트 리 군 $ G $ 위의 경로 및 루프 공간에서, $ \theta_p^{-1}L\theta_p^{-1}\tilde{\rho}(\rho) $ 에 대해 적절한 적분 가능성 및 노름 조건이 만족되면, $ E_1[F(\rho(p)p)|J_\rho|] = E_1[F] $ 이고, 추가로 $ L^{1+b} $ 적분 가능성 조건이 성립하면 $ E_\nu[J_\rho] = 1 $ 이다.