Jump to content
Toggle sidebar
The Portal Wiki
Search
Create account
Personal tools
Create account
Log in
Pages for logged out editors
learn more
Talk
Contributions
Navigation
Intro to The Portal
Knowledgebase
Geometric Unity
Economic Gauge Theory
All Podcast Episodes
All Content by Eric
Ericisms
Learn Math & Physics
Graph, Wall, Tome
Community
The Portal Group
The Portal Discords
The Portal Subreddit
The Portal Clips
Community Projects
Wiki Help
Getting Started
Wiki Usage FAQ
Tools
What links here
Related changes
Special pages
Page information
More
Recent changes
File List
Random page
Editing
The Road to Reality Study Notes
(section)
Page
Discussion
English
Read
Edit
View history
More
Read
Edit
View history
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
=== 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 <math>p</math>) by what it is doing at a set of points surrounding the origin or the general point <math>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 <math>n</math> 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> 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 <math>f(z)</math> using the derivatives in the coefficients of the terms. :<math> \sum_{n=0} ^ {\infty} \frac {f^{(n)}(p)}{n!} (z-p)^{n} </math> This can be shown to sum to <math>f(z)</math>, thereby showing the function has an actual <math>n</math>th derivative at the origin or general point <math>p</math>. 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 (<math>f(z)</math> is complex-smooth) nor the conclusion (<math>f(z)</math> 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’.
Summary:
Please note that all contributions to The Portal Wiki may be edited, altered, or removed by other contributors. If you do not want your writing to be edited mercilessly, then do not submit it here.
You are also promising us that you wrote this yourself, or copied it from a public domain or similar free resource (see
The Portal:Copyrights
for details).
Do not submit copyrighted work without permission!
Cancel
Editing help
(opens in new window)