On the fundamental solutions of two nonlocal parabolic equations related to logarithmic Laplacians

기술 요약: 로그 라플라시안과 관련된 두 가지 비국소 포물선 방정식의 기본 해에 관하여

문제 제기
본 논문은 로그 라플라시안과 관련된 특정 비국소 포물선 방정식의 기본 해의 해석적 연속(analytic continuation)에 관한 V. Maz'ya의 질문을 다룬다. 이 연구는 얇은 공동(cavity)을 가진 영역에서의 일반 라플라시안의 경계값 문제와 관련하여 발생하는 두 가지 적분 연산자 $A_1$ 및 $A_2$에 초점을 맞춘다.

1. 연산자 $A_1$: 단위 원 $C \subset \mathbb{R}^2$ 상에 정의되며, 공형 로그 라플라시안(conformal logarithmic Laplacian)과 관련이 있다. 이 연산자의 기본 해 $K_1(t, \phi, \theta)$는 점근적으로 $2\ln(n)$으로 성장하는 고윳값 $2\lambda_n$을 포함하는 스펙트럼 급수로 표현된다. 이 급수는 대각선($\phi=\theta$)에서 $\Re(t) > 1/2$일 때만 수렴한다. Maz'ya는 이 급수 표현이 $t$의 메로모르프 함수(meromorphic function)로 연속될 수 있는지 여부를 물었다.
2. 연산자 $A_2$: 구간 $[-1, 1]$ 상에 정의되며, "지역적" 분수 차수 라플라시안(regional fractional Laplacian) 또는 로그 디리클레 라플라시안과 연관되어 있다. 이 연산자의 기본 해 $K_2(t, x, y)$는 르장드르 다항식(Legendre polynomials)과 조화수 $H_n$을 포함한다. 이 급수의 수렴 특성은 공간 변수 $x$와 $y$에 따라 더 복잡하게 달라진다.

방법론
저자들은 점근 전개(asymptotic expansions)와 복소해석학적 기법이 결합된 스펙트럼 분석 접근법을 사용한다:

• 스펙트럼 분해 (Spectral Decomposition): 두 연산자 모두 순수 이산 스펙트럼을 가짐이 입증되었다. 기본 해는 $e^{-t\lambda_n}$에 의해 가중치가 부여된 고유함수들의 합으로 표현된다.
• 고윳값의 점근 전개 (Asymptotic Expansion of Eigenvalues): 핵심적인 기술적 도구는 $n \to \infty$일 때의 고윳값(구체적으로 $A_1$의 경우 $2\lambda_n$, $A_2$의 경우 $H_n$)의 점근 전개이다. 저자들은 $\mu_n \sim s_{-1}\ln(n) + s_0 + \sum s_k n^{-k}$라는 전개를 활용한다.
• 벨 다항식(Bell Polynomials) 및 지수 생성 함수: 해석적 연속을 처리하기 위해, 저자들은 점근 급수를 사용하여 $e^{-t\mu_n}$ 항을 전개한다. 이는 부분 일반 벨 다항식(partial ordinary Bell polynomials)을 통해 정의되는 다항식 $p_{j,S}(t)$의 도입으로 이어진다. 이 다항식들은 지수 항의 점근 전개의 계수들을 포착한다.
• 적분 표현 (Integral Representations): $K_2$의 일반적인 경우($x, y \in (-1, 1)$)를 위해, 저자들은 멜린 변환(Mellin transform)과 르장드르 다항식의 생성 함수(하이퍼기하함수 ${}_2F_1$로 표현됨)를 활용한다. 이를 통해 스펙트럼 합을 적분 표현으로 변환함으로써, 변수 $s=0$ 근처에서의 특이점(singularity) 분석을 용이하게 한다.
• 특이점 분석 (Singularity Analysis): 하이퍼기하함수에서 발생하는 로그 항과 감마 함수의 전치(prefactor) 사이의 상호작용을 포함하여 $s=0$ 근처에서의 적분기(integrand)의 거동을 분석함으로써, 메로모르프 연속의 극(pole)의 위치와 성질을 결정한다.

주요 기여 및 결과

