수학 에서 다항식 시퀀스 {p n ( z ) } {\displaystyle \{p_{n}(z)\}} 은 다항식 생성 함수 가 다음과 같은 형식을 취할 경우 일반화된 호칭 표현 을 갖는다 .
K ( z , w ) = A ( w ) Ψ ( z g ( w ) ) = ∑ n = 0 ∞ p n ( z ) w n {\displaystyle K(z,w)=A(w)\PSI(zg(w)) =\sum _{n=0}^{\infit }p_{n}(z)w^{n}}}}} 여기서 생성 함수 또는 커널 K( z , w ) {\displaystyle K(z,w)} 이(가) 영상 시리즈로 구성됨
A ( w ) = ∑n = 0 ∞ n n w {\ displaystyle A(w)=\sum _{n=0}^{ n=0}^{n}w^{n}}\quad }, 0 ≠ 0 {\displaystystyle a_{0}\neq 0} 그리고
ψ ( t ) = ∑n = 0 ∞ ∞n t \\ displaystyle \Psi (t)=\sum \{n=0}^{n}\psi _{n}^{n}\quad } 및 모든 ψ n ≠ 0 {\displaystystyle \ps \{n}\n } 그리고
g ( w ) = ∑n = 1 ∞ g n w {\ displaystyle g(w)=\sum _{n=1}^{ n=1}^{\infit }g_ {n}w^{n}\nites }, g 1 ≠. {\displaystystyle g_{1 }\nq.} 위와 같이 볼 때 p n ( z ) {\displaystyle p_{n}(z)} 이 (가) 도 n {\displaystyle n} 의 다항식임 을 나타내는 것은 어렵지 않다.
보아스-벅 다항식 은 약간 더 일반적인 다항식이다.
특례 g ( w ) = w {\displaystyle g(w)=w} 의 선택은 브렌케 다항식 의 클래스를 제공한다 . ψ ( t ) = e t {\ displaystyle \Psi (t)=e^{t}} 를 선택하면 다항식의 셰퍼 시퀀스 가 나타나는데 , 다항식의 경우 뉴턴 다항식 과 같은 일반적인 차이 다항식 이 포함된다. g ( w ) = w {\displaystyle g(w)=w} 및 ψ( t ) = e t {\ displaystyle \Psi(t)=e^{t}} 의 조합 선택은 다항식의 호칭 시퀀스 를 제공한다 . 명시적 표현 일반화된 호칭 다항식에는 명시적 표현이 있다.
p n ( z ) = ∑ k = 0 n z k Ψ k h k . {\displaystyle p_{n}(z)=\sum _{k=0}^{n}z^{k}\psi _{k}h_{k}. } 상수는
h k = ∑ P a j 0 g j 1 g j 2 ⋯ g j k {\displaystyle h_{k}=\sum _{P}a_{0_}g_{j_{1}g_{1}g_{{j_2}}\cdots g_{j_{k}}}}}} 여기서 이 합계는 n {\displaystyle n} 의 모든 구성 에 걸쳐 k + 1 {\displaystyle k+1} 부분으로 확장된다. 즉, 합은 다음과 같은 {j } {\displaystyle \{j\} 전체에 걸쳐 확장된다.
j 0 + j 1 + ⋯ + j k = n . {\displaystyle j_{0}+j_{1}+\cdots +j_{k}=n.\,} 호칭 다항식의 경우, 이것은 공식으로 간주된다.
p n ( z ) = ∑ k = 0 n a n − k z k k ! . {\displaystyle p_{n}(z)=\sum _{k=0}^{n}{\frac {a_{n-k}z^{k}}}}{k! }}.}
재귀관계 마찬가지로 커널 K( z , w ) {\displaystyle K(z,w)} 을(를) A( w ) ψ ( z , w) 로 쓸 수 있는 필요 하고도 충분한 조건이며, g = 1 = 1 {\displaystyle g_{1}=1} 인 경우 .
∂ K ( z , w ) ∂ w = c ( w ) K ( z , w ) + z b ( w ) w ∂ K ( z , w ) ∂ z {\displaystyle {\frac {\partial K(z,w)}{\partial w}=c(w)}+{\frac {zb(w)}{w}{\frac {\partial K(z,w)}{\partial z}}}}}}}}} 여기서 b( w ) {\displaystyle b(w)} 및 c( w ) {\displaystyle c(w)} 에 전원 시리즈가 있음
b ( w ) = w g ( w ) d d w g ( w ) = 1 + ∑ n = 1 ∞ b n w n {\displaystyle b(w)={\frac {w}{w}}}{d}}{d}}}}{n=1+(w)\sum _{n=1}^{n=1}b_{n}w^{n}}}}}}}}}}}}} 그리고
c ( w ) = 1 A ( w ) d d w A ( w ) = ∑ n = 0 ∞ c n w n . {\displaystyle c(w)={\frac {1}{1}{1A(w)}}{dw}A(w)=\sum _{n=0}^{\inflit }c_{n}w^{n}}. } 대체
K ( z , w ) = ∑ n = 0 ∞ p n ( z ) w n {\displaystyle K(z,w)=\sum _{n=0}^{\p_{n}(z)w^{n}}}}} 즉시 재귀 관계 를 부여하다.
z n + 1 d d z [ p n ( z ) z n ] = − ∑ k = 0 n − 1 c n − k − 1 p k ( z ) − z ∑ k = 1 n − 1 b n − k d d z p k ( z ) . {\displaystyle z^{n+1}{\frac {d}{dz}}\left[{\frac {p_{n}(z)}{z^{n}}}\right]=-\sum _{k=0}^{n-1}c_{n-k-1}p_{k}(z)-z\sum _{k=1}^{n-1}b_{n-k}{\frac {d}{dz}}p_{k}(z). } 브렌케 다항식의 특수한 경우, g ( w ) = w {\displaystyle g(w)=w} 이(가) 있고, 따라서 bn = 0 {\displaystyle b_{n}=0} 이( 가) 모두 있어 재귀 관계를 상당히 단순화한다.
참고 항목
참조 Ralph P. Boas Jr. R. Creighton Buck, 분석 기능의 다항식 확장 (Second Printing Corrected), (1964) New York, Springer-Verlag, Berlag, Publishers Inc. 의회 도서관 카드 번호 63-23263. Brenke, William C. (1945). "On generating functions of polynomial systems". American Mathematical Monthly . 52 (6): 297–301. doi :10.2307/2305289 . Huff, W. N. (1947). "The type of the polynomials generated by f(xt) φ(t)". Duke Mathematical Journal . 14 (4): 1091–1104. doi :10.1215/S0012-7094-47-01483-X .