How to Combine Equations to Solve an Exact ODE for H(x, y) = c?

  • Thread starter Thread starter member 731016
  • Start date Start date
  • Tags Tags
    equations Ode
Click For Summary
The discussion focuses on how to combine two equations to derive the final form of H(x, y) = c for an exact ordinary differential equation (ODE). The key steps involve setting the difference between two expressions for H equal to zero, leading to the conclusion that the terms must balance to a constant. The functions ξ_1(y) and ξ_2(x) are identified, revealing that ξ_1(y) = y^2/2 and ξ_2(x) = 0. Ultimately, the derived equation H(x, y) = x^2y - xy + y^2/2 is confirmed as the solution. The thread also clarifies that the equation in question is exact, correcting the initial misleading title.
member 731016
Homework Statement
Please see below
Relevant Equations
Please see below
For this problem,
1716444809818.png

1716444830751.png

Does someone please know how they combined the two equations for H to get the finial equation ##H(x,y) = .... = c##?

Thanks!
 
Physics news on Phys.org
ChiralSuperfields said:
Homework Statement: Please see below
Relevant Equations: Please see below

For this problem,
View attachment 345763
View attachment 345764
Does someone please know how they combined the two equations for H to get the finial equation ##H(x,y) = .... = c##?

Thanks!
Take ##H-H## using both expressions. You find that
$$
0=H-H = \xi_1(y) - \frac{y^2}{2} - \xi_2(x)
$$
Moving the ##x##-dependent term to the LHS
$$
\xi_2(x) = \xi_1(y) - \frac{y^2}{2}
$$
The LHS depends only on ##x##, but the RHS does not depend on ##x## so both sides must be equal to the same constant ##-c##. It follows that
$$\xi_2(x) = c$$
and so
$$-xy +\frac{y^2}{2} + x^2y = c$$
 
  • Love
Likes member 731016
Here's another way to explain how they came up with H(x, y).

In the first screen shot of the OP, the author found that ##H(x, y) = x^2 - xy + \xi_1(y)## and that ##H(x, y) = -xy + \frac{y^2}2 + x^2y + \xi_2(x)##. The ##\xi_i## functions are functions of a single variable only.

Since the 2nd version of H(x, y) contains a term in y alone, namely ##\frac{y^2}2##, this means that ##\xi_1(y) = \frac{y^2}2##. Also, since the 1st version of H contains no term in x alone, this means that ##\xi_2(x) = 0##. After all, both versions of H(x, y) must be the same.

Hence ##H(x, y) = x^2y - xy + \frac{y^2}2##

The differential equation that was derived from the original pair of equations (that involved t) is ##(2xy - y)dx +(-x + y + x^2)dy = 0##. This can be seen as ##\frac{\partial H(x, y)}{\partial x}dx + \frac{\partial H(x, y)}{\partial y} dy = 0##.

The LHS of the last equation is the total differential of H(x, y). Since the total differential is zero, it must be true that H(x, y) = c, a constant.

BTW, the thread title is misleading, since the equation you're dealing with is exact, not inexact.
 
  • Love
Likes member 731016
Thank you for your replies @Orodruin and @Mark44!

Sorry there is a typo in the title. It should be a exact equation.

Thanks!
 
First, I tried to show that ##f_n## converges uniformly on ##[0,2\pi]##, which is true since ##f_n \rightarrow 0## for ##n \rightarrow \infty## and ##\sigma_n=\mathrm{sup}\left| \frac{\sin\left(\frac{n^2}{n+\frac 15}x\right)}{n^{x^2-3x+3}} \right| \leq \frac{1}{|n^{x^2-3x+3}|} \leq \frac{1}{n^{\frac 34}}\rightarrow 0##. I can't use neither Leibnitz's test nor Abel's test. For Dirichlet's test I would need to show, that ##\sin\left(\frac{n^2}{n+\frac 15}x \right)## has partialy bounded sums...