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

Re: A simplification challenge.

Path	csiph.com!usenet.pasdenom.info!aioe.org!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 22:50:26 +0200
Lines	26
Message-ID	<c7h4kkFrv3lU1@mid.individual.net> (permalink)
References	<938de363-bf97-4750-a662-06e14d455dc9@googlegroups.com> <c7gotjFosskU1@mid.individual.net> <84dabe4d-9b30-4d2e-abaa-f381685e1640@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 1M1pqi7bg3Vbp2JZLO9L8AkwE1rN95V9RRsg8+dAnRiYHdl3s=
Cancel-Lock	sha1:/fTMDj6LmaRZw3JFRZESluQd1Ew=
User-Agent	Mozilla/5.0 (Windows NT 6.1; WOW64; rv:31.0) Gecko/20100101 Thunderbird/31.1.0
In-Reply-To	<84dabe4d-9b30-4d2e-abaa-f381685e1640@googlegroups.com>
Xref	csiph.com comp.soft-sys.math.maple:954

Show key headers only | View raw

On 12.09.2014 22:29, peter.luschny@gmail.com wrote:
>>> 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));
 >>
>> 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.
>
> Nice idea! And indeed the recursion is the name of the sequence :-)
> But much more is true.
>
> However what I really wanted to find is something different:
> a hypergeometric representation. There exists a simple one
> but Maple apparently does not know how to derive it.

Yes (if you have the solution from the paper already typed in
then please post it).

I tried code from http://www.math.fsu.edu/~hoeij/papers.html
as well (bottom ---> Giles Levy (*)), but for your task that
does not work for me (even if NOT starting in 0, but in 1).

(*) http://www.math.fsu.edu/~glevy/implementation/

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