[논문 리뷰] Best constants in Poincaré inequalities for convex domains

Luca Esposito, Carlo Nitsch외 1명|arXiv (Cornell University)|2011. 10. 13.

Point processes and geometric inequalities참고 문헌 5인용 수 47

한 줄 요약

이 논문은 $ p \geq 2 $ 인 $ p $-라플라스 뉴먼 고유값 문제에 대해 볼록 도메인에서 피카르 에너지 부등식의 최적 상수에 대한 날카운 상계를 확립한다. 풀라-슈베그 부등식을 정교화하고 로그볼록한 가중치에 대한 새로운 가중치 위르팅거 부등식을 증명하여, 최적 상수가 $ \left(\frac{1}{C_{\Omega,p}}\right)^p = \mu_p \geq \left(\frac{\pi_p}{d}\right)^p $ 임을 보여준다. 여기서 $ \pi_p $ 는 $ p $ 에 따라 달라지는 일반화된 상수이며, $ d $ 는 도메인의 지름이다.

ABSTRACT

We prove a Payne-Weinberger type inequality for the $p$-Laplacian Neumann eigenvalues ($p\ge 2$). The inequality provides the sharp upper bound on convex domains, in terms of the diameter alone, of the best constants in Poincaré inequality. The key point is the implementation of a refinement of the classical Pólya-Szegö inequality for the symmetric decreasing rearrangement which yields an optimal weighted Wirtinger inequality.

연구 동기 및 목표

• 볼록 도메인에서 $ p \geq 2 $ 인 $ p $-라플라스 뉴먼 고유값 문제에 대해 피카르 부등식의 최적 상수에 대한 날카운 상계를 확립하는 것.
• 원래 $ p = 2 $ 에서만 유효했던 고전적 페이인-웨이너버 부등식을 $ p \geq 2 $ 전역으로 확장하는 것.
• 대칭 감소 재배열에 특화된 $ p $-라플라스 설정에 맞게 풀라-슈베그 원리의 새로운 개선을 개발하는 것.
• 로그볼록한 가중치에 대한 가중치 위르팅거 부등식을 증명하여 주 결과의 핵심이 되는 것.
• 최적 상수가 도메인의 구체적 기하학적 형태에 관계없이 오직 지름 $ d $ 에만 의존한다는 것을 보여주는 것.

제안 방법

• 대칭 감소 재배열에 특화된 고전적 풀라-슈베그 부등식의 개선된 형태를 도입하여, $ p $-라플라스 및 로그볼록한 가중치에 적합하게 조정한다.
• 구간 $[0,L]$ 에 정의된 함수에 대해 비음수 로그볼록 가중치 $ f $ 를 갖는 가중치 위르팅거 부등식을 증명하며, 레일리 몫이 $ f $ 가 상수일 때 최소화됨을 보인다.
• 볼록 도메인 $ \Omega \subset \mathbb{R}^n $ 을 지름 $ \leq d $ 인 얇은 볼록 부분도메인으로 분해하기 위해 절단 기법을 사용하며, 여기서 $ d $ 는 $ \Omega $ 의 지름이며, $ n-1 $ 개의 방향은 $ \varepsilon $-두께 내로 제약된다.
• 브룬-민코프스키 부등식을 적용하여 가장 긴 방향을 따라 측면 면적 함수 $ f(t) $ 가 로그볼록임을 보여, 가중치 위르팅거 부등식의 적용을 가능하게 한다.
• $ C^2 $-정규성과 $ \varepsilon $-두께를 이용하여 각 부분도메인에서 $ u $ 의 $ L^p $-세미노름과 $ L^p $-노름을 1차원 축을 따라의 추적으로 근사할 때의 오차를 추정한다.
• $ \varepsilon \to 0 $ 의 극한을 취하여 날카운 부등식 $ \mu_p \geq \left(\frac{\pi_p}{d}\right)^p $ 를 도출하며, 여기서 $ \pi_p = 2\pi \frac{(p-1)^{1/p}}{p \sin(\pi/p)} $ 이다.

실험 결과

연구 질문

• RQ1 지름이 $ d $ 인 1차원 간격에서의 첫 번째 비자명한 $ p $-라플라스 고유값은 $ \pi_p = 2\pi \frac{(p-1)^{1/p}}{p \sin(\pi/p)} $ 로 일반화된 $ \pi $ 를 어떻게 정의할 수 있는가?
• RQ2 지름이 $ d $ 인 1차원 간격에서의 첫 번째 비자명한 $ p $-라플라스 고유값은 $ \pi_p = 2\pi \frac{(p-1)^{1/p}}{p \sin(\pi/p)} $ 로 일반화된 $ \pi $ 를 어떻게 정의할 수 있는가?
• RQ3 지름이 $ d $ 인 1차원 간격에서의 첫 번째 비자명한 $ p $-라플라스 고유값은 $ \pi_p = 2\pi \frac{(p-1)^{1/p}}{p \sin(\pi/p)} $ 로 일반화된 $ \pi $ 를 어떻게 정의할 수 있는가?
• RQ4 지름이 $ d $ 인 1차원 간격에서의 첫 번째 비자명한 $ p $-라플라스 고유값은 $ \pi_p = 2\pi \frac{(p-1)^{1/p}}{p \sin(\pi/p)} $ 로 일반화된 $ \pi $ 를 어떻게 정의할 수 있는가?
• RQ5 지름이 $ d $ 인 1차원 간격에서의 첫 번째 비자명한 $ p $-라플라스 고유값은 $ \pi_p = 2\pi \frac{(p-1)^{1/p}}{p \sin(\pi/p)} $ 로 일반화된 $ \pi $ 를 어떻게 정의할 수 있는가?

주요 결과

• 모든 유계 볼록 도메인 $ \Omega \subset \mathbb{R}^n $ 에서 $ p $-라플라스 뉴먼 고유값 문제에 대해 피카르 부등식의 최적 상수는 $ \mu_p \geq \left(\frac{\pi_p}{d}\right)^p $ 를 만족하며, 여기서 $ d $ 는 $ \Omega $ 의 지름이다.
• 상수 $ \pi_p = 2\pi \frac{(p-1)^{1/p}}{p \sin(\pi/p)} $ 는 $ p = 2 $ 에서의 고전적 $ \pi $ 를 일반화하며, 길이 $ d $ 인 1차원 간격에서의 첫 번째 비자명한 $ p $-라플라스 고유값과 정확히 일치한다.
• 이 부등식은 날카롭고, 1차원 경우에 등호가 성립함을 확인하여, 간격이 고유값 문제에서 극값을 이루는 것으로 확인된다.
• 증명은 로그볼록한 가중치에 대해 대칭 감소 재배열 하에서 $ p $-디리클레 에너지의 구조를 유지하는 새로운 풀라-슈베그 원리의 정교화에 기반한다.
• 저자들은 로그볼록한 가중치에 대한 새로운 가중치 위르팅거 부등식을 확립하며, 최적 상수가 가중치가 상수일 때 도달됨을 보여, 이는 상계의 날카움에 핵심적인 역할을 한다.
• 얇은 볼록 부분도메인으로 도메인을 절단하고, 1차원 적분을 통해 $ p $-에너지에 근사함으로써 $ n $-차원 문제를 1차원 가중치 부등식으로 환원할 수 있으며, 오차는 $ \varepsilon $ 에 의해 제어되고 $ \varepsilon \to 0 $ 일 때 소멸한다.