Tensor differentiation (element-by-element)

Click For Summary
SUMMARY

The discussion focuses on proving the tensor differentiation equation \(\frac{\text{d}\boldsymbol\{\mathbf{I}\boldsymbol\}}{\text{d}t} \, \boldsymbol\omega = \boldsymbol\omega \times (\boldsymbol\{\mathbf{I}\boldsymbol\}\,\boldsymbol\omega)\), where \(\boldsymbol\{\mathbf{I}\boldsymbol\}\) is defined as a 3x3 matrix with elements \(I_{i,j} = \delta_{i,j} \sum_k r_k^2 - r_i\,r_j\). The participants explore the element-by-element differentiation of the tensor and its multiplication with the vector \(\boldsymbol\omega\), ultimately questioning the validity of their results. Suggestions include using the summation convention to simplify the differentiation process.

PREREQUISITES
  • Tensor calculus, specifically tensor differentiation techniques
  • Understanding of angular velocity represented by the vector \(\boldsymbol\omega\)
  • Familiarity with the Kronecker delta \(\delta_{i,j}\) and Levi-Civita symbol \(\epsilon_{ijk}\)
  • Matrix multiplication and properties of 3x3 matrices
NEXT STEPS
  • Study the properties of the Levi-Civita symbol and its application in tensor calculus
  • Learn about the summation convention in tensor notation to simplify expressions
  • Explore advanced topics in tensor differentiation, including the use of product rules
  • Investigate computational tools for symbolic differentiation of tensors
USEFUL FOR

Mathematicians, physicists, and engineers working with tensor calculus, particularly those involved in dynamics and rotational motion analysis.

TadeusPrastowo
Messages
21
Reaction score
0

Homework Statement



Proof the following:
\frac{\text{d}\boldsymbol\{\mathbf{I}\boldsymbol\}}{\text{d}t} \, \boldsymbol\omega = \boldsymbol\omega \times (\boldsymbol\{\mathbf{I}\boldsymbol\}\,\boldsymbol\omega)

where \boldsymbol\{\mathbf{I}\boldsymbol\} is a tensor: \boldsymbol\{\mathbf{I}\boldsymbol\} = \begin{bmatrix}<br /> I_{1,1} &amp; I_{1,2} &amp; I_{1,3} \\<br /> I_{2,1} &amp; I_{2,2} &amp; I_{2,3} \\<br /> I_{3,1} &amp; I_{3,2} &amp; I_{3,3} \\<br /> \end{bmatrix}

with \text{I}_{i,j} as the following:
\text{I}_{i,j} = \delta_{i,j} \sum_k r_k^2 - r_i\,r_j

and \boldsymbol\omega is a vector:

\begin{bmatrix}\omega_1 \\ \omega_2 \\ \omega_3\end{bmatrix}

Homework Equations



The relevant equation should be on how to perform \frac{\text{d}}{\text{d}t}\left(\begin{bmatrix}<br /> I_{1,1} &amp; I_{1,2} &amp; I_{1,3} \\<br /> I_{2,1} &amp; I_{2,2} &amp; I_{2,3} \\<br /> I_{3,1} &amp; I_{3,2} &amp; I_{3,3} \\<br /> \end{bmatrix}\right).
But, I haven't found an online resource that shows the way. Wikipedia on tensor derivative does not touch on how to perform tensor derivative element-by-element.

The Attempt at a Solution



\begin{align}<br /> \frac{\text{d}}{\text{d}t}\left(\begin{bmatrix}<br /> I_{1,1} &amp; I_{1,2} &amp; I_{1,3} \\<br /> I_{2,1} &amp; I_{2,2} &amp; I_{2,3} \\<br /> I_{3,1} &amp; I_{3,2} &amp; I_{3,3} \\<br /> \end{bmatrix}\right) &amp;= \begin{bmatrix}<br /> \frac{\text{d}\,I_{1,1}}{\text{d}t} &amp; \frac{\text{d}\,I_{1,2}}{\text{d}t} &amp; \frac{\text{d}\,I_{1,3}}{\text{d}t} \\<br /> \frac{\text{d}\,I_{2,1}}{\text{d}t} &amp; \frac{\text{d}\,I_{2,2}}{\text{d}t} &amp; \frac{\text{d}\,I_{2,3}}{\text{d}t} \\<br /> \frac{\text{d}\,I_{3,1}}{\text{d}t} &amp; \frac{\text{d}\,I_{3,2}}{\text{d}t} &amp; \frac{\text{d}\,I_{3,3}}{\text{d}t} \\<br /> \end{bmatrix}<br /> \end{align}

