Why is \( T_k \) the Unique Polynomial of Degree \( k \) with These Properties?

Click For Summary

Discussion Overview

The discussion revolves around the uniqueness of the \( k \)-th Taylor polynomial \( T_k \) of a function \( f \) that is \( k \)-times continuously differentiable. Participants explore the properties that \( T_k \) must satisfy, including its value at zero and the equality of its partial derivatives at zero with those of \( f \) at a fixed point \( x_0 \). The conversation includes mathematical reasoning and attempts to clarify the derivation of these properties.

Discussion Character

  • Technical explanation
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • Some participants propose that to show \( T_k \) satisfies the properties, one must evaluate the polynomial at zero and compute the partial derivatives.
  • Others argue that the product rule should be applied when calculating the partial derivatives of \( T_k \).
  • A participant points out the importance of not reusing index symbols in summations to avoid confusion.
  • There is a suggestion that the uniqueness of \( T_k \) can be shown by assuming another polynomial with the same properties and demonstrating it must equal \( T_k \).
  • Some participants express uncertainty about the correct application of partial derivatives and the structure of the polynomial terms.
  • One participant provides an example of the Taylor polynomial \( T_3 \) and questions the result of a specific derivative evaluation.
  • Another participant challenges the assertion that a certain derivative equals zero, suggesting it should equal a specific term from the Taylor expansion.
  • There is a discussion about the correctness of expressions for the first partial derivative with respect to \( x_2 \), with some participants disagreeing on the formulation.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the correct approach to deriving the properties of \( T_k \) or the evaluation of its derivatives. Multiple competing views and uncertainties remain throughout the discussion.

Contextual Notes

Participants express confusion regarding the notation and application of partial derivatives, and there are unresolved questions about the structure of the Taylor polynomial and its derivatives. The discussion includes attempts to clarify these mathematical steps without arriving at definitive conclusions.

  • #31
Klaas van Aarsen said:
Anyway, consider $\frac{\partial}{\partial{x_{i_1}}}\ldots \frac{\partial}{\partial{x_{i_m}}}T_k(0)$.
So we differentiate $m$ times.
It means that all terms with an order lower than $m$ vanish due to differentiation.
And all terms with an order higher than $m$ that did not already vanish due to differentiation, will vanish when we substitute $0$.
That leaves the terms of order $m$, and only those that are a match with $x_{i_1}\cdot\ldots\cdot x_{i_m}$ will remain.
That is, all permutations of it.
And there are $m!$ permutations... 🤔
Ahh I see! And so the second property for $T_k$ follows!

For the uniqueness, we have to show that the coefficients of $T_k$ are uniquely defined, right? :unsure:
 
Physics news on Phys.org
  • #32
mathmari said:
Ahh I see! And so the second property for $T_k$ follows!

For the uniqueness, we have to show that the coefficients of $T_k$ are uniquely defined, right?

Yep. (Nod)
 
  • #33
Klaas van Aarsen said:
Yep. (Nod)

Great! Thank you! 🤩
 

Similar threads

  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 21 ·
Replies
21
Views
2K
  • · Replies 25 ·
Replies
25
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K