가변 주기의 주기함수와 삼각함수 체계의 정규성 연구

초록

본 논문은 주기가 일정하지 않은 리듬 신호를 모델링하기 위해 ‘가변 주기 함수’를 정의하고, 구체적인 예시와 그 주기식(Explicit form)을 제시한다. 또한 가변 주기를 갖는 삼각함수 체계의 직교성을 증명하고, 일반화된 삼각함수 체계의 존재 조건을 탐구한다.

상세 분석

논문은 먼저 전통적인 주기함수의 정의를 재검토하고, 시간에 따라 변하는 주기를 허용하는 새로운 정의를 제시한다. 이 정의는 함수 f(t)와 양의 실수값 함수 T(t) 사이에 f(t+T(t))=f(t)라는 관계를 만족하도록 설정한다. 여기서 T(t)는 연속적이며 미분 가능할 것을 요구함으로써, 급격한 변동 없이 부드러운 주기 변화를 보장한다. 저자는 이러한 정의가 실제 신호 처리, 특히 심장 박동이나 음악적 템포 변동과 같은 비정상적 리듬을 모델링하는 데 적합함을 강조한다.

다음으로, 구체적인 가변 주기 함수의 예시가 세 가지 제시된다. 첫 번째는 로그함수와 삼각함수를 결합한 형태인 f₁(t)=sin(2π·t·log t)로, 주기가 로그함수에 비례해 점진적으로 늘어난다. 두 번째는 역함수 형태 f₂(t)=sin(2π·t/(1+α t))로, α>0일 때 주기가 점점 짧아지는 특성을 가진다. 세 번째는 급격한 변화를 포함하는 f₃(t)=sin(2π·t·e^{-βt})이며, β>0이면 초기에는 높은 주기를 유지하다가 시간이 흐를수록 급격히 감소한다. 각 예시마다 T(t)의 명시적 식을 도출하고, 그 연속성 및 미분 가능성을 검증한다.

핵심적인 수학적 기여는 가변 주기를 갖는 삼각함수 체계 {sin (2π n φ(t)), cos (2π n φ(t))}ₙ₌₁^∞의 직교성을 증명한 것이다. 여기서 φ(t)=∫₀^t 1/T(τ) dτ는 ‘정규화된 위상 함수’로, T(t)와의 관계를 통해 변동 주기를 균일한 위상으로 변환한다. 저자는 가중치 함수 w(t)=1/T(t) 하에서 구간