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

Click For Summary

Discussion Overview

The discussion revolves around the existence of a function G such that its partial derivatives G_x equals -F_y and G_y equals F_x in a specified open rectangle R, given that the function F has continuous second partial derivatives and satisfies the condition F_{xx} + F_{yy} = 0. The scope includes theoretical aspects of differential forms and exactness in the context of multivariable calculus.

Discussion Character

  • Technical explanation
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant asserts that since F_{xx} + F_{yy} = 0, it follows that F_ydx - F_xdy = 0 is exact on R, implying the existence of a function G.
  • Another participant suggests demonstrating that the form F_ydx - F_xdy = 0 is closed, as closed forms are exact in a rectangle.
  • A participant questions the assumption that constants can be canceled when integrating both sides of the equation F_{xx} = -F_{yy}.
  • One participant expresses uncertainty about their solution, asking if their reasoning regarding the existence of G is correct after establishing that the function has become exact on R.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the correctness of the reasoning or the assumptions made regarding the constants in the integration process. Multiple viewpoints on the approach to proving the existence of G remain present.

Contextual Notes

The discussion includes unresolved questions about the treatment of constants during integration and the implications of the exactness of the differential form.

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

If your rectangle lives in the plane, then just show the form [tex]F_ydx - F_xdy = 0[/tex] is closed, since in a rectangle, every closed form is exact. If you haven't seen this, what results can you use?
 
Medicol said:
[tex]F_{xx}=-F_{yy}[/tex]
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
2K
  • · Replies 16 ·
Replies
16
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 0 ·
Replies
0
Views
4K
  • · 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
4K