Can a finite series like this be evaluated?

  • Thread starter Thread starter Hertz
  • Start date Start date
  • Tags Tags
    Finite Series
AI Thread Summary
The discussion revolves around evaluating a finite series and its potential limit as n approaches infinity. Participants emphasize the importance of checking for convergence before attempting to evaluate the infinite series, noting that the series diverges for all x and n due to the factorial term (n - k)!. Suggestions include reformulating the series using binomial coefficients and exploring the binomial theorem to simplify the expression. Despite initial confusion, it is acknowledged that transforming the series into a binomial form could lead to convergence, although further steps are needed to evaluate the limit. The conversation highlights the complexity of the series and the need for a solid understanding of convergence and binomial expansions.
Hertz
Messages
180
Reaction score
8
I came across this series by recognizing a pattern while trying to evaluate an integral. I was wondering if the series could be solved in a generalized form where n can vary, and if so, can the limit then be taken as n approaches infinity?

You can't take the infinite series without first solving the finite series because of the (n - k)!
:S!

\Sigma^{n}_{k = 0}((\frac{n!}{(n - k)!})x ln^{n - k}(x))
 
Mathematics news on Phys.org
Hey Hertz.

One thing you should do if you want at least see if you can calculate the limit as n goes to infinity is to check for convergence. If the series doesn't converge then you have your answer for the infinite case.

Are you aware of the convergence tests used for power series?
 
chiro said:
Hey Hertz.

One thing you should do if you want at least see if you can calculate the limit as n goes to infinity is to check for convergence. If the series doesn't converge then you have your answer for the infinite case.

Are you aware of the convergence tests used for power series?

Yes, the infinite series diverges for all x and for all n. I believe it's because of the (n - k)!. Obviously, (n - k)! can't be evaluated unless k is less than n, so we can't let k approach infinity; k must have an upper bound of n.

The only way I can see to evaluate this series is to solve the finite series with n as the upper limit and THEN take the limit as n approaches infinity.
 
Hertz said:
Yes, the infinite series diverges for all x and for all n. I believe it's because of the (n - k)!. Obviously, (n - k)! can't be evaluated unless k is less than n, so we can't let k approach infinity; k must have an upper bound of n.

The only way I can see to evaluate this series is to solve the finite series with n as the upper limit and THEN take the limit as n approaches infinity.

Ok no worries.

As for the simplifying it, why not try putting the equation into the (a + b)^n form since you have a binomial coeffecient and you can take the x outside of the sigma since the dummy variable is not used: (hint: try x(1 + a)^n for a relevant a term).
 
chiro said:
Ok no worries.

As for the simplifying it, why not try putting the equation into the (a + b)^n form since you have a binomial coeffecient and you can take the x outside of the sigma since the dummy variable is not used: (hint: try x(1 + a)^n for a relevant a term).

Hmm.. All I can seem to do is get it to this:

x\Sigma^{n}_{k = 0}((\frac{n!}{(n - k)!})(\frac{ln^n(x)}{ln^k(x)}))
 
Hertz said:
Hmm.. All I can seem to do is get it to this:

x\Sigma^{n}_{k = 0}((\frac{n!}{(n - k)!})(\frac{ln^n(x)}{ln^k(x)}))

