侯庆虎
- 教师名称：侯庆虎
- 教师拼音名称：Hou Qinghu
- 出生日期：1974-12-03
- 性别：男
- 职称：教授
其他联系方式
- 邮箱：
Mathematica package --- rlog
点击次数:
摘要:This package provides a computer proof on the
r-log-convexity of P-recursive sequences.
For example, the Motzkin numbers M_n satisify
3 (1 + n) M_n + (5 + 2 n) M_{n+1} - (4 + n) M_{n+2} = 0.
So the annihilator operator is
L = 3 (1 + n) + (5 + 2 n) N - (4 + n) N^2
By the command
rLogBound[L, n, N, {1, 1, 2}, 1, 3],
we find that for n>=75, the sequence is 1-log-convex.
As a by-product, we find that for n>=75,
3+191/(16 n^2)-9/(2 n)<=M_{n+1}/M_n<=3+223/(16 n^2)-9/(2 n)
是否译文:否
CN号:null