Get Help

Turn on suggestions

Auto-suggest helps you quickly narrow down your search results by suggesting possible matches as you type.

Showing results for

- Community
- :
- PTC Mathcad
- :
- PTC Mathcad
- :
- Infinite Series Convergence, how?

Options

- Subscribe to RSS Feed
- Mark Topic as New
- Mark Topic as Read
- Float this Topic for Current User
- Bookmark
- Subscribe
- Mute
- Printer Friendly Page

Auto-suggest helps you quickly narrow down your search results by suggesting possible matches as you type.

Showing results for

04-14-2014
04:50 PM

- Mark as New
- Bookmark
- Subscribe
- Mute
- Subscribe to RSS Feed
- Permalink
- Email to a Friend
- Notify Moderator

04-14-2014
04:50 PM

Infinite Series Convergence, how?

Hello,

I have attached my worksheet.

Is there a way for mathcad to tell me if an infinite series converges or diverges? And if it converges, what it converges to?

Thank you!!

Solved! Go to Solution.

1 ACCEPTED SOLUTION

Accepted Solutions

04-15-2014
08:20 AM

- Mark as New
- Bookmark
- Subscribe
- Mute
- Subscribe to RSS Feed
- Permalink
- Email to a Friend
- Notify Moderator

22 REPLIES 22

04-14-2014
05:43 PM

- Mark as New
- Bookmark
- Subscribe
- Mute
- Subscribe to RSS Feed
- Permalink
- Email to a Friend
- Notify Moderator

04-14-2014
05:43 PM

As ratio and root tests fail you have to use comparison to prove that this series converges (which does not mean that you now know what it converes to).

To evaluate that kind of series with Mathcad you have to use symbolic evaluation, not the numeric one you tried

Unfortunately Mathcads symbolics isn't capable to deal with your series. The results are different whether you force float mode (using 0.5) or exact mode (using 1/2), but not helpful in either case.

Mathcad is generally not really good with that kind of symbolics. While it knows about this series and successfully yields the Rieman Zeta as result

it isn't even able to deal with this (equivalent) series

04-14-2014
05:46 PM

- Mark as New
- Bookmark
- Subscribe
- Mute
- Subscribe to RSS Feed
- Permalink
- Email to a Friend
- Notify Moderator

04-14-2014
05:46 PM

Thank you for the help.

Can Matlab do this?

04-14-2014
05:49 PM

- Mark as New
- Bookmark
- Subscribe
- Mute
- Subscribe to RSS Feed
- Permalink
- Email to a Friend
- Notify Moderator

04-14-2014
05:49 PM

Can Matlab do this?

Matlab uses the very same symbolics processor (muPad, they own it), so I would guess - no. But if you have access, just give it a try.

04-14-2014
05:51 PM

- Mark as New
- Bookmark
- Subscribe
- Mute
- Subscribe to RSS Feed
- Permalink
- Email to a Friend
- Notify Moderator

04-14-2014
05:51 PM

Would it matter if I were able to tell MathCAD to compute the value within a specific accuracy?

04-14-2014
06:02 PM

- Mark as New
- Bookmark
- Subscribe
- Mute
- Subscribe to RSS Feed
- Permalink
- Email to a Friend
- Notify Moderator

04-14-2014
06:02 PM

david h wrote:

Would it matter if I were able to tell MathCAD to compute the value within a specific accuracy?

No. Limiting precision can't help. You have an infinite series, so summing up "all" summand would take an infinite time. That means that Mathcad would have to find some kind of closed formula to be able to compute it and as it seems is not able to find one. BTW, if you write 0.5 Mathcads symbolics automatically(unfortunately) switch to float mode with limited precison (you could force it and control precision using the "float" modifier) and yields "undefined" as you have seen.

The numeric evaluation on the other hand is (for obvious reasons) not able to sum up to infinity and so fails if you put infinity as upper limit.

Best chances (if any) with Mathematica, maybe also Maple. You may also give the Wolfram Alpha webpage a try, who knows?

