An eigenvalue problem for a nonlocal quasilinear anisotropic equation in fractional Orlicz Sobolev spaces without the $\Delta_2$--condition

1. 연구 배경 및 문제 정의 (Problem Statement)

이 논문은 비국소 (nonlocal), 준선형 (quasilinear), 이방성 (anisotropic) 확산 문제를 모델링하는 연산자에 대한 고유값 문제를 다룹니다. 특히, 기존의 연구들이 가정해 온 **∆2 조건 (∆2-condition)**을 만족하지 않는 Young 함수 (Young function) 를 포함하는 **프랙셔널 오르리츠 소볼레프 공간 (Fractional Orlicz-Sobolev spaces)**이라는 더 일반적인 맥락에서 문제를 설정했습니다.

• 주요 연산자:
  $$L^s_a u(x) = 2 \text{p.v.} \int_{\mathbb{R}^n} a\left(x, y, \frac{u(x) - u(y)}{|x - y|^s}\right) \frac{dy}{|x - y|^{n+s}}$$
  여기서 $a(x, y, \xi)$는 홀수 (odd), 대칭 (symmetric), 단조 (monotone) 성질을 가지며, 적절한 성장 조건을 만족하는 함수입니다. 이는 프랙셔널 $p$-라플라시안이나 프랙셔널 $m$-라플라시안의 일반화된 형태입니다.

• 고유값 문제:
  $$\begin{cases} L^s_a u = \lambda g(u) & \text{in } \Omega \\ u = 0 & \text{in } \mathbb{R}^n \setminus \Omega \end{cases}$$
  여기서 $\Omega \subset \mathbb{R}^n$是有界 영역이며, $g$는 적절한 성장 조건을 만족하는 비선형 함수입니다.

• 핵심 난제:
  기존 연구 (예: $p$-라플라시안) 는 공간이 반사적 (reflexive) 이고 가분 (separable) 이며, 관련 범함수가 미분 가능하다는 점을 이용해 리에르니크 - 슈나이더만 (Ljusternik-Schnirelmann) 이론을 적용했습니다. 그러나 ∆2 조건이 성립하지 않는 경우, 오르리츠 공간은 반사적이지 않고 가분하지 않으며, 범함수의 미분 가능성이 보장되지 않아 기존 이론을 직접 적용할 수 없습니다.

2. 방법론 (Methodology)

저자들은 ∆2 조건이 부재한 상황에서도 고유값의 무한한 수열을 존재하게 하기 위해 다음과 같은 수학적 도구를 활용했습니다.

1. 보완 시스템 (Complementary Systems) 및 갈러킨 근사:

   • 공간이 반사적이지 않더라도, 갈러킨 근사 (Galerkin approximation) 와 보완 시스템 (complementary systems) 이론을 결합하여 문제를 접근했습니다. 이는 [29], [41] 등의 선행 연구를 확장한 것입니다.
   • 유한 차원 부분 공간 $V_k$에서 문제를 풀고, $k \to \infty$로 극한을 취하여 해의 존재성을 증명합니다.

2. 준단조성 (Pseudomonotonicity) 증명:

   • 연산자 $L^s_a$가 **준단조 (pseudomonotone)**임을 증명하는 것이 핵심입니다 (Theorem 3.4).
   • 이는 약한 수열 $\{u_i\}$가 특정 조건을 만족할 때, 극한 $u$가 연산자의 정의역에 속하고 $L^s_a u = f$가 됨을 보장합니다. 이 성질은 비선형 편미분방정식의 해 존재성을 증명하는 데 필수적입니다.

3. 리에르니크 - 슈나이더만 (Ljusternik-Schnirelmann) 이론의 적용:

   • 유한 차원 공간 $V_k$ 위에서 범함수 $A_s(u)$와 $G(u)$를 정의하고, Krasnoselskii genus (위상적 차원) 를 사용하여 임계점 (고유함수) 의 수열을 구성합니다.
   • $N^s_k = \{u \in V_k : A_s(u) = 1\}$와 같은 레벨 집합에서 범함수 $G$의 임계값을 정의합니다.

4. 수렴성 분석:

   • 유한 차원 해 $\{(u_k, \lambda_k)\}$가 무한 차원 공간에서 수렴하는지, 그리고 극한이 원래 문제의 고유쌍 (eigenpair) 인지를 증명하기 위해, 프랙셔널 발산 (fractional divergence) 과 약한 수렴, 그리고 지배 수렴 정리를 정교하게 활용했습니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

1. ∆2 조건 없이 고유값 수열의 존재성 증명:

   • Young 함수 $M$과 그 켤레 함수 $\bar{M}$이 ∆2 조건을 만족하지 않더라도, 문제 (1.4) 에 대해 고유값 $\lambda_k$와 고유함수 $u_k$로 이루어진 무한 수열 $\{(u_k, \lambda_k)\}_{k \in \mathbb{N}}$이 존재함을 증명했습니다 (Theorem 4.10).

2. 점근적 거동 (Asymptotic Behavior):

   • 증명된 고유값 수열은 $\lambda_k \to +\infty$로 발산합니다.
   • 대응하는 고유함수 수열은 $u_k \to 0$으로 약하게 수렴합니다 (약한 위상 $\sigma(W^{s}L_M, W^{-s}E_{\bar{M}})$에서).

3. 일반화된 비국소 연산자:

   • 프랙셔널 $p$-라플라시안이나 $m$-라플라시안을 포함하는 더 일반적인 비국소 준선형 이방성 연산자 $L^s_a$에 대한 이론을 정립했습니다. 이는 다양한 비표준 성장 (nonstandard growth) 확산 현상을 모델링하는 데 적용 가능합니다.

4. 준단조 연산자의 성립:

   • ∆2 조건이 없는 프랙셔널 오르리츠 소볼레프 공간에서 비국소 연산자의 준단조성을 엄밀하게 증명하여, 비선형 분석 분야에서 중요한 기술적 진전을 이루었습니다.

4. 의의 및 중요성 (Significance)

• 이론적 확장: 기존의 반사적 공간 (reflexive spaces) 에 국한되었던 비선형 고유값 문제 이론을, 반사적이지 않고 가분하지 않은 더 넓은 공간 (∆2 조건 부재) 으로 확장했습니다. 이는 오르리츠 공간 이론과 비선형 편미분방정식 이론의 중요한 연결고리를 제공합니다.
• 물리적 모델링의 정밀화: 많은 물리학적 현상 (예: 비뉴턴 유체, 프랙탈 매질 내 확산 등) 은 ∆2 조건을 만족하지 않는 비표준 성장 거동을 보입니다. 이 연구는 이러한 현상을 수학적으로 엄밀하게 다룰 수 있는 틀을 마련했습니다.
• 수치해석 및 응용의 기초: 고유값의 무한 수열 존재성과 그 점근적 거동을 증명함으로써, 해당 연산자를 포함하는 수치 시뮬레이션 및 공학적 응용 연구에 이론적 토대를 제공했습니다.

요약

이 논문은 ∆2 조건이 성립하지 않는 프랙셔널 오르리츠 소볼레프 공간에서 정의된 비국소 준선형 이방성 연산자에 대해, 리에르니크 - 슈나이더만 이론과 갈러킨 근사법을 결합하여 무한한 수열의 고유값과 고유함수의 존재성을 증명했습니다. 특히, 공간의 반사성 부재라는 심각한 수학적 장애물을 극복하고 고유값이 무한대로 발산하는 점근적 성질을 규명했다는 점에서 비선형 편미분방정식 및 함수해석학 분야에서 중요한 의의를 가집니다.