CAUCHY-LIPSCHITZ

En las matemticas , especficamente en el anlisis , el teorema de

Cauchy-Lipschitz dice (o Picard-Lindelf en Ingls) se refiere a las soluciones
de una ecuacin diferencial . Bajo ciertos supuestos de regularidad la funcin
que define la ecuacin, el teorema garantiza la unicidad de una solucin para
una condicin inicial llamado Cauchy y la existencia de una solucin maximal .
Ciertas leyes fsicas, tales como el principio fundamental de la dinmica , dan
lugar a las ecuaciones diferenciales que satisfacen las hiptesis del teorema. A
continuacin, proporciona el carcter determinista mecanismo descrito por la
ley. El determinismo no siempre se traduce en la posibilidad de prediccin, la
teora del caos demuestra la existencia de posibles fenmenos incidentales .
Segn los autores, el teorema de Cauchy-Lipschitz se expresa de una manera
ms o menos fuerte. En una forma ms desarrollada, este teorema asegura
que la solucin vara de forma continua si se cambia la condicin inicial, y es la
misma si la funcin que define la ecuacin depende de forma continua en un
parmetro. Si la ecuacin se define por una funcin de clase C
p,
la solucin es
de la clase C
p + 1
. Este teorema se puede generalizar an ms al caso en que
la ecuacin diferencial ya no es con valores en un espacio de vector, pero en
una variedad diferencial .
Una primera versin se demuestra por Augustin-Louis Cauchy en la primera
mitad DEL
siglo XIX,
el uso de una tcnica de aproximacin descubierto
por Leonhard Euler en el siglo anterior. Rudolf Lipschitz declaracin
generalizada ampliando un poco de clase ecuaciones correspondientes. El
teorema sigue siendo slo una consecuencia de ser locales . Este es el final de
este siglo que las tcnicas han demostrado , y la declaracin del teorema, se
cambi profundamente. Siguiendo el trabajo de Lzaro Fuchs , los
matemticos mile Picard , Paul Painlev y Henri Poincar desarroll una
versin moderna del anlisis de las ecuaciones diferenciales. Esta visin ayuda
a proporcionar algunas respuestas en las soluciones de mximos, la
singularidad y la regularidad de la solucin. Una versin relativamente moderna
fue publicada en 1894 por Ernst Lindelof . El teorema muestra ahora
generalmente utilizando un teorema de punto fijo y el enfoque topolgico ,
clsico anlisis funcional .

Cauchy desarroll una primera versin del teorema del artculo.


DECLARACIONES

Las grficas de las funciones de las tendencias poblacionales de las ecuaciones de Lotka-Volterra forman
una particin de R +
2
.

En el resto del artculo, E es un espacio de Banach , un abierto de R E y f
es una funcin continua de E en . El objetivo es estudiar la ecuacin
diferencial de primer orden siguiente:

con la condicin de Cauchy C: x (t
0)
= x
0,
donde el par (t
0,
x
0)
es un elemento
de . (Es slo se ocupa de las ecuaciones diferenciales de orden 1, ya las de
orden n llevar all .)
Hay varias maneras de expresar el teorema de Cauchy-Lipschitz, que sigue:
Si la funcin f es localmente Lipschitz con relacin a la segunda variable , y
no es una solucin mxima a la ecuacin (1)respetando la condicin de
Cauchy C. Su definicin es intervalo abierto .
Se desprende de este teorema el siguiente corolario :
En las mismas condiciones que el teorema, cualquier solucin de la
ecuacin diferencial (1) respetando la condicin y C definida en un intervalo
es una restriccin de la solucin mxima.
Grficos de soluciones mximas forman una particin de .
Si f es una funcin de la clase C
p
, las soluciones son C
1 + p.

Cuando es un producto abierto E I, donde I es un intervalo abierto de R, el
Teorema de Cauchy-Lipschitz mundial complementa:
Si f es Lipschitz con relacin a la segunda variable (localmente a partir de
slo la primera), a continuacin, toda la solucin es mximo global (es
decir, se establece en cualquier nmero entero I).
El teorema de Cauchy-Lipschitz expresin tambin se utiliza para referirse a
otros resultados ms avanzadas. Es posible considerar no slo la solucin sino
tambin la funcin s que el par (x, t) asociada con la imagen de T por la
solucin igual a x en un tiempo t
0
funcin inicial. Obtenemos una funcin
llamada flujo . Si la funcinf es de clase C
p,
el flujo es demasiado. Tambin es
posible estudiar la regularidad de soluciones si la funcin f depende de un
parmetro.
Otros resultados, que no llevan el nombre de Cauchy-Lipschitz teorema se
presentan en el siguiente prrafo: Las generalizaciones .
Enfoque intuitivo
La idea detrs del teorema es la siguiente: Algunas ecuaciones diferenciales
tienen soluciones estacionarias. Por ejemplo, la ecuacin tiene la
solucin estacionaria para la condicin inicial . Por otra
condicin inicial La solucin estacionaria se alcanza despus
de un tiempo infinito, y la solucin es nica. Sin embargo, si la solucin
estacionaria se puede llegar en un tiempo finito, la singularidad es violada. Por
ejemplo, considere la ecuacin

