[논문 리뷰] Sobolev functions on closed subsets of the real line: long version

Pavel Shvartsman|arXiv (Cornell University)|2018. 08. 04.

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

한 줄 요약

이 논문은 임의의 닫힌 부분집합 $E \subset \mathbb{R}$ 에 제한된 Sobolev 함수 공간 $W_p^m(\mathbb{R})$ 와 동차 Sobolev 공간 $L_p^m(\mathbb{R})$ 의 추적 공간을 기하학적이고 변분적인 기준으로 특성화한다. 고전적인 Whitney 확장 연산자는 $L_p^m$-확장에 대해 보편적으로 최적임을 입증하며, 연산자 노름이 오직 $m$ 에만 의존하는 상수로 유계임을 보인다. 또한 $m$-차 분할 차수를 통한 노름을 정의하여, 이 노름이 $m$ 에만 의존하는 상수 범위 내에서 추적 노름과 등가임을 특성화한다. 핵심 결과는 $E$ 의 유한 부분집합에서의 분할 차수에 대한 $L^p$-노름을 기반으로 한 날카운, 구조적인 추적 기준이다. 논문은 이 결과를 $p=\infty$ 의 극한 경우로 확장하고, 확장 연산자의 유한성 원리와 승수 상수를 논의한다.

ABSTRACT

For each $p>1$ and each positive integer $m$ we give intrinsic characterizations of the restriction of the Sobolev space $W^m_p(R)$ and homogeneous Sobolev space $L^m_p(R)$ to an arbitrary closed subset $E$ of the real line. In particular, we show that the classical one dimensional Whitney extension operator is "universal" for the scale of $L^m_p(R)$ spaces in the following sense: for every $p\in(1,\infty]$ it provides almost optimal $L^m_p$-extensions of functions defined on $E$. The operator norm of this extension operator is bounded by a constant depending only on $m$. This enables us to prove several constructive $W^m_p$- and $L^m_p$-extension criteria expressed in terms of $m^{th}$ order divided differences of functions.

연구 동기 및 목표

• 닫힌 부분집합 $E \subset \mathbb{R}$ 에 정의된 함수가 $p \in (1, \infty)$ 에 대해 Sobolev 공간 $W_p^m(\mathbb{R})$ 에서의 확장이 가능한지 판단하기 위한 내재적이고 구조적인 기준을 제공하는 것.
• 주어진 함수 $f$ 의 모든 확장 중에서 $W_p^m(\mathbb{R})$-노름의 최소값, 즉 추적 노름 $\|f\|_{W_p^m(\mathbb{R})|_E}$ 을 특성화하는 것.
• 고전적인 Whitney 확장 연산자가 $L_p^m(\mathbb{R})$-확장에 대해 $p \in (1, \infty]$ 전역에서 보편적으로 최적임을 보여주는 것. 이때 연산자 노름은 오직 $m$ 에만 의존하는 상수로 유계임.
• $W_p^m(\mathbb{R})|_E$ 의 추적 공간에 대해 유한성 원리를 수립하여, 전역 추적 노름이 $E$ 의 유한 부분집합에서의 국소 $L^p$-노름의 상한에 의해 제어됨을 보여주는 것.

제안 방법

