[논문 리뷰] Laplace operators and diffusions in tangent bundles over Poisson spaces

Sergio Albeverio, Alexei Daletskii외 1명|ArXiv.org|2006. 08. 14.

advanced mathematical theories참고 문헌 25인용 수 6

한 줄 요약

이 논문은 파oisson 구성 공간 위의 접선(bundle)에 대해 미분형식과 라플라스 연산자를 구성하며, 함수에 대한 딜리클레 연산자와 기저 다양체 위의 Witten 라플라스 연산자를 통해 1-형식에 대한 드 라무 유형의 라플라스 연산자를 도입한다. 주요 기여는 관련 라플라스 연산자의 확률적 세마이그룹 표현으로, 기저 공간 위의 확률적 과정과 무한차원 파oisson 공간의 기하학을 연결한다.

ABSTRACT

Spaces of differential forms over configuration spaces with Poisson measures are constructed. The corresponding Laplacians (of Bochner and de Rham type) on 1-forms and associated semigroups are considered. Their probabilistic interpretation is given.

연구 동기 및 목표

• 유한차원의 Hodge–de Rham 이론을 국소 유한 구성이 가능한 무한차원 파oisson 공간으로 확장한다.
• 파oisson 측도를 갖춘 파oisson 구성 공간 위의 미분형식 공간을 정의한다.
• 이 무한차원 설정에서 1-형식에 작용하는 보처 및 드 라무 유형의 라플라스 연산자를 구성하고 분석한다.
• 기저 다양체 위의 확률적 과정을 통해 관련 세마이그룹의 확률적 해석을 제공한다.
• 파oisson 공간 위의 드 라무 라플라스 연산자와 기저 다양체 위의 Witten 라플라스 연산자 사이의 연결 고리를 설정한다.

제안 방법

• 구성 측도에 대해 L² 내적을 갖춘 힐버트 공간 T_γΓ_X = ⊕_{x∈γ} T_xX로 구성된 파oisson 구성 공간 γ ∈ Γ_X 의 접선(bundle)을 정의한다.
• 기저 다양체 X 위의 스토크래틱 과정 (ξ_γ(t)) 를 도입하여 접선(bundle) 위의 동역학을 이끌며, 평행 이동 연산자 P_ξ^J(t) 를 정의하는 데 사용한다.
• 평행 이동의 기대값을 통해 1-형식 위의 세마이그룹 T_1^J(t) 를 구성한다: T_1^J(t)V(γ) = E[P_ξ^J(t)V(ξ_γ(t))], 이는 기저 공간의 기하학과 구성 공간을 연결한다.
• 이소모르피즘 I^1 을 사용하여 구성 공간 위의 세마이그룹을 함수 위의 오르누슈-울렌베르크 세마이그룹 T_0(t) 과 1-형식 위의 과정 기반 세마이그룹 T_1^J(t) 의 텐서곱으로 분해한다.
• 세마이그룹 T_1^J(t) 의 생성자 H_1^J 를 유도하고, 잠재력 J 를 통해 기저 다양체 위의 Witten 라플라스 연산자와 관련지운다.
• 파oisson 공간 위의 드 라무 라플라스 연산자가 J = R_σ(x) 일 때, 기울기와 파oisson 측도의 강도와 관련된 곡률 잠재력과 연결된 세마이그룹 T_1^J(t) 의 생성자와 일치함을 증명한다.

실험 결과

연구 질문

• RQ1 무한차원 파oisson 구성 공간 위에 미분형식을 엄밀하게 정의할 수 있는가?
• RQ2 파oisson 공간 위의 1-형식에 대한 드 라무 라플라스 연산자의 구조는 무엇이며, 기저 다양체의 기하학과 어떻게 관련되는가?
• RQ3 기저 다양체 위의 확률적 과정을 통해 1-형식에 대한 라플라스 연산자를 확률적으로 표현할 수 있는가?
• RQ4 구성 공간 위의 라플라스 연산자와 관련된 세마이그룹은 기저 공간의 동역학을 기반으로 어떻게 분해되는가?
• RQ5 이 무한차원 프레임워크에서 함수에 대한 딜리클레 연산자와 1-형식에 대한 라플라스 연산자 사이의 관계는 무엇인가?

주요 결과

• 파oisson 공간 위의 1-형식에 대한 드 라무 라플라스 연산자는 함수에 대한 딜리클레 연산자와 기저 다양체 위의 Witten 라플라스 연산자의 합으로 표현되며, 후자는 강도 측도에 의해 가중된다.
• 1-형식 위의 세마이그룹 T_1^J(t) 는 다음 추정식을 만족한다: ||T_1^J(t)V(γ)||_γ ≤ e^{tC} T_0(t)||V(γ)||_γ, 여기서 C 는 잠재력 J 의 스펙트럼을 상한으로 둔다.
• 이소모르피즘 I^1 을 통해 세마이그룹 T_1^J(t) 는 함수 위의 오르누슈-울렌베르크 세마이그룹 T_0(t) 와 1-형식 위의 과정 기반 세마이그룹 T_1^J(t) 의 텐서곱과 등록된 등장사상(isometric isomorphism)을 이룬다.
• 파oisson 공간 위의 보처 라플라스 연산자의 생성자 H_π_σ^B 는 -H_1^{J_0} 와 같으며, 여기서 J_0 = 0 이고, H_π_σ^R = -H_1^{J_1} 이며, J_1 = R_σ(x) 는 곡률 잠재력이다.
• 세마이그룹 T_π_σ^B(t) 와 T_π_σ^R(t) 는 각각 T_1^{J_0}(t) 와 T_1^{J_1}(t) 와 일치하며, 이는 라플라스 연산자의 확률적 표현을 확립한다.
• 세마이그룹은 L²_π_σΩ¹ 에서 강한 연속성을 가지며, 그 생성자는 매끄럽고 컴actsupport를 갖는 1-형식의 공간에서 본질적으로 자기수반이다.