泰勒展开公式的新认识特殊函数的倍乘公式与加法公式.docVIP

泰勒展开公式的新认识② ———特殊函数的倍乘公式与加法公式 吴 崇 试 ( 北京大学 物理学院，北京 100871) 摘要: 作为对泰勒展开公式的新认识，本文由泰勒展开公式出发，系统地导出了常用特殊函数的倍乘公式与加法公式． 得 到了大约 50 个公式，绝大多数在现有的几本主要工具书中都未能检得． 关键词: 泰勒展开; 倍乘公式; 加法公式; 超几何函数; 球函数; 柱函数 中图分类号: O 411. 1 文献标识码: A 文章编号: 1000-0712( 2012) 02-0001-05 有关特殊函数的倍乘公式与加法公式，在文献 ［1］中有系统的收录，但仅限于合流超几何函数． 作 为文献［2］的继续，本文按照文献［3］中描述的方 法，由泰勒展开公式导出倍乘公式与加法公式，并应 用于超几何函数以及球函数、柱函数，得到大约 50 个公式，其中的绝大多数在现有的几本主要工具书 中都未能检得． 1 倍乘公式的导出 如果在泰勒展开公式 | z / ( 1 + z) | ＜ 1 / | 1 － λ | 随 k≡ | 1 － λ | 值的变化． 当 k = 1 时，收敛区域为半平面 | z | ＞ － 1 /2． 随着 k 值增 大，收敛区域逐渐减小，当 k → ∞ 时收缩为一点 z = 0． 反之，随着 k 值的减小，收敛区域逐渐增大，当 k→ 0 时则扩大到全平面． ∞ f( ζ) = Σ 1 dn f( z) ( ζ － z) n ， | ζ － z | ＜ R ( 1) n = 0 n! dzn 中取 ζ = λz，则得到泰勒展开公式的一种变型 ∞ f( λz) = Σ n = 0 ( λ － 1) n n! dn f( z) zn ( 2) dzn 在一定意义上，可以把式( 2 ) 称为泰勒展开的倍乘 公式． 文献［2］给出的泰勒展开特殊形式相当于式 ( 2) 的特殊情形( λ = 0) ． 对于函数( 1 + z) α 与 ln( 1 + z) ，不难写出它们的 n 阶导数，因此，由式( 2) 就得到 α∞? 1 + λz? = Σ α ∞ ( － α) n ( 1 － λ) n ? z ? n z， z ＜ 1 1 + z n =0 n! ∞ 1 + z n zz1n n z z 1 1 + z |1 － λ | ( 3)  图 1 收敛区域 | z / ( 1 + z) | ＜ 1 / | 1 － λ | 随 λ 的变化． Σ1 +λz Σ ln 1 +z = － 1 ( 1 －λ) n ? 1 +z? ， ＜ ( 4) k≡ | 1 － λ | ≥1． 虚线内为单位圆内区域 | z | ＜ 1 n =0 1 +z |1 －λ| 图 1 和图 2 给出了级数( 3 ) 、( 4 ) 的收敛区域 下面给出式( 2) 对于超几何函数及相关特殊函 收稿日期:2011 － 05 － 09; 修回日期:2011 － 09 － 06 作者简介:吴崇试( 1938—) ，男，江苏泰州人，北京大学物理学院教授，博士生导师，一直从事理论物理的教学和科学研究工作． 数等的应用． 为节省篇幅，这里只列出最后结果． ( γ －n) zγ －1 －n n就能得出 n ( 1 －z) α +β －γ －n F( α －n，β －n; γ －n; z) ( 6d) ∞ F( α，β; γ; λz) = Σ ( λ － 1) n ( α) n ( β) n n n = 0 n! z · ( γ) n F( α + n，β + n; γ + n; z) ， z 1 － z ＜ 1 | 1 － λ |  ( 7) ? ?1 － λ ? ? 1 － z α + β － γ  F( α，β; γ; λz) = ∞n·Σ ( λ － 1 ) n ( γ － α) n ( γ － β) n ? z ? ∞ n · n = 0 n! ( γ) n 1 － z F( α，β; γ + n; z) ， z 1 － z ＜ 1 | 1 － λ |  ( 8) ∞ λγ － 1 F( α，β; γ; λz) = Σ n = 0 ( 1 － γ) n ( 1 － λ) n · n! F( α，β; γ － n; z) ， 1 － λ ＜ 1 ( 9) ? ?λγ － 1 1 － λ ? ? 1 － z α + β － γ ∞ F( α，β; γ; λz) = Σ n = 0 ( 1 － γ) n ! · n ? ? ? 1 －λ F( α －n，β －n; γ －n; z) ， 1