p , q ) 라플라시안 비동질 방정식의 리우빌 정리와 임계 지수 분석

초록

본 논문은 외부 영역 및 전 공간 ℝⁿ에서 (p,q)‑라플라시안 연산자를 포함하는 두 종류의 비동질 쿼아시선 타원 부등식에 대해 리우빌(무존재) 정리를 확립한다. 첫 번째는 ‑Δₚu‑Δ_q u ≥ u^{s‑1} 형태이며, q<N 일 때 s<q* (Serrin 지수)에서는 양해가 없고 s>q에서는 양해가 존재함을 보인다. q≥N 경우 모든 s>1에 대해 해는 영함수뿐이다. 두 번째는 ‑Δₚu‑Δ_q u ≥ u^{s}|∇u|^{m} 형태로, 0≤m≤q‑1 혹은 m>p‑1인 경우 s(N‑q)+m(N‑1)<N(q‑1)이면 모든 양해는 상수이며, 특히 s<q인 경우 전 공간에서 해는 영함수이다. 새로운 하한 추정 기법을 도입해 기존의 비선형 용량 방법을 대체한다.

상세 분석

논문은 (p,q)‑라플라시안 연산자 Δₚ+Δ_q가 서로 다른 차수의 비선형 확산을 동시에 담당하는 비동질 구조를 갖는다는 점에 주목한다. 첫 번째 부등식 (P_s)에서는 외부 영역 Ω⊂ℝⁿ에 대해 비음수 해 u∈C(Ω)∩W^{1,p}_{loc}(Ω)가 존재하려면 지수 s가 q‑라플라시안의 Serrin 임계값 q*:=q(N‑1)/(N‑q)보다 커야 함을 보인다. 이는 q<N인 경우에만 의미가 있으며, q≥N이면 q가 무한대가 되므로 모든 s>1에 대해 u≡0만이 가능하다. 증명은 두 단계로 이루어진다. (i) Lemma 1.2에서 Δₚ+Δ_q가 비음수인 초조화 함수에 대해 하한 추정 u(x)≥κ|x|^{-θ} (θ≥(N‑q)/(q‑1))를 얻는다. (ii) Lemma 1.3에서는 추가적인 비선형 항 u^{s}|∇u|^{m}이 존재할 때, 조건 (1.4) s(N‑q)+m(N‑1)<N(q‑1) 하에 같은 형태의 하한을 반복적인 개선(iteration) 과정을 통해 강화한다. 이 하한은 결국 “정밀한” 하한이 되어, s<q인 경우에는 부등식의 오른쪽 항이 좌변의 성장보다 빠르게 감소함을 보이고, 따라서 u가 영함수임을 귀류법으로 증명한다.

두 번째 부등식 (P_{sm})에서는 m이 q‑1 이하이거나 p‑1보다 큰 경우에만 결과가 적용된다. m>p‑1인 경우는 기존 비선형 용량 방법을 그대로 적용해 바로 상수 해만 존재함을 보여준다. 반면 0≤m≤q‑1 구간에서는 위에서 언급한 하한 추정이 핵심이다. 하한이 충분히 강하면 u^{s}|∇u|^{m} 항이 전체 부등식에서 지배적이지 못함을 확인하고, 결국 u는 상수(특히 영)밖에 없다는 결론에 도달한다.

이러한 접근법은 기존 Mitidieri‑Pohozaev 용량 방법이 요구하는 고차 정규성이나 연산자의 동질성 가정을 피한다는 점에서 혁신적이다. 특히 (p,q)‑라플라시안은 두 차수가 서로 다르기 때문에 스케일 변환에 대한 불변성이 깨지며, 이는 전통적인 고유함수 기반 방법을 적용하기 어렵게 만든다. 저자들은 이를 우회하기 위해 “거의 최적 하한 추정”을 구축하고, 이를 이용해 반복적으로 개선하는 새로운 기법을 제시한다. 이 기법은 q‑라플라시안이 지배적인 경우(즉, q가 작은 경우)에도 적용 가능하며, 차수 차이가 큰 경우에도 충분히 강력한 결과를 제공한다.

또한, 논문은 외부 영역에서의 해 존재 여부와 전 공간 ℝⁿ에서의 전역 해 존재 여부를 명확히 구분한다. 외부 영역에서는 경계가 무한히 멀리 떨어져 있기 때문에 하한 추정이 특히 유용하며, 전 공간에서는 추가적인 정규성 가정(C¹ 등)이 필요하지만, 동일한 하한을 통해 전역적인 Liouville 정리를 얻는다.

결과적으로, 저자들은 (p,q)‑라플라시안이 포함된 비동질 쿼아시선 부등식에 대해 임계 지수 q*를 정확히 파악하고, 그 이하에서는 해가 존재하지 않으며, 그 이상에서는 양해가 존재함을 완전하게 규정한다. 이는 기존 p‑라플라시안 혹은 q‑라플라시안에 대한 결과를 일반화한 것이며, 복합 확산 현상을 모델링하는 물리·공학 문제에 직접적인 적용 가능성을 가진다.