[논문 리뷰] Almost sharp descriptions of traces of Sobolev $W_{p}^{1}(\mathbb{R}^{n})$-spaces to arbitrary compact subsets of $\mathbb{R}^{n}$. The case $p \in (1,n]$

Alexander Tyulenev|arXiv (Cornell University)|2021. 09. 15.

Advanced Harmonic Analysis Research참고 문헌 21인용 수 5

한 줄 요약

이 논문은 $ p \in (1,n] $ 일 때, 임의의 컴팩트 집합 $ S \subset \mathbb{R}^n $ 에 대해 $ \mathcal{H}^{d}_{\infty}(S) > 0 $ 를 만족하는 경우, $ W_p^1(\mathbb{R}^n)|_S $ 의 거의 날카로운 내재적 특성화를 제공한다. $ \varepsilon > 0 $ 에 대해, $ W_{p-\varepsilon}^1(\mathbb{R}^n) $ 로의 유계 선형 확장 연산자를 구성함으로써, $ S $ 에 대한 정규성 가정 없이 거의 최적의 확장 이론을 수립한다. 주요 기여는 노름의 등가성까지 추적을 특성화하는 새로운 함수 공간 $ \operatorname{X}^{d^*}_{p-\varepsilon,d,\{\mathfrak{m}_k\}}(S) $ 이다.

ABSTRACT

Let $S \subset \mathbb{R}^{n}$ be an arbitrary nonempty compact set such that the $d$-Hausdorff content $\mathcal{H}^{d}_{\infty}(S) > 0$ for some $d \in (0,n]$. For each $p \in (\max\{1,n-d\},n]$, an almost sharp intrinsic description of the trace space $W_{p}^{1}(\mathbb{R}^{n})|_{S}$ of the Sobolev space $W_{p}^{1}(\mathbb{R}^{n})$ to the set $S$ is obtained. Furthermore, for each $p \in (\max\{1,n-d\},n]$ and $\varepsilon \in (0, \min\{p-(n-d),p-1\})$, new bounded linear extension operators from the trace space $W_{p}^{1}(\mathbb{R}^{n})|_{S}$ into the space $W_{p-\varepsilon}^{1}(\mathbb{R}^{n})$ are constructed.

연구 동기 및 목표

• 임의의 컴팩트 집합 $ S \subset \mathbb{R}^n $ 에 대해 $ \mathcal{H}^{d}_{\infty}(S) > 0 $ 를 만족할 때, $ S $ 의 정규성 가정 없이 $ W_p^1(\mathbb{R}^n)|_S $ 의 내재적, 거의 날카로운 기술을 제공하는 것.
• 모든 $ \varepsilon \in (0, \min\{p - (n-d), p-1\}) $ 에 대해, $ W_{p-\varepsilon}^1(\mathbb{R}^n) $ 로의 유계 선형 확장 연산자를 추적 공간에서 구성함으로써 거의 최적의 정(regularity)을 달성하는 것.
• 추적 공간을 노름의 등가성까지 특성화하는 새로운 함수 공간 $ \operatorname{X}^{d^*}_{p-\varepsilon,d,\{\mathfrak{m}_k\}}(S) $ 를 도입하고 연구하는 것.
• 예외적인 범위 $ p \in (1,n] $ 에서의 추적 문제를 날카로움 요구 조건을 약화시키고, Calderón 유형 최대 함수 및 Frostman 유형 측도를 사용하여 해결하는 것.

제안 방법

• 논문은 $ S $ 에 정의된 Calderón 유형 최대 함수와 $ \{\mathfrak{m}_k\} $ 이라는 Frostman 유형 측도의 시퀀스를 이용해 정의된 새로운 함수 공간 $ \operatorname{X}^{d^*}_{p-\varepsilon,d,\{\mathfrak{m}_k\}}(S) $ 를 사용하며, 이는 추적 행동을 포착한다.
• 특수한 근사 수열과 확장 연산자 $ \operatorname{Ext}_{S,\{\mathfrak{m}_k\},\lambda} $ 를 구성하여, 추적 공간의 함수를 $ W_{p-\varepsilon}^1(\mathbb{R}^n) $ 의 함수로 매핑하며, 확장 연산자의 유계성을 보장한다.
• 함수의 $ S $ 근처에서의 진동과 성장 제어를 위해, 적합한 커버링 수열, Whitney 유형 공극, 그리고 빈 칸 입방체 등의 조합 및 측도 이론적 도구를 활용한다.
• 완비성과 노름 등가성을 확립하기 위해, 용량 이론, 최대 함수의 $ L_p $-유계성, 그리고 Fatou 유형의 극한 추론을 조합한 증명 기법을 사용한다.
• 용량이 0인 집합을 무시한 채로, $ (1,p) $-좋은 대표자와 $ d $-Hausdorff 측도를 통한 쌍대성 원리를 적용하여 추적을 정의한다.
• 구성의 타당성을 입증하기 위해, $ W_p^1(\mathbb{R}^n)|_S $ 의 추적 노름이 유니버설 상수에 의존하는 상수까지 $ \operatorname{X}^{d^*}_{p-\varepsilon,d,\{\mathfrak{m}_k\}}(S) $-노름과 등가임을 증명한다.

실험 결과

연구 질문

• RQ1 임의의 컴팩트 집합 $ S \subset \mathbb{R}^n $ 에 대해 $ \mathcal{H}^d_\infty(S) > 0 $ 를 만족할 때, $ p \in (1,n] $ 일 경우, $ W_p^1(\mathbb{R}^n)|_S $ 의 내재적, 거의 날카로운 특성화는 무엇인가요?
• RQ2 $ S $ 가 정규성이 없더라도, $ \varepsilon > 0 $ 에 대해 추적 공간에서 $ W_{p-\varepsilon}^1(\mathbb{R}^n) $ 로의 유계 선형 확장 연산자를 구성할 수 있나요?
• RQ3 노름의 등가성까지 추적을 특성화하는 $ S $ 상의 함수 공간이 존재하는가, 이는 대표자 선택과 무관하게 성립하는가?
• RQ4 추적 노름은 $ S $ 의 기하학적 및 측도 이론적 성질, 예를 들어 $ d $-Hausdorff 측도와 Frostman 유형 측도와 어떻게 관련이 있는가?

주요 결과

• 각 $ p \in (\max\{1,n-d\}, n] $ 에 대해, 추적 공간 $ W_p^1(\mathbb{R}^n)|_S $ 는 $ \operatorname{X}^{d^*}_{p-\varepsilon,d,\{\mathfrak{m}_k\}}(S) $ 를 통해 거의 날카로운 특성화를 받으며, 노름 등가성은 유니버설 상수까지 성립한다.
• 모든 $ \varepsilon \in (0, \min\{p - (n-d), p - 1\}) $ 에 대해, $ \operatorname{X}^{d^*}_{p-\varepsilon,d,\{\mathfrak{m}_k\}}(S) $ 에서 $ W_{p-\varepsilon}^1(\mathbb{R}^n) $ 로의 유계 선형 확장 연산자 $ \operatorname{Ext}_{S,\{\mathfrak{m}_k\},\lambda} $ 가 존재한다.
• $ \operatorname{X}^{d^*}_{p-\varepsilon,d,\{\mathfrak{m}_k\}}(S) $ 는 주어진 노름 하에서 완비성으로 인해 바나흐 공간임이 입증된다.
• $ W_p^1(\mathbb{R}^n)|_S $ 의 추적 노름 $ \|f|W_p^1(\mathbb{R}^n)|_S\| $ 은 $ \operatorname{X}^{d^*}_{p-\varepsilon,d,\{\mathfrak{m}_k\}}(S) $-노름과 등가이며, 등가 상수는 $ n, p, \varepsilon, d, \lambda, c $ 와 상수 $ \operatorname{C}_{\{\mathfrak{m}_k\},i} $ 에만 의존한다.
• 구성은 $ S $ 의 기하학에 적합한 Calderón 유형 최대 함수와 Frostman 유형 측도의 시퀀스 $ \{\mathfrak{m}_k\} $ 에 기반하며, 이는 함수의 진동을 제어하는 데 기여한다.