Flujo (matemáticas)

Ir a la navegaciónIr a la búsqueda

Flujo en el espacio de fase especificado por la ecuación diferencial de un péndulo. En el eje x, la

posición del péndulo, y en el y su velocidad.

Véase también: Red de flujo

En matemáticas, un flujo formaliza la idea del movimiento de las partículas en un
fluido. Los flujos son omnipresentes en la ciencia, incluida la ingeniería y la física.
La noción de flujo es básica para el estudio de las ecuaciones diferenciales
ordinarias. De manera informal, un flujo puede verse como un movimiento
continuo de puntos a lo largo del tiempo. Más formalmente, un flujo es una acción
grupal de los números reales en un conjunto.
La idea de un flujo vectorial, es decir, el flujo determinado por un campo vectorial,
se produce en las áreas de topología diferencial, geometría riemanniana y grupos
de Lie. Los ejemplos específicos de flujos vectoriales incluyen el flujo geodésico,
el flujo hamiltoniano, el flujo de Ricci, el flujo de curvatura media y el flujo de
Anosov. Los flujos también pueden definirse para sistemas de variables
aleatorias y procesos estocásticos, y ocurren en el estudio de sistemas
dinámicos ergódicos. El más célebre de estos es quizás el flujo de Bernoulli.

Índice

 1Definición formal

o 1.1Notaciones alternativas

 2Órbitas

 3Ejemplos

o 3.1Sistemas autónomos de ecuaciones diferenciales ordinarias

 o 3.2Ecuaciones diferenciales ordinarias dependientes del tiempo

o 3.3Flujos de campos vectoriales en variedades

o 3.4Soluciones de ecuación de calor

o 3.5Soluciones de ecuación de onda

o 3.6Flujo de Bernoulli

 4Véase también

 5Referencias

Definición formal[editar]
Un flujo en un conjunto X es una acción grupal del grupo aditivo de números
reales en X más explícitamente, un flujo es un mapeo
de modo que, para todas las x ∈ X y todos los números reales s y t ,
Es habitual para escribir φt(x) en lugar de φ(x, t) de manera que las
ecuaciones anteriores se pueden expresar como φ0 = Id (función de
identidad ) y φs ∘ φt = φs+t (ley grupo ). Entonces, para todo t ∈
ℝ el φt: X → X mapeo φt: X → X es una biyección con
inversa φ−t: X → X Esto se desprende de la definición anterior, y el
parámetro real t puede tomarse como una potencia
funcional generalizada, como en la iteración de la función.
Por lo general, se requiere que los flujos sean compatibles con
las estructuras proporcionadas en el conjunto X. En particular, si X está
equipada con una topología, generalmente se requiere
que φ sea continua. Si X está equipado con una estructura
diferenciable, generalmente se requiere que φ sea diferenciable. En
estos casos, el flujo forma un subgrupo de parámetros de
homeomorfismos y difeomorfismos, respectivamente.
En ciertas situaciones, también se podrían considerar flujos locales,
que se definen solo en algunos subconjuntos.
llamado el dominio de flujo de φ. Este es a menudo el caso de
los flujos de campos vectoriales.
Notaciones alternativas[editar]
Es muy común en muchos campos, incluidos la ingeniería,
la física y el estudio de ecuaciones diferenciales, usar una notación
que hace que el flujo sea implícito. Por lo tanto, x(t) se escribe
para φt(x0) , y se podría decir que la "variable x depende del
tiempo t y la condición inicial x = x0".
En el caso de un flujo de un campo vectorial V en una variedad
diferenciable X , el flujo a menudo se denota de tal manera que su
generador se hace explícito. Por ejemplo,

Órbitas[editar]
Dado x en X , el conjunto  se llama la órbita de x debajo de φ.
De manera informal, se puede considerar como la trayectoria de
una partícula que inicialmente se colocó en x. Si el flujo es
generado por un campo vectorial, entonces sus órbitas son las
imágenes de sus curvas integrales.

Ejemplos[editar]
Sistemas autónomos de ecuaciones diferenciales
ordinarias[editar]
Sea F: Rn→Rn un campo vectorial (independiente del
tiempo) x: R→Rn la solución del problema del valor inicial
Entonces φ(x0,t) = x(t) es el flujo del campo vectorial F. Es
un flujo local bien definido siempre que el campo
vectorial F: Rn → Rn sea continuo de Lipschitz.
Entonces φ: Rn×R → Rn también es Lipschitz-continuo donde
se define. En general, puede ser difícil demostrar que el
flujo φ está definido globalmente, pero un criterio simple es
que el campo vectorial F es compatible de manera
compacta.
Ecuaciones diferenciales ordinarias
dependientes del tiempo[editar]
En el caso de campos vectoriales dependientes del
tiempo F: Rn×R→Rn , uno denota φt,t0(x0) = x(t+t0) ,
donde x: R→Rn es la solución de
Entonces φt,t0(x0) es el flujo dependiente del tiempo
de F. No es un "flujo" según la definición anterior, pero
puede verse fácilmente como uno al reorganizar sus
argumentos. A saber, el mapeo.
De hecho satisface la ley de grupo para la última
variable:
Uno puede ver los flujos de campos vectoriales
dependientes del tiempo como casos especiales
de los independientes del tiempo mediante el
siguiente truco. Definir
Entonces y ( t ) es la solución del problema del
valor inicial "independiente del tiempo"
si y solo si x(t) es la solución del problema
del valor inicial original dependiente del
tiempo. Además, entonces el mapeo φ es
exactamente el flujo del campo
vectorial G "independiente del tiempo".
Flujos de campos vectoriales en
variedades[editar]
Los flujos de campos vectoriales
independientes del tiempo y dependientes
del tiempo se definen en variedades lisas
exactamente como se definen en el
espacio euclidiano ℝn y su comportamiento
local es el mismo. Sin embargo, la
estructura topológica global de una
variedad uniforme se manifiesta
fuertemente en el tipo de campos
vectoriales globales que puede soportar, y
los flujos de campos vectoriales en
variedades suaves son de hecho una
herramienta importante en la topología
diferencial. La mayor parte de los estudios
en sistemas dinámicos se llevan a cabo en
variedades lisas, que se consideran como
"espacios de parámetros" en las
aplicaciones.
Soluciones de ecuación de
calor[editar]
Sea Ω un subdominio (limitado o no) de
ℝ n (con n un número entero). Indica
por Γ su límite (supuesto suave).
Considere la siguiente ecuación de
calor en Ω × (0, T ), para T > 0,
con la siguiente condición de límite
inicial u(0) = u0 en Ω .
La ecuación u = 0 en Γ ×
(0,T) corresponde a la condición de
límite de Dirichlet homogénea. La
configuración matemática para este
problema puede ser el enfoque de
semigrupo. Para utilizar esta
herramienta, presentamos el operador
ilimitado ΔD definido en por su dominio
(ver los espacios clásicos de
Sobolev con  y
es el cierre de las funciones
infinitamente diferenciables con
soporte compacto en Ω para
el  normal).
Para cualquier , tenemos
Con este operador, la
ecuación de calor se
convierte en  y u(0) = u0 .
Por lo tanto, el flujo
correspondiente a esta
ecuación es (ver las
anotaciones anteriores)
donde exp(tΔD) es el
semigrupo (analítico)
generado por ΔD
Soluciones de
ecuación de
onda[editar]
Nuevamente, sea Ω un
subdominio (limitado o
no) de ℝ n (con n un
número entero).
Denotamos por Γ su
límite (supuesto suave).
Considere la
siguiente ecuación de
onda en (para T > 0),
con la siguiente
condición inicial u(0)
= u1,0 in y .
Usando el mismo
enfoque de
semigrupo que en el
caso de la Ecuación
de Calor anterior.
Escribimos la
ecuación de onda
como una ecuación
 diferencial parcial de
primer orden en el
tiempo mediante la
introducción del
siguiente operador
ilimitado,
con dominio en 
(el operador se
define en el
ejemplo anterior).
Introducimos los
vectores de
columnas.
(donde  y ) y
.
Con estas
nociones,
la
ecuación
de onda
se
convierte
en  y  .
Por lo
tanto, el
flujo
correspon
diente a
esta
ecuación
es 
 donde es
el
semigrupo
(unitario)
generado
por .
Flujo de
Bernoul
li[editar]
Los sistem
as
dinámicos 
ergódicos,
es decir,
los
sistemas
que
exhiben
aleatoried
ad,
también
exhiben
flujos. El
más
célebre de
estos es
quizás el
flujo de
Bernoulli.
El teorem
a del
isomorfis
mo de
Ornstein e
stablece
que, para
cualquier 
entropía 
H dada,
existe un
flujo φ(x,t) 
, llamado
el flujo de
Bernoulli,
de modo
que el
flujo en el
tiempo t =
1, es
decir , φ(x,
1) , es
un cambio
de
Bernoulli.
Además,
este flujo
es único,
hasta una
escala de
tiempo
constante.
Es decir,
si ψ(x,t) es
otro flujo
con la
misma
entropía,
entonces 
ψ(x,t)
= φ(x,t) ,
para
alguna
constante 
c. La
noción de
singularid
ad e
isomorfis
mo aquí
es la
del isomor
fismo de
los
sistemas
dinámicos.
Muchos
sistemas
dinámicos,
incluidos l
os billares
de Sinai y
los flujos
de
Anosov,
son
isomorfos
a los
cambios
de
Bernoulli.