Variable summation limits in Maple or similar programs

Click For Summary

Discussion Overview

The discussion revolves around the capabilities of symbolic algebra programs, particularly Maple and Maxima, in handling variable summation limits in geometric series. Participants explore whether these programs can simplify complex summations that involve variable limits and specific forms of geometric series.

Discussion Character

  • Technical explanation
  • Debate/contested
  • Exploratory

Main Points Raised

  • One participant describes a specific geometric series and expresses frustration with the manual simplification process, questioning if Maple can automate this.
  • Another participant claims that Mathematica is capable of performing the required summation.
  • A different participant reports that Maple successfully simplified the first series but struggled with the second series, suggesting that additional commands might be necessary for the latter.
  • One participant provides a link to WolframAlpha, indicating that it can handle the second series summation.

Areas of Agreement / Disagreement

There is no consensus on the capabilities of the software discussed, as participants report differing experiences with Maple and suggest alternative tools like Mathematica and WolframAlpha.

Contextual Notes

Participants mention limitations in Maxima regarding variable limits in summations, but the exact nature of these limitations is not fully explored. The discussion does not resolve whether Maple can handle all forms of the series presented.

andrewkirk
Science Advisor
Homework Helper
Insights Author
Gold Member
Messages
4,140
Reaction score
1,741
I have recently been doing some work that involves long, messy manipulations with lots of geometric series. A typical such series, which would only be one of a number of such terms in a formula, is:
$$
\sum_{t=h+1}^{T-h} \left(1-(1-\theta)^{T-t-h+1}\right)
\\
$$
It's not difficult to simplify this and get rid of the summation, but it takes me about five minutes a go (I'm slow, I know!) and there are dozens of these in the work.

I was wondering whether a symbolic algebra program like Maple might be able to do this for me. I don't have Maple but I've been experimenting with a free software equivalent called Maxima.

As far as I can understand from the Help, Maxima would not be able to process the above formula because, while it does have functions that deal with summing geometric series, they seem to require that the series limits be numeric constants, not variables.

I would be happy to pay for software that did this, if such a thing exists. Maple seems to be the best known. Does anybody know if Maple could sum the above and get the simplified version, which is
$$T-2h-(1-\theta)\frac{1-(1-\theta)^{T-2h}}{\theta}$$
Also, if anybody is familiar with Maxima, can you tell me if I'm correct that Maxima could not do the above?
Are there other programs that could do this?

Supplementary question: some of my geometric series have negative or constant-multiplied exponents, like
$$\sum_{i=0}^{h-1} (1-\theta)^{2(h-i-1)}\left(1-(1-\theta)^{i+1}\right)^2$$
Does anybody know if any of the symbolic algebra programs are clever enough to recognise that this can be decomposed into a series of powers of ##\left((1-\theta)^{-2i}\right)## and ##\left((1-\theta)^{-i}\right)## and then use the formula for the sum of a geometric series to simplify them?

Thank you for any help and suggestions.
 
Physics news on Phys.org
Mathematica can do it
 
  • Like
Likes   Reactions: andrewkirk
Maple worked your first one but didn't recognize the geometric sum in the second one. I'm using Maple 13.01. I just typed that second one in as is and it is possible that there are additional commands that would have caused Maple to sum it, but I don't know.
 
  • Like
Likes   Reactions: andrewkirk

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
5
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
7K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K