CLASIFICACIÓN DE EDO

CLASIFICACIÓN DE EDO


Apunte
EDO Linealidad Orden PVI Ejercicios

CLASIFICACIÓN DE EDO

Linealidad

Cuando FF es lineal tal que:

y,y,y,y,...,yny,y',y'',y''',...,y^n

Orden

Una EDO es lineal de orden nn si tiene la forma

an(x)y(n)+an1(x)y(n1)+...+a1(x)y+a0(x)y=F(x)a_{\orange n} (x)y ^{(\orange n)} + a_{\orange{ n−1}} (x)y^{\orange{ (n−1)}} + ...+ a_{\orange{1}} (x)y{\orange{'}} + a_{\orange{0}} (x)y = F (x)

Tal que:

ai(x)R,  i=1,...,na_i(x) ∈ \R, \;∀i = 1, ...,n

EDO homogénea y no homogénea

La EDO lineal se dice homogénea, si:

F(x)=0F(x)=0

La EDO lineal se dice NO homogénea, si:

F(x)0 F (x) \not= 0

Solución de una EDO

Toda función ϕ\phi , definida sobre un intervalo II y que posea al menos nn derivadas continuas sobre II , y que al ser sustituida en una ecuación diferencial ordinaria de nn-ésimo orden reduzca la ecuación a una identidad, se dice que es una solución de la ecuación sobre el intervalo.

F(x,ϕ(x),ϕ(x),...,ϕn(x))=0xIF(x, \phi (x), \phi '(x), ..., \phi ^{n}(x)) = 0 \qquad \forall x \in I

Verificando una solución

ejm:

Compruebe que la función señalada representa una solución de la ecuación diferencial dada, sobre el intervalo (,)(-\infty, \infty).

dydx=xy1/2y=x416\frac{dy}{dx} = xy^{1/2} \qquad| \qquad y = \frac{x^4}{16}

Tomando izquierda:

dydx=xy1/2y=x416\orange{\frac{dy}{dx}} = xy^{1/2} \qquad| \qquad y = \frac{x^4}{16} dydx=1164x41=x34\Rightarrow \frac{dy}{dx} = \frac{1}{16} \cdot \orange4x^{4\orange{-1}}=\frac{x^3}{4}

Tomando derecha:

dydx=xy1/2y=x416\frac{dy}{dx}= \orange{xy^{1/2}} \qquad| \qquad y = \frac{x^4}{16} xy1/2=x(x416)1/2=x34\Rightarrow xy^{1/2} = x\left(\frac{x^4}{16}\right)^{1/2}=\frac{x^3}{4}

  \orange\therefore \; Cada extremo de la ecuación es igual para todo número real xx

Problemas de valor inicial (PVI)

Son de la forma:

En cierto intervalo II que contiene a x0x_0

Piden resolver:

dnydxn=f(x,y,y,...,yn1)\frac{d^ny}{dx^n}=f(x,y,y',...,y^{n-1})

Sujeto a:

y(x0)=y0,y(x0)=y1,...,yn1(x0)=yn1y(x_0)=y_0,y'(x_0)=y_1,...,y^{n-1}(x_0)=y_{n-1}

Tal que: y1,...,yn1y_1,...,y^{n-1} son constantes R\in\R

Existencia de una solución única

TEOREMA:

Sea RR como una región rectangular en el plano xyxy definida por:

axb  ,  cyda \leq x \leq b \; , \; c \leq y \leq d

Que contiene al punto (x0,y0)(x_0,y_0)

Si f(x,y)f(x,y) y fy\frac{\partial f}{\partial y} son continuas en RR

Entonces existe cierto intervalo I0:x0h<x<x0+hI_0:x_0-h<x<x_0+h , h>0h>0

Contenido en axba \leq x \leq b , y una función única y(x)y(x) definida en I0I_0 que representa una solución del PVI.

Representación del área rectangular donde se encuentra el punto que representa una solución del PVI


Ejercicios

  1. Se tiene:
yy=0y'-y=0

Solución 🎁 Entonces:

y=ydydx=yy'=y \qquad\Rightarrow\qquad \frac{dy}{dx}=ydyy=dx1ydy=dx\frac{dy}{y}=dx \qquad\Rightarrow\qquad \frac{1}{y}dy=dx

Integrando:

1ydy=dx\int\frac{1}{y}dy=\int dx

Por regla de integración:

lny=x+CCR\ln{y}=x + C \quad | \quad C \in \R

Aplicando exponencial:

elny=ex+Ce^{\ln{y}}=e^{x + C}y=exeCy=e^{x} \cdot e^Cy=CexC>0y=Ce^{x} \quad | \quad C>0
  1. Se tiene:
y+2y=0y=e2x\large y'+2y=0 \qquad | \qquad y=e^{-2x}
Solución 🎁y=e2x2y=2e2x\large y'=e^{-2x} \cdot -2 \qquad \Rightarrow \qquad y'=-2e^{-2x}y+2y=0\large y'+2y=0  (2e2x)+2(e2x)=0\tag*{\color{forestgreen}\checkmark} \large{\color{orange}\therefore} \; (-2e^{-2x})+2(e^{-2x})=0 \qquad

\therefore Se obtiene la solución particular