Solving Vector Field with Poincare's Lemma

In summary: And \varepsilon is what?And \varepsilon is what?I'm not sure what you're asking. Can you please clarify?
  • #1
Ted123
446
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
  • #2
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.)
 
  • #3
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.
 
  • #4
[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?
 
  • #5
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?
 
  • #6
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.
 
  • #7
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].
 
  • #8
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.
 
  • #9
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:

FAQ: Solving Vector Field with Poincare's Lemma

What is a vector field?

A vector field is a mathematical concept that describes a set of vectors associated with each point in a given space. It is used to represent physical quantities such as velocity, force, and electric or magnetic fields.

What is Poincare's Lemma?

Poincare's Lemma is a theorem in vector calculus that states that if a vector field is continuously differentiable in a region, then it is the gradient of a scalar field in that region. This means that the vector field can be expressed as the rate of change of a single scalar quantity.

How is Poincare's Lemma used to solve vector fields?

Poincare's Lemma is used to simplify the calculation of vector fields by reducing them to scalar fields. This makes it easier to analyze and manipulate the vector field, and can provide useful insights into the behavior of the field.

What is the significance of solving vector fields with Poincare's Lemma?

Solving vector fields with Poincare's Lemma allows for a more efficient and intuitive approach to understanding and analyzing vector fields. It also has practical applications in physics, engineering, and other fields where vector fields are commonly used.

Are there any limitations to using Poincare's Lemma to solve vector fields?

While Poincare's Lemma is a powerful tool, it does have limitations. It only applies to continuously differentiable vector fields, and it may not provide a complete solution for more complex vector fields. Additionally, Poincare's Lemma assumes a certain level of smoothness in the vector field, which may not always be the case in real-world situations.

Similar threads

Replies
20
Views
3K
Replies
2
Views
1K
Replies
1
Views
968
Replies
1
Views
2K
Replies
4
Views
2K
Back
Top