When either $\frac{\partial M}{\partial y}$, or $ \frac{\partial N}{\partial x}$ do not exists, how to check whether given ODE is exact or not

129 Views Asked by At

For a given ODE, such as $$M(x,y) dx + N(x,y) dy = 0$$

if $\frac{\partial M}{\partial y} \not = \frac{\partial N}{\partial x}$, how can we determine whether the given ODE is exact or not ? Moreover, how can we find $F(x,y)$ ?

To be clear, (I guess) we can always integrate $M$ wrt $x$, and then take the derivative of the resulting function wrt $y$, and look for a possible $g(y)$, where $g(y)$ is the intagration "constant" coming from the integration of $M$ wrt $x$, but my question is that is there any other methods ? Moreover, to check whether there exists a $g(y)$ satisfying the above conditions leads an integration, which might not be possible or easy all the time, so in such cases, what can we do ?

Edit:

I'm not talking about non-exact ODEs, I'm basically asking what to do when either $M$ or $N$ is not belong to $C^1$, as I have explain in the comments of the answer of @dezdichado.

2

There are 2 best solutions below

8
On

In general, there is no guaranteed method to solve an inexact differential equation. You need to understand that if the exactness condition is not met, then the finding $F(x,y)$ by using antiderivatives of $M$ and $N$ may not be possible - because if it were, then the equation is exact in the first place.

A way to remedy the inexactness is to introduce an integrating factor $\mu(x,y)$: Write the equation in the form $$(\mu M)dx+(\mu N) dy = 0\quad (\dagger)$$ and then find $\mu$ such that above equation is exact. Existence of such $\mu$ is not always guaranteed; even if it is, you would end up having to solve a PDE for $\mu.$

In short, when the equation is not exact there is a little hope that it would be solved easily and explicitly.

8
On

Equations where

$$ \frac{\partial M}{\partial y} \ne \frac{\partial N}{\partial x} $$

are by definition, inexact. I think what you mean to be asking is, whether there always exists an integrating factor $\mu (x,y)$ such that

$$ \frac{\partial (\mu M)}{\partial y} = \frac{\partial (\mu N)}{\partial x} $$

This is a complicated question that requires solving a PDE.


As for the method you've described, where one finds a scalar function $F(x,y)$ such that $\frac{\partial F}{\partial x} = M$ and $\frac{\partial F}{\partial y} = N$, by first integrating

$$ F(x,y) = \int M(x,y) dx + g(y) $$

and differentiating

$$ \frac{\partial F}{\partial y} = N(x,y) = \int \frac{\partial M}{\partial y} dx + g'(y) $$

However, note that if you take the partial derivative w.r.t $x$ this becomes $$ \frac{\partial M}{\partial y} = \frac{\partial N}{\partial x} $$

which relies on the assumption of an exact equation in the first place. If the equation isn't exact, this method fails, and what ends up happening is the expression

$$ N(x,y) - \int \frac{\partial M}{\partial y} dx $$

is no longer just a function of $y$