Let a = ln(x). Is there a relationship between your summation and x(1 + a)^n? (Have you ever come across the binomial theorem? http://en.wikipedia.org/wiki/Binomial_theorem)
 
chiro said:
Let a = ln(x). Is there a relationship between your summation and x(1 + a)^n? (Have you ever come across the binomial theorem? http://en.wikipedia.org/wiki/Binomial_theorem)

Ah! The binomial theorem is actually the next section I need to read about in my calc 2 book. I'll go ahead and do that before I revisit this thread :) Thanks for the help
 
Ok, so here's what I have so far:

x\Sigma^{n}_{k = 0}(k!(^{n}_{k})(\frac{a^n}{a^k}))

\frac{n!}{(n - k)!} = k!(^{n}_{k})

As you may have guessed, I don't have much experience with binomial coefficients, but I'll continue to play around with this anyways and see if I can work it into something I know how to evaluate. You were hinting that I should try to reform it into (1 + x)^n? I'll look into that but I don't see how I would do that quite yet with those different powers of a and the k! in there.

[Edit]
One other question:

I have the series in the form:
x\Sigma^{n}_{k = 0}((^{n}_{k})(\frac{(k!a^n)^{1/k}}{a})^k)

Can I convert it to this even though the second factor has n's and k's in it?
x((\frac{(k!a^n)^{1/k}}{a})^k) + 1)^n
 
Last edited:
Hertz said:
Ok, so here's what I have so far:

x\Sigma^{n}_{k = 0}(k!(^{n}_{k})(\frac{a^n}{a^k}))

\frac{n!}{(n - k)!} = k!(^{n}_{k})

As you may have guessed, I don't have much experience with binomial coefficients, but I'll continue to play around with this anyways and see if I can work it into something I know how to evaluate. You were hinting that I should try to reform it into (1 + x)^n? I'll look into that but I don't see how I would do that quite yet with those different powers of a and the k! in there.

Take a look at the wiki page I posted earlier: Look at this part - http://en.wikipedia.org/wiki/Binomial_theorem#Statement_of_the_theorem and look at the second expansion. Let the x part on this page = 1 and the y part = a and compare the summation you have with the summation on the wiki page.
 
  • #10
I get the asymptotic form x2n! - x lnn+1(x)/(n+1) + smaller terms. There cannot be a closed form since it involves the truncated expansion of exp(a).
 
  • #11
chiro said:
Take a look at the wiki page I posted earlier: Look at this part - http://en.wikipedia.org/wiki/Binomial_theorem#Statement_of_the_theorem and look at the second expansion. Let the x part on this page = 1 and the y part = a and compare the summation you have with the summation on the wiki page.

Doing what you said I have this:

\Sigma^{n}_{k = 0}k!(^{n}_{k})y^{n - k}

The only problem is I have a k! instead of an x^k.
 
  • #12
Hertz said:
Doing what you said I have this:

\Sigma^{n}_{k = 0}k!(^{n}_{k})y^{n - k}

The only problem is I have a k! instead of an x^k.

Sorry! Yeah you can't put it in the binomial (I forgot about the extra k!) so yeah sorry :(

You'll have to do what haruspex said.
 
  • #13
chiro said:
Sorry! Yeah you can't put it in the binomial (I forgot about the extra k!) so yeah sorry :(

You'll have to do what haruspex said.

Shoot! :S! Hmm, he didn't really say much though. Just partially said what he got. I would be happy to know where it came from though :)

A bit of good news at least, after changing the series to binomial form it will now converge for all x and n. However, it's not useful unless I can actually take the limit as n goes to infinity so hopefully another opportunity to get that sigma out of there will come soon :S
 
  • #14
Hertz said:
he didn't really say much though.
True.
- take the x and n! outside the sum
- switch k to n-k everywhere
- if a = ln(x), what we have left in the sum is the truncated expansion of ea. So it evaluates to ea - Ʃ(ak/k!), summing for k > n. I took the leading term of that sum and threw away the rest as being smaller order.
ea = x, so we end up with x2n! as the dominant term.
 
  • #15
It might be easier if you posted the integral you're having trouble evaluating, as this could be the wrong approach.
 
  • #16
haruspex said:
True.
- take the x and n! outside the sum
- switch k to n-k everywhere
- if a = ln(x), what we have left in the sum is the truncated expansion of ea. So it evaluates to ea - Ʃ(ak/k!), summing for k > n. I took the leading term of that sum and threw away the rest as being smaller order.
ea = x, so we end up with x2n! as the dominant term.

How come I can switch k to n - k? Doesn't that change the meaning of the expression?

romsofia said:
It might be easier if you posted the integral you're having trouble evaluating, as this could be the wrong approach.

Ideally I'd like to be able to integrate x^nln^n(x) but for now I'm just trying to integrate ln^n(x)

e-
With respect to x obviously
 
Back
Top