0^0 in taylor series

  • #1
120
0

Main Question or Discussion Point

you know this, right?

[tex]f(x) = \sum^{\infty}_{k=0} \frac{f^{(k)}(x_0) (x-x_0)^k}{k!}[/tex]

for an analytic function, at x0 = 0, you have to say that 0^0 equals 1 for the constant term. if 0^0 is indeterminate then how can you just say it's 1 in this case?
 
Last edited:

Answers and Replies

  • #2
arildno
Science Advisor
Homework Helper
Gold Member
Dearly Missed
9,970
131
Because we define it to be so, merely out of notational convenience.

If we didn't do so, we would have to write something like:
[tex]f(x)=f(x_{0})+\sum_{k=1}^{\infty}\frac{f^{(k)}(x_{0})(x-x_{0})^{k}}{k!}[/tex]

That expression is unnice.
 
  • #3
120
0
arildno, but the expression that u gave is most mathematically rigorous, isn't it? is the instance of 0^0 called abuse of notation?
 
  • #4
The question comes down to continuity. First, consider the expression [itex]x^0[/itex] and take the limit as x goes to zero. If we define [itex]0^0=1[/itex], then the function is continuous. But if we defined [itex]0^0=0[/itex], then it would not be continuous.

Now consider the expression [itex]0^y[/itex] and take the limit as y goes to zero. If we define [itex]0^0=1[/itex], then the function is not continuous. But if we define [itex]0^0=1[/itex], then it would be continuous.

It turns out to be much more convenient for [itex]x^0[/itex] to be continuous than [itex]0^y[/itex] to be continuous, so we define [itex]0^0[/itex] to be the limit of [itex]x^0[/itex] as x passes to zero. I suggest that it's not so much an abuse of notation as a shorthand for the limit.

(hey, 200th post :smile:)
 
  • #5
arildno
Science Advisor
Homework Helper
Gold Member
Dearly Missed
9,970
131
arildno, but the expression that u gave is most mathematically rigorous, isn't it? is the instance of 0^0 called abuse of notation?
Without any EXPLICIT definition of that in this particular case, the expression [itex](x-x_{0})^{0}[/tex] is to be understood as identically equal to 1, yes, then you might call it an "abuse of notation".

However, due to the continuity argument given in the last post, most would regard such explicit definition as needlessly pedantic, and that it is "self-evident" what is meant by the expression.
 
  • #6
One question I'd like to ask here then is regarding calculators. My ipod touch's calculator for example (because it was the first thing I reached for, not that I used it for undergraduate astrophysics homework or something) does 0^0 as 1. However I had a graphing program installed on it (for giggles) and it plots x^0 at x = 0 as 0.

Then I plotted it on my regular graphing calculator (TI 83 plus Silver), and X^0 is obviously 1 at all points except 0. Where it says "Y = ". Aka nothing at all.

When you type in 0^0 on that calculator it shows up as error:domain.

So is 0^0 just a fad? Some people say its 1, some people say its indeterminate, noone says its 0?
 
  • #7
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
17
There are three things you can do:

(1) Don't think about it; just accept it as convention and move on
(2) Redefine exponentiation of real numbers to include 00=1
(3) Do a more careful treatment of mathematical grammar

I much prefer (3) -- I don't like (1) and exponentiation of real numbers isn't really what's going on here, so I don't find (2) justified.
 
  • #8
arildno
Science Advisor
Homework Helper
Gold Member
Dearly Missed
9,970
131
So is 0^0 just a fad? Some people say its 1, some people say its indeterminate, noone says its 0?
And what, exactly, would you say that [itex]\lim_{x\to{0}^{+}}0^{x}[/itex] ought to be?
 
  • #9
And what, exactly, would you say that [itex]\lim_{x\to{0}^{+}}0^{x}[/itex] ought to be?
I have no answer to that (aka it's indeterminate), nor was I attempting to be a smart alec as I feel you are judging me to be. I'm just asking if various people treat the value differently because I noticed various calculators treat it differently.
 
  • #10
arildno
Science Advisor
Homework Helper
Gold Member
Dearly Missed
9,970
131
Hint:

The limiting value of that expression is NOT indeterminate. It provably exists. See if you can determine it! :smile:
 
  • #11
The answer is 0
 
  • #12
arildno
Science Advisor
Homework Helper
Gold Member
Dearly Missed
9,970
131

Related Threads for: 0^0 in taylor series

Replies
1
Views
582
  • Last Post
Replies
2
Views
6K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
8
Views
3K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
7
Views
2K
  • Last Post
Replies
2
Views
4K
  • Last Post
Replies
5
Views
644
Top