I have a cumbersome problem with Vector calculus

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
5 replies · 2K views
fdbjruitoirew
Messages
13
Reaction score
0
I am unfamiliar with Vector calculus, a tool for learning Physics
I select a homework I did not solve yet, then hope a help from you guys, in attachment pdf file

My attempt: I tried to use BAC-CAB rule, but the key hardness of mine is I still do not know the concepts clearly (as you know a physics-majored student could not have a lot of time to study Math)

Thank you in advance
 

Attachments

Physics news on Phys.org
I always found the calculus using the nabla symbol a bit cumbersome and "unsafe". For such calculations I prefer the Ricci-index formalism. For the curl of a vector field you write in components
[tex](\vec{\nabla} \times \vec{V})_j=\epsilon_{jkl} \partial_k V_l,[/tex]
where [itex]\epsilon_{ijk}[/itex] is the fully antisymmetric 3rd-rank tensor with [itex]\epsilon_{123}=1[/itex], also known as the Levi-Civita symbol.

In the index calculus the bac-cab rule is reflected in the following identity for the Levi-Civita symbol,
[tex]\epsilon_{ijk} \epsilon_{ilm}=\delta_{jl} \delta_{km} - \delta_{jm} \delta_{kl},[/tex]
where we used the Einstein summation convention, i.e., one always has to sum over repeated indices. Further
[tex]\delta_{ij}=\begin{cases}<br /> 1 & \text{if} \quad i=j,\\0& \text{if} \quad i \neq j.<br /> \end{cases}[/tex]

I don't know, what's to "calculate" much with your first expression, but in index calculus it's simply
[tex][(\vec{a} \cdot \vec{\nabla}) \vec{b}]_j=a_i \partial_i b_j.[/tex]
Here, [itex]\partial_i=\frac{\partial}{\partial x_i}[/itex].

The second term on your problem list is
[tex][(\vec{a} \times \vec{\nabla}) \times \vec{b}]_j=\epsilon_{klm} a_l \partial_m \epsilon_{jkn} b_n=-\epsilon_{klm} \epsilon_{kjn} a_l \partial_m b_n = -(\delta_{lj} \delta_{mn} - \delta_{ln} \delta_{mj}) a_l \partial_m b_n.[/tex]
Now you only have to evaluate this a bit further and translate back into the nabla-operator notation.
 
  • Like
Likes   Reactions: 1 person
Thanks
I still prefer a direct method than using quite complicated calculation, then find out a meaning behind an expression. Maybe later I would do it smoothly but now I am just newbie with Vector calculus.
 
fdbjruitoirew said:
I am unfamiliar with Vector calculus, a tool for learning Physics
I select a homework I did not solve yet, then hope a help from you guys, in attachment pdf file

My attempt: I tried to use BAC-CAB rule, but the key hardness of mine is I still do not know the concepts clearly (as you know a physics-majored student could not have a lot of time to study Math)
What do you mean a physics major doesn't have a lot of time to study math? Mathematical techniques are a big part of what you're supposed to be learning!

vanhees71's suggestion is actually the most straightforward and least complicated way to do those calculations. It's definitely worth spending a little effort to learn how to use index notation and the Levi-Civita symbol.

Nevertheless, you can definitely do the problem by writing it all out, component by component. Show us what you've done. Don't just describe what you did in general terms. That's pretty useless. Show us your actual work so we can see where you're getting stuck.
 
vanhees71 said:
I always found the calculus using the nabla symbol a bit cumbersome and "unsafe". For such calculations I prefer the Ricci-index formalism. For the curl of a vector field you write in components
[tex](\vec{\nabla} \times \vec{V})_j=\epsilon_{jkl} \partial_k V_l,[/tex]
where [itex]\epsilon_{ijk}[/itex] is the fully antisymmetric 3rd-rank tensor with [itex]\epsilon_{123}=1[/itex], also known as the Levi-Civita symbol.

In the index calculus the bac-cab rule is reflected in the following identity for the Levi-Civita symbol,
[tex]\epsilon_{ijk} \epsilon_{ilm}=\delta_{jl} \delta_{km} - \delta_{jm} \delta_{kl},[/tex]
where we used the Einstein summation convention, i.e., one always has to sum over repeated indices. Further
[tex]\delta_{ij}=\begin{cases}<br /> 1 & \text{if} \quad i=j,\\0& \text{if} \quad i \neq j.<br /> \end{cases}[/tex]

I don't know, what's to "calculate" much with your first expression, but in index calculus it's simply
[tex][(\vec{a} \cdot \vec{\nabla}) \vec{b}]_j=a_i \partial_i b_j.[/tex]
Here, [itex]\partial_i=\frac{\partial}{\partial x_i}[/itex].

The second term on your problem list is
[tex][(\vec{a} \times \vec{\nabla}) \times \vec{b}]_j=\epsilon_{klm} a_l \partial_m \epsilon_{jkn} b_n=-\epsilon_{klm} \epsilon_{kjn} a_l \partial_m b_n = -(\delta_{lj} \delta_{mn} - \delta_{ln} \delta_{mj}) a_l \partial_m b_n.[/tex]
Now you only have to evaluate this a bit further and translate back into the nabla-operator notation.

Hi. I'll be curious. I've started a course on continuum mechanics, and we are using this notation for tensor calculus. Can you give a demonstration for these formulas you've posted? or tell me where to find'em?

Thanks.
 
The formula is pretty easy to justify. Take the first term in the sum, i.e.,
[tex]\epsilon_{1jk} \epsilon_{1lm}.[/tex]
Obviously this can only be different from 0 if [itex]j,k \in \{2,3\}[/itex] and at the same time [itex]l,m \in \{2,3 \}[/itex]. Thus you either have
[tex]j=l \quad \text{and} \quad k=m[/tex]
or
[tex]j=m \quad \text{and} \quad k=l.[/tex]
In the first case the two [itex]epsilon[/itex] symbols are both [itex]+1[/itex] or both [itex]-1[/itex], and their product thus always [itex]1[/itex]. This gives you
[tex]\delta_{jl} \delta_{km}[/tex]
In the other case you get
[tex]-\delta_{jm} \delta_{kl}.[/tex]
This same argument works of course for the other two values of the summation index [itex]i=2[/itex] and [itex]i=3[/itex], and this proves the formulat.
 
  • Like
Likes   Reactions: 1 person