Difference between revisions of "The Road to Reality Study Notes"

Jump to navigation Jump to search
m
Line 311: Line 311:


=== 7.3 Power series from complex smoothness ===
=== 7.3 Power series from complex smoothness ===
The example in section 7p2 is a particular case for the well-known [https://en.wikipedia.org/wiki/Cauchy%27s_integral_formula Cauchy Integral Formula], which allows us to know what the function is doing at the origin (or another general point p) by what it is doing at a set of points surrounding the origin (or the general point p).  
The example in section 7p2 is a particular case for the well-known [https://en.wikipedia.org/wiki/Cauchy%27s_integral_formula Cauchy Integral Formula], which allows us to know what the function is doing at the origin (or another general point $$p$$) by what it is doing at a set of points surrounding the origin or the general point $$p$$.  


:<math>\frac{1}{2πi}\oint\frac{f(z)}{z-p}dz=f(p)</math>
:<math>\frac{1}{2πi}\oint\frac{f(z)}{z-p}dz=f(p)</math>


A higher-order version of this formula allows us to inspect n number of derivatives with the same relationship.
A 'higher-order' version of this formula allows us to inspect $$n$$ number of derivatives with the same relationship.


:<math>\frac{n!}{2πi}\oint\frac{f(z)}{(z-p)^{n+1}}dz=f^{(n)}(p)</math>
:<math>\frac{n!}{2πi}\oint\frac{f(z)}{(z-p)^{n+1}}dz=f^{(n)}(p)</math>


If we use this to provide the definition of a derivative at a point, we can then construct a Maclaurin formula (if using the origin, otherwise the more general [https://en.wikipedia.org/wiki/Taylor_series Taylor series]) for f(z) using the derivatives in the coefficients of the terms.
If we use this to provide the definition of a derivative at a point, we can then construct a Maclaurin formula (if using the origin, otherwise the more general [https://en.wikipedia.org/wiki/Taylor_series Taylor series]) for $$f(z)$$ using the derivatives in the coefficients of the terms.


:<math> \sum_{n=0} ^ {\infty} \frac {f^{(n)}(z)}{n!} (z-p)^{n}, </math>
:<math> \sum_{n=0} ^ {\infty} \frac {f^{(n)}(z)}{n!} (z-p)^{n}, </math>


This can be shown to sum to $$f(z)$$, thereby showing the function has an actual $$n$$th derivative at the origin or general point p.  This concludes the argument showing that complex smoothness in a region surrounding the origin or point implies that the function is also holomorphic. Penrose notes that neither the premise ($$f(z)$$ is complex-smooth) nor the conclusion ($$f(z)$$ is analytic) contains contour integration or multivaluedness of a complex logarithm, yet these ingredients are essential for finding the route to the answer and that this is a ‘wonderful example of the way that mathematicians can often obtain their results’.
This can be shown to sum to $$f(z)$$, thereby showing the function has an actual $$n$$th derivative at the origin or general point $$p$$.  This concludes the argument showing that complex smoothness in a region surrounding the origin or point implies that the function is also holomorphic. Penrose notes that neither the premise ($$f(z)$$ is complex-smooth) nor the conclusion ($$f(z)$$ is analytic) contains contour integration or multivaluedness of a complex logarithm, yet these ingredients are essential for finding the route to the answer and that this is a ‘wonderful example of the way that mathematicians can often obtain their results’.


=== 7.4 Analytic continuation ===
=== 7.4 Analytic continuation ===


== Chapter 8 Riemann surfaces and complex mappings ==
== Chapter 8 Riemann surfaces and complex mappings ==
105

edits

Navigation menu