Solving Vector Field with Poincare's Lemma

Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
10 replies · 3K views
Ted123
Messages
428
Reaction score
0

Homework Statement



[PLAIN]http://img130.imageshack.us/img130/8540/vecx.jpg

The Attempt at a Solution



I've done (i).

First of all Poincare's Lemma says that if the domain [itex]U[/itex] of [itex]{\bf F}[/itex] is simply connected then:

[itex]{\bf F}[/itex] is irrotational [itex]\iff {\bf F}[/itex] is conservative.

So for (ii)(a), does [itex]V[/itex] being simply connected (is it or not?) mean Poincare's Lemma implies there is a potential function for [itex]\bf F[/itex] (since it would mean [itex]\bf F[/itex] is conservative and hence is a gradient)
DESPITE [itex]U[/itex] not being simply connected - it has a hole in the middle at (0,0)?
 
Last edited by a moderator:
Physics news on Phys.org
Yes. [tex]V[/tex] is, in fact, simply connected, and the restriction of [tex]\nabla\times\mathbf{F}[/tex] to [tex]V[/tex] is still zero. (The simplest way to prove that [tex]V[/tex] is simply connected is to see that it's star-shaped with respect to any point on the positive [tex]x[/tex]-axis.)
 
ystael said:
Yes. [tex]V[/tex] is, in fact, simply connected, and the restriction of [tex]\nabla\times\mathbf{F}[/tex] to [tex]V[/tex] is still zero. (The simplest way to prove that [tex]V[/tex] is simply connected is to see that it's star-shaped with respect to any point on the positive [tex]x[/tex]-axis.)

So for (ii)(b), how do I find [itex]\phi[/itex] in [itex]S_1[/itex] ?

Presumably then I can solve the simultaneous equations [itex]x=r\cos\,\phi[/itex] and [itex]y=r\sin\,\phi[/itex] in terms of [itex]x[/itex] and [itex]y[/itex] (e.g. using [itex]\tan^{-1}[/itex]) and then verify by explicit differentiation that [itex]\nabla \phi (x,y) = \mathbf{F} (x,y)[/itex] . And then do [itex]S_2[/itex] and [itex]S_3[/itex] in a similar way.
 
[tex](r, \phi)[/tex] are just polar coordinates with a particular choice of range for the angular coordinate; what does that tell you the angular coordinate should be on the positive [tex]x[/tex]-axis?
 
ystael said:
[tex](r, \phi)[/tex] are just polar coordinates with a particular choice of range for the angular coordinate; what does that tell you the angular coordinate should be on the positive [tex]x[/tex]-axis?

Well for [itex]S_1[/itex] the angle would be 0 but what is the range of [itex]r[/itex], is it [itex]\pi[/itex] ?

For [itex]S_2[/itex] the angle is [itex]\frac{\pi}{2}[/itex] but again what is [itex]r[/itex], again is it [itex]\pi[/itex] ?

For [itex]S_3[/itex] the angle is [itex]\frac{3\pi}{2}[/itex], is [itex]r, -\pi[/itex] ?

So are the angular coordinates of [itex]S_1, S_2,S_3, (\pi, 0), (\pi, \pi/2), (-\pi,3\pi/2)[/itex] respectively?
 
Ted123 said:
Well for [itex]S_1[/itex] the angle would be 0 but what is the range of [itex]r[/itex], is it [itex]\pi[/itex] ?

For [itex]S_2[/itex] the angle is [itex]\frac{\pi}{2}[/itex] but again what is [itex]r[/itex], again is it [itex]\pi[/itex] ?

For [itex]S_3[/itex] the angle is [itex]\frac{3\pi}{2}[/itex], is [itex]r, -\pi[/itex] ?

So are the angular coordinates of [itex]S_1, S_2,S_3, (\pi, 0), (\pi, \pi/2), (-\pi,3\pi/2)[/itex] respectively?

[itex]\frac{y}{x} = \tan(\phi)[/itex]

so [itex]\phi (x,y) = \tan^{-1} \left(\frac{y}{x}\right)[/itex]

and [itex]\nabla \phi(x,y) = \mathbf{F}[/itex]

But how do I find [itex]\phi[/itex] in [itex]S_2[/itex] and [itex]S_3[/itex]? [itex]x[/itex] can be 0 in both of these.
 
Sounds like you need to go back to a trigonometry text and review how polar coordinates work. [tex]r[/tex] is not an angular coordinate; it's a distance (from the origin). And if [tex]x = 0[/tex], then you already know what the value of [tex]\phi[/tex] should be, depending on whether [tex]y > 0[/tex] or [tex]y < 0[/tex].
 
ystael said:
Sounds like you need to go back to a trigonometry text and review how polar coordinates work. [tex]r[/tex] is not an angular coordinate; it's a distance (from the origin). And if [tex]x = 0[/tex], then you already know what the value of [tex]\phi[/tex] should be, depending on whether [tex]y > 0[/tex] or [tex]y < 0[/tex].

I know r is a distance but I thought seen as [itex]\phi\in(-\pi, \pi)[/itex] that that distance would be those values.
 
Ted123 said:
I know r is a distance but I thought seen as [itex]\phi\in(-\pi, \pi)[/itex] that that distance would be those values.

Can anyone see how I do the last part of (ii)(c)? Why can't [itex]\phi[/itex] be extended to x<0 ?
 
Let [tex]\varepsilon[/tex] be small. What is [tex]\phi[/tex] close to at [tex](-1, \varepsilon)[/tex]? What is [tex]\phi[/tex] close to at [tex](-1, -\varepsilon)[/tex]? How does this make it difficult to find a value for [tex]\phi[/tex] at [tex](-1, 0)[/tex]?
 
Ted123 said:
I know r is a distance but I thought seen as [itex]\phi\in(-\pi, \pi)[/itex] that that distance would be those values.

[itex]\displaystyle \oint = 0 \neq 2\pi[/itex]
 
Last edited: