找回密码
 欢迎注册
查看: 34056|回复: 8

[讨论] 求通项公式

[复制链接]
发表于 2013-1-11 08:38:12 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

您需要 登录 才可以下载或查看,没有账号?欢迎注册

×
已知 a1=1, a2=3, a3=2, a4=1, a5=1; an+5=an+6 , 求an, Sn(即前n项和) 需要的是简洁的表达。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2013-1-11 11:34:21 | 显示全部楼层
答案一:a5n+r=ar+6n,  S5n+r=Sr+6rn+15n(n-1)+nS5(n≥1,r=1,2,3,4,5)

答案二:化成an+6=an+5+an+1-an, 用特征方程法可求得一个单一表达式。

答案一的表达式多,但每个是很简洁的。答案二的表达式单一,但将是一个包含5次单位根的复杂式子。哪个更简洁呢?

评分

参与人数 1鲜花 +2 收起 理由
wayne + 2 手法老练,赞!

查看全部评分

毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2013-1-11 23:48:39 | 显示全部楼层
2# hujunhua
恩,这两个答案都已经很简洁了。
我印象中还可以用统一的显示表达的, 即an=f(n),
这个f(n)是一个简洁的高斯取整函数,譬如 [g(n)/12],g(n)是关于n的二次多项式。

这个题目的数据是我随便给的,可能有不妥的地方。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2013-1-14 10:54:18 | 显示全部楼层
本帖最后由 chyanog 于 2013-1-14 10:58 编辑 这个用rsolve的话,M7能解,M8不能,M9又能解了。和我曾提到过的
  1. RSolve[{a[n] == a[n - 5] + 1, Sequence @@ Table[a[i] == 1, {i, 5}]},
  2. a[n], n]
复制代码
情况一样,看来某个特例可能代表那一类题,计算大概30s, Maple则算的很快 那个可以用取余 或取整可以表示为
  1. 1/5 (4 + n + 4 Mod[4 + n, 5])
  2. n - 4 Floor[1/5 (n - 1)]
复制代码
这个应该也可以用取整吧,我是不会了 只得到了一个用三角函数表示的并不简洁的结果
  1. -2 + (6 n)/5 + 2/5 Sqrt[28 + 53/Sqrt[5]] Sin[(2 n π)/5 - ArcTan[15/Sqrt[85 + 38 Sqrt[5]]]] + 2/5 Sqrt[28 - 53/Sqrt[5]]Sin[(4 n π)/5 - ArcTan[3 Sqrt[5 (85 + 38 Sqrt[5])]]]
复制代码
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2013-1-14 14:31:45 | 显示全部楼层
2# hujunhua
答案一已经足够简洁了,
我原意是打算合并各种情况为一个取整的表达式,
就是让消去结果的n,r,仅用N=5n+r一个参数来表达的。
没成功,
看来这个还得看具体情况,不具备一般性。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2013-1-24 13:44:02 | 显示全部楼层
  1. fn[n_] := 6 Floor[(n - 1)/5] + Mod[2 n^4 + 3 n^3 + 3 n^2 + 2 n + 1, 5]
  2. Array[fn, 30]
  3. DiscretePlot[fn[n], {n, 30}]
复制代码
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2013-12-10 17:35:01 | 显示全部楼层
本帖最后由 kastin 于 2013-12-10 18:59 编辑

这种下标带有周期性质的递归关系,一般都会涉及到复数,因为复数就是实轴上的点旋转某个幅角得到的。其一般解就是特征方程的求解,然后利用通解公式加特解。

Mathematica计算出通解公式如下,很长
1.png
2.png

不过由于含有复数根,虽然最后的值是实数,但是计算极为不便,根据无理数的近似性质,可以采用Floor或者Ceilling函数进行化简。比如x+2y+3z=n的非负整数解的个数也可以写成一个线性递归关系a(n+3)=a(n+2)+2a(n+1)+3a(n),特征根有复数,定解后化简后可以写成Floor[(n+3)^2/12],对于更高阶的线性递归关系同样类似可以处理得到只含有高斯取整函数的简洁表达,记得国内有篇论文做到了好像是5阶的情况。回去再把那篇文章找出来。

点评

FullSimplify或ComplexExpand一下式子估计就没那么长了  发表于 2013-12-10 17:49
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2013-12-11 11:53:51 | 显示全部楼层
本帖最后由 kastin 于 2013-12-11 11:58 编辑

结果a[n]-->$c_2e^{\frac{2n\pii}{5}}+c_3e^{\frac{4n\pii}{5}}+c_4e^{\frac{n\pii}{5}}-c_5e^{\frac{3n\pii}{5}}+c_1+\frac{6n}{5}-\frac{12}{5}$
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

小黑屋|手机版|数学研发网 ( 苏ICP备07505100号 )

GMT+8, 2024-12-23 18:27 , Processed in 0.033149 second(s), 20 queries .

Powered by Discuz! X3.5

© 2001-2024 Discuz! Team.

快速回复 返回顶部 返回列表