Non-Vanishing Derivative Functions for Vector Fields X and Y in R^3

Click For Summary

Homework Help Overview

The problem involves pairs of vector fields X and Y in R^3, where the goal is to determine the existence of a function f with a non-vanishing derivative that satisfies specific conditions related to these vector fields. The context is rooted in differential geometry and the study of integrability conditions.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • Participants discuss the Frobenius integrability conditions and their relevance to the problem. There are attempts to connect the existence of a solution to the properties of the vector fields, particularly through the commutator.

Discussion Status

The discussion is ongoing, with participants exploring the implications of Frobenius' Theorem and seeking to clarify how it relates to the specific problem at hand. There is a recognition of the need for deeper understanding of the integrability conditions.

Contextual Notes

Some participants express uncertainty about the integrability condition and its application, indicating a potential gap in prior knowledge or familiarity with the concepts involved.

daishin
Messages
27
Reaction score
0

Homework Statement


On R^3 with the usual coordinates (x,y,z), consider the pairs of vector fields X,Y given below. For each pair, determine if there is a function f:R^3-->R with non-vanishing derivative df satisfying Xf=Yf=0, and either find such a function or prove that there is none.
(a) X=(e^x)d/dx - ((e^x)z + 2y)d/dz, Y=(e^x)d/dy - (2y)d/dz
(b) X=(e^x)d/dx - ((e^x)z + 2x)d/dz, Y=(e^x)d/dy - (2y)d/dz

Homework Equations



Could you help me start this problem.

The Attempt at a Solution



Sorry I don't know how to start this problem.
 
Physics news on Phys.org
You'll want to start by looking up Frobenius integrability conditions.
 
More hint or idea.

OK I looked at Frobenius integrability condition and still have no clue.
How can I use the integrability condition??
 
What is the integrability condition stated in terms of vector fields? You are talking about stuff I haven't looked at for a long time, but isn't the existence of a solution to the PDE's corresponding to these vector fields related to the commutator of the vector fields?
 
Frobenius' Theorem

Yes. A distribution D={E(x)} on a manifold M is integrable iff for all vector fiels V,W on M with V(x),W(x) in E(x) for all x in M, [v,w](x) in E(x) for all x in M. But how can I relate this with the problem I asked?
 

Similar threads

  • · Replies 18 ·
Replies
18
Views
3K
  • · Replies 24 ·
Replies
24
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
3
Views
2K
Replies
12
Views
3K
  • · Replies 20 ·
Replies
20
Views
2K