Para la condicin inicial , Tenemos la solucin o solucin

Cabe sealar que la funcin tiene una pendiente infinita y
no cumple con la condicin de continuidad Lipschitz. La condicin de
continuidad Lipschitz elimina este tipo de ecuaciones diferenciales.
Determinismo y caos


Henri Poincar mostr que la naturaleza determinista de una ecuacin
diferencial que satisface el teorema de Cauchy-Lipschitz no impide la
incapacidad de algunas predicciones.
Para el matemtico Vladimir Arnold "Las ecuaciones diferenciales son la
columna vertebral de la concepcin cientfica del mundo" . En fsica,
ecuaciones diferenciales satisfacer una hiptesis muy generales del teorema
de la seccin , por lo que es la que rige la ley de la gravitacin universal y
la interaccin electromagntica . Estas ecuaciones son intrnsecamente
determinista y esto es una consecuencia del teorema de Cauchy-Lipschitz . El
determinismo, es decir la capacidad de la fsica para predecir, por ejemplo, la
trayectoria de los planetas, se conoca mucho antes de que el teorema. La
famosa cita de Voltaire atestigua: "Pero al ver el orden, artificio leyes
mecnicas y geomtricas prodigiosas que prevalecen en el mundo [...] Estoy
lleno de admiracin y respeto . ". Dedujo que "El caos es precisamente lo
contrario de todas las leyes de la naturaleza" . Curiosamente, los anlisis
detallados de fines DEL
siglo
XIX demuestran la relevancia de la naturaleza
determinista de las leyes fsicas y sin embargo, reducen la idea de Voltaire en
el estado de sueo.
Trabajos matemticos de este periodo muestran en realidad esa trayectoria,
siguiendo una ley fsica de esta naturaleza es nica y completamente
determinado. Por el contrario, los estudios de Poincar sobre la estabilidad del
sistema solar destacan la falta de motivacin. El matemtico dice:
"Una muy pequea causa, que se nos escapa, determina un riesgo
considerable de que no podemos no ver, y luego nos dicen que este efecto es
debido al efecto de la casualidad. Si supiramos exactamente las leyes de la
naturaleza y la situacin del universo en el momento inicial, podramos predecir
con exactitud la situacin de ese mismo universo en un momento
posterior. Pero, aun cuando las leyes naturales no tendran secretos para
nosotros, no podramos conocer la situacin aproximadamente. Si bien esto
nos permite predecir la situacin futura con la misma aproximacin, que es todo
lo que se necesita decir que se esperaba que el fenmeno, que se rige por las
leyes; pero no siempre es as, puede suceder que pequeas diferencias en las
condiciones iniciales producen muy grande en los fenmenos finales; un
pequeo error en la primera produccin de un gran error en el
pasado. Prediccin vuelve imposible, y tenemos el fenmeno fortuito. "
El Cauchy-Lipschitz indica claramente una prediccin perfecta es posible, pero
slo con sujecin a saber perfectamente la condicin inicial. Algunos sistemas
dinmicos son rpidamente motivo imprevisible indicado por la Poincar. El
trmino se utiliza ahora el caos para describir esta situacin. No sucede
constantemente, la de Poincar-Bendixson especifica un contexto en el que no
puede tener lugar, pero los supuestos son restrictivos y el resultado puede ser
generalizado .
Vocabulario
Varios trminos no son necesariamente intuitiva, este apartado establece las
definiciones.

Ecuaciones diferenciales genricos Vocabulario
Algunos del vocabulario utilizado para expresar el teorema es genrica a las
ecuaciones diferenciales o funcional . El trmino espacio de Banach denota un
espacio vectorial normado y completa , es decir, para la mtrica asociada con
la norma, cualquier secuencia de Cauchy converge . Un ejemplo sencillo es un
espacio vectorial real de dimensin finita de normado . Para facilitar la
comprensin, el lector puede imaginar que E denota el conjunto de los nmeros
reales . En el artculo, todos los espacios de Banach se consideran espacios
reales.
Una solucin de la ecuacin se refiere a veces utilizando la siguiente expresin,
tal como se encuentra comnmente en la literatura sobre la desigualdad de
Cauchy-Lipschitz:
Una curva integral de la ecuacin (1) es una funcin de un intervalo
de R E en el grfico de la que se incluye en y que es la solucin de
la ecuacin (1).
Ecuacin diferencial autnoma de primer orden
Hay un caso especial, donde la funcin f est definida en un correo abierto
y no en un abierto de R E. La ecuacin (1) se escribe a continuacin

