[논문 리뷰] Traces of Newton-Sobolev, Hajlasz-Sobolev and BV functions on metric spaces

Panu Lahti, Xining Li외 1명|ArXiv.org|2019. 11. 01.

Geometric Analysis and Curvature Flows참고 문헌 29인용 수 7

한 줄 요약

이 논문은 극도로 낮은 도메인 정규성 조건 하에서, 중량 측도와 Poincaré 부등식을 만족하는 메트릭 측도 공간에서 뉴턴-소볼레프, 하틀라즈-소볼레프, 그리고 BV 함수들이 동일한 경계 자취 공간을 공유함을 증명한다. 더 정규적인 함수를 구성함으로써 경계 값이 유지되도록 하여, 세 클래스의 자취 공간이 동일함을 입증하였으며, 이는 비정규 도메인과 비-Ahlfors 정규 경계 조건 하에서도 성립한다. 이는 고전적 결과를 일반적인 메트릭 설정으로 확장한 것이다.

ABSTRACT

We study the boundary traces of Newton-Sobolev, Hajlasz-Sobolev, and BV (bounded variation) functions. Assuming less regularity of the domain than is usually done in the literature, we show that all of these function classes achieve the same "boundary values", which in particular implies that the trace spaces coincide provided that they exist. Many of our results seem to be new even in Euclidean spaces but we work in a more general complete metric space equipped with a doubling measure and supporting a Poincare inequality.

연구 동기 및 목표

• 메트릭 측도 공간에서 최소한의 도메인 정규성 조건 하에서 BV, 뉴턴-소볼레프, 하틀라즈-소볼레프 함수의 경계 자취를 조사한다.
• 자취가 존재할 경우, 더 정규적인 함수가 BV 함수와 동일한 경계 값을 갖는지 확인한다.
• 동일한 조건 하에서 세 함수 클래스의 자취 공간이 일치함을 증명한다.
• 유럽 공간에서의 고전적 자취 결과를 일반적인 메트릭 측도 공간으로 확장하며, 비-Ahlfors 정규 경계도 포함한다.
• 비정규 도메인에서 다양한 함수 클래스 간 자취 및 확장 문제를 위한 통합 프레임워크를 제공한다.

제안 방법

• 저자들은 BV 및 뉴턴-소볼레프 함수에 대해 근사 기법을 사용하여 경계 행동을 유지하는 더 정규적인 함수를 구성한다.
• 중량 측도와 (1,1)-Poincaré 부등식을 만족하는 메트릭 측도 공간에서 기존 및 신규 근사 결과를 적용한다.
• 핵심 방법은 경계점 중심의 구에서 근사 함수가 원래 함수로 균일하게 $L^q$ 수렴함을 보이는 것이다.
• 구성은 근사 함수 $v$ 가 $\|v - u\|_{L^\infty(\Omega \setminus \Omega(r))} \to 0$ 를 만족하도록 보장하며, $r \to 0^+$ 일 때 경계 값을 유지한다.
• 비-Ahlfors 정규 경계의 경우, 이중 노름과 가중 측도를 사용하여 자취 공간을 베소프 유사 공간 $\mathcal{B}^\lambda_1(\mathbb{R})$ 로 특성화한다.
• 기하학적 및 측도 이론적 가정 하에서 $N^{1,1}(\Omega,\mu)$, $\mathrm{BV}(\Omega,\mu)$, 및 $M^{1,1}(\Omega,\mu)$ 의 자취 공간이 일치함을 검증한다.

실험 결과

연구 질문

• RQ1 중량 측도와 Poincaré 부등식을 가진 메트릭 측도 공간에서, 뉴턴-소볼레프, 하틀라즈-소볼레프, 그리고 BV 함수들이 최소한의 도메인 정규성 조건 하에서도 동일한 자취 공간을 가지는가?
• RQ2 표준 정규성 조건이 없는 도메인에서도, 주어진 BV 함수와 동일한 경계 값을 갖는 더 정규적인 함수를 구성할 수 있는가?
• RQ3 경계에 비-Ahlfors 정규 측도가 존재할 경우, $N^{1,1}(\Omega,\mu)$ 와 $\mathrm{BV}(\Omega,\mu)$ 의 자취 공간은 무엇인가?
• RQ4 예를 들어 Muckenhoupt $A_1$ 가중치를 사용할 경우, 측도 $\mu$ 가 가중치를 갖는다면 자취 공간은 어떻게 변화하는가?
• RQ5 $M^{1,1}(\Omega,\mu)$ 의 자취 공간을 경계에서의 $L^1$ 또는 베소프 유사 노름으로 특성화할 수 있는가?

주요 결과

• 모든 $u \in \mathrm{BV}(\Omega)$ 에 대해, $v \in N^{1,1}(\Omega) \cap \mathrm{Lip}_{\mathrm{loc}}(\Omega)$ 가 존재하여, 모든 $x \in \partial\Omega$ 에 대해 $r \to 0^+$ 일 때 $\int_{B(x,r)\cap\Omega} |v - u|^{s/(s-1)} \, d\mu \to 0$ 이 균일하게 성립한다. 여기서 $s$ 는 동차 차원이다.
• 모든 $u \in \mathrm{BV}(\Omega)$ 와 $1 \leq q < \infty$ 에 대해, $v \in N^{1,1}(\Omega)$ 가 존재하여, 모든 $x \in \partial\Omega$ 에 대해 $r \to 0^+$ 일 때 $\int_{B(x,r)\cap\Omega} |v - u|^q \, d\mu \to 0$ 이 균일하게 성립한다.
• 모든 $\varepsilon > 0$ 에 대해, $\mathcal{H}(S_v) < \varepsilon$ 인 $v \in \mathrm{SBV}(\Omega)$ 가 존재하여, $r \to 0^+$ 일 때 $\|v - u\|_{L^\infty(\Omega \setminus \Omega(r))} \to 0$ 이 성립한다.
• 상반평면에 가중치 $w_\lambda(x) = \log^\lambda(\max\{e, e/|x_2|\})$ 를 적용한 경우, $N^{1,1}(\mathbb{R}^2_+, \mu)$ 의 자취 공간은 $\mathcal{B}^\lambda_1(\mathbb{R})$ 이며, 이는 $\mathrm{BV}(\mathbb{R}^2_+, \mu)$ 와 $M^{1,1}(\mathbb{R}^2_+, \mu)$ 의 자취 공간과도 일치한다.
• $\mathrm{BV}(\Omega,\mu)$, $N^{1,1}(\Omega,\mu)$, $M^{1,1}(\Omega,\mu)$ 의 자취 공간은 유클리드 도메인과 르베그 측도 조건 하에서 $L^1(\partial\Omega)$ 와 일치하며, 고전적 결과를 복원한다.
• 경계 측도 $\mathcal{H}$ 가 $\sigma$-유한 또는 Ahlfors 정규가 아닐 경우에도, 세 함수 클래스의 자취 공간은 동일하게 유지되며, 이는 가중치가 있는 반평면 예시를 통해 입증되었다.