[논문 리뷰] An inequality à la Szegő-Weinberger for the $p-$Laplacian on convex sets

Lorenzo Brasco, Carlo Nitsch외 1명|arXiv (Cornell University)|2014. 07. 28.

Advanced Mathematical Modeling in Engineering참고 문헌 14인용 수 5

한 줄 요약

이 논문은 볼록 도메인의 첫 번째 비자명한 네이만 고유값 $\mu_p(\Omega)$ 에 대해 직경을 이용한 날카운 상계를 확립하며, 도메인이 선분으로 분해될 때 그 상계에 수렴함을 증명한다. 주요 결과는 $p \in (1,\infty)$ 에 대해 비선형 $p$-라플라시안 설정으로 고전적인 슈에고-바이너버 불등식을 일반화하며, 모든 $N$-차원 구 $B$ 에 대해 $\mu_p(\Omega) < \lambda_p(B) \left(\frac{\mathrm{diam}(B)}{\mathrm{diam}(\Omega)}\right)^p$ 를 만족하며, 유계 볼록 도메인에서는 등호가 성립하지 않음을 보여준다.

ABSTRACT

In this paper we prove a sharp inequality of Szegő-Weinberger type for the first nontrivial eigenvalue of the $p-$Laplacian with Neumann boundary conditions. This applies to convex sets with given diameter. Some variants, extensions and limit cases are investigated as well.

연구 동기 및 목표

• 볼록 도메인의 첫 번째 비자명한 네이만 고유값 $\mu_p(\Omega)$ 에 대해 직경을 기반으로 날카운 상계를 확립하는 것.
• 고전적인 슈에고-바이너버 불등식이 $p=2$ 인 경우에 대해 성립하는 바를, $p \neq 2$ 인 경우 볼록 도메인 맥락에서 확장할 수 있는지 조사하는 것.
• 형태 최적화 문제 $\sup\{\mu_p(\Omega) : \Omega \subset \mathbb{R}^N \text{ 볼록}, \mathrm{diam}(\Omega) \geq 1\}$ 를 분석하고 그 상한을 결정하는 것.
• 상한이 어떤 유계 볼록 도메인에서도 도달되지 않으며, 선분으로 분해되는 도메인의 수열을 따라 수렴됨을 증명하는 것.
• 고전적인 $p=2$ 경우를 일반화한 척도 불변 불등식을 유도하여 $\mu_p(\Omega)$ 와 같은 직경을 가진 구의 $p$-라플라시안 고유값을 연결하는 것.

제안 방법

• 저자들은 [6] 의 기법을 영감으로 삼아, 볼록 도메인의 기하학적 특성과 $p$-라플라시안의 구조에 맞게 정교하게 설계된 시험 함수를 사용한다.
• 저자는 직경이 있는 선분 위에서 가중 함수 $g(s)$ 를 갖는 1차원 고유값 문제를 분석하며, 이는 볼록 도메인의 횡단면 면적을 모델링한다.
• 증명은 $\mu_p(\Omega)$ 의 변분 특성과 $p \geq 2$ 에서는 라그랑주 승수법을 사용하며, $1 < p < 2$ 는 [11] 의 근사 및 정칙성 추론을 통해 다룬다.
• 모든 최소화자가 원점에서만 0이 되어야 한다는 모순 추론을 통해 1차원 문제의 최소화자가 대칭적임과 동시에 다른 곳에서는 엄밀히 양수임을 증명한다.
• 저자들은 등직경 불등식을 활용하여 부가적인 체적 기반 상계를 도출하며, $\mu_p(\Omega)$ 와 $\lambda_p(B)$, $|\Omega|$ 를 연결한다.
• 저자들은 상한 $\mu^*$ 가 유한하며 도달되지 않음을 증명하며, 선분으로 분해되는 볼록 도메인 수열 $\Omega_n$ 에 대해 $\mu_p(\Omega_n) \to \mu^*$ 로 수렴함을 보였다.

실험 결과

연구 질문

• RQ1 라플라시안($p=2$)의 첫 번째 비자명한 네이만 고유값에 대한 슈에고-바이너버 불등식이 $p \neq 2$ 인 $p$-라플라시안 설정으로 확장될 수 있는가?
• RQ2 볼록 도메인에 대해 $\mu_p(\Omega)$ 에 대한 직경 기반 날카운 상계가 존재하는가?
• RQ3 형태 최적화 문제 $\sup\{\mu_p(\Omega) : \Omega \text{ 볼록}, \mathrm{diam}(\Omega) \geq 1\}$ 는 최대화자를 갖는가?
• RQ4 볼록 도메인이 선분으로 분해될 때 $\mu_p(\Omega)$ 의 점근적 행동은 어떠한가?
• RQ5 직경 기반 상계를 활용하여 등직경 불등식을 통해 $\mu_p(\Omega)$ 에 대한 체적 기반 상계를 도출할 수 있는가?

주요 결과

• 직경이 1 이상인 볼록 도메인에 대해 $\mu_p(\Omega)$ 의 상한은 유한하며, $\mu^* = \lambda_p(B) \left(\frac{\mathrm{diam}(B)}{1}\right)^p$ 로 주어지며, 여기서 $B$ 는 $N$-차원 구이다.
• 모든 유계 볼록 도메인 $\Omega$ 에 대해 불등식 $\mu_p(\Omega) < \lambda_p(B) \left(\frac{\mathrm{diam}(B)}{\mathrm{diam}(\Omega)}\right)^p$ 가 성립하며, 엄밀한 부등호가 성립한다.
• 상한 $\mu^*$ 는 어떤 유계 볼록 도메인에서도 도달되지 않으며, 선분으로 분해되는 도메인 수열을 따라 수렴된다.
• 모든 볼록 도메인 $\Omega$ 에 대해, 직경 상한과 등직경 불등식을 통해 유도된 바에 따라 $\mu_p(\Omega) < \lambda_p(B) \left(\frac{|B|}{|\Omega|}\right)^{p/N}$ 이 성립한다.
• 같은 직경을 가진 구의 딜리클레 고유값 $\lambda_p(B)$ 와 비교할 때, 첫 번째 비자명한 네이만 고유값 $\mu_p(\Omega)$ 는 엄밀히 작다.
• 1차원 고유값 문제의 최소화자는 오직 원점에서만 0이 되며, 이는 엄밀한 부등호와 대칭성 성질을 증명하는 데 핵심적이다.