Groups > comp.soft-sys.math.maple > #952

Re: A simplification challenge.

Path	csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!nntp.club.cc.cmu.edu!feeder.erje.net!eu.feeder.erje.net!news.swapon.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From	Axel Vogt <&noreply@axelvogt.de>
Newsgroups	comp.soft-sys.math.maple
Subject	Re: A simplification challenge.
Date	Fri, 12 Sep 2014 19:30:07 +0200
Lines	24
Message-ID	<c7gotjFosskU1@mid.individual.net> (permalink)
References	<938de363-bf97-4750-a662-06e14d455dc9@googlegroups.com>
Reply-To	&noreply@axelvogt.de
Mime-Version	1.0
Content-Type	text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding	7bit
X-Trace	individual.net zQzXtr3rrkHjIk4Zrnjg2gWJLpSFu9u6G3+xDotfGuo+beQ7Q=
Cancel-Lock	sha1:/B4l2Sy/Vj0zmnRWb+N97YdHhl0=
User-Agent	Mozilla/5.0 (Windows NT 6.1; WOW64; rv:31.0) Gecko/20100101 Thunderbird/31.1.0
In-Reply-To	<938de363-bf97-4750-a662-06e14d455dc9@googlegroups.com>
Xref	csiph.com comp.soft-sys.math.maple:952

Show key headers only | View raw

On 11.09.2014 19:53, peter.luschny@gmail.com wrote:
> Once upon the time an old friend of Maple from the Crimea
> used to post simplification challenges to this group.
>
> In recollection of Vladimir today's simplification challenge:
>
> bi:=n->BesselI(4+n,-2); bk:=n->BesselK(4+n,2);
> i:=n->BesselI(n,2); k:=n->BesselK(n,2);
>
> Simplify
> a := n ->(bi(n)*(5*k(5)-k(6))+bk(n)*(5*i(5)+i(6)))/(i(6)*k(5)+i(5)*k(6));
>
> Peter
>
> P. S. Note seq(round(evalf(a(n), 99)), n=0..20);

Hm ... http://oeis.org/A058309 due to your hint: using the package 'gfun'
finds a recursion rec := {-u(n)+(-n-5)*u(n+1)+u(n+2), u(0)=0, u(1)=1},
feeding a for u and calling 'simplify' confirms it.

Maple can not solve it. Could it be that Janson's article (in the link)
gives a more simple expression for your a(n) ?

Back to comp.soft-sys.math.maple | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

A simplification challenge. peter.luschny@gmail.com - 2014-09-11 10:53 -0700
  Re: A simplification challenge. Axel Vogt <&noreply@axelvogt.de> - 2014-09-12 19:30 +0200
    Re: A simplification challenge. peter.luschny@gmail.com - 2014-09-12 13:29 -0700
      Re: A simplification challenge. Axel Vogt <&noreply@axelvogt.de> - 2014-09-12 22:50 +0200
        Re: A simplification challenge. peter.luschny@gmail.com - 2014-09-13 11:46 -0700
          Re: A simplification challenge. Axel Vogt <&noreply@axelvogt.de> - 2014-09-13 22:06 +0200

csiph-web