tom.stoer
Science Advisor
- 5,774
- 174
I think we discussed this example already, but I would like to come back to it. Look at the function
f(x) = \frac{1}{1-x} = \sum_{n=0}^\infty f_n x^n
Of course we all know that for |x| < 1 the coefficients are all equal to 1 and that for |x| > 1 this Taylor expansion at 0 is undefined.
Now let's talk about the question how "real" the function f(x) itself is and how real the coefficients are - especially if we do NOT specify for which value of x we want to calculate f(x).
I would say that the coefficients are an artifact of the Taylor expansion only, that for a different Taylor expansions we get different coefficients but we still have the same function f(x), so the function f(x) is the "real object" I am interested in. Of course we can find some funny names for the coefficients, we can use them in our calculations, we can speculate how "real" they are - but the object that really counts is f(x).
In the same sense the "physical object" object we are really interested in is (e.g.) an S-matrix-element. Of course we may calculate the S-matrix using perturbation theory,but this is an artifact of the calculation. If we would be clever enough to calculate it directly nobody would care about the expansion and nobody would try to find interesting names for the coefficients.
Of course the coefficients have a name (Taylor coefficients) and there are applications of Taylor expansions where Taylor expansion is really all we need. But there are other functions (with cuts, Riemann sheets, torus compactification, modular forms, ...) where Taylor expansion is closed to nonsense; it does not make sense, it does not solve your problem, it's the wrong tool, it hides reality and all relevant mathematical properties, ...
Another intersting function you may want to study is
g(x) = e^{-1/x^2}
How does its Taylor expansion at x = 0 look like?
f(x) = \frac{1}{1-x} = \sum_{n=0}^\infty f_n x^n
Of course we all know that for |x| < 1 the coefficients are all equal to 1 and that for |x| > 1 this Taylor expansion at 0 is undefined.
Now let's talk about the question how "real" the function f(x) itself is and how real the coefficients are - especially if we do NOT specify for which value of x we want to calculate f(x).
I would say that the coefficients are an artifact of the Taylor expansion only, that for a different Taylor expansions we get different coefficients but we still have the same function f(x), so the function f(x) is the "real object" I am interested in. Of course we can find some funny names for the coefficients, we can use them in our calculations, we can speculate how "real" they are - but the object that really counts is f(x).
In the same sense the "physical object" object we are really interested in is (e.g.) an S-matrix-element. Of course we may calculate the S-matrix using perturbation theory,but this is an artifact of the calculation. If we would be clever enough to calculate it directly nobody would care about the expansion and nobody would try to find interesting names for the coefficients.
Of course the coefficients have a name (Taylor coefficients) and there are applications of Taylor expansions where Taylor expansion is really all we need. But there are other functions (with cuts, Riemann sheets, torus compactification, modular forms, ...) where Taylor expansion is closed to nonsense; it does not make sense, it does not solve your problem, it's the wrong tool, it hides reality and all relevant mathematical properties, ...
Another intersting function you may want to study is
g(x) = e^{-1/x^2}
How does its Taylor expansion at x = 0 look like?