Finding when covector disappears

  • Thread starter Thread starter Kreizhn
  • Start date Start date
Click For Summary
SUMMARY

The discussion revolves around finding points \( p \in \mathbb{R}^2 \) where the differential form \( df = \frac{(y^2-x^2) dx - 2xy dy}{(x^2+y^2)^2} \) equals zero. Participants suggest solving the differential equation derived from the expression \( (y^2-x^2) dx - 2xy dy = 0 \) or determining when the coefficients are zero. A key conclusion is that for a covector field to vanish, all components must be zero in any coordinate chart, leading to the necessity of setting constants in solutions appropriately.

PREREQUISITES
  • Understanding of differential forms and covectors
  • Knowledge of differential equations and their solutions
  • Familiarity with tangent spaces in differential geometry
  • Basic concepts of linear independence in vector spaces
NEXT STEPS
  • Study the properties of covector fields in differential geometry
  • Learn about solving differential equations in multiple variables
  • Explore the concept of tangent spaces and their bases
  • Investigate canonical forms and constants in differential equations
USEFUL FOR

Mathematicians, students of differential geometry, and anyone interested in the properties of covector fields and differential forms.

Kreizhn
Messages
714
Reaction score
1

Homework Statement


Find all the points [itex]p \in \mathbb R^2[/itex] such that [itex]df_p =0[/itex] where
[tex]df = \frac{ (y^2-x^2) dx - 2xy dy }{(x^2+y^2)^2}[/tex]

The Attempt at a Solution


I figure the way this should be done is by solving the differential equation derived from
[tex](y^2-x^2) dx - 2xy dy =0 .[/tex]
It's either that or just find when the coefficients are identically zero. I can do either quite easily once I know for sure which I should be doing. Thoughts?

Edit: My only issue is that if I solve the differential equation, I will technically have a constant that I can't get rid of. Is there a canonical way of setting such a constant? Or is the solution the whole one-parameter family dictated by possible choices of the constant?
 
Physics news on Phys.org
This a part of some larger problem, right? A covector is a linear functional on vectors, right? dx and dy are linearly independent covectors. The only way a*dx+b*dy can vanish is if a and b are both zero.
 
Yeah sorry. For some reason I actually knew that but my brain died.

Indeed, for any covector field to be identically zero the components must be zero in any coordinate chart. Since [itex]df_p(X) =0, \forall X \in T_pM[/itex] we can, in particular, simply choose elements of the tangent basis, which forces the components to be zero.

I don't know why that slipped my mind. I appreciate the input though!
 

Similar threads

Replies
3
Views
2K
  • · Replies 16 ·
Replies
16
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 20 ·
Replies
20
Views
2K
  • · Replies 32 ·
2
Replies
32
Views
4K
Replies
1
Views
2K