Is There a Function G Such That G_x Equals -F_y and G_y Equals F_x in R?

Click For Summary
SUMMARY

The discussion centers on proving the existence of a function G such that G_x = -F_y and G_y = F_x in an open rectangle R, given that F = F(x, y) has continuous second partial derivatives and satisfies the condition F_{xx} + F_{yy} = 0. The participants demonstrate that the differential form F_ydx - F_xdy = 0 is exact on R, which implies that G exists. The key steps involve recognizing that F_{xx} = -F_{yy} and integrating to show the relationship between F_x and F_y.

PREREQUISITES
  • Understanding of partial derivatives and their continuity
  • Familiarity with exact differential forms in multivariable calculus
  • Knowledge of the implications of the Poincaré lemma in closed forms
  • Ability to perform integration of partial derivatives
NEXT STEPS
  • Study the Poincaré lemma and its applications to closed and exact forms
  • Learn about the implications of continuous second partial derivatives in multivariable functions
  • Explore the relationship between exact differentials and potential functions
  • Investigate the conditions under which a differential form is closed
USEFUL FOR

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

Medicol
Messages
223
Reaction score
54
Suppose all second partial derivatives of F = F (x, y) are continuous and F_{xx} + F_{yy} = 0 on an open rectangle R.
Show that F_ydx - F_xdy = 0 is exact on R, and therefore there’s a function G such that
G_x = −F_y and Gy = F_x in R.
≈≈≈≈≈≈≈≈
To prove that F_ydx + F_xdy = 0 is exact on R,
I have F_{xx} + F_{yy} = 0
which is F_{xx}=-F_{yy}
Integrating both sides and cancel out the constants I obtain
F_x=-F_y
This proves the function F_ydx - F_xdy = 0 is exact on R​
Could you help me prove the existence of G ? Thank you...
 
Physics news on Phys.org
Medicol said:
Suppose all second partial derivatives of F = F (x, y) are continuous and F_{xx} + F_{yy} = 0 on an open rectangle R.
Show that F_ydx - F_xdy = 0 is exact on R, and therefore there’s a function G such that
G_x = −F_y and Gy = F_x in R.
≈≈≈≈≈≈≈≈
To prove that F_ydx + F_xdy = 0 is exact on R,
I have F_{xx} + F_{yy} = 0
which is F_{xx}=-F_{yy}
Integrating both sides and cancel out the constants I obtain
F_x=-F_y
This proves the function F_ydx - F_xdy = 0 is exact on R​
Could you help me prove the existence of G ? Thank you...

If your rectangle lives in the plane, then just show the form F_ydx - F_xdy = 0 is closed, since in a rectangle, every closed form is exact. If you haven't seen this, what results can you use?
 
Medicol said:
F_{xx}=-F_{yy}
Integrating both sides and cancel out the constants

How do you know constants are identical?
 
I answered so, I meant to choose 2 exact constants to give both a go.
I'm thinking because I already answered the first which is also the main part of the problem, I may continue to put "the given function has become exact on R, so there must be a function G that satisfies both of the given conditions in R"

Is this a correct solution ?
 

Similar threads

  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 16 ·
Replies
16
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 16 ·
Replies
16
Views
3K
Replies
0
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
Replies
4
Views
2K