It is currently 04 Sep 2010, 11:58




Post new topic Reply to topic  [ 16 posts ]  Go to page 1, 2  Next
 Exercise [04.04] 
Author Message
Site Admin
User avatar

Joined: 25 Feb 2008, 13:32
Posts: 105
Location: Cape Town, South Africa
Post Exercise [04.04]
Let

(1) s_n=1+x+x^2+x^3+x^4+{...}

Multiplying by x

(2) {xs}_n=x+x^2+x^3+x^4+x^5+{...}

Subtracting (2) from (1)

s_n-{xs}_n=1

Factoring, and then dividing

s_n=\frac{1}{1-x}

Substituting x^2 into x to form a new series, s_m

s_m=\frac{1}{1-\left(x^2\right)}=1+\left(x^2\right)+\left(x^2\right)^2+\left(x^2\right)^3+\left(x^2\right)^4+{...}

s_m=1+x^2+x^4+x^6+x^8+{...}=\left(1-x^2\right)^{-1}

_________________
Our imagination is stretched to the utmost, not, as in fiction, to imagine things which are not really there, but just to comprehend those things which are there.


09 Apr 2008, 12:40
Profile WWW
User avatar

Joined: 19 Mar 2008, 14:09
Posts: 36
Post Re: Exercise [4.4]
One could obtain the same answer by initially defining the series as

S_n = 1 + x^2 + x^4 + x^6....

and following a similar procedure.


09 Apr 2008, 13:04
Profile

Joined: 11 May 2008, 20:07
Posts: 11
Location: france
Post Re: Exercise [4.4]
I think there might be another solution maybe more visual.
Something like :

1+x^2+x^4+...=\frac{1}{1-x^2}

then multiplying on both sides :

(1-x^2)(1+x^2+x^4+...)=1

and proceeding the multiplication :

(1+x^2+x^4+...)-(x^2+x^4+x^6+...)=1.

As the series is endless all the unneeded parts are just gone, and there remains the fondamental equation :

1=1


11 May 2008, 20:34
Profile
Site Admin
User avatar

Joined: 25 Feb 2008, 13:32
Posts: 105
Location: Cape Town, South Africa
Post Re: Exercise [4.4]
chag-art:
This seems good to me. If you'd like to, you could post this as an alternative solution with the topic subject being, "Exercise [4.4] b" (without the inverted commas).

_________________
Our imagination is stretched to the utmost, not, as in fiction, to imagine things which are not really there, but just to comprehend those things which are there.


12 May 2008, 11:58
Profile WWW

Joined: 30 Jun 2008, 22:14
Posts: 25
Post Re: Exercise [04.04]
The equation/exercise 4.4 is flawed in the book. It valids only for |x| < 1.

The proof in here is flawed for the same reason.

The equation Sn - xSn = 1 is valid only for |x| < 1

For |x| >= 1, you'll get (Sn - xSn) -> (infinity - infinity*infinity) = infinity.


01 Jul 2008, 17:10
Profile

Joined: 30 Jun 2008, 22:14
Posts: 25
Post Re: Exercise [04.04]
That is to say the author of this book should not have speculated with x = 2 then came up with the 'answer' -1/3 for the series. The Eq is not valid for x = 2 right from the start.


01 Jul 2008, 17:16
Profile
Site Admin
User avatar

Joined: 25 Feb 2008, 13:32
Posts: 105
Location: Cape Town, South Africa
Post Re: Exercise [04.04]
Well, Professor Penrose doesn't seem to discuss this issue in sufficient detail. He does assert that there are 'senses' in which the expression (where x=2 ) is 'correct'. He refers the reader to Hardy (1949) - this book discusses (I presume) many of the subtleties of divergent series.

In this exercise, we are asked to 'check' the expression given. The solution given here to Exercise [4.4] seems, to me, to be sufficient. In showing that the r.h.s. and l.h.s. are equivalent, in some sense, we would have checked the expression. There are definitely subtleties involved in how this equivalence is to be interpreted, but I think that these issues are beyond what is required in this exercise. I may be wrong!

_________________
Our imagination is stretched to the utmost, not, as in fiction, to imagine things which are not really there, but just to comprehend those things which are there.


02 Jul 2008, 14:12
Profile WWW
Site Admin
User avatar

Joined: 25 Feb 2008, 13:32
Posts: 105
Location: Cape Town, South Africa
Post Re: Exercise [04.04]
This topic may be of interest:
http://www.physicsforums.com/showthread.php?t=221881

_________________
Our imagination is stretched to the utmost, not, as in fiction, to imagine things which are not really there, but just to comprehend those things which are there.


02 Jul 2008, 14:23
Profile WWW

Joined: 30 Jun 2008, 22:14
Posts: 25
Post Re: Exercise [04.04]
l.h.s and r.h.s are equivalent? What does 'equivalent' mean? 'A is equivalent to B' is written as A<=>B. If you mean 'equal', then lhs is definitely not equal to rhs, unless you supply a condition.

There may be something intersting about these sums, but the text here is definitely muddled. Anyway, I still don't see where -1/3 or -1/12 come from. In that wikipedia, your series is equal to -1/12(R), whatever R means.


