무한 차원에서의 Sobolev 동등성 H W와 그 응용

초록

본 논문은 ℓ² 공간의 열린 집합 O에 대해, 매끄러운 실린더 함수가 Sobolev 공간 W^{m,p}(O)에서 조밀함을 보이고, 따라서 H^{m,p}(O)=W^{m,p}(O)임을 증명한다. 핵심은 무한 차원에서의 절단, 경계 평탄화, 분할 단위함수 기법을 적절히 확장한 것이며, Gross 컨볼루션의 고차 미분에 대한 Schatten‑2‑노름 추정이 최적임을 동시에 확인한다.

상세 분석

이 논문은 무한 차원 힐베르트 공간 ℓ²에 정의된 Gaussian 측도 P 하에서 Sobolev 공간 H^{m,p}와 W^{m,p}의 동등성을 다룬다. 유한 차원에서 H^{m,p}=W^{m,p}는 확장 연산자 존재와 표준적인 절단·경계 평탄화·분할 단위함수 기법을 통해 쉽게 증명되지만, 무한 차원에서는 번역 불변 측도가 존재하지 않아 이러한 도구들을 직접 사용할 수 없다. 저자들은 먼저 cylinder 함수들의 정의와 F‑연속성 개념을 도입하고, 이를 기반으로 C^{∞}_F(O)가 L^{p}(O,P)에서 조밀함을 보이는 Lemma 3을 증명한다.

핵심 기술은 세 단계로 구성된다. 첫 번째는 “compact truncation” 단계로, 무한 차원에서의 함수들을 유한 차원 구간에 제한하고, Gross 컨볼루션을 이용해 부드럽게 만든 뒤, Schatten‑p‑노름(특히 p=2) 추정이 최적임을 Theorem 18에서 확인한다. 여기서 사용된 Hilbert‑Schmidt 추정은 기존 문헌(예: