Is there any difference between these 2 terms?

  • Thread starter Thread starter null void
  • Start date Start date
  • Tags Tags
    Difference Terms
null void
Messages
102
Reaction score
1

Homework Statement


Is there any difference between these 2 terms, if yes how are they different?
\begin{align}(\nabla\cdot\nabla\vec A)\vec B &= (\nabla\vec A\cdot\nabla)\vec B\end{align}

Homework Equations


From what i know about dot product, it is commutative, so does this property apply here?
 
Physics news on Phys.org
In the left equation, both operators apply to A, transferring one onto B requires that some additional conditions are met. Think something like integrals by parts.
Check out Green's theorem for a very common application. https://en.wikipedia.org/wiki/Green's_identities.
Commutative dot products work for matrices,
## A \cdot B = B \cdot A ## but not so clearly for operators.
In one dimension, you have something that says ##x''y = x'y'##. There are lots of functions x and y for which this is not true, and only certain functions will satisfy this.
 
There's nothing wrong writing it that way in your case. The thing is you can't threat ##\nabla ## as a normal vector. A lot of those properties are indeed true but you have to use the definition of grad, div and curl to prove it (and in some cases you will get the wrong thing from threating it as a vector i.e. it's a good memory rule but you can't prove anything with it).
So in your case you have to use ##\nabla A = \left( \frac{\partial A}{\partial x} , \frac{\partial A}{\partial y},\frac{\partial A}{\partial z}\right) ## and you get the same result as if you use ##\nabla = \left( \frac{\partial }{\partial x},\frac{\partial }{\partial y},\frac{\partial }{\partial z}\right) ##
 
so for the right side, it is something like this:
<br /> \begin{align}(\nabla\vec A\cdot\nabla)\vec B &amp;= (\frac{dA_x}{dx}\frac{d}{dx}+\frac{dA_y}{dy}\frac{d}{dy}+\frac{dA_z}{dz}\frac{d}{dz})\vec B\\<br /> &amp;= &lt;(\frac{dA_x}{dx}\frac{d}{dx}+\frac{dA_y}{dy}\frac{d}{dy}+\frac{dA_z}{dz}\frac{d}{dz}) B_x,\\(\frac{dA_x}{dx}\frac{d}{dx}+\frac{dA_y}{dy}\frac{d}{dy}+\frac{dA_z}{dz}\frac{d}{dz}) B_y,\\(\frac{dA_x}{dx}\frac{d}{dx}+\frac{dA_y}{dy}\frac{d}{dy}+\frac{dA_z}{dz}\frac{d}{dz}) B_z,&gt;<br /> \end{align}<br />
or it is
<br /> \begin{align}(\nabla\vec A\cdot\nabla)\vec B &amp;= &lt;\frac{dA_x}{dx}\frac{dB_x}{dx},\frac{dA_y}{dy}\frac{dB_y}{dy},\frac{dA_z}{dz}\frac{dB_z}{dz}&gt;<br /> \end{align}<br />
by the way, any idea what kind of operator can be used to align the lines without "=" character?
 
Last edited:
I'm afraid I may be misleading you here, I suspect RUber is more knowledgeable than I am since all I studied myself is vector calculus.
Check out the last part of the article here https://en.wikipedia.org/?title=Del to see when you can treat it as a vector and when you can't. From what I can read there the identity is actually false.
But generally when you prove an identity like this you have to do exactly what you just did (which is correct btw).
 
  • Like
Likes null void
from what i see in the wiki page on "Del", i think the right operation is this one
null void said:
<br /> \begin{align}(\nabla\vec A\cdot\nabla)\vec B &amp;= (\frac{dA_x}{dx}\frac{d}{dx}+\frac{dA_y}{dy}\frac{d}{dy}+\frac{dA_z}{dz}\frac{d}{dz})\vec B\\<br /> &amp;= &lt;(\frac{dA_x}{dx}\frac{d}{dx}+\frac{dA_y}{dy}\frac{d}{dy}+\frac{dA_z}{dz}\frac{d}{dz}) B_x,\\(\frac{dA_x}{dx}\frac{d}{dx}+\frac{dA_y}{dy}\frac{d}{dy}+\frac{dA_z}{dz}\frac{d}{dz}) B_y,\\(\frac{dA_x}{dx}\frac{d}{dx}+\frac{dA_y}{dy}\frac{d}{dy}+\frac{dA_z}{dz}\frac{d}{dz}) B_z,&gt;<br /> \end{align}<br />
 
