Tensor power series
#2
To illustrate this new derivative, we can denote the Jacobian by \( F' \) where \( F = f^j_i \), so that
\( F(X) = \sum_i
f^j_i (x^i) \)
is a 1-tensor (a vector), because the function is applied to the vector (and because the only remaining index is j), if the function was not applied to the vector, then it would be a matrix.
\( F'(X) = \sum_i {\nabla}_k \otimes
f^j_i (x^i) \)
is a 2-tensor (a matrix) just like the Jacobian is. But then we notice that
\( F''(X) = \sum_i {\nabla}_l \otimes {\nabla}_k \otimes
f^j_i (x^i) \)
is a 3-tensor (not a matrix) but it is just as useful as a derivative, because we can use it in a power series expansion, but not for linear functions. For linear functions \( F''(X) = 0^j_{kl} \) but for non-linear functions, it can be non-zero (but we also have to write f differently, and not as a summation).
So we have to rewrite the expressions above as:
\( F'(X) = {\nabla}_k \otimes F (X) \)
\( F''(X) = {\nabla}_l \otimes {\nabla}_k \otimes F (X) \)
but what we want is not the derivatives in general, but the derivatives at zero, for the power series expansion, so we substitute X=0:
\( F'(0^i) = {\nabla}_j \otimes F (0^i) \)
\( F''(0^i) = {\nabla}_k \otimes {\nabla}_j \otimes F (0^i) \)
now every time we do tensor contraction of these with a vector, we effectively reduce the rank by 1, so \( \sum_j {\nabla}_j \otimes F (0^i) \otimes x^j \) is a 1-tensor (or vector), and \( \sum_k \sum_j {\nabla}_k \otimes {\nabla}_j \otimes F (0^i) \otimes x^j \otimes x^k \) is also a 1-tensor (or vector), which means they are of the same dimensions, which means we can add them, which means we can use these to form a power series.


Messages In This Thread
Tensor power series - by andydude - 05/13/2008, 07:58 AM
RE: Tensor power series - by andydude - 05/13/2008, 07:59 AM
RE: Tensor power series - by andydude - 05/13/2008, 08:11 AM
RE: Tensor power series - by andydude - 05/14/2008, 06:18 AM
RE: Tensor power series - by Gottfried - 05/20/2008, 08:39 PM
RE: Tensor power series - by andydude - 05/22/2008, 12:58 AM
RE: Tensor power series - by andydude - 05/22/2008, 04:11 AM
RE: Tensor power series - by andydude - 05/22/2008, 04:36 AM
RE: Tensor power series - by bo198214 - 05/24/2008, 10:10 AM
RE: Tensor power series - by andydude - 06/04/2008, 08:08 AM

Possibly Related Threads…
Thread Author Replies Views Last Post
  Divergent Series and Analytical Continuation (LONG post) Caleb 54 13,284 03/18/2023, 04:05 AM
Last Post: JmsNxn
  Discussion on "tetra-eta-series" (2007) in MO Gottfried 40 9,827 02/22/2023, 08:58 PM
Last Post: tommy1729
  Functional power Xorter 3 4,897 07/11/2022, 06:03 AM
Last Post: Catullus
Question Tetration Asymptotic Series Catullus 18 6,441 07/05/2022, 01:29 AM
Last Post: JmsNxn
Question Formula for the Taylor Series for Tetration Catullus 8 4,463 06/12/2022, 07:32 AM
Last Post: JmsNxn
  Calculating the residues of \(\beta\); Laurent series; and Mittag-Leffler JmsNxn 0 1,295 10/29/2021, 11:44 PM
Last Post: JmsNxn
  Trying to find a fast converging series of normalization constants; plus a recap JmsNxn 0 1,235 10/26/2021, 02:12 AM
Last Post: JmsNxn
  Reducing beta tetration to an asymptotic series, and a pull back JmsNxn 2 2,611 07/22/2021, 03:37 AM
Last Post: JmsNxn
  Perhaps a new series for log^0.5(x) Gottfried 3 6,854 03/21/2020, 08:28 AM
Last Post: Daniel
  A Notation Question (raising the highest value in pow-tower to a different power) Micah 8 15,982 02/18/2019, 10:34 PM
Last Post: Micah



Users browsing this thread: 1 Guest(s)