[논문 리뷰] Higher-order Cauchy of the first kind and poly-Cauchy of the first kind mixed type polynomials

Dae San Kim, Taekyun Kim|arXiv (Cornell University)|2013. 08. 09.

Advanced Mathematical Identities참고 문헌 12인용 수 24

한 줄 요약

이 논문은 운벌 해석학을 통해 첫 번째 유형의 고차수 코시와 다중-코시의 혼합형 다항식을 도입한다. 스틸링 수, 베르누이 다항식, 프로비엔스-휴러 다항식, 하강 계승계수 다항식과 관련된 명시적 항등식과 변환 공식을 유도하며, 생성함수와 선형 함수형 기법을 통해 새로운 관계를 수립한다.

ABSTRACT

In this paper, we study higher-order Cauchy of the first kind and poly-Cauchy of the first kind mixed type polynomials with viewpoint of umbral calculus and give some interesting identities and formulae of those polynomials which are derived from umbral calculus.

연구 동기 및 목표

• 운벌 해석학을 사용하여 첫 번째 유형의 고차수 코시와 다중-코시의 혼합형 다항식을 정의하고 연구한다.
• 이 혼합형 다항식에 대한 명시적 생성함수와 운영 항등식을 도출한다.
• 이 혼합형 다항식을 베르누이, 프로비엔스-휴러, 하강 계승계수 다항식으로 표현하는 변환 공식을 수립한다.
• 셰퍼 수열과 선형 함수형 기법을 활용하여 구조적 성질과 재귀 관계를 탐색한다.
• 혼합 차수 프레임워크를 도입하여 기존의 코시 및 다중-코시 수에 대한 결과를 일반화한다.

제안 방법

• 생성함수 $ \left(\frac{t}{\log(1+t)}\right)^r \frac{Lif_k(\log(1+t))}{(1+t)^x} $를 통해 운벌 해석학을 사용하여 혼합형 다항식 $ A_n^{(r,k)}(x) $를 정의한다.
• $ A_n^{(r,k)}(x) $가 쌍 $ \left(\left(\frac{te^t}{e^t-1}\right)^r \frac{1}{Lif_k(-t)}, e^{-t}-1\right) $에 대한 셰퍼 수열임을 식별하여 셰퍼 해석학 도구의 사용을 가능하게 한다.
• 이동 공식과 선형 함수형 해석학을 적용하여 제1종 스틸링 수를 포함한 변환 항등식을 도출한다.
• 형식적 멱급수에서 내적 연산, 특히 $ \langle f(t) | x^n \rangle $ 및 $ \langle t^k | p(x) \rangle $를 사용하여 명시적 계수 $ C_{n,m} $를 도출한다.
• 생성함수의 변환 기법을 활용하여 $ Lif_k(t) $, $ \log(1+t) $, $ (1+t)^{-s} $를 포함한 다항식을 이용해 혼합형 다항식을 베르누이 및 프로비엔스-휴러 다항식 기저로 표현한다.
• 역관계 기법을 적용하여 $ A_n^{(r,k)}(x) $를 하강 계승계수 다항식 $ x^{(m)} $의 선형 조합으로 표현함으로써 닫힌 형태의 변환을 도출한다.

실험 결과

연구 질문

• RQ1 첫 번째 유형의 고차수 코시와 다중-코시를 어떻게 통합된 다항식 가족으로 조합할 수 있는가?
• RQ2 이 혼합형 다항식이 만족하는 구조적 항등식과 재귀 관계는 무엇인가?
• RQ3 이 다항식은 베르누이 및 프로비엔스-휴러 다항식과 같은 고전적 다항식 기저로 어떻게 표현될 수 있는가?
• RQ4 제1종 스틸링 수는 이 혼합형 다항식의 변환 공식에서 어떤 역할을 하는가?
• RQ5 하강 계승계수 다항식 기저로 $ A_n^{(r,k)}(x) $에 대한 닫힌 형태 표현을 유도할 수 있는가?

주요 결과

• 혼합형 다항식 $ A_n^{(r,k)}(x) $가 쌍 $ \left(\left(\frac{te^t}{e^t-1}\right)^r \frac{1}{Lif_k(-t)}, e^{-t}-1\right) $에 대한 셰퍼 수열임이 입증되어 운벌 해석학을 통한 체계적 분석이 가능하다.
• 다음과 같은 변환 공식을 통해 $ A_n^{(r,k)}(x) $를 베르누이 다항식의 선형 조합으로 표현할 수 있다: $ A_n^{(r,k)}(x) = \sum_{m=0}^n \left\{ (-1)^m \sum_{l=0}^{n-m} \binom{n}{l} S_1(n-l,m) A_l^{(r+s,k)}(s) \right\} B_m^{(s)}(x) $.
• 프로비엔스-휴러 다항식에 대해서도 유사한 변환 공식을 도출하였다: $ A_n^{(r,k)}(x) = \frac{1}{(1-\lambda)^s} \sum_{m=0}^n \left\{ (-1)^m \sum_{l=0}^{n-m} \sum_{a=0}^s (-\lambda)^a \binom{n}{l} \binom{s}{a} S_1(n-l,m) A_l^{(r,k)}(s-a) \right\} H_m^{(s)}(x|\lambda) $.
• 직접적인 하강 계승계수 다항식 전개를 얻었다: $ A_n^{(r,k)}(x) = \sum_{m=0}^n (-1)^m \binom{n}{m} A_{n-m}^{(r,k)} x^{(m)} $, 여기서 $ x^{(m)} = x(x+1)\cdots(x+m-1) $이다.
• 이론적 공식을 사용하여 $ A_n^{(r,k)}(x) $의 도함수를 유도하였다: $ \frac{d}{dx} A_n^{(r,k)}(x) = (-1)^{n+1} n! \sum_{l=0}^{n-1} \frac{(-1)^{l+1}}{(n-l)l!} A_l^{(r,k)}(x) $, 이는 이동 공식을 활용하였다.
• 변환 공식의 계수는 제1종 스틸링 수 $ S_1(n-l,m) $를 통해 명시적으로 계산되었으며, 이는 혼합형 다항식이 조합론적 수론과 연결됨을 보여준다.