On the reference that Incand posted above, it clearly showed that you can't just swap out which vector the del is applied to using standard rules for commutativity.
"A counterexample that relies on del's failure to commute:

32c2a3ac467633efbe3496a8cabca0c6.png

a771c99a919754e0f67e114d73978310.png
"
In your original post you have ##(\Delta A)B = ##something else. What is your goal with this problem? Do you clearly need to spell out the right hand side, or is it enough to show that the differential ##\nabla## doesn't commute like a vector?
 
Back to the 1D example, you have a relationship like
##\frac{\partial ^2 A}{\partial x^2} B = \frac{\partial A}{\partial x} \frac{\partial A}{\partial B}##
This works fine for a counterexample in 3D too, just let ##A = (A_x(x),0,0), B = (B_x(x),0,0)##
If they are the same, then their integrals would be the same, right?
##\int_\mathbb{R} \frac{\partial ^2 A}{\partial x^2} B dx= \int_\mathbb{R} \frac{\partial A}{\partial x} \frac{\partial B}{\partial x} dx##
Integrating by parts:
##\left. \frac{\partial A}{\partial x} B\right|_{-\infty}^\infty - \int_\mathbb{R} \frac{\partial A}{\partial x} \frac{\partial B}{\partial x} dx = \int_\mathbb{R} \frac{\partial A}{\partial x} \frac{\partial B}{\partial x} dx##
Even if we assume that these vectors are zero at infinity, you still have
##- \int_\mathbb{R} \frac{\partial A}{\partial x} \frac{\partial B}{\partial x} dx = \int_\mathbb{R} \frac{\partial A}{\partial x} \frac{\partial B}{\partial x} dx##
Which looks like -a = a, implying that the whole integral must be zero for this to hold true...
In short, No. They are not the same.
 
  • Like
Likes Incand
Sorry, I just notice there are some naming convention problem in my equations, A is a scalar, bacause \nabla can't multiply with a scalar
(\nabla A \cdot\nabla)\vec B

Now I know that the del is not commutative, but I want to conform if this is the right way to evaluate that expression, i have typed it out before, but there is some mistake in the equation.
\begin{align}<br /> \text{let A be a function of x,y,z} \\ \text{let} \vec B &amp;= &lt;{B_1, B_2, B_3}&gt;, \text{elements in vectors B are also a function of x,y,z} \\<br /> (\nabla A \cdot\nabla)\vec B &amp;= (\frac{\partial A}{\partial x}\frac{\partial }{\partial x}+\frac{\partial A}{\partial y}\frac{\partial }{\partial y}+\frac{\partial A}{\partial z}\frac{\partial }{\partial z})\vec B \\ &amp;= &lt;{(\frac{\partial A}{\partial x}\frac{\partial B_1}{\partial x}+\frac{\partial A}{\partial y}\frac{\partial B_1}{\partial y}+\frac{\partial A}{\partial z}\frac{\partial B_1}{\partial z})},\\ {(\frac{\partial A}{\partial x}\frac{\partial B_2}{\partial x}+\frac{\partial A}{\partial y}\frac{\partial B_2}{\partial y}+\frac{\partial A}{\partial z}\frac{\partial B_2}{\partial z})}, \\{(\frac{\partial A}{\partial x}\frac{\partial B_3}{\partial x}+\frac{\partial A}{\partial y}\frac{\partial B_3}{\partial y}+\frac{\partial A}{\partial z}\frac{\partial B_3}{\partial z})}&gt;\end{align}<br />
 
Last edited:
  • #10
That seems right.
 
  • Like
Likes null void
  • #11
I think I get the things I want here, thank a bunch guys.
 
Back
Top