[논문 리뷰] $\mathrm{L}^1$-estimates for constant rank operators

Bogdan Raiţă|arXiv (Cornell University)|2018. 11. 25.

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

한 줄 요약

이 논문은 모든 컴팩트한 지지를 가진 미분 가능 벡터장 u에 대해 임계 L¹-추정식 \|D^{k-1}(u - \pi u)\|_{L^{n/(n-1)}} \leq c \|\mathbb{B}(D)u\|_{L^1} 가 성립하는 것은, k-동차이고 계수가 일정한 미분 연산자 \mathbb{B}(D)가 캔슬링임과 정확히 동치임을 증명한다. 증명은 푸리에 승수 표현과 정확한 상쇄자에 의한 쌍대성에 기반하며, 바른 샤프틴겐의 타원적 결과를 더 넓은 계수가 일정한 영역으로 확장한다.

ABSTRACT

We show that the inequality $$ \|D^{k-1}(u-πu)\|_{\mathrm{L}^{n/(n-1)}(\mathbb{R}^n)}\leq c\|\mathbb{B}(D) u\|_{\mathrm{L}^1(\mathbb{R}^n)} $$ holds for vector fields $u\in\mathrm{C}^\infty_c$ if and only if $\mathbb{B}$ is canceling. Here $π$ denotes the $\mathrm{L}^2$-orthogonal projection onto the kernel of the $k$-homogeneous differential operator $\mathbb{B}(D)$ of \emph{constant rank} on $\mathbb{R}^n$. Other critical embeddings are established.

연구 동기 및 목표

• 타원적 연산자에 대한 바른 샤프틴겐의 임계 L¹-추정식을 더 넓은 상수계수 연산자 클래스로 확장한다.
• 상수계수 미분 연산자 중에서 L²-핵 위로의 투영과 관련된 임계 L¹-추정식을 만족하는 연산자를 특성화한다.
• 추정식 \|D^{k-1}(u - \pi u)\|_{L^{n/(n-1)}} \leq c \|\mathbb{B}(D)u\|_{L^1} 가 성립하기 위해 캔슬링 조건이 필수적이고 충분함을 입증한다.
• 상수계수 연산자에 대한 소볼레프 척도에서 임계 통합 이론을 통합하고 완성한다.

제안 방법

• u - \pi u 를 \mathbb{B}(D)u 의 푸리에 승수로 표현하기 위해 푸리에 승수 표현을 사용한다.
• 쌍대성 추론을 통해 바른 샤프틴겐 [26, Thm. 1.4] 의 쌍대 추정식을 적용한다.
• 최근에 제안된 상수계수 연산자에 대한 정확한 상쇄자 [17] 를 활용하여 비타원적 경우를 다룬다.
• 핵 \mathbb{B}(D) 위로의 L²-수직 투영 \pi 를 사용하여 u 에서 핵 성분을 제거한다.
• 기호 사상 \mathbb{B}(\xi) 와 그 모어-펜로즈 역행렬 \mathbb{B}^\dagger(\xi) 을 사용하여 동차성과 정규성을 분석한다.
• 유사한 쌍대성 및 승수 기법을 사용하여 분수계수, 로렌츠, 하디, 하디-소볼레프 척도로 결과를 확장한다.

실험 결과

연구 질문

• RQ1 모든 u \in C^\infty_c 에 대해 임계 L¹-추정식 \|D^{k-1}(u - \pi u)\|_{L^{n/(n-1)}} \leq c \|\mathbb{B}(D)u\|_{L^1} 가 성립하는 상수계수 미분 연산자 \mathbb{B}(D) 는 무엇인가?
• RQ2 상수계수 설정에서 이 임계 L¹-추정식이 성립하기 위해 캔슬링 조건이 필수적이고 충분한가?
• RQ3 타원적 경우에 사용된 쌍대성 방법은 비타원적 상수계수 연산자로 일반화될 수 있는가?
• RQ4 캔슬링 조건을 만족하는 상수계수 연산자에 대해 임계 통합은 전체 소볼레프, 로렌츠, 하디 척도에서 어떻게 행동하는가?

주요 결과

• 모든 u \in C^\infty_c(\mathbb{R}^n, V) 에 대해 부등식 \|D^{k-1}(u - \pi u)\|_{L^{n/(n-1)}} \leq c \|\mathbb{B}(D)u\|_{L^1} 가 성립하는 것은 \mathbb{B}(D) 가 캔슬링임과 정확히 동치이다.
• 증명은 상수계수 연산자에 대한 정확한 상쇄자의 존재 덕분에 u - \pi u 를 \mathbb{B}(D)u 의 푸리에 승수로 표현하는 데 기반한다.
• 결과는 더 넓은 상수계수 연산자 클래스로 바른 샤프틴겐의 타원적 L¹-추정식을 확장하며, 타원성 조건이 더 이상 필요하지 않다.
• 임계 통합은 고전적 소볼레프 척도 외에도 분수계수, 로렌츠, 하디 척도에서도 확립된다.
• 예제 11 에서 보듯이, \operatorname{div} 와 같은 캔슬링이 아닌 연산자에서는 추정식이 실패함을 확인하여 캔슬링 조건의 필수성을 입증한다.
• 이 방법은 원시 추정식으로부터 쌍대 추정식을 유도할 수 있으며, 캔슬링과 코캔슬링 연산자 간의 상호적 쌍대성 관계를 보여준다.