CFD Online Discussion Forums

CFD Online Discussion Forums (https://www.cfd-online.com/Forums/)
-   Main CFD Forum (https://www.cfd-online.com/Forums/main/)
-   -   Einstein notation (https://www.cfd-online.com/Forums/main/229575-einstein-notation.html)

Disco_Broccoli August 14, 2020 15:19

Einstein notation
 
Hi, I recently started using Einstein notation a lot from this paper [AGARD-R-819] for Favre averaging. However, I was never formally introduced to it academically. I was wondering if someone here could help me validate my confusion. I have 3 questions.

1. \frac{\partial u_i}{\partial x_j} + \frac{\partial u_j}{\partial x_i}

From the equation, what impact does it have if you switch the i & j. From my understanding, the answer is a scalar anyways so the order of the sum should not matter. I'm I correct?


2.The Kronecker delta basically tells us to sum the trace of a tensor.

\frac{\partial u_k}{\partial x_k} \delta_{ij}


So here the k subscript is going to be k = 1, 2, 3. But why can't we write j instead?

3.Similarly from 2,

\frac{\partial u_k}{\partial x_k} \: \delta_{ij} * \frac{\partial u_i}{\partial x_j}

Is it still going to be the sum of the trace for both derivative term?

Thanks for any input you can provide.

cdegroot August 14, 2020 15:54

1. You are correct; you can switch the indices since they are arbitrary when both are being summed.
2. You can't write "j" in the derivative term and in the delta term because then you would have 3 j's, which is not allowed. If the index is repeated twice in implies a sum; if it appears once it is a free index. Having it 3 times would not make sense. You could switch the k to j, but then you'd have to make the j another letter (e.g. k).
3. The first term, for 3-space would be (du/dx + dv/dy + dw/dz). The second part, including the delta and the second derivative would be the same since it is only non-zero when i=j.

sbaffini August 15, 2020 06:26

I would add that:

1) You can switch indices when the quantity is symmetric with respect to those indices, a scalar being just a special case. Indeed, example 1 does not actually imply any summation (which is instead implied when the terms using the given index multiply each other), but it is a symmetric tensor (2S_{ij}). Also, the final result being a scalar doesn't automatically imply switchability of indices. For example, if you have a Levi-Civita symbol in your scalar expression (https://en.wikipedia.org/wiki/Levi-Civita_symbol), that scalar might change sign if switching indices improperly (a classical example being the triple scalar product).

2) This is one of those cases where the official terminology really helps understanding what happens. More specifically, when an index has implied summation, like k in example 2, it is said to be saturated and you can't use it anymore. This is not much different from what happens when you integrate in a variable, by convention you don't reuse that variable in order to avoid confusion. In practice, for a saturated index you are actually free to use whatever you like, as long as that is not already used (so y, a, b, are all good replacements for k... j and i aren't).

Disco_Broccoli August 16, 2020 00:29

Thank you cdegroot and sbaffini for the valuable input. I will go on with my learning with what both of you suggested.


All times are GMT -4. The time now is 06:29.