• 논문은 $E$ 내의 모든 유한 증가 $m$-튜플에 대해 $m$-차 분할 차수의 $L^p$-노름을 정의하는 변분 세미노름 $\mathcal{W}_{m,p}(f:E)$ 을 도입하며, 이는 각 튜플의 첫 번째와 마지막 점 사이의 거리 $\min\{1, x_{i+m} - x_i\}$ 로 가중된다.
• 이 노름이 $\|f\|_{W_p^m(\mathbb{R})|_E} \sim \mathcal{W}_{m,p}(f:E)$ 를 만족하며, 이 상수들은 오직 $m$ 에만 의존함을 증명함으로써 구조적인 추적 기준을 확립한다.
• 증명은 Whitney 확장 연산자에 기반하며, 이 연산자가 $L_p^m(\mathbb{R})$-확장에 대해 거의 최적임을 보이며, 연산자 노름이 $m$ 에 따라 균일하게 유계임을 입증한다.
• 이산 집합 $E = \{x_i\}_{i=\ell_1}^{\ell_2}$ 에 대해 기준은 전체 수열에 대한 합으로 개선되며, 인덱스 범위는 $m_E = \min\{m, \#E - 1\}$ 으로 제한된다.
• 논문은 분석을 $p = \infty$ 의 극한 경우로 확장하여, 유한성 원리와 승수 유한성 상수 $\gamma^\sharp(N; W^m_\infty(\mathbb{R}^n))$ 을 도입한다.
• 날카운 유한성 수 $N^\sharp(L^m_\infty(\mathbb{R}^n))$ 을 논의하고, 특히 $n=1$ 과 $n=2$ 에서의 값에 대한 추측과 경계를 제공한다.

실험 결과

연구 질문

• RQ1 함수 $f$ 가 닫힌 부분집합 $E \subset \mathbb{R}$ 에 정의되어 있을 때, 어떤 조건에서 $p \in (1, \infty)$ 에 대해 $W_p^m(\mathbb{R})$ 에서의 확장이 가능할 수 있는가?
• RQ2 함수 $f$ 가 $\mathbb{R}$ 로 확장될 때, 가능한 최소 $W_p^m(\mathbb{R})$-노름은 무엇이며, 이를 내재적으로 어떻게 특성화할 수 있는가?
• RQ3 고전적인 Whitney 확장 연산자는 $p \in (1, \infty]$ 전역에서 $L_p^m(\mathbb{R})$-확장에 대해 보편적으로 최적인가?
• RQ4 추적 공간 $W_p^m(\mathbb{R})|_E$ 는 $E$ 의 유한 부분집합에서만 테스트하는 것으로 유한성 원리에 의해 특성화될 수 있는가?
• RQ5 특히 $n=1$ 과 $n=2$ 에서 $W^m_\infty(\mathbb{R}^n)$ 과 $L^m_\infty(\mathbb{R}^n)$ 의 날카운 유한성 수와 승수 상수는 무엇이며, 이들의 渐近적 행동은 어떻게 되는가?

주요 결과

• 추적 공간 $W_p^m(\mathbb{R})|_E$ 는 $E$ 내의 모든 유한 증가 $m$-튜플에 대해 $m$-차 분할 차수의 $L^p$-노름을 정의한 세미노름 $\mathcal{W}_{m,p}(f:E)$ 의 유한성에 의해 특성화된다. 이 노름은 각 튜플의 첫 번째와 마지막 점 사이의 거리 $\min\{1, x_{i+m} - x_i\}$ 로 가중된다.
• 추적 노름 $\|f\|_{W_p^m(\mathbb{R})|_E}$ 는 $\mathcal{W}_{m,p}(f:E)$ 와 상수들이 오직 $m$ 에만 의존하는 범위 내에서 등가이며, 이는 확장 가능성에 대한 날카운, 구조적인 기준을 제공한다.
• 고전적인 Whitney 확장 연산자는 $L_p^m(\mathbb{R})$-확장에 대해 보편적으로 최적이다. 이 연산자 노름은 오직 $m$ 에만 의존하는 상수로 유계이며, $p$ 와 $E$ 에 무관하다.
• 이산 집합 $E = \{x_i\}_{i=\ell_1}^{\ell_2}$ 에 대해 기준은 전체 수열에 대한 합으로 단순화되며, 인덱스 범위는 $m_E = \min\{m, \#E - 1\}$ 으로 제한된다. 이로 인해 날카운 등가 $\|f\|_{W_p^m(\mathbb{R})|_E} \sim \widetilde{\mathcal{W}}_{m,p}(f:E)$ 가 도출된다.
• $p = \infty$ 인 경우, 날카운 유한성 수 $N^\sharp(L^m_\infty(\mathbb{R})) = m+1$ 이며, $\gamma^\sharp(L^m_\infty(\mathbb{R}))$ 가 유한하고 $m$ 에 따라 독립적으로 유계임을 증명한다.
• 논문은 고차원에서의 날카운 유한성 수에 대한 추측을 제시한다: $N^\sharp(L^m_\infty(\mathbb{R}^{n+1})) = \prod_{k=1}^{m+1} k^{\binom{m+n-k}{n-1}}$, 그리고 $\lim_{N \to \infty} \gamma^\sharp(N; W^2_\infty(\mathbb{R}^2)) > 1$ 이며, 이는 승수 유한성 상수가 1로 수렴하지 않음을 의미한다.