Home | Contact Us | FAQ | Search & Site Map | Link to Us
Sign In | Join | Other 45 Sites in Network
Home
Discussion Groups
Mathematics
General TopicsResearchOperations ResearchStatisticsMathematical LogicNumerical AnalysisUndergraduate MathAlgebra HelpRecreational Math
Math Software
MapleMathematicaMATLABScilabSASSPSS

Math Forum / Mathematics / Undergraduate Math / October 2008



Tip: Looking for answers? Try searching our database.

Caracterización de una función racional por su des    arrollo en serie de potencias

Thread view: 
Enable EMail Alerts  Start New Thread
Thread rating: 
J Antonio Torné - 05 Oct 2008 13:59 GMT
Excusem me for using Spanaish instead English. Nevertheless, I'll try
to translate this question to English if anybody want. Thanks.

Es sabido que si f : C--->C es una función racional de variable
compleja, su desarrollo en serie de potencias en un punto z=a de su
dominio tiene la propiedad de que los coeficientes de este desarrollo
constituyen una sucesión linealmente recurrente.

¿Es cierto el recíproco? Es decir, si el desarrollo de la función es
SUM (a(n) (z-a)^n), de n=0 a N=inf, verifica que a(n) es linealmente
recurrente, ¿Puede afirmarse que la función es racional?

Como caso particular, propongo obtener la suma de la serie  SUM (a(n)
(z-a)^n), de n=0 a N=inf, donde a(n) es la sucesión de Fibbonacci:
a(n)=(1,1,2,3,5,8,...)
Paul Sperry - 06 Oct 2008 07:26 GMT
In article
<2d294f8e-2a08-4382-8660-69641ae800b5@t65g2000hsf.googlegroups.com>, J
Antonio Torné <jatorne@gmail.com> wrote:

Perdóneme para usar el inglés en vez del español.

> Excusem me for using Spanaish instead English. Nevertheless, I'll try
> to translate this question to English if anybody want. Thanks.
[quoted text clipped - 7 lines]
> SUM (a(n) (z-a)^n), de n=0 a N=inf, verifica que a(n) es linealmente
> recurrente, ¿Puede afirmarse que la función es racional?

Yes, I think so. I do not have a reference however. You will see it
mentioned at <http://en.wikipedia.org/wiki/Rational_function>.

> Como caso particular, propongo obtener la suma de la serie  SUM (a(n)
> (z-a)^n), de n=0 a N=inf, donde a(n) es la sucesión de Fibbonacci:
> a(n)=(1,1,2,3,5,8,...)

I do not know what rational function is represented by the power series
with the Fibonacci numbers as coefficients - it looks difficult. If you
do a Google search on "rational functions fibonacci" you will get many
references.

I wish I could be of more help.

Signature

Paul Sperry
Columbia, SC (USA)

Brian M. Scott - 06 Oct 2008 13:26 GMT
On Mon, 06 Oct 2008 02:26:13 -0400, Paul Sperry
<plsperry@sc.rr.com> wrote in
<news:061020080226135129%plsperry@sc.rr.com> in
alt.math.undergrad:

> In article
> <2d294f8e-2a08-4382-8660-69641ae800b5@t65g2000hsf.googlegroups.com>, J
> Antonio Torné <jatorne@gmail.com> wrote:

> Perdóneme para usar el inglés en vez del español.

>> Excusem me for using Spanaish instead English.
>> Nevertheless, I'll try to translate this question to
>> English if anybody want. Thanks.

[...]

>> Como caso particular, propongo obtener la suma de la
>> serie  SUM (a(n) (z-a)^n), de n=0 a N=inf, donde a(n) es
>> la sucesión de Fibbonacci: a(n)=(1,1,2,3,5,8,...)

> I do not know what rational function is represented by the
> power series with the Fibonacci numbers as coefficients -
> it looks difficult. If you do a Google search on
> "rational functions fibonacci" you will get many
> references.

> I wish I could be of more help.

