콘 입체와 네하리 다양체를 이용한 Banach 공간에서의 임계점 위치와 다중해 존재

초록

본 논문은 Banach 공간의 원뿔 안에 있는 원환형 영역에서 Nehari 다양체와 Birkhoff‑Kellogg 불변 방향 정리를 결합해 임계점을 찾는 새로운 방법을 제시한다. 기존의 Krasnoselskii 고정점 정리나 Ekeland 변분 원리를 쓰지 않고도 존재와 다중성을 증명하며, 이를 p‑라플라시안 방정식의 경계값 문제에 적용한다.

상세 분석

논문은 먼저 Banach 공간 X에 단일값이며 엄격히 단조인 대칭성(mapping) J가 존재하고, 그 역함수 J⁻¹이 연속이라고 가정한다. 이러한 대칭성은 p‑라플라시안 연산자와 같은 비선형 연산자에서 자연스럽게 나타나며, 특히 W¹,ᵖ₀(0,1) 공간에서 φ(τ)=τ^{p‑1}에 대응한다. 원뿔 K⊂X는 비퇴화(cone)이며, K∩∂U가 Nehari 다양체 N_{r,R}와 일치하도록 설계된 열린 집합 U를 구성한다. 여기서 Nehari 다양체는 N_{r,R}:={u∈K_{r,R} : ⟨E′(u),u⟩=0} 로 정의되며, E는 C¹ 함수형이다.

핵심 가정은 세 가지이다. (H1) 연산자 T:=J⁻¹∘N (여기서 N(u)=J(u)−E′(u))가 완전 연속이며 K에 불변이다. (H2) T가 N_{r,R} 위에서 영으로부터 떨어져 있다, 즉 inf_{u∈N_{r,R}}‖T(u)‖>0. (H3) 각 u∈K_{r,R}에 대해 스칼라 함수 α_u(s)=E(su)의 도함수 α′_u(s)=⟨E′(su),u⟩가 s=r‖u‖에서 양수, s=R‖u‖에서 음수이며, α′_u(s)=0을 만족하는 해 s(u)는 (r‖u‖,R‖u‖) 안에 유일하게 존재한다. 이 조건은 에너지 함수가 원뿔 안에서 “볼록‑오목” 형태를 갖는다는 의미이며, Nehari 다양체를 매끄럽게 매개변수화하는 데 필수적이다.

(H3)로부터 N_{r,R}={s(u)u : u∈K_{r,R}}= {u∈K_{r,R} : s(u)=1} 로 표현할 수 있다. 이를 이용해 V:= {σu : u∈N_{r,R}, 0≤σ<1} 를 정의하고, V는 K 안에서 열린 집합이며 ∂K V = N{r,R} 가 된다. 이제 Krasnoselskii‑Ladyzhenskaya 정리(정리 2.3)를 T에 적용하면, λ₀>0과 u*∈N_{r,R}가 존재해 J⁻¹N(u*)=λ₀u* 를 만족한다. J의 엄격 단조성으로부터 λ₀=1임을 얻고, 결국 N(u*)=J(u*) 즉, E′(u*)=0이 된다. 따라서 원뿔 안의 원환형 영역에서 임계점이 존재함을 보인다.

다중해 결과는 (H2),(H3)가 서로 겹치지 않는 여러 구간 (r_k,R_k) 에 대해 각각 적용함으로써 얻어진다. 구간들이 서로 겹치지 않으면 서로 다른 크기의 임계점 u*_k가 존재하고, 구간이 무한히 늘어나거나 감소하면 ‖u*_k‖→∞ 혹은 ‖u*_k‖→0인 무한열을 얻는다. 이는 기존의 Krasnoselskii 고정점 정리 기반 다중해 결과와 유사하지만, Nehari 다양체와 대칭성 매핑을 활용함으로써 C² 가정이 필요 없고, 변분 원리 대신 고정점 이론을 직접 이용한다는 점에서 차별화된다.

마지막으로 p‑라플라시안 방정식 −( |u′|^{p‑2}u′ )′ = f(u) 와 Dirichlet 경계조건을 고려한다. 여기서 f는 비음이며 양의 실수 구간에서 비감소한다. 에너지 함수 E(u)= (1/p)‖u‖_{1,p}^p −∫₀¹F(u)dt (F′=f) 로 정의하고, 앞서 설정한 K를 “비감소, 대칭, 하른크 부등식에 의해 하한을 갖는” 함수들의 집합으로 잡는다. 위의 일반 이론을 그대로 적용하면, 주어진 p‑라플라시안 문제에 대해 최소 하나의 양의 해와, 구간을 적절히 선택하면 무한히 많은 서로 다른 크기의 양의 해를 얻을 수 있다. 이는 기존에 Ekeland 원리를 사용하거나 변분적 Mountain‑Pass 구조를 필요로 했던 방법들보다 간결하고, Banach 공간 전반에 걸쳐 적용 가능함을 보여준다.

전체적으로 논문은 고정점 이론과 변분적 Nehari 다양체를 교묘히 결합함으로써, Banach 공간에서 원뿔 안의 원환형 영역에 대한 임계점 존재와 다중성 결과를 새로운 시각으로 제공한다. 특히 C¹ 수준의 매끄러움만 요구하고, 대칭성 매핑의 엄격 단조성을 이용해 λ=1을 강제하는 트릭은 향후 비선형 편미분 방정식, 비선형 고유값 문제 등에 폭넓게 활용될 가능성을 시사한다.