• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 Tensor power series andydude Long Time Fellow Posts: 509 Threads: 44 Joined: Aug 2007 05/13/2008, 08:11 AM (This post was last modified: 05/14/2008, 03:32 AM by andydude.) Before we do that though, there are still a few things I would like to clear up. First notation, lets start using Einstein's summation convention (because we need it now), and let $\nabla_{\otimes n}F(0)x^{\otimes n} = \left(\prod_i^n {\nabla}_{(k_i)}\right) \otimes F(0) \otimes \left(\prod_i^n x^{(k_i)} \right)$ which allows expressing the power series as: $F(X) = \sum_{n=0}^{\infty} \frac{1}{n!} \nabla_{\otimes n}F(0)X^{\otimes n}$ and the Bell "matrix" as: $B[F] = \nabla_{\otimes j}(F^{\otimes k})(0)$ and the Vandermonde "vector" as: $V(X) = X^{\otimes k}$ Secondly, we need an example, like the Mandelbrot set function: $M\left[\begin{tabular}{c} z \\ c \end{tabular}\right] = \left[\begin{tabular}{c} z^2 + c \\ c \end{tabular}\right]$ we can see that the value at zero is zero: $M\left[\begin{tabular}{c} 0 \\ 0 \end{tabular}\right] = \left[\begin{tabular}{c} 0 \\ 0 \end{tabular}\right]$ which means we have a fixed point. Also, the first derivative is: $M'\left[\begin{tabular}{c} 0 \\ 0 \end{tabular}\right] = \left[\begin{tabular}{cc} 2z & 1 \\ 0 & 1 \\ \end{tabular}\right]_{(z,c)=(0,0)} = \left[\begin{tabular}{cc} 0 & 1 \\ 0 & 1 \\ \end{tabular}\right]$ and the second derivative is: $M''\left[\begin{tabular}{c} 0 \\ 0 \end{tabular}\right] = \left[\begin{tabular}{cc} [2\ 0] & [0\ 0] \\ [0\ 0] & [0\ 0] \\ \end{tabular}\right]$ and from this it should be clear that the third derivative is zero. Now we can form a power series for this function as follows: $ M(X) = \left[\begin{tabular}{cc} 0 & 1 \\ 0 & 1 \\ \end{tabular}\right] \left[\begin{tabular}{c} z \\ c \end{tabular}\right] + \frac{1}{2!} \left[\begin{tabular}{cc} [2\ 0] & [0\ 0] \\ [0\ 0] & [0\ 0] \\ \end{tabular}\right] \left[\begin{tabular}{c} z \\ c \end{tabular}\right]^{\otimes 2}$ Another example we could try is the logistic map: $L\left[\begin{tabular}{c} z \\ r \end{tabular}\right] = \left[\begin{tabular}{c} r z (1-z) \\ r \end{tabular}\right]$ which has the power series expansion: $ L(X) = \left[\begin{tabular}{cc} 0 & 0 \\ 0 & 1 \\ \end{tabular}\right] \left[\begin{tabular}{c} z \\ r \end{tabular}\right] + \frac{1}{2!} \left[\begin{tabular}{cc} [0\ 0] & [1\ 0] \\ [1\ 0] & [0\ 0] \\ \end{tabular}\right] \left[\begin{tabular}{c} z \\ r \end{tabular}\right]^{\otimes 2} + \frac{1}{3!} \left[\begin{tabular}{cc} \left[\begin{tabular}{cc} 0 & 0 \\ -2 & 0 \end{tabular}\right] & \left[\begin{tabular}{cc} -2 & 0 \\ 0 & 0 \end{tabular}\right] \\ \left[\begin{tabular}{cc} -2 & 0 \\ 0 & 0 \end{tabular}\right] & \left[\begin{tabular}{cc} 0 & 0 \\ 0 & 0 \end{tabular}\right] \\ \end{tabular}\right] \left[\begin{tabular}{c} z \\ r \end{tabular}\right]^{\otimes 3}$ Now for the fun part. This kind of framework would be general enough to express the exponential factorial as an iterated function! This could be expressed as: $E\left[\begin{tabular}{c} z \\ n \end{tabular}\right] = \left[\begin{tabular}{c} n^z \\ n + 1 \end{tabular}\right]$ and one thing I am curious about is whether regular iteration methods will work on this new power series ring, and whether they could help define the exponential factorial over the real numbers, as opposed to the integers. Gottfried also brought up a good point. The Bell matrix and Vandermonde vector should be defined first, and well understood, before other iterational things. But this would cause much confusion, because even the Vandermonde vector (V) would not even be a tensor! This is because $V_1$ would be a (1,0)-tensor, and $V_2$ would be a (2,0)-tensor, and $V_3$ would be a (3,0)-tensor, which means whatever container you use to hold these (V) would not have a single rank (tensors must have a rank) and this would have all ranks... very confusing... I must think about this. Andrew Robbins PS. I think I forgot a factorial somewhere... PPS. [update]I fixed the factorials[/update] « Next Oldest | Next Newest »

 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 Perhaps a new series for log^0.5(x) Gottfried 3 679 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 3,773 02/18/2019, 10:34 PM Last Post: Micah Taylor series of i[x] Xorter 12 13,259 02/20/2018, 09:55 PM Last Post: Xorter Functional power Xorter 0 1,501 03/11/2017, 10:22 AM Last Post: Xorter 2 fixpoints related by power ? tommy1729 0 1,655 12/07/2016, 01:29 PM Last Post: tommy1729 Taylor series of cheta Xorter 13 14,329 08/28/2016, 08:52 PM Last Post: sheldonison Inverse power tower functions tommy1729 0 2,030 01/04/2016, 12:03 PM Last Post: tommy1729 Remark on Gottfried's "problem with an infinite product" power tower variation tommy1729 4 5,631 05/06/2014, 09:47 PM Last Post: tommy1729 [integral] How to integrate a fourier series ? tommy1729 1 2,777 05/04/2014, 03:19 PM Last Post: tommy1729 about power towers and base change tommy1729 7 9,031 05/04/2014, 08:30 AM Last Post: tommy1729

Users browsing this thread: 1 Guest(s)