On the lower bound and upper bound of the Sum of Eigenvalues of the Fractional-Logarithmic Laplacian

논문 요약: 분수 - 로그 라플라시안의 고유값 합에 대한 하한 및 상한 추정

1. 연구 배경 및 문제 정의

• 연구 대상: 유계 영역 $\Omega \subset \mathbb{R}^n$ 에서 정의된 분수 - 로그 라플라시안 (Fractional-Logarithmic Laplacian) $(-\Delta)^{s+\ln}$ 의 디리클레 고유값 $\lambda_j(\Omega)$ 의 부분합 $\sum_{j=1}^k \lambda_j(\Omega)$ 에 대한 점근적 거동 및 경계 (bounds) 를 규명하는 것.
• 연산자의 정의: 이 연산자는 분수 라플라시안 $(-\Delta)^s$ 를 차수 매개변수 $s$ 에 대해 미분하여 유도된 것으로, 푸리에 심볼 (Fourier symbol) 이 $|\xi|^{2s} \ln |\xi|^2$ 로 주어집니다.
• 핵심 난제: 기존 분수 라플라시안 ($|\xi|^{2s}$) 은 반경 변수에 대해 전역적으로 단조 증가하지만, 분수 - 로그 라플라시안의 심볼은 저주파수 (low-frequency) 영역에서 단조성이 깨집니다 ($|\xi|^{2s} \ln |\xi|^2$ 는 $|\xi| < 1$ 일 때 음수 값을 가짐). 이로 인해 기존의 베레진 - 리 - 야우 (Berezin-Li-Yau) 방법이나 크뢰거 (Kröger) 방법과 같은 표준적인 스펙트럼 이론 기법을 직접 적용하기 어렵습니다.
• 목표: 고유값 합에 대해 올바른 주점 (leading-order) 점근식을 가진 하한과 상한을 엄밀하게 증명하여, 분수 라플라시안과 로그 라플라시안 사이의 스펙트럼 구조를 연결하는 것입니다.

2. 주요 결과 (Main Results)

논문은 $k \to \infty$ 일 때 고유값 합의 점근적 거동이 다음과 같음을 보였습니다:
$$\sum_{j=1}^k \lambda_j^{s+\ln}(\Omega) \sim \frac{2}{n+2s} (2\pi)^{2s} (\omega_n |\Omega|)^{-2s/n} k^{1+2s/n} \ln k$$
여기서 $\omega_n$ 은 단위 구의 부피입니다. 이 결과는 분수 성분의 성장 ($k^{1+2s/n}$) 과 로그 보정 ($\ln k$) 이 곱해지는 구조를 가집니다.

• 하한 추정 (Lower Bound):

  • Theorem 2.5: 충분히 큰 $k$ 에 대해 다음 부등식이 성립함을 증명했습니다.
    $$\sum_{j=1}^k \lambda_j^{s+\ln}(\Omega) \geq C_1 k^{1+2s/n} \left( \ln k - C_2 \right)$$
    여기서 주항의 계수는 점근식과 정확히 일치합니다.
  • 특징: 저주파수 영역에서 심볼이 음수일 수 있다는 점을 고려하여, 적분 영역을 세분화하고 최적화 기법을 사용하여 하한을 유도했습니다.

• 상한 추정 (Upper Bound):

  • Theorem 3.2: 영역의 경계 층 (boundary layer) 에 대한 약한 조건 (부피가 거리에 비례하여 감소) 하에 다음 부등식이 성립함을 증명했습니다.
    $$\sum_{j=1}^k \lambda_j^{s+\ln}(\Omega) \leq C_1 k^{1+2s/n} \ln k + C_2 k^{1+2s/n}$$
  • 특징: 크뢰거 (Kröger) 유형의 기법을 확장하여, 절단 평면파 (cutoff plane-wave) 함수를 구성하고 레일리 - 리츠 (Rayleigh-Ritz) 원리를 적용했습니다.

3. 방법론 (Methodology)

