system: [SYSTEM]

user: 1. 引言 自从G.-C. Rota和他的同事们将哑运算发展起来后 [ 1 ] [ 2 ]，利用算子的方法研究基础超几何级数就吸引了Goldman和Rota [ 3 ] [ 4 ]，Andrews [ 5 ]，Roman [ 6 ] 的兴趣，它们在相应的文章中做了一系列的研究。在算子后续的发展中，William Y. C. Chen和Zhi-Guo Liu对一些特殊的算子做了研究。其中他们对添加参数的算子研究颇深，利用这些特殊的算子去证明了一部分著名的恒等式 [ 7 ]。算子作为一个证明恒等式的工具，被国际上很多数学大家和学者拿来研究，其中Zhi-Guo Liu还利用算子以及莱布尼兹公式逐步推导得到了几个很有价值的扩展式，其中一个扩展式推导出了著名的Ramanujan θ 函数的相关函数 [ 8 ]。算子的应用对于基础超几何函数的研究至关重要。 1997年，William Y. C.和Zhi-Guo Liu介绍了一种建立在q-移位算子和q-微分算子基础上的算子 [ 9 ]，它出现在Roman的工作中 [ 6 ]，William Y. C.和Zhi-Guo Liu用以下符号 θ 来表示： θ = η − 1 D q 在这篇文章中还引入了一个由 θ 算子构造的指数算子： E ( b θ ) = ∑ n = 0 ∞ ( b θ ) n q ( n 2 ) ( q ; q ) n 其中b是一个参数。用欧拉等式来表示， E ( b θ ) 也可写成 ( − b θ ; q ) ∞ 。随后通过 θ 算子的莱布尼兹公式，得到了它的几个基本性质： θ { ( a t ; q ) ∞ } = ( − t ) ( a t ; q ) ∞ θ k { ( a t ; q ) ∞ } = ( − t ) k ( a t ; q ) ∞ 从以上 θ 算子的基本性质，又推导出了 E ( b θ ) 指数算子的重要性质： E ( b θ ) { ( a t ; q ) ∞ } = ( a t ， b t ; q ) ∞ E ( b θ ) { ( a s ， a t ; q ) ∞ } = ( a s ， a t ， b s ， b t ; q ) ∞ ( a b s t / q ; q ) ∞ William Y. C.和Zhi-Guo Liu紧接着发表了第二篇文章 [ 7 ]，文中构造了一个基于 D q 算子的T算子： T ( b D q ) = ∑ n = 0 ∞ ( b D q ) n ( q ; q ) n 以及它的两个基本性质： T ( b D q ) { 1 ( a t ; q ) ∞ } = 1 ( a t ， b t ; q ) ∞ T ( b D q ) { 1 ( a s ， a t ; q ) ∞ } = ( a b s t ; q ) ∞ ( a s ， a t ， b s ， b t ; q ) ∞ 应用T算子，William Y. C.和Zhi-Guo Liu证明了著名的q-Pfaff-Saalschütz公式、高斯 ϕ 2 1 求和公式和欧拉转换公式的Jackson q-模拟。用添加参数的方法，q-Pfaff-Saalschütz公式可以很容易地从q-Chu-Vandermonde卷积公式中推导得到；高斯 ϕ 2 1 求和公式可以由Cauchy二项式定理简单推导得到；欧拉转换公式的Jackson q-模拟也可以由Cauchy二项式定理的变形推导得到。 2003年，Zhi-Guo Liu证明了如何使用q-指数算子技术从q-Chu-Vandermonde卷积公式推导出q-Hahn多项式的转换公式 [ 10 ]，用同样的方法，文中还证明了Sears的 ϕ 3 2 转换公式，它可以从Heine的转换公式的Roger迭代得到；以及著名的Sears的 ϕ 4 3 转换公式，它可以从他的 ϕ 3 2 转换公式推导得到。随后，同样用算子技术，文中给出了三项Sears的 ϕ 3 2 转换公式和Andrews的恒等式的新证明。 2005年，Zhizheng Zhang和Jun Wang介绍了两个有趣的算子恒等式 [ 11 ]，将它们和q-指数算子技术应用在了许多基础超几何级数及q-积分的终止型求和公式中，推导出了许多q-级数恒等式和q-积分恒等式。这篇文章首先引入了两个n阶算子： θ n { ( a t ; q ) ∞ ( a v ; q ) ∞ } = v n q − ( n 2 ) ( t / v ; q ) n ( a t ; q ) ∞ ( a v / q n ; q ) ∞ D q n { ( a v ; q ) ∞ ( a t ; q ) ∞ } = t n ( v / t ; q ) n ( a v q n ; q ) ∞ ( a t ; q ) ∞ 接下来，这篇文章介绍了两个新的算子恒等式，它们是William Y. C.和Zhi-Guo Liu在前文中引入的T算子和 E ( b θ ) 指数算子的推广： T ( d D q ) { ( a v ; q ) ∞ ( a s ， a t ， a w ; q ) ∞ } = ( a v ， d v ; q ) ∞ ( a d s t w / v ; q ) ∞ ( a s ， a t ， a w ， d s ， d t ， d w ; q ) ∞     × ϕ 3 2 ( v / s ， v / t ， v / w a v ， d v ; q ， a d s t w / v ) E ( d θ ) { ( a t ， a s ， a w ; q ) ∞ ( a v ; q ) ∞ } = ( a t ; q ) ∞ ( a v ; q ) ∞ ⋅ ( a s ， a w ， d s ， d w ; q ) ∞ ( a d s w / q ; q ) ∞ ϕ 3 2 ( t / v ， q / a s ， q / a w q / a v ， q 2 / a d s w ; q ， q ) 2006年，Jian-Ping Fang构造了一个新的q-指数算子 [ 12 ]： ϕ 1 0 ( b − ; q ， − c θ ) = ∑ n = 0 ∞ ( b ; q ) n ( − c θ ) n ( q ; q ) n 并且推导得到了许多算子恒等式： ϕ 1 0 ( b − ; q ， − c θ ) { ( a s ， a t ; q ) ∞ ( a w ; q ) ∞ } = ( a s ， a t ， b c t ; q ) ∞ ( a w ， c t ; q ) ∞ ϕ 3 2 ( b ， s / w ， q / a t q / c t ， q / a w ; q ， q ) ϕ 1 0 ( b − ; q ， − c θ ) { ( a s ; q ) ∞ ( a w ; q ) ∞ } = ( a s ; q ) ∞ ( a w ; q ) ∞ ϕ 2 1 ( b ， s / w q / a w ; q ， q c / a ) ϕ 1 0 ( b − ; q ， − c θ ) { ( a s ; q ) ∞ } = ( a s ， b c s ; q ) ∞ ( c s ; q ) ∞ 应用这些算子恒等式，他给出了Jackson的 ϕ 2 2 转换公式的一个形式扩展式。同时，通过算子技术，他还推导得出了Bailey的 ψ 3 3 求和公式的形式扩展式，以及Sears终止型平衡 ϕ 4 3 转换公式的扩展。 2007年，Vincent Y. B. Chen，Nancy S. S. Gu介绍了Cauchy扩充算子 [ 13 ]： T ( a ， b ; D q ) = ∑ n = 0 ∞ ( a ; q ) n ( q ; q ) n ( b D q ) n 很明显，这个Canchy算子包含两个参数，它可作为算子 T ( b D q ) 的推广。 接着，他们令算子 T ( a ， b ; D q ) 作用在参数c上，以下恒等式是Cauchy q-二项式定理的结果： T ( a ， b ; D q ) { 1 ( c t ; q ) ∞ } = ( a b t ; q ) ∞ ( b t ， c t ; q ) ∞ 其中 | b t | < 1 。 T ( a ， b ; D q ) { 1 ( c s ， c t ; q ) ∞ } = ( a b t ; q ) ∞ ( b t ， c s ， c t ; q ) ∞ ϕ 2 1 { a ， c t a b t ; q ， b s } 其中 max { | b s | ， | b t | } < 1 。 T ( a ， b ; D q ) { ( c v ; q ) ∞ ( c s ， c t ; q ) ∞ } = ( a b s ， c v ; q ) ∞ ( b s ， c s ， c t ; q ) ∞ ϕ 3 2 { a ， c s ， v / t a b s ， c v ; q ， b t } 其中 max { | b s | ， | b t | } < 1 。 在许多算子恒等式中，利用许多参数的对称性，Vincent Y. B. Chen和Nancy S. S. Gu很容易推导出了Heine’s ϕ 2 1 转换公式和Sears’ ϕ 3 2 转换公式。应用这些算子恒等式，他们还得到了Askey-Wilson积分、Askey-Roy积分、Sears两项求和公式的推广。 2016年，在前人研究的基础上，Nadia Na Li和Wei Tan构造了两个带有三个参数的q-指数算子的推广 [ 14 ]： T [ u ， v w | q ; t D x ] = ∑ n = 0 ∞ ( u ， v ; q ) n ( q ， w ; q ) n ( t D x ) n E [ u ， v w | q ; t θ x ] = ∑ n = 0 ∞ ( u ， v ; q ) n ( q ， w ; q ) n ( t θ x ) n 并且得到了许多算子恒等式： T [ u ， v w | q ; t D x ] { ( x a ; q ) ∞ ( x b ， x c ; q ) ∞ } = ( x a ; q ) ∞ ( x b ， x c ; q ) ∞ ∑ n ， k ≥ 0 ( u ， v ; q ) n + k ( q ; q ) n ( w ; q ) n + k ( a / b ， x c ; q ) k ( q ， x a ; q ) k ( b t ) k ( t c ) n E [ u ， v w | q ; t θ x ] { ( x a ， x c ; q ) ∞ ( x b ; q ) ∞ } = ( x a ， x c ; q ) ∞ ( x b ; q ) ∞ ∑ n ， k ≥ 0 ( u ， v ; q ) n + k ( w ; q ) n + k ( q ; q ) n ( a / b ， q / x c ; q ) k ( q ， q / x b ; q ) k ( − 1 ) n ( t c ) n + k q − ( k 2 ) − n k T [ u ， v w | q ; t D x ] { P n ( x ， y / a ) ( x c ; q ) ∞ ( x a ， x b ; q ) ∞ } = ( y ; q ) n a n ( x c ; q ) ∞ ( x a ， x b ; q ) ∞ ∑ k = 0 n ( q − n ， x a ; q ) k q k ( q ， y ; q ) k ∑ i ， j ≥ 0 ( u ， v ; q ) i + j ( q ; q ) i ( w ; q ) i + j ( c / b ， q k x a ; q ) j ( q ， x c ; q ) j ( t b ) j ( q k t a ) i (其中 P n ( a ， b ) = a n ( b / a ; q ) n )。 E [ u ， v w | q ; t θ x ] { P n ( x ， y / a ) ( x b ， x c ; q ) ∞ ( x a ; q ) ∞ } = ( y ; q ) n a n ( x c ， x b ; q ) ∞ ( x a ; q ) ∞ ∑ k = 0 n ( q − n ， x a ; q ) k q k ( q ， y ; q ) k       × ∑ i ， j ≥ 0 ( u ， v ; q ) i + j ( q ; q ) i ( w ; q ) i + j ( b t ) i + j ( c q − k / a ， q / x b ; q ) j ( q ， q 1 − k / x a ; q ) j ( − 1 ) i q − ( j 2 ) − i j (其中 P n ( a ， b ) = a n ( b / a ; q ) n )。 应用上面这几个算子恒等式，Nadia Na Li和Wei Tan推导出了两个q-Gauss和式的形式扩展式，以及q-Chu-Vandermonde和式的推广。 2019年，Husam L. Saad和Sadeq M. Khalaf推广了Nadia Na Li和Wei Tan构造的两个带有三个参数的q-指数算子，得到了以下一个新的推广q-算子 [ 15 ]： ϕ r s ( a 1 ， ⋯ ， a r b 1 ， ⋯ ， b s ; q ， − c θ ) = ∑ k = 0 ∞ ( a 1 ， ⋯ ， a r ; q ) k ( − c θ ) k ( b 1 ， ⋯ ， b s ; q ) k ( q ; q ) k [ ( − 1 ) k q ( k 2 ) ] 1 + s − r 以及以下几个算子恒等式： ϕ r s ( a 1 ， ⋯ ， a r b 1 ， ⋯ ， b s ; q ， − c θ ) { ( a u ， a t ; q ) ∞ } = ( a u ， a t ; q ) ∞ ∑ j = 0 ∞ ∑ k = 0 ∞ W k + j ( c t ) k ( q ; q ) k × [ ( − 1 ) k q ( k 2 ) ] 1 + s − r ( q / a t ; q ) j ( q ; q ) j ( a c t u / q ) j [ ( − 1 ) j q ( j 2 ) ] s − r q k j ( s − r ) ϕ r s ( a 1 ， ⋯ ， a r b 1 ， ⋯ ， b s ; q ， − c θ ) { a n ( a t ; q ) ∞ } = a n ( a t ; q ) ∞ ∑ j = 0 n ∑ k = 0 ∞ W k + j ( c t ) k ( q ; q ) k × [ ( − 1 ) k q ( k 2 ) ] 1 + s − r ( q − n ， q / a t ; q ) j ( q ; q ) j ( c t ) j [ ( − 1 ) j q ( j 2 ) ] s − r q k j ( s − r ) 应用这些算子恒等式，Husam L. Saad和Sadeq M. Khalaf得到了一些推广的恒等式。 算子的研究还有很多很多，前人应用各种算子证明了不少著名的恒等式，还得到了很多新的恒等式，算子的意义非同小可。本文将简单应用两个算子，推得了几个新的恒等式。