04-15-2014
08:20 AM

- Mark as New
- Bookmark
- Subscribe
- Mute
- Subscribe to RSS Feed
- Permalink
- Email to a Friend
- Notify Moderator

04-17-2014
01:04 PM

- Mark as New
- Bookmark
- Subscribe
- Mute
- Subscribe to RSS Feed
- Permalink
- Email to a Friend
- Notify Moderator

04-17-2014
01:04 PM

I believe that Fred's error criterion is incorrect, in that it stops the summation once the nth term is less than the input "error." However, there are still an infinite number of remaining terms, and the terms do not decrease rapidly enough to give a reasonable error bound based on the last term summed.(The last term does bound the error when the terms have decreasing magnitudes and the signs alternate - not the case here.)

The series converges, as can be easily shown. However, the actual error of a partial sum from the infinite summation is significantly larger than the magnitude of the last term summed.

The attached file has an approximation to the infinite sum within an arbitrary and calculable error bound (with the limits of the numeric calculation). I see the key to these types of problems as trying to manipulate the series so that only finite sums are needed in the approximations and the error bounds.

I find that the symbolic processor is not useful in leading the way to finding numeric bounds, as in this case, but it is useful to check the algebraic manipulations I wind up doing by hand.

Lou

P.S. I spent a lot more time on this than I would ever admit to, but I found the problem intriguing.

04-17-2014
02:29 PM

- Mark as New
- Bookmark
- Subscribe
- Mute
- Subscribe to RSS Feed
- Permalink
- Email to a Friend
- Notify Moderator

04-17-2014
02:29 PM

Wow, impressive! Good job. You really spent some with that series 😉

And Mathcads symbolic agrees with your result:

04-17-2014
04:33 PM

- Mark as New
- Bookmark
- Subscribe
- Mute
- Subscribe to RSS Feed
- Permalink
- Email to a Friend
- Notify Moderator

04-17-2014
04:33 PM

I didn't think that the symbolic processor would calc a numeric result for an infinite sum. In MCD11 symbolics returns only the same original sum regardelss of the float value; doesn't attempt an evaluation. I tried the symbolic sum as you show in MCD15 and in Prime2, with your result in both cases. However, if the float limit is 20 or higher, then the symbolic answer is "undefined," in both versions, leading me to think that "19" did not appear in your evaluation by coincidence. Any idea why the boundary exists or what may cause it?

Lou

04-17-2014
04:44 PM

- Mark as New
- Bookmark
- Subscribe
- Mute
- Subscribe to RSS Feed
- Permalink
- Email to a Friend
- Notify Moderator

04-17-2014
04:44 PM

Any idea why the boundary exists or what may cause it?

It is due to divine intervention. See some posts towards the end of this thread.

04-17-2014
04:47 PM

- Mark as New
- Bookmark
- Subscribe
- Mute
- Subscribe to RSS Feed
- Permalink
- Email to a Friend
- Notify Moderator

04-17-2014
04:47 PM

Lou Poulo wrote:

I didn't think that the symbolic processor would calc a numeric result for an infinite sum.

Its capable to do so in some cases - e.g. if we omit the "-0.5" we get Zeta(3/2) (as I posted here in another reply) as result which we could evaluate numerically using float. But for more complex series Mathcads symbolic has to resign.

However, if the float limit is 20 or higher, then the symbolic answer is "undefined," in both versions, leading me to think that "19" did not appear in your evaluation by coincidence. Any idea why the boundary exists or what may cause it?

Not the slightest idea. We discussed exactly that a bit below here http://communities.ptc.com/message/240162#240162

Its also not clear to me why using 0.5 and using the float keyword explicitely yield different results. I always thought that using a single decimal point in a symbolic evaluation has the same effect as using "float, 20" but for some reason beyond me there seems to be a difference.

Ooops, upon rereading my post it just dawnwd on me: decimal point IS float,20. Both would yield undefined.

