측정과 디리클레 형식의 겔판드 변환

초록

본 논문은 측정공간 위에 정의된 임의의 디리클레 형식을 다니엘-스톤 적분, 스톤‑체치 컴팩트화, 겔판드 변환을 이용해 지역적으로 콤팩트한 공간 위의 정칙 디리클레 형식으로 전환하는 방법을 제시한다. 이를 통해 스톤‑체치 컴팩트화 상에서 연관된 헌트 과정의 존재를 보이며, 특히 키가미가 정의한 가분 저항 형식에 대해 마코프 과정이 존재함을 증명한다.

상세 분석

논문은 먼저 측정공간 ((X,\mathcal{B}))와 비음수 측도 (\mu) 위에 정의된 대칭 양의 닫힌 이항형식 (\mathcal{E})를 고려한다. 기존 디리클레 형식 이론에서는 (\mathcal{E})가 정칙(regular)일 경우에만 연관된 마코프 반정연속 반과정(Hunt process)을 구축할 수 있다. 그러나 일반적인 측정공간에서는 정칙성을 보장할 수 없으며, 특히 저항 형식과 같이 비표준적인 거리 구조를 갖는 경우가 많다. 저자는 이 문제를 해결하기 위해 세 단계의 변환을 수행한다. 첫 번째 단계는 다니엘‑스톤 적분 이론을 이용해 (\mathcal{E})의 정의역을 (\mathcal{F})라 하는 실함수 공간으로 확장하고, 이 공간에 대한 완비 노름을 도입해 바나흐 공간 ((\mathcal{F},|\cdot|_{\mathcal{E}1}))를 만든다. 여기서 (|\cdot|{\mathcal{E}_1})는 (\mathcal{E}1(u,v)=\mathcal{E}(u,v)+(u,v){L^2(\mu)}) 로 정의된다. 두 번째 단계에서는 (\mathcal{F})를 대수적 구조가 풍부한 (C_b(X))의 서브알제브라로 간주하고, 이 서브알제브라에 대한 스톤‑체치 컴팩트화 (\beta X)를 구성한다. 스톤‑체치 컴팩트화는 모든 연속 유한함수들을 확장할 수 있는 최대 컴팩트 공간을 제공하며, (\mathcal{F})의 원소들은 자연스럽게 (\beta X) 위의 연속함수로 연장된다. 세 번째 단계는 겔판드 변환을 적용해 (\mathcal{F})를 (\beta X) 위의 (C_0(\beta X))와 동형시킨다. 이때 겔판드 변환은 (\mathcal{F})를 대수적으로 닫힌 형태로 만들면서, (\mathcal{E})를 (\beta X) 위의 새로운 이항형식 (\widehat{\mathcal{E}})로 옮긴다. 중요한 점은 (\widehat{\mathcal{E}})가 (\beta X) 위에서 정칙 디리클레 형식이 된다는 것이다. 즉, (\widehat{\mathcal{E}})의 정의역은 (C_c(\beta X))에 조밀하고, (\widehat{\mathcal{E}})는 로컬 정칙성(local regularity)을 만족한다. 따라서 기존 정칙 디리클레 형식 이론을 그대로 적용해 (\beta X) 위에 연관된 헌트 과정을 구축할 수 있다. 저자는 이 과정을 통해 원래의 측정공간 (X)에 대한 마코프 과정이 존재함을 간접적으로 보이며, 특히 저항 형식의 경우 (\beta X)가 실제로는 원래의 프랙탈 구조를 보존하는 컴팩트화가 되므로, 기존에 알려진 베이시스와 일치한다는 점을 강조한다. 마지막으로 저자는 이 방법이 일반적인 비정칙 디리클레 형식에 대해 보편적으로 적용 가능함을 증명하고, 향후 비선형 분석이나 무한 차원 확률 과정 연구에 활용될 여지를 제시한다.