denota una E abierta y la ecuacin se llama autnoma . Este caso
particular se estudia para demostraciones.
Vocabulario especfico
Otros trminos se utilizan ms especficamente en el contexto de la
desigualdad de Cauchy-Lipschitz. La ecuacin diferencial (1) generalmente
tiene varias soluciones. Por esta razn, una condicin especfica se puede
aadir:
Una condicin de Cauchy C es un par (t
0,
x
0)
elemento de . Una
funcin S define en un rango de valores de R y E en la solucin de la
ecuacin (1) satisface la condicin de si el intervalo de
definicin de Cauchy C contiene T S
0
y s (t
0)
= x
0.

Nota: En lugar de la condicin de Cauchy plazo, a veces se llama condicin
inicial . Los dos trminos son sinnimos.
Resolver el problema de Cauchy es encontrar una solucin de la ecuacin (1)
que satisface la condicin de Cauchy C. Esta definicin es algo intuitivo. Si los
modelos de ecuaciones diferencial de una corriente que fluye a travs de un
cuerpo de agua, es decir, en el instante t en el punto x y la corriente es igual a f
(t, p),es posible pedir de agua en un tapn en el tiempo t
0
en el punto x
0,
la
trayectoria del tapn es la solucin de la ecuacin. Existe una solucin para
cada par (t
0,
x
0
)

.

Una condicin de Cauchy no es suficiente para hacer que la solucin
nica. Consideremos el conjunto S de las soluciones de la ecuacin (1)
definidas en un intervalo. Este conjunto est provisto de una relacin de
orden (parcial). Una solucin de S s
1
es ms pequea que la solucin
de S
2 2
s cuando s es una extensin de
1
s.
Una curva S integral es mximo si dicho mximo para que la
relacin anterior, es decir que no se puede extender en una
estrictamente definida en un intervalo de solucin mayor.
El uso de una u otra forma del axioma de eleccin , mostramos que
cualquier solucin en S est limitada por una solucin de
mxima (de) . Esto asegura la existencia de una solucin maximal al
problema de Cauchy, y la equivalencia entre la singularidad y la
propiedad no es slo el mximo en S pero mxima entre las
soluciones de S que satisfacen la condicin inicial. El artculo sobre
la Cauchy-Peano-Arzela da ejemplos que muestran que la
singularidad no est generalmente garantizada. Que los supuestos
del teorema se cumplen, la funcin f debe tambin poseer una
propiedad de la regularidad:
La funcin f se dice localmente Lipschitz en comparacin a si la
segunda variable de , para todos (t
0,
x
0)
de , existe una
constante k 0 y un barrio de (t
0,
x
0)
en de la forma U V tal que
para todo t U, el mapa f (t, ) es K-Lipschitz en V, es decir:

Cuando abierto es un producto de I V, donde I es un
intervalo abierto de R y V una E abierta, una solucin de (1) se
llama global si se establece en un nmero entero I. Una solucin
integral obviamente mximo. Una hiptesis adicional asegura
recproco:
La funcin f se llama de Lipschitz con respecto a la segunda variable
si existe una funcin continua K: I R
+
tal que para todo t en I,
F (t, ) es K (t)-Lipschitz en V.
Ejemplos y usos
Campo Constant


En este ejemplo E es igual a la verdadera plano R
2.
La ecuacin diferencial es
autnoma, que se puede escribir como x '= f (x) donde f es la funcin constante
de valor v el vector de coordenadas (1, 0) = en] -3, 3
[2.
El dominio de f es
representado por el cuadrado azul a la figura de la derecha. Un mtodo de
representacin de la funcin f es dibujar los vectores f (x), donde x es un punto
en el campo, mediante la colocacin de su origen en el punto x.
Soluciones que satisfacen la condicin de Cauchy (0, x
0)
que se desea, aqu
son las coordenadas x de
0
(-2, 2). S es una solucin de la forma:

La solucin no puede salir de la campo, por lo tanto, la variable t toma
valores en necesariamente (-1, 5 ). La funcin f es continua y K-
Lipschitz en x, en este caso particular, k = 0. Teorema de Cauchy-Lipschitz
asegura que hay una curva integral nica que satisface una condicin de
Cauchy precisa, como aqu que propuesta por el par (0, x
0).
La grfica de esta
solucin se muestra en verde en la figura.
Ecuacin lineal

El teorema de Cauchy-Lipschitz mundial aplica un problema de Cauchy
asociado a una ecuacin diferencial lineal tiene una solucin global, que es
cualquier otra restriccin solucin.
Estudio de una curva integral


Grfica de la funcin logstica
El teorema de Cauchy-Lipschitz puede ser visto como una herramienta para el
estudio de una curva integral. Ilustra con un ejemplo de una funcin logstica se
define por el siguiente problema de Cauchy:


La ecuacin diferencial tambin se puede escribir x '= f (x) con
f (x) = x (1 - x). La funcin f es una funcin polinmica de grado 2 ceros 0 y 1 y
entre sus positivos races . El teorema de Cauchy-Lipschitz aplica
porque f es continuamente diferenciable tan localmente Lipschitz: para
cualquier condicin inicial, el problema de Cauchy tiene una solucin nica
mxima. En particular, cualquier solucin de la ecuacin diferencial que toma el
valor 0 o 1 es siempre igual al valor en el intervalo de definicin.
S la solucin maximal del problema de Cauchy arriba y] a, b [su intervalo de
definicin (con - a <0 <b + ). De acuerdo con el teorema de valor
intermedio , s (] a, b [) es un intervalo. Contiene s (0) = 1/2 a continuacin, de
acuerdo con la observacin anterior, contiene 0 o 1, por lo que est incluido en
( 0, 1 ).
El hecho de que s toma valores entre 0 y 1 indica que la derivada es
positiva. El s aplicacin es estrictamente creciente en] a, b [. As pues, tiene un
lmite en b c izquierda [1/2, 1] y su derivado est limitado por c (1 - c), lo que
demuestra que b = + (de lo contrario, podra extenderse en una solucin
definida en] a, b], lo que contradice la maximalidad de s). Desde s es limitada,
el nico valor posible + limitar su derivada es 0, lo que indica que c = 1 El
mismo razonamiento muestra que a = -. (El dominio de definicin de s es
igual a R) el lmite de s en - de 0
Por ltimo, se observa que la funcin que asocia a la t 1 - s (- t) es la solucin
del problema de Cauchy aun as es igual a s, lo que significa que la funcin
de s - 1/2 es impar. La ecuacin muestra que la abscisa es 0 el nico punto de
inflexin de la curva y que el derivado de s es igual a 0 a 1/4, estableciendo de
ese modo el grfico que se muestra a la derecha.
En el caso del ejemplo, se puede resolver la ecuacin diferencial y los mtodos
convencionales utilizados para el estudio de la curva integral, pero esto no
siempre es posible. Una ecuacin diferencial no necesariamente est hablando
de soluciones en forma de una expresin algebraica construida con funciones
bsicas.
POINCAR-BENDIXSON



En el plan, una ecuacin diferencial auto-de primer orden converge a un punto
o un ciclo lmite, como el ejemplo que se muestra aqu.
El uso de Cauchy-Lipschitz no se limita a la prctica la resolucin de
ecuaciones. Tambin sirve como una herramienta terica, por ejemplo, para
comprender mejor el comportamiento cuantitativo de una ecuacin
diferencial. Podemos considerar el caso de una ecuacin diferencial autnoma
en p R
2
que tiene una solucin peridica. La curva integral es un simple bucle ,
es decir que su grfica forman un bucle sin doble punto. Que ahora una
condicin de Cauchy correspondiente a un punto C en el bucle. El teorema de
Cauchy-Lipschitz indica que la curva integral maximal de cheques C s nunca
puede cruzar el bucle, si la funcin f que define la ecuacin es localmente
Lipschitz. La curva de sest limitada y si se supone que el dominio
de f contiene dentro del bucle, la curva nunca es demasiado lo hizo acercarse a
la orilla del campo. Esto es suficiente para demostrar que el dominio de
definicin de R s es el todo.
El Poincar-Bendixson permite ir ms all. Indica que la curva de s es o
convergentes o comportamiento se acerca ms de una funcin peridica. Esta
configuracin impide que la teora del caos .
El uso que se hace por el teorema nos permite entender cualitativamente el
comportamiento de una curva integral. Para estudiar la ecuacin diferencial
ms complejo, por ejemplo, ciertos sistemas dinmicos , este enfoque es
esencial. Hay de hecho ya no siempre es posible resolver explcitamente la
ecuacin, o incluso para aproximar la solucin durante largos perodos de
tiempo.
Fragmentos de la historia
Orgenes


Despus de estudiar muchos casos especiales, Euler estudi en su forma
general, la ecuacin diferencial de primer orden.
El origen de la cuestin abordada por el teorema es antigua, originalmente fue
llamado el "problema inverso de tangentes" .En cada punto en el espacio, una
lnea est asociado, el problema a ser resuelto es encontrar la curva que tiene
como tangente en cada punto, una de estas lneas, que corresponde a un
trmino en la ecuacin moderna auto diferencial de la forma x '= f
(x). Kepler es un iniciador de esta cuestin
[ref.

pobres]
en un estudio sobre la
capacidad de un barril de vino en 1615 . Si este problema se soluciona
matemticos como Descartes , Fermat y Roberval , que desarrollan este
enfoque en casos concretos, durante el
siglo XVII,
el paso esencial es la obra
de Newton y Leibniz con el descubrimiento del clculo infinitesimal . El enfoque
de Newton es obtener un resultado con una serie , Leibnitz tambin
buscar soluciones exactas en forma de primitivas funciones conocidas .
El prximo siglo es el objeto de estudio sistemtico. Al principio "El ingenio se
ha gastado para reducir a cuadraturas innumerables ecuaciones especiales y
diferenciadas segn lo escrito por Paul Painlev : Onda detuvo cuando lo nico
que se integra en los problemas naturales se integr . " . Euler en 1768 estudi
la manera de aproximarse a una solucin .Estudi el caso especial x '(t) = f (t) y
busca una solucin en un intervalo [a, b]. Para ello, se divide el intervalo
utilizando unasecuencia a = a
0,
a
1, ...,
a
n
y b =, si c es miembro del
intervalo [a
i,
a
i + 1],
propuso la siguiente aproximacin:

En el caso ms general de la ecuacin x '(t) = f (t, x (t)), utilizar el mismo
mtodo, lo que da:

Euler no se plantea la cuestin de la convergencia si el corte es cada vez ms
extremo.
Las contribuciones de Cauchy y Lipschitz


Rudolf Lipschitz generaliza el resultado de Cauchy .
Augustin Louis Cauchy ( 1789 - 1857 ) estableci los primeros resultados
generales. Al principio, l dice que su mtodo: "En mis conferencias impartidas
en la Escuela Politcnica, como en la mayora de los libros o artculos que he
publicado en el clculo integral, que pens que debera invertir este orden y
colocar en En primer lugar la investigacin, y no integrales generales, pero en
particular; asegurar que la determinacin de las constantes o funciones
arbitrarias [para la ecuacin diferencial parcial ] ya no se separ de las
integrales de bsqueda . "Qu enfoque Cauchy describe aqu se formaliza por
el problema de Cauchy.
El uso de la formalizacin del concepto de lmite en Bolzano , su enfoque le
permite ir ms all. La pregunta x '= f (x) en el intervalo [a, b], si le aadimos
Cauchy condicin x (a) = x
0,
cambia su naturaleza. Ya no est buscando un f
primitivo, pero el clculo de una integral. Se muestra que, con la notacin del
prrafo anterior, si una
i 1
- una
i
tiende a 0 y si f es continua, la aproximacin
converge. Este enfoque se aplica a la ecuacin x '(t) = f (t, x (t)) donde f y su
diferencial, se limita y continua, con las mismas condiciones, todava obtener
una convergencia. Esta es la primera versin del teorema del artculo. En 1835,
su mtodo se generaliza a las funciones holomorfas .
Rudolf Lipschitz ( un mil ochocientos treinta y dos - mil novecientos
tres ) muestra la misma direccin que su predecesor Cauchy, sin saber con
claridad el contenido de su obra. Slo implica que f tiene un diferencial continuo
y limitado slo si cumple la condicin de que ahora lleva su nombre. Cauchy
us en su demostracin misma propiedad original, pero dedujo usando uno de
sus descubrimientos, l particularmente encariado con el teorema
,
.
Formalismo moderno
EL final
del siglo
XIX FUE TESTIGO DE un cambio profundo en el teorema, como en la
forma de demostrar que en el enriquecimiento de sus contenidos necesarios
para comprender mejor la ecuacin diferencial.
Siguiendo el trabajo de Fuchs , los objetivos se vuelven ms ambiciosos. Paul
Painlev y mile Picard interesado en el caso general de las ecuaciones
diferenciales de primer y segundo orden y por lo tanto sus
singularidades
,
. Objetivos "de Henri Poincar son ms generales, como
resultado de un estudio sobre la estabilidad del sistema solar, que tiene por
objeto establecer una teora general que se denominar Sistema
Dinmico . Dada la imposibilidad de establecer soluciones explcitas, Poincar
fund la base para una teora cualitativa . Los objetivos son, en primer lugar, el
estudio de las singularidades y el comportamiento asinttico (es decir, el
estudio de la conducta una vez que el sistema estabilizado) y la sensibilidad a
las condiciones iniciales.
Para alcanzar estos nuevos objetivos, formulacin o Cauchy Lipschitz teorema
se vuelve insuficiente. Ahora queremos elementos globales de respuesta en las
curvas integrales y no slo un resultado local. Las preguntas sobre la
regularidad de la solucin se vuelven esenciales. Finalmente, se busca
determinar la naturaleza de la modificacin de la curva integral como una
funcin de un cambio en la condicin inicial o el parmetro de la ecuacin . Los
mtodos para lograr este enfoque radicalmente diferente, que estudi el lmite
de Cauchy de la funcin poligonal ideado por el comportamiento de Euler. Se
acercan el anlisis funcional, el contexto del estudio es ahora un espacio
funcional con propiedades geomtricas. Teorema de la fuente de la prueba es
que el punto fijo , su forma original es obra de Picard , este teorema se ve
ahora como una propiedad general de espacios vectoriales individuales,
formalizada por Stefan Banach . Su aplicacin al teorema del artculo es el
trabajo del matemtico finlands Ernst Lindelf en 1894. Por esta razn, el
teorema lleva el nombre de Francia Cauchy Lipschitz y toma el nombre en el
idioma Ingls Picard-Lindelf teorema .
Las generalizaciones
Hay muchas generalizaciones del Cauchy-Lipschitz. Las tcnicas utilizadas
para permitir la manifestacin de ir ms all en el anlisis de las soluciones de
una ecuacin diferencial. Un rpido anlisis muestra que una solucin es
continuamente diferenciable, pero nada muestra lo que ocurre si la funcin f es
regular. Se muestra que si f es de clase C
p,
las soluciones mximas son
demasiado. La rama de las matemticas que estudian un sistema dinmico a
dos preguntas fundamentales: cul es el comportamiento de una curva
integral si t se aproxima a los lmites del dominio de definicin? Y cul es la
sensibilidad a las condiciones iniciales? es decir lo que suceder si x
0
sufre un
pequeo cambio.
Por ltimo, el artculo se supone que E es un espacio de Banach , que no es el
nico caso estudiado. En algunas situaciones es til considerar E como
un colector de diferencial . Teoremas transponer fcilmente en este nuevo
mundo .
Flujo



