[논문 리뷰] Another four critical points theorem

Biagio Ricceri|arXiv (Cornell University)|2012. 01. 08.

Nonlinear Partial Differential Equations참고 문헌 4인용 수 4

한 줄 요약

이 논문은 변분해석학에서 새로운 네 임계점 정리(4 critical points theorem)를 수립하며, 최근의 엄밀한 최소최대부등식 결과를 활용하여 기존 결과에서 명시적 최소최대부등식 가정을 제거함으로써 이를 확장한다. 주요 기여는 반사적 바나흐 공간에서의 세 가지 편미분을 포함한 함수의 임계점에 대한 다중성 결과를 제시하고, 이를 이용해 일련의 비선형 타원형 딜리클레 문제에 대해 최소 네 개의 임계점(두 개의 전역 최소점과 하나의 엄밀한 국소 최소점 포함)이 존재함을 증명하는 데 있다.

ABSTRACT

In this paper, making use of Theorem 2 of [5], we establish a new four critical points theorem which can be regarded as a companion to Theorem 1 of [4]. We also present an application to the Dirichlet problem for a class of quasilinear elliptic equations.

연구 동기 및 목표

• 논문 [4]의 정리 1과 동반되는 새로운 네 임계점 정리를 수립함에 있어, 가정 조건에 명시적인 최소최대부등식을 요구하지 않도록 하는 것.
• 최근의 결과인 [5]의 정리 2를 활용하여 일반 조건 하에서 엄밀한 최소최대부등식이 성립함을 보장함으로써, 변분문제에서 전역 최소점의 다중성 결과의 적용 범위를 넓히는 것.
• 반사적 바나흐 공간에서의 세 가지 편미분을 포함한 에너지 함수의 다중성 조건을 충족시키는 최소 네 개의 임계점(두 개의 전역 최소점과 하나의 엄밀한 국소 최소점 포함)이 존재하는 충분조건을 제시하는 것.
• 추상적 결과를 비선형 타원형 방정식의 딜리클레 문제에 적용하여, 비선형성의 성장 및 점근 조건을 만족할 경우 다수의 약한 해가 존재함을 증명하는 것.
• $p$-라플라스 연산자 형식의 방정식에 대해 세 개의 비선형 항을 포함하는 경우, 세 개의 비영 약한 해가 존재함을 보여주는 것. 그 중 두 개는 에너지 함수의 전역 최소점이다.

제안 방법

• 증명은 [3]의 정리 1(일부 함수류에 대해 최소 두 개의 전역 최소점을 보장함)과 [5]의 정리 2(순차적 하부연속성 및 inf-콤��� 조건 하에서 엄밀한 최소최대부등식이 성립함을 보장함)를 조합하여 수행된다.
• 주요 정리는 반사적 실수 바나흐 공간 $X$에서 성립하며, 함수 $I$ 는 순차적 약한 하부연속성, 강한 강성, $C^1$ 조건을 만족하고, 그 도함수의 역함수는 연속임을 가정한다.
• 방법은 함수 $\mu(I + \nu J) + \Psi + \lambda^* \Phi$ 를 분석하는 것으로, 여기서 $J$, $\Psi$, $\Phi$ 는 도함수가 컴팩트한 $C^1$ 함수들이다. 이들의 점근적 및 국소적 행동에 조건을 부과한다.
• 핵심 기술 도구로는 함수의 inf-콤팩트성과 하부연속성, $I$ 의 강성, 그리고 모든 함수가 $x_0$ 에서 0 값을 가지는 엄밀한 국소 최소점의 존재를 포함한다.
• 약한 위상의 논리를 사용하여 최소화자 존재성을 확보하고, 적절한 $r > \sup_{M_\nu} \Phi$ 와 $\mu^*$ 의 정의를 통해 엄밀한 최소최대부등식을 수립한다.
• 딜리클레 문제에의 응용은 $I(u) = \frac{1}{p}\|u\|^p$, $J(u) = -J_h(u)$, $\Psi(u) = -J_f(u)$, $\Phi(u) = J_g(u)$ 를 $W^{1,p}_0(\Omega)$ 에서 식별하고, $f$, $g$, $h$ 에 대한 점별 성장 및 부호 조건을 이용해 추상적 가정을 검증함으로써 달성된다.

실험 결과

연구 질문

• RQ1 엄격한 최소최대부등식을 사전에 가정하지 않고도 네 임계점 정리를 수립할 수 있는가?
• RQ2 함수 $I$, $J$, $\Psi$, $\Phi$ 에 어떤 조건이 성립할 경우, 편미분된 함수 $\mu(I + \nu J) + \Psi + \lambda^* \Phi$ 가 최소 네 개의 임계점을 갖는가?
• RQ3 비선형성 $f$, $g$, $h$ 에 어떤 성장 및 점근 조건이 성립하면 $p$-라플라스 딜리클레 문제에 대해 다수의 약한 해가 존재하는가?
• RQ4 추상적인 임계점 결과는 어떻게 PDE 환경에서 두 개의 전역 최소점과 하나의 엄밀한 국소 최소점을 포함하는 다중성 해를 증명하는 데 응용될 수 있는가?
• RQ5 함수 $J(x_1)$, $\Psi(x_1)$, $\Phi(x_1)$ 가 모두 음수인 점 $x_1$ 의 존재는 해의 다중성에 어떤 역할을 하는가?

주요 결과

• 논문은 가정 조건에 명시적인 최소최대부등식이 필요 없으며, 대신 [5]의 정리 2를 활용하여 일반 조건 하에서 엄밀한 최소최대부등식이 성립함을 보장하는 새로운 네 임계점 정리(정리 1)를 수립한다.
• 모든 $\nu > \max\left\{0, -\frac{I(x_1)}{J(x_1)}\right\}$ 와 $\mu > \max\left\{0, -\liminf_{x\to x_0}\frac{\Psi(x)}{I(x)}, \inf_{r > \sup_{M_\nu}\Phi} \mu^*(I+\nu J, \Psi, \Phi, r)\right\}$ 에 대해, 함수 $\mu(I + \nu J) + \Psi + \lambda^* \Phi$ 는 최소 네 개의 임계점을 갖는다.
• 네 개의 임계점 중 하나는 $x_0$ 에서 엄밀한 국소 최소점이며, 두 개는 함수의 전역 최소점이다.
• $p$-라플라스 딜리클레 문제에의 응용(정리 2)은 각 충분히 큰 $\nu > 0$ 에 대해 $\epsilon_\nu > 0$ 이 존재하여 모든 $\epsilon \in (0, \epsilon_\nu)$ 에 대해 최소 세 개의 비영 약한 해가 존재함을 보여준다.
• 세 개의 약한 해 중 두 개는 [5]의 정리 2에 의해 보장된 추상적 정리에 따라 $W^{1,p}_0(\Omega)$ 에서 해당 에너지 함수의 전역 최소점이다.
• 측도가 양수인 가측 집합 $B \subset \Omega$ 와 값 $\xi_1$ 가 존재하여, 거의 모든 $B$ 에서 $\max\{-F(x,\xi_1), G(x,\xi_1), -H(x,\xi_1)\} < 0$ 이 성립하는 것은 해의 다중성 보장을 위한 핵심 조건이다.