비Δ₂ 조건을 벗어난 Orlicz‑Sobolev 공간에서의 일반화된 다중조화 연산자 고유값 문제

초록

본 논문은 Δ₂ 조건을 가정하지 않은 Orlicz‑Sobolev 공간에서, 임의의 차수 k 에 대한 일반화된 다중조화 연산자 (A(u)=\sum_{|\alpha|\le k}(-1)^{|\alpha|}D^{\alpha}G_{\alpha}(x,\xi(u))) 의 고유값 문제 (A(u)=\lambda h(x,u)) 를 연구한다. 의사단조 연산자와 보완 시스템 이론을 이용해 정규화 파라미터 (\mu>0) 에 대해 무한히 많은 고유값 (\lambda_i\to\infty) 와 대응하는 고유함수 (u_i) 가 존재함을 증명하고, 추가적인 성장 가정 하에 De Giorgi 반복을 통해 고유함수의 유계성을 얻는다. 정규성 결과는 Δ₂ 조건을 필요로 함을 강조한다.

상세 분석

이 연구는 기존의 고전적인 Sobolev 공간이나 Δ₂ 조건을 만족하는 Orlicz‑Sobolev 공간에서만 가능한 고유값 존재론을, Δ₂ 조건을 포기한 보다 일반적인 N‑함수 환경으로 확장한다는 점에서 혁신적이다. 핵심은 두 단계로 나뉜 접근법이다. 첫 번째 단계에서는 연산자 (A) 를 함수적 (G(u)=\int_{\Omega}G(x,\xi(u))dx) 의 게이트웨이로 해석하고, (G) 가 엄격히 볼록하고 (C^{1})이며 M‑강제성 (\theta|\nabla^{k}u|{M}\le \int{\Omega}G(x,\xi(u))dx) 를 만족하도록 가정한다. 또한 각 편미분 (G_{\alpha}) 가 Orlicz 함수 (M,\bar M) 로 제어되는 성장식 (|G_{\alpha}(x,\xi)|\le a(x)+b,\bar M^{-1}(M(c\xi_{\beta}))) 를 만족한다. 이러한 조건은 연산자 (A) 가 의사단조(pseudomonotone)이며 연속적인(연속적)임을 보장한다. 두 번째 단계에서는 보완 시스템 ((Y,Y_{0},Z,Z_{0})) 를 구축한다. 여기서 (Y=W^{k}{0}L{M}(\Omega)), (Z=W^{-k}L_{\bar M}(\Omega)) 등은 각각 Orlicz‑Sobolev 공간과 그 이중공간이며, 보완 시스템 이론에 의해 Ljusternik‑Schnirelmann 변분 원리를 적용할 수 있다. 결과적으로 임의의 정규화 파라미터 (\mu>0) 에 대해, 제약 (\int_{\Omega}H(x,u)dx=\mu) 를 만족하는 연속적인 고유값 열 ({\lambda_{i}}) 과 대응 고유함수 ({u_{i}}) 가 존재하고 (\lambda_{i}\to\infty) 임을 얻는다. 마지막으로, 추가적인 Δ₂ 가정 하에 De Giorgi 반복을 수행해 고유함수의 (L^{\infty}) 경계 추정치를 얻는다. 이 정규성 단계는 현재 알려진 대부분의 정규성 결과가 Δ₂ 조건에 의존한다는 사실을 재확인하면서도, 그 필요성을 명시적으로 제시한다.