Ecuación diferencial ordinaria

En matemátiques, una **ecuación diferencial ordinaria** (comúnmente embrivida "EDO") ye la ecuación diferencial que rellaciona una función desconocida de **una** variable independiente coles sos derivaes. Esto ye, una ***sola*** variable independiente (a diferencia de les ecuaciones diferenciales parciales qu'arreyen derivaes parciales de delles variables), y una o más de les sos derivaes respectu de tal variable.

## Introducción

Recursos de la física, la inxeniería, la economía, la meteoroloxía, la bioloxía, la química y n'aplicaciones como les de modeláu en ciencies, estudiar en diverses árees (como xeometría, mecánica y astronomía) y perspectives. 

Matemáticamente, ye de conveniente interés, el llogru d'una familia de funciones que verifiquen una ecuación y establecen la solución xeneral. Namái les ecuaciones diferenciales más sencielles almiten soluciones daes por fórmules esplícites (como les lliniales acomuñaes a una teoría desenvuelta práuticamente por completu). Sicasí, pueden determinase delles propiedaes de les soluciones d'una ecuación diferencial ensin riquir la so formulación exacta, clave pa resolver la mayoría de les ecuaciones diferenciales non lliniales de sumu interés en numberosos casos. Casos carentes d'una fórmula autu-contenida pa la so solución que se suple cola averada numbéricamente col auxiliu crucial de los ordenadores.

La matemática *pura* centra'l focu *formal* na solución, la so esistencia y si ye o non única. La *aplicada* controla la validez de los métodos pa la solución numbéricamente averada y el rigor de les xustificaciones con que-y los sofita.

La teoría de los sistemes dinámicos prioriza l'analís cualitativu de sistemes descritos por ecuaciones diferenciales mientres se vinieron sumando numberosos métodos numbéricos pa determinar soluciones con un grau dau de precisión.

N'inxeniería, ciencies naturales y sociales hai munchos problemes d'interés que, cuando se planteguen, esixen la determinación d'una función la cual tien de verificar una ecuación qu'arreya derivaes de la función desconocida. Diches ecuaciones denominar ecuaciones diferenciales. Seique l'exemplu más conocíu ye la llei de Newton:

### Importancia
Isaac Newton dábase cuenta de la importancia que teníen les ecuaciones diferenciales pal analís de los fenómenos de la naturaleza. Nos sos renomaos "Principios matemáticos de la filosofía natural" (1687) que engloban mecánica newtoniana, empiecen cola ecuación diferencial del movimientu. Esta ecuación considérase como axoma, ente que los planteamientos posteriores de la mecánica son, ello ye que teoremes que se deriven de dichu axoma, lo mesmo que de la llei de gravitación universal que s'esgaza de los fechos esperimentales (lleis de Kepler) y del mentáu axoma: 

 

Una ecuación diferencial ordinaria (EDO) puede plantegase, siendo *F* una rellación o función, como 
... pa representar la EDO en que la función incógnita (tamién conocida como variable dependiente), ser d'una única variable independente.

Polo xeneral, una ecuación diferencial llinial d'orde *n* puede formulase, siendo cada a_i una función dependiente de *t*, como:

Una solución de la ecuación  o  va ser una "familia" de curves o funciones del tipu y = f(t)\, que substituida dientro de la ecuación convertir nuna igualdá na que tolos términos son conocíos.

Na formulación más simple, la función incógnita ye una función pa ciertu valor real o complexu pero con mayor xeneralidá, pue selo pal valor d'un vector o matriz, lo que lleva a considerar un sistema d'ecuaciones diferenciales ordinaries (EDO) pa una única función.

## Definiciones

### Ecuación diferencial ordinaria
Sía y= f(x), tal que f: \mathbb{R} \to \mathbb{R}, y^{(n)} la n-ésima derivada de *y*, entós una **ecuación diferencial ordinaria (EDO)** de **orde** *n* tien siguiente forma:

Para funciones vectoriales, :y:
\mathbb{R} \to \mathbb{R}^m, la ecuación
 ye llamada un **sistema d'ecuaciones lliniales diferenciales** de **dimensión** *m*.

Cuando una ecuación diferencial d'orde *n* tien la forma :F\left(x,
y, y', y*,\ \dots,\ y^{(n)}\right) = 0</math>
ye llamada una ecuación diferencial *'implícita**, ente que na forma :<math>F\left(x,
y, y', y'',\ \dots,\ y^{(n-1)}\right) = y^{(n)}</math>
ye llamada una ecuación diferencial **esplícita**.

Una ecuación diferencial que nun depende de ''x'' ye denomada **autónoma**.

Dizse qu'una ecuación diferencial ye **llinial** si ''F'' puede ser escrita como una [[combinación llinial]] de les derivaes de ''y''

:<math>y^{(n)} = \sum_{i=0}^{n-1} a_i(x) y^{(i)} + r(x)</math>

siendo, tanto ''a''<sub>''i''</sub>(''x'') como ''r''(''x'') funciones continues de ''x''. La función ''r''(''x'') ye llamada'l **término fuente** (traducíu del inglés ''source term''); si ''r''(''x'')=0 la ecuación diferencial llinial ye llamada **homoxénea**, de lo contrario ye llamada **non homoxénea**.

=== Soluciones ===
Dada una ecuación diferencial
:<math>F(x, y, y', \dots, y^{(n)}) = 0 ,</math>
una función  ye llamada la [[Ecuación diferencial#Solución d'una ecuación diferencial|''solución'']], y la so gráfica llámase [[curva integral]] de ''F'', si ''o'' ye ''n'' vegaes derivable en ''I'', y
:<math>F(x,o,o',\ \dots,\ u^{(n)})=0 \quad x \in I.</math>

Daes dos soluciones  y , ''o'' ye llamada una **estensión** de ''v'' si , y :<math>o(x)
= v(x) \quad x \in I.\,</math>

Una solución que nun tien estensión ye llamada una **solución xeneral**.

Una **solución xeneral** d'una ecuación d'orde ''n'' ye una solución que contién ''n'' variables arbitraries, correspondientes a ''n'' [[constante d'integración constantes d'integración]]. Una **solución particular** ye derivada de la solución xeneral por aciu la fixación de valores particulares pa les constantes, de cutiu escoyíes pa cumplir [[Problema de Cauchy|condiciones iniciales]]. Una [[Ecuación diferencial#Soluci.C3.B3n singular|solución singular]] ye la que nun puede derivase de la xeneral.

;Solución d'una EDO de primer orde Si considérase una ecuación
diferencial de la forma:

una ecuación de primer orde resuelta con al respective de la derivada, llámase la so **solución xeneral** de l'anterior ecuación diferencial, va ser una función del tipu:

que depende d'una constante arbitraria C. Satisfai ecuación diferencial pa cualquier valor de la constante C. Amás sía'l que quier la condición inicial

siempres puede asignase un valor ''C''<sub>0</sub> a la constante ''C'', tal que la función ''y'' = φ(''x, C''<sub>0</sub>) satisfaiga la condición inicial dada. Presumir que'l puntu (x<sub>0</sub>, y<sub>0</sub>) ta nun intervalu onde se cumplen les condiciones d'esistencia y d'unicidá de la solución. Les soluciones pueden atopase con auxiliu de tresformamientos idénticos y de cambeos de variables.

=== Condiciones iniciales ===

Polo xeneral si nun s'especifiquen ciertos valores iniciales o de contorna, que tien de satisfaer la solución d'una ecuación diferencial como  entós nun va esistir una solución [particular] única, esto ye, una única función que satisfaiga la ecuación diferencial. Pa una ecuación diferencial llinial d'orde n por casu ríquense ''n'' condiciones iniciales o de contorna, por qu'esista una única función que cumpla simultáneamente la ecuación estrema y les condiciones de contorna. Si namái s'especifiquen condiciones iniciales el problema d'atopar una función que satisfaiga la ecuación diferencial y les condiciones iniciales denominar [[problema de Cauchy]]. Si especifiquen condiciones que nun son namái condiciones de contorna pueden tenese problemes distintos como los [[Teoría de Sturm-Liouville|problemes de Sturm-Liuville]].

== Tipos y forma de resolución ==
Esisten diversos tipos d'ecuaciones diferenciales ordinaries, caúna con una forma de resolución distintu; pa clasificales, hai que faer la diferencia ente ecuaciones diferenciales de primer orde y ecuaciones d'orde cimeru (una y bones les primeres son, polo xeneral, de más bon resolución).

=== Esistencia y unicidá de soluciones ===
El teorema de [[Sistema d'ecuaciones diferenciales#Esistencia y unicidá de la solución|Peano-Picard]] garantiza la esistencia d'una solución y la so unicidá pa toa ecuación diferencial ordinaria llinial con coeficientes continuos nun intervalu tien solución única en dichu intervalu. Pal casu d'ecuaciones diferenciales non lliniales nun esisten resultaos análogues al de Peano-Picard.

El teorema de Peano-Picard demuestra la esistencia por aciu una demostración constructiva, pa un [[sistema d'ecuaciones diferenciales]] lliniales de primer orde. Puesto que toa ecuación diferencial llinial d'orde arbitrariu puede amenorgase a un sistema d'ecuaciones diferenciales de primer orde, siguir del teorema de Peano-Picard la esistencia y unicidá de la solución. La idea del teorema ye simple constrúi una [[socesión de Cauchy]] funciones que la so llende ye precisamente la solución del sistema. La demostración de la unicidá per otra parte resulta trivial.

=== Soluciones analítiques ===
Esisten métodos de resolución xenerales pa ecuaciones diferenciales ordinaries lliniales que dexen atopar soluciones analítiques. En particular si los coeficientes de la ecuación llinial son constantes o periódicos la solución ye cuasi siempres bono de construyir. Pa coeficientes non constantes o non periódicos, pero que son desarrollables en [[serie de Taylor]] o [[serie de Laurent]] ye aplicable con ciertes restricciones el métodu de [[Métodu de Frobenius|Frobenius]]. Otra posibilidá ye amenorgar una ecuación diferencial llinial d'orde ''n'' a un [[Sistema d'ecuaciones diferenciales|sistema de ''n'' ecuaciones diferenciales lliniales]] de primer orde.

Pa les ecuaciones diferenciales ordinaries non lliniales nun esisten métodos xenerales.

=== Soluciones numbériques ===
Dalgunos de los métodos de solución numbérica d'ecuaciones diferenciales son el [[métodu de Runge-Kutta]], los métodos multipaso y los métodos de extrapolación.

== Ecuaciones diferenciales ordinaries de primer orde ==

Una ecuación diferencial de primer orde col [[problema de valor inicial|valor inicial]] espresar de la siguiente forma:

Onde <math>y(t_0) = y_0\,</math> ye la condición inicial.

Ente los tipos de EDOs de primer orde atópense:

=== Ecuación de variables xebrables ===
Son EDOs de la forma:

Estes puédense espresar na forma: 

Onde se procede integrando dambos miembros de la ecuación

De l'anterior ye posible llograr la solución xeneral. va suponese que les funciones g y h son continues.

=== Ecuación exacta ===

Una ecuación de la forma:

dizse exacta si esiste una función ''F'' que cumpla:

y 
La so solución ye entós:


=== EDO de primer orde y ''homoxénea'' ===

La ecuación diferencial ordinaria de primer orde:

Pa resolver úsase la sustitución y=xv, siendo v= v(x) una función desconocida. Sicasí, la pallabra 'homoxénea' asume otru significáu, dientro del estudiu de les EDOs, fora d'esti contestu.

=== Ecuación llinial ===

Una ecuación diferencial ye **llinial** si presenta la forma:

Y que tienen por solución:

Como puede apreciase, esta ecuación ye una ecuación diferencial de Bernoulli, con **n=0**.

=== Ecuación de Bernoulli ===

Una ecuación diferencial de Bernoulli, que ye de la mesma una xeneralización de la ecuación diferencial llinial, foi formulada por [[Jakob Bernoulli]] y resuelta pol so hermanu, [[Johann Bernoulli]] y presenta la forma:

Na cual, si fai la sustitución <math> z=y^{1-n}</math>, la ecuación tresformar nuna ecuación llinial con ''z'' como variable dependiente, resolviéndose de manera análoga.

=== Ecuación de Riccati ===

Esta ecuación diferencial introducida por [[Jacopo Francesco Riccati]] presenta la estructura:

Pa resolvela, tien de faese la sustitución <math> y=y_{p}+ \frac{1}{z}</math>, onde <math> y_{p}</math> ye una solución particular cualesquier de la ecuación.

=== Ecuación de Lagrange ===

Una ecuación diferencial de Lagrange  presenta la forma:

Resolviéndose cola sustitución <math> y'=p </math>, estremando y sustituyendo ''dy'' por ''pdx'', convertir a otra considerada en x como función de p, ye llinial. Resolviendo ta última <math> x = s(p, C)</math>, tópase la solución xeneral de la ecuación inicial en forma paramétrica: 

# <math> x= s(p, C)</math>
# <math> y= s(p, C)g(p) + f(p)</math> onde ''p'' ye un parámetru.

Amás la ecuación de Lagrange puede tener soluciones singulares de la forma <math> y= xg(c) + f(c)</math>, siendo ''c'' un raigañu de la ecuación <math>c= g(c)</math>.

=== Ecuación de Clairaut ===

Una ecuación diferencial de Clairaut, llamada asina n'honor a [[Alexis-Claude Clairaut]], tien la forma:

Como puede apreciase, esta ecuación ye una forma particular de la ecuación diferencial de Lagrange, con <math> g(y')=y' </math>, polo cual, el so resolución ye análoga a l'anterior.

=== Ecuación de Jacobi ===


== Ecuaciones diferenciales ordinaries de segundu orde ==
Munchos problemes físicos importantes tantu en [[mecánica]] como en [[electromagnetismu]] traen la resolución d'ecuaciones diferenciales de segundu orde.

=== Ecuación llinial con coeficientes constantes ===
La ecuación diferencial de segundu orde con coeficientes constantes tien la forma:

La resolución d'esta ecuación depende de les [[Raigañu d'una función|raigaños]] del polinomiu característicu:

En función de cómo sían los raigaños de dichu polinomiu estremen trés casos posibles y distintos:
* **Caso 1: dos raíz reales y distintes** <math>(\lambda_1 \ne \lambda_2)\,</math>, nesti casu la solución xeneral tien la forma:
{\lambda_1 - \lambda_2}\int_{x_0}^x y^{-\lambda_1o}f(o)du +
\frac{y^{\lambda_2x}}{\lambda_2 - \lambda_1}\int_{x_0}^x y^{-\lambda_2o}f(o)du</math>
||left}}
* **Caso 2: dos raíz reales ya iguales** <math>(\lambda_1 = \lambda_2)\,</math>, nesti casu la solución xeneral tien la forma:

* **Caso 3: dos raíz complexes conxugaes*' <math>(\lambda_1 = p+qi, \lambda_2 = p-qi)\,</math>, nesti casu la solución xeneral tien la forma:

L'últimu términu d'esta última ecuación ta rellacionáu cola [[:en:Duhamel%27s_integral|integral de Duhamel]].

=== Ecuación diferencial de Euler o de Cauchy ===
Esta ecuación tien la forma:

Y puede resolvese por aciu el [[cambéu de variable]] <math>x = y^t\,</math> que tresforma la ecuación anterior nuna ecuación de coeficientes constantes resoluble polos métodos de la seición anterior:
{dt^2}+(a-1)\frac{d\bar{y}}{dt}+b\bar{y}= g(y^t), \qquad
\bar{y}(t) = y(y^t)</math>
||left}}

=== Ecuaciones de Bessel ===

La ecuación diferencial de Bessel, apaez con frecuencia na resolución del [[problema de Dirichlet]] en [[coordenaes cilíndriques]]. Dicha ecuación tien la forma:

Esta ecuación ye resoluble por aciu les llamaes [[función de Bessel|funciones de Bessel]]:

Amás d'esta ecuación esiste otra ecuación resoluble por aciu funciones de Bessel.
La ecuación diferencial de Bessel modificada, apaez con frecuencia na resolución del [[problema de Dirichlet]] en [[coordenaes cilíndriques]]. Dicha ecuación tien la forma:

Que la so solución vien dada por:


=== Ecuación de Legendre ===

La ecuación diferencial de Legendre, apaez con frecuencia na resolución del problema de Dirichlet en [[coordenaes esfériques]]. La ecuación tien la forma:

Cuando *n* ye un enteru una de les dos soluciones independientes que conformen la solución xeneral de la ecuación anterior ye'l [[polinomiu de Legendre]] de grau n:

Les solución xeneral puede espresase na forma:

Onde:



== Ecuaciones diferenciales ordinaries d'orde cimeru ==

=== Ecuación llinial d'orde *n* con coeficientes constantes ===
La ecuación diferencial llinial d'orde *n* con coeficientes constantes ye de la siguiente forma:

Onde los términos <math>a_i\,</math> representen constantes <math> \forall i \in \mathbb{N}</math>
Nel casu homoxéneu cuando'l segundu miembru ye idénticamente nulu, les soluciones d'esta ecuación pueden llograse a partir del raigaños del polinomiu característicu de la ecuación:

Nel casu de que toes los raigaños sían distintos la solución vien dada por:

Nel casu de qu'esistan dellos raigaños múltiples, esistiendo namái *k* raigaños distintos y siendo <math>m_i</math> la multiplicidá del raigañu *i''-ésima, la solución xeneral ye de la forma:

Les multiplicidaes de cada raigañu son l'esponente de la siguiente descomposición:

## Ver tamién
* Ecuación diferencial
* Ecuaciones en derivaes parciales
* Teorema de Picard
* Campu de direiciones

## Referencies

### Bibliografía

* 
* 
* 
* 
* 
* 
*

## Enllaces esternos
 (n'inglés).
* Soluciones exactes d'Ecuaciones Diferenciales Ordinaries
* Métodos de resolución d'Ecuaciones Diferenciales Ordinaries