하이브리드 다항식으로 보는 모츠키 수와 중심 삼항계수

** 본 논문은 Hermite와 Laguerre 다항식을 연결하는 하이브리드 다항식 체계를 이용해 중심 삼항계수와 모츠키 수를 특수값으로 표현한다. 이를 통해 두 수열의 일반화 형태와 새로운 항등식을 도출하고, Legendre 다항식·Bessel 함수와의 연계까지 제시한다. **

저자: P. Blasiak (1), G. Dattoli (2), A. Horzela (1)

** 본 논문은 중심 삼항계수(CTC)와 모츠키 수(MN)를 통합적으로 다루기 위해 Hermite‑Kampé de Fériet(HKdF) 다항식과 두 변수 Laguerre 다항식을 연결하는 ‘하이브리드 다항식’ 체계를 제시한다. 1. **기본 정의와 연산자 표현** - HKdF 다항식 \(H_n(x,y)=n!\sum_{k=0}^{\lfloor n/2\rfloor}\frac{x^{\,n-2k}y^{k}}{k!(n-2k)!}\) 로 정의하고, 연산자 형태 \(H_n(x,y)=\exp\!\big(y\partial_x^2\big)x^n\) 와 지수 생성함수 \(\sum_{n\ge0}H_n(x,y)\frac{t^n}{n!}=e^{xt+yt^2}\) 를 제시한다. - 두 변수 Laguerre 다항식 \(L_n(x,y)=n!\sum_{k=0}^{n}\frac{(-1)^k y^{\,n-k}x^{k}}{(k!)^2 (n-k)!}\) 를 역미분 연산자 \(\beta D^{-1}_x\) 로 표현한다. 2. **하이브리드 다항식 \(\Pi_n(x,y)\) 의 정의** - \(\Pi_n(x,y)=H_n\!\big(y,\beta D^{-1}_x\big)1\) 로 정의하고, 전개를 통해 \(\Pi_n(x,y)=n!\sum_{k=0}^{\lfloor n/2\rfloor}\frac{y^{\,n-2k}x^{k}}{(k!)^2 (n-2k)!}\) 를 얻는다. - 이 식은 중심 삼항계수와 동일함을 보이며, 즉 \(c_n=\Pi_n(1,1)\) 라는 식을 얻는다. 3. **생성함수와 특수 함수와의 연계** - \(\sum_{n\ge0}\Pi_n(x,y)\frac{t^n}{n!}=e^{yt}\exp\!\big(\beta D^{-1}_x t^2\big)1\) 를 전개하면 \(\exp(yt)\sum_{r\ge0}\frac{x^{r}t^{2r}}{(r!)^2}=e^{yt}I_0(2t\sqrt{x})\) 가 된다. - \(x=y=1\) 로 두면 \(\sum_{n\ge0}c_n\frac{t^n}{n!}=e^{t}I_0(2t)\) 로, Bessel‑I 함수와 직접 연결된다. 4. **Legendre 다항식과의 관계** - \(\Pi_n(x,y)\) 를 Legendre 다항식 \(P_n\) 로 재표현하면 \(c_n=i^n\sqrt{3}^{\,n}P_n(-i\sqrt{3})\) 가 된다. - 이를 이용해 잘 알려진 재귀식 \((n+1)c_{n+1}=(2n+1)c_n+3n\,c_{n-1}\) 를 Legendre 재귀식 \((n+1)P_{n+1}= (2n+1)xP_n-nP_{n-1}\) 로부터 직접 유도한다. 5. **모츠키 수와 연관 삼항계수** - 연관 삼항계수 \(c_n^{(\alpha)}\) 를 \(\Pi_n^{(\alpha)}(x,y)=H_n\!\big(y,\beta D^{-1}_{x,\alpha}\big)1\) 로 정의하고, \(\alpha=1\) 일 때 \(m_n=c_n^{(1)}\) 가 된다. - 생성함수는 \(\sum_{n\ge0}m_n\frac{t^n}{n!}=e^{t}tI_1(2t)\) 로, CTC와 동일한 구조이지만 \(t\) 앞에 한 차례 추가된 형태이다. 6. **재귀식 및 일반화** - 하이브리드 다항식의 기본 재귀식 \(H_{n+1}=H_n+2y\,H_{n-1}\) 를 \(\Pi_n\) 에 적용하면 \(\Pi_{n+1}= \Pi_n+2n\,\Pi_{n-1}^{(1)}\) 가 된다. - 이를 CTC와 MN에 대입하면 \(c_{n+1}=c_n+2n\,m_{n-1}\) 와 \(m_n=\frac{c_{n+2}-c_{n+1}}{2(n+1)}\) 라는 상호 연관 재귀식을 얻는다. 7. **p‑연관 삼항계수와 고차 일반화** - 파라미터 \(p\) 를 도입해 \(c_n^{(p)}=n!\sum_{k=0}^{\lfloor n/2\rfloor}\frac{1}{(n-2k)!k!(k+p)!}\) 로 정의하고, 동일한 구조의 재귀식 \(c_{n}^{(p+1)}=c_n^{(p)}+\frac{c_{n+2}^{(p)}-c_{n+1}^{(p)}}{2(n+1)}\) 를 얻는다. - 차수 \(m\) 를 확대한 고차 연관 삼항계수 \(c_{n}^{(m,p)}\) 도 정의하고, 재귀식 \(c_{n+1}^{(m,p)}=c_n^{(m,p)}+\frac{n!}{(n-m+1)!}\,c_{n-m+1}^{(m,p)}\) 로 일반화한다. 8. **조합론적 해석과 추가 예시** - 하이브리드 다항식의 특정 매개변수 선택 (\(x=1,y=1/2\) 등) 이 고정점·전치수와 관련된 정수열을 생성함을 보이며, 이는 OEIS에 등재된 여러 조합론적 수열과 일치한다. - 이러한 예시는 하이브리드 다항식이 다양한 조합론적 구조를 포괄할 수 있음을 시사한다. 9. **결론** - 논문은 하이브리드 Hermite‑Laguerre 다항식이 중심 삼항계수와 모츠키 수를 통합적으로 기술하는 강력한 도구임을 입증한다. - 기존의 초월함수·특수다항식 이론과 자연스럽게 연결되며, 재귀식·생성함수·정수열 간의 일관된 패턴을 제공한다. - 향후 연구에서는 이 체계를 이용해 더 높은 차수·다중 파라미터 수열의 조합론적 의미를 탐구하고, 물리학·통계역학 등에서 나타나는 유사 구조를 해석하는 데 활용할 수 있을 것으로 기대한다. **

원본 논문

고화질 논문을 불러오는 중입니다...

댓글 및 학술 토론

Loading comments...

의견 남기기