[논문 리뷰] A geometric characterization of a sharp Hardy inequality

Roger T. Lewis, Junfang Li외 1명|arXiv (Cornell University)|2011. 03. 28.

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

한 줄 요약

이 논문은 $\mathbb{R}^{n+1}$ 내의 $C^2$ 도메인의 경계까지의 거리 함수가 분포적 의미에서 초조화함수임과 동시에 경계가 약한 평균구면성을 띠는 것과 동치임을 증명한다. 이 기하적 특성은 약한 평균구면성을 띠는 도메인에서 날카로운 하디 부등식을 이끌어내며, 날카로운 상수 $\left(\frac{p-1}{p}\right)^p$ 가 도달되며, 조건을 더 약하게 만들 수 없다. 이 결과는 이전에 알려진 볼록 도메인 결과를 더 넓은 비볼록 도메인의 클래스로 일반화하며, 토러스와 최소 표면의 변형을 포함한다.

ABSTRACT

In this paper, we prove that the distance function of an open connected set in $\mathbb R^{n+1}$ with a $C^{2}$ boundary is superharmonic in the distribution sense if and only if the boundary is {\em weakly mean convex}. We then prove that Hardy inequalities with a sharp constant hold on {weakly mean convex} $C^{2}$ domains. Moreover, we show that the {weakly mean convexity} condition cannot be weakened. We also prove various improved Hardy inequalities on mean convex domains along the line of Brezis-Marcus \cite{BM}.

연구 동기 및 목표

• 최적 상수를 가진 날카로운 하디 부등식이 성립하기 위한 도메인 경계에 대한 기하적 조건을 규명하는 것.
• 이전에 볼록 도메인에서만 알려진 고전적 하디 부등식을 더 넓은 비볼록 도메인의 클래스로 일반화하는 것.
• 약한 평균구면성이 날카로운 하디 부등식이 성립하기 위한 최소 기하적 조건임을 보여주는 것.
• 브레지스-마르쿠스 및 기타 연구자들의 결과를 확장하여 평균구면 도메인에서 향상된 하디 부등식을 제공하는 것.

제안 방법

• 거리 함수 $\delta(x)$ 가 분포적 의미에서 초조화함수임과 동시에 경계의 평균곡률가 음이 아닌 조건(약한 평균구면성)을 만족함과 동치임을 증명하는 것.
• 분포적 초조화함수 성질을 이용하여 상수 $\left(\frac{p-1}{p}\right)^p$ 를 가진 날카로운 하디 부등식을 유도하는 것.
• 약한 평균구면성 조건이 필수적임을 보이기 위해, 평균구면성이 아닌 도메인에서 부등식이 실패하는 반례를 구성하는 것.
• 주요 결과를 활용하여 평균구면 도메인에서 향상된 하디-소볼레프 부등식을 도출하며, 하디-소볼레프-마즈야 부등식을 포함한다.
• 주요 곡률 및 제2 기본형과 같은 미분기하학 도구를 사용하여 $\partial\Omega$ 에서의 평균곡률 $H$ 를 분석하는 것.
• 비판적 링 토러스, 고계수 토러스, 포물면 등을 포함한 구체적인 예시에서 결과를 검증하여 $H \geq 0$ 를 확인하고 부등식의 타당성을 확인하는 것.

실험 결과

연구 질문

• RQ1 어떤 기하적 조건이 $C^2$ 도메인의 경계에 대해 날카로운 하디 부등식이 상수 $\left(\frac{p-1}{p}\right)^p$ 와 함께 성립함을 보장하는가?
• RQ2 고전적 하디 부등식이 볼록 도메인에서 성립함을 알고 있는데, 이를 비볼록 도메인으로 확장할 수 있으며, 만약 가능하면 어떤 기하적 조건에서 성립하는가?
• RQ3 약한 평균구면성이 날카로운 하디 부등식이 성립하기 위한 필요충분조건인가?
• RQ4 브레지스-마르쿠스 정신의 향상된 하디 부등식은 평균구면 도메인에서 어떻게 행동하는가?
• RQ5 거리 함수의 초조화함수 성질이 하디 유형 부등식의 날카로운 상수를 특성화하는 데 어떤 역할을 하는가?

주요 결과

• 거리 함수 $\delta(x)$ 는 분포적 의미에서 초조화함수임과 동시에 경계 $\partial\Omega$ 가 약한 평균구면성을 띠는 것, 즉 $H \geq 0$ 이며 동치임.
• 모든 약한 평균구면성을 띠는 $C^2$ 도메인 $\Omega$ 에서 상수 $\left(\frac{p-1}{p}\right)^p$ 를 가진 날카로운 하디 부등식이 성립하며, 이는 볼록 도메인의 경우와 동일하다.
• 약한 평균구면성 조건은 날카로운: 경계 $\partial\Omega$ 에서 어떤 점에서든 $H < 0$ 이면 날카로운 하디 부등식이 실패한다.
• 비판적 링 토러스 $R=2$, $r=1$ 는 $H \geq 0$ 를 만족하며 날카로운 상수를 도달하며, $\lambda(n,\Omega) = 1$ 이다.
• 약한 평균구면성을 띠는 도메인에서 향상된 하디-소볼레프 부등식이 성립하며, 브레지스-마르쿠스 및 기타 연구자들의 결과를 확장한다.
• 비볼록 도메인, 특히 토러스의 변형, 고계수 표면, 포물면으로 둘러싸인 도메인과 같이 비자명한 위상 구조를 가진 도메인에도 이 결과가 적용된다.