Mostrando entradas con la etiqueta EDOs exactas. Mostrar todas las entradas
Mostrando entradas con la etiqueta EDOs exactas. Mostrar todas las entradas

lunes, 19 de agosto de 2024

Un ejemplo de integración de una EDO no exacta, pero que admite factor integrante

Vamos a integrar la siguiente EDO: $$y\,dx+2\,x\,dy=0$$ que es del tipo $$\dfrac{\partial\,F(x,y)}{\partial\,x}\,dx+\dfrac{\partial\,F(x,y)}{\partial\,y}\,dy=0 $$

Observemos que $P(x,y)=y$ y $Q(x,y)=x$. Veamos las derivadas partiales $\dfrac{\partial\,P}{\partial\,y}=1$ y $\dfrac{\partial\,P}{\partial\,x}=2$; entonces, como $\dfrac{\partial\,P}{\partial\,y}\neq \dfrac{\partial\,P}{\partial\,x}$, se trata de una EDO no exacta. Sin embargo, vamos a intentar econtrar un factor integrante $\mu(x,y)$ tal que $\mu(x,y)\,P(x,y)\,d+\mu(x,y)\,Q(x,y)=\mu(x,y)\cdot 0=0$, es decir, la e.d. $$\mu(x,y)\,P(x,y)\,d+\mu(x,y)\,Q(x,y)=0\quad (1)$$ que es equivalente a la e.d. original, sí buscamos que sea exacta, por lo que tiene que cumplirse que $$\dfrac{\partial\,}{\partial\,y}\,(\mu(x,y)\,P(x,y))=\dfrac{\partial}{\partial\,x}\,\mu(x,y)\,Q(x,y)$$ es decir, $$P(x,y)\,\dfrac{\partial\,\mu(x,y)}{\partial\,y}+\mu(x,y)\,\dfrac{\partial\,P(x,y)}{\partial\,y}=Q(x,y)\,\dfrac{\partial\,\mu(x,y)}{\partial\,x}+\mu(x,y)\,\dfrac{\partial\,Q(x,y)}{\partial\,x}$$ $$\mu(x,y)\,\left( \dfrac{\partial\,P(x,y)}{\partial\,y}- \dfrac{\partial\,Q(x,y)}{\partial\,x} \right)=Q(x,y)\,\dfrac{\partial\,\mu(x,y)}{\partial\,x}-P(x,y)\,\dfrac{\partial\,\mu(x,y)}{\partial\,y}$$ $$\dfrac{\partial\,P(x,y)}{\partial\,y}- \dfrac{\partial\,Q(x,y)}{\partial\,x}=\dfrac{Q(x,y)}{\mu(x,y)}\,\dfrac{\partial\,\mu(x,y)}{\partial\,x}-\dfrac{P(x,y)}{\mu(x,y)}\,\dfrac{\partial\,\mu(x,y)}{\partial\,y}$$ $$\dfrac{\partial\,P(x,y)}{\partial\,y}- \dfrac{\partial\,Q(x,y)}{\partial\,x}=Q(x,y)\,\dfrac{\partial\,\ln(\mu(x,y))}{\partial\,x}-P(x,y)\,\dfrac{\partial\,\ln(\mu(x,y))}{\partial\,y}$$ que, en el caso que nos ocupa, se traduce en:
$$1-2=2x\,\dfrac{\partial\,\ln(\mu(x,y))}{\partial\,x}-y\,\dfrac{\partial\,\ln(\mu(x,y))}{\partial\,y}$$ es decir $$-1=2x\,\dfrac{\partial\,\ln(\mu(x,y))}{\partial\,x}-y\,\dfrac{\partial\,\ln(\mu(x,y))}{\partial\,y}$$ En particular, pongamos que $\mu$ no dependa de $x$, entonces: $$-1=2x\,\dfrac{\partial\,\ln(\mu(y))}{\partial\,x}-y\,\dfrac{\partial\,\ln(\mu(y))}{\partial\,y}$$ con lo cual, $$-1=2x\cdot 0-y\,\dfrac{d\,\ln(\mu(y))}{d\,y}$$ $$-1=-y\,\dfrac{d\,\ln(\mu(y))}{d\,y}$$ $$1=y\,\dfrac{d\,\ln(\mu(y))}{d\,y}$$ $$\dfrac{dy}{y}=d\,\ln(\mu(y))$$ $$\displaystyle \int\,\dfrac{dy}{y}=\int\,d\,\ln(\mu(y))$$ $$\ln(y)=\ln(\mu(y))$$ y por consiguiente, $$\mu(y)=y$$

