[논문 리뷰] Compactness of higher-order Sobolev embeddings

Lenka Slavíková|arXiv (Cornell University)|2013. 11. 01.

Numerical methods in engineering인용 수 1

한 줄 요약

이 논문은 확률 측도 ν를 지닌 도메인 Ω ⊆ ℝⁿ 위에서 고차수 소볼레프 공간 V^mX(Ω, ν)의 재배열 불변 공간 Y(Ω, ν)로의 컴팩트 임베딩에 대한 날카로운 기준을 수립한다. 컴팩트성은 도메인의 등면적 함수 I_{Ω,ν}를 사용하여 정의된 일변수 적분 연산자 H^m_I의 컴팩트성과 관련된다. 핵심 결과는 H^m_I가 X(0,1)에서 Y(0,1)로 컴팩트일 때에만 컴팩트 임베딩이 성립한다는 것이다. 로렌츠 공간과 올리츠 공간에 대한 구체적인 조건이 존 도메인과 가우스 유형 공간에서 도출되었으며, 이는 이전의 연속 임베딩 결과를 컴팩트 경우로 확장한 것이다.

ABSTRACT

We study higher-order compact Sobolev embeddings on a domain $\Omega \subseteq \mathbb R^n$ endowed with a probability measure $ u$ and satisfying certain isoperimetric inequality. Given $m\in \mathbb N$, we present a condition on a pair of rearrangement-invariant spaces $X(\Omega, u)$ and $Y(\Omega, u)$ which suffices to guarantee a compact embedding of the Sobolev space $V^mX(\Omega, u)$ into $Y(\Omega, u)$. The condition is given in terms of compactness of certain one-dimensional operator depending on the isoperimetric function of $(\Omega, u)$. We then apply this result to the characterization of higher-order compact Sobolev embeddings on concrete measure spaces, including John domains, Maz'ya classes of Euclidean domains and product probability spaces, whose standard example is the Gauss space.

연구 동기 및 목표

• 고차수 소볼레프 공간 V^mX(Ω, ν)의 재배열 불변 목표 공간 Y(Ω, ν)로의 컴팩트 임베딩에 대한 일반 기준을 수립하는 것.
• 이러한 임베딩의 컴팩트성과 도메인 Ω의 등면적 성질 간의 연관성을 확립하는 것, 여기서 Ω는 확률 측도 ν를 지닌다.
• 존 도메인과 곱 측도 공간(예: 가우스 공간)을 포함한 구체적인 기하적 설정에서 컴팩트 임베딩에 대한 날카로운 명시적 조건을 제공하는 것.
• 이전의 연속 임베딩 결과를 H^m_I로 정의된 일변수 적분 연산자를 분석함으로써 컴팩트 경우로 확장하는 것.
• 임베딩의 컴팩트성을 단위 구간에서 정의된 특정 적분 연산자의 유계성과 컴팩트성에 의해 특성화하는 것.

제안 방법

• 도메인 Ω의 기하학적 및 측도 이론적 성질을 코딩하기 위해 등면적 함수 I_{Ω,ν}를 사용하는 것.
• 재배열된 함수가 정의된 (0,1)에서 작용하는 일변수 적분 연산자 H^m_I를 정의하며, 다음 식으로 주어진다: $$ H^m_I f(t) = \frac{1}{(m-1)!} \int_t^1 \frac{|f(s)|}{I(s)} \left( \int_t^s \frac{dr}{I(r)} \right)^{m-1} ds, \quad t \in (0,1), $$ 이는 소볼레프 임베딩의 작용을 모델링한다.
• m차수 소볼레프 임베딩의 컴팩트성 문제를 X(0,1)에서 Y(0,1)로의 H^m_I의 컴팩트성 문제로 환원하는 것.
• 로렌츠 공간과 올리츠 공간 이론을 활용하여 X와 Y의 표현 노름을 통해 도메인 및 목표 공간을 특성화하는 것.
• 쌍대성과 외삽 기법의 사용, 특히 (L^p_{q_1;\alpha_1})^*와 함수 Φ를 활용한 일반화된 로렌츠 공간 정의.
• 로렌츠 및 올리츠 공간에서의 적분 연산자의 유계성과 컴팩트성에 관한 기존 이론을 활용하여 컴팩트 임베딩에 대한 날카로운 조건을 도출하는 것.

실험 결과

연구 질문

• RQ1 재배열 불변 공간 X와 Y에 대해 어떤 조건이 성립할 경우, 임베딩 V^mX(Ω, ν) ↪ Y(Ω, ν)가 컴팩트해지는가?
• RQ2 도메인의 등면적 함수 I_{Ω,ν}를 사용하여 고차수 소볼레프 임베딩의 컴팩트성을 어떻게 특성화할 수 있는가?
• RQ3 존 도메인과 가우스 공간과 같은 특정 기하 설정에서 컴팩트 임베딩에 대한 날카로운 조건은 무엇인가?
• RQ4 등면적 함수 I_{Ω,ν}가 0에 가까운 근처에서의 행동이 임베딩의 컴팩트성에 어떻게 영향을 미치는가?
• RQ5 임베딩의 컴팩트성은 일변수 적분 연산자 H^m_I의 컴팩트성으로 환원될 수 있는가?

주요 결과

• 임베딩 V^mX(Ω, ν) ↪ Y(Ω, ν)가 컴팩트임과 동시에 H^m_I가 X(0,1)에서 Y(0,1)로 컴팩트일 때, I는 I_{Ω,ν}의 0 근처에서의 하한이어야 한다.
• 로렌츠 공간 L^{p_1,q_1}(0,1)과 L^{p_2,q_2}(0,1)에 대해, 임베딩이 컴팩트임과 동시에 p_2 < \frac{p_1}{1 - m p_1 (1 - \alpha)} 일 때, p_1 < \frac{1}{m(1 - \alpha)} 이고, p_1 = \frac{1}{m(1 - \alpha)} 이면 p_2 < \infty 이다.
• α = 1 인 경우, H^m_s: L^{p_1,q_1}(0,1) → L^{p_2,q_2}(0,1) 임베딩은 p_2 < p_1 이면 컴팩트이다.
• 가우스 공간과 Φ(t) = \frac{1}{\beta} t^\beta 로 정의된 올리츠 공간에 대해, 임베딩은 p < ∞ 이면 q < p 이고, p = ∞ 이면 q < ∞ 이면 컴팩트이다.
• lim_{s → ∞} \frac{s}{\Phi(s)} = 0 이면, H^m_\Phi: L^p(0,1) → L^q(0,1) 임베딩은 q < p 이면 컴팩트이다.
• 표준 도메인인 존 도메인과 가우스 공간의 재배열 불변 공간 클래스에서 결과는 날카로운데, 이는 임베딩 조건이 H^m_I의 컴팩트성과 정확히 동치임을 확인한 덕분이다.