Is there any difference between these 2 terms?

  • Thread starter Thread starter null void
  • Start date Start date
  • Tags Tags
    Difference Terms
Click For Summary
SUMMARY

The discussion clarifies the differences between two mathematical expressions involving the gradient operator (∇) and their implications in vector calculus. It establishes that the commutative property of the dot product does not apply to operators like ∇, as demonstrated through various examples and counterexamples. The participants emphasize the importance of understanding the definitions of gradient, divergence, and curl to avoid misconceptions. Ultimately, the conclusion is that the expressions are not equivalent, and proper evaluation requires adherence to the rules governing vector calculus.

PREREQUISITES
  • Understanding of vector calculus concepts such as gradient, divergence, and curl.
  • Familiarity with the properties of dot products in linear algebra.
  • Knowledge of Green's theorem and its applications in vector calculus.
  • Ability to manipulate and evaluate differential operators in mathematical expressions.
NEXT STEPS
  • Study the implications of Green's theorem in vector calculus.
  • Learn about the properties and applications of the gradient operator (∇).
  • Explore counterexamples that illustrate the non-commutativity of differential operators.
  • Review the definitions and applications of divergence and curl in three-dimensional space.
USEFUL FOR

Students and professionals in mathematics, physics, and engineering who require a deeper understanding of vector calculus and the behavior of differential operators in mathematical expressions.

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   Reactions: 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   Reactions: 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   Reactions: null void
  • #11
I think I get the things I want here, thank a bunch guys.
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 13 ·
Replies
13
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 10 ·
Replies
10
Views
649