Y sustituyendo en $(1)$, llegamos a la siguiente e.d. exacta: $$y^2\,dx+2\,xy\,dy=0 \quad (2)$$ Así pues, vamos a encontrar la integral general de la misma $F(x,y)=C$, debiéndose cumplir que:
  $\dfrac{\partial\,F(x,y)}{\partial\,x}=y^2\quad (3)$
y
  $\dfrac{\partial\,F(x,y)}{\partial\,y}=2\,xy \quad (4)$

De $(2)$:
  $\displaystyle \int\,dF(x,y)=\int\,y^2\,dx$
    $\displaystyle F(x,y)=y^2\,\int\,dx$
      $F(x,y)=y^2\,x+\phi(y) \quad (5)$

Y como debe satisfacerse $(4)$,
  $\dfrac{\partial\,(y^2\,x+\phi(y))}{\partial\,y}=2\,xy$
    $2\,xy+\phi'(y)=2\,xy$
      $\phi'(y)=0$
        $\phi(y)=\text{constante} \overset{(5)}{\Rightarrow} x\,y^2=C$

Nota:
También podemos integrar la ecuación $(2)$ de una manera muy sencilla:
Dividiendo por $x\,y^2$ en los dos miembros de la misma obtenemos $$\dfrac{1}{x}\,dx+2\cdot \dfrac{1}{y}\,dy=0$$ luego, $$\dfrac{1}{x}\,dx=-2\cdot \dfrac{1}{y}\,dy $$ $$\displaystyle \int\,\dfrac{1}{x}\,dx=-2\displaystyle \int \dfrac{1}{y}\,dy $$ $$\ln(x)=-2\cdot \ln(y)+k$$ $$\ln(x)+2\,\ln(y)=k$$ $$\ln(x)+\ln(y^2)=k$$ $$\ln(x\cdot y^2)=k$$ $$x\,y^2=e^k$$ y estableciendo la constante arbitraria como $C:=e^k$,
$$x\,y^2=C$$

$\diamond$

domingo, 18 de agosto de 2024

Ejemplo de integración de una EDO exacta

Vamos a integrar la siguiente EDO: $$(2x+y)\,dx+(2y+x)\,dy=0$$ que es del tipo $$\dfrac{\partial\,F(x,y)}{\partial\,x}\,dx+\dfrac{\partial\,F(x,y)}{\partial\,y}\,dy=0 $$

Observemos que $P(x,y)=2x+y$ y $Q(x,y)=2y+x$. Veamos las derivadas partiales $\dfrac{\partial\,P}{\partial\,y}=1$ y $\dfrac{\partial\,P}{\partial\,x}=1$; entonces, como $\dfrac{\partial\,P}{\partial\,y}=\dfrac{\partial\,P}{\partial\,x}$, se trata de una EDO exacta.

Con lo cual, existe una familia de funciones $F(x,y)=C$ ($C$, constante arbitraria), a la que se denomina integral general de la e.d., tal que $\dfrac{\partial\,F}{\partial\,x}=P(x,y)$ y $\dfrac{\partial\,F}{\partial\,y}=Q(x,y)$

Por un lado,
  $\dfrac{\partial\,F}{\partial\,x}=2x+y \Rightarrow F(x,y)=x^2+xy+\phi(y) \quad (1)$

Y de otra parte,
  $\dfrac{\partial\,F}{\partial\,y}=2y+x \Rightarrow F(x,y)=y^2+xy+\varphi(y) \quad (2)$

De $(1)$ se tiene que, manteniendo constante $x$,: $$\left(\dfrac{dF}{dy}\right)_x=x+\phi'(y)$$ que ha de ser igual a $Q(x,y)$, con lo cual, $$x+\phi'(y)=2y+x$$ esto es, $$\phi'(y)=2y$$ luego,
  $\dfrac{\phi(y)}{dy}=2y$
    $d(\phi(y))=2y\,dy$
      $\displaystyle\,\int\,d(\phi(y))=\int\,2y\,dy+\tilde{C}$
        $\phi(y)=y^2+\tilde{C}$

Sustituyendo en $(1)$: $$F(x,y)=x^2+xy+y^2+\tilde{C}$$ y como $F(x,y)=C$, se tiene que
$$x^2+xy+y^2=C$$ donde redifinimos la constante arbitraria como $C:=\tilde{C}-C$

$\diamond$