Existence of solutions for elliptic problems involving the $(1,q)$-Laplacian operator and a discontinuous superlinear nonlinearity

기술 요약: (1, q)-라플라시안과 불연속적인 초선형 비선형성을 포함하는 타원형 문제의 해의 존재성

문제 정의
본 논문은 리프시츠 경계(Lipschitz boundary)를 가진 유계 영역 $\Omega \subset \mathbb{R}^N$ ($N \geq 2$)에서 정의된 일종의 준선형 타원형 문제들을 조사한다. 핵심 방정식은 다음과 같다:
$$\begin{cases} -\Delta_1 u - \Delta_q u = H(u - \beta) |u|^{s-2} u & \text{in } \Omega, \\ u = 0 & \text{on } \partial\Omega, \end{cases} \quad (P)$$
여기서:

• $\Delta_1 u = \text{div}\left(\frac{\nabla u}{|\nabla u|}\right)$는 1-라플라시안 연산자이다.
• $\Delta_q u = \text{div}(|\nabla u|^{q-2}\nabla u)$는 $q$-라플라시안 연산자이다. ($1 < q < s < q^*$이며, 여기서 $q^*$는 임계 소볼레프 지수이다.)
• $H$는 $u = \beta$ ($\beta > 0$)에서 불연속성을 도입하는 헤비사이드 함수(Heaviside function)이다.
• 비선형성은 초선형(superlinear)이다 ($s > q$).

주요 수학적 난점은 1-라플라시안으로부터 자연스럽게 발생하는 것으로, 이는 반사적(reflexive) 성질이 결여된 함수 공간인 유계 변동 함수(Functions of Bounded Variation, $BV(\Omega)$) 공간으로 이어진다. 이는 컴팩트성과 약해(weak solution)의 정의와 관련하여 상당한 기술적 과제를 생성한다. 또한, 불연속적인 헤비사이드 함수의 존재는 표준적인 미분 가능한 변분법(variational methods)의 사용을 방해한다.

방법론
저자들은 다단계 근사 전략과 비매끄러운 임계점 이론(nonsmooth critical point theory) 및 발산-측도 장(divergence-measure fields) 이론을 결합하여 접근한다:

1. (p, q)-라플라시안에 의한 근사: 문제는 $(1 < p < q)$인 $(p, q)$-라플라시안 연산자($-\Delta_p u - \Delta_q u$)를 포함하는 보조 문제 $(P_p)$들의 가족을 고려함으로써 접근된다. 극한 $p \to 1^+$는 원래의 $(1, q)$-라플라시안 구조를 회복한다.
2. 비매끄러운 변분 프레임워크: 불연속적인 비선형성과 결합된 에너지 범함수는 프레셰 미분 가능(Fréchet differentiable)하지 않으므로, 저자들은 국소 리프시츠 범함수(locally Lipschitz functionals, 클라크의 일반화된 기울기)를 위한 임계점 이론을 활용한다. 저자들은 범함수 $J_{p,\beta}$를 정의하고, $u_{p,\beta}$의 임계점을 확립하기 위해 비매끄러운 산맥 통과 정리(Mountain Pass Theorem)를 적용한다.
3. 균등 추정 및 컴팩트성:
   • 유계성: 저자들은 해의 수열 $(u_{p,\beta})$가 $W^{1,q}_0(\Omega)$ 및 $L^\infty(\Omega)$ (모제라 반복법(Moser iteration)을 통해)에서 균등하게 유계임을 증명한다.
   • 수렴: $p \to 1^+$일 때, 수열은 극한 함수 $u_\beta$로 수렴한다. 1-라플라시안을 포함하는 항은 벡터 장 $|\nabla u_{p,\beta}|^{p-2}\nabla u_{p,\beta}$의 약한 극한을 $\|z_\beta\|_\infty \leq 1$을 만족하는 벡터 장 $z_\beta \in L^\infty(\Omega, \mathbb{R}^N)$로 식별함으로써 처리된다.
4. 극한 분석 ($\beta \to 0^+$): 논문은 더 나아가 매개변수 $\beta$가 0으로 갈 때의 해들의 점근적 거동을 분석한다. 여기에는 $(u_\beta)$ 패밀리가 헤비사이드 불연속성이 제거된 연속 극한 문제 $(P_0)$의 해 $u_0$로 수렴함을 증명하는 과정이 포함된다.

핵심 기여 및 결과

• 약해(Weak Solution)의 정의: 본 논문은 $BV$함수 및 발산-측도 장의 맥락 내에서 문제 (P)에 대한 해의 엄밀한 정의를 확립한다. 함수$u$가 해가 되기 위해서는 다음을 만족하는 벡터 장$z$와 함수$\rho$가 존재해야 한다:
  • $-\text{div}(z) - \Delta_q u = \rho$ 가 분포(distributional) 의미에서 성립한다.
  • $z \cdot \nabla u = |\nabla u|$ 가 거의 모든 곳(almost everywhere)에서 성립한다 (이는 벡터 장과 기울기를 연결하는 결정적인 조건이다).
  • $\rho$는 불연속 지점 $u=\beta$에서의 헤비사이드 함수에 대응하는 다가 포함 관계(multivalled inclusion)를 만족한다.
• 정리 1 (존재성): 임의의 $\beta > 0$에 대하여, 문제 (P)는 적어도 하나의 비음수(nonnegative), 비자명(nontrivial) 해 $u_\beta \in W^{1,q}_0(\Omega)$를 갖는다. 주목할 점은, 1-라플라시안의 존재에도 불구하고 $q$-라플라시안의 정규화 효과 덕분에 해가 소볼레프 공간 $W^{1,q}_0(\Omega)$에 속한다는 것이다.
• 정리 2 (점근적 거동): $\beta \to 0^+$일 때, $(u_\beta)$ 패밀리는 (부분 수열까지) 우측 항이 $|u|^{s-2}u$인 극한 문제 $(P_0)$의 비자명, 비음수 해 $u_0 \in W^{1,q}_0(\Omega)$로 수렴한다. 수렴은 $1 \leq r < q^*$인 $L^r(\Omega)$ 및 거의 모든 곳에서 발생한다.
• 비자명성(Non-triviality): 저자들은 $u_\beta(x) > \beta$인 집합의 측도가 작은 $\beta$에 대해 0으로부터 떨어져 있음을 보여줌으로써, 해가 자명하지 않음을 증명한다. 이는 해가 사라지거나 임계값 아래로 완전히 집중되지 않음을 보장한다.

의의
본 논문은 표준적인 $p$-라플라시안 문제들에 비해 여전히 탐구되지 않은 영역인 $(1, q)$-라플라시안 연산자 이론의 발전에 기여한다. 근사 기법을 비매끄러운 해석학 및 발산-측도 장 이론과 결합함으로써, 저자들은 비반사적 성질의 1-라플라시안과 비선형성의 불연속성이라는 이중 과제를 성공적으로 해결하였다. 이 연구는 기존의 1-라플라시안 문제들에 대한 결과들(예: Pimenta 등, Figueiredo 등의 연구)을 혼합된 $(1, q)$ 케이스로 확장하며, $q$-라플라시안의 정규화 효과가 특이한 1-라플라시안 항을 다루기 위한 필요한 구조를 유지하면서도 해가 소볼레프 공간에 속할 수 있게 함을 입증한다.