• 하한 추정을 위한 접근법 (Lemma 2.4 및 Theorem 2.5):

  1. 푸리에 변환과 함수 정의: 고유함수들의 푸리에 변환 제곱합 $f(\xi) = \sum |\hat{\phi}_j(\xi)|^2$ 을 정의합니다.
  2. 적분 부등식 유도: $f(\xi)$ 가 가지는 제약 조건 ($0 \le f \le M_1$, $\int f = k$) 하에서 심볼 $|\xi|^{2s} \ln |\xi|^2$ 의 적분값을 최소화하는 문제를 다룹니다.
  3. 단조성 문제 해결: 심볼이 전역적으로 단조 증가하지 않으므로, 단위 구 $B_1$ 내부 (음수 영역) 와 외부 (양수 영역) 를 분리하여 처리합니다.
  4. 최적화: 라그랑주 승수법과 유사한 변분법을 통해 적분값의 하한을 구하고, 이를 고유값 합에 대입하여 하한을 도출합니다.

• 상한 추정을 위한 접근법 (Lemma 3.1 및 Theorem 3.2):

  1. 절단 평면파 (Cutoff Plane-wave): 경계 조건을 만족시키기 위해 경계 층에서 부드럽게 0 이 되는 절단 함수 $\eta_0$ 를 사용하여 $v_\sigma(x) = w_\sigma(x) e^{-ix \cdot z}$ 형태의 시험 함수를 구성합니다.
  2. 비국소적 추정 (Lemma 3.1): 이 시험 함수에 대한 연산자의 기대값을 추정하여, 주 심볼 항과 오차 항 (경계 층에서 발생) 으로 분리합니다.
  3. 레일리 - 리츠 원리 적용: 처음 $k$ 개의 고유함수에 직교하는 부분공간에서 레일리 몫을 최소화하여 $\lambda_{k+1}$ 의 상한을 구하고, 이를 누적하여 합에 대한 상한을 유도합니다.
  4. 점근적 분석: $k$ 가 커짐에 따라 $r_k$ (주파수 반경) 와 $\sigma$ (경계 층 두께) 를 적절히 스케일링하여 오차 항이 주항보다 작아지도록 합니다.

4. 주요 기여 및 의의

1. 비단조 심볼에 대한 스펙트럼 이론의 확장:

   • 기존 분수 라플라시안 연구에서는 심볼의 단조성이 핵심이었으나, 본 논문은 저주파수에서 단조성이 깨지는 분수 - 로그 라플라시안에 대해 성공적으로 하한과 상한을 확립했습니다. 이는 비국소 연산자 이론에서 중요한 진전입니다.

2. 혼합 스펙트럼 구조의 규명:

   • 고유값 합의 주항이 분수 라플라시안의 성장률 ($k^{1+2s/n}$) 과 로그 라플라시안의 성장률 ($k \ln k$) 의 곱으로 나타난다는 것을 엄밀하게 증명했습니다. 이는 분수 차수 $s$ 와 로그 보정이 스펙트럼에 어떻게 상호작용하는지를 명확히 보여줍니다.

3. 일반화된 베레진 - 리 - 야우 및 크뢰거 부등식:

   • 고전적인 라플라시안, 분수 라플라시안, 로그 라플라시안에 대해 알려진 부등식들을 분수 - 로그 라플라시안으로 자연스럽게 확장했습니다. 이는 다양한 비국소 연산자에 대한 고유값 부등식 연구의 기초를 제공합니다.

4. 기술적 기법의 정립:

   • 심볼의 비단조성을 극복하기 위한 적분 최적화 기법 (Lemma 2.4) 과 비국소 연산자를 위한 절단 평면파 기법 (Lemma 3.1) 을 정립하여, 향후 유사한 특성을 가진 다른 연산자 연구에 방법론적 토대를 마련했습니다.

5. 결론

이 논문은 분수 - 로그 라플라시안의 디리클레 고유값 합에 대해 점근적으로 최적인 하한과 상한을 제시함으로써, 해당 연산자의 스펙트럼 성질을 완전히 규명했습니다. 특히, 심볼의 저주파수 비단조성이라는 기술적 난제를 극복하고, 분수적 성장과 로그 보정이 결합된 새로운 스펙트럼 스케일을 규명한 것이 본 연구의 가장 큰 의의입니다.