The Road to Reality http://www.roadtoreality.info/ 

Exercise [07.03] http://www.roadtoreality.info/viewtopic.php?f=19&t=173 
Page 1 of 1 
Author:  variounes [ 08 Jul 2008, 23:42 ] 
Post subject:  Exercise [07.03] 
This is an interesting exercise though the wording is vague (perhaps deliberately in order to test your ability?). It asks to prove f(z) analytic at the origin if it is complex smooth. In other words, if the Cauchy formula (and hence the originshifted Cauchy formula) is valid for f(z), prove it has nth derivative. At the level of formal expressions, one could simply prove that the first derivative exists. Derivative is defined by the limit: ' At the origin: '. Substitute Cauchy and originshifted cauchy formulas to the fraction, and get immediately the expression for the first derivative. 
Author:  vasco [ 13 Jul 2008, 15:02 ] 
Post subject:  Re: Exercise [07.03] 
I agree that the wording in the book about this Exercise is vague. This is what I think Penrose wants you to do: Taylor's expansion for about the point is: Also Cauchy's formula in the origin shifted form is: Show that is indeed given by: I am about to substitute the Taylor series for f(z) given above into the contour integral without worrying about the rigorous justification, which is what Penrose suggests you do in the exercise: and now a further step without rigorous justification and then expanding the summation Using the result of exercise 7.1 that when is an integer other than we can see that the above simplifies to since see RTR book section 7.2 which was to be shown. 
Author:  variounes [ 14 Jul 2008, 17:14 ] 
Post subject:  Re: Exercise [07.03] 
Nah. I don't think that's what the excercise meant. The stuffs you've put in are fine, but they are more or less covered the previous excercise. In fact, they're just the reverse of exercise 7.2. Your starting point is wrong and you applied the wrong originshifted Cauchy because you haven't got the nth derivative established at this point yet. You need to prove its existence first; and the way forward is to derive the 1st derivative. All higher derivatives are then analogically derived. As I said the text is vague and appears in reversed order. 
Author:  mexican [ 29 May 2009, 16:54 ] 
Post subject:  Re: Exercise [07.03] 
As I undersand the excercise, we are supposed to show that the McLaurin series actually converges to f(z) when f^(n) (0) is defined by the Cauchy formula. I am new on complex analysis, and do not know how to do that, but I think that you both misinterpreted what is being asked. I agree that the wording is pretty vague though. 
Author:  variounes [ 18 Jul 2009, 19:05 ] 
Post subject:  Re: Exercise [07.03] 
A bit vague (and confused) around the exercise there. Er.. R. Penrose? See your point. Like my History teacher used to say: exercising alot only turns one into an exercise slave rather than a master (who actually came up with the exercise). He's right, but useless. Unfortunately, unless one were one of the A's (Arnold/Albert) at birth, exercise's the only way to get there. Sad, eh? 
Author:  arje06 [ 28 May 2010, 08:25 ] 
Post subject:  Re: Exercise [07.03] 
This is really an exercise to our brain. I am trying to understand these equations. Anyone could help me? Hope I will get the point of it soon. 
Author:  cwjian [ 04 Jul 2011, 15:07 ] 
Post subject:  Re: Exercise [07.03] 
http://en.wikipedia.org/wiki/Proof_that ... e_analytic This Wikipedia article more or less answers the question. There is a step in the proof (the interchange of the summation and the integral) that require some rigorous justification, but Penrose states in the question that it is not necessary. As stated in his hint, it also makes use of the originshifted Cauchy integral formula. Also of note is that in the exercise, a is the origin. 
Author:  vasco [ 04 Jul 2011, 15:38 ] 
Post subject:  Re: Exercise [07.03] 
cwjian wrote: variounes wrote: This is an interesting exercise though the wording is vague (perhaps deliberately in order to test your ability?). It asks to prove f(z) analytic at the origin if it is complex smooth. In other words, if the Cauchy formula (and hence the originshifted Cauchy formula) is valid for f(z), prove it has nth derivative. At the level of formal expressions, one could simply prove that the first derivative exists. Derivative is defined by the limit: ' At the origin: '. Substitute Cauchy and originshifted cauchy formulas to the fraction, and get immediately the expression for the first derivative. I think the part that doesn't require rigorous justification is proving the limit ' because you are dealing with 2 variables in complex analysis, and this is thus the domain of multivariable calculus, which the book hasn't explored yet at this point. Complex analysis is NOT about 2 variables. It is about ONE variable z. This is the whole point about complex analysis. If you think Complex Analysis is about 2 variables then you have completely missed the point. The calculus of functions of many variables is completely different and is NOT part of Complex Analysis. 
Author:  cwjian [ 04 Jul 2011, 18:07 ] 
Post subject:  Re: Exercise [07.03] 
Actually yes, you are correct, Vasco. I'm sorry, I was confusing it with the multivariable calculus, since the z is of course splittable into 2 components but, of course, complex analysis only involves one variable, so the definition of the derivative applies just as well. But the previous answers don't answer Penrose's question. The proof in the Wikipedia article is actually the correct one, I feel. 
Author:  vasco [ 04 Jul 2011, 18:42 ] 
Post subject:  Re: Exercise [07.03] 
Yes, I agree that my solution is incorrect. I'll have a look at the wikipedia link when I get some free time. 
Page 1 of 1  Archived: 07 Aug 2014 
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group http://www.phpbb.com/ 