1. $K_1$의 메로모르프 연속:

   • 정리 1.2: 기본 해 $K_1(t, \phi, \theta)$는 모든 $\phi \neq \theta$에 대해 $t$의 **전함수(entire function)**로 확장된다.
   • 대각선 케이스 $\phi = \theta$의 경우, $K_1(t, \phi, \phi)$는 $t = 1/2 - m$ ($m \in \mathbb{N}_0$)에서 단순 극을 갖는 메로모르프 함수로 확장된다.
   • 이 극에서의 유수(residue)는 다항식 $p_{j,S_1}(t)$와 오일러-마스케로니 상수 $\gamma_E$를 사용하여 명시적으로 계산된다.
   • 저자들은 특정 지점에서 다항식이 0이 되지 않는다는 조건 하에, 이들이 유일한 극이라고 추측한다.

2. $K_2$의 메로모르프 연속:

   • 정리 1.4: $x \neq y$인 경우, $K_2(t, x, y)$는 $t$의 전함수로 확장된다.
   • 대각선 케이스 $x = y$인 경우, $K_2(t, x, x)$는 메로모르프 함수가 된다.
     • $x = \pm 1$이면, 극은 $t = 2$와 $t = -2m$ ($m \in \mathbb{N}$)에서 발생한다.
     • $x \in (-1, 1)$이면, 극은 $t = 1$과 잠재적으로 $t = -m$ ($m \in \mathbb{N}$)에서 발생한다.
   • 정리 1.5: 유수에 대한 명시적인 공식이 제공된다. 이 공식들은 다항식 $p_{j,S_2}(t)$, 베르누이 수, 그리고 적분 표현의 하이퍼기하함수 전개 및 제곱근 항에서 유도된 계수들을 포함한다.

3. 새로운 수학적 항등식:

   • 분석 과정에서 벨 다항식, 베르누이 수, 디감마 함수를 포함하는 여러 항등식을 증명하는 과정이 필요했다.
   • 구체적으로, 저자들은 특정 다항식 $p_{j,S_2(s)}(1-j)$가 $s$에 무관하며 홀수 $j$에 대해 0이 됨을 입증한다.
   • 또한 베르누이 다항식의 곱의 선형 결합(예: $B_1(s)^2/2 - B_2(s)/2 = 1/24$)을 포함하는 일련의 항등식들을 도출한다.

4. 열린 문제 (Open Problems):

   • 본 논문은 의심되는 극의 위치에서 유수 다항식이 0이 되지 않음에 관한 구체적인 추측을 제시한다. 이를 증명하는 것은 극의 구조를 확정하는 것(즉, 극을 제거하는 "우연한" 상쇄가 일어나지 않음을 확인하는 것)이다.
   • 저자들은 메로모르프 연속이 기대되기는 하지만, 모든 스펙트럼 급수에 대해 보장되는 것은 아님을 언급하며(로그 분기점이 발생하는 사례 인용), 자신들의 긍정적인 결과가 갖는 중요성을 강조한다.

의의
본 논문은 Maz'ya의 질문에 대해 엄밀한 긍정적 답변을 제공하며, 초기에는 제한된 수렴성을 가진 급수 표현을 가졌음에도 불구하고 이러한 비국소 포물선 방정식의 기본 해가 풍부한 해석적 구조(메로모르프 또는 전함수)를 가지고 있음을 보여준다.

결과적으로 이 해들은 대각선에서는 이동된 리만 제타 함수(shifted Riemann zeta functions)를, 대각선 밖에서는 폴리로그(polylogarithms)나 디리클레 에타 함수(Dirichlet eta functions)를 연상시킨다. 이 연구는 로그 라플라시안의 스펙트럼 이론과 고전적 특수 함수 사이의 간극을 메운다. 나아가, 벨 다항식과 베르누이 수와 관련된 새로운 항등식의 도출은 조합론적 수론 분야에도 독립적인 기여를 한다. 저자들은 이 방법론이 해당 연산자들의 고차원 유사체에도 적용 가능할 수 있음을 시사하며, 이를 향후 연구 과제로 남겨두었다.