두 베셀 브리지 비충돌 조건과 이중 디리클레 급수 및 야코비 세타 함수

초록

본 논문은 시작점이 원점인 3차원 베셀 브리지 두 개에 비충돌 조건을 부여한 경우, 최대값의 모멘트가 이중 디리클레 급수와 야코비 세타 함수 및 그 도함수의 곱 적분으로 표현됨을 보인다. 이를 통해 물벼락(2‑워터멜론) 모델의 높이 모멘트의 장기 거동을 정확히 추정한다.

상세 분석

논문은 먼저 단일 3차원 베셀 브리지(조건부 브라운 운동)의 최대값 모멘트가 리만 제타 함수와 직접적인 관계가 있음을 재확인한다. 이후 두 개의 베셀 브리지를 동시에 고려하면서 “비충돌”(non‑colliding) 조건을 추가한다. 이 조건은 Dyson의 비교가능 행렬 모델에서 나타나는 ‘워터멜론’ 경로와 동형이며, 물리적으로는 두 입자가 서로 교차하지 않도록 하는 반발 효과를 의미한다. 비충돌 조건을 만족하는 확률밀도는 Karlin–McGregor 공식에 의해 행렬식 형태로 전개될 수 있으며, 여기서 각 행렬 원소는 단일 베셀 브리지의 전이밀도이다. 저자들은 이 행렬식을 푸리에 변환하고, 베셀 브리지의 전이밀도를 제트 함수(Jacobi theta function)의 급수 전개로 표현함으로써, 최대값의 분포를 이중 디리클레 급수 형태로 정리한다. 이중 디리클레 급수는 두 변수에 대한 ζ‑함수의 일반화로, 복소평면에서의 해석적 연속성과 모듈러 변환 성질을 활용하면 모멘트의 정확한 값과 수렴 속도를 얻을 수 있다. 특히, 최대값의 k번째 모멘트는
\