CRITERIO DE TURBULENCIA Y ESTIMATIVAS DE LA ECUACIN

BURGERS
JORGE HORNA MERCEDES, JONY DIONICIO VEREAU, RAL MARTINEZ ZOCN,

AZUCENA ZAVALETA QUIPUSCOA

Resumen. A lo largo de la historia el estudio de turbulencia en

dinmica de uidos, no ha conseguido lograr una denicin nica o criterio terico para este importante fenmeno. En este
artculo, resolveremos en una y dos dimensiones la ecuacin clsica
de dinmica de uidos, la ecuacin de Burgers y aplicaremos los
criterios de Turbulencia hecho por Ruelle [2], Muriel [3] y Getreuer,
Albano y Muriel [6]. Adems daremos algunas estimativas de la
ecuacin de Burgers.
Palabras Claves. Ecuacin de Burgers, turbulencias, estimativas.
1. Introduccin. Las ecuaciones diferenciales parciales, expresan muchas leyes fundamentales de la naturaleza. Uno de los principales impulsos para el desarrollo de
las ecuaciones diferenciales parciales ha sido el estudio de problemas de propagacin
de ondas, estos problemas se originan en diversas reas de la matemtica aplicada,
fsica e ingeniera, incluyendo dinmica de uidos, ptica no lineal y mecnica de
slidos. En esa diversidad, las ecuaciones de Navier-Stokes, son las que modelan el
movimiento de uidos perfectos y viscosos incompresibles pero nuestra atencin y
punto de partida es el estudio de la ecuacin de Burgers, que resulta ser la ecuacin
Navier-Stokes, sin gradientes de presin y volumen de fuerza.
La ecuacin de Burgers:
ut + uux = vuxx ,
1

v > 0,

(1)

fue presentada por J.M. Burgers como el modelo ms simple para las ecuaciones
diferenciales del ujo de uido, posteriormente E. Hopf (1950) discuti las propiedades
de la solucin de la ecuacin Burgers transformando la ecuacin, en la ecuacin de
calor (transformacin Cole - Hopf) [15].
La ecuacin de Burgers aparece en la dinmica de gases y ujos de trco y que
sirve como prototipo de ecuacin de ondas no lineal para estudiar las llamadas
Ondas de Choque que son discontinuidades que pueden aparecer en tiempo nito y despus se propagan de manera regular. La ecuacin de Burgers se utiliza a
menudo como la ecuacin ms sencilla que exhibe los efectos no lineales de una
distribucin de energa y los efectos difusivos de la viscosidad sobre una regin localizada para la propagacin plena. Una propiedad til de la ecuacin de Burgers
es que para ciertos valores del tiempo y viscosidad, la solucin exacta puede ser
generada numricamente usando la transformada de Cole-Hopf y permite ver la
ecacia de los mtodos numricos comparando con la solucin exacta. Esto explica la gran cantidad de trabajos que se han hecho al respecto; la propagacin de
caos para la ecuacin de Burgers ([16]), [20]), la dinmica en soluciones espectrales
de ecuaciones de Burgers [2], la ecuacin de Burgers, tambin est asociada a la
dinmica poblacional [21].
Uno de los fenmenos mas interesantes en dinmica de udos es el de turbulencia. Hasta el momento no hay un nico criterio terico universalmente aceptable
para la ocurrencia de turbulencia. Sin embargo Ruelle [2] conjetur que cuando
la derivada de la velocidad con respecto al tiempo tiende al innito, el sistema
se forma turbulento. Un criterio menos exigente fue puesto por Muriel [3], el cual
la velocidad cambia de orientacin, puede resultar turbuelencia, criterio que ha
sido observado por experimentos [4,5]. El criterio mas reciente es hecho por Ge2

treuer, Albano y Muriel [6], un campo de velocidad multivaluada puede representar

turbulencia. En este trabajo analizamos cada una de las conjeturas usando como
modelo la ecuacin de Burgers. Adems daremos algunas estimativas de la ecuacin
de Burgers.
2. Material y Mtodos
2.1. La Ecuacin de Burgers. Criterios de Turbulencia
La ecuacin de Navier-Stokes puede ser escrita por:
(

v
+ (v.)v
t

)
= p + .T + f