Let F(z) = SUM[n >= 0; a(n) (z - a)^n] =
1 + (z - a) + 2 (z - a)^2 + 3(z - a)^3 + 5(z - a)^4 + ... .  
Then F(z) + (z - a) F(z) =
SUM[n >= 0; a(n) (z - a)^n] + SUM[n >= 0; a(n) (z -
a)^(n+1)] =
SUM[n >= 0; a(n) (z - a)^n] + SUM[n >= 1; a(n-1) (z - a)^n]
=
1 + SUM[n >= 1; (a(n) + a(n-1) (z - a)^n] =
1 + SUM[n >= 1; a(n+1) (z - a)^n]

Assume that a(n) = 0 for n < 0.  Then a(n) = a(n-1) + a(n-2)
for all n except n = 0.  Let c(0) = 1 and c(n) = 0 if
n != 0.  Then a(n) = a(n-1) + a(n-2) + c(n) for all n.  Let
F(z) = SUM[a(n) (z - a)^n], taken over all n.  Then

F(z) = SUM[a(n) (z - a)^n] =
SUM[(a(n-1) + a(n-2) + c(n)) (z - a)^n] =
SUM[a(n-1) (z - a)^n] + SUM[a(n-2) (z - a)^n] + 1.

Now SUM[a(n-1) (z - a)^n] =
(z - a) SUM[a(n-1) (z - a)^(n-1)] = (z - a)F(z), and
similarly SUM[a(n-2) (z - a)^n] = (z - a)^2 F(z), so
F(z) = (z - a) F(z) + (z - a)^2 F(z) + 1, and we can solve
for F(z) to get

  F(z) = 1/[1 - (z - a) - (z - a)^2]
 
(if I haven't made any computational errors -- I'm not awake
yet).

Brian
J Antonio Torné - 06 Oct 2008 21:48 GMT
> On Mon, 06 Oct 2008 02:26:13 -0400, Paul Sperry
> <plspe...@sc.rr.com> wrote in
[quoted text clipped - 52 lines]
>
> Brian

Hello, Brian.
Brave! Very interesting your method. I say you the same thing I said
Paul:

Thank you, for your answer. If you want, I can send you a work in
which I worked about linear recurrence sequences, where I study this
question, and others relationed whit it.
Excuse my bad English.

I tried this question in another way. The Fibonacci sequence
a(n)=(1,1,2,3,..) verifies a(n+2)=a(n+1)+a(n), or
a(n+2)-a(n+1)-a(n)=0.
Then, I asociate it the polinomial x^2-x-1, ( Let´s say x is the
sequence operator x[a(n)]=a(n+1), and then x^2 is the operator
x[ a(n) ]=a(n+2) ) , which anulates the Fibonacci sequence. Calling
its coefficients c(0)=-1, c(1)=-1, c(2)=1,
it can be prove that:

SUM [ n>=0, a(n) z^n ] = [ (a(0)c(1)+a(1)c(2)) z +a(0) c(2) ] /
( c(2)+c(1) z+ c(0) z^2 )= 1/ (1-z-z^2)

Now, we can substitute z by z-a.

The result is valid for every linear sequence as coefficients. All we
need is an anulator polinomial for the suquence.

So, you were right.

Regards,

JA Torné
J Antonio Torné - 06 Oct 2008 21:23 GMT
> In article
> <2d294f8e-2a08-4382-8660-69641ae80...@t65g2000hsf.googlegroups.com>, J
[quoted text clipped - 32 lines]
> Paul Sperry
> Columbia, SC (USA)

Thank you, Paul, for your answer. If you want, I can send you a work
in which I worked about linear recurrence sequences, where I study
this question, and others relationed whit it.
Excuse my bad English.
Regards,

JA Torné
 
Sign In
Join
My Latest Posts
My Monitored Threads
My Blog
My Photo Gallery
My Profile
My Homepage

Start New Thread
Enable EMail Alerts
Rate this Thread



©2008 Advenet LLC   Privacy Policy - Terms of Use
This website includes both content owned or controlled by Advenet as well as content owned or controlled by third parties.