Let be a non-trivial open convex subset of . Then suppose is a function.
Then,
.
Here we are using multi-index notation
I am having difficulties figuring out how to write the full expansion of taylor's formula in 3 variables (x,y,t), for degrees 2, 3 and even higher degree terms.
It is for a master thesis project in computer vision.
The remainder term(s) is not necessary, but would be nice to have as well.
This is taylor's formula expansion for f(x) containing up to first degree terms only (with remainder ):
And, if we exchange some variables: and , we have:
Using this notation instead, this is my taylor's formula expansion for f(x,y,t) up to first degree terms (partial derivatives in x, y, and t):
Now I need the expansion in all three variables, for higher degrees (second, third, perhaps four) How to do this? I have found functions for this, but these are using multi-index vectors for indexing, and unfortunately I have been unable to wrap my head around such notation.
As a side note, I currently expect mixed/crossed partials to be equal for function f(x,y,t) (which I do not know analytically).
Thanks,
Intel4004
Let be a non-trivial open convex subset of . Then suppose is a function.
Then,
.
Here we are using multi-index notation
Exactly! That is the formula that I have tried to understand. Actually, if you could tell me how the summation is supposed to iterate with , I believe I could go a long way. That is the only thing that stops me.
As an iterator value in the summation, one uses the length/size ...right? But what is the limit of the sum? What terms doees the sum produce?
Thanks.
And, btw, in any event it applies to where you are, merry xmas
Intel4004
The formula is familiar to the last one in this PDF:
http://www.math.washington.edu/~solomyak/TEACH/425/05/taylor.pdf
So as I understand, in , is an integer, describing how many times we differentiate with respect to variable number ?
And since is a function, it is k differentiable, right? Does that mean that all crossed partials (up to k'th order) can be regarded equal?
And, btw, what do you mean?
Like this?:
or:
The one I wrote is the correct one.
Suppose is on a open convex set.
Then,
The reason why we divide by is because of the three partial derivatives but there is a in the numerator is because we can permute as and all of them are the same.
That was the Taylor's theorem for 2 variables. The same situation for 3 or more but it gets messier. The general pattern is the multi-index formula.