In my prior post I compared 0.5 to float,10 and of course thats a difference. So one secret is disclosed 😉

04-14-2014
06:51 PM

- Mark as New
- Bookmark
- Subscribe
- Mute
- Subscribe to RSS Feed
- Permalink
- Email to a Friend
- Notify Moderator

04-14-2014
06:51 PM

The Maple engine in earlier versions of Mathcad can't deal with it either.

Also, this is what Wolfram Alpha comes up with:

So I'm not sure Mathematica would give you an answer either.

04-14-2014
06:58 PM

- Mark as New
- Bookmark
- Subscribe
- Mute
- Subscribe to RSS Feed
- Permalink
- Email to a Friend
- Notify Moderator

04-14-2014
06:58 PM

Good to know. I guess there will be no easy closed form of the limit. Have no acceess to Mathematica at the time here.

04-14-2014
07:26 PM

- Mark as New
- Bookmark
- Subscribe
- Mute
- Subscribe to RSS Feed
- Permalink
- Email to a Friend
- Notify Moderator

04-14-2014
07:26 PM

Can't insert pictures when editing the post above. 😞

I never tried this before, but it looks like Mathcad can at least tell us that the series is bounded above (lower bound 0 is obvious anyway); nte that this does not necessarily mean its convergent.

At least it works when we write 0.5, not with 1/2

But there are two things I don't understand:

I always thought that using a decimal point in symbolic evaluation forces an automatic float, but obviously there is a difference

04-14-2014
07:35 PM

- Mark as New
- Bookmark
- Subscribe
- Mute
- Subscribe to RSS Feed
- Permalink
- Email to a Friend
- Notify Moderator

04-14-2014
07:35 PM

I always thought that using a decimal point in symbolic evaluation forces an automatic float, but obviously there is a difference

That was also my understanding. So we just learned something, even if it's not what the sum converges to

04-14-2014
07:49 PM

- Mark as New
- Bookmark
- Subscribe
- Mute
- Subscribe to RSS Feed
- Permalink
- Email to a Friend
- Notify Moderator

04-14-2014
07:49 PM

Why don't you say from th every beginning you want to know what the sum converges to :

Will I ever understand that program (especially the symbolics)?

04-14-2014
07:59 PM

- Mark as New
- Bookmark
- Subscribe
- Mute
- Subscribe to RSS Feed
- Permalink
- Email to a Friend
- Notify Moderator

04-14-2014
07:59 PM

???????

Weird!

04-14-2014
08:10 PM

- Mark as New
- Bookmark
- Subscribe
- Mute
- Subscribe to RSS Feed
- Permalink
- Email to a Friend
- Notify Moderator

04-14-2014
08:10 PM

Richard Jackson wrote:

???????

Weird!

Indeed! Symbolics sometimes is a miracle.

04-14-2014
08:23 PM

- Mark as New
- Bookmark
- Subscribe
- Mute
- Subscribe to RSS Feed
- Permalink
- Email to a Friend
- Notify Moderator

04-14-2014
08:23 PM

Quite!

04-14-2014
09:16 PM

- Mark as New
- Bookmark
- Subscribe
- Mute
- Subscribe to RSS Feed
- Permalink
- Email to a Friend
- Notify Moderator

04-14-2014
09:16 PM

I see you use the biblical Mathcad version 😉

04-15-2014
11:32 AM

- Mark as New
- Bookmark
- Subscribe
- Mute
- Subscribe to RSS Feed
- Permalink
- Email to a Friend
- Notify Moderator

04-15-2014
11:32 AM

Thank you for everybody's help! You are very gracious for taking your time to help me. Hopefully someday I can help others as well.

04-10-2017
11:40 AM

- Mark as New
- Bookmark
- Subscribe
- Mute
- Subscribe to RSS Feed
- Permalink
- Email to a Friend
- Notify Moderator

04-10-2017
11:40 AM

Trying to use the ratio test or the root test but they both not work.