Integrating Vector Derivatives

[kingwinner]

Q: Given that G(x,y,z)=(6xz+x³, 3x²y+y², 4x+2yz-3z²). Find F such that curl F = G.

Solution:
...
A particular solution is
Fo=(-3x²yz-y²z, 2x²-3xz³-x³z)

And then my textbook says that the general solution is F=Fo + grad f where f is an arbitrary C¹ function.
===============================

Now my questions:

If f is C¹ function, why must F=Fo+gradf be a solution to curl F=G?
I believe that curl(grad f)=0 for f a C² (not C¹) function. Why does C¹ work as well?

Secondly, why can we be sure that F=Fo+gradf is the general solution to curl F=G? (i.e. why is every solution contained in it?)


I would really appreciate if someone could explain.

 

[kingwinner]

Just to give some background, here we're trying to find the "vector potential function"

Can somebody help?

 

[quantumdude]

If f is C¹ function, why must F=Fo+gradf be a solution to curl F=G?
I believe that curl(grad f)=0 for f a C² (not C¹) function. Why does C¹ work as well?

I think you've actually found an error here. You do in fact need the second partials to be continuous, as that's the only way you are guaranteed to be able to switch the order of second mixed partials. Check it out with your prof to make sure we're not missing something subtle here.

Secondly, why can we be sure that F=Fo+gradf is the general solution to curl F=G? (i.e. why is every solution contained in it?)

It's because you haven't specified the f. It's just like saying that the general antiderivative of x is \frac{1}{2}x^2+C. Since you haven't committed to a particular C, the family of functions is still as general as possible.

 

[kingwinner]

I think you've actually found an error here. You do in fact need the second partials to be continuous, as that's the only way you are guaranteed to be able to switch the order of second mixed partials. Check it out with your prof to make sure we're not missing something subtle here.

Yes, I think it has to be C².
But it is written in my textbook as C¹, it must be a typo or something...

Just one more question:
We can add an arbitrary function f of class C², is it because that
curl(Fo+gradf) = curl(Fo) + curl(gradf) = curl(Fo) + 0 = curl(Fo) ?
I am not too sure about the first equal sign. In general, is it true that curl(H1+H2) = curl(H1) + curl(H2)

It's because you haven't specified the f. It's just like saying that the general antiderivative of x is \frac{1}{2}x^2+C. Since you haven't committed to a particular C, the family of functions is still as general as possible.

For f a C² function,
I can see that every vector field of the form F=Fo+gradf is a solution to curl F=G.
But is every solution to curl F=G of the form F=Fo+gradf? Can there exist a solution not of this form? How do you know?


Thanks!

 

[quantumdude]

Just one more question:
We can add an arbitrary function f of class C², is it because that
curl(Fo+gradf) = curl(Fo) + curl(gradf) = curl(Fo) + 0 = curl(Fo) ?
I am not too sure about the first equal sign. In general, is it true that curl(H1+H2) = curl(H1) + curl(H2)

Yes, certainly. The curl is just a formal linear combination of partial derivatives (with unit vector coefficients). Since differentiation is itself linear, the whole shebang is linear.

For f a C² function,
I can see that every vector field of the form F=Fo+gradf is a solution to curl F=G.
But is every solution to curl F=G of the form F=Fo+gradf? Can there exist a solution not of this form? How do you know?

There's a basic theorem from vector calculus (can't recall the name) that states that the curl of a vector field \vec{F} vanishes if and only if \vec{F}=\nabla{f} for some scalar function f.