Commutation of Curl and the partial time derivative?

[ksmith1281]

I am curious if there are any issue with commuting the curl of a vector with the partial time derivative?

For example if we take Faraday's law:

Curl(E)-dB/dt=0

And I take the curl of both sides:

Curl(Curl(E))-Curl(dB/dt)=0

Is

Curl(dB/dt)=d/dt(Curl(B))

I assume this is only true for a certain condition but I can't think of anything?

If you have some insight please let me know

 

[ZapperZ]

If I have a function of two variables, say f(x,y), does it matter if I take the derivative with respect to one variable first over the other?

The curl is a derivative with respect to the spatial variable, while the time derivative is with respect to... well, what else, but time! If you can answer the first question, you have your answer here.

Zz.

 

[ksmith1281]

Thanks!

I agree with you comparison. The funny thing about physics is it can be approached from a physics or math approach. I guess to refine my question: Does the ability to commute derivatives have any implication on the physics. I trust you can commute (I have already assumed and done so in my calculations) however I am wondering if there is an assumption implicit in "allowing" commutation between these two derivative.

Perhaps this is more of a math questions than anything else.

 

[aesir]

Thanks!

I agree with you comparison. The funny thing about physics is it can be approached from a physics or math approach. I guess to refine my question: Does the ability to commute derivatives have any implication on the physics. I trust you can commute (I have already assumed and done so in my calculations) however I am wondering if there is an assumption implicit in "allowing" commutation between these two derivative.

Perhaps this is more of a math questions than anything else.

If you search for "Symmetry of second derivatives" in wikepedia you will find the intro to the mathematical answer.
In physics you usually look for functions which are either [itex]C^2[/itex] or a tempered distributions

 

[Trifis]

Hmmm this makes me wonder... if curl and time derivative are commutable, then why the curl of the derivative of a position vector DOES NOT vanish? Symbolically:
[itex]\nabla[/itex][itex]\times[/itex][itex]\vec{r}[/itex](x,y,z)=0 but [itex]\nabla[/itex][itex]\times[/itex][itex]\frac{d[itex]\vec{r}[/itex](x,y,z)}{dt}[/itex][itex]\neq[/itex]0
In the second case the time-dependency of the position vector is exposed and we can no longer assert that it is only position dependent. However given the [itex]\vec{r}[/itex] without further analysis, is it safe to say that it is a conservative field, since it is also a central field.
That is why function domains are a huge benefit not only to mathematics...

 

[Trifis]

All in all curl and time derivative DO NOT commute...

 

[Muphrid]

If ##r=r(t)## and ##v = dr/dt##, then how exactly would you compute ##\nabla \times v##?

 

[Trifis]

You can't. That's why they could not commute in the first place (answer to the OP) and that's why there is no time-dependent conservative field!

 

[Muphrid]

No, I pointing out to you that you've conflated a couple things and put them together in a way that makes no sense, drawing an erroneous conclusion as a result.

Furthermore, let's say I extrapolate from what you're saying to talk about continuous vector fields. You state without proof that the curl of the velocity is nonzero. Can you give an example of a time-dependent field that would obey this relation?

 

[Trifis]

If you are reffering to post 5, then it is just a physical intuition, due to the fact that energy conservation arises from time invariance. I do not think that curl is definable in this case. If it is the [itex]\neq[/itex] relation that bothers you, let us say it was my not-so-rigorously-mathematic way, to make my point clear...

 

[mfb]

In the left equation, you use r as position in space? The position is not time-dependent, so both equations are 0. If r is some arbitrary vector field, the curl can be non-zero.

 

[Trifis]

Ok let's make this clear...
[itex]\vec{r} (x,y,z): ℝ^{3}\rightarrowℝ^{3}[/itex], [itex]φ(t): [α,β]\rightarrowℝ^{3}[/itex]
[itex]\frac{d\vec{r}}{dt}[/itex] implies [itex]\frac{d\vec{r}(φ(t))}{dt}[/itex]

Exactly that confusion, I wanted to avoid, by saying that curl and time derivative do not always commute, for if we are not given the domains some things could not make sense/be defined. Maybe I haven't expressed myself correctly so far

 

[mfb]

Ok let's make this clear...
[itex]\vec{r} (x,y,z): ℝ^{3}\rightarrowℝ^{3}[/itex], [itex]φ(t): [α,β]\rightarrowℝ^{3}[/itex]
[itex]\frac{d\vec{r}}{dt}[/itex] implies [itex]\frac{d\vec{r}(φ(t))}{dt}[/itex]

What do you mean by "implies"? If r is not a function of t, the time-derivative is meaningless.

For any [itex]\vec{r} (x,y,z,t): ℝ^{4}\rightarrowℝ^{3}[/itex] with reasonable properties ([itex]C^2[/itex]):

##\nabla \times \frac{d\vec{r}}{dt} = \frac{d}{dt} (\nabla \times \vec{r})##

 

[Trifis]

My whole point was to draw attention to the fact that it is preferable to state explicitly the function domains, cause I've seen misconceptions like the following many a time in the past:
"Determine if the following force is conservative or not: [itex]\vec{F}=-k\vec{r}+α\dot{\vec{r}}[/itex]", where students commuted the curl operation with the time derivative and concluded that F is conservative...
Of course from ℝ⁴ to ℝ³, what you wrote does hold.

*Implies means that if we are to write the derivative of a field, that field'd better be time dependent.