Para estudiar la sensibilidad inicial, se estudia el flujo que permite afirmar una
versin ms fuerte del teorema del artculo.
Uno de los objetivos del estudio de los sistemas dinmicos es la sensibilidad a
la condicin de Cauchy. El vocabulario y la representacin geomtrica es algo
diferente de lo que se ha utilizado hasta ahora.Para entender el origen, la forma
ms fcil es imaginar que es un agua y R representa el tiempo. El agua se
agita por una corriente, representado por la funcin f , llamado el campo
vectorial . En dimensin 2 muestra el campo vectorial mediante la asociacin
de ciertos puntos x de E una representacin grfica de los vectores f ( x ) (si el
campo vectorial no depende del tiempo t ), la imagen de la figura de la derecha
. Una curva integral que satisface la condicin de Cauchy C puede ser
imaginado como el camino de un tapn colocado en el agua en el tiempo t
0
a
la posicin x
0
. Para de repente todas las soluciones de la ecuacin diferencial,
es suficiente conocer el movimiento de la superficie del agua, llamado flujo , de
fundicin o de corriente
34
.
Con este concepto, el de Cauchy-Lipschitz toma una nueva forma:
Si f es continua y localmente Lipschitz de la segunda variable, el flujo es
continuamente diferenciable con respecto a la primera variable y de Lipschitz
localmente con relacin a la segunda.
Es posible ir ms lejos, si f es ms regular.
Si f es de clase C
p
, el flujo es demasiado.
Esta forma del teorema es ms fuerte que el anterior. Se muestra la regularidad
de las soluciones bajo la accin de una pequea modificacin de la condicin
de Cauchy. Esta declaracin garantiza la ausencia de algn tipo de caos . Las
bifurcaciones son imposibles, ya condicin de que t no crece demasiado, las
trayectorias permanecen cerca si la condicin de Cauchy se modifica
ligeramente. Sin embargo, si el campo vectorial evoluciona con el tiempo o
si E es de dimensin estrictamente mayor que dos, otra forma de caos puede
asentarse.
Las formas precisas de teoremas y demostraciones se dan en el artculo
detallado.
Cauchy-Peano-Arzela

Una bola que rueda sobre un medio cilindro.
Al final de la XIX

siglo, Giuseppe Peano , un matemtico italiano, especula

sobre las posibles generalizaciones del teorema de Cauchy-Lipschitz bajo
supuestos dbiles
35
: qu pasar si la funcin f que define el La ecuacin (1),
pero todava sigue no es localmente Lipschitz-con relacin a la segunda
variable de?
Una ubicacin fsica correspondiente a este caso es una bola que rueda sobre
el borde de friccin sin un techo de V invertida de las ramas de pendiente
constante. Nota x de coordenadas de la direccin transversal (perpendicular a
la cresta) y no de la coordenada longitudinal (paralelo al borde). Mediante la
aplicacin de las leyes de la mecnica, se obtiene una ecuacin diferencial
autnoma de primer orden en R
2
, si tenemos en cuenta slo las soluciones
que se inclinan hacia los valores positivos de x :

Si t
0
es un real positivo, todas estas soluciones satisfacen la ecuacin anterior,
la misma condicin de Cauchy, a saber, que el slido es en el tiempo 0, en la
posicin (0,0):

Otros ejemplos se dan en el artculo detallado.
Aqu, tomamos nota de que si la singularidad ya no es vlido, permanece
verdadero. Ms en general, si la funcin f en la ecuacin (1) est limitada y
continua, si Ees de tamao finito, se garantiza la existencia de una
solucin. Este resultado se llama Cauchy-Peano-Arzela .
Cuando se asocia criterio de singularidad "de Osgood (en)
36
, obtenemos la
misma conclusin que Cauchy-Lipschitz bajo supuestos dbiles.
Extensin a las PDE
La generalizacin del teorema para ecuaciones diferenciales parciales asume
supuestos ms fuertes para los ingresos ms bajos. La funcin f que define la
ecuacin debe ser analtico , as como condiciones de contorno que sustituyen
a la desigualdad de Cauchy. No se proporciona informacin en el caso de un
cambio en las condiciones de lmite o parmetro. Este teorema se
llama: Cauchy-Kowalevski .
Demostraciones
Prembulo


