[논문 리뷰] Laplace operators on the cone of Radon measures

Yuri Kondratiev, Eugene Lytvynov외 1명|arXiv (Cornell University)|2015. 03. 02.

advanced mathematical theories참고 문헌 33인용 수 4

한 줄 요약

이 논문은 리만 다양체 X 위의 라돈 측도의 콘에 라플라스 연산자를 정의한다. 이는 기본 군 작용에 대해 준위불변성이 없음에도 불구하고 가능하다. 부분 준위불변성과 딜레클레 형식 이론을 활용하여, 라플라스 연산자가 생성하는 확산 과정이 존재하는 것을 증명하고, 이 과정의 생성자를 명시적으로 구성한다.

ABSTRACT

We consider the infinite-dimensional Lie group $\mathfrak G$ which is the semidirect product of the group of compactly supported diffeomorphisms of a Riemannian manifold $X$ and the commutative multiplicative group of functions on $X$. The group $\mathfrak G$ naturally acts on the space $\mathbb M(X)$ of Radon measures on $X$. We would like to define a Laplace operator associated with a natural representation of $\mathfrak G$ in $L^2(\mathbb M(X),μ)$. Here $μ$ is assumed to be the law of a measure-valued Lévy process. A unitary representation of the group cannot be determined, since the measure $μ$ is not quasi-invariant with respect to the action of the group $\mathfrak G$. Consequently, operators of a representation of the Lie algebra and its universal enveloping algebra (in particular, a Laplace operator) are not defined. Nevertheless, we determine the Laplace operator by using a special property of the action of the group $\mathfrak G$ (a partial quasi-invariance). We further prove the essential self-adjointness of the Laplace operator. Finally, we explicitly construct a diffusion process on $\mathbb M(X)$ whose generator is the Laplace operator.

연구 동기 및 목표

• 큰 무한차원 리 군 작용 하에서 측도 μ의 준위불변성이 없음에도 불구하고 리만 다양체 X 위의 라돈 측도 공간에 라플라스 연산자를 정의하는 것.
• 측도 μ가 측도값 레비 과정의 법칙이므로, 비준위불변성으로 인한 단위 표현의 장애를 극복하는 것.
• 라돈 측도의 콘 위의 L² 공간에서 라플라스 연산자의 본질적 자기수반성을 확립하는 것.
• 정의된 라플라스 연산자가 생성자로 갖는 이산 라돈 측도 공간 상의 확산 과정을 명시적으로 구성하는 것.
• 일반 라돈 측도 공간 상의 대체 접선 공간 구조와 그에 대응하는 딜레클레 형식 및 생성자들을 탐색하는 것.

제안 방법

• 콤��� 지지가 있는 X의 미분형태와 X 위의 컴팩트 지지가 있는 양의 연속 함수의 곱군의 반직접곱으로 이루어진 무한차원 리 군 𝔾를 정의한다.
• ℳ(X) 위의 라돈 측도 공간에 대한 𝔾의 작용을 이용하여 자연스러운 표현을 정의한다. 이는 μ가 준위불변성이 아니더라도 가능하다.
• 부분 준위불변성의 개념을 도입하여, 원자들의 유한한 구성의 공간에서 라플라스 연산자를 딜레클레 형식을 통해 정의한다.
• 라플라스-벨트라미 연산자와 ℝ₊ 위의 두 번째 미분 연산자를 포함하는 적분 연산자로서 라플라스 연산자의 생성자를 구성한다.
• 기본 측도값 레비 과정의 구조와 딜레클레 형식 이론을 이용하여 라플라스 연산자의 본질적 자기수반성을 증명한다.
• 마르코프 성질과 관련 확률과정의 구성 방법을 사용하여, 연속적인 표본 경로를 갖는 ℳ(X) 상의 확산 과정을 명시적으로 구성한다. 이 과정의 생성자는 정의된 라플라스 연산자와 일치한다.

실험 결과

연구 질문

• RQ1 기본 군 작용이 측도 μ를 보존하지 않아 표준적인 단위 표현이 불가능한 상황에서, 라돈 측도 공간 상에 라플라스 연산자를 정의할 수 있는가?
• RQ2 완전한 준위불변성이 없음에도 불구하고, 라플라스 연산자의 의미 있는 정의를 가능하게 하는 군 작용과 측도 μ의 구조적 성질은 무엇인가?
• RQ3 딜레클레 형식 접근법을 통해 정의된 라플라스 연산자가 원자 함수 공간 상에서 본질적으로 자기수반인가?
• RQ4 이산 라돈 측도 공간 상에 존재하는 확산 과정을 명시적으로 구성할 수 있으며, 그 생성자가 라플라스 연산자와 일치하는가?
• RQ5 레비 과정의 강도 측도 l(s)의 선택이 관련된 확산 과정의 경로 행동과 보존성에 어떤 영향을 미치는가?

주요 결과

• 측도 μ가 군 작용에 대해 준위불변성이 없음에도 불구하고, 이산 라돈 측도 공간 상에서 라플라스 연산자가 딜레클레 형식을 통해 정의된다.
• 라플라스 연산자는 원자 함수 공간 상에서 본질적으로 자기수반적이며, 이는 유일한 자기수반 확장을 보장한다.
• 이산 라돈 측도 공간 상에 존재하는 확산 과정이 명시적으로 구성되었으며, 그 생성자는 정의된 라플라스 연산자와 일치한다.
• 라플라스 연산자의 생성자는 국소 연산자의 적분으로서 작용한다: X 위의 라플라스-벨트라미 연산자와 ℝ₊ 위의 두 번째 미분 연산자.
• 감마 측도의 경우(l(s) = e⁻ˢ), 과정의 반경 성분은 0에 도달하여 흠을 형성하므로 비보존적임을 보여주며, 전체 과정의 비보존성 가능성을 시사한다.
• ℳ(X) 상의 대체 접선 공간 구조는 다른 딜레클레 형식과 생성자를 유도하지만, 감마의 경우 관련 과정은 여전히 비보존적이며, 이는 명시적 구성의 어려움을 시사한다.