(1)

Donde representa densidad masa del uido, v es la velocidad, p es la presin,

T es el tensor fuerza, y f representa la suma de otras fuerzas.
Hacemos las siguientes simplicaciones
.T = 2 v

(2)

f =0

(3)

= 0

(4)

en otras palabras consideramos un uido incompresible (2) sin fuerzas externas (3) ni gradiente de presin (4). Resultando la ecuacin de Burgers
(

v
+ (v.)v
t

)
= 2 v,

(5)

En nuestro estudio primero consideramos el caso estacionario y unidimensional, es decir

v
v
x

y su solucin est dada por

v(x) =

2C1
tan

2v
,
x2

)
2C1
(x + C2 ) .
2

(6)

(7)

Imponiendo condicin de frontera peridicas

v(x) = v(x + L),

(8)

obtenemos el valor de la constante C1 :

C1 =

2 2 k 2
,
L2

k Z,

k = 0

(9)

Adems agregamos que v(0) = 0, obtenemos

2k
vk (x) =
tan
L

kx
L

)
.

(10)

Se ha obtenido una familia de soluciones indexadas por el entero k. Esto

signica que el campo de velocidad puede ser ahora ser considerado como
una ecuacin multi-valorada.
Ahora tenemos el caso anterior pero en dos dimensiones
(

)
( 2
)
ux
ux 2 ux
ux
ux
+ uy
=
+
x
y
x2
y 2
(
)
( 2
)
uy 2 u y
uy
uy
ux
+ uy
=
+
x
y
x2
y 2

(11)

(12)

Donde la funcin velocidad est dada por = ux i + uy j = (ux , uy ). Las

soluciones para este sistema de ecuaciones diferenciales estn dadas por:
ux (x, y) = C4 + C5 tanh(C1 + C2 x + C3 y)
uy (x, y) =

C2 C4 C2 C5 + 2u(C22 + C32 )

tanh(C1 + C2 x + C3 y)
C3
C3

(13)
(14)

Las constantes arbitrarias C1 , C2 y C3 son imaginarias, (es decir, Cj = ikj ,

donde kj es real) dejando una tangente hiperblica para ser transformada en
una funcin tangente:
ux (x, y) = C4 + C5 tanh(k1 + k2 x + k3 y)
4

(15)

uy (x, y) =

k2 C4 k2 C5 + 2u(k22 + k32 )

tanh(k1 + k2 x + k3 y)
k3
k3

(16)

Ahora podemos imponer la condicin de frontera a lo largo de las direcciones

x, y similar al realizado en el caso unidimensional, obteniendo
(

kx
ky
ux (x, y) = k4 + k5 tan k1 +
x+
y
Lx
Ly
uy (x, y) =

Ly ( kLx kx5 ,2(( Lkxx )2 + ( Lkyy )2 ))

ky

)
(17)

)
kx
ky
kx Ly k4
tan k1 +
x+
y
Lx
Ly
L x ky
(18)

Estas soluciones 2-dimensionales son ahora indexadas por dos enteros, kx y

ky , el cual puede ser considerada como multivaluada.
La ecuacin de Burgers dimensin uno dependiente del tiempo toma la forma
(

v
v
+v
t
x

)
=

2v
,
x2

(19)

con la correspondiente solucin

v(x, t) =

C3 2C2

tanh(C1 + C2 x + C3 t).
C1

Observamos que con la eleccin de parmetros C1 = 0, C2 =

(20)
ik
L

y C3 = 0,

la solucin (20) se reduce al resultado obtenido previamente (10). Adems,

haciendo las constantes arbitrarias C1 , C2 y C3 imaginarias como anteriormente, obtenemos una expresin involucrando a la tangente en vez de la
tangente hiperblica
v(x, t) =

k3 2k2

tan(k1 + k2 x + k3 t).
k2

(21)

La derivada con respecto al tiempo de la solucin (21) es

