[논문 리뷰] The sharp higher order Hardy--Rellich type inequalities on the homogeneous groups

Van Hoang Nguyen|arXiv (Cornell University)|2017. 08. 30.

Advanced Harmonic Analysis Research참고 문헌 35인용 수 3

한 줄 요약

이 논문은 고르지 않은 군 위에서 고차 미분을 포함하는 적분 항등식을 사용하여 날카로운 고차 미분형 하디–렐리히 부등식을 수립한다. 이는 새로운 가중 $L^p$ 및 임계 부등식을 도출하며, 특히 유클리드 공간 $ ^n$ 내에서 이전 결과들을 수정하고 확장하는 날카로운 전역 스케일링 불변 형태를 포함한다.

ABSTRACT

We prove several interesting equalities for the integrals of higher order derivatives on the homogeneous groups. As consequences, we obtain the sharp Hardy--Rellich type inequalities for higher order derivatives including both the subcritical and critical inequalities on the homogeneous groups. We also prove several uncertainty principles on the homogeneous groups. Our results seem to be new even in the case of Euclidean space $\mathbb R^n$ and give a simple proof of several classical Hardy--Rellich type inequalities in $\mathbb R^n$.

연구 동기 및 목표

• 고르지 않은 군 위에서 고차 미분을 포함하는 적분 항등식을 사용하여 날카로운 고차 미분형 하디–렐리히 부등식을 도출한다.
• 유클리드 공간 $ ^n$ 내에서 고전적 하디–렐리히 부등식을 고차 미분 및 가중 $L^p$ 설정으로 일반화한다.
• 이전 문헌에서 잘못 기록된 결과를 수정하고 날카로운 상수를 갖는 새로운 임계 부등식을 수립한다.
• 임계 경우에서 불확실성 원리 및 스케일링 불변 부등식을 증명한다.
• 유클리드 공간 내에서 알려진 결과들을 단순화하고 확장하는 통합 프레임워크를 제공한다.

제안 방법

• 고르지 않은 군 위에서 고차 미분에 대한 정확한 적분 항등식을 유도하며, 이를 부등식의 기초로 삼는다.
• 이 항등식을 적용하여 최적 상수를 갖는 날카로운 가중 $L^2$ 및 $L^p$ 하디–렐리히 부등식을 증명한다.
• 변환 $f_R(x) = f(Rx/|x|)$를 사용한 스케일링 불변 프레임워크를 도입하여 전역 임계 부등식을 도출한다.
• 반경 방향 분해 및 반경 방향 미분($ abla_r$, $ abla_r^k$)을 사용하여 원형 대칭성과 날카로움을 분석한다.
• 변분 기법과 시험 함수(예: $f_ ho(x) = ( ext{ln}(R/|x|))^{1/2 - \rho}$)를 활용하여 상수의 날카로움을 검증한다.
• 고차원에서 임계 부등식과 비임계 부등식 간의 동치성을 수립하며, 기존 결과를 확장한다.

실험 결과

연구 질문

• RQ1 고르지 않은 군 위에서 고차 미분을 포함하는 가중 $L^p$ 하디–렐리히 부등식의 날카로운 상수는 무엇인가?
• RQ2 유클리드 공간 $ ^n$ 에서 임계 하디–렐리히 부등식은 어떻게 스케일링 불변 형태로 표현할 수 있는가?
• RQ3 새로운 부등식은 이전에 주장된 날카로운 상수(예: Adimurthi와 Santra (2019))를 어떻게 수정하거나 개선하는가?
• RQ4 고르지 않은 군 위에서 고차 미분을 포함하는 적분 항등식으로부터 불확실성 원리를 도출할 수 있는가?
• RQ5 고차원에서 비임계 부등식과 임계 부등식 간의 관계는 무엇인가?

주요 결과

• 논문은 고르지 않은 군 위에서 고차 미분을 포함하는 날카로운 $L^p$ 하디–렐리히 부등식을 증명하며, 명시적인 최적 상수를 제시한다.
• 모든 $n = 4k$ 에 대해 부등식 $\left(2^{2k-2}(2k-1)! ight)^2 \sup_{R>0} \int_{\r^n} \frac{|f - f_R|^2}{|x|^n |\ln(R/|x|)|^2} dx \leq \int_{\r^n} |\Delta_r^k f|^2 dx$ 가 성립하며, 이는 날카로운 부등식이다.
• 모든 $n = 4k+2$ 에 대해 부등식 $\left(2^{2k-1}(2k)! ight)^2 \sup_{R>0} \int_{\r^n} \frac{|f - f_R|^2}{|x|^n |\ln(R/|x|)|^2} dx \leq \int_{\r^n} |\partial_r \Delta_r^k f|^2 dx$ 는 날카로우며, Adimurthi와 Santra의 이전 주장에 대한 수정이다.
• 부등식 $\left(\frac{n-1}{n}\right)^n \int_{\r^n} \frac{|f - f_R|^n}{|x|^n |\ln(R/|x|)|^n} dx \leq \int_{\r^n} \left|\frac{x}{|x|} \cdot \nabla f\right|^n dx$ 는 날카롭고 스케일링 불변임을 입증하였다.
• 가중 $L^p$-버전으로 확장되어, 새로운 부등식 $\left(\prod_{i=0}^{k-1} \frac{n + p'(2i + \alpha))(n - p(2i + 2 + \alpha))}{pp'}\right)^p \int \frac{|f|^p}{|x|^{p(2k + \alpha)}} dx \leq \int \frac{|\Delta_r^k f|^p}{|x|^{p\alpha}} dx$ 를 도출한다.
• 논문은 시험 함수를 통해 임계 부등식 (6.18)이 날카로움을 증명하며, 이는 이전 연구에서의 불일치를 해결한다.