Differential Form Homework on Unit Sphere in R3: Exactness?

Click For Summary

Homework Help Overview

The discussion revolves around the differential form w = xdydz in R^3 and its restriction to the unit sphere S^2. Participants are exploring whether this form is exact when considered on the surface of the sphere.

Discussion Character

  • Exploratory, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • Some participants attempt to analyze the conditions under which w could be exact by considering the definition of the exterior derivative and the implications of working on a unit sphere.
  • Others suggest using spherical coordinates to facilitate the analysis and question the existence of certain smooth functions that would demonstrate the exactness or lack thereof.
  • There are references to theorems regarding closed forms and the implications for exactness, with participants questioning how these relate to the topology of S^2.

Discussion Status

The discussion is active, with various approaches being considered, including the use of stereographic projection and the examination of closed forms. Participants are questioning assumptions and exploring different mathematical tools to analyze the problem, but no consensus has been reached regarding the exactness of w on S^2.

Contextual Notes

Participants note that S^2 is not contractible, which affects the application of certain theorems, and there is a recognition of the need to work within the constraints of the problem's geometric context.

daishin
Messages
27
Reaction score
0

Homework Statement


Let w be the form w= xdydz in R^3. Let S^2 be the unit sphere in R^3.
If we restrict w on S^2, is w exact?


Homework Equations





The Attempt at a Solution


My guess is w is not exact on S^2.
Suppose w is exact on S^2. Then w=da for some 1-form a=fdx+gdy+hdz.
Then by definition of exterior derivative, we get
w=(-df/dy+dg/dx)(dx^dy)+(-df/dz+dh/dx)(dx^dz)+(-dg/dz+dh/dy)(dy^dz)
So we get the conditions:
df/dy=dg/dx, df/dz=dh/dx, x=-dg/dz+dh/dy.
I think I should use a fact that I am working on a unit sphere. Could anybody help me?
 
Physics news on Phys.org
I did not tried but it would be useful to write everything in spherical coordinates and to take radius as 1.
 
streographic projection

Using stereographic projection,(say (s,t)) I attained follwoing condition if I assume xdydz is exact on S^2,

for some smooth function g and f,
-df/dt+dg/ds = (-24(s^2)(t^2)-8(s^4)-8s)/(1+s^2+t^2)^4.
Now in order to show xdydz is not exact, it suffices to show such f and g does not exist. How can I show it?
 
Different way: I tried to use the thm saying if a differential form is exact then
its closed.
i.e.if you can show dw is not equal to zero(meaning not closed)
you can conclude w is not exact.If i didn't make a mistake dw=dx dy dz
But still don't now how it is related to S^2
 
matness said:
Different way: I tried to use the thm saying if a differential form is exact then
its closed.
i.e.if you can show dw is not equal to zero(meaning not closed)
you can conclude w is not exact.If i didn't make a mistake dw=dx dy dz
But still don't now how it is related to S^2

dw IS zero when restricted to S^2, it's a three form on a two manifold. But you can't apply the Poincare lemma to show it's exact since S^2 isn't contractible.
 
Try it in spherical coordinates, as matness suggested. It's pretty straight forward to find a solution to w=da, I think.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 21 ·
Replies
21
Views
2K
  • · Replies 8 ·
Replies
8
Views
6K
  • · Replies 4 ·
Replies
4
Views
5K
  • · Replies 6 ·
Replies
6
Views
3K
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 18 ·
Replies
18
Views
3K