Then, I calculate the above one as follows:
\begin{align}<br /> \frac{\text{d}\text{I}_{i,j}}{\text{d}t} &amp;= \frac{\text{d}}{\text{d}t}\,(\delta_{i,j} \sum_k r_k^2 - r_i\,r_j) \\<br /> &amp;= \frac{\text{d}}{\text{d}t}\,\delta_{i,j} \sum_k r_k^2 - \frac{\text{d}}{\text{d}t}\,r_i\,r_j \\<br /> &amp;= \delta_{i,j} \frac{\text{d}}{\text{d}t}\, \sum_k r_k^2 - \frac{\text{d}}{\text{d}t}\,r_i\,r_j \\<br /> &amp;= \delta_{i,j} \sum_k \frac{\text{d}}{\text{d}t}\,r_k^2 - \frac{\text{d}}{\text{d}t}\,r_i\,r_j \\<br /> &amp;= \delta_{i,j} \sum_k \frac{\text{d}\,r_k^2}{r_k}\frac{\text{d}\,r_k}{\text{d}t} - \frac{\text{d}}{\text{d}t}\,r_i\,r_j \\<br /> &amp;= \delta_{i,j} \sum_k 2\,r_k\,\omega_k - (\omega_i\,r_j + r_i\,\omega_j) \\<br /> \frac{\text{d}\text{I}_{i,j}}{\text{d}t} &amp;= \begin{bmatrix}<br /> 2\,r_2\,\omega_2 + 2\,r_3\,\omega_3 &amp; -(r_1\,\omega_2 + r_2\,\omega_1) &amp; -(r_1\,\omega_3 + r_3\,\omega_1) \\<br /> -(r_2\,\omega_1 + r_1\,\omega_2) &amp; 2\,r_1\,\omega_1 + 2\,r_3\,\omega_3 &amp; -(r_2\,\omega_3 + r_3\,\omega_2) \\<br /> -(r_3\,\omega_1 + r_1\,\omega_3) &amp; -(r_3\,\omega_2 + r_2\,\omega_3) &amp; 2\,r_1\omega_1 + 2\,r_2\,\omega_2<br /> \end{bmatrix}<br /> \end{align}<br />

But, multiplying the result of the differentiation with \boldsymbol\omega does not yield \boldsymbol\omega \times (\boldsymbol\{\mathbf{I}\boldsymbol\}\,\boldsymbol\omega) = \begin{bmatrix}<br /> 0 &amp; -\omega_3 &amp; \omega_2 \\<br /> \omega_3 &amp; 0 &amp; -\omega_1 \\<br /> -\omega_2 &amp; \omega_1 &amp; 0<br /> \end{bmatrix}\left(\begin{bmatrix}<br /> r_2^2 + r_3^2 &amp; -r_1 r_2 &amp; -r_1 r_3 \\<br /> -r_2 r_1 &amp; r_1^2 + r_3^2 &amp; -r_2 r_3 \\<br /> -r_3 r_1 &amp; -r_3 r_2 &amp; r_1^2 + r_2^2<br /> \end{bmatrix}\begin{bmatrix}<br /> \omega_1 \\ \omega_2 \\ \omega_3<br /> \end{bmatrix}\right):
<br /> \begin{align}<br /> \frac{\text{d}\text{I}_{i,j}}{\text{d}t} \, \boldsymbol\omega &amp;= \begin{bmatrix}<br /> 2\,r_2\,\omega_2 + 2\,r_3\,\omega_3 &amp; -(r_1\,\omega_2 + r_2\,\omega_1) &amp; -(r_1\,\omega_3 + r_3\,\omega_1) \\<br /> -(r_2\,\omega_1 + r_1\,\omega_2) &amp; 2\,r_1\,\omega_1 + 2\,r_3\,\omega_3 &amp; -(r_2\,\omega_3 + r_3\,\omega_2) \\<br /> -(r_3\,\omega_1 + r_1\,\omega_3) &amp; -(r_3\,\omega_2 + r_2\,\omega_3) &amp; 2\,r_1\omega_1 + 2\,r_2\,\omega_2<br /> \end{bmatrix}\begin{bmatrix}<br /> \omega_1 \\ \omega_2 \\ \omega_3<br /> \end{bmatrix} \\<br /> &amp;= \begin{bmatrix}<br /> (2\,r_2\,\omega_2 + 2\,r_3\,\omega_3)\,\omega_1 - (r_1\,\omega_2 + r_2\,\omega_1)\,\omega_2 - (r_1\,\omega_3 + r_3\,\omega_1)\,\omega_3 \\<br /> -(r_2\,\omega_1 + r_1\,\omega_2)\,\omega_1 + (2\,r_1\,\omega_1 + 2\,r_3\,\omega_3)\,\omega_2 - (r_2\,\omega_3 + r_3\,\omega_2)\,\omega_3 \\<br /> -(r_3\,\omega_1 + r_1\,\omega_3)\,\omega_1 - (r_3\,\omega_2 + r_2\,\omega_3)\,\omega_2 + (2\,r_1\omega_1 + 2\,r_2\,\omega_2)\,\omega_3<br /> \end{bmatrix}<br /> \end{align}<br />

I also have tried several factorizations on paper but to no avail.
But, I may miss some wonderful factorization tricks.
Or, should a tensor be differentiated element-by-element in another way?

Thank you.
 
Physics news on Phys.org
Do you have to write it out explicitly using components?
Perhaps if you write it like $$\left(\frac{\text{d}}{\text{d}t} I_{ij} \right)w_j = \epsilon_{ijk}w_j I_{kl}w_l,$$ (summation convention understood) where ##I_{ij} = \delta_{ij}\sum_k r_k^2 - r_i r_j## and show the two sides are equivalent. Have not tried it myself, but it might save you the mess of writing out all the components.
 
Is $$\omega$$ the time derivative of r?
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
Replies
6
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 0 ·
Replies
0
Views
225