[논문 리뷰] Strong uniqueness for certain infinite dimensional Dirichlet operators and applications to stochastic quantization

Vitali Liskevich, Michael Röckner|ArXiv.org|1998. 01. 09.

Advanced Mathematical Modeling in Engineering인용 수 20

한 줄 요약

이 논문은 유한차원 사영에 대한 사전 추정을 통해 무한차원 딜리클레 연산자에 대한 강한 유일성을 확립하며, 두 차원 유클리드 양자장 이론에서 확률적 양자화의 생성자에 대한 본질적 자기수반성과 $L^p$-유일성을 증명한다. 이 방법은 이전의 추정을 일반화하며, 로그 도함수의 두 성분으로 분해된 측도에 적용되며, 오랫동안 미해결이었던 $L^2$-설정에서의 문제를 해결하고, $p \in (1+1/(1+\sqrt{\varepsilon_0}), 1+1/(1-\sqrt{\varepsilon_0}))$에 대해 $L^p$로 확장된다. 핵심 기여는 차원에 독립적인 균일한 기울기 추정에 기반한 새로운 $L^p$-유일성 기준이다.

ABSTRACT

Strong and Markov uniqueness problems in $L^2$ for Dirichlet operators on rigged Hilbert spaces are studied. An analytic approach based on a--priori estimates is used. The extension of the problem to the $L^p$-setting is discussed. As a direct application essential self--adjointness and strong uniqueness in $L^p$ is proved for the generator (with initial domain the bounded smooth cylinder functions) of the stochastic quantization process for Euclidean quantum field theory in finite volume $Λ\subset \R^2$.

연구 동기 및 목표

• 무한차원 설정에서 리그 힐버트 공간 위의 딜리클레 연산자에 대한 강한 유일성 문제를 해결한다.
• 유한 체적 $\Lambda \subset \mathbb{R}^2$ 내에서 확률적 양자화의 생성자에 대한 본질적 자기수반성과 $L^p$-유일성을 확립한다.
• 이전의 사전 추정 기법을 일반화하여 두 개의 서로 다른 성분을 가진 로그 도함수를 다룰 수 있도록 한다.
• 해석적 방법을 $L^p$-설정으로 확장하여 $p \neq 2$인 경우 $C_0$-반군 생성자에 대한 유일성을 증명한다.
• Markov 유일성에 대한 새로운 근사 기준을 $L^1$-유일성에 기반하여 제공한다.

제안 방법

• 딜리클레 연산자와 관련된 포아송 방정식의 유한차원 사영에 대한 해의 기울기에 대한 사전 추정을 사용한다.
• $\nabla u_n$에 대한 차원에 독립적인 유계성 조건을 $L^{2p}$-공간에 적용하여 근사 반군의 행동을 제어한다.
• 무한차원 유일성 문제를 유한차원 근사에 대한 균일한 추정으로 환원한다.
• $L^p$-유일성을 위해 $\nabla_i u_n (|\nabla u_n|^2 + \varepsilon)^{p-2}$ 형태의 시험 함수를 사용하며, 이는 $L^2$의 경우를 일반화한다.
• $\beta = \alpha + \delta$의 로그 도함수에 조건을 부과하며, $|\alpha|_0 \in L^{2p}$, $|\delta|_- \in L^2$, 그리고 $\delta^m$ 이 $L^p$에서 $\delta$로 수렴하는 수열을 요구한다.
• 원래 연산자에 대한 반군 확장이 동일한 수열에 의해 근사 가능하다는 것을 보여, 따라서 그 유일성을 확보한다.

실험 결과

연구 질문

• RQ1 비연속적인 로그 도함수를 가진 무한차원 딜리클레 형식에 대해, $\mathcal{F}C^\infty_b$ 위에서 딜리클레 연산자가 $L^2$에서 본질적으로 자기수반일 조건은 무엇인가?
• RQ2 사전 추정 기법을 $p \neq 2$에 대해 $L^p$-유일성을 증명하도록 확장할 수 있으며, $\beta$와 근사 수열 $\delta^m$에 대해 필요한 조건은 무엇인가?
• RQ3 이 방법은 $L^1$-유일성에 기반한 새로운 Markov 유일성 기준을 제공하는가? 그리고 기존 결과와의 관계는 어떻게 되는가?
• RQ4 $L^p$-유일성이 성립하는 최적의 $p$ 범위는 무엇이며, $p \in (1+1/(1+\sqrt{\varepsilon_0}), 1+1/(1-\sqrt{\varepsilon_0}))$의 제약은 필수적인가, 아니면 기술적인가?
• RQ5 이 방법은 변수이거나 비연속적인 계수 또는 특이 포텐셜을 가진 딜리클레 형식에 어떻게 응용될 수 있는가?

주요 결과

• 정리 1의 조건 하에서, $(-\Delta - (\beta, \nabla \cdot)_+ \restriction \mathcal{F}C^\infty_b)$는 $L^2(\mathcal{H}_{-}, \nu)$에서 본질적으로 자기수반이며, 이는 확률적 양자화에서 오랫동안 미해결이었던 문제를 해결한다.
• 정리 3에 따르면, $p \in (1+1/(1+\sqrt{\varepsilon_0}), 1+1/(1-\sqrt{\varepsilon_0}))$일 때, 연산자 $\Delta + (\beta, \nabla \cdot)\restriction \mathcal{F}C^\infty_b$는 $L^p$에서 $C_0$-반군을 생성하는 유일한 확장을 가진다.
• $L^1$-유일성 결과(정리 2)는 더 단순한 사전 추정을 통해 확립되며, Markov 유일성에 대한 새로운 근사 기준을 제공한다.
• $L^1$-유일성 결과는 $p \leq 1 + 1/(1+\sqrt{\varepsilon_0})$인 경우 정리 3를 보완하며, 정리 4는 $|\alpha|_0$에 대해 더 약한 적분 조건 하에서 $p \in [1,2)$로 결과를 확장한다.
• 이 방법은 수정된 시험 함수와 균일한 기울기 추정을 통해 $p \in [1,2)$ 및 $p > 1$에 대해 $L^p$-유일성으로 일반화되며, $p=3/2$의 경우 $\delta=0$이면 [29]의 결과를 회복한다.
• 결과는 유한 체적에서의 $\phi^4_2$-이론의 확률적 양자화에 직접 적용되며, 이 경우 측도는 다항 상호작용을 가진 두 차원 유클리드 양자장이다.