초선형 방정식 무한해 존재성에 대한 새로운 최소극법

초록

본 논문은 Ambrosetti‑Rabinowitz 조건만을 가정한 초선형 타원 방정식에서 대칭 가정 없이도 무한히 많은 서로 다른 약해해가 존재함을 새로운 최소극 프레임워크와 일반화된 모르스 지수를 이용해 증명한다.

상세 분석

논문은 기존의 최소극 이론이 대칭성이나 군 작용에 크게 의존한다는 한계를 극복하고자, ‘특성 매핑 군(family)’이라는 새로운 매핑 군을 도입한다. 이 매핑 군은 초기값에 대한 부드러운 하강 흐름(descending flow) 아래 불변성을 유지한다는 점에서 기존의 G‑동형성, 연결성, 위상적 연결(linking) 기법과 근본적으로 다르다. 저자들은 비선형 항 f(x,u)를 매끄럽게 근사화하여 C² 매핑 g를 얻고, 이 g에 대해 C² 흐름 τ(t,u)를 정의한다. 흐름의 존재와 유일성, 그리고 초기값에 대한 미분 τ′_u(t,u)의 전단사성은 Gronwall‑Bellman 부등식을 이용한 고전적인 고정점 논증으로 확보된다. 특히 τ′_u가 영벡터를 갖지 않음(injectivity)이라는 성질은 이후 최소극값을 구성할 때 핵심적인 ‘일반화된 모르스 지수(Morse index)’ 하한을 제공한다.

다음 단계에서는 유한 차원 부분공간 X_n에 대한 근사 문제 J_{m,n}을 설정하고, k 차원의 원판 D_{r_k,R_k}⊂X_k를 매핑 군의 시작점으로 잡는다. 흐름 τ를 t>0에 대해 제한하면 D_{r_k,R_k}는 C² 매니폴드 A_t로 변환되며, τ(t,·)는 D와 A_t 사이의 C² 미분동형사상이다. 이때 최소극값 C(m,n)k를 정의하고, t→∞으로 갈 때 A_t 위에서 최대점을 선택하면 Palais‑Smale 수열을 얻는다. 흐름의 미분이 전단사이므로 해당 수열의 Hessian J’’{m,n}의 음·영·영공간 차원의 합, 즉 일반화된 모르스 지수 M(J_{m,n},·)는 최소 k를 만족한다.

마지막으로 m→∞, n→∞ 순서로 극한을 취하면서 (PS)∗와 (PS)** 조건을 이용해 실제 에너지 함수 J의 임계점 u_k를 얻는다. 이때 M(J,u_k)→∞이며, 에너지값 J(u_k)도 무한히 커진다. 따라서 대칭 가정 없이도 Ambrosetti‑Rabinowitz 조건만으로 초선형 방정식이 무한히 많은 서로 다른 약해해를 갖는다는 오랜 추측을 해결한다. 논문은 또한 구체적인 모델 −Δu=|u|^{p−2}u+|u|^{q−1}에 대해 동일한 결과를 도출함으로써 적용 가능성을 보여준다. 전체 증명은 흐름의 C² 매끄러움, 매핑 군의 불변성, 그리고 일반화된 모르스 지수 하한을 결합한 새로운 최소극 전략이 핵심임을 강조한다.