²é¿´: 969  |  »Ø¸´: 7
µ±Ç°Ö»ÏÔʾÂú×ãÖ¸¶¨Ìõ¼þµÄ»ØÌû£¬µã»÷ÕâÀï²é¿´±¾»°ÌâµÄËùÓлØÌû

changxk123

гæ (³õÈëÎÄ̳)

[ÇóÖú] Çó½ÌÊýѧ¸ßÈË

¸÷λÊÇ·ñÓöµ½¹ýÈçÏÂÎÊÌ⣬¼ûͼ£¬¸ßÖÐÉú¶¼¿É¿´µÃ¶®£¬Çë½Ì¸ßÊÖ½â¾ö£¡

{Q99X4QKT3STPMI6WN(`T]I.jpg
»Ø¸´´ËÂ¥

» ²ÂÄãϲ»¶

» ±¾Ö÷ÌâÏà¹Ø¼ÛÖµÌùÍÆ¼ö£¬¶ÔÄúͬÑùÓаïÖú:

ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû

˼ÕßÎÞÑÄ

½ð³æ (СÓÐÃûÆø)

Â¥Ö÷Äܲ»ÄÜ˵˵Õâ¸öÌâµÄ³ö´¦£¿¿ÉÄÜÓõ½µÄ¹¤¾ßÓÐÄÄЩ£¿
¿´Á˰ëÌìûɶ¸Ð¾õ£¬ÔõôÏñ¾ºÈüÌâÄØ¡­¡­
3Â¥2013-07-12 14:01:04
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû
²é¿´È«²¿ 8 ¸ö»Ø´ð

hank612

ÖÁ×ðľ³æ (ÖøÃûдÊÖ)

¡¾´ð°¸¡¿Ó¦Öú»ØÌû

ÎÒÎÞ·¨³¹µ×½â¾öÄãµÄÎÊÌâ,½öÄÜÌṩһ¸ö¿ÉÄÜŬÁ¦µÄ·½Ïò.

ÐòÁÐÊÇÏßÐԵݹéµÄ µ±ÇÒ½öµ± Éú³Éº¯ÊýÊÇÓÐÀí¶àÏîʽ.

If x_n=a_1*x_{n-1} +...+a_k*x_{n-k}, then the degree of the denominator of the rational generating function is at most k.

¹ÊÐòÁÐa_nÊǶþ´ÎµÄ, b_nÊÇËĴεÄ,ÒªÇóÖ¤Ã÷c_nÊǰ˴εÄ.
ÀûÓÃalpha_2=alpha_0, it is easy to see that
alpha_0*(b_{n+1}^2 - b_n^2)=a_{n+1}*(alpha_0 c_{n-1} +alpha_1 c_{n} + alpha_0 c_{n+1}).

È»ºóÎҾͱ»¿¨×¡ÁË,Ã°ËÆÉú³Éº¯Êýû·¨×ö³ý·¨. ±§Ç¸.
We_must_know. We_will_know.
2Â¥2013-07-12 06:48:24
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû

hank612

ÖÁ×ðľ³æ (ÖøÃûдÊÖ)

¡¾´ð°¸¡¿Ó¦Öú»ØÌû

ÒýÓûØÌû:
2Â¥: Originally posted by hank612 at 2013-07-12 06:48:24
ÎÒÎÞ·¨³¹µ×½â¾öÄãµÄÎÊÌâ,½öÄÜÌṩһ¸ö¿ÉÄÜŬÁ¦µÄ·½Ïò.

ÐòÁÐÊÇÏßÐԵݹéµÄ µ±ÇÒ½öµ± Éú³Éº¯ÊýÊÇÓÐÀí¶àÏîʽ.

If x_n=a_1*x_{n-1} +...+a_k*x_{n-k}, then the degree of the denominator of the rational gener ...

I seriously doubt that c_n is a linear recursive sequence. See the following example.

Let d_n be a new sequence defined by
d_n = c_{n-1} + alpha_1 / alpha_0 * c_n + c_{n+1}.
If c_n is linear recursive, as you questioned, then d_n is also a linear recursive sequence with the same linear relation SUM_{k=0}^8 gamma_k d_{n+k} = 0.
http://en.wikipedia.org/wiki/Lin ... nstant_coefficients

Now we let a_n = 1/4 * 4^n + 4 * 4^{-n},
b_n = 2^n + 2^{-n}.  Consequently, the expression of d_n in the form of a_n and b_n is
d_n= (b_{n+1}^2 - b_n^2) / a_{n+1}
= (3*4^n - 3/4 * 4^{-n}) / (4^n + 4^{-n} )
=3 - (15/4) * ( 1/(16^n+1)  ).
Take look at the generating function of d_n, which is sum_{n=0}^infty d_n*x^n.  Ignore the constant (3) and the scalar (15/4), the main term is of the form \sum_n (x^n/ (a^n+1) ) with a= 16.

I do not believe (with probability >80%)  that this summation function will ends up with a rational function, although I cannot prove it.

You may construct your own example to give hints before you try to prove the assertion.
We_must_know. We_will_know.
4Â¥2013-07-13 02:48:02
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû

whenyd

ľ³æ (ÖøÃûдÊÖ)

Õ¬ÐÄÈʺñ

¡¾´ð°¸¡¿Ó¦Öú»ØÌû

¸ßÖÐÉú¶¼¿É¿´¶®ÊÇʲôÒâË¼ÄØ
³¬Ô½ÃÎÏë£¬Õæ°®ÎÞË«£¬µÃÒ»¶ø×ã¡£
5Â¥2013-07-13 12:00:50
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû
×î¾ßÈËÆøÈÈÌûÍÆ¼ö [²é¿´È«²¿] ×÷Õß »Ø/¿´ ×îºó·¢±í
[»ù½ðÉêÇë] ·Å°ñǰµÄ²»µ­¶¨ 20+4 snowwithsea 2026-08-19 17/850 2026-08-24 10:20 by echo8914667
[»ù½ðÉêÇë] ¿ÆÑй¶ùÌ«ÄÑÁË +18 ÎÒ4´ó°×²Ë 2026-08-20 19/950 2026-08-24 09:47 by ¿­¶÷¹ãÊ¢´ß»¯·ÖÎ
[»ù½ðÉêÇë] Ã÷ÌìÓ¦¸Ã¿É²éÁË£¡£¿ +4 chengyan1220 2026-08-23 4/200 2026-08-24 08:47 by gloomy6159
[»ù½ðÉêÇë] ʲôʱºò¿ª½±£¿ +10 CrisMessi 2026-08-18 11/550 2026-08-24 06:50 by ¿ªÐĵÄСʨ×Ó
[»ù½ðÉêÇë] ·¶½øÖоÙÒ»ÎĵÄÖÐÐÄ˼Ïë +5 Ñ׻ƹóëÐ 2026-08-22 6/300 2026-08-24 06:34 by sincosx
[»ù½ðÉêÇë] ½¨Òé»ù½ð·¢²¼Ìáǰ¸ø³öÃ÷È·µÄʱ¼äµã +11 kulium 2026-08-21 14/700 2026-08-24 02:12 by Á÷Á÷ÉË
[»ù½ðÉêÇë] 2026¹ú×ÔÈ»º¯ÆÀ·Ñµ½ÕË +16 ÑòÑü°å 2026-08-21 17/850 2026-08-23 23:02 by tianxiaochun
[»ù½ðÉêÇë] 2026ÄêµÄ¹ú¼ÒÉç¿Æ»ù½ðÏîĿͨѶÆÀÉóµÄйæÔòÓëж¯Ïò¡¢ÐÂÌôÕ½ +4 process2012 2026-08-23 5/250 2026-08-23 19:58 by jurkat.1640
[½Ìʦ֮¼Ò] Ìø²ÛºóÔÚÑÐÏîÄ¿Ôõô°ì£¿ +5 ¼òµ¥»¯xn 2026-08-22 10/500 2026-08-23 12:38 by ¼òµ¥»¯xn
[»ù½ðÉêÇë] ½ñÌì·Å°ñÂ𣿠+15 ²¼²¼ºÍÒ»¶þ 2026-08-19 16/800 2026-08-23 09:55 by ÕÅ´ºÉú
[»ù½ðÉêÇë] Ö»ÓÐÿÄêÕâÖÖʱºòÀ´¹ä¹äСľ³æ +24 yaoyewhu2008 2026-08-20 26/1300 2026-08-22 17:43 by kammury
[»ù½ðÉêÇë] ÈËÆø²»ÐÐÁË +8 fansofjerry 2026-08-21 8/400 2026-08-22 16:30 by zyqchem
[»ù½ðÉêÇë] ½ñÌì»ù½ð»á³ö½á¹ûÂð£¿20260819 +16 kkkl_v 2026-08-19 17/850 2026-08-22 16:12 by °¢²¼Abu
[»ù½ðÉêÇë] ʱ¼ä´Á½ñÌ죬20ºÅ±äÁË +5 archvillain 2026-08-20 5/250 2026-08-22 06:12 by hui_daxiao
[»ù½ðÉêÇë] ½ñÈÕ²»·Å°ñ£¿Íø´«¹ú×ÔȻԤ¼Æ 8 Ô 27 Èտɲé½á¹û +16 ҽѧÀÏÄк¢ 2026-08-20 20/1000 2026-08-21 21:13 by Ldrop2023
[»ù½ðÉêÇë] ¿´À´½ñÌì²»»á·Å°ñÁË£¿ +8 chengyan1220 2026-08-21 11/550 2026-08-21 17:52 by dcqxinyang
[»ù½ðÉêÇë] ÎÒÃæÉÏÍêµ°ÁË +7 ÇÒÌý»¢Ð¥ 2026-08-20 8/400 2026-08-21 12:31 by ¿á¿áÄ«¾µ
[»ù½ðÉêÇë] ÖØÒªÏûÏ¢£¬ÖÐÎçϵͳÔÚά»¤ +11 yuleib84 2026-08-18 12/600 2026-08-20 11:09 by xskun
[»ù½ðÉêÇë] Ã÷Ìì·Å°ñ£¿ +5 Shxjjxjkx 2026-08-18 5/250 2026-08-18 18:14 by -´ó´ó´ó´ó´ó-
[»ù½ðÉêÇë] ½ñÌìά»¤ÏµÍ³Î¬»¤ ×£ËùÓÐÈË ¸ßÖÐ +8 gjjjzhong 2026-08-18 9/450 2026-08-18 13:01 by ¼ÒÓëÔ¶·½
ÐÅÏ¢Ìáʾ
ÇëÌî´¦ÀíÒâ¼û