Solving Vector Field with Poincare's Lemma

Click For Summary

Homework Help Overview

The discussion revolves around applying Poincare's Lemma to a vector field problem, specifically examining the conditions under which a potential function exists. The original poster questions the implications of the domain's connectivity and the characteristics of the vector field.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants explore the implications of the domain being simply connected and whether this allows for a potential function for the vector field despite the original domain having a hole. There are attempts to clarify the use of polar coordinates and the relationship between angular coordinates and the distance from the origin.

Discussion Status

Some participants confirm the simply connected nature of the domain and discuss the implications for the vector field. There is ongoing exploration of how to express the potential function in different coordinate systems, with some guidance provided regarding the interpretation of polar coordinates.

Contextual Notes

Participants are grappling with the definitions and properties of polar coordinates, particularly in relation to the vector field's behavior at specific points, including the challenges posed by the discontinuity when x is negative.

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 ?
 
  • #10
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]?
 
  • #11
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:

Similar threads

  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 22 ·
Replies
22
Views
6K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
6K
  • · Replies 4 ·
Replies
4
Views
3K