A multiplicity theorem for a class of nonlocal elliptic equations involving even nonlinearities

기술 요약: 짝함수 비로컬 타원형 방정식에 관한 다중성 정리

문제 정의
본 논문은 유계인 매끄러운 영역 $\Omega \subset \mathbb{R}^n$ 상의 일class의 비로컬 타원형 방정식에 대한 디리클레 경계값 문제를 조사한다. 문제 $(P)$는 다음과 같이 정식화된다:
$$\begin{cases} -\Delta u = Q\left(\int_{\Omega} F(x, u(x))dx\right) f(x, u) + g(x, u) & \text{in } \Omega \\ u = 0 & \text{on } \partial\Omega \end{cases}$$
여기서 $F(x, t) = \int_0^t f(x, s)ds$이며, 비로컬 항은 $Q$가 영역 전체에 대한 $F$의 적분에 의존함으로써 발생한다. 본 연구는 소볼레프 공간 $H^1_0(\Omega)$에서의 약한 해(weak solutions)의 존재성에 초점을 맞춘다. 주요 목적은 적절한 열린 구간 내에서 매개변수 $\lambda$가 변할 때, 문제 $(P)$가 적어도 세 개의 서로 다른 약한 해를 갖도록 하는 조건을 확립하는 것이다.

방법론 및 함수적 프레임워크
저자는 변분법, 구체적으로 임계점 이론(critical point theory)을 활용한다. 약한 해 $(P)$는 다음과 같이 정의된 에너지 범함수 $\Phi: H^1_0(\Omega) \to \mathbb{R}$의 임계점으로 식별된다:
$$\Phi(u) = \frac{1}{2}\|u\|^2 - J(u)$$
여기서 $\|u\|$는 $H^1_0(\Omega)$의 표준 노름이며, $J(u)$는 비로컬 항과 섭동(perturbation) $g$를 포함한다.

증명의 핵심은 **엄격한 미니맥스 부등식(strict minimax inequality)**과 세 임계점 정리(참고문헌 [2]의 정리 3으로 인용됨)를 활용하는 것이다. 방법론은 다음 단계들을 통해 진행된다:

1. 보조 범함수의 구성: 저자는 엄격한 볼록 함수 $\alpha$, 연속적인 기함수 $\gamma$, 그리고 비로컬 적분 항을 포함하는 범함수 $P(u, \lambda)$를 도입한다.
2. 미니맥스 부등식의 검증: 중심적인 기술적 난제는 다음의 엄격한 부등식을 증명하는 것이다:
   $$\sup_{\lambda \in \mathbb{R}} \inf_{u \in H^1_0(\Omega)} P(u, \lambda) < \inf_{u \in H^1_0(\Omega)} \sup_{\lambda \in \mathbb{R}} P(u, \lambda)$$
   이는 모순을 이용한 증명을 통해 달성된다. 저자는 등호가 성립한다고 가정하고, 그 결과 발생하는 안장점(saddle point) $(u^*, \lambda^*)$가 논리적 불일치를 초래함을 보여준다. 구체적으로, 증명은 함수의 대칭성(함수 $f$의 우함수 성질, $\gamma$의 기함수 성질)과 $\alpha$의 엄격한 볼록성을 이용하여, 만약 등호 가정하에 해가 존재한다면 그것은 자명한 해($u^*=0$)여야 함을 보여주며, 이는 큰 매개변수를 위해 구성된 범함수의 구조와 모순된다.
3. 코어시비티(Coercivity) 및 연속성: 증명은 $u \mapsto \sup_{\lambda} P(u, \lambda)$가 순차적 약한 하반연속(sequentially weakly lower semicontinuous)이고 코어시브(coercive)함을 확립한다. 이는 최소해의 존재를 보장하며 추상적 임계점 정리의 적용을 가능하게 한다.
4. $g$에 의한 섭동: 마지막 단계는 특정 성장 조건을 가진 카라테오도리 함수(Carathéodory functions)의 클래스 $\mathcal{A}$에 속하는 섭동 $g$를 더하는 것이다. 저자는 $g$의 원시 함수(primitive)의 진동이 충분히 작으면(상수 $\epsilon^*_\mu$에 의해 유계되면), 엄격한 미니맥스 부등식이 보존되어 해의 다중성을 보장함을 보여준다.

주요 가정
주요 결과(정리 1)는 다음 조건들을 요구한다:

• 비선형성 $f$: $f(x, \cdot)$는 거의 모든 $x$에 대해 우함수여야 하며, $f$가 0이 아닌 집합은 양의 측도를 가져야 한다. 또한, $F(x, t)$는 무한대에서 아이차(sub-quadratic) 성장 조건을 만족해야 한다 ($\lim_{|t|\to\infty} \sup |F(x,t)|/t^2 = 0$).
• 비선형성 $\gamma$: $\gamma$는 연속적이고 기함수이며, 0에서만 0이 되고, 그 원시 함수는 선형 성장 경계를 만족한다.
• 볼록 함수 $\alpha$: $\alpha$는 엄격한 볼록 함수이며 미분 가능하고, $\alpha(0)>0, \alpha'(0)=0, \alpha'(R)=R$을 만족한다.
• 매개변수 $\mu$: 매개변수 $\mu$는 충분히 커야 한다.
• 섭동 $g$: $g$의 상한의 적분과 하한의 적분의 차이는 특정 임계값 $\epsilon^*_\mu$보다 작아야 한다.

주요 결과
본 논문은 상기 언급된 가정하에, $\epsilon^*_\mu > 0$인 임계값이 존재하여, 작은 크기 조건을 만족하는 임의의 섭동 $g$에 대하여, 실수 집합 $A \subseteq \mathbb{R}$와 반지름 $\rho > 0$가 존재함을 입증하는 정리 1을 증명한다. 모든 $\lambda \in A$에 대하여, 문제 $(P)$는 $H^1_0(\Omega)$ 내에서 적어도 세 개의 약한 해를 가지며, 이들의 노름은 $\rho$보다 엄격히 작다.

의의 및 주장
본 논문은 짝함수를 포함하는 비로컬 방정식에 대한 특정 다중성 결과를 증명하기 위한 "매우 짧은 노트(very short note)"로서 자리매김한다.

• 독창성: 저자는 비고(Remark 1)에서 자신은 "정리 1과 적절한 비교가 가능할 정도로 가까운 기존의 결과를 알지 못한다"라고 명시적으로 밝힌다. 이는 본 결과가 비로컬 항, 짝함수, 그리고 엄격한 미니맥스 부등식을 통한 세 개의 해의 다중성이 결합된 특정 형태의 공백을 메우고 있음을 시사한다.
• 범위: 본 연구는 순수하게 이론적이며, 변분적 틀 내에서의 해의 존재성에 집중한다. 저자는 수치적 방법, 특정 물리적 응용 또는 향후 실험적 방향을 제안하지 않는다. 의의는 짝함수 대칭성을 보이는 특정 클래스의 비로컬 타원형 방정식에 대한 임계점 이론의 확장(extension)에 있다.