[논문 리뷰] On the Ornstein-Uhlenbeck operator in convex sets of Banach spaces

Gianluca Cappa|arXiv (Cornell University)|2015. 03. 10.

Numerical methods in inverse problems참고 문헌 7인용 수 3

한 줄 요약

이 논문은 무한차원 분리가능한 바나흐 공간의 열린 볼록 부분집합에 가우시안 측도가 부여된 경우 오르누슈타인-울렌벡 연산자에 대해 푸앵카레 및 로그-소볼레프 부등식을 수립한다. 유한차원 근사와 데우슈엘-스트로크 방법을 사용하여, 말리아빈 미분학이나 위erner 혼합 분해에 의존하지 않고 연산자의 스펙트럼 성질을 증명하고 기능적 부등식을 도출한다.

ABSTRACT

We study the Ornstein-Uhlenbeck operator and the Ornstein-Uhlenbeck semigroup in an open convex subset of an infinite dimensional separable Banach space $X$. This is done by finite dimensional approximation. In particular we prove Logarithmic-Sobolev and Poincaré inequalities, and thanks to these inequalities we deduce the spectral properties of the Ornstein-Uhlenbeck operator.

연구 동기 및 목표

• 무한차원 분리가능한 바나흐 공간 $X$ 의 열린 볼록 부분집합 $\Omega$ 에 대해 $L^2(\Omega, \gamma)$ 에서 오르누슈타인-울렌벡 연산자와 그 관련 준군을 연구한다.
• 명시적인 고유함수 표현이나 위너 혼합 분해가 없더라도 이러한 영역에서 연산자에 대해 푸앵카레 및 로그-소볼레프 부등식을 수립한다.
• 기능적 부등식을 통해 오르누슈타인-울렌벡 연산자의 스펙트럼 성질을 도출한다.
• 말리아빈 미분학에 대한 강한 의존도를 피하면서 분석적 도구와 유한차원 근사를 사용하여 이러한 부등식의 간단한 증명을 제공한다.

제안 방법

• 영역 $\Omega$ 의 실린더 근사를 통해 무한차원 오르누슈타인-울렌벡 연산자를 유한차원 오르누슈타인-울렌벡 연산자로 근사한다.
• 준군 성질로부터 푸앵카레 및 로그-소볼레프 부등식을 도출하기 위해 데우슈엘-스트로크 방법을 적용한다.
• 카메론-마틴 공간의 기울기 $\nabla_H$ 에 대한 부분적 통합 공식과 카메론-마틴 공간 $H$ 의 성질을 사용한다.
• 준군 $T^\Omega(t)$ 의 하위마르코프성 및 수축 성질을 수립한다. 특히 $[T^\Omega(t)(fg)]^2 \leq T^\Omega(t)(f^2)T^\Omega(t)(g^2)$ 와 $|\nabla_H T^\Omega(t)f|_H \leq e^{-t} T^\Omega(t)|\nabla_H f|_H$ 를 포함한다.
• 파투의 보조정리와 $\mathcal{F}C^1_b(\Omega)$ 의 실린더 함수에 의한 근사를 사용하여 부등식을 전체 소볼레프 공간 $W^{1,2}(\Omega, \gamma)$ 로 확장한다.
• 페르니크의 정리를 적용하여 $\|x\|_X$ 의 성장률을 제어하고, 하향 함수의 곱이 $L^2(\Omega, \gamma)$ 적분 가능성 유지됨을 보장한다.

실험 결과

연구 질문

• RQ1 위너 혼합 분해 없이도 무한차원 바나흐 공간의 볼록 부분집합에서 오르누슈타인-울렌벡 연산자에 대해 푸앵카레 및 로그-소볼레프 부등식을 수립할 수 있는가?
• RQ2 이러한 영역에서 오르누슈타인-울렌벡 연산자의 스펙트럼 성질은 무엇이며, 기능적 부등식으로부터 어떻게 도출할 수 있는가?
• RQ3 유한차원 근사를 통해 오르누슈타인-울렌벡 연산자에 의해 생성된 준군이 하위마르코프성 및 수축성을 갖는다고 보일 수 있는가?
• RQ4 영역 $\Omega$ 의 유한차원 근사는 어떻게 무한차원에서의 전역 부등식 유도에 기여하는가?
• RQ5 카메론-마틴 공간의 기울기 $\nabla_H$ 는 무한차원 설정에서 부등식의 타당성을 보장하는 데 어떤 역할을 하는가?

주요 결과

• 푸앵카레 부등식이 성립한다: 모든 $f \in W^{1,2}(\Omega, \gamma)$ 에 대해 $\int_\Omega \left|f - \int_\Omega f\,d\gamma\right|^2 d\gamma \leq \int_\Omega |\nabla_H f|_H^2 d\gamma$.
• 로그-소볼레프 부등식이 성립한다: 모든 $f \in W^{1,2}(\Omega, \gamma)$ 에 대해 $\int_\Omega f^2 \log(f^2)\,d\gamma \leq \int_\Omega |\nabla_H f|_H^2\,d\gamma + \|f\|_{L^2(\Omega,\gamma)}^2 \log(\|f\|_{L^2(\Omega,\gamma)}^2)$.
• 준군 $T^\Omega(t)$ 는 하위마르코프성이다: $\gamma$-거의 모든 곳에서 $0 \leq f \leq 1$ 이면, 모든 $t > 0$ 에 대해 $0 \leq T^\Omega(t)f \leq 1$ $\gamma$-거의 모든 곳에서 성립한다.
• 준군은 점별 부등식을 만족한다: 모든 $f \in W^{1,2}(\Omega, \gamma)$ 와 $t \geq 0$ 에 대해 $|\nabla_H T^\Omega(t)f|_H \leq e^{-t} T^\Omega(t)|\nabla_H f|_H$.
• 로그-소볼레프 부등식 덕분에, $|v(x)| \leq k(\|x\|_X + 1)$ 인 임의의 가측 함수 $v$ 에 대해 함수 $\Lambda_v: f \mapsto fv$ 는 $W^{1,2}(\Omega, \gamma)$ 에서 연속적이다.
• $\varphi \in \mathcal{F}C^1_b(\Omega)$ 이고 $\varphi \geq c^2$ 이면 $L^2(\Omega, \gamma)$ 에서 $\lim_{t \to \infty} T^\Omega(t)\varphi = m_\Omega(\varphi)$ 가 성립하며, 이는 엔트로피의 도함수를 통합하여 로그-소볼레프 부등식을 도출하는 데 사용된다.