분수 p q 초콜레드 방정식 해의 집중과 다중성

초록

본 논문은 파라미터 ε가 작을 때, 지수 성장 비선형을 갖는 분수 (p,q)-Choquard 방정식의 양의 약해해가 최소한 cat Mδ(M) 개 존재함을 보이고, 해들의 최대점이 잠재함수 Z의 최소값을 갖는 집합 M에 수렴함을 증명한다. 또한 ε‑스케일 변환을 통해 얻은 해는 W^{s,p}∩W^{s,q} 공간에서 강하게 수렴하여 자가상태(ground state) 해와 일치한다.

상세 분석

이 연구는 두 개의 비선형 분수 라플라시안 연산자 (−Δ)^{s}{p}와 (−Δ)^{s}{q}가 동시에 등장하는 (p,q)-Choquard 방정식에 초점을 맞춘다. 여기서 p=N s 로 설정되어 차원과 차분 차수가 일치하도록 하였으며, q>p 로 두 연산자의 상호작용을 강조한다. 비선형 항 f(u)는 0 이하에서는 0이고, 양의 실수 구간에서는 트루딩거‑모세르 임계 지수 성장 조건을 만족한다. 구체적으로 f′(t)는 다항식 성장과 H_{N,s}(β₀|t|^{N/(N−s)}) 형태의 지수항을 동시에 포함하며, β₀는 임계값 α* (s,N)보다 작게 잡힌다. 이는 기존 연구에서 다루던 다항식 혹은 하위 임계 성장과는 달리, 임계 지수 성장에 대한 정밀한 제어가 필요함을 의미한다.

잠재함수 Z(x)는 양의 하한 Z₀>0을 갖고, 열린 유계 집합 Ω⊂ℝⁿ에서 최소값 Z₀을 취하고 경계에서는 더 큰 값을 가진다. 이러한 “지역 최소” 구조는 Ljusternik‑Schnirelmann 범주 이론을 적용할 때, 해의 위치가 Z의 최소값을 갖는 집합 M={x:Z(x)=Z₀}에 집중하도록 만든다.

주요 방법론은 다음과 같다. 먼저 ε를 스케일링 변수로 두고, 원래 문제(Q)를 ε‑변환된 문제(Q_ε)로 바꾼다. 이때 에너지 함수 I_ε는 W^{s,p}_Z,ε∩W^{s,q}_Z,ε 공간 위에서 정의되며, Palais‑Smale 조건을 만족하도록 증명한다. 그러나 비선형 f가 C¹가 아니므로 전통적인 Nehari manifold을 미분가능하게 다루기 어렵다. 저자들은 Nehari manifold을 직접 사용하지 않고, 대신 Mountain Pass 구조와 Ljusternik‑Schnirelmann 범주를 적용하기 위한 “제한된” 변형 함수를 도입한다. 이는 (f₅) 조건, 즉 t↦f(t)t^{1−q}가 증가함을 이용해 에너지 레벨을 제어하고, 최소값을 갖는 임계점들을 구분한다.

또한, p=N s이므로 Sobolev 임베딩 W^{s,p}↪L^∞가 성립하지 않는다. 이를 극복하기 위해 분수 트루딩거‑모세르 부등식(Lemma 3.1)을 활용한다. 이 부등식은 ‖v‖_{W^{s,p}}≤1인 함수에 대해 ∫ℝⁿ H{N,s}(α|v|^{N/(N−s)})dx가 유한함을 보이며, α가 임계값 α*보다 작을 때만 성립한다. 이 결과는 비선형 항의 지수 성장 제어와 Palais‑Smale 시퀀스의 강한 수렴을 보이는 핵심 도구가 된다.

다중성 결과는 Ljusternik‑Schnirelmann 범주 cat_{M_δ}(M)와 직접 연결된다. 잠재함수 Z가 최소값을 갖는 집합 M의 δ‑이웃 M_δ에 대해, ε가 충분히 작을 때 최소한 cat_{M_δ}(M)개의 양의 약해해가 존재한다. 각 해 w_ε는 최대점 ζ_ε를 가지며, ζ_ε는 ε→0⁺일 때 M에 수렴하고 Z(ζ_ε)→Z₀이다. 마지막으로, 스케일 변환 u_ε(x)=w_ε(εx+ζ_ε) 를 수행하면, u_ε는 W^{s,p}∩W^{s,q}에서 강하게 수렴하여 자가상태 해 u를 만든다. 이 자가상태 해는 상수 Z₀를 잠재함수로 갖는 자율 문제(Q_θ) (θ=Z₀)의 최소 에너지 해와 동일하다.

결과적으로, 저자들은 (i) 지수 성장 비선형에 대한 새로운 변분 프레임워크, (ii) 비미분가능 Nehari manifold을 우회하는 범주 이론 적용, (iii) 분수 트루딩거‑모세르 부등식 활용이라는 세 가지 기술적 혁신을 통해, 기존 연구가 다루지 못했던 (p,q)-Choquard 방정식의 다중성 및 집중 현상을 성공적으로 확장하였다.