La secuencia ( u
n
) converge uniformemente que contiene un intervalo
[-5 / 2, 5/2]. El lmite se muestra en rojo.
Para entender el mecanismo de la evidencia, ilustrarlo en un caso especial de
la ecuacin diferencial que define la curva logstica , con la condicin de
Cauchy C :

Se define una secuencia de funciones polinmicas ( u
n
) por induccin:

En el intervalo [-5 / 2, 5/2], la secuencia ( u
n
) converge uniformemente . El
lmite es un punto de la funcin en el que una funcin continua fija f [-5 / 2,
5/2] en R combina la funcin
f
:



Reiterando el mismo mtodo, se obtiene finalmente una solucin de mxima.
Diferenciando la igualdad
U
= U , comprobamos que u es una solucin de la
ecuacin diferencial y estudiado por la construccin u (0) = 1/2. Este es el
enfoque de la prueba de Lindelf . Seal que si se selecciona el intervalo, la
funcin satisface la condicin de Lipschitz con una estrictamente menor que
1, se est contrayendo, lo que permite utilizar el coeficiente teorema del punto
fijo . Como una aplicacin de Contratacin admite un nico punto fijo, la
singularidad de una solucin local se demuestra.
Este mtodo le permite encontrar localmente una solucin. Sin embargo, para
el valor 3, la secuencia ( u
n
) diverge. Sin embargo, nada nos impide repetir el
mismo proceso con las dos condiciones de Cauchy (5/2, u(5/2)) y (-5 / 2, u (-5 /
2)), se hace posible extender la solucin. De izquierda a repetir el proceso
infinito de veces, se obtiene finalmente una solucin de mxima.
La ventaja de este enfoque es principalmente terica. En el caso particular del
ejemplo, que es fcil de integrar directamente la ecuacin diferencial. En el
caso general, hay maneras ms rpidas de obtener una aproximacin de la
solucin, como el Euler describe en "Fragmentos de la historia" parte o la
Runge-Kutta . Sin embargo, es posible demostrar en el marco general del
teorema de la seccin una funcin integrada de la misma manera que
est contrayendo , lo que demuestra la existencia y unicidad de una solucin
de punto fijo la ecuacin diferencial. Este enfoque, caracterstica del anlisis
funcional , se utiliza para demostrar un fuerte que haba demostrado resultado
de Cauchy.
Local solucin de una ecuacin diferencial autnoma
En lugar de abordar directamente el caso general, es ms fcil tener en cuenta
slo una ecuacin diferencial autnoma sin parmetros
37
. Ms formulaciones
generales del teorema se pueden deducir de este caso particular.En este
prrafo, la funcin f no depende de la variable t , en otras palabras, la ecuacin
(1) se puede escribir: x ' ( t ) = f ( x ( t )) y medios de mantenimiento de una
abierta E . Si s ( t ) es una solucin, tomamos nota de que la aplicacin
a t asocia s ( t + t
0
) es tambin una solucin, si t
0
es cualquier nmero
real. Por esta razn podemos y sin prdida de generalidad suponer que t
0
= 0,
lo que equivale a elegir la condicin de Cauchy C : x (0) = x
0
.
El objetivo de esta seccin es mostrar que la ecuacin (1) admite una solucin
nica a nivel local que satisface la condicin de Cauchy C . Supongamos
que f es localmente Lipschitz. Desde est abierto, hay una estricta real
positiva de un tal que la bola , que se denota B , centro cerrado x
0
y el
radio tiene que ser incluido en y tal que la restriccin a la bola de la
funcin f es k -Lipschitz para algunos k . O soy un lmite superior finito de la
norma de f sobre B (hay porque f es k -Lipschitz en B ). Por ltimo, dejar
que b estrictamente positivo, lo suficientemente pequeo que bm a y bk <1
Esta realidad. b se utiliza para definir un espacio F de las funciones en la que
se construye una aplicacin satisface el teorema del punto fijo :
F es el espacio de aplicaciones continuas de [- b , b ]
en B , con la norma de la convergencia
uniforme. Es completo porque B es
es la aplicacin que cualquier funcin U de F combina
la funcin
U
definida por:

Se necesitan dos lemas para aplicar el teorema del punto fijo:
Lema 1 - El funcin toma valores en F .
Una aplicacin se dice Contratante cuando -Lipschitz con estrictamente
menor que 1.
Lema 2 - El es contractiva.
Los supuestos del teorema del punto fijo estn satisfechos, se deduce que
tiene un nico punto fijo s en F . Tomando nota de que la funcin asociada a
f ( s ()) es continua, se sigue que s es una aplicacin diferenciable con
continuidad y derivada igual a f ( s ()). Diferenciando la igualdad definiendo

s
, deducimos la existencia y unicidad de una funcin F que satisface:

