[논문 리뷰] Estimates for differential operators of vector analysis involving $L^1$-norm

Vladimir Maz’ya|ArXiv.org|2008. 08. 04.

Mathematical Analysis and Transform Methods참고 문헌 7인용 수 7

한 줄 요약

이 논문은 $\mathbb{R}^n$에서 스칼라장과 벡터장에 대한 $L^1$-노름을 포함하는 새로운 하디 및 소볼레프 유형 부등식을 수립하며, H. 브레지스가 제기한 발산이 없는 벡터장에 대한 $L^1$-추정의 타당성 문제를 해결한다. 주요 기여는 경계의 $L^1$-노름과 라플라스 연산자의 $L^1$-노름을 연결하는 날카운 부등식으로, 단위 구면에서 동차 함수의 구면 평균이 0이 되는 것이 필요하고 충분한 조건임을 밝힌다.

ABSTRACT

New Hardy and Sobolev type inequalities involving $L^1$-norms of scalar and vector-valued functions in $\Bbb{R}^n$ are obtained. The work is related to some problems stated in the recent paper by Bourgain and Brezis

연구 동기 및 목표

• H. 브레지스가 발산이 없는 벡터장에 대해 $L^1$-노름을 포함하는 하디 유형 부등식의 타당성에 대해 제기한 열린 문제를 해결하기 위해.
• 뉴턴 잠재력과 구면 위의 동차 함수를 포함하는 미분 연산자의 $L^1$-추정에 필요한 및 충분한 조건을 수립하기 위해.
• 이러한 추정을 벡터값 함수와 특히 $\mathcal{H}^{-s}(\mathbb{R}^n)$와 같은 음의 차수의 힐베르트-소볼레프 공간으로 확장하기 위해.
• 타원형 및 코일 유형 방정식의 해에 대한 딱지 기반 존재 결과를 $L^1$-기반 함수 공간에서 도출하기 위해.

제안 방법

• 뉴턴 잠재력의 기울기를 $|x|$에 대한 공간의 링형 영역에 따라 국소화된 성분 $A_1, A_2, A_3, A_4$로 분해함으로써 증명이 이루어진다.
• 각 성분에 대한 추정은 점별 경계와 민코프스키 부등식을 사용하여 유도되며, 함수 $\Phi$의 동차성과 리프시츠 조건이 활용된다.
• 함수 $\Phi$의 구면 평균 조건 $\int_{S^{n-1}} \Phi \, d\omega_x = 0$의 필요성은 딜라크 델타의 방사형 모티프를 통해 보여진다.
• 충분성은 삼각 부등식과 $\Phi$의 리프시츠 성질을 이용한 $L^q$-형 적분의 경계를 통해 $L^1$-노름 제어로 이어지는 방식으로 증명된다.
• 쌍대성 원리와 푸리에 분석을 통해 특히 $s = n/2$ 및 $s = 1+n/2$일 때 힐베르트-소볼레프 공간 $\mathcal{H}^{-s}$에서의 추정을 도출한다.
• 벡터장으로의 확장은 $\mathrm{div}$, $\mathrm{curl}$ 및 라플라스 연산자와 관련된 항등식을 통해 이루어지며, $\mathcal{H}^{-5/2}$ 및 $L^1$-기반 노름에서의 추정이 가능해진다.

실험 결과

연구 질문

• RQ1 발산이 없는 $\Delta{\bf u}$에 대해 부등식 $\left| \int_{\mathbb{R}^n} |D{\bf u}(x)| \frac{dx}{|x|} \right| \leq C \int_{\mathbb{R}^n} |\Delta{\bf u}(x)| \, dx$ 가 성립하는가?
• RQ2 상수 $a_j$에 대해 부등식 $\left| \int_{\mathbb{R}^n} \sum_j a_j \left| \frac{\partial u}{\partial x_j} \right| \frac{dx}{|x|} \right| \leq C \int_{\mathbb{R}^n} |\Delta u| \, dx$ 가 모든 $u \in C_0^\infty$ 에 대해 성립하기 위한 조건은 무엇인가?
• RQ3 $\mathrm{div}\,{\bf g} \in \mathcal{H}^{-1-n/2}$ 인 $L^1$-벡터장 ${\bf g}$ 에 대해 추정 $\left| \|{\bf g}\|_{\mathcal{H}^{-n/2}}^2 - n \|\mathrm{div}\,{\bf g}\|_{\mathcal{H}^{-1-n/2}}^2 \right| \leq C \|{\bf g}\|_{L^1}^2$ 이 성립하는가?
• RQ4 $\mathbb{R}^3$ 에서 ${\bf f} \in \mathcal{H}^{1/2}$ 이고 $\mathrm{div}\,{\bf f} = 0$ 인 경우 $\mathrm{curl}\,{\bf u} = {\bf f}$ 의 해에 대한 딱지 기반 존재 결과가 존재하는가?

주요 결과

• 모든 $u \in C_0^\infty$ 에 대해 부등식 $\left| \int_{\mathbb{R}^n} \sum_j a_j \left| \frac{\partial u}{\partial x_j} \right| \frac{dx}{|x|} \right| \leq C \int_{\mathbb{R}^n} |\Delta u| \, dx$ 가 성립하는 것은 $\sum_j a_j = 0$ 인 것과 필요충분이다.
• 스칼라 함수에 대해 부등식 $\sup_{R>0} \left| \int_{|x|<R} \Phi(\nabla u(x)) |x|^{n(q-1)-q} dx \right| \leq C \|f\|_{L^1}^q$ 가 성립하는 것은 $\Phi$ 가 $q \in [1, \frac{n}{n-1})$ 에 대해 차수 $q$ 의 동차 함수일 때 $\int_{S^{n-1}} \Phi(x) \, d\omega_x = 0$ 인 것과 필요충분이다.
• 모든 $\mathbf{g} \in L^1$ 에 대해 $\mathrm{div}\,{\bf g} \in \mathcal{H}^{-1-n/2}$ 이면 추정 $\left| \|{\bf g}\|_{\mathcal{H}^{-n/2}}^2 - n \|\mathrm{div}\,{\bf g}\|_{\mathcal{H}^{-1-n/2}}^2 \right| \leq \frac{(2\sqrt{\pi})^{-n}}{\Gamma(n/2)} \|{\bf g}\|_{L^1}^2$ 이 성립한다.
• 쌍대 부등식은 [BB2]의 열린 문제 2에 대해 $l=1$, $p=2$, $s=n/2$ 일 때 긍정적인 답변을 확인한다.
• $\mathbb{R}^3$ 에서 방정식 $\mathrm{curl}\,{\bf u} = {\bf f}$ 는 ${\bf f} \in \mathcal{H}^{1/2}$ 이고 $\mathrm{div}\,{\bf f} = 0$ 이면 $\mathcal{H}^{3/2} \cap L^\infty$ 에서 해를 가진다.
• 만약 $\mathrm{curl}\,{\bf w} = {\bf f} + {\bf g}$, $\mathrm{div}\,{\bf w} = 0$, 그리고 $\int {\bf g} = 0$ 이면 추정 $\left| \|\Delta{\bf w} + \mathrm{curl}\,{\bf f}\|_{\mathcal{H}^{-5/2}}^2 - 2\|\mathrm{div}\,{\bf f}\|_{\mathcal{H}^{-5/2}}^2 \right| \leq \frac{1}{4\pi^2} \|{\bf g}\|_{L^1}^2$ 가 성립한다.