[논문 리뷰] Sobolev embeddings, extrapolations, and related inequalities

Óscar Domínguez, Sergey Tikhonov|arXiv (Cornell University)|2019. 09. 27.

Advanced Harmonic Analysis Research참고 문헌 75인용 수 6

한 줄 요약

이 논문은 $\Sigma \in \{\mathbb{R}^d, \mathbb{T}^d, \Omega\}$ 위의 함수에 대해 하위임계, 임계, 초임계 영역에서 소볼레프 임베딩을 특성화하기 위한 통합 프레임워크를 제안한다. 이 프레임워크는 재배열과 미분 평균의 점별 부등식을 포함하며, 소볼레프 임베딩이 부드러운 함수 공간에 대한 외삽 정리와 동치임을 증명하여 아스타킨과 밀만이 제기한 타오의 외삽 정리가 이 맥락에서 성립하는지에 대한 질문을 해결한다.

ABSTRACT

In this paper we propose a unified approach, based on limiting interpolation, to investigate the embeddings for the Sobolev space $(\dot{W}^k_p(\mathcal{X}))_0, \, \mathcal{X} \in \{\mathbb{R}^d, \mathbb{T}^d, Ω\}$, in the subcritical case ($k < d/p$), critical case ($k = d/p$) and supercritical case ($k > d/p$). We characterize the Sobolev embeddings in terms of pointwise inequalities involving rearrangements and moduli of smoothness/derivatives of functions and via extrapolation theorems for corresponding smooth function spaces. Applications include Ulyanov-Kolyada type inequalities for rearrangements, inequalities for moduli of smoothness, sharp Jawerth-Franke embeddings for Lorentz-Sobolev spaces, various characterizations of Gagliardo-Nirenberg, Trudinger, Maz'ya-Hansson-Brezis-Wainger and Brezis-Wainger embeddings, among others. In particular, we show that the Tao's extrapolation theorem holds true in the setting of Sobolev inequalities. This gives a positive answer to a question recently posed by Astashkin and Milman.

연구 동기 및 목표

• 한정된 보간을 사용하여 하위임계, 임계, 초임계 케이스를 모두 아우르는 소볼레프 임베딩의 통합적 특성화를 개발하기 위해.
• 재배열과 미분 평균을 포함한 점별 부등식을 통해 $(\dot{W}^k_p(\mathcal{X}))_0 \hookrightarrow Y$의 임베딩에 대한 동치 조건을 설정하기 위해.
• 소볼레프 임베딩이 부드러운 함수 공간에 대한 외삽 정리와 동치임을 보여주어 기존 결과를 일반화하기 위해.
• 아스타킨과 밀만이 최근 제기한 소볼레프 부등식 맥락에서 타오의 외삽 정리가 성립하는지 여부에 대한 열린 질문을 해결하기 위해.

제안 방법

• 저자들은 하위임계($k < d/p$), 임계($k = d/p$), 초임계($k > d/p$) 영역에서의 임베딩을 분석하기 위해 한정된 보간 이론을 활용한다.
• 재배열 $f^*$와 $k$-차 미분 평균 $\omega_k(f,t)_p$를 포함한 점별 부등식을 통해 임베딩의 동치 특성화를 도출한다.
• 특히 $\dot{W}^k_p$ 공간의 $K$-함수와 $L_p$ 기반 로렌츠 공간의 $K$-함수 간의 관계를 포함한 함수 공간에 대한 외삽 정리에 기반한다.
• 핵심 기술 도구로 하드이 형 불등식, 미분 평균의 성질, 그리고 로렌츠 및 베소프 공간에 대한 보간 보조정리를 사용한다.
• 저자들은 $V^k_p$ 공간의 $K$-함수를 명시적으로 계산하여 $K(t,f; (V^k_1)_{0}, (V^k_\infty)_{0}) \asymp \sum_{|\alpha|=k} \int_0^t (D^\alpha f)^*(u)\,du$임을 보이며, 이는 외삽 동치를 가능하게 한다.
• 이 결과들을 적용하여 기존의 부등식들, 특히 가리아르도-니렌베르크, 트루디징어, 마즈야-한슨-브레지스-와이너, 저버트-프랭크 임베딩을 복구하고 일반화한다.

실험 결과

연구 질문

• RQ1 모든 영역(하위임계, 임계, 초임계)에서 보간 이론을 사용하여 소볼레프 임베딩을 통합적으로 특성화할 수 있는가?
• RQ2 재배열과 미분 평균을 포함한 점별 부등식이 소볼레프 임베딩과 동치인가?
• RQ3 아스타킨과 밀만이 최근 제기한 바에 따르면, 타오의 외삽 정리가 소볼레프 부등식 맥락에서 성립하는가?
• RQ4 기존의 임베딩, 예를 들어 가리아르도-니렌베르크, 트루디징어, 브레지스-와이너 임베딩이 이 통합 프레임워크를 통해 복구되고 일반화될 수 있는가?
• RQ5 한정된 보간 설정에서 소볼레프 공간의 $K$-함수와 로렌츠 공간의 $K$-함수 사이의 정확한 관계는 무엇인가?

주요 결과

• 논문은 하위임계 임베딩 $(\dot{W}^k_p(\mathbb{R}^d))_0 \hookrightarrow L_{p^*,q}(\mathbb{R}^d)$에 대해 네 가지 동치 조건을 확립하였으며, 이 중 하나는 $f^*$와 $\omega_k(f,t)_p$를 포함한 점별 부등식이다.
• 저자들은 최종점 가리아르도-니렌베르크 부등식 $\|f\|_{L_{d',1}} \leq C \||\nabla f|\|_{L_1}$이 $s \to 1^-$일 때 한정된 보간 조건과 동치임을 증명한다.
• 임계 영역에서 지수 오르리치 공간(트루디징 타입)으로의 임베딩은 $\omega_k(f,t)_p$와 $f^*$를 포함한 한정된 보간 조건을 통해 특성화된다.
• 초임계 영역은 브레지스-와이너 부등식을 통해 완전히 특성화되며, 이는 $f^*$와 $\omega_k(f,t)_p$에 대한 리프시츠 타입 조건과 동치임을 보여준다.
• 저자들은 $V^k_p$ 공간의 $K$-함수가 $K(t,f; (V^k_1)_0, (V^k_\infty)_0) \asymp \sum_{|\alpha|=k} \int_0^t (D^\alpha f)^*(u)\,du$를 만족함을 증명하며, 이는 외삽 동치를 뒷받침한다.
• 논문은 아스타킨과 밀만의 질문에 대해 긍정적인 답변을 제시하며, 타오의 외삽 정리가 소볼레프 맥락에서 성립함을 보여준다.