이중 직교 전개와 덩클 커널의 새로운 전개법

본 논문은 고전적인 Paley‑Wiener 공간 구조를 이중(bilinear) 전개와 상보 직교(biorthogonal) 함수열을 이용해 확장하는 새로운 이론적 틀을 제시한다. 서론에서는 e^{ixt}와 같은 평면파 커널이 Fourier 급수, Prolate Spheroidal Wave Functions, Gegenbauer 전개 등 다양한 형태로 이중 전개될 수 있음을 소개하고, 이러한 전개가 각각 샘플링 정리, Mercer 커널, 적분 연산자 대각화와 연결된다는 점을 강조한다. 특히 Gegenbauer 전개는 β 파라미터가 일반 실수일 때는 기존 직교 체계만으로는 다루기 어려워, 상보 직교 체계를 도입함으로써 파라미터를 자연스럽게 포함시킬 수 있음을 언급한다. 2장에서는 일반적인 구조를 수학적으로 정의한다. Ω⊂ℝ, I⊂Ω, 측도 μ를 두고 대칭 커널 K(x,t)=K(t,x) 를 가정한다. 연산자 K와 그 역연산자 \mathcal{E}_K 를 각각 (4), (5) 로 정의하고, 푸비니 정리를 이용해 곱셈 공식 (6)을 얻는다. 여기서 핵심은 L²(I,μ) 위에 완전한 직교 기저 {φ_n} 혹은 완전한 상보 직교 쌍 {P_n},{Q_n} 를 잡는 것이다. 직교 경우에는 S_n(x)=\mathcal{E}_K(χ_I φ_n)(x) 가 P 공간의 정규 기저가 되며, (9) 식을 통해 K(x,t)=∑_n S_n(x)φ_n(t) 라는 이중 전개가 성립한다. 상보 직교 경우에는 정의 (10) 에 따라 S_n(x)=\mathcal{E}_K(χ_I Q_n)(x), T_n(x)=K(χ_I P_n)(x) 로 두고, 정리 1을 증명한다. 정리 1은 K(x,t)=∑_n P_n(t)S_n(x) 라는 전개와, P 공간의 임의 함수 f가 f(x)=∑_n c_n(f)S_n(x) 로 전개될 수 있음을 보이며, 계수 c_n(f)=∫_Ω f(t)T_n(t)dμ(t) 로 주어진다. 또한 전개가 L²-노름 수렴뿐 아니라, 재생 커널 k(x,y)=∑_n S_n(x)S_n(y) 가 유계이면 균등 수렴함을 논한다. 이는 샘플링 이론의 Kramer's lemma와 직접 연결된다. 3장에서는 구체적인 예시를 통해 위 이론을 적용한다. 첫 번째 예는 Fourier 커널 K(x,t)= (2π)^{-1/2}e^{ixt} 로, I=