Differential Form: Closed/Exact

Click For Summary
SUMMARY

The discussion centers on the differential form ##\omega = F_1 dx + F_2 dy + F_3 dz##, where ##F_1##, ##F_2##, and ##F_3## are functions defined over specific domains. The user concludes that ##\omega## is closed based on the equality of mixed partial derivatives, specifically ##\frac{\partial F_i}{\partial x_j} = \frac{\partial F_j}{\partial x_i##. The confusion arises regarding the domain of ##\omega##, which is determined to be ##\mathbb{R}^2## due to the intersection of the domains of ##F_1##, ##F_2##, and ##F_3##. The user seeks clarification on whether this domain affects the exactness of ##\omega## and the ability to find a function ##g## such that ##\omega = dg##.

PREREQUISITES
  • Understanding of differential forms and their properties
  • Knowledge of partial derivatives and their implications in multivariable calculus
  • Familiarity with the concepts of closed and exact forms
  • Basic comprehension of domain intersections in mathematical functions
NEXT STEPS
  • Study the properties of closed and exact differential forms in depth
  • Learn about the implications of domain intersections in multivariable functions
  • Explore examples of finding functions ##g## such that ##\omega = dg##
  • Investigate the relationship between partial derivatives and the exactness of differential forms
USEFUL FOR

Mathematicians, students studying multivariable calculus, and anyone interested in the properties of differential forms and their applications in higher mathematics.

Karnage1993
Messages
131
Reaction score
1
1 & 3
I have this differential form:

##\omega = F_1 dx + F_2 dy + F_3 dz##

And I concluded that ##\omega## is closed because I calculated the partials and found out that ##\displaystyle \frac{\partial F_i}{\partial x_j} = \frac{\partial F_j}{\partial x_i}##.

Also, ##F_1## contains only ##x,y## terms, ##F_2## contains ##x,y,z## terms and ##F_3## only ##y,z## terms.

So according to an equation from class, the Domain of ##\omega## = Domains of ##F_1 \cap F_2 \cap F_3 = \mathbb{R}^2 \cap \mathbb{R}^3 \cap \mathbb{R}^2 = \mathbb{R}^2##.

Here's where I'm confused. How is the domain of ##\omega = \mathbb{R}^2##? The differential form contains all 3 parameters so I don't see how it can be. Also, would the ##g## also have domain ##\mathbb{R}^2##? This domain problem is preventing me from concluding that ##\omega## is exact. Once I figure out it's exact, then I can carry out the computations to find ##g(x,y,z)##.

Homework Equations


Definition of exact is:

Let ##\omega## be a first order differential form in ##\mathbb{R}^n##. If ##\omega = dg##, for some ##g : \mathbb{R}^n \to \mathbb{R}##, then ##\omega## is said to be exact.

exact ##\Rightarrow## closed
 
Physics news on Phys.org
What's this equation from class? I suspect you are all worried about nothing. F(x,y,z)=x+z still has domain R^3 even though there is no y in it. You can't even really add things that have different domains.
 
Can you also post the text of your problem, so we can judge what you wrote. Thanks!
 
So does that mean something like ##F_1 dx## = ##(2x + xy^2)dx## would mean that the domain of ##F_1## is ##\mathbb{R}^3## as well?

The equation is really from an example. It just says that the domain of ##\omega## = Domain ##F_1## intersect Domain ##F_2## intersect Domain ##F_3##. I suspect this is only for ##\mathbb{R}^3##.

EDIT: Here's the problem:

"For each of the following differential forms ##\omega## determine if there exists a function ##g## such that ##\omega## = ##dg##."

The specific ##\omega## I'm working on is pretty long but it is exactly as I described it with the specific parameters I mentioned.
 
Karnage1993 said:
So does that mean something like ##F_1 dx## = ##(2x + xy^2)dx## would mean that the domain of ##F_1## is ##\mathbb{R}^3## as well?

The equation is really from an example. It just says that the domain of ##\omega## = Domain ##F_1## intersect Domain ##F_2## intersect Domain ##F_3##. I suspect this is only for ##\mathbb{R}^3##.

EDIT: Here's the problem:

"For each of the following differential forms ##\omega## determine if there exists a function ##g## such that ##\omega## = ##dg##."

The specific ##\omega## I'm working on is pretty long but it is exactly as I described it with the specific parameters I mentioned.

Yes, I think it's implicit that the domain of all three terms is R^3.
 
Oh, okay, that makes everything easier. Thanks for the help!
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
2
Views
1K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
1
Views
2K
  • · Replies 15 ·
Replies
15
Views
2K
Replies
4
Views
2K