02 Jul 2008, 18:54
Profile
Site Admin
User avatar

Joined: 25 Feb 2008, 13:32
Posts: 105
Location: Cape Town, South Africa
Post Re: Exercise [04.04]
The 'equivalence' here is derived from (what seems to be) sensible arguments. In my opinion, whatever is happening "behind the scenes" is beyond the scope of the requirements of the exercise. It would be useful to add these details though. I am not qualified to add details with regard to divergent series...yet. I urge anybody with the necessary background to elucidate this issue. It seems that there is more to this than merely stating:
  • The equation Sn - xSn = 1 is valid only for |x| < 1

I think that the (R) signifies that the Ramanujan summation technique has been invoked.

_________________
Our imagination is stretched to the utmost, not, as in fiction, to imagine things which are not really there, but just to comprehend those things which are there.


03 Jul 2008, 08:29
Profile WWW

Joined: 12 Mar 2008, 10:57
Posts: 69
Location: India
Post Re: Exercise [04.04]
variounes wrote:
The equation/exercise 4.4 is flawed in the book. It valids only for |x| < 1.

The proof in here is flawed for the same reason.

The equation Sn - xSn = 1 is valid only for |x| < 1

For |x| >= 1, you'll get (Sn - xSn) -> (infinity - infinity*infinity) = infinity.

This is more complex number magic!
If we restrict our domain to only real numbers then your argument is absolutely correct.But if we consider the domain to be the set of complex numbers then the entire scenario changes.A given function may converge even outside its circle of convergence!( although not every where)This is done formally by a procedure called ANALYTIC CONTINUATION.Check out this topic in chapter 7(section 7.4).
Adding one complex number to another does not give a 'bigger' or 'smaller' complex number.This is because the set of complex numbers is not 'ordered'.
The procedure of analytic continuation has mystic ties with the beautiful "Mandelbrot set" and chaos theory.


10 Jul 2008, 09:12
Profile
Site Admin
User avatar

Joined: 25 Feb 2008, 13:32
Posts: 105
Location: Cape Town, South Africa
Post Re: Exercise [04.04]
Sameed: Thank you for providing a flash of insight!

http://planetmath.org/encyclopedia/ExampleOfAnalyticContinuation.html

_________________
Our imagination is stretched to the utmost, not, as in fiction, to imagine things which are not really there, but just to comprehend those things which are there.


11 Jul 2008, 00:21
Profile WWW

Joined: 28 Nov 2008, 13:28
Posts: 1
Post Re: Exercise [04.04]
the correct answers to these sums are
(1-x^2^n)/(1-x^2), and (1-x^2^n)/(1+x^2), where n is number of members in the sum, and in this case is infinity. From that it is quite clear why they converge when IxI<1, and diverge when IxI>1. The plots for the solutions in the book are incorrect therefore, and I must say quite misleading. It is also quite clear from the above solutions why they are "similar" if x is a complex number.


28 Nov 2008, 13:46
Profile

Joined: 24 Dec 2008, 12:31
Posts: 2
Post Re: Exercise [04.04]
s_{n}=(1-x^2)^-1
can also be written down as a Taylor series equation. would this result in a proper solution for the exercise?


24 Dec 2008, 13:24
Profile

Joined: 22 Jan 2009, 19:33
Posts: 2
Post Re: Exercise [04.04]
tulcod:

I had a similar idea when reading this exercise, but applying Mclaurin:

For doing so, one needs the successive derivatives of f(x) = 1/(1-x^2), for x=0. Here they are:

\\<br />f(0) = \frac {1} {1-0^2} = 1 = !0 \\<br />\\<br />f'(0) = \frac {0}{(1-0^2)^2}= 0 \\<br />\\<br />f''(0) = \frac {6*0^2 + 2} {0^6 -3*0^4 + 3*0^2 - 1} = 2= !2 \\<br />\\<br />f'''(0) = \frac {24*0^3 + 24*0} {0^8 - 4*0^6 + 6*0^4 - 4*0^2 + 1} = 0 \\<br />\\<br />f{}^{IV}(0) = - \frac {120*0^4 + 240 * 0^2 + 24} {0^{10} -5*0^8 + 10*0^6 - 10*0^4 + 5*0^2 -1} = 24 = !4\\<br />\\<br />etc

(Thanks to Vitalii Vanovschi, http://www.numberempire.com for his excellent derivatives calculator and other mathematical tools).

With the derivatives at hand it is straightforward to calculate the decomposition in series of the function:

1/(1-x^2) = 1 + x^2 + x^4 + x^6 + x^8 ….

I think this is an absolutely valid answer to the exercise. Checking is good but understanding is better.

Regards.

Manuel


23 Jan 2009, 19:26
Profile
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 16 posts ]  Go to page 1, 2  Next


Who is online

Users browsing this forum: No registered users and 1 guest


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum

Search for:
Jump to:  
Powered by phpBB © phpBB Group.
Designed by Vjacheslav Trushkin for Free Forums/DivisionCore.