[논문 리뷰] Necessary Conditions for Fractional Hardy-Sobolev's Inequalities

E. Ostrovsky, L. Sirota|arXiv (Cornell University)|2011. 08. 05.

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

한 줄 요약

이 논문은 확장된 르베그 공간 이론과 확대 방법을 이용하여 다차원 유클리드 공간에서 분수계 하디-소볼레프 부등식에 대한 필수 조건을 수립한다. 부등식의 동차성을 특징짓는 스케일링 항등식을 도출하고, 혼합노름 및 표면 유형을 포함한 다양한 설정에서 최적 상수의 날카운 하한을 제공하며, 임계 지수 근처에서 정확한 점근적 행동을 규명한다.

ABSTRACT

In this short article we obtain some necessary conditions for a so-called fractional Hardy-Sobolev's inequalities in multidimensional case. We also give some examples to show the sharpness of these inequalities.

연구 동기 및 목표

• 다차원 영역, 특히 $\mathbb{R}^d$에서 분수계 하디-소볼레프 부등식의 타당성을 위한 필수 조건을 유도하는 것.
• 다양한 부등식 유형에서 최적 상수 $K_{HS}(p,q)$, $K_{M;HS}(p,q,r)$, $K_{S;HS}(p,q)$, $K_{DD;HS}(p,s)$에 대한 날카운 하한을 수립하는 것.
• 고전적 르베그-라이즈 공간을 확장된 르베그 공간으로 일반화하고, 이러한 넓은 함수 공간에서 부등식의 행동을 분석하는 것.
• 임계 지수 근처에서의 점근적 분석과 명시적 반례를 통한 부등식의 날카움을 조사하는 것.
• 결과를 혼합노름 및 이방향 확장된 르베그 공간으로 확장하여 부등식에 대한 통합된 프레임워크를 제공하는 것.

제안 방법

• G. 탈렌티의 확대 방법을 적용하여, 부등식을 만족하는 비상수 $u \in C_0^\infty(\mathbb{R}^d)$에 대해 반드시 성립해야 할 스케일링 항등식을 도출한다.
• 확장된 르베그 공간에서의 노름 동치 $\|f\|_{G\psi} \asymp \sup_{p \in (a,b)} \frac{|f|_p}{\psi(p)}$를 사용하여 연산자의 유계성을 특징짓는다.
• 차분 및 점별 노름을 연결하기 위해 연산자 $\delta_\lambda[u](x,y) = \frac{u(x)-u(y)}{|x-y|^{\lambda d}}$ 및 $S_\lambda[u](x) = \frac{u(x)}{|x|^{\lambda d}}$를 도입한다.
• 스케일링에서 유도된 동차성 조건을 만족하는 지수 $(p,q)$의 집합으로서 영역 $R_r(\alpha(1),\alpha(2),\beta,\mu;d)$를 정의한다.
• 확장된 르베그 노름 $\|S_\lambda u\|_{G\psi_5}$의 상한을 제공하기 위해 함수 $\psi_5(r) = \inf_{(p,q)\in R_r} \left[ \nu(p,q) K_{M;HS}(p,q) \right]$를 구성한다.
• 혼합노름 설정으로의 결과 확장을 위해 $L_{\vec{p}}$ 공간에서의 인수분해 및 이방향 노름 구조를 활용한다.

실험 결과

연구 질문

• RQ1 분수계 하디-소볼레프 부등식이 $\mathbb{R}^d$에서 유효하기 위해 만족해야 할 스케일링 조건은 무엇인가?
• RQ2 모든 $u \in C_0^\infty(\mathbb{R}^d)$에 대해 균일하게 성립하기 위해 지수 $p,q,\alpha(1),\alpha(2),\beta,\mu$에 대해 필요한 조건은 무엇인가?
• RQ3 확장된 르베그 공간 설정에서 $p \to 1/\lambda$일 때 최적 상수의 점근적 행동은 어떻게 되는가?
• RQ4 혼합노름 하디-소볼레프 부등식은 이방향 확장된 르베그 노름을 통해 특징지을 수 있는가?
• RQ5 확장된 르베그 공간 부등식 $\|S_\lambda u\|_{G\psi_2} \leq \|\delta_\lambda u \cdot |x-y|^{-\lambda d}\|_{G\psi_1}$에서 상수 1의 날카움은 무엇인가?

주요 결과

• 일반 분수계 하디-소볼레프 부등식 (1.1a)가 $\mathbb{R}^d$에서 유효하기 위해 필수 조건으로 $\frac{d - \mu}{q} = \frac{2d + \alpha(1) + \alpha(2) - \beta}{p}$이 성립해야 한다.
• 반례를 통해 $u_0(x) = |\log|x|| \cdot I(|x| \leq 1)$를 사용하여, 확장된 르베그 공간 부등식 $\|S_\lambda u\|_{G\psi_2} \leq \|\delta_\lambda u \cdot |x-y|^{-\lambda d}\|_{G\psi_1}$에서 상수 1이 최적임을 입증한다.
• $\psi_4(p)$가 $\lim_{p \to 1/\lambda} \frac{p \psi_4(p)}{|p - 1/\lambda|^\lambda} = 0$를 만족할 경우, 비율 $\frac{\|S_\lambda u_0\|_{G\psi_4}}{\|\delta_\lambda u_0\|_{G\psi_1}} \to \infty$가 되어 상한의 날카움을 증명한다.
• $\psi_5(r) = \inf_{(p,q) \in R_r} \left[ \nu(p,q) K_{M;HS}(p,q) \right]$를 사용하여, 혼합노름 확장된 르베그 공간에서의 날카운 임베딩 $\|S_\lambda u\|_{G\psi_5} \leq \|\delta_\lambda u \cdot |x-y|^{-\lambda d}\|_{G\nu}$가 성립함을 보여준다.
• $\psi_3(p) = \frac{p \psi_2(p)}{|1/\lambda - p|}$는 약한 정확한 추정을 제공한다: $\|S_\lambda u\|_{G\psi_3} \leq C \|\delta_\lambda u\|_{G\psi_1}$이지만, 상수는 균일하게 개선될 수 없다.
• 노름 $|f|_{\vec{p}}$와 공간 $G_Q(\nu)$를 통해 결과는 이방향 확장된 르베그 공간으로 확장되며, 여기서 $\nu(p)$는 영역 $Q \subset \mathbb{R}^d$ 위의 양의 연속 함수이다.