[논문 리뷰] Fractional Hardy-Sobolev-Maz'ya inequality for domains

Bartłomiej Dyda, Rupert L. Frank|arXiv (Cornell University)|2011. 09. 29.

Nonlinear Partial Differential Equations참고 문헌 10인용 수 6

한 줄 요약

이 논문은 임의의 도메인에 대해 $\mathbb{R}^N$ 내에서 날카선 분수형 하디-소볼레프-마즈'야 부등식을 수립한다. 이는 분수형 소볼레프 부등식과 하디 부등식을 하나의 부등식으로 융합하며, 하디 부분에서 최적의 상수를 유지한다. 핵심 결과는 모든 $p \geq 2$, $0 < s < 1$, $ps < N$ 에 대해 유효한 $L^q$-노름에 대한 균일한 하한을 제공하는 것으로, 상수 $\sigma_{N,p,s}$ 는 도메인에 무관하다.

ABSTRACT

We prove a fractional version of the Hardy--Sobolev--Maz'ya inequality for arbitrary domains and $L^p$ norms with $p\geq 2$. This inequality combines the fractional Sobolev and the fractional Hardy inequality into a single inequality, while keeping the sharp constant in the Hardy inequality.

연구 동기 및 목표

• 임의의 도메인에 대해 분수형 하디-소볼레프-마즈'야 부등식의 분수형 버전을 수립하여 분수형 소볼레프 부등식과 하디 부등식을 통합한다.
• 결합된 부등식에서 분수형 하디 부등식의 날카운 상수 $\mathcal{D}_{N,p,s}$ 를 유지한다.
• 분수형 소볼레프 반노름과 하디 항의 차이가 $u$ 의 $L^q$-노름을 지배하며, 도메인에 무관한 균일한 상수 $\sigma_{N,p,s}$ 를 갖는다.
• 이전에 반공간 또는 $p=2$ 에서만 알려진 결과를 일반 도메인과 모든 $p \geq 2$ 로 확장한다.
• 기저 상태 표현과 적분 추정을 이용하여 분수형 HSM 부등식의 통합된 프레임워크를 제공한다.

제안 방법

• 반공간의 경우 기저 상태 표현을 사용하여 문제를 변환함으로써 하디 항과 소볼레프 항을 분리한다. $v(x) = x_N^{-(ps-1)/p}u(x)$ 를 통해 수행된다.
• 일반 도메인의 경우, [7] 에서의 국소적 경우 기법을 확장하여 적분 추정과 Garsia-Rodemich-Rumsey 보조정리를 사용하여 진동을 제어한다.
• 핵심 기술 도구로는 방향에 대한 각도 평균을 통한 정의된 허위 거리 $m_{ps}(x)$ 를 사용하며, 이는 경계까지의 거리의 일반화이다.
• 일차원에서 $\omega(x) = (1 - |x|)^{(ps-1)/p}$ 를 포함하는 가중치가 부여된 분수형 소볼레프 반노름을 사용하여 에너지 차이에 대한 하한을 유도한다.
• Garsia-Rodemich-Rumsey 부등식을 적용하여 분수형 변동성에 의해 $L^q$-노름을 제어함으로써 에너지 차이와 $L^q$-노름을 연결한다.
• 해의 본질적 상한의 위치에 따른 케이스 분석을 통해 증명을 진행하며, $\omega$ 의 척도 및 감쇠 성질을 이용하여 관련 적분을 균일하게 유계화한다.

실험 결과

연구 질문

• RQ1 분수형 하디-소볼레프-마즈'야 부등식은 이전에 반공간에서만 알려진 바가 있었지만, 모든 $p \geq 2$ 에 대해 임의의 도메인으로 확장될 수 있는가?
• RQ2 분수형 하디 부등식의 날카운 상수 $\mathcal{D}_{N,p,s}$ 는 유지하면서도 $u$ 의 $L^q$-노름을 제어할 수 있는가?
• RQ3 분수형 소볼레프 반노름과 하디 항의 차이가 도메인에 무관한 상수 $\sigma_{N,p,s}$ 를 사용하여 $L^q$-노름을 지배하는가?
• RQ4 기저 상태 표현 방법은 일반 도메인 내의 비국소적, 분수형 연산자에 어떻게 적응시킬 수 있는가?
• RQ5 허위 거리 $m_{ps}(x)$ 는 볼록적이거나 규칙적이지 않은 도메인에서 경계까지의 거리 일반화에 어떤 역할을 하는가?

주요 결과

• 논문은 정리 1.1을 증명한다: 모든 열린 도메인 $\Omega \subset \mathbb{R}^N$, $N \geq 2$, $p \geq 2$, $0 < s < 1$, $ps < N$ 에 대해, 도메인 $\Omega$ 에 무관한 균일한 상수 $\sigma_{N,p,s} > 0$ 를 사용하여 부등식이 성립한다.
• 분수형 하디 부등식의 날카운 상수 $\mathcal{D}_{N,p,s}$ 는 결합된 부등식에 그대로 유지되어 하드 부분의 최적성을 보장한다.
• $u$ 의 $L^q$-노름은 분수형 소볼레프 반노름과 하디 항의 차이에 의해 제어되며, $q = Np/(N - ps)$ 로 주어져 [9] 의 추측을 확인한다.
• $p=2$ 인 경우, 결과는 이전에 반공간에 대해 Sloane 가 증명한 바를 일반 도메인으로 확장하며, 기저 상태 표현의 개선된 형태를 사용한다.
• 이 방법은 도메인 $\Omega$ 의 기하적 구성(볼록적이거나 비정규적인 경우 포함)에 관계없이 안정적인 균일한 상수 $\sigma_{N,p,s}$ 를 제공한다.
• 증명은 가중치가 부여된 분수형 적분과 함께 Garsia-Rodemich-Rumsey 보조정리의 새로운 적용에 기반하며, 에너지 유형의 차이를 통해 $L^q$-노름을 제어할 수 있게 한다.