Se demuestra, as como para todos los [0, b ], existe en [-, 0] y [0, ], una
solucin nica con valores en B del problema de Cauchy. Por ltimo, para
demostrar la izquierda singularidad local y derecho, queda por demostrar el
siguiente lema:
Lema 3 - Para cualquier [0, b ], una solucin en [-, 0] o [0, ] del problema de
Cauchy es necesariamente con valores en B .
Todo esto se resume en una primera teorema:
Teorema - Hay en [- b , b ] una solucin del problema de Cauchy que consiste
en la ecuacin (1) y la condicin inicial C , y cualquier solucin en un sub-
intervalo (que contiene 0) es una restriccin.
Si f es de clase C
p
, entonces el derivado de s se compone de dos
aplicaciones diferenciables y es diferenciable. Poco a poco, se deduce que la
derivada de s es diferenciable p veces diferenciable como que consta de dos
aplicaciones por vez. Esto demuestra que s es de clase C
p
.
Un mtodo prctico para encontrar el punto fijo es la construccin de una
sucesin ( u
n
) que satisface la relacin de recurrencia: u
n 1
=
una
, resultado
necesariamente convergen al punto fijo. Esta tcnica se utiliza en el prembulo.

Demostracin de tres lemas
38

Solucin mxima de una ecuacin diferencial autnoma
Con la excepcin de la unicidad de la solucin local, el prrafo anterior se
resumen los resultados que se muestran en el momento de Cauchy
Nota 10
. No
ofrece ninguna informacin sobre la existencia o la singularidad de una
solucin que satisface la mxima Cauchy condicin C . Estos resultados ms
adelante, se resumen en la siguiente proposicin y el teorema
39
,
respectivamente demostrado por la existencia y la unicidad del teorema local
de arriba, si f es autnomo:
Movimiento - El intervalo de la definicin de una solucin mximo de la
ecuacin (1) es abierto.
Teorema - No existe una solucin nica mxima del problema de Cauchy que
consiste en la ecuacin (1) y la condicin C .
En otras palabras, ( cf. "vocabulario especfico" ), este problema no slo ha
mximo, pero mximo solucin, es decir que cualquier solucin definida en un
intervalo es una restriccin. Ms aqu, gracias a la singularidad local, podemos
reprender directamente barato que cualquier solucin tiene una solucin de
mxima extensin.

Demostraciones
Ecuacin diferencial no-autnomo
El uso de un conjunto de escritura
40
, es posible generalizar el caso anterior las
ecuaciones dependientes del tiempo particulares. La ecuacin (1) del teorema,
junto con la condicin de Cauchy es ahora considerado C . Deje g , la funcin
en el espacio de Banach R E definido por:

Si y
0
es el punto de igual a ( t
0
, x
0
), consideramos la ecuacin diferencial y
la siguiente condicin de Cauchy:

La funcin g es localmente Lipschitz cuando f es. De hecho, g ( y
1
) - g ( y
2
)
= f ( y
1
) - f ( y
2
) .
Sin embargo, el teorema general no se puede deducir de inmediato a partir de
la observacin, porque su declaracin no implica que f es localmente Lipschitz,
slo que f es continua y localmente Lipschitz con respecto a la segunda
variable
41
. De hecho, para darse cuenta de que estos presupuestos son
suficientes, basta con sealar que el carcter Lipschitz interviene slo dos
lugares en la prueba.
En primer lugar, es necesario que la imagen g bola B se incrementa. Ntese en
primer lugar, con la indicacin de los prrafos anteriores, la funcin [ t
0
-
b , t
0
+ b ]en R
+
que en t asociado f ( t
0
, x
0
) - f ( t , x
0
) es continua y
definida en un compacto , por lo que aument. Que m
1
como lmite
superior. Vamos a demostrar que g es acotada en B . Deje y igual a ( t , x )
desde el punto B :

Tenemos as una cota superior de la norma de g ( y ) independientemente
de y si no es un elemento de B .
El segundo lugar de la manifestacin en la que aparece el personaje Lipschitz
es la que prueba que la funcin (ahora se define mediante la funcin g ) se
est contrayendo. Esta vez, F es el conjunto de funciones u
1
, de [ t
0
-
b , t
0
+ b ] en B , que en t asociado ( t , u ( t) ) donde u es una funcin con
valores de E . Los mismos clculos muestran que F es estable por y se
est contrayendo. Para demostrar que es contractiva, seguimos
considerando dos funciones u
1
y v
1
enF :

Soluciones de mxima y soluciones globales
Se supone aqu que el abierto es de la forma I Informacin E ,
donde me es un intervalo abierto de R . Una solucin completa (es decir,
ajustado a que en su conjunto) de la ecuacin (1) es obviamente mximo, pero
lo contrario no es cierto en general, como se muestra en el ejemplo de la
ecuacin x '= x
2
. Varios teoremas "escape" o "explosin", a veces
unida Grnwall lemma , suficientes para dar este tipo de condiciones de
reciprocidad, pero la siguiente declaracin, que es suficiente, por ejemplo, en la
teora de ecuaciones diferenciales lineales , se demuestra directamente:
Teorema de Cauchy-Lipschitz global - Si f (ajustado en I Informacin E ) se
compara con la segunda variable Lipschitz (localmente desde slo el primero),
a continuacin, toda la solucin de mxima (1) es general.