측정공간 위 소보레프 공간과 상수 함수의 새로운 진동 특성

초록

배가 가능한 측정공간에서 (1,p)‑Poincaré 부등식을 가정하면, 1차 Hajlasz‑Sobolev 공간을 평균 진동의 L^{p,∞} 노름으로 정확히 기술하고, 특정 Besov‑형 적분이 유한할 때 함수가 상수임을 보인다. 핵심 도구는 스케일 r<R 에서 같은 형태의 진동을 비교하는 “거시적 Poincaré 부등식”이다.

상세 분석

본 논문은 완비이며 doubling 성질을 갖는 측정공간 (X,ρ,μ) 에서 (1,p)‑Poincaré 부등식이 성립할 때, Sobolev 공간과 상수 함수의 새로운 특징을 제시한다. 첫 번째 주요 결과(Theorem 1.1)는 Hajlasz‑Sobolev 공간 \dot M_{1,p}(μ) 를 평균 진동 함수
(m_f(x,t)=\frac{1}{\mu(B(x,t))}\int_{B(x,t)}|f(y)-\langle f\rangle_{B(x,t)}|,d\mu(y))
의 weak‑L^{p} 노름 (|m_f|{L^{p,\infty}(\nu_p)}) 와 동등하게 만든다. 여기서 (\nu_p) 는 (d\nu_p(x,t)=\frac{d\mu(x),dt}{t^{p+1}}) 로 정의된다. 이 동등성은 (1.3)‑(1.4) 식으로 정량화되며, 특히 (|f|{\dot M_{1,p}}) 와 (|m_f|{L^{p,\infty}}) 사이에 양쪽 상수가 존재함을 보인다. 기존 유클리드 혹은 Carnot 군 경우와 달리, 군 구조가 없으므로 새로운 “거시적 Poincaré 부등식”(Theorem 3.4)을 도입해 큰 스케일의 진동을 작은 스케일의 진동으로 제어한다. 이 부등식은
(\int{B(z,R)}|f-\langle f\rangle_{B(z,R)}|,d\mu \le C,R\int_{B(z,\lambda r)}(\operatorname{lip}f)^p,d\mu)
형태를 갖으며, r<R 임의의 두 스케일에 대해 균등하게 적용된다.

두 번째 결과(Theorem 1.5)는 Besov‑형 적분이 유한하면 함수가 상수임을 보인다. 여기서 (\dot B_{s,p,p}(\mu)) 와 (\dot B_p(\mu)) 를 각각
(\iint_{X\times X}\frac{|f(x)-f(y)|^p}{\rho(x,y)^{sp}V(x,y)},d\mu(x)d\mu(y))
와
(\iint_{X\times X}\frac{|f(x)-f(y)|^p}{V(x,y)},d\mu(x)d\mu(y))
로 정의한다. (1)에서는 (1,d)‑Poincaré 부등식만 있으면 (\dot B_{1,d,d}(\mu)) 가 정확히 상수 함수 집합이 된다. (2)에서는 추가로 하위 차원 d 를 가정하면 (\dot B_p(\mu)) 가 p≤d 일 때도 동일한 결론을 얻는다. 이는 기존 결과를 일반화하고, 특히 Bessel 가중치 공간에서의 상수성 판정에 직접 활용된다.

증명 전략은 크게 세 단계로 나뉜다. 첫째, 하한부(∥f∥{\dot M{1,p}}≳∥m_f∥)는 기존 Euclidean 방법을 그대로 적용한다. 둘째, 상한부를 얻기 위해서는 Lipschitz 함수에 대한 평균 진동과 최대 진동의 정밀 비교가 필요하며, 이를 Section 6에서 전개한다. 셋째, 일반 L¹_loc 함수에 대해 Lipschitz 근사성을 확보하기 위해 Section 7에서 거시적 Poincaré 부등식을 이용해 “컨볼루션 없이” 근사 과정을 구축한다. 이러한 일련의 과정은 Sobolev‑Besov 관계를 비유클리드 공간에서도 유지하도록 만든다.

또한 논문은 (1,p)‑Poincaré 부등식이 (1,p−ε)‑부등식으로 자동 강화를 보이는 Theorem 2.8을 활용해 완비성 가정을 최소화하고, 하위 차원 d 와 상위 차원 D 개념을 도입해 공간의 기하학적 규모를 정량화한다. 최종적으로는 commutator