2k2 k3
v
=
(1 + tan2 (k1 + k2 x + k3 t)).
t

(22)

el cual se aproxima a innito para valores particulares de x y t.

En dos dimensiones, las ecuaciones de Burgers dependientes del tiempo son
(

ux
ux
ux
+ ux
+ uy
t
x
y
uy
uy
uy
+ ux
+ uy
t
x
y

(
=

(
=

2 ux 2 ux
+
x2
y 2
2 u y 2 uy
+
x2
y 2

)
,

(23)

(24)

Con las correspondientes soluciones

ux (x, y) = C3 C6 + 2(C22 + C32 ) tanh(C1 + C2 x + C3 y + C4 t)

C4 + C3 C5
C2
(25)

uy (x, y) = C5 + C6 tanh(C1 + C2 x + C3 y + C4 t)

(26)

Podemos elegir constantes imaginarias con el propsito de que la tangente

hiperblica transforme la funcin en la tangente. Las soluciones transformadas
son
ux (x, y) =

k3 k6 + 2(k22 + k32 )
k4 + k3 kk5
tan(k1 +k2 x+k3 y +k4 t)
, (27)
k2
k2
uy (x, y) = k5 + k6 tan(k1 + k2 x + k3 y + k4 t).

(28)

Las derivadas con respecto al tiempo de las soluciones transformadas son

ux
k4 (k3 k6 + 2(k22 + k32 ))
=
(1 + tan2 (k1 + k2 x + k3 y + k4 t)),
t
k2
uy
= k4 k6 (1 + tan2 (1 + tan2 (k1 + k2 x + k3 y + k4 t))).
t

(29)
(30)

Para ciertos valores de y, x y t las derivadas (29) y (30) tiende al innito. Que
de acuerdo al criterio de Ruelle presenta turbulencia.
2.2. Ecuacin de Burgers: Existencia Local
Consideremos la ecuacin de Burgers para su discusin
= constante,

ut = uux + uxx ,
u(x, 0) = f (x),

>0
(1.1)

f C ,
6

f (x) f (x + 1)

para ello consideremos, el esquema iterativo

+ un+1
utn+1 = un un+1
x
xx ,
u

n+1

= constante,

>0
(1.2)

(x, 0) = f (x),

n = 0, 1, 2, 3, . . .

donde u0 (x, t) f (x). La funcin un puede ser mostrada que converge y su

lmite puede resolver (1.1).
2.3. Unicidad
Lema 1. El problema de Cauchy peridico (1.1) tiene a lo ms una solucin
clsica.
Prueba.
Sean u y v soluciones. La diferencia w = u v satisface
1
wt = (w)x + wxx ,
2

= u + v,

w(x, 0) = 0

De
w, (w)x = w, x w + wx = w, x w (w)x , w
uno encuentra que
1
w, (w)x = w, x w,
2

(1.3)

y luego
1 d
1
w, w = w, wt = w, (w)x wx , xx
2 dt
2
1
= w, x w wx , wx
4
1
= |x | w, w
4
La condicin inicial w(x, 0) = 0 implica w 0.
2.4. Algunas Estimaciones
Sea u una solucin C de (1.1) denida para 0 t T . Observamos que
1 d
u, u = u, uux ux 2 .
2 dt
7

Como
u, uux = u2 , ux = 2u, uux ,
tenemos

d
u, u 0 y obtenemos
dt
u(., t) u(., 0) = f ,

0 t T.

Para mostrar las estimaciones, usamos la notacin uj = j u/xj . As

u1t = (uux )1 + u1xx ,
y
1 d
u1 , u1 = u1 , (uux )1 u2 2
2 dt
1
= u1 , u21 u2 2
2
1
|u1 | u1 2 u2 2 .
2
De acuerdo a lo anterior
|u1 |2 u1 2 + 2u1 u2 .
Adems, la estimacin
u1

1
u2
2

se deduce de la expansin de Fourier. Por lo tanto tenemos

|u1 | u2 .
La funcin u2 satisface
u2t = (uux )2 + u2xx ,
y por lo tanto
1 d
u2 , u2 = u2 , (uux )2 u3 2
2 dt
u2 , uu2x + 3u2 , ux u2
8

Desde que
u2 , uu2x = (u2 u)x , u2
= u2x u, u2 u2 ux , u2 ,
obtnemos
d
u2 , u2 u2 , ux u2 5|ux | u2 2 5u2 3 .
dt
Usando las notaciones
y(t) = u2 (., t)2 ,

(y) = 5y 3/2

tenemos la desigualdad diferencial

y (t) (y(t)),

0 t T.

Para estimar y(t), necesitamos el siguiente lema.

Lema 2. Sea C 1 [0, , con y(t) y y0 (t) que denotan funciones C 1 no
negativas denida para 0 t T . Si
y (t) (y(t)),

y0 (t) = (y0 (t)),

0tT

y(0) y0 (0),
entonces y(t) y0 (t) en 0 t T .
Prueba.

(y) (y0 ) =

(v)dv

y0

(y0 + (y y0 )s)ds (y y0 ).

=
0

Sea

(t) = y(t) y0 (t),

C(t) =
0

(y0 (t) + (y(t) y0 (t))s)ds

y
(t) (y(t)) (y0 (t)) = C(t)(t).
Si consideramos

( t
)
z(t) = exp
e( )d (t),
0

entonces z (t) 0 y z(0) = (0) 0. Por lo tanto z(t) 0, y adems (t) 0.

Para aplicar el lema, notamos que la solcin y0 (t) de
y0 (t) = 5y0 ,
3/2

y0 (0) = fxx 2

es creciente, y si y0 (0) > 0, entonces existe un T > 0 con

lm y0 (t) = .

tT

El lema previo nos da un lmite para u2 (., t) es cualquier intervalo 0 t

T < T . A u1 (., t) y u(., t) son tambin limitados para 0 t T < T .
Podemos resumir mediante.
Lema 3. Considere (1.1) con 0, existe un tiempo T > 0 y una constante
K2 , ambas dependiendo solamente sobre f H 2 , con la propiedad siguiente:
Si una solucin u(x, t) est denida para 0 t T entonces
u(., t)H 2 K2

en

0 t T.

Lema 4. Supongamos que u es una solucin C de (1.1) denida para 0

t T , T es jada como en el lema previo. Para j = 2, 3, . . . existe una
constante Kj , dependiendo solamente sobre f H j , con
u(., t)H j Kj

en

0 t T.

Prueba.
Usaremos la prueba de induccin sobre j. El caso j = 2 es tratado en el lema
10

previo; para j 3 tenemos:

ujt = (uux )j + ujxx
implica que
1 d
uj , uj = uj , (uux )j uj+1 2 .
2 dt
As

j
u uj+1 .
=0

(uux )j =

Los trminos uj , u uj+1 puden ser estimados como sigue:

Para = 1, . . . , j 2,
uj , u uj+1 |u | u2H j
uH j1 u2H j .
Para = j 1 y = j,
uj , u uj+1 |uj+1 | uH j uH
uH j1 u2H j
Para = 0,
uj , uuj+1 = (uj u)x , uj
= uj+1 u, uj uj ux , uj
Por lo tanto
1
uj , uuj+1 = uj ux , uj
2
uH j1 u2H j .

11

(j 3).

Si Cj es una constante numrica conveniente, encontramos que:

d
uj 2 Cj uH j1 u2H j
dt
Cj uH j1 (uj 2 + u2H j1 )
2
Cj Kj1 (uj 2 + Kj1
)

Puesto que tenemos limitado el espacio de todas las derivadas de u en 0

t T , podemos usar la ecuacin diferencial ut = uux + uxx para limitar
todas las derivadas con respecto a t y las derivads mixtas.
3. Resultados.
El problema de Cauchy 1-periodico para la ecuacin de Burgers tiene solucin
nica de clase C .
La ecuacin de Burgers satisface la conjetura de Ruelle.
La conjetura de Albano y Muriel es vericada por la ecuacin de Burgers.
Presentamos estimativas para el espacio de derivadas de u.
4. Conclusiones.
No existe un crterio teorco universal que sea nico para la ocurrencia de
turbulencia.
Las estimativas formuladas para la Ecuacin de Burgers estan denidas localmente.
Los crterios de turbulencia expuestos por Ruelle, Muriel y Getreuer, Albano
y Muriel son vericados por la Ecuacin de Burgers.
5. Agradecimiento. Los autores agradecen a todos los colegas y estudiantes que
contribuyeron a preparar este trabajo.
12

6. Referencias Bibliogrcas.
[1] R. Aebi. Propagation of Chaos in entropy, Kodai Math. J. Volume 19, Number 3, 308-321, (1996).
[2] M. Basto, F. Calheiros. Dynamics in Spectral Solutions of Burgers Equation. Journal of Computational and Mathematics. Volume 205, Issue (August
2007).
[3] H. Brzis. Anlisis Funcional Alianza Editorial S.A. Madrid, 1984.
[4] P. Calderoni, M. Pulvirenti. Propagation of Chaos for Burgers Equation,
Annals of Institute Henri Poincar, 39 No. 1 (1983), p. 85-97.
[5] P. Constantin, C. Foias, R. Teman. Attractors Representing Turbulent
Flows, Memoirs AMS; 53, 1985.
[6] G. Da Prato, J. Zabczyk. Ergodicity for Innite Dimensional Systems, London Mathematical Lecture Note Series (No 229) June, 1996.
[7] I. Davies, A. Truman, H. Zhao. Stochastic Heat and Burgers Equations
and Their Singularities II - Analytical Properties and Limiting Distributions, University of Wales Swanres, UK, 2004.
[8] C. Foias, O. Manley, R. Temam. Approximate Inertial Manifolds and Effective Viscosity in Turbulent Flows, Phys. Fluids A 3(5), 1991, 898-911.
[9] J. Fritz. Formation of Singularities in One-Dimensional Nonlinear Wave Propagation, Communications on Pure and Applied Mathematics, Volume XXVII, 377405, 1974.
[10] E. Gutkin, M. Kac. Propagation of Chaos and the Burgers Equation, Siam
Journal on Applied Mathematics (ISSN 0036-1399), vol. 43, Aug. 1983. p. 971-980.
[11] B. Goldys, B. Maslowski. Exponential Ergodicity For Stochastic Burgers
and 2D Navier-Stokes Equations, Discovery Grant DP0346406, the UNSW Facul-

13

ty.
[12] A. Gottlieb. Markov Transitions and the Propagation of Chaos, Computing
Sciences Directorate Lawrence Berkeley National Laboratory. December 1998.
[13] J. Hale. Dynamics of a Scalar Parabolic Equation, Quarterly Volume 12
(3&4) 1999, pp. 239-314.
[14] J. Hale, L. Magalhaes, W. Oliva. Dynamics in Innite Dimensions, Applied Mathematical Sciences Volume 47 2002, Springer- Verlag. New York, Inc.
[15] E. Hopf. The Partial Dierential Equation, Comm. Pure Appl. Math. 3, pp.
201-230.
[16] B. Jourdain. Propagation of Chaos and Poincar Inequalities for a System
of Particles Interacting Through Their Edf, The Annals of Applied Probability
2008, vol. 18, No 5, 1706-1736. Institute of Mathematical Statistics, 2008.
[17] T. Kato. Perturbation Theory of Linear Operators, Springer-Verlag, New
York, 1966.
[18] H. Kreiss, J. Lorenz. Initial-Boundary Value Problems and the NavierStokes Equations, Siam 2004.
[19] X. Lui. On Approximate Inertial Manifolds for Two and Three Dimensional
Turbulent Flows, J: Math. Annals. Appl. 63, 1992, p 559-580.
[20] R. Mikulevicias, B. Rozovskii. Stochastic Navier-Stokes-Equations, Propagation of Chaos and Statistical Moments, Center for Applied Mathematical Sciences 2001.

14