Operation that will undo a curl operation?

  • Thread starter Brad_Ad23
  • Start date
  • Tags
    Curl
In summary, the conversation discusses the existence of an operation that can undo a curl operation. It is pointed out that curl is not bijective and this could be a problem for finding an undoing operation. However, it is also mentioned that nonuniqueness of anticurl is not an issue and a general solution can be found by adding an arbitrary irrotational field. The conversation also touches upon the interpretation of the word "undo" and the possibility of using Helmholtz's theorem to find a unique vector field with a given curl and divergence.
  • #1
Brad_Ad23
502
1
Does anyone know if there is an operation that will undo a curl operation?
 
Mathematics news on Phys.org
  • #2
No, curl isn't bijective.
 
  • #3
That isn't good news. Hmm, if it isn't bijective, what is it? I'm going to figure this would have to do with the fact that the matrix operator for curl is a singular matrix?
 
  • #4
Why ought it to be bijective? A simple explanation from a decent differential geometer would be handy right now, but I'm not one of those.

It is not bijective as there are plenty of things with curl equal to zero (irrotational fields)

As the matrix operator is not a linear map on R^3, and is just a matrix of partial derivatives, I'm not sure how you'd even begin to define singularity.
 
  • #7
The other problem is that the curl of a vector field is always divergence free, so unless your field is divergence free, you cannot find an anticurl.


Nonuniqueness of anticurl isn't a problem; just like with ordinary antiderivatives you return a class of solutions. In this case, you'd have a base solution plus an arbitrary irrotational field. Sure, it's a lot messier than just adding an arbitrary constant, but it can be done.


Anyways, there are almost certainly better ways to do it, but you can find an anti curl just by looking at the partial differential equations. The procedure is pretty much in the same spirit as when you're looking for the antigradient of an exact vector field.

(NOTE: I'm assuming that everything involved is well-behaved)

Suppose that you're given this vector field:

[tex]F = <0, y e^z - z \cos (xz), 2x - e^z>[/tex]

(exercise: show that this is divergence free)

You want to find [itex]A = <f, g, h>[/itex] such that [itex]\nabla \times A = F[/itex].

First, note that [itex]f[/itex] can be anything, because our answer is only unique up to adding an arbitrary irrotational field. I'm going to hunt for the most generic answer, but if you only need one answer, you could simplify life by setting [itex]f = 0[/itex].

From the definition of curl, we have:

[tex]
\begin{equation*}\begin{split}
h_y - g_z &= 0 \\
f_z - h_x &= y e^z - z \cos (xz) \\
g_x - f_y &= 2x - e^z
\end{split}\end{equation*}
[/tex]

So now solve.

[tex]
\begin{equation*}\begin{split}
g_x &= f_y + 2x - e^z \\
g &= x^2 - x e^z + \int f_y \, dx \\
h_x &= f_z - y e^z + z \cos (xz) \\
h &= \sin (xz) - y e^z + \int f_z \, dx
\end{split}\end{equation*}
[/tex]

Now, remember that the "constants" of integration here are arbitrary functions of both y and z. You now use the third equation, [itex]h_y - g_z &= 0[/itex] to fix what those "constants" may be.

One particular solution is [itex]A = <0, x^2 - x e^z, \sin (xz) - x y e^z>[/itex], so the general solution can be found by adding an arbitrary irrotational field to this.


(incidentally, the solution I used to generate the initial vector field was [itex]A = <y e^z, x^2, \sin (xz)>[/itex])
 
Last edited:
  • #8
Strictly speaking it is just the non-injectivity that matters: undo is a vague term. For a strict inverse one would require bijectivity, however the word undo could be interpreted to mean F undoes G if

FG(x) =x,

without requiring F to be defined on the whole of the set in which G maps to, merely defined on the image of G.

Anyway, curl(f) =0 for all constant fields (and a whole lot more besides) so even that relaxation won't do.

edit, this was written as Hurkyl's post appeared. the phrase 'so it's only injectivity that counts' is not a contradiction of his post, merely my presonal opinion about interpreting the word 'undo', which means inverse in my mind.
 
Last edited:
  • #9
Hmm, very intriguing. In the case I am looking at, the vector field is indeed divergence free. And I think in this case the irrotational fields will probably wind up canceling out, or not having much of a contribution at any rate, but that does indeed help a bit.

My next question is, suppose you had a vector equation of the form

[tex]u_t = curlu[/tex]. If I were to find the general solution to the case where [tex]\nabla \times A = u[/tex], would then the property of [tex]u_t \times A = u[/tex] hold?

Note: the vector [tex]u[/tex] is such that each component of [tex]u[/tex] is defined by the form [tex]u_1(x,y,z,t)[/tex] and so on for [tex]u_2[/tex] and [tex]u_3[/tex].
 
  • #10
FYI, the (generally very large) field

[tex]
F = <e^{x+y+z}, e^{x+y+z}, e^{x+y+z}>
[/tex]

is irrotational, as is the field

[tex]
F = <10^{10^{10}}, 10^{10^{10}}, -10^{10^{10}} >
[/tex]

You can't assume if you get one solution that it will be close to the desired solution.
 
  • #11
ignore the t thing

you want to know what

[tex](\nabla\wedge u) \wedge A[/tex] is when

[tex]\nabla\wedge A = u[/tex]

how are you with summation convention?

[tex](\nabla\wedge u) \wedge A)_r = \epsilon_{riq}\epsilon_{ijk}\partial_ju_kA_q = (\delta_{qj}\delta_{rk}-\delta_{qk}\delta_{rj})\partial_ju_kA_q[/tex]

which simplifes to

[tex]\partial_qu_rA_q - \partial_ru_qA_q[/tex]

so you want to know what

[tex]u(\nabla.A) - \nabla(u.A)[/tex]

is if it is also true that [tex] \nabla \wedge A = u [/tex]
 
Last edited:
  • #12
Ok, it's coming back to me now.

[tex]u.A = (\nabla\wedge A).A=0[/tex] cos its the product of symmetric and anti symmetric things,

hence we only have to examine [tex]\nabla . A[/tex] I see no reason why this should be 1.
 
  • #13
My next question is, suppose you had a vector equation of the form...

Have you tried any examples?
 
  • #14
Touche'. I'll try working on it some more now that classes are done for the day.
 
  • #15
One thing of interest might be Helmholtz's theorem:

If the divergence and the rotation of a vector field, which varies asymptotically as at least r^(-2) and is sufficiently smooth, is given, then there exists a unique vector field (barring an additive constant) with that particular curl and divergence.

You can actually write it down, but I'm I don't have time to type it up in TeX right now. Watch this space!
 
  • #16
Last edited:
  • #17
Originally posted by Hurkyl
Don't forget that it requires pesky things like vanishing at infinity.

That's what I meant with the correct asymptotic behaviour. And a really important pesky thing it is, if you can write down a gazzilion forms for a constant B-field that doens't vanish at infinity.
 

1. How does the "Operation that will undo a curl operation" work?

The "Operation that will undo a curl operation" essentially reverses the curling process by breaking down the bonds in the hair that were created during the initial curling. This allows the hair to return to its natural state.

2. Can the "Operation that will undo a curl operation" be used on all types of hair?

Yes, the "Operation that will undo a curl operation" can be used on all types of hair. However, the effectiveness may vary depending on the type and condition of the hair.

3. Is the "Operation that will undo a curl operation" damaging to the hair?

The "Operation that will undo a curl operation" uses gentle chemicals to break down the bonds in the hair, so it is not considered damaging. However, as with any chemical process, it is important to follow the instructions carefully and not leave the product on for longer than recommended.

4. How long does the "Operation that will undo a curl operation" last?

The results of the "Operation that will undo a curl operation" can last for several weeks to a few months, depending on the hair's natural texture and how well it is maintained after the process. Consistent use of heat styling tools and products can also affect the longevity of the results.

5. Can the "Operation that will undo a curl operation" be done at home or should it be done by a professional?

The "Operation that will undo a curl operation" can be done at home with the proper products and instructions. However, for best results and to minimize the risk of damage, it is recommended to have the procedure done by a professional stylist. They have the expertise and experience to properly assess and treat your hair.

Similar threads

Replies
2
Views
1K
  • Calculus and Beyond Homework Help
Replies
6
Views
764
Replies
18
Views
1K
Replies
16
Views
1K
Replies
4
Views
1K
  • MATLAB, Maple, Mathematica, LaTeX
Replies
2
Views
684
Replies
9
Views
1K
  • General Math
Replies
1
Views
1K
Back
Top