Proving vector identities using Cartesian tensor notation

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 8K views
QuanticEnigma
Messages
34
Reaction score
0

Homework Statement


1. Establish the vector identity
[tex] <br /> \nabla . (B[/tex] x [tex]A) = (\nabla[/tex] x [tex]A).B - A.(\nabla[/tex] x [tex]B)[/tex]

2. Calculate the partial derivative with respect to [tex]x_{k}[/tex] of the quadratic form [tex]A_{rs}x_{r}x_{s}[/tex] with the [tex]A_{rs}[/tex] all constant, i.e. calculate [tex]A_{rs}x_{r}x_{s,k}[/tex]

Homework Equations


The Attempt at a Solution


1.
[tex] <br /> \nabla . (B[/tex] x [tex]A) = \epsilon_{ijk}A_{j}B_{k,i}[/tex]

Now I don't know what to do next.

2.

[tex] A_{rs}x_{r}x_{s,k} = A_{rs}\partial_{k}(x_{r}x_{s}) = A_{rs}(x_{r}\partial_k x_{s} + x_{s}\partial_k x_{r})[/tex]

I have no idea if this is right or not.

I'm pretty good at proving vector identities (and Cartesian tensor notation in general), but I get lost when partial derivatives/nablas are involved. Any tips would be greatly appreciated!

Homework Statement


Homework Equations


The Attempt at a Solution

 
Physics news on Phys.org
Your notation is unclear and misleading. When you write [itex]\nabla\cdot(B\times A) = \epsilon_{ijk}A_j B_{k,i}[/itex], it looks like you're only differentiating Bk. Also, you got the indices wrong since you have BxA, not AxB. On the other hand, you should have [itex]\nabla\cdot(A \times B)[/itex] on the LHS anyway.

Instead, you should write

[tex]\nabla\cdot(A \times B) = \partial_i (\epsilon_{ijk} A_j B_k) = \epsilon_{ijk} \partial_i (A_j B_k)[/tex]

Use the product rule to differentiate and then convert back to vector notation.In the second problem, use the fact that the x's are independent, so [itex]\partial_i x_j = 0[/itex] if [itex]i \ne j[/itex] and [itex]\partial_i x_j = 1[/itex] if [itex]i = j[/itex], i.e. [itex]\partial_i x_j = \delta_{ij}[/itex].
 
Last edited: