
Archived: 07 Aug 2014, 09:44

Trouble with 5.10 and what I am supposed to do.
Author 
Message 
damian
Joined: 06 Jun 2008, 08:59 Posts: 10

Re: Trouble with 5.10 and what I am supposed to do.
Hi Starting from Vasco's equation that , which seems to be correct, because it is in Penroses book, and, as stated by Vasco, where we have to be careful that is already taken to be the principal value (of the complex number w), and applying it to we have , then , but the logarithmic in the exponential has to be the principal value of the logarithmic of the complex number . This principal value is . This is obvious because the module of is e and the argument between pi and pi is 0. Substituting you have , and for the same reason Therefore Eyedrop was right that , Thank you very much Vasco. Even if I think you were not right, It is ultimately thanks to your systematic explanations that the solution could be found.

10 Jun 2008, 09:53 


damian
Joined: 06 Jun 2008, 08:59 Posts: 10

Re: Trouble with 5.10 and what I am supposed to do.
Sorry,
the solution is not really found, Now we have to understand why the last inequality of my previous post does not hold and as Eyedrop originally asked, which are the conditions under which it applies and the conditions under which it does not.

10 Jun 2008, 10:03 


damian
Joined: 06 Jun 2008, 08:59 Posts: 10

Re: Trouble with 5.10 and what I am supposed to do.
I guess that what really happens is that as basco said is a multivalued function. If you choose the principal value you get (for our case) e, but a second value (for our case) is and yet another third value and another is and so on... What Eyedrop was doing is choosing the first one of the values on the LHS and the second one on the RHS, because in doing the actual multiplications of the exponents you automatically choose the second value. If we would have started with we wold have automaticall arrived at the third of the values and so on. But intrinsically has the potential to give rise to all these values. We will not choose one unless for instance we decide to choose the principal one, but then we have to consistently choose the principal value in both the LHS and RHS.

10 Jun 2008, 11:45 


damian
Joined: 06 Jun 2008, 08:59 Posts: 10

Re: Trouble with 5.10 and what I am supposed to do.
Sorry to write another post about it. I just wanted to say that now that I am getting to understand the problem, the more I think about it, the more I realise that Vasco was right all the way long. When I said before that he was wrong it is only because at that time I did not properly understand what he meant. So forget about all my crap posts and read again his carefully.
It seems incredible to me that Penrose posted this problem with a smiley face anyway.

10 Jun 2008, 12:19 


damian
Joined: 06 Jun 2008, 08:59 Posts: 10

Re: Trouble with 5.10 and what I am supposed to do.
Hi! This is a question for ZZR Puig (or whoever else knows the answer): have you found out whether the definition that you gave for the exponential holds for any complex number z?

11 Jun 2008, 07:36 


ZZR Puig
Joined: 22 May 2008, 19:08 Posts: 18

Re: Trouble with 5.10 and what I am supposed to do.
Hi damian. A few things first. I don't have the book in front of me right now, but I think in my book this exercise is qualified as hard. No smiley face there if I remember well. This is also the reason that I felt a bit suspicious about the apparent simplicity of the solution. As I said I think it's clear that , but I see that this is not the real paradox presented here, but the fact that could be equal to either: a) b) I think that the root of this problem is that is not equal to for every if we don't limit the imaginary part of between and . [When defining ]. In a more general case we would have , and the correspondent equalities to be checked for consistency for every value of would be: Unfortunately I haven't had much time lately to try to give a good explanation to this issue. I'll try to work on it and see if I can report something useful. By the way, as you may have noticed the expression wasn't suitable for this problem, so it has been replaced by .

11 Jun 2008, 13:35 


vasco
Supporter
Joined: 07 Jun 2008, 08:21 Posts: 235

Re: Trouble with 5.10 and what I am supposed to do.
vasco wrote: Here is an observation which people may find useful. In my last post I stated that Formula 1 gives ALL possible values of . Let’s investigate where p is a complex number Using formula 1 above, we can see that only if p=z and/or k=0 So generally for all w and p ONLY if we use principal values Edited on 12th May 2008 to correct an algebraic error which does not however affect the conclusion

12 Jun 2008, 06:27 


damian
Joined: 06 Jun 2008, 08:59 Posts: 10

Re: Trouble with 5.10 and what I am supposed to do.
Hi ZZR Puig,
Thank you very much for your explanations!. If you find the time to think further about fthe problem, please post your conclusions!. I found your viewpoint very useful in understading the root of the paradox.
P.S. I am relieved to know that the problem does not have a smiley face :))))

12 Jun 2008, 12:29 


vasco
Supporter
Joined: 07 Jun 2008, 08:21 Posts: 235

Re: Trouble with 5.10 and what I am supposed to do.
This post has been edited as a result of some very useful comments from ZZR Puig  VascoI have now rejected these comments and reposted below  VascoDamian As you requested, I’ve been trying to find a simpler way to explain the paradox of 05.10. Here are some of my thoughts: We know that generally For w=1 this becomes Just as (in my earlier post) I used Log w to represent the multivalued logarithm of w, and log w to represent the principal value, such that , so I could use E to represent the various ways of expressing exp (1) and e the value when k=0: , where k is any integer value, positive or negative. if we take k in the range 2 to +2 then we get: (the e we all know and love!) These are all separate valid ways of expressing If we look at Ex 05.10 and take logarithms then we can see the fallacy immediately: and it is clear that A simpler, more obvious example of a similar fallacy would be for example sqrt(9). This is multivalued and has the 2 possible distinct values 3 and +3. However, writing and then saying Therefore +3=3 is clearly fallacious. Or, another example but we know therefore fallacious again. When we say, for example above, that +3=3 because they are both equal to sqrt(9), we are forgetting that sqrt(9) is a multivalued function and therefore we are not allowed to equate the two values. I hope this serves to clarify the fallacy and does not confuse you even more.
Last edited by vasco on 14 Jun 2008, 18:59, edited 4 times in total.

12 Jun 2008, 15:14 


ZZR Puig
Joined: 22 May 2008, 19:08 Posts: 18

Re: Trouble with 5.10 and what I am supposed to do.
That is a good point vasco, and gives a bit of understanding about this problem, but as we all know the function that is really multivalued is , not , and perhaps someone could still find some difficulties understanding the whole issue. I'll try to show a solution that may help to clarify this. We know that , so let's apply this to the original expression to get: , where , and are integers. If we now apply logarithms we are already taking into account the fact they are multivalued: , therefore: Operating we get: Separating the real and imaginary parts: If now we choose so , the equation system has only one solution, which is: Therefore the original equation becomes: , obviously. The function may be multivalued, but there is only one possible set of parameters that give the right solution. We can't expect to chose and think we will find a valid one. I hope you found this useful. Note: Perhaps instead of beginning with and , it would be better to say and , but it's all the same anyway.

12 Jun 2008, 18:27 


vasco
Supporter
Joined: 07 Jun 2008, 08:21 Posts: 235

Re: Trouble with 5.10 and what I am supposed to do.
Hi ZZR You are right that exp(z) is not multivalued. It is the other way round of course  many different values of z giving the same value of exp(z). I will edit my post accordingly. Thanks Vasco

13 Jun 2008, 06:19 


vasco
Supporter
Joined: 07 Jun 2008, 08:21 Posts: 235

Re: Trouble with 5.10 and what I am supposed to do.
Damian and ZZR I have thought about this again and I am now convinced that the post I edited as a result of ZZW’s comments was in fact correct and so I am reposting it here in a slightly modified form to make some things clearer I hope. We know that generally (see my post on the general power ) It’s important to make the distinction between 1) which is multivalued and 2) .... which is single valued Looking at 1) above for z=1 we obtain Just as (in one of my earlier posts) I used Log w to represent the multivalued logarithm of w, and log w to represent the principal value, such that , so I could use E to represent the multivalued exp (z) and e the principal value: , where k is any integer value, positive or negative. if we take k in the range 2 to +2 then we get: (the e we all know and love!) These are all separate valid values for Writing as is done in Ex 05.10, is not a valid thing to do. It is the same as saying: And therefore . A simpler, more obvious example of a similar fallacy would be for example sqrt(9). This is also multivalued and has the 2 possible distinct values 3 and +3. However, writing and then saying Therefore +3=3 is clearly fallacious. Or, another example but we know therefore fallacious again. When we say, for example above, that +3=3 because they are both equal to sqrt(9), we are forgetting that sqrt(9) is a multivalued function and therefore we are not allowed to equate the two values. This is exactly the same as saying is equal to . If we take logarithms then we can see the fallacy immediately: and it is clear that

14 Jun 2008, 10:34 


damian
Joined: 06 Jun 2008, 08:59 Posts: 10

Re: Trouble with 5.10 and what I am supposed to do.
Hi!!
Thanks to the comments of all of you, we have not only resolved the paradox, but more importantly we have learnt a lot about the logarithmic of a complex number. I do not think there are many profesional physisists or mathematicians that understand so much in depth about this topic as us now :)))
I am so looking forward to continue further and learn more with the help of all of you. I cannot wait until I get to understand the topics from the actual frontiers of physics that the next chapters will bring us to (and for that grand purpose we have to be patient and first understand the complex numbers!!!). Step by step and slowly we will get there :))

16 Jun 2008, 14:42 


dickdock
Joined: 11 Jul 2008, 05:14 Posts: 9

Re: Trouble with 5.10 and what I am supposed to do.
Hi newbie here, great forum, interesting discussion, but can one not just say for this 'paradox': i.e. there is no paradox, only an apparent one, which is why Prof. Penrose put 'paradox' in inverted commas. This ties in with the exercise in the book being attached to the statement: "This ambiguity leads us into all sorts of problems if we are not careful", i.e. the ramifications of whence (p.95 hardback) can lead to all sorts of counterintuitive formulae which have to parsed with care.

11 Jul 2008, 13:45 


vasco
Supporter
Joined: 07 Jun 2008, 08:21 Posts: 235

Re: Trouble with 5.10 and what I am supposed to do.
dickdock wrote: Hi newbie here, great forum, interesting discussion, but can one not just say for this 'paradox': Nice try! But but is equal to . Remember

11 Jul 2008, 17:37 



