
Archived: 07 Aug 2014, 13:07

Author 
Message 
variounes
Joined: 30 Jun 2008, 22:14 Posts: 25

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.

08 Jul 2008, 23:42 


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

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 justificationand 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.

13 Jul 2008, 15:02 


variounes
Joined: 30 Jun 2008, 22:14 Posts: 25

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.

14 Jul 2008, 17:14 


mexican
Joined: 25 May 2009, 03:16 Posts: 2

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.

29 May 2009, 16:54 


variounes
Joined: 30 Jun 2008, 22:14 Posts: 25

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?

18 Jul 2009, 19:05 


arje06
Joined: 28 May 2010, 07:42 Posts: 1

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.
_________________ seo services

28 May 2010, 08:25 


cwjian
Joined: 03 Jul 2011, 14:43 Posts: 8

Re: Exercise [07.03]
http://en.wikipedia.org/wiki/Proof_that ... e_analyticThis 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.
Last edited by cwjian on 04 Jul 2011, 18:44, edited 4 times in total.

04 Jul 2011, 15:07 


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

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.

04 Jul 2011, 15:38 


cwjian
Joined: 03 Jul 2011, 14:43 Posts: 8

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.

04 Jul 2011, 18:07 


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

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.

04 Jul 2011, 18:42 



