The Road to Reality Study Notes: Difference between revisions

Line 263: Line 263:


=== 6.4 The "Eulerian" notion of a function? ===
=== 6.4 The "Eulerian" notion of a function? ===
How, then do we define the notion of a ‘Eulerian’ function?  This can be accomplished in two ways.  The first using complex numbers and is incredibly simple.  If we extend $$f(x)$$ to $$f(z)$$ in the complex plane, then all we require is for $$f(z)$$ to be once differentiable (a kind of $$C^1$$-smooth function).  That’s it, magically. We will see that this can be stated with $$f(x)$$ being an [https://en.wikipedia.org/wiki/Analytic_function analytic function].
The second method involves power series manipulations, and Penrose notes that ‘the fact that complex differentiability turns out to be equivalent to power series expansions is one of the truly great pieces of complex-number magic’. 
For the second method, the power series of $$f(x)$$ is introduced, $$f(x) = a0 + a1x + a2x^2 + a3x^3 + …$$ For this series to exist then it must be C^inf-smooth.  We must take and evaluate derivatives f(x) to find the coefficients, thus an infinite number of derivatives (positive integers) must exist for the power series to exist.  If we evaluate f(x) at the origin, we call this a power series expansion about the origin (Maclaurin’s Series).  About any other point p would be considered a power series expansion about p. 
The power series is considered analytic if it encompasses the power series about point p, and if it analytic at all points of its domain, we call it an analytic function, or equivalently a C^w-smooth function.  Euler would be pleased with this notion of an analytic function,


* Physics in trying to understand reality by approximating it.
* Physics in trying to understand reality by approximating it.
105

edits