Escolar Documentos
Profissional Documentos
Cultura Documentos
PROFESOR GUIA:
CARLOS CONCA ROSENDE
MIEMBROS DE LA COMISION:
TAKAHASHI
TAKEO
RAJESH MAHADEVAN
JORGE SAN MARTIN
MARIUS TUCSNAK
MUTHUSAMY VANNINATHAN
SANTIAGO DE CHILE
NOVIEMBRE 2011
Resumen
En esta tesis se abordan dos problemas diferentes de interaccion fluidoestructura en el caso tridi-
mensional: en el primero de ellos realizamos un estudio teorico de un problema de interaccion entre una
estructura deformable y un fluido Newtoniano incompresible (Captulo 2), y en el segundo problema,
consideramos un problema inverso geometrico asociado a un sistema fluidocuerpo rgido (Captulo 3).
Para el primer problema probamos un resultado de existencia y unicidad de soluciones fuertes con-
siderando para la estructura elastica una aproximacion finito-dimensional de la ecuacion de elasticidad
lineal.
En el segundo problema, demostramos el buen planteamiento del correspondiente sistema fluido
estructura rgida y probamos un resultado de identificabilidad: la forma de un cuerpo convexo y su posi-
cion inicial son identificadas, va la medicion, en algun tiempo positivo, del tensor de Cauchy del fluido
sobre un subconjunto abierto de la frontera exterior. Tambien un resultado de estabilidad es estudiado
para este problema.
Palabras claves: interaccion fluidoestructura, ecuaciones de NavierStokes, elasticidad lineal, pro-
blemas inversos geometricos, dinamica de cuerpos rgidos.
Resume
Cette th`ese porte sur deux probl`emes differents dinteraction fluidestructure dans le cas tridimen-
sionnel: dans le premier probl`eme, on effectue une e tude theorique dun probl`eme dinteraction entre une
structure deformable et un fluide Newtonien incompressible (Chapitre 2); dans le deuxi`eme probl`eme,
on consid`ere un probl`eme inverse geometrique associe a` un syst`eme fluidecorps rigide (Chapitre 3).
Pour le premier probl`eme nous demontrons un resultat dexistence et dunicite des solutions fortes,
en utilisant, pour la structure e lastique, une approximation des e quations de lelasticite lineaire par un
syst`eme de dimension finie.
Dans le deuxi`eme probl`eme, nous demontrons le caract`ere bi`en-pose du syst`eme associe et nous
montrons un resultat didentifiabilite: la forme dun corps convexe et sa position initiale sont identifiees
par la mesure, en un temps positif, du tenseur de Cauchy du fluide sur une partie ouverte de la fronti`ere
exterieure. De plus, un resultat de stabilite pour ce probl`eme est aborde.
Mots-cles: interaction fluidestructure, e quations de NavierStokes, e lasticite lineaire, probl`emes
inverses geometriques, dynamique des corps rigides.
Abstract
This thesis deals with two different fluidstructure interaction problems in the three dimensional case:
in the first problem, we make a theoretical analysis of a problem of interaction between a deformable
structure and an incompressible Newtonian fluid (Chapter 2); in the second problem, we consider a
geometrical inverse problem associated to a fluidrigid body system (Chapter 3).
For the first problem, we prove a result of existence and uniqueness of strong solutions by using, for
the elastic structure, an approximation of the equations of linear elasticity by a finite-dimensional system.
In the second problem, we prove the well-posedness of the corresponding system and we show an
identifiability result: the form of a convex body and its initial position are identified by the measurement,
at a positive time, of the Cauchy force of the fluid on an open part of the exterior boundary. Moreover, a
stability result for this system is tackled.
Keywords: fluidstructure interaction, Navier-Stokes equations, linear elasticity, geometric inverse
problems, rigid body dynamics.
Agradecimientos
Quiero dar gracias, en primer lugar, a Dios por su presencia y Amor constante.
Agradezco a mis dos directores de tesis, Carlos Conca y Takeo Takahashi, por todo su apoyo durante
estos anos. A Carlos, por su confianza, por su experiencia, por su intachable desempeno como profesor,
preocupandose siempre por mi buen aprendizaje y motivandome cada da mas a esta aventura de la in-
vestigacion matematica. A Takeo, por su energa y motivacion constante, por su paciencia y hospitalidad
preocupandose por mi integracion y bienestar durante mis estadas en Francia.
Quisiera destacar, ademas, el orgullo que para m significo tener como directores a Carlos y Takeo,
no solo por su calidad y experiencia matematica, sino tambien por su gran calidad humana.
Mi agradecimiento a los rapporteurs Celine Grandmont y Enrique Fernandez-Cara por haber entrega-
do gran parte de su tiempo en la lectura y correccion de esta tesis. Como as tambien a Rajesh Mahadevan,
Jorge San Martn, Marius Tucsnak y Muthusamy Vanninathan por haber aceptado ser parte del jurado.
Mi agradecimiento a Muriel Boulakia, por el trabajo que compartimos y por su gran aporte realizado
a mi tesis.
Por otra parte, quisiera agradecer a cada uno de los profesores del DIM, por su desempeno como
docentes y la buena disposicion que siempre tuvieron ante los alumnos.
Quiero agradecer a las secretarias y al personal no docente del DIM, del CMM y de la Escuela de
Postgrado, en especial a Eterin, Oscar, Luis y Silvia; agradecerles por su tiempo, su buen humor y su
paciencia ! Tambien quiero agradecer al personal de la limpieza que con tanto amor hicieron su trabajo,
en especial a la Sra. Mara !
Gracias a mis companeros de doctorado, los que aun estan y a los que ya se fueron; especialmente a
Alejandra, Olivier, Maya y Wenjing con quien tuve el agrado de compartir la 426 y por sobre todo una
amistad. A los chicos de pre-grado por su alegra y con quienes compart el cuarto piso. A Alvaro por su
paciencia y ayuda con el WinEdt.
A todos mis companeros de doctorado en Nancy, por su gran ayuda y apoyo durante mis estadas en
Francia, por su paciencia con mi frances, por haberme permitido integrarme al grupo de estudiantes
del IECN y compartir tantas experiencias hermosas. Merci beaucoup!
Ademas quisiera agradecer a toda mi familia y amigos de Argentina, por su gran apoyo, a la distancia.
Por haber estado de alguna u otra manera presentes y por su gran confianza en m, desde el comienzo de
este nuevo camino que emprend.
Por u ltimo, agradezco a CONICyT (Comision Nacional de Investigacion Cientfica y Tecnologi-
ca de Chile), INRIA (Institut National de Recherche en Informatique et Automatique), Embajada de
Francia/Ambassade de France y CMM (Centro de Modelamiento Matematico) por su apoyo economico
durante mis estudios de doctorado, financiando estadas, viajes, etc, lo que permitio hacer una realidad,
el desarrollo y termino de esta tesis.
Gracias ! Merci !
a Papa Dios !
Nota-Note 13
Introduccion general 15
Introduction generale 21
1. Preliminares 27
1.1. Notacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.2. Marco funcional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
1.3. Repaso de algunos resultados importantes . . . . . . . . . . . . . . . . . . . . . . . . . 31
1.4. Cinematica y dinamica de movimiento de fluidos . . . . . . . . . . . . . . . . . . . . . 34
1.5. Deformaciones en R3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
9
Indice general
Bibliografa 147
10
Indice general
Apendices 153
11
Indice general
12
Nota-Note
Este trabajo esta escrito en tres idiomas: espanol, frances e ingles. La parte principal esta escrita en
espanol, pero se puede encontrar un resumen escrito en frances en los Captulos 4 y 5. Todos los detalles
matematicos son presentados en la parte escrita en espanol.
En adicion, en el Apendice, se encuentran los artculos, escritos en ingles, que corresponden a este
trabajo y que tambien contienen todos los puntos omitidos en el resumen en frances. El artculo corres-
pondiente al Apendice A, se encuentra sometido para publicacion mientras que el artculo del Apendice
B esta en prensa.
Ce manuscrit est e crit dans trois langues : lespagnol, le francais et langlais. Le corps principal
est e crit en espagnol mais il y a un resume e crit en francais dans les Chapitres 4 et 5. Tous les details
mathematiques sont donnes dans la partie espagnole.
De plus, dans lAnnexe (deux derniers chapitres), sont les articles e crits en anglais, qui correspon-
dent a` ce travail et aussi contiennent eux aussi tous les points omis dans le resume francais. Larticle
correspondant a` lAnnexe A, est soumis a` publication tandis que larticle de lAnnexe B est en cours de
publication.
This manuscript is written in three languages: Spanish, French and English. The main body is written
in Spanish but there is a summary in French in the Chapters 4 and 5. All the mathematical details are
given in the Spanish part.
In addition, in the Appendix (two last chapters), are the articles written in English which corres-
pond to this work and which also contain all the points omitted in the French summary. The article that
corresponds to Appendix A, is submitted for publication whereas article of Appendix B is in press.
13
14
Introduccion general
Los problemas de interaccion fluidoestructura aparecen en una gran diversidad de fenomenos fsicos
de diferente naturaleza. Por ejemplo, en ingeniera civil, aparecen estos tipos de problemas cuando se
considera la interaccion de grandes estructuras, como por ejemplo de puentes, con corrientes de agua o
aire; en el marco de la aviacion, en el diseno de aviones donde se debe tener en cuenta la interaccion del
ala o de otros anexos de un avion con el aire. Tambien podemos citar el caso de la bioingeniera, donde
surgen problemas de interaccion fluidoestructura de diferentes ndoles, muchos de ellos aplicados a la
medicina. Como es el caso de la hemodinamica, que estudia el flujo sanguneo al interior de las venas o
el flujo de ciertas celulas sanguneas, como los globulos blancos o rojos, en los vasos sanguneos. Otro
ejemplo importante es el estudio del nado de los microorganismos y los peces y del vuelo de aves e
insectos.
Todos estos ejemplos son situaciones particulares donde una estructura rgida o elastica interactua
con un fluido (en estado lquido o gaseoso).
En gran parte de los problemas de interaccion fluidoestructura, el dominio del fluido es desconocido
y depende del movimiento de la estructura, el cual a su vez se produce a causa de la tension aplicada
por el fluido sobre este por efecto de la viscosidad y la presion. Esto genera uno de los principales
inconvenientes en el estudio de este tipo de problemas: la interfaz fluidoestructura vara en el tiempo,
por lo que estamos en presencia de un problema de frontera libre.
Otro desventaja que aparece en el estudio de este tipo de sistemas acoplados, es que las ecuaciones
para la estructura son escritas respecto a la configuracion de referencia (ver Seccion 1.5); esto es, desde
un punto de vista lagrangiano, el cual consiste en seguir la trayectoria de cada partcula, de la configu-
racion de referencia, en el transcurso del tiempo; aqu el sistema de coordenadas esta fijo; mientras que
las ecuaciones del fluido son escritas bajo un punto de vista euleriano, donde fijado un punto en la con-
figuracion deformada (ver Seccion 1.5) se observan las partculas que han pasado o pasan por este punto
en un intervalo de tiempo; y, a diferencia de lo anterior, el sistema de coordenadas sigue el movimiento
de la partcula. Por lo que debemos hacer mucho cuidado al momento de definir las condiciones sobre la
interfaz para evitar todo eventual perjuicio por el pase de coordenadas.
En esta tesis se abordan dos problemas diferentes de interaccion fluidoestructura en el caso tridi-
mensional: en el primero de ellos realizamos un estudio teorico de un problema de interaccion entre una
estructura deformable y un fluido (Captulo 2), luego presentamos el segundo problema, donde conside-
ramos un problema inverso asociado a un sistema fluidocuerpo rgido (Captulo 3).
En el primer problema consideramos la interaccion entre un fluido Newtoniano viscoso e incom-
presible y una estructura elastica inmersa en el fluido, asumimos ademas, que tanto el fluido como la
estructura estan contenidos en un dominio fijo y acotado que denotaremos por . Nuestro principal obje-
tivo es demostrar la existencia y unicidad de una solucion fuerte para este problema, donde por solucion
fuerte entendemos aquella que satisface la ecuacion en casi todo punto o en el sentido de las trazas y las
derivadas involucradas son de cuadrado integrable.
El movimiento del fluido esta gobernado por las ecuaciones de NavierStokes, mientras que para
15
la estructura, asumiremos que las deformaciones permanecen pequenas, por lo que podemos considerar
el modelo de elasticidad lineal. Esta suposicion adicional sobre la estructura se realiza de manera que
tal que es posible construir un cambio de variable lo suficientemente regular. Como lo mencionamos
anteriormente, el dominio del fluido es desconocido y su movimiento depende del movimiento de la
estructura, as que para poder aplicar los clasicos procedimientos en dominios cilndricos (metodo de
Galerkin, por ejemplo) es necesario introducir un cambio de variable para las ecuaciones del fluido, pues
las ecuaciones para la estructura ya estan escritas en dominio fijo. Como este cambio de variable es
construido a partir del desplazamiento elastico, que denotamos por , necesitaremos que la solucion
sea lo suficientemente regular. En adicion, el cambio de variable aqu construido nos permite obtener
la nueva velocidad del fluido (en coordenadas lagrangianas) conservando la propiedad de divergencia
nula, lo cual sera un punto clave en la demostracion de nuestro teorema principal. Un cambio de variable
similar fue considerado en [8] para la obtencion de soluciones debiles.
Otro de los problemas viene del acoplamiento de dos sistemas de naturaleza diferente (sistema
parabolico para el fluido e hiperbolico para la estructura), esto trae consigo la perdida de regularidad
de las soluciones, como podemos ver en [20], para obtener mayor regularidad de las soluciones debiles
al problema linealizado (velocidad del fluido L2 en tiempo con valores H 3 en espacio) es necesario
partir de una condicion inicial H 5 en espacio.
Con el fin de evitar esta perdida de regularidad, vamos a considerar una aproximacion del sistema
anterior teniendo en cuenta la importancia de obtener cierta regularidad para la deformacion elastica,
que es quien define el dominio fluido. Algunas aproximaciones ya han sido abordadas en particular, para
obtener existencia de soluciones debiles. Dentro de la literatura existente, podemos citar las siguientes
dos estrategias: anadir un termino extra de regularizacion en las ecuaciones de elasticidad lineal (ver [8])
o aproximar las ecuaciones de elasticidad lineal por un sistema finito dimensional (ver [22, 40, 54]). En
cada caso, los autores de [8, 22, 54], han obtenido la existencia de soluciones debiles para el sistema
acoplado (hasta un contacto).
El estudio del buen planteamiento (well-posedness) de estos sistemas acoplados, fue anteriormente
estudiado en [25] para el caso lineal y en [20] para el caso general.
El resultado principal del Captulo 2 es la existencia y unicidad de una solucion fuerte para un sistema
acoplado de NavierStokes con una aproximacion de dimension finita para la ecuacion de la estructura.
Asumiremos la condicion de adherencia del fluido a la pared exterior esto es,
u = 0 sobre .
Las condiciones de acoplamiento estaran dadas por dos condiciones, una de caracter cinematico y otra
dinamico: la condicion cinematica viene dada por la continuidad de las velocidades a la interfaz (fluido
viscoso y fijo) y la condicion dinamica viene dada por la ley de accion y reaccion, que en este caso, se
traduce a la igualdad sobre la interfaz de las componentes normales de los tensores de tension del fluido
y de la estructura.
Para poder acoplar ambos sistemas de ecuaciones (ver (2.20)-(2.21)) es necesario introducir una
familia de funciones (funciones test) {b
i }N 0
i=1 las cuales construimos a partir de la aproximaci
on finito
dimensional del desplazamiento de la estructura.
16
Luego, construimos el cambio de variable para transformar las ecuaciones del fluido sobre un do-
minio fijo. Una vez obtenido este sistema (ver (2.41)), introducimos una familia finita de funciones
{(W i , i )}N 0
i=1 que nos permitiran hacer un relevamiento de la condicion de continuidad sobre la interfaz
en (2.41) y obtener as un nuevo sistema de ecuaciones, (2.51), sobre un dominio fijo con una condicion
amigable sobre la interfaz, lo que ayudara a abordar un problema lineal, asociado con la teora de semi-
grupos (ver Seccion 2.7) y obtener una u nica solucion regular del sistema lineal (ver Proposicion 2.17)
con una estimacion que nos permitira, mediante un argumento de punto fijo (ver Secciones 2.8-2.10),
obtener una u nica solucion fuerte, local en tiempo, del sistema fluidoestructura del que partimos.
En los u ltimos anos el interes por los problemas de interaccion fluidoestructura ha ido en constante
crecimiento y al da de hoy, son numerosos los trabajos relacionados a este tipo de problemas.
Para el caso de un fluido viscoso y estructuras rgidas, podemos citar [9, 19, 21, 29, 30, 41, 48, 64,
67, 62, 69, 70], en todos estos trabajos se han obtenido diferentes resultados de regularidad en dimension
2 y 3: los autores de [9] estudiaron el caso de un fluido compresible y una estructura rgida en dimension
3 y obtuvieron, bajo la suposicion de datos pequenos, la existencia y unicidad de una solucion, global
en tiempo (hasta el contacto); en [19] se obtuvo la existencia de soluciones debiles, globales en tiempo
(hasta el contacto), para el caso de un fluido incompresible y una bola, mediante un metodo de penali-
zacion, aplicacion del metodo de Galerkin y principios de compacidad; en [21] se obtiene la existencia
de soluciones debiles, globales en tiempo, para el caso de un fluido compresible e incompresible y varias
estructuras rgidas, mediante la construccion de soluciones aproximadas y un argumento de punto fijo;
en [29, 30] se estudia la existencia de soluciones para un fluido compresible e incompresible y varias
estructuras rgidas, el resultado global en tiempo es gracias a la eleccion de una condicion apropiada de
continuacion despues del choque; los autores de [41] prueban la existencia de soluciones debiles globales
para un fluido incompresible y una estructura rgida mediante la construccion de soluciones aproximadas
de problemas discretizados en tiempo y aplicacion del metodo de Galerkin; en [48, 62] consideran el caso
bidimensional de un fluido incompresible y varios cuerpos rgidos utilizando un metodo de aproximacion
de los cuerpos rgidos por fluidos altamente viscosos y principios de compacidad; en [64] se estudia el
problema de interaccion entre un cuerpo rgido cuya forma y distribucion de masa es conocido y un
fluido incompresible, la existencia de soluciones debiles es probada mediante el uso de un sistema de
referencia ligado al cuerpo (un argumento similar fue usado en [19]) y aplicacion del metodo de Galerkin;
en [69] se considera la interaccion de un fluido incompresible y un solido rgido y se obtiene un resultado
de existencia y unicidad de solucion fuerte, global en dimension 2 (hasta el contacto) y en el caso de
dimension 3, local en tiempo y global para datos pequenos. Hasta aqu todos los trabajos fueron hechos
bajo la hipotesis de un dominio global acotado y de frontera regular. En el caso de [67], se considera la
interaccion entre un cuerpo rgido auto-propulsado y un fluido incompresible no acotado y se prueba la
existencia de una u nica solucion fuerte mediante teora de semigrupo, estimaciones del tipo Lp y estudio
asintotico de la solucion; en [70], los autores obtienen soluciones globales en dimension dos para el caso
particular de un fluido incompresible y un cilindro infinito.
Para el caso de fluidos viscosos y estructuras deformables, podemos citar [7, 8, 10, 20, 22, 38, 54].
Para el caso de un fluido compresible, ver [7, 10]; en [7], se prueba la existencia de soluciones debiles
local en tiempo, mediante la adicion de un termino extra de regularizacion para las ecuaciones de elasti-
cidad (tensor de GreenSaint-Venant); en [10], los autores prueban la existencia local y unicidad de una
solucion regular considerando el modelo de elasticidad lineal para la estructura. Para el caso de fluidos
17
incompresibles ver [8, 20, 22, 38, 54]. En [8], se realiza un estudio similar al hecho en [7] para el caso
de un fluido incompresible. Los autores de [20] obtienen la existencia de soluciones debiles y, gracias
a fuertes hipotesis de regularidad de los datos, deducen la regularidad y unicidad de la solucion debil,
aqu se considera un modelo de elasticidad lineal para la estructura; en [22], se prueba la existencia
de soluciones debiles usando una descomposicion en un numero finito de modos propios del operador
de elasticidad lineal, metodo de Galerkin, argumento de punto fijo, estimaciones integrales tipo L2 y
principios de compacidad; en [38], es probada la existencia de soluciones debiles considerando para la
estructura la ley constitutiva de un material St. VenantKirchhoff; finalmente, en [54], se prueba un resul-
tado de existencia de soluciones debiles para el caso bidimensional, usando un modelo de aproximacion
por modos para la ecuacion de la estructura.
Para el caso de fluidos perfectos podemos citar [49, 50, 55].
En todos estos trabajos se realizaron estudios mas bien teoricos sobre problemas de interaccion
fluidoestructura, pero, tambien podemos citar algunos otros trabajos relacionados a este tipo de pro-
blemas donde se obtuvieron importantes resultados. En teora de control, por ejemplo, podemos citar
[11, 23, 32, 52, 59, 58, 63, 66] y para un analisis numerico ver [31, 39, 53, 54, 60, 61].
En el Captulo 3, abordamos un problema inverso asociado a un sistema fluidoestructura.
El interes por el estudio de problemas inversos se ha incrementado en los u ltimos anos y la motivacion
de estos estudios son de naturaleza muy diversa. Los cuales tienen aplicaciones en varios campos de la
ingeniera, la geofsica, la astronoma y la medicina; por ejemplo, en la deteccion de cuerpos extranos en
un torrente sanguneo o en el diagnostico por imagenes de tumores cerebrales como lo es la tomografia
axial computarizada.
Supongamos que un cuerpo desconocido esta inmerso en un fluido y ambos estan contenidos por
un dominio fijo que denotaremos por . Nuestro principal objetivo sera recuperar la maxima informa-
cion sobre el cuerpo (posicion, forma, etc), midiendo cierta informacion del flujo del fluido sobre un
subconjunto abierto , de la frontera exterior .
La modelacion matematica de estos problemas, depende del contexto en el que se situen, por lo que
vara de acuerdo a las suposiciones que se efectuen sobre el fluido y el cuerpo.
Asumiendo que nos es dada cierta informacion sobre el comportamiento del fluido en la frontera
exterior fija, mediante una funcion u , y ademas que es posible medir sobre el flujo del fluido, podemos
introducir un operador, llamado el operador de PoincareSteklov, definido por
donde S denota el dominio del cuerpo, u el dato sobre la frontera exterior (en general, u H s ()
para el caso estacionario o u C k ([0, T ]; H s ()) para el caso de evolucion; s > 0, k N), (u, p)
la velocidad y presion del fluido, (u, p) el tensor de esfuerzos internos del fluido ( depende de u y p
por la ecuacion constitutiva dada por la Ley de Stokes, ver Definicion 1.23) y n la normal exterior a .
Aparecen diversos analisis que pueden hacerse desde un punto de vista teorico y numerico. Entre
ellos podemos citar:
Identificabilidad: para todo dato u 6= 0 fijo, probar la inyectividad del operador de Poincare
18
Steklov, en el sentido
S (1) 6= S (2) u(1) , p(1) n| 6= u(2) , p(2) n| ,
o equivalentemente
u(1) , p(1) n| = u(2) , p(2) n| S (1) = S (2) .
Estabilidad: dado u fijo, de manera un poco imprecisa, podemos decir que aqu se busca pro-
bar que dos mediciones similares o proximas, del flujo del fluido sobre , necesariamente
provienen de sistemas con cuerpos similares; es decir,
u(1) , p(1) n| u(2) , p(2) n| S (1) S (2) ,
donde la nocion de similitud o proximidad esta dada por cierta norma introducida va la teora
de derivacion respecto al dominio (ver [43, 68]).
En nuestro caso vamos a centrarnos en los dos primeros tems para el caso de un cuerpo rgido inmer-
so en un fluido Newtoniano viscoso e incompresible, lo que implica trabajar con un sistema acoplado de
ecuaciones de NavierStokes para el fluido, con las leyes de Newton para el cuerpo rgido. Sin embargo,
este caso es bastante difcil de tratar directamente, como ya lo hemos mencionado al comienzo de esta
introduccion, detallando los problemas asociados a los sistemas acoplados. Por lo tanto, consideraremos
solo un caso simplificado, donde asumimos que el numero de Reynolds es muy pequeno de manera
que podemos prescindir de las fuerzas de inercia. As, podemos considerar al fluido como estacionario
y suponer que su movimiento se rige por las ecuaciones de Stokes (linealizacion de las ecuaciones de
NavierStokes). Cabe destacar que esta hipotesis de simplificacion para las ecuaciones del fluido, no
lo hacen un caso particular del sistema completo (ecuaciones de NavierStokes con las leyes de New-
ton) por lo que es necesario probar que el sistema considerado esta bien planteado (well-posedness) (ver
Teorema 3.1). A la interfaz asumiremos continuidad de las velocidades del fluido y el cuerpo rgido.
Los resultados principales del Captulo 3 estan dados por el Teorema 3.1 y el resultado de identifica-
bilidad (Teorema 3.2). En este u ltimo, se prueba que bajo ciertas hipotesis sobre los cuerpos rgidos y el
dato sobre la frontera, el sistema es detectable, en el sentido de que probamos la unicidad, salvo rotacion,
de los cuerpos rgidos. Tambien un resultado de estabilidad es abordado usando un enfoque similar al
utilizado en [4] (ver Seccion 3.7).
Para probar el Teorema 3.1, en primer lugar, se introduce la nocion de posiciones admisibles (ver
(3.13)) y para cada posicion (a, Q) admisible se estudia un sistema de interaccion fluido-estructura dado
por las ecuaciones (3.14)-(3.19). Para resolver este sistema, se busca una solucion que pueda descompo-
nerse como combinacion lineal de la solucion de ciertos sistemas de Stokes apropiados ((3.20)-(3.22)).
19
De esta manera, logramos obtener una solucion que depende de la posicion (admisible) del cuerpo rgido.
Esto nos permite reducir nuestro sistema de ecuaciones a un sistema de ecuaciones diferenciales ordina-
rias y as, gracias al Teorema de Cauchy-Lipschitz-Picard (ver Teorema 1.10), obtener el resultado para
el sistema acoplado inicial. Un cambio de variable es introducido para probar la dependencia suave de la
solucion respecto a la posicion.
El metodo para probar el resultado de identificabilidad (ver Seccion 3.6) es similar al metodo de-
sarrollado, para el caso de obstaculos fijosen [4]. La demostracion esta basada en las propiedades de
continuacion u nica para las ecuaciones de Stokes (ver [28]), el resultado dado por la Proposicion 3.11,
las hipotesis sobre los cuerpos rgidos (suaves y convexos) y el dato en la frontera exterior (u no es la
traza de una velocidad rgida sobre ). Esta u ltima hipotesis sobre el dato en la frontera es clave para la
demostracion de nuestro resultado.
Podemos citar diversos resultados que ya han sido demostrados; entre los resultados de identifica-
bilidad podemos citar [2, 3, 4, 13, 17, 18, 24]; para resultados de estabilidad ver [4, 5, 17]; por u ltimo,
resultados de reconstruccion pueden ser hallados en [42, 51].
Por ejemplo, en [4] los autores demostraron un resultado de identificabilidad en el caso de un obstacu-
lo fijo convexo y suave inmerso en un fluido viscoso, a traves de la observacion del tensor de Cauchy
en cierta parte de la frontera exterior , la prueba se basa en la propiedad de continuacion u nica para
las ecuaciones de Stokes, debido a Fabre-Lebeau [28] y en la hipotesis que la velocidad del fluido sobre
la frontera exterior no es identicamente nula. Ellos tambien obtuvieron un resultado de estabilidad debil
(continuidad direccional); en [17] los autores prueban, para el caso bidimensional, un resultado de identi-
ficabilidad para el caso particular cuando el obstaculo es una bola y se mueve en un fluido ideal, midiendo
la velocidad del fluido en una parte de la frontera. Algunos resultados de estabilidad (estimaciones de
estabilidad lineal) son demostrados en este caso utilizando tecnicas de diferenciacion de forma debido a
Simon [68]. En [24] los autores consideran el problema inverso para detectar la forma de un obstaculo
rgido sumergido en un fluido regido por las ecuaciones de NavierStokes estacionario, en el supuesto
de que las fuerzas de friccion son conocidas sobre una parte de la frontera exterior. Ellos prueban un re-
sultado de unicidad cuando el obstaculo es un conjunto abierto simplemente conexo. En [42] los autores
estiman la distancia entre un punto dado sobre la frontera exterior y el obstaculo, en el caso de un fluido
estacionario. En los trabajos citados anteriormente, el obstaculo y el fluido ocupan un dominio acotado.
Mientras que en [18] es probado un resultado de identificabilidad para el caso de un solido rgido que se
mueve en un fluido potencial que ocupa todo el plano, aqu se asume que el fluido permanece en reposo
en el infinito (caso bidimensional); en el supuesto de que la funcion potencial es conocido en algun tiem-
po dado, los autores muestran que cuando el solido rgido tiene ciertas propiedades de simetra, es posible
detectar ciertos parametros del solido: la velocidad angular, la velocidad del desplazamiento, entre otros.
20
Introduction generale
Les probl`emes dinteraction fluidestructure apparaissent dans une grande variete de phenom`enes
physiques de nature differente. Par exemple, dans lingenierie civile, ces types de probl`emes apparaissent
lorsque lon consid`ere linteraction des grandes structures comme les ponts, avec des e coulements deau
ou dair; dans le contexte de laviation, dans la construction aeronautique o`u on doit prendre en compte
linteraction daile ou dautres structures dun avion avec lair. Nous pouvons e galement citer le cas de la
bio-ingenierie, o`u apparaissent les probl`emes dinteraction fluidestructure de differents types, beaucoup
dentre eux appliques a` la medecine. Cest le cas de lhemodynamique, qui e tudie le flux sanguin dans
les veines ou les mouvements de certaines cellules sanguines telles que les globules blancs ou rouges
dans les vaisseaux sanguins. Un autre exemple important est letude de la nage des micro-organismes et
des poissons et le vol des oiseaux et des insectes.
Tous ces exemples sont des situations o`u une structure rigide ou e lastique interagit avec un fluide (`a
letat liquide ou gazeux).
Dans la plupart des probl`emes dinteraction fluidestructure, le domaine du fluide est inconnu et
depend du mouvement de la structure, qui a` son tour se produit en raison de la tension appliquee par le
fluide sur la structure via sa pression et sa viscosite. Cela cree une difficulte majeure dans letude de ces
probl`emes: linterface fluidestructure varie au fil du temps et depend de la solution, nous sommes donc
en presence dun probl`eme a` fronti`ere libre.
Une autre difficulte apparaissant dans letude de tels syst`emes couples, est que les e quations de
la structure sont e crites par rapport a` la configuration de reference (voir Section 1.5), cest-`a-dire, dun
point de vue lagrangien: lidee est de suivre la trajectoire de chaque point de la configuration de reference,
durant un intervalle de temps. Dans ce cas, le syst`eme de coordennees est fixe. Au contraire, les e quations
du fluide son e crites dun point de vue eulerien: lidee, dans ce cas, est de regarder les points qui passent
durant un intervalle de temps, par un point fixe de la configuration deformee. Pour ce point de vue, le
syst`eme de coordonnees suit le mouvement de la particule. Par consequent, il est important de preter une
attention particulier`e aux conditions a` linterface fluidestructure du fait du changement de coordonnees.
Cette th`ese aborde deux probl`emes differents dinteraction fluidestructure dans le cas tridimensio-
nnel: dans le premier probl`eme on effectue une e tude theorique dun probl`eme dinteraction entre une
structure deformable et un fluide (Chapitre 2); dans le deuxi`eme probl`eme, on consid`ere un probl`eme
inverse associe a` un syst`eme fluidecorps rigide (Chapitre 3).
Dans le premier probl`eme on va considerer linteraction entre un fluide Newtonien visqueux incom-
pressible et une structure e lastique immergee dans le fluide. De plus, nous supposons que le fluide et
la structure sont contenus dans un domaine fixe borne que lon va noter par . Notre objectif principal
est de demontrer lexistence et lunicite dune solution forte pour ce probl`eme, o`u nous entendons par
solution forte, une solution qui satisfait les e quations presque partout ou dans le sens des traces et dont
les derivees impliquees sont de carre integrable.
Le mouvement du fluide est regi par les e quations NavierStokes, tandis que pour la structure, on
suppose que les deformations restent petites, de sorte que lon peut considerer le mod`ele delastici-
21
te lineaire. Cette hypoth`ese supplementaire sur la structure est faite de sorte quil est possible de cons-
truire un changement de variable suffisamment reguli`ere. Comme mentionne ci-dessus, le domaine du
fluide est inconnue et son mouvement depend du mouvement de la structure, ainsi pour appliquer des
procedures classique dans les domaines cylindriques (methode de Galerkin, par exemple) il est neces-
saire dutiliser un changement de variable pour les e quations du fluide, parce que les e quations de la
structure sont dej`a e crites dans le domaine fixe. Comme ce changement de variable est construit a` partir
du deplacement e lastique, que lon va noter par , nous avons besoin que la solution soit suffisamment
reguli`ere. En outre, le changement de variable construit ici nous permet dobtenir la nouvelle vitesse du
fluide (en coordonnees lagrangiennes) en conservant la propriete de divergence nulle, ce qui est un point
cle dans la preuve de notre theor`eme principal. Un changement de variable similaire a e te considere dans
[8] pour lobtention de solutions faibles.
Un autre probl`eme vient du couplage de deux syst`emes de nature differente (syst`eme parabolique
pour le fluide et hyperbolique pour la structure), cela entrane la perte de regularite des solutions, comme
nous pouvons le voir dans [20], o`u pour obtenir plus de regularite des solutions faibles du probl`eme
linearise (vitesse du fluide L2 en temps a` valeurs H 3 en espace) il est necessaire de partir dun e tat
initial H 5 en lespace.
Pour e viter cette perte de regularite, on va considerer une approximation du syst`eme precedent en
tenant compte de limportance dobtenir une certaine regularite de la deformation e lastique, qui definit le
domaine du fluide. Certaines approches ont dej`a e te abordees, en particulier pour obtenir lexistence de
solutions faibles. Dans la litterature existante, nous pouvons citer les deux strategies suivantes: ajouter un
terme de regularisation supplementaire dans les e quations de lelasticite lineaire (voir [8]) ou approcher
les e quations de lelasticite lineaire par un syst`eme de dimension finie (voir [22, 40, 54]). Dans chaque
cas, les auteurs de [8, 22, 54] ont obtenu lexistence de solutions faibles pour le syst`eme couple (jusqu`a
un contact).
Letude du caract`ere bien-pose (well-posedness) de ces syst`emes couples, a e te aborde precedemment
dans [25] dans le cas lineaire et dans [20] dans le cas general.
Le resultat principal du Chapitre 2 est lexistence et lunicite dune solution forte pour un syst`eme
couple dequations de NavierStokes avec une approximation de dimension finie pour lequation de la
structure.
Nous supposons la condition de ladhesion du fluide sur la paroi exterieure ; cest-`a-dire,
u=0 sur .
Les conditions de couplage sont donnees par deux conditions, lune cinematique et lautre dynamique: la
condition cinematique est donnee par la continuite des vitesses a` la interface (fluide visqueux et fixe)
et la condition dynamique est donnee par la loi daction et de reaction, qui, dans ce cas, se traduit par
legalite a` linterface des composantes normales du tenseur des contraintes du fluide et de la structure.
Pour coupler les deux syst`emes dequations (voir (2.20)-(2.21)) il est necessaire dintroduire une
famille de fonctions {b i }N 0
i=1 , avec laquelle nous construisons lapproximation de dimension finie du
deplacement de la structure.
Puis nous construisons le changement de variable pour transformer les e quations du fluide sur un
22
domaine fixe. Une fois ce syst`eme obtenu (voir (2.41)), nous introduisons une famille finie de fonc-
tions {(W i , i )}N 0
elevement de la condition de continuite a` linterface
i=1 , qui nous permet de faire un r`
dans (2.41) et dobtenir un nouveau syst`eme dequations (2.51), sur un domaine fixe avec une condition
amicale a` linterface, ce qui permet de resoudre un probl`eme lineaire associe en utilisant la theorie
des semigroupes (voir Section 2.7) et dobtenir une solution unique reguli`ere du syst`eme lineaire (voir
Proposition 2.17) avec une estimation qui nous permet, grace a` un argument de point fixe (voir Sections
2.8-2.10), dobtenir une unique solution forte, locale en temps, du syst`eme fluidestructure de depart.
Ces derni`eres annees, linteret pour les probl`emes dinteraction fluidestructure a e te en croissance
constante et actuellement, il y a beaucoup de travaux lies a` de tels probl`emes.
Dans le cas dun fluide visqueux et des structures rigides, on peut citer [9, 19, 21, 29, 30, 41, 48,
62, 64, 67, 69, 70]. Dans tous ces travaux les auteurs ont obtenu differents resultats de regularite en
dimension 2 et 3: les auteurs de [9] ont e tudie le cas dun fluide compressible et dune structure rigide
3-dimensionnel et ils ont obtenu, sous lhypoth`ese de donnees petites, lexistence et lunicite dune so-
lution, globale en temps (jusqu`a un contact); dans [19] lexistence des solutions faibles, globale en
temps (jusqu`a un contact) a e te obtenue, dans le cas dun fluide incompressible et dune boule via une
methode de penalisation, et en utilisant la methode de Galerkin et des resultats de compacite; dans [21]
lexistence de solutions faibles, globale en temps, est obtenue dans le cas dun fluide compressible et
incompressible et plusieurs structures rigides, en construisant des solutions approchees et en utilisant un
argument de point fixe; dans [29, 30] lexistence de solutions est e tudiee pour un fluide compressible
ou incompressible et pour plusieurs structures rigides, le resultat global en temps est du au choix dune
condition appropriee apr`es une collision; les auteurs de [41] prouvent lexistence de solutions faibles
globales pour un fluide incompressible et une structure rigide en construisant des solutions approchees
au probl`eme discretise en temps et en appliquant la methode de Galerkin; les auteurs [48, 62] consid`erent
le cas bidimensionnel dun fluide incompressible et de plusieurs corps rigides en utilisant une methode
dapproximation des corps rigides par des fluides tr`es visqueux et des arguments de compacite; dans [64]
un probl`eme dinteraction entre un corps rigide dont la forme et la distribution de masse est connue et
un fluide incompressible est e tudie, lexistence de solutions faibles est prouvee en utilisant un syst`eme
de reference lie au corps (un argument similaire a e te utilise dans [19]) et en appliquant la methode de
Galerkin ; dans [69] linteraction dun fluide incompressible et une structure rigide est consideree et un
resultat dexistence et dunicite de solution, globale en temps, en dimension 2 (jusqu`a un contact) est
demontre et dans le cas de la dimension 3, un resultat dexistence et dunicite de solution, locale en temps
et globale pour les donnees petites est donne. Jusquici, tous les travaux cites sont faits sous lhypoth`ese
dun domaine global borne et dune fronti`ere reguli`ere. Dans le cas de [67] linteraction entre un corps
rigide dauto-propulse et dun fluide incompressible non borne est considere, lexistence dune unique
solution forte est prouvee par la theorie des semigroupes, des estimations de type Lp et une e tude asymp-
totique de la solution; dans [70], les auteurs ont obtenu des solutions globales en dimension deux, dans
le cas particulier dun fluide incompressible et dun cylindre infini.
Dans le cas des fluides visqueux et des structures deformables, on peut citer [7, 8, 10, 20, 22, 38, 54].
Dans [7, 10], le cas dun fluide compressible est considere. Dans [7], lexistence de solutions faibles
locale en temps, est prouvee, en ajoutant un terme de regularisation supplementaires dans les e qua-
tions de lelasticite (tenseur de GreenSt.Venant); dans [10], les auteurs prouvent lexistence locale et
unicite dune solution reguli`ere, ils consid`erent un mod`ele delasticite lineaire pour la structure. Dans
23
[8, 20, 22, 38, 54] le cas des fluides incompressibles est considere. Dans [8], une e tude similaire faite
dans [7] est menee dans le cas de un fluide incompressible. Les auteurs de [20] obtiennent lexistence de
solutions faibles et, grace a` des hypoth`eses fortes de la regularite des donnees, ils deduisent la regular-
ite et lunicite de une solution forte, ici un mod`ele delasticite lineaire pour la structure est consideree;
dans [22], lexistence de solutions faibles est prouvee en utilisant une decomposition en un nombre fini
de modes propres de loperateur de lelasticite lineaire, la methode de Galerkin, un argument de point
fixe, des estimations a priori et des arguments de compacite; dans [38] lexistence de solutions faibles est
prouvee en considerant pour la structure, la loi constitutive dun materiau e lastique de type St.Venant
Kirchhoff; finalement, lauteur de [54] demontre un resultat dexistence de solutions faibles pour le cas
bidimensionnel, en utilisant un mod`ele approche pour lequation de la structure via une decomposition
en modes propres.
Dans le cas des fluides parfaits on peut citer [49, 50, 55].
La plupart des travaux precedents porte sur des e tudes theoriques des probl`emes dinteraction fluide
structure, mais nous pouvons aussi mentionner quelques autres travaux lies a` dautres types de probl`emes,
o`u des resultats significatifs ont e te obtenus. En theorie du controle, par exemple, nous citons [11, 23, 32,
52, 59, 58, 63, 66] et, en analyse numerique voir [31, 39, 53, 54, 60, 61].
Dans le Chapitre 3, nous abordons un probl`eme inverse associe a` un syst`eme fluidestructure.
Linteret pour letude des probl`emes inverses en fluidestructure a augmente ces derni`eres annees et
la motivation de ces e tudes peut e tre de nature tr`es diverse. On rencontre des applications dans divers
domaines de lingenierie, la geophysique, lastronomie et la medecine; par exemple, dans la detection de
corps e trangers dans lecoulement sanguin ou dans le diagnostic par images pour e tudier les tumeurs du
cerveau, telles que la tomographie axiale informatisee.
Supposons quun corps inconnu est immerge dans un fluide et que, le corps et le fluide sont contenues
dans un domaine fixe notee . Notre principal objectif est de recuperer le maximum dinformations sur
le corps (position, forme, etc), mesurant certains informations relatives au e coulement du fluide sur un
sous-ensemble ouvert non vide de la fronti`ere exterieure .
La modelisation mathematique de ces probl`emes depend du contexte dans lequel ils sont situes et
varie selon les hypoth`eses faites sur le fluide et le corps.
Supposons que lon connaisse le comportement du fluide sur la fronti`ere exterieure. Cette information
est donnee par une fonction u . Supposons que lon puisse de plus mesurer sur lecoulement du fluide.
Alors nous pouvons introduire un operateur appele operateur de PoincareSteklov, defini par
S (u ) := (u, p)n sur ,
o`u S designe le domaine du corps, u la donnee sur la fronti`ere exterieure (generalement, u H s ()
pour le cas stationnaire ou u C k ([0, T ], H s ()) pour le cas de levolution; s > 0, k N), (u, p)
la vitesse et la pression du fluide, (u, p) le tenseur des contraintes internes du fluide ( depend de u et
p par la loi constitutive donnee par la loi de Stokes, voir Definition 1.23) et n est la normale exterieure a`
.
Differentes analyses peuvent e tre faites dun point de vue theorique et numerique. Parmi celles-ci
nous pouvons citer:
24
L identifiabilite: pour toute donnee u 6= 0 fixee, prouver linjectivite de loperateur de Poincare
Steklov, dans le sens
S (1) 6= S (2) u(1) , p(1) n| 6= u(2) , p(2) n|
ou de facon e quivalente
u(1) , p(1) n| = u(2) , p(2) n| S (1) = S (2) .
La stabilite: e tant donnee u fixe, lidee est de demontrer que si lon obtient deux mesures simi-
laires ou proches de lecoulement du fluide sur , necessairement les corps rigides associes a`
ces mesures ont des formes similaires; cest-`a-dire,
u(1) , p(1) n| u(2) , p(2) n| S (1) S (2) ,
o`u la notion de similitudeou proximite est donnee par certaine norme introduite par la theorie
de la differenciation par rapport au domaine (voir [43, 68]).
La reconstruction numerique: cette e tude est normalement restreinte a` la classe des corps admi-
ssibles (voir (3.13)).
Dans notre cas, nous nous concentrons sur les deux premiers points pour le cas dun corps rigide
immerge dans un fluide newtonien visqueux et incompressible, ce qui implique de travailler avec un
syst`eme couple des e quations de NavierStokes par le fluide, avec les lois de Newton pour le corps rigide.
Toutefois, ce cas est assez difficile a` traiter directement, comme nous avons mentionne au debut de cette
introduction, detaillant les probl`emes associes aux syst`emes couples. Par consequent, on va considerer
seulement un cas simplifie o`u nous supposons que le nombre de Reynolds est tr`es petit de sorte que
nous pouvons negliger les forces dinertie. Ainsi, le fluide peut e tre considere comme stationnaire et
son mouvement est regi par les e quations de Stokes (linearisation des e quations NavierStokes). On
peut noter que cette hypoth`ese simplificatrice pour les e quations du fluide, ne transforme pas le syst`eme
obtenu en un cas particulier du syst`eme complet (equations de NavierStokes avec les lois de Newton) il
est donc necessaire de prouver que le syst`eme considere est bien-pose (well-posedness) (voir Theor`eme
3.1). A linterface, nous supposons la continuite des vitesses du fluide et du corps rigide.
Les principaux resultats du Chapitre 3 sont donnes par le Theor`eme 3.1 et le resultat didentifiabi-
lite (Theor`eme 3.2). Dans ce dernier resiltat, il est prouve que, sous certaines hypoth`eses sur les corps
rigides et sur les donnees a` la fronti`ere, le syst`eme est detectable dans le sens que nous demontrons
lunicite, a` rotation pr`es, des corps rigides. Un resultat de stabilite est aussi aborde en utilisant une
approche similaire a` celle utilisee dans [4] (voir la Section 3.7).
Pour demontrer le Theor`eme 3.1, nous introduisons, dabord, la notion de positions admissibles (voir
(3.13)) et pour chaque position admissible (a, Q) nous e tudions un syst`eme dinteraction fluide-structure
donnee par les e quations (3.14)-(3.19). Pour resoudre ce syst`eme, on cherche une solution qui peut e tre
25
decomposee comme combinaison lineaire de solutions de certains syst`emes de Stokes appropries ((3.20)-
(3.22)). Ainsi, nous obtenons une solution dependant de la position (admissible) du corps rigide. Cela
nous permet de reduire notre syst`eme dequations a` un syst`eme dequations differentielles ordinaires
et, par consequent, grace au Theor`eme de CauchyLipschitzPicard (voir Theor`eme 1.10), dobtenir
le resultat pour le syst`eme couple original. Un changement de variable est introduit afin de pouvoir
demontrer la dependance reguli`ere de la solution par rapport a` la position.
La methode pour demontrer le resultat didentifiabilite (voir Section 3.6) est similaire a` la methode
developpee dans le cas de obstacles fixes dans [4]. La preuve est basee sur les proprietes de continuation
unique pour les e quations de Stokes (voir [28]), le resultat donne par la Proposition 3.11, les hypoth`eses
sur les corps rigides (reguli`er et convexe) et la donnee a` la fronti`ere exterieure (u nest pas la trace dune
vitesse rigide sur ). Cette derni`ere hypoth`ese sur les donnees a` la fronti`ere est la cle de la preuve de
notre resultat.
Nous pouvons citer plusieurs resultats qui ont dej`a e te demontres; pour les resultats didentifiabili-
te on peut citer [2, 3, 4, 13, 17, 18, 24]; pour des resultats la stabilite voir [4, 5, 17] et, finalement, des
resultats reconstruction peuvent e tre trouves dans [42, 51].
Par exemple, dans [4] les auteurs ont demontre un resultat didentifiabilite pour un obstacle con-
vexe reguli`er fixe entoure par un fluide visqueux en utilisant lobservation du tenseur de Cauchy sur
une certaine partie de la fronti`ere, la methode de la preuve est basee sur la propriete de prolongement
unique pour les e quations de Stokes due a` FabreLebeau [28] et sur lhypoth`ese que la vitesse du flu-
ide a` la fronti`ere exterieure nest pas identiquement nulle. Ils ont e galement obtenu un resultat de sta-
bilite faible (continuite directionnelle); dans [17] les auteurs ont fourni, pour le cas bidimensionnel, un
resultat didentifiabilite lorsque lobstacle est une boule et cela dans le cas dun fluide parfait via la
mesure de la vitesse du fluide sur une partie de la fronti`ere. Quelques resultats de stabilite (estimations
de stabilite lineaire) sont prouves pour ce cas en utilisant des techniques de differenciation de forme due
a` Simon [68]. Dans [24] les auteurs ont considere le probl`eme inverse consistant a` detecter la forme
dun seul obstacle rigide immerge dans un fluide regi par les e quations de NavierStokes stationnaire
en supposant que les forces de frottement sont connues sur une partie de la fronti`ere exterieure. Ils ont
prouve un resultat dunicite lorsque lobstacle est un ensemble ouvert simplement connexe. Dans [42]
les auteurs estiment la distance entre un point donne de la fronti`ere exterieure et lobstacle dans le cas
dun fluide stationnaire. Dans les travaux cites ci-dessus, a` la fois lobstacle et le fluide occupant un do-
maine borne, tandis que dans [18] un resultat didentifiabilite est demontre dans le cas dun solide rigide
se deplacant dans un fluide potentiel qui occupe R2 et le fluide est suppose e tre au repos a` linfini; en
supposant que la fonction potentielle est connue a` un moment donne, les auteurs ont montre que lorsque
le solide poss`ede certaines proprietes de symetrie (invariant sous une rotation), il est possible de detecter
certains param`etres du solide: la vitesse angulaire, la vitesse de translation, entre autres.
26
Captulo 1
Preliminares
En este captulo introduciremos algunas definiciones importantes que usaremos a lo largo de todo este
trabajo, como as tambien hacemos un repaso de los principios matematicos de la mecanica de fluidos
para deducir as las ecuaciones de NavierStokes, con las cuales trabajaremos en el desarrollo de esta
tesis. Basicamente, para este captulo hemos seguido los libros de P. Ciarlet [15] y J. Serrin [65].
1.1. Notacion
n
Dado n N, denotaremos por Rn el espacio euclideano real n-dimensional y por e(i) i=1 la base
canonica de Rn .
Para dos vectores en Rn , x = (x1 , . . . , xn ) e y = (y1 , . . . , yn ), definimos el producto escalar
canonico como
Xn
xy = x i yi ,
i=1
y por kxk denotaremos la norma euclidiana asociada. Para el caso n = 3, definimos el producto vectorial
x y como el vector cuya i-esima componente esta definida por
3
X
[x y]i = ijk xj yk (i = 1, 2, 3),
j,k=1
27
Captulo 1. Preliminares
y la matriz u1 u1 u1
x1 x2 x3
..
u = ... ..
. .
un un u3
x1 x2 x3
A : B = tr(AT B),
donde tr(A) denota la traza de la matriz A. Por u ltimo, definimos el producto tensorial entre dos vectores
x = (x1 , x2 , x3 ) e y = (y1 , y2 , y3 ), como la matriz o tensor de segundo orden
x y := (xi yj )i,j=1,2,3 .
28
Captulo 1. Preliminares
En esta seccion introducimos los espacios de funciones que usaremos durante el desarrollo de la tesis.
Introducimos, en primer lugar, los clasicos espacios de Sobolev. Sea un subconjunto abierto de R3 y
u : R3 R una funcion integrable.
|| = 1 + 2 + 3 .
Definicion 1.2 El espacio de Sobolev W k,p () es el conjunto de todas las funciones integrables es-
calares u : R tal que para cada multi-ndice , con || k, u existe en el sentido debil y
pertenece a Lp ().
H k () = W k,2 ().
Por W0k,p () denotaremos la clausura de Cc () en W k,p (), con Cc () el conjunto de todas las
funciones de clase C () a soporte compacto.
Para una funcion u : R3 Rn , u = (u1 , . . . , un ), con n N y n 2, definimos
u1
..
u := .
un
para cada multi-ndice . Claramente, para el caso particular || = 1 se tiene el operador gradiente como
lo definimos en la seccion anterior. Por otro lado, para el caso n = 3, es decir; u : R3 R3 , se
tiene
div(u) = tr(u).
En analoga a la Definicion 1.2 introducimos la siguiente definicion para funciones vectoriales:
29
Captulo 1. Preliminares
Definicion 1.4 El espacio de Sobolev W k,p () es el conjunto de todas las funciones integrables vec-
toriales u : Rn tal que para cada multi-ndice , con || k, u existe en el sentido debil y
pertenece a Lp ().
La norma del espacio W k,p () se define de manera similar a la norma definida en (1.3).
Recordemos que para k N y 1 p , los espacios de Sobolev W k,p () y W k,p () resultan
ser espacios de Banach, con la norma definida por (1.3). Mas aun, los espacios H k () y H k () son
espacios de Hilbert. Mas detalles y propiedades de los espacios de Sobolev pueden ser encontradas en
[1, 27].
Observacion 1.5 De aqu en mas, usaremos la distincion de notacion en negrita, para las funciones
vectoriales, como as tambien para los espacios de funciones vectoriales.
Debido a que trabajaremos con funciones u = u(t, x), debemos hacer cuidado con la dependencia
en tiempo de las mismas. Por ello para la dependencia en tiempo, haremos la siguiente convencion: si
(t, x) 7 u(t, x) es una funcion de t y de x, miraremos esta funcion simplemente como
esto es, u(t) es a su vez una funcion de x, y as u(t) toma valores en un espacio de funciones de x.
Sea X un espacio de Banach, y sea k kX la norma correspondiente. Definimos, para
1 p < , el espacio
Lp (0, T ; X)
como el espacio de todas las (clases de) funciones medibles u : [0, T ] X tal que
Z T 1/p
kukLp (0,T ;X) := kukpX dt <
0
y para p = ,
kukL (0,T ;X) := ess sup kukX < .
0tT
30
Captulo 1. Preliminares
En esta seccion haremos un repaso por la literatura, recordando algunos resultados importantes, los
cuales utilizaremos ampliamente en el desarrollo de este trabajo. Ellos pueden ser encontrados en [12,
15, 34, 57].
Comenzamos por introducir la nocion de conjuntos regulares o suavesdada en [57]:
A lo largo de la tesis, muchas veces trabajaremos con conjuntos suaves, los cuales seran conjuntos
m-regulares en el sentido de la Definicion 1.6, donde no fijaremos m y este tomara el valor necesario
segun el contexto.
Definicion 1.7 Sea H un espacio de Hilbert sobre R de producto escalar (, ) y norma k k. Se dice que
una forma bilineal a : H H R es
a(h, h) khk2 h H.
Lema 1.8 (Lema de Lax-Milgram) Sea a(, ) una forma bilineal,continua y coerciva. Entonces para
todo % H 0 existe h0 H, u nico, tal que
a(h0 , h) = h%, hi h H.
H 0 = {u : H R, u es lineal y continua}
Teorema 1.9 (Teorema del punto fijo de Banach) Sea (E, d) un espacio metrico completo y sea f :
E E una aplicacion contractiva, es decir, existe K < 1 tal que para todo 1 , 2 E,
dist(f (1 ), f (2 )) K dist(1 , 2 ).
31
Captulo 1. Preliminares
Lema 1.11 Sea n N y M : Rnn Mn (R) derivable. Entonces se tiene la siguiente identidad
(det M ) = (Cof M ) : M .
xj xj
Lema 1.12 Sea X un espacio de Banach y A un operador lineal acotado, tal que kAk < 1. Entonces
existe (Id + A)1 y esta dado por la formula (serie de Neumann)
X
(Id + A)1 = (1)k Ak ,
k=0
Dem. Para ver que Id + A es invertible, basta considerar para cada x X fijo, el mapeo
y 7 x Ay
el cual gracias a la hipotesis de kAk < 1, resulta ser una contraccion, lo que nos permite aplicar el
Teorema de punto fijo de Banach para deducir que para cada x X existe un u nico y X tal que
(Id + A)y = x. Esto concluye la existencia de (Id + A)1 . Para probar la formula, basta calcular la
composicion de estos operadores. Mas precisamente,
X
X
X
(Id + A) (1)k Ak = (1)k Ak + (1)k Ak+1
k=0 k=0 k=0
X
X
k k
= (1) A (1)k+1 Ak+1
k=0 k=0
0 0
= (1) A
= Id.
32
Captulo 1. Preliminares
Analogamente se obtiene
X
(1)k Ak (Id + A) = Id.
k=0
A continuacion damos algunos resultados practicos, los cuales utilizaremos principalmente en las
Secciones 2.5, 2.9-2.10 para establecer la regularidad de ciertas aplicaciones que definiremos en los
captulos siguientes. Sean u, v : R3 R3 dos funciones vectoriales y sea R3 un abierto, acotado,
1-regular tal que (u v)(x) esta bien definida para todo x . Entonces, dado k N, se tienen los
siguientes resultados:
Del Teorema de inyeccion de Sobolev (ver [57, Teorema 1.6-4, pag. 33]) y del Teorema de cambio de
u
variable se deduce que xjl v H k1 () (j, l = 1, 2, 3). Como k 3 y de las hpotesis sobre se
tiene que H k1 () es un a lgebra (ver [1, Teorema 5.23, pag. 115]). Por lo tanto
(uj v) H k1 () (i, j = 1, 2, 3),
yi
lo que concluye la demostracion.
33
Captulo 1. Preliminares
Hipotesis inductiva:
Tesis inductiva:
X 3
uj vl
(uj v) = v ,
yi xl yi
l=1
uj
gracias a la hipotesis inductiva, el primer factor xl v H k () (j, l = 1, 2, 3) y por otro
vl
lado yi H k+2 () (l, i = 1, 2, 3), as del lema siguiente (ver Lema 1.15) obtenenos para
i, j = 1, 2, 3, y i (uj v) H k ().
Las demostraciones de estos tres u ltimos lemas son obtenidas mediante un razonamiento similar a lo
hecho en los Lemas 1.13 y 1.14.
La cinematica es la rama de la mecanica clasica que estudia las leyes del movimiento de los cuerpos
sin tener en cuenta las causas que lo producen, limitandose, esencialmente, al estudio de la trayectoria en
funcion del tiempo. Mientras que la dinamica es la parte de la fsica que describe la evolucion en el tiempo
de un sistema fsico en relacion con las causas que provocan los cambios de estado fsico y/o estado de
movimiento. El objetivo de la dinamica es describir los factores capaces de producir alteraciones de
un sistema fsico, cuantificarlos y plantear ecuaciones de movimiento o ecuaciones de evolucion para
dicho sistema de operacion. El estudio de la dinamica es prominente en los sistemas mecanicos (clasicos,
relativistas o cuanticos), pero tambien en la termodinamica y electrodinamica.
34
Captulo 1. Preliminares
El flujo de un medio continuo en el espacio (por ejemplo, un fluido) es una nocion intuitiva fsica
que matematicamente podemos representar mediante una biyeccion entre las partculas del fluido y los
puntos de R3 .
Sea P una partcula de fluido que seguimos en su movimiento y denotemos por x0 la posicion de P
al instante inicial, digamos t = 0, y denotemos por x(t) su posicion al instante t > 0. Asumimos que el
estado del sistema en t es determinable a partir de su estado inicial, a traves de una funcion regular .
Esto es, suponemos que existe tal que
x(t) = (t, x0 ),
asumimos ademas, que puntos inicialmente distintos siguen siendo diferentes a lo largo de todo el
movimiento, es decir, que es invertible en x0 . Esta hipotesis recibe el nombre de hipotesis de no-
penetracion de la materia.
Teorema 1.19 (Teorema del transporte) Sea V = V(t) un volumen arbitrario el cual se mueve con el
fluido y sea F una funcion escalar o vectorial de la posicion. Entonces,
Z Z Z
d
F (t, x(t)) dx = F (t, x(t)) dx + F v n d x .
dt V(t) V(t) t V(t)
Definicion 1.20 Un medio continuo o fluido es incompresible si sus deformaciones no implican cambio
de volumen.
Aplicando el Teorema del tranporte junto con el Teorema de la divergencia, obtenemos que un fluido es
incompresible si y solo si para todo volumen V(t) se tiene
Z
0= div(1v) dx.
V(t)
35
Captulo 1. Preliminares
En primer lugar, enunciamos el principio de conservacion de masa. Sea = (t, x) la densidad del
medio, as la masa m de un volumen V(t) de un medio continuo viene dada por la formula
Z
m(t) = (t, x(t)) dx.
V(t)
La ley de conservacion de masa establece que la masa del medio en un volumen V = V(t) no cambia
cuando el volumen se mueve con el fluido, lo que matematicamente puede ser expresado como
Z
dm d
=0= (t, x(t)) dx.
dt dt V(t)
Aplicando el Teorema del transporte con F = , deducimos que en todo (t, x(t))
+ div(v) = 0.
t
Esta identidad se conoce como la ecuacion de continuidad. As, si el medio es incompresible, la ecuacion
de continuidad se reduce a:
d
(t, x(t)) = 0,
dt
lo que implica que la densidad del medio depende solo de la condicion inicial; es decir,
donde f es la densidad de fuerza conocida. Por ejemplo f = ge(3) , con g la fuerza gravitatoria especfica.
Postulado de Cauchy: Sobre la frontera de V(t) existe una densidad de fuerza superficial que re-
presenta los esfuerzos internos que ejerce el complemento de V(t) sobre V(t). Mas aun, esta densidad
de fuerza depende exclusivamente de (t, x(t)) y de la geometra de V(t) a traves del vector normal
exterior, n, a V(t) en el punto (t, x(t)). Si denotamos por T los esfuerzos internos, entonces
36
Captulo 1. Preliminares
As, gracias al lema anterior podemos concluir que existe = (t, x(t)), matriz de orden 3 tal que
T = n;
se denomina la matriz o tensor de esfuerzo interno y es conocido como el tensor de Cauchy. Luego,
usando el Teorema del transporte, la ecuacion de continuidad, el lema anterior y el Teorema de la diver-
gencia deducimos que todo medio continuo o fluido debe satisfacer las siguientes ecuaciones
dvi
= fi (x(t), t) + [div()]i (i = 1, 2, 3),
dt
conocidas como las ecuaciones de movimiento; lo que en notacion vectorial podemos escribir como
dv
= f(x(t), t) + div(). (1.5)
dt
dv
El termino dt puede ser expandido como
dv v
= + (v )v,
dt t
con
3
X ui
[(v )u]i = vj (i = 1, 2, 3).
xj
j=1
Por u ltimo, enunciamos la ley de conservacion de momento angular la cual establece la siguiente
identidad Z Z Z
d
(r v) dx = (r f) dx + (r T) d x , (1.6)
dt V(t) V(t) V(t)
donde r es el vector Ox, siendo O un punto de referencia fijo. Finalmente enunciamos un teorema
debido a Boltzmann y Cauchy:
Teorema 1.22 (1.6) es equivalente a que el tensor sea simetrico, para todo punto (t, x(t)).
Definicion 1.23 Un fluido se dice Newtoniano viscoso si su tensor de esfuerzos satisface la ley de Stokes,
es decir:
= pId + 2D,
donde es el coeficiente de viscosidad cinematica del fluido, D es el tensor de deformaciones definido
por
1
D(v) = v + (v)T ,
2
y p = p(t, x(t)) es la presion estatica del fluido.
37
Captulo 1. Preliminares
De este modo, podemos concluir que las ecuaciones que rigen la dinamica de un fluido Newtoniano,
viscoso, incompresible y homogeneo ( = 0 ) son:
(
v
v + q + (v )v = f
t
div(v) = 0
p
con = 0 , q= 0 . Estas ecuaciones son conocidas como las ecuaciones de NavierStokes incompresi-
bles.
1.5. Deformaciones en R3
En esta seccion haremos una breve introduccion a las deformaciones en el espacio euclidiano. La
literatura seguida fue basicamente [15].
Sea O un subconjunto abierto, conexo y suave de R3 , y sea O su clausura, la cual representa el
volumen ocupado por un cuerpo antes de su deformacion. El conjunto O es llamado la configuracion
de referencia.
Una deformacion de la configuracion de referencia O es un campo vectorial
: O R3 ,
tal que es suficientemente suave, inyectiva, excepto posiblemente en los puntos de la frontera, y preser-
va la orientacion, es decir
det (x) > 0, x O.
El conjunto (O), que denotaremos por O , es llamado la configuracion deformada.
Ahora, enunciamos un resultado muy importante. Los detalles de la demostracion pueden ser consul-
tados en [15].
Dada una deformacion y u : O R3 una funcion vectorial integrable definida sobre la configu-
racion deformada. Entonces tenemos la siguiente identidad
Z Z
u(x ) n d = (det (x))u((x))((x))T n d
O
ZO (1.7)
= (Cof (x))T u((x)) n d
O
donde n denota el vector normal exterior unitario a lo largo de O , n es el vector normal exterior
unitario a lo largo de O y d, d son los elementos de a rea en los puntos x O y x = (x)
O , respectivamente.
38
Captulo 2
39
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
Aqu daremos una breve introduccion a los solidos elasticos, enunciando los resultados mas impor-
tantes. Se puede consultar [15, Cap.3, 6] o [33, Cap. 38-39] para un estudio mas detallado.
Gracias a la ley de Hooke, se dice que un material es elastico, isotropico, homogeneo y lineal si su
tensor de esfuerzos esta dado por la siguiente ecuacion constitutiva
= tr(D) Id + 2D,
donde , son llamadas las constantes de Lame del material, que verifican
0, > 0,
y
1
D = D() = + ()T ,
2
es el tensor de deformaciones del desplazamiento elastico , el cual es la expansion de primer orden del
tensor de tension de Green-St Venant (ver [15, Cap. 6]). Las constantes de Lame son determinadas de
manera experimental y varan de un material a otro (ver [15, Seccion 3.8]).
De la ecuacion vectorial de movimiento (ver (1.5)) con v = t , se tiene que nuestro material elastico
debe satisfacer la siguiente ecuacion:
2
= f + div(),
t2
conocida como la ecuacion fundamental de la elasticidad.
En este captulo estudiaremos un problema de interaccion de una estructura elastica que se mueve al
interior de un fluido viscoso e incompresible. Asumiremos que el fluido y la estructura estan contenidos
en un subconjunto fijo, abierto y acotado de R3 al que denotaremos por . Por F (t), respectivamente
S (t), denotaremos el dominio del fluido, respectivamente de la estructura al tiempo t. As, sera la
region fluidoestructura; es decir, el interior de
F (t) S (t) y suponemos ademas que S (0) .
Por simplicidad de notacion, de aqu en mas, denotaremos
F := F (0),
S := S (0).
Asumimos que el movimiento del fluido se rige por el clasico sistema de ecuaciones de NavierStokes
incompresibles, el cual fue introducido en el captulo anterior, a saber
u
u + p + (u )u = 0 en F (t), t (0, T ) (2.1)
t
div(u) = 0 en F (t), t (0, T ) (2.2)
40
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
F (t)
S(t)
aqu, u = (u1 , u2 , u3 ) denota la velocidad del fluido y p la presion. Asumimos, ademas, la condicion de
adherencia del fluido a la pared exterior, es decir
u=0 sobre .
2
div(D()) = 0 en S , t (0, T ). (2.3)
t2
A traves de la interfaz fija S asumimos la continuidad de las velocidades del fluido y la estructura y
de las componentes normales de los tensores:
(t, y) = u(t, (t, y)) sobre S (2.4)
t
(D())(t, y) ny = (u, p)(t, (t, y)) Cof() nx sobre S (2.5)
donde es la deformacion elastica definida por (ver Figura 2.2)
(t, ) : S S (t)
y 7 y + (t, ).
Por ny denotamos el vector normal unitario exterior a lo largo de S , nx el vector normal unitario
exterior a lo largo de S (t) y
1
D() = + T , (u, p) = pId + 2 D(u),
2
como se definio en el Captulo 1. Este sistema es completado por las condiciones iniciales
0
u|t=0 = u en F , |t=0 = 0 en S , = 1 en S . (2.6)
t t=0
41
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
S (0)
S(t)
(t,y)
= y + (t,y)
acoplamiento es la perdida de regularidad que se obtiene en la solucion, para evitar esta perdida de
regularidad, vamos a considerar una aproximacion del sistema de elasticidad lineal (2.3), por un sistema
de dimension finita.
Sea 1 , . . . , N0 , con N0 1, una familia ortonormal de L2 (S ) satisfaciendo
Z
3
i H (S ), i ny d y = 0 i = 1, 2, . . . , N0 . (2.7)
S
La segunda condicion de (2.7) se hace de manera tal que es posible obtener una solucion u satisfaciendo
div(u) = 0 en F (t), u=0 sobre (t, y) = u(t, x) sobre S ,
y (2.8)
t
con x = (t, y). Lo que implica que debe satisfacer la siguiente condicion no lineal
Z
(t, 1 (t, x)) nx d x = 0. (2.9)
S (t) t
Si bien esta combinacion lineal de 1 , . . . , N0 satisface (2.9) en el tiempo inicial, no hay razon para
que esta condicion sea verdadera para t > 0. Esto se debe al hecho que el dominio del fluido esta en
movimiento y por lo tanto depende del tiempo. Para superar esta dificultad, adicionamos en la definicion
del desplazamiento elastico un termino extra. Mas precisamente, sea 0 H 3 (S ) un relevamiento del
vector normal unitario exterior sobre S . Entonces, redefinimos
N0
X
(t, y) = i (t) i (y), (2.10)
i=0
42
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
As,
Z
f
(0, 0) = div( 0 ) dy
0 S
Z
= 0 ny d y
S
= |S | =
6 0.
Por el Teorema de la funcion implcita, existen r1 > 0, r2 > 0 y una aplicacion , con
0 = (1 , . . . , N0 ) definida para todo (1 (t), . . . , N0 (t)) B (0, r1 ). Ademas, C pues
f C por ser un polinomio en (0 , ). Esto concluye la demostracion.
43
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
Observacion 2.2 Del hecho que (0) = 0 y es, en particular, una funcion Lipschitz, existe una cons-
tante tal que
|() (0)|L (0,T ) k 0k[L (0,T )]N0 .
Entonces,
|0 |L (0,T ) kk[L (0,T )]N0 .
Por otro lado, gracias al Teorema de la divergencia y al Teorema de cambio de variable sigue que
Z Z
1 T
(t, (t, x)) nx d x = det() : dy
S (t) t S t
Z
= Cof() : dy.
S t
Por lo tanto, Z
(t, 1 (t, x)) nx d x = 0,
S (t) t
lo que puede ser escrito de manera equivalente como
N0
X
i (t)i (t) + 0 (t)0 (t) = 0, (2.12)
i=1
con
i (t) = i0 (t), (2.13)
y
Z
i (t) = i (1 (t, x)) nx d x
S (t)
Z (2.14)
= det()()1 i ny d y ,
S
44
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
b i (t)
i (t, y) = i (y) (y) (i = 1, 2, . . . , N0 ), (2.17)
0 (t) 0
las cuales satisfacen Z
b
i (t, 1 (t, x)) nx d x = 0. (2.18)
S (t)
Luego, de (2.10) y (2.12) podemos escribir la velocidad del desplazamiento elastico como sigue
N
X 0
= i0 (t)b
i (t, y)
t
i=1
(2.19)
N0
X
= i (t)b
i (t, y).
i=1
n oN0
Proposicion 2.3 La familia de funciones { i }N
i=0 y, para todo t, la familia
0
bi (t) definida por
i=1
(2.17), son linealmente independientes.
N0
X
ai i = 0,
i=0
entonces de (2.7) y la definicion de 0 ,
N0
X Z
0= ai i ny d y = |S |a0 .
i=0 S
45
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
Ahora estamos en condicion de acoplar nuestros dos sistemas de ecuaciones para obtener:
u
t u + p + (u )u = 0 en F (t)
div(u) =0 en (t) F
(2.20)
u=0 sobre
t (t, y) = u(t, (t, y)) sobre S
y
Z Z
2 b
i dy + D() : D(b
i ) dy
S t2 S
Z (2.21)
= (u, p)nx b
i (t, 1 (t, x)) d x (i = 1, 2, . . . , N0 ),
S (t)
con (t, y) satisfaciendo (2.11) y as t (t, y) satisfaciendo (2.19). Este sistema es completado con las
condiciones iniciales (2.6) con
N0
X
1
(y) = i0 i (y), (2.22)
i=1
donde i0 = i (0).
Multiplicando la primer ecuacion de (2.20) por u, integrando sobre F (t), integrando por partes y
usando el Teorema del transporte (ver Teorema 1.19), se tiene
Z ! Z Z
d 1 2
|u| dx + 2 |D(u)|2 dx (u, p)nx u d x = 0.
dt F (t) 2 F (t) F (t)
Multiplicando (2.21) por i , sumando sobre i {1, 2, . . . , N0 }, usando (2.19) y la condicion sobre la
interfaz (2.4), se tiene
Z Z
2
2
dy + D() : D dy
S t t S t
Z
= (u, p)nx u d x .
S (t)
46
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
Del hecho que u = 0 sobre , y de las dos identidades de arriba, deducimos que
Z ! Z
d 1 2
|u| dx + 2 |D(u)|2 dx
dt F (t) 2 F (t)
Z 2 Z
1d 1d
+ dy + |D()|2 dy = 0.
2 dt S t 2 dt S
Integrando respecto al tiempo y usando las condiciones iniciales (2.6), tenemos el siguiente balance de
energa para el sistema acoplado:
Z Z 2 Z sZ Z
1 1 1
2
|u| dx + dy + 2 2
|D(u)| dx dt + |D()|2 dy
2 F (t) 2 S t 0 F (t) 2 S
1 0 2
= ku kL2 (F ) + k 1 k2L2 (S ) .
2
Lo que se puede escribir como
con
R R 2
1 1
EC (t) = 2 F (t) |u|2 dx + 2 S t dy, la energa cin
etica instantanea del sistema acoplado,
1
R
EE (t) = 2 S |D()|2 dy, la energa mecanica instantanea asociada a la elasticidad de la estruc-
tura, y
RsR 2
EV (t) = 2 0 F (t) |D(u)| dx dt, la energa de disipacion viscosa.
L2 (0, T ; H 2 (F (I))) := w : W L2 (0, T ; H 2 (F )) ,
C [0, T ]; H 1 (F (I)) := w : W C([0, T ]; H 1 (F )) ,
H 1 (0, T ; L2 (F (I))) := w : W H 1 (0, T ; L2 (F )) .
47
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
En particular, para el intervalo I = [0, 0], se tiene el espacio de funciones ya introducido en la Seccion
1.2 y que denotaremos por
D := D([0, 0])
= L2 (0, T ; H 2 (F )) C([0, T ]; H 1 (F )) H 1 (0, T ; L2 (F )).
Observacion 2.6 Tal como lo afirma el Teorema 2.5, la presion del fluido esta definida, salvo constante
aditiva. Sin embargo, debido a las hipotesis sobre el fluido en nuestro sistema fluidoestructura (ver
(2.8)), la presion realdel fluido esta determinada de manera u nica.
Para la demostracion del resultado principal, debemos introducir un cambio de variable debido a
que el dominio del fluido esta en movimiento y es una de las incognitas del problema. As, para poder
aplicar los procedimientos clasicos en dominios cilndricos debemos realizar un cambio de variable para
las ecuaciones del fluido (las ecuaciones de la estructura ya estan escritas en dominio fijo). Este cambio
de variable depende de la solucion y por lo tanto esta debe ser lo suficientemente regular. De ah, la
eleccion de la familia de funciones i H 3 (S ) (ver (2.7)).
En lo que sigue, consideraremos la deformacion elastica (ver Seccion 2.2)
(t, ) : S S (t)
y 7 y + (t, y)
donde r1 es suficientemente pequeno para poder aplicar el Lema 2.1 y tener (t) y (t) invertible para
todo t (ver Lema 1.12) y ademas satisfaciendo (2.16) lo que implica 0 (t) > 0.
48
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
E : H 3 (S ) H 3 () H 10 ()
E(w) = w c.t.p. en S ,
E(w) tiene el soporte en [S ] := {y : dist(y, S ) < } (0 < < dist(S , )),
kE(w)kH 3 () CkwkH3 (S ) ,
As, gracias a las propiedades del operador E, sigue que X(t, ) es una extension de en todo y
deja los puntos de invariantes.
En lo que sigue, suponemos (1 , . . . , N0 ) [H 2 (0, T )]N0 . Gracias a los teoremas de inyeccion de
Sobolev (ver, por ejemplo, [57, pag. 33]), podemos considerar las siguientes normas para H 2 (0, T ) y
H 1 (0, T ) (las cuales son equivalentes a las normas usuales):
y
kf kH1 (0,T ) := kf kL (0,T ) + kf 0 kL2 (0,T ) (f H 1 (0, T )).
Analogamente, consideraremos las normas kf kH2 (0,T ) y kf kH1 (0,T ) para funciones vectoriales f
H 2 (0, T ) y f H 1 (0, T ), respectivamente.
Notemos que, como C (B(0, r1 )), se tiene 0 = (1 , . . . , N0 ) H 2 (0, T ). Por lo tanto,
deducimos que H 2 (0, T ; H 3 (S )) y as, usando nuevamente los teoremas de inyeccion de Sobolev
(ver [57]), obtenemos
E() C 1 ([0, T ]; W 1, ()).
Mas aun,
kE()kL (0,T ;W 1, ()) CE kkL (0,T ;W 1, (S ))
CE CS kkL (0,T ;H 3 (S ))
CE CS Ck(0 , 1 , . . . , N0 )k[L (0,T )]N0 +1
CE CS Ckk[L (0,T )]N0 ,
49
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
Observacion 2.7 Notar que aqu hemos utilizado la notacion de supra-ndice para los espacios de fun-
ciones vectoriales, con el fin de evitar cualquier confusion respecto a la dimension de los espacios. Se
adopatara este criterio cada vez que se estime conveniente.
Lema 2.8 Sea i H 2 (0, T ), i H 3 (S ) para todo i {0, 1, . . . , N0 } y asumamos (2.24) con r1
suficientemente pequeno. Entonces X H 2 (0, T ; H 3 ()), (X)1 H 2 (0, T ; H 2 ()) y
Por lo tanto,
Y L (0, T ; H 3 ()).
Derivando la identidad X(t, Y (t, x)) = x respecto al tiempo, obtenemos
Y X
(t, x) = Y (t, X) (t, Y (t, x)). (2.29)
t t
Probemos que
X
B(t, x) := (t, Y (t, x)) L (0, T ; H 2 ()). (2.30)
t
50
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
3
En efecto, de la regularidad de X, ya sabemos que X
t C([0, T ]; H ()) y por la primera parte de la
demostracion tenemos que Y L (0, T ; H 3 ()). Derivando (2.30) respecto a x, tenemos
3
X 3
2 Bi 3 Xi Yp Yl X 2 Xi 2 Yl
= (Y ) + (Y ) L (0, T ; L2 ()).
xk xj tyl yp xk xj tyl xj xk
l,p=1 l=1
Y W 1, (0, T ; H 2 ()).
Por lo tanto,
Y H 2 (0, T ; H 1 ()).
Esto concluye la demostracion.
A continuacion establecemos, bajo las hipotesis del Lema 2.8, tres identidades u tiles para la derivada
del determinante de las matrices que mas utilizaremos en este captulo:
Lema 2.9 Sea i H 2 (0, T ), i H 3 (S ) para todo i {0, 1, . . . , N0 } y asumamos (2.24) con r1
suficientemente pequeno. Entonces,
3
X 2
Yq Xl Xp
(det X) = det X (X) ,
yk xl xp yk yq
p,q,l=1
3 3
!
1 X Yq X 2 Xp Yl
(det Y ) (X) = (X) (X)
xj det X xp yq yl xj
p,q=1 l=1
1
= tr (X)1 (2 X[(X)1 ],j ) ,
det X
y
3 3
!!
1 X Yq 2 Xp X 2 Xp Yl
(det Y ) (X) = (X) + (X)
t det X xp tyq yq yl t
p,q=1 l=1
1 1 X 2 Y
= tr (X) + X (X) .
det X t t
Aqu, hemos denotado por [(X)1 ],j la j-esima fila de la matriz (X)1 .
51
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
Escribiendo x = X(t, y), usando el hecho que Y (X(t, y)) = (X(t, y))1 y aplicando la Regla de
Leibniz en el segundo factor, se deduce
3
X 2
T Yq Xp
(X) : (X) = (X)
yi xp yq yi
p,q=1
3
X 2
Yq Xl Xp
= (X) + (X)T : X .
xl xp yi yq yi
p,q,l=1
Del hecho que yi tr((X)1 X) = 0, deducimos la primera identidad.
1
La demostracion de la segunda y tercera identidad sigue del hecho que det Y = det X(Y ) , del
Lema 1.11 y de la definicion de producto escalar matricial.
pequeno. Entonces
bi H 2 (0, T ; H 3 (S )).
En esta seccion usaremos el cambio de variable construido en la Seccion 2.5 para escribir nuestro
sistema de ecuaciones (2.20)-(2.21) en dominios fijos.
Sean
52
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
X3
2 Yi Xl
+ det X(y) (X(y)) (y)uj (X(y))
xj xl yi
l=1
X3
Yi uj Xl
+ det X(y) (X(y)) (X(y)) (y) .
xj xl yi
l=1
Del Lema 2.9, se tiene
X Yi3
(det X(y)) (X(y))uj (X(y))
yi xj
j=1
3
X 2 3
X
Yq Xl Xp Yi
= det(X(y)) (X(y)) (y) (y) (X(y))uj (X(y))
xl xp yi yq xj
p,q,l=1 j=1
3
X
2 Yq Xp
= det(X(y)) (X(y)) l,j (y) (y)uj (X(y))
xl xp yq
p,q,l,j=1
3
X 2
Yq Xp
= det(X(y)) (X(y)) (y)uj (X(y)).
xj xp yq
p,q,j=1
Entonces,
3
X Yi uj Xl
div v(y) = det X(y) (X(y)) (X(y)) (y)
xj xl yi
i,j,l=1
3
X uj
= det X(y) (X(y))
xj
j=1
= det(X(y))(div u)(X(y)).
53
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
54
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
3 2
2 v i
X X3
vi 1
[Lv]i := + (X) lj
j=1
yj2 yj yl lj
l=1 (2.43)
vi
+ (det X) (det Y ) (X) + (det X) (Eij [v]) (X) ,
xj yj xj
3
X 3 3 3
1 vi X Xj X X Xj
[N v]i := vm + Eij [v](X) vm , (2.44)
det X yj ym ym
j=1 m=1 j=1 m=1
3
X
q q
[Gq]i := (det X) (det Y ) (X)q + + (X)1 li li . (2.45)
xi yi yl
l=1
donde
b i (t, y) = (Cof X)T b
i (t, y) (2.47)
55
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
y
N0
X
H() = i (b
i i ).
i=1
el cual sabemos que admite una u nica solucion (W i , i ) H 2 (F ) H 1 (F ) (ver [14, 71]). La
regularidad en tiempo de la solucion de estos sistemas sera demostrada luego en el Lema 2.21.
Consideremos ahora las funciones
N0
X
w=v i W i , (2.49)
i=1
y
N0
X
=q i i . (2.50)
i=1
con
N0
X N0
X N0
X N0
X
K = i0 W i i W 0i [M (i W i )] + [L(i W i )]
i=1 i=1 i=1 i=1
" N
!# N0
(2.52)
X 0 X
N w+ i W i [G(i i )].
i=1 i=1
Ahora, transformamos la ecuacion para la estructura de modo de trabajar en dominios fijos en las
integrales que aparecen debido al acoplamiento entre los dos sistemas de ecuaciones (fluidoestructura)
56
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
y para poder escribir el desplazamiento elastico usando solo las funciones i (i = 1, . . . , N0 ), las cuales
no dependen del tiempo.
De la ecuacion para la velocidad del desplazamiento elastico (2.19), tenemos
N
2 X 0
= j0 b
j + j (b
).
t2 t j
j=1
2 b
N
X0 b b
i = 0 b b
j j + ( j j ) i + ( i i ) + j i .
t2 t j
j=1
As, obtenemos
Z X N Z N0
X Z
2 b 0
b
i dy = j0 j i dy + j0 j j i dy
S t2 S S
j=1 j=1
Z Z
b b
N0
X X0 N
+ j j i dy + j0 b
j b i i dy.
S t S
j=1 j=1
donde E[w] esta definida por (2.37). De la anterior igualdad y gracias a la identidad (1.7) deducimos
Z Z
b
(u, p)nx i (Y ) d x = (w, )ny i d y
S (t) S
Z Z
+ (w, )(X)T ny b i i d y + G0 [w, ] b
i d y ,
S S
con
N0
X
T
G0 [w, ] =(w, ) (X) Id ny + i (W i , i )(X)T ny
i=1
T
+ 2(E[w] + (E[w]) )(X) Cof(X)ny (2.53)
N0
X
+ 2 i (E[W i ] + (E[W i ])T )(X) Cof(X)ny .
i=1
57
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
i = 1, 2, . . . , N0 .
Entonces, tenemos la siguiente proposicion:
si y solo si
(w, , ) D L2 (0, T ; H 1 (F )) [H 1 (0, T )]N0 . (2.57)
Mas aun, si (u, p, ) satisface (2.56) entonces (u, p, ) es solucion de (2.20)-(2.21) junto con las condi-
ciones iniciales (2.6) si y solo si (w, , ) es solucion de (2.51), (2.54) con (2.42)-(2.45), (2.52), (2.53),
(2.55) y las condiciones iniciales
N0
X
w|t=0 = w0 = u0 i0 W i en F , (2.58)
i=1
En lo que resta del Captulo 2, estudiaremos el problema (2.51), (2.54). Para probar la existencia
de una solucion local en tiempo de tal sistema, usaremos un enfoque similar al realizado en [69]. Mas
precisamente, escribimos (2.51), (2.54) como
w w + = F en F , t (0, T )
t
div(w) = 0 en F , t (0, T )
w = 0 sobre , t (0, T )
w = PN0 sobre S , t (0, T )
i=1 i i
58
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
y
Z
[S]0i = (w, )ny i d y + fi ,
S
e
w(0) = w0 y e
(0) = 0 , (2.64)
donde F L2 (0, T ; L2 (F )), f [L2 (0, T )]N0 son funciones dadas, 0 = (10 , . . . , N
0 ) dado y la
0
e
matriz S definida por (2.60). Aqu, w, e son las incognitas del problema.
e,
Para estudiar (2.62)-(2.63), utilizaremos tecnicas de la teora de semigrupos (ver [56]). Para ello
comencemos por introducir el siguiente espacio de funciones
H(div; F ) := {u L2 (F ) : div(u) L2 (F )}
Claramente, H(div; F ) con la norma definida arriba, es un espacio de Hilbert. Para mas detalles sobre
este espacio y sus propiedades, consultar [26, 36].
59
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
D(A) = {(w, ) H : w H 2 (F )
w = 0 sobre
N0
X
w= i i sobre S },
i=1
y definamos el operador
A : D(A) H
(w, ) 7 P w, S 1 B(w)
donde Z
Bj (w) = 2 D(w)n j d y (j = 1, 2, . . . , N0 ),
S
y P : L2 (F ) RN0 H es la proyeccion ortogonal sobre H. Esta proyeccion esta bien definida por
ser H un subespacio vectorial cerrado de L2 (F ) RN0 . Esto implica, ademas, que H es un espacio
vectorial de Hilbert por s mismo.
Aqu hemos utilizado el siguiente producto escalar para L2 (F ) RN0 :
Z
((w, ), (u, )) := w u dy + S (2.65)
F
Definicion 2.14 Un operador lineal en X, (A, D(A)), es disipativo si y solo si para todo
x D(A) existe y J (x) tal que Re(hy, Axi) 0.
Observacion 2.15 En el caso particular que X es un espacio de Hilbert, podemos identificarlo con su
dual y entonces J (x) = {x}.
60
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
Dem. En primer lugar, observemos que gracias al Teorema de Hahn-Banach (segunda forma geometri-
ca,ver [12]) es posible deducir que el conjunto D(A) es denso en H.
Veamos ahora que el operador A es disipativo. Sean (u, ) D(A). Entonces,
Z
(A(u, ), (u, )) = u u dy + SS 1 B(u)
F
Z Z
= 2 D(u) : D(u) dy 2 D(u)n u d y
F S
N0
X Z
+ 2 D(u)n j d y j
j=1 S
Z
= 2 |D(u)|2 dy
F
0.
As, gracias a la Definicion 2.14 y la Observacion 2.15, se tiene que el operador (A, D(A)) es disipativo.
Ademas, Id + A es sobreyectivo. En efecto,
Z Z
((Id + A)(u, ), (w, )) = u w dy + 2 D(u) : D(w) dy + S .
F F
Gracias a la desigualdad de Cauchy-Schwarz y la desigualdad de Korn (ver [57, Teorema 2.4-1, pag.50])
es posible probar que a(, ) es continua y coerciva (ver Definicion 1.7).
Dado (v, ) H, el funcional L : V R definido por
L((u, )) = h(v, ), (u, )i
es una forma lineal y continua sobre V . As, aplicando el Lema de Lax-Milgram (Lema 1.8) podemos
asegurar la existencia de una u nica solucion (w, ) V tal que
Z Z
u w dy + 2 D(u) : D(w) dy + S = h(v, ), (u, )i (u, ) V .
F F
61
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
Poniendo = 0 en la ecuacion de arriba, se puede probar que w es solucion de un sistema tipo Stokes:
w w + = v en F
div(w) = 0 en F
(2.66)
w=0 sobre
PN0
w = i=1 i i sobre S .
Ya que { i }N 3 2 2
i=1 H (S ) y C , obtenemos que w H (F ). Por lo tanto, el operador Id + A
0
es sobreyectivo.
Luego, gracias al Teorema de Lumer-Phillips, A es el generador infinitesimal de un semigrupo de
contraccion sobre H (ver [56, Teorema 4.3, pag.14]).
Usando Proposicion 2.16 y resultados clasicos de ecuaciones parabolicas (ver, por ejemplo, [69])
deducimos el siguiente resultado para (2.62)-(2.64):
Proposicion 2.17 Para todo (w0 , 0 ) V , para todo (F , f ) L2 0, T ; L2 (F ) RN0 existe una
u nica solucion de (2.62)-(2.64) tal que
e D, e
w e [H 1 (0, T )]N0 .
L2 (0, T ; L2 (F )),
Esta seccion esta dedicada a la demostracion del Teorema 3.1. Mas precisamente, probaremos este
teorema usando dos resultados tecnicos (Teorema 2.18 y Teorema 2.19) los cuales seran probados en las
secciones siguientes.
En primer lugar, fijemos (w, , ) con
62
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
En particular, si tomamos
r1
T = , (2.69)
2R
se tiene que para todo t, (1 (t), . . . , N0 (t)) B(0, r1 ), con r1 tal que podemos aplicar el Lema 2.1 y
el Lema 2.8 y as tener (2.16). Usando estas funciones, podemos definir , bi , X, bi , (W i , i ) por las
formulas (2.10), (2.17), (2.25), (2.47), y (2.48). Por u ltimo definimos F y f por (2.61) y (2.55). Entonces
se tienen los dos siguientes resultados:
Teorema 2.18 Supongamos que (w, , ) satisface (2.67) y asumamos (2.69). Entonces existe una cons-
tante positiva C(R) tal que
Estos dos resultados son de caracter tecnico y seran probados en las dos siguientes secciones. Admitiendo
estos resultados, estamos en posicion de probar el resultado principal. La demostracion esta basada en el
Teorema del punto fijo de Banach (Teorema 1.9):
Dem.(Demostracion del Teorema 3.1)
Para T > 0 y R > 0, definimos
N
K = D L2 (0, T ; H 1 (F )) H 1 (0, T ) 0
y
C = {(w, , ) K : k(w, , )kK R} .
Claramente C es un subconjunto cerrado de K. Ahora introducimos la aplicacion Z de la cual buscare-
mos un punto fijo:
Z: C K
e (2.72)
(w, , ) 7 e
w, e,
63
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
donde w,e e, e es la solucion de (2.62)-(2.64), con F y f definidas por (2.61) y (2.55) con (w, , )
(como en el comienzo de esta seccion). De la Proposicion 2.17 y el Teorema 2.18 sigue que Z mapea C
en K. Mas precisamente, aplicando la Proposicion 2.17, obtenemos la siguiente estimacion
0
0
e
w,
e , e
C kF k 2 2 + kf k +
w
+
. (2.73)
L (0,T ;L (F )) [L2 (0,T )]N0 H 1 (F )
K
donde, para k = 1, 2, F (k) y f (k) estan definidas por (2.61) y (2.55) con w(k) , (k) , (k) . As, gracias
al Teorema 2.19, tenemos
Z w(1) , (1) , (1) Z w(2) , (2) , (2)
K
1/4
(1) (1) (1)
C(R)T
w , , w(2) , (2) , (2)
.
K
As, para T suficientemente pequeno, Z es una contraccion sobre C de lo que se deduce, gracias al
Teorema 1.9, la existencia de un punto fijo para la aplicacion Z y as, de una solucion local de (2.51),
(2.54). Por lo tanto, gracias a la Proposicion 2.13, obtenemos una solucion local de (2.20)-(2.21). Esto
completa la demostracion.
64
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
Esta seccion esta dedicada a la demostracion del Teorema 2.18. Mas precisamente, aqu estimaremos
la norma de las funciones f y F definidas por (2.55) y (2.61). Durante esta seccion, fijamos (w, , )
con
kwkD + kkL2 (0,T ;L2 (F )) + kk[H1 (0,T )]N0 R, (2.77)
donde R es una constante positiva fija (ver (2.75)). Asumimos (2.69) y definimos i
(i = 0, . . . , N0 ) por (2.68). As podemos definir , bi , X, bi , (W i , i ) por las formulas (2.10), (2.17),
(2.25), (2.47), y (2.48) como al comienzo de la Seccion 2.8.
En las estimaciones siguientes, las constantes C(R) pueden depender de R, de la geometra de los
dominios, de , N0 , { i }Ni=0 , y de T . Si existe una dependencia en tiempo, esta es de manera no de-
0
Recordemos que de las suposiciones anteriores y del Lema 2.8, X H 2 (0, T ; H 3 ()),
Y L (0, T ; H 3 ()) W 1, (0, T ; H 2 ()) H 2 (0, T ; H 1 ()) y (X)1 H 2 (0, T ; H 2 ()).
Lema 2.20 Con las suposiciones anteriores, Cof(X) H 2 (0, T ; H 2 ()) y para todo
b i H 2 (0, T ; H 2 (S )). Ademas, se tienen las siguientes estimaciones
1 i N0 ,
kX idkH 1 (0,T ;H 3 ()) C(R)T 1/2 . (2.78)
kCof (X) IdkL (0,T ;H 2 ()) C(R)T 1/2 , kCof(X)kH 2 (0,T ;H 2 ()) C(R), (2.79)
1
1
C(R),
1
C(R)T 1/2 , (2.80)
det X
2 det X
2
L (0,T ;H (S )) L (0,T ;H (S ))
(X)1
C(R), (X) Id L (0,T ;H 2 ( )) C(R)T 1/2 ,
1
(2.81)
L (0,T ;H 2 (S )) S
Y
kXkH 2 (0,T ;H 3 ()) + kY kL (0,T ;H 3 ()) +
t
L (0,T ;H 2 ())
2
(2.82)
Y
+
t2
2
C(R).
L (0,T ;H 1 ())
Dem. En primer lugar, observemos que ya que las entradas de la matriz Cof (X) son de la forma
Xi Xk Xm Xp
, (2.84)
yj yl yn yq
con i, j, k, l, m, n, p, q {1, 2, 3}, la regularidad de Cof (X) es una consecuencia de la regularidad de
X y del hecho que H 2 (0, T ; H 2 ()) es un a lgebra, como ya lo vimos en la demostracion del Lema 2.8.
Por otro lado, usando las definiciones (2.17) y (2.47) se tiene
T i
b i = (Cof X) i 0 , (2.85)
0
65
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
b i H 2 (0, T ; H 2 (S )).
Estas dos u ltimas relaciones implican
Usando la definicion (2.25) de X, tenemos
Esto implica
kXkH 2 (0,T ;H 3 ()) C(R). (2.87)
kY kL (0,T ;L ()) C.
Luego, gracias a la desigualdad (2.88) tenemos que | det(X)| 1/C. De este modo, tomando en
(2.89) h = | det(X)|, obtenemos la siguiente estimacion
1
C(kXk2L (0,T ;H 2 ()) + 1)
det(X)
2
L (0,T ;H ())
C(R).
66
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
As, del hecho que L (0, T ; H 2 ()) es un a lgebra, de (2.78) y de la u ltima estimacion, se tiene
1
1
C kdet X 1kL (0,T ;H 2 ())
det X 1
det X
L (0,T ;H 2 ())
L (0,T ;H 2 ())
C(R)kX IdkL (0,T ;H 2 ())
C(R)T 1/2 .
kY kL (0,T ;L ()) C.
As, obtenemos
kY kL (0,T ;H 3 ()) C(R).
Por consiguiente, usando (2.29) y las estimaciones previas sobre X e Y , obtenemos la estimacion para
Y
t . Un razonamiento similar nos permite obtener la estimaci
on para la segunda derivada en tiempo de
Y.
Por u ltimo, probemos (2.83). De (2.85) deducimos que
kb i (t) i kH 2 (S )
(Cof X)T Id
2 k i kH 2 (S )
H (S )
T
i (t)
+
(Cof X)
2
k 0 kH 2 (S ) .
H (S ) 0 (t)
De la definicion de i y de la condicion (2.7) impuesta sobre la familia i , para todo
i {1, . . . , N0 }, podemos escribir
Z
i = (Cof X)T Id i ny d y ,
S
67
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
Lema 2.21 Asumamos (2.69) y (2.77). Entonces para todo i {1, . . . , N0 }, la solucion del sistema de
Stokes (2.48) satisface
Dem. Usando resultados clasicos (ver, por ejemplo, [14, 71]), deducimos que
kW i kH 2 (F ) + ki kH 1 (F ) Ckb
i i kH 3/2 (S )
(2.92)
Ckb
i i kH 2 (S ) .
Derivando (2.48) con respecto al tiempo obtenemos un sistema de Stokes similar, a saber:
W i i
+ = 0 en F
t t
W i
div =0 en F
t
(2.94)
W i
=0 sobre
t
W i bi
= sobre S .
t t
68
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
As, gracias a la estimacion (2.83), obtenemos la desigualdad (2.91) deseada. Mas aun, de la desigualdad
anterior y de (2.83), se tiene
Usando el Lema 2.20 es posible probar el siguiente resultado:
Lema 2.22 Sean v D y Eij [v] definido por (2.37). Entonces existe una constante positiva C(R) tal
que
kEij [v](X)kL2 (0,T ;H 1 (F )) C(R)T 1/2 kvkD .
Dem. Pongamos x = X(t, y) y al igual que en las demostraciones anteriores, por simplicidad, omitire-
mos la dependencia de las variables respecto al tiempo. De (2.37) y del Lema 2.9 podemos escribir
3
X 1 Xi
Eij [v](X) = tr (X)1 (2 X[(X)1 ],j ) vk
det X yk
k=1
X 3
1 2 Xi Yl 1 Xi vk
+ (X)vk + ik
det X yk yl xj det X yk yj
l=1
1 Xi X vk
3
1
+ (X) lj lj ,
det X yk yl
l=1
donde recordemos que [(X)1 ],j denota la j-esima fila de la matriz [(X)1 ]. Del Lema 2.20 es
posible concluir que
kEij [v](X)kL2 (0,T :L2 (F )) C(R)T 1/2 kvkD .
Calculemos ahora
X 3
Xn
(Eij [v](X)) = (Eij [v])(X) .
ym xn ym
n=1
69
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
As, aplicando una vez mas el Lema 2.9 y usando la linealidad del operador traza deducimos
(1) 1 2 Xi
Eij (X) = tr (X)1 (2 X[(X)1 ],j ) vk
det X yk
1 Xi
tr 2 Y (X)(2 X[(X)1 ],j ) vk
det X yk
1 Xi
tr (X)1 ((3 X[(X)1 ],n )[(X)1 ],j ) vk
det X yk
1 Xi
tr (X)1 (2 X)([Y ],j (X)) vk
det X yk
3
1 1 2 1
X 2 Xi Yp
tr (X) ( X[(X) ],j ) (X)vk
det X yp yk xn
p=1
3
1 1 2 1
Xi X vk Yp
tr (X) ( X[(X) ],j ) (X).
det X yk yp xn
p=1
(2) 1 2 Xi Yp
Eij (X) = tr (X)1 (2 X[(X)1 ],n ) (X)vk
det X yp yk xj
1 3 Xi Yq Yp 1 2 Xi 2 Yp
+ (X) (X)vk + (X)vk
det X yq yp yk xn xj det X yp yk xn xj
1 2 Xi Yp vk Yq
+ (X) (X),
det X yp yk xj yq xn
(3) 1 1 2 1
Xi vk
Eij (X) = tr (X) ( X[(X) ],n ik
det X yk yj
2
2
1 Xi Yp vk 1 Xi vk Yp
+ (X) + ik (X),
det X yp yk xn yj det X yk yp yj xn
70
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
y
3
(4) 1 1 2 1
Xi X vk Yl
Eij (X) = tr (X) ( X[(X) ],n ) (X) lj
det X yk yl xj
l=1
X 3
1 2 Xi Yp vk Yl
+ (X) (X) lj
det X yp yk xn yl xj
l=1
3
1 Xi X 2 vk Yp Yl
+ (X) (X) l,j
det X yk yp yl xn xj
l=1
X3
1 Xi vk 2 Yl
+ (X).
det X yk yl xn xj
l=1
(1)
Estimemos ahora
Eij
. Del Lema 2.8, los Lemas 1.13-1.17 y del hecho que
L2 (L2 (F ))
deducimos
1 2 Xi
1 2 1
det X tr (X) ( X[(X) ],j ) yk vk
2 2
L (L (F ))
1 2 Xi
T 1/2
det X tr (X)1
( 2
X[(X) 1
] ) v
.
yk
L (L2 (F ))
,j k
Aplicando la desigualdad de Holder, el hecho que v D y una vez mas el Lema 2.20 obtenemos la
(1)
estimacion buscada para el primer sumando de Eij (X):
1 2 Xi
1 2 1
C(R)T 1/2 kvkD .
det X tr (X) ( X[(X) ],j ) yk vk
2 2
L (L (F ))
(1)
La estimacion para el segundo sumando de Eij (X) se obtiene de manera similar a lo hecho anterior-
mente. Para el tercer sumando tenemos que hacer un poco de cuidado ya que no nos es posible utilizar la
estimacion (2.96). En efecto, de los Lemas 2.8, 1.13-1.17 y 2.20 se deduce
1 Xi
1 3 1 1
det X tr (X) (( X[(X) ],n )[(X) ],j ) yk vk
2 2
L (L (F ))
C(R)k(3 X)vkL2 (L2 (F )) .
71
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
(1)
Las estimaciones para los otros sumandos de Eij (X) se obtienen utilizando tecnicas similares a las
expuestas para el primer y tercer sumando. Analogamente se realizan los calculos de las estimaciones
(2) (3) (4)
para Eij , Eij y Eij . De este modo, concluimos que
C(R)T 1/2 kvkD ,
xn (Eij [v])(X)
L2 (0,T ;L2 (F ))
lo que implica
C(R)T 1/2 kvkD .
ym (Eij [v](X))
L2 (0,T ;L2 (F ))
Lema 2.23 Supongamos que v D y q L2 (0, T ; H 1 (F )). Entonces existe una constante positiva
C(R) tal que
72
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
Dem. Por simplicidad de notacion las normas de los espacios Lr (0, T ; Ls (F )) y Lr (0, T ; Ls (F )) las
denotaremos por
k kLr (Ls (F )) y k kLr (Ls (F ))
respectivamente. Similarmente, escribiremos las normas de los otros espacios de funciones que dependen
de la variable tiempo y de la variable espacial, omitiendo el dominio de la variable tiempo.
Usando la definicion de M dada por (2.42), y realizando algunos calculos, tenemos
X3
1 X 2 Y Xi 2 Xi
[M v]i = tr (X) + ( X) (X) vk + vk
t t yk tyk
k=1
3
3 3
(2.97)
X 2
Xi Yl X Xi vk Yl X Xi vk
+ (X)vk + (X) + ik .
yl yk t yk yl t yk t
k,l=1 k,l=1 k=1
Los tres terminos siguientes de (2.97) son estimados de manera similar. Para el u ltimo sumando, escribi-
mos
Xi vk
vk
yk ik t
2 2 kX IdkL (L (F ))
t
2 2
L (L (F )) L (L (F ))
C(R)T kvkD ,
donde la u ltima desigualdad es obtenida gracias al Lema 2.20. Todas estas estimaciones implican (i).
Ahora, estimamos los terminos que aparecen en la expresion (2.43) de [Lv]. En primer lugar,
2
vi
1
k(X)1 IdkL (L (F )) kvi kL2 (H 2 (F ))
yj yl (X) lj lj
2 2
L (L (F ))
73
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
y entonces estimamos este termino como el primer termino de [M v]. Usando los Lemas 2.20 y 2.22
obtenemos la siguiente estimacion para el u ltimo termino de [Lv]:
(det X) (Eij [v]) (X)
C(R)T 1/2 kvkD . (2.98)
xj
2 2
L (L (F ))
vi
de lo que se deduce yj L4 (0, T ; H 1/2 ()). Luego, usando los teoremas de inyeccion de Sobolev (ver
vi
[1, pag.217]), podemos concluir que yj L4 (0, T ; L3 (F )). Ademas,
vi
CkvkD .
yj
4 3
L (L (F ))
74
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
Ahora, estimamos k[Gq] qkL2 (L2 (F )) (para la definicion de G, ver (2.45)). Algunos calculos
nos permiten obtener la siguiente desigualdad
(det X) (det Y ) (X)q
=
tr (X)1 (2 X)(X)1 q
L2 (L2 ( ))
xi
F
L2 (L2 (F )) (2.99)
C(R)T 1/2 kqkL2 (H 1 (F )) .
Por lo tanto,
k[Gq] qkL2 (L2 (F )) C(R)T 1/2 kqkL2 (H 1 (F )) .
Para concluir con la demostracion, probemos la desigualdad (v) (ver (2.53)). Estimemos el primer
sumando. Del Lema 2.20 deducimos
k(v, q)((X)t Id)kL2 (H 1 (F )) k(X)t IdkL (H 2 (F )) k(v, q)kL2 (H 1 (F ))
C(R)T 1/2 kvkD + kqkL2 (H 1 (F )) .
De manera similar a lo hecho para estimar los terminos de [Lv], usando el Lema 2.20 y la estimacion
(2.98), deducimos
Aplicando el Lema 2.21, usando (2.77) y calculos similares como en los terminos anteriores, se obtiene
N
X 0
2 i (E[W i ] + (E[W i ])T )(X) Cof(X)
C(R)T 1/2 .
2 1
i=1 L (H (F ))
75
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
Recordemos que
N0
X N0
X N0
X N0
X N0
X
F = i0 W i i W 0i [M (i W i )] + [L(i W i )] [G(i i )]
i=1 i=1 i=1 i=1 i=1
" N0
!#
X
N w+ i W i [M w] + [(L )w] + [( G)].
i=1
C(R)T 1/2 .
Del Lema 2.23 (ii) y (iv), y las estimaciones (2.77) y (2.91), se tiene
N
X 0 XN0
[L(i W i )] [G(i i )]
2 2
i=1 i=1 L (L (F ))
N
N
X 0
X 0
([L(i W i )] i W i )
+
((i i ) [G(i i )])
2 2
2 2
i=1 L (L (F )) i=1 L (L (F ))
N
N
X 0
X 0
C(R)T 1/2
i W i
+ C(R)T 1/2
i i
2 1
i=1 D i=1 L (H (F )))
C(R)T.
76
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
Calculemos ahora la estimacion para f que esta definida por (2.55). En primer lugar, notar que por
(2.17), el Lema 2.10 y la desigualdad (2.90) se tiene que
b
i i
3 C(R)T 1/2 .
L (H (S ))
C(R)T 1/2 ,
N0 Z
X 0
b
b dy
C(R)T 1/2 k 0 k[L2 (0,T )]N0
j j i i
j=1 S
L2 (0,T )
C(R)T 1/2 ,
y
Z
(w, )ny b i i d y
C(R)T 1/2 k(w, )kL2 (H 1 (F ))
S L2 (0,T )
C(R)T 1/2 .
Para el segundo sumando se tiene
N0 Z
X
j b
j b
i dy
C(R)kk[L2 (0,T )]N0
j=1 S t
L2 (0,T )
C(R)T 1/2 .
77
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
C(R)T 3/2 .
y as
kf k[L2 (0,T )]N0 C(R)T 1/2 .
La demostracion del Teorema 2.18 se concluye combinando la ecuacion de arriba con (2.100).
Esta seccion esta dedicada a la demostracion del Teorema 2.19. Mas precisamente,
estimamos las
diferencias F F y f f . Durante toda esta seccion, para k {1, 2} fijamos w(k) , (k) , (k)
(1) (2) (1) (2)
satisfaciendo
(k)
(k)
(k)
w
+
2 2
+
1 N
R, (2.101)
D L (0,T ;L (F )) [H (0,T )] 0
donde R es una constante positiva fija (ver (2.75)). Aqu f (k) y F (k) estan definidas por (2.55) y (2.61).
(k)
Mas precisamente, asumimos (2.69) y usando estas familias de funciones podemos definir i (i =
(k)
(k) (k)
0, . . . , N0 ) por (2.68) y (k) , b , X (k) , b (k) , W ,
i i i i por las formulas (2.10), (2.17), (2.25),
(2.47), y (2.48) como en el comienzo de la Seccion 2.8.
En las estimaciones siguientes, las constantes C(R) que aparecen pueden depender de R, de la ge-
ometra del dominio, de , N0 , { i }N i=0 , y de T . Si ellas dependen del tiempo T , esta dependencia es de
0
manera no decreciente. Similarmente, las constantes C son independientes de R, pero, pueden depender
de la geometra, de , N0 , { i }N
i=0 , y de T . Si ellas dependen de T , lo hacen de manera no decreciente.
0
Recordemos que de las suposiciones anteriores y del Lema 2.8, para k {1, 2},
(k)
X H 2 (0, T ; H 3 ()), Y (k) L (0, T ; H 3 ()) W 1, (0, T ; H 2 ()) H 2 (0, T ; H 1 ()) y
1
X (k) H 2 (0, T : H 2 ()).
Primero estimamos las diferencias de las aplicaciones X e Y :
78
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
n o
(k) N0
Lema 2.24 Sean i , (k {1, 2}) satisfaciendo las condiciones de arriba. Entonces tenemos
i=1
las siguientes estimaciones
(1)
(1) (2)
X X (2)
1, +
Y Y
W (0,T ;H 3 ()) L (0,T ;H 3 ())
Y (1) Y (2)
2 Y (1) Y (2)
+
+
2
t
t
2
2
L (0,T ;H ()) L (0,T ;H 1 ())
C(R)T 1/2
(1) (2)
1 N
.
[H (0,T )] 0
Dem. La demostracion es bastante similar a la demostracion del Lema 2.20 de manera que solo precisa-
remos los principales cambios. Usando que la aplicacion del Lema 2.1 es de clase C , deducimos que
existe una constante positiva C tal que
(1) (2)
(1) (2)
0 0
2 C
2 N
.
H (0,T ) [H (0,T )] 0
Finalmente, usando el lema anterior, podemos probar los siguientes resultados. Ya que sus demostra-
ciones son similares a la demostraciones de los Lemas 2.20 y 2.23 (ver tambien [69]), las omitimos.
79
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
Lema 2.25 Con las suposiciones de arriba, tenemos el siguiente resultado de regularidad: existe una
constante positiva C(R) tal que
(1) (2)
1/2
(1) (2)
Cof X Cof X
1, 2
C(R)T
1 N0
,
W (0,T ;H ()) [H (0,T )]
y
(1) (2)
bi
bi
C(R)T 1/2
(1) (2)
.
W 1, (0,T ;H 2 (S )) [H1 (0,T )]N0
Lema 2.26 Sean v D y q L2 (0, T ; H 1 (F )). Entonces existe una constante positiva C(R) tal que
h i h i
(i)
M (1) v M (2) v
C(R)T 1/2 kvkD
(1) (2)
,
L2 (0,T ;L2 (F )) [H1 (0,T )]N0
h i h i
(ii)
L(1) v L(2) v
C(R)T 1/2 kvkD
(1) (2)
,
L2 (0,T ;L2 (F )) [H1 (0,T )]N0
h i h i
(iii)
G(1) q G(2) q
C(R)T 1/2 kqkL2 (0,T ;H 1 (F ))
(1) (2)
,
L2 (0,T ;L2 (F )) [H1 (0,T )]N0
(1) (2)
(iv)
G0 [v, q] G0 [v, q]
2
L (0,T ;H 1 (F ))
C(R)T 1/2 kvkD + kqkL2 (0,T ;H 1 (F )) +
(1) (2)
.
[H1 (0,T )]N0
Lema 2.27 Sean v (1) , v (2) D. Entonces existe una constante positiva C(R) tal que
h i h i
N (1) v (1) N (2) v (2)
2
L (0,T ;L2 (F ))
1/4
(1)
(2)
(1)
(2)
(1) (2)
(1) (2)
C(R)T
v
+
v
v
+
v
1 N
+
v v
.
D D D D [H (0,T )] 0 D
80
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
Z (k) Z
b(k) b(k)
N0
X N0
X
(k) (k)0 b (k)
fi = j j j i dy j i dy
S S t j
j=1 j=1
N0
X Z (k) Z (k)
(k0 (k)
j b b
j i i dy (k) : b
i dy
j=1 S S
Z T (k) Z h i (k)
(k)
+ w(k) , (k) X (k) ny b
i i d y + G0 w(k) , (k) b
i d y ,
S S
con i = 1, 2, . . . , N0 ; y
h i h i h i
F (k) = K (k) M (k) w(k) + L(k) w(k) + G(k) (k) ,
Z (1) Z
(1) (2)
(1) (2) (1)0 (2)0 b (2)0 b
fi fi = i i j j i dy + j j b j i dy
S S
Z b(1) b(1)
Z
b(1) b(2) b(1)
(1) (2) (2)
+ i i j i dy + j j j i dy
S t S t
Z Z
(2) b(2) b(1) b(2) (1)
+ j j i i dy + (1) (2) : b i dy
S t S
Z (1)
(2)
+ (2) : b i b i dy
ZS h i T (1)
+ w(1) , (1) w(2) , (2) X (1) ny b i i d y
Z S T T (1)
+ w , (2) (2)
X (1)
X (2)
ny b i i d y
ZS T (1)
(2)
+ w(2) , (2) X (2) ny b i b i d y
S
Z h i (1)
(1) (2)
+ G0 G0 w(1) , (1) b i d y
S
Z h i (1)
(2)
+ G0 w(1) , (1) w(2) , (2) b i d y
S
Z h i (1)
(2) (2)
+ G0 w(2) , (2) b i b i d y .
S
81
Captulo 2. Existencia de soluciones fuertes para la interaccion de un fluido viscoso e incompresible y
una estructura elastica
y
h i h i
F (1) F (2) = K (1) K (2) M (1) w(1) M (2) w(1)
h i h i h i
M (2) w(1) w(2) L(1) w(1) L(2) w(1)
h i
L(2) w(1) w(2) w(1) w(2)
h i h i h i
G(1) (1) G(2) (1) G(2) (1) (2) (1) (2) ,
N0
X N0
X
(1) (2) (1)0 (2)0 (1) (2)0 (1) (2)
K K = i i Wi i Wi Wi
i=1 i=1
N0
X N0
X
(1) (2) (1)0 (2) (1)0 (2)0
i i Wi i Wi Wi
i=1 i=1
N0 h
X i h i XN0 h i
(1) (1) (1) (1) (1) (1) (2) (2)
M (1) i W i M (2) i W i M (2) i W i i W i
i=1 i=1
N0 h
X i h i XN0 h i
(1) (1) (1) (1) (1) (1) (2) (2)
L(1) i W i L(2) i W i L(2) i W i i W i
i=1 i=1
" N0
!# " N0
!#
X (1)
X (2)
N (1) w(1) + i + N (2) w(2) + i
i=1 i=1
N0 h
X i h i
(1) (1) (1) (1)
G(1) i i G(2) i i
i=1
N0 h
X i
(1) (1) (2) (2)
G(2) i i i i .
i=1
De las desigualdades anteriores y de los Lemas 2.20-2.21, 2.23, 2.24-2.27, deducimos (2.71). Esto con-
cluye la demostracion del Teorema 2.19.
82
Captulo 3
83
Captulo 3. Deteccion de un cuerpo rgido en un fluido Newtoniano viscoso
A grandes rasgos podemos definir un solido rgido como un sistema de partculas, donde las distan-
cias entre las partculas son fijas y no varan con el tiempo.
Un cambio arbitrario de posicion de un cuerpo rgido puede siempre ser reducido a una rotacion
seguida de una traslacion; es decir, existen funciones
x = a(t) + Q(t)y.
Q0 = S()Q ( R3 ),
donde S denota el solido rgido, m la masa del solido, su densidad, J es la matriz del momento de
inercia y f la densidad de fuerza.
Para un estudio mas exhaustivo sobre el movimiento de cuerpos rgidos consultar [37, Cap. 4-5].
84
Captulo 3. Deteccion de un cuerpo rgido en un fluido Newtoniano viscoso
esta regido por las ecuaciones de movimiento de un solido rgido, de manera que este puede ser descrito
por su centro de masa a(t) R3 y por su orientacion Q(t) SO3 (R) como sigue:
con
S(a, Q) := a + QS0 , (3.1)
donde S0 es un dominio no vaco suave dado (en el sentido de la Definicion 1.6). Podemos asumir, sin
perdida de generalidad, que el centro de masa de S0 es el origen y en este caso, a es el centro de masa
de S(a, Q). Ademas suponemos que existe (a, Q) R3 SO3 (R) tal que S(a, Q) y tal que
F(a, Q) := \ S(a, Q)
S(a,Q)
(a,Q)
S0
85
Captulo 3. Deteccion de un cuerpo rgido en un fluido Newtoniano viscoso
En el sistema de arriba, (u, p) son la velocidad y presion del fluido, mientras que ` y son respec-
tivamente la velocidad lineal y angular del solido. Ademas, hemos denotado por (u, p) el tensor de
esfuerzos de Cauchy, el cual esta definido por
(u, p) = pId + 2 D(u),
donde Id es la matriz identidad de M3 (R) y D(u) es el tensor de deformacion definido por
1 uk ul
[D(u)]kl = + .
2 xl xk
La constante positiva es la viscosidad cinematica del fluido.
La velocidad u es una velocidad dada que satisface la condicion de compatibilidad con la condicion
de incompresibilidad del fluido, Z
u n d = 0. (3.12)
Nuestro objetivo es probar algunos resultados de detectabilidad para el sistema (3.2)-(3.11), aunque
este sistema es mas sencillo que el sistema acoplado completo de las ecuaciones de NavierStokes con
las leyes de Newton, no es un caso particular del mismo. Por lo tanto, primero necesitamos probar que el
sistema (3.2)-(3.11) esta bien puesto para una forma dada S0 del cuerpo rgido.
Teorema 3.1 Asumamos u H 3/2 () satisfaciendo (3.12), S0 un dominio no vaco suave y supon-
gamos (a0 , Q0 ) R3 SO3 (R) tal que S(a0 , Q0 ) y F(a0 , Q0 ) es un dominio no vaco suave.
Entonces existe un tiempo maximal T > 0 y una u nica solucion
(a, Q) C 1 ([0, T ); R3 SO3 (R)), (`, ) C([0, T ); R3 R3 ),
86
Captulo 3. Deteccion de un cuerpo rgido en un fluido Newtoniano viscoso
(u, p) C [0, T ); H 2 (F(a(t), Q(t))) H 1 (F(a(t), Q(t)))/R
satisfaciendo el sistema (3.2)-(3.11). Mas aun, una de las siguientes alternativas vale:
T = +;
Aplicando el Teorema 3.1, deducimos que para toda funcion u H 3/2 () que satisface (3.12),
(1) (2)
existe T > 0 respectivamente T > 0 y una u nica solucion a(1) , Q(1) , `(1) , (1) , u(1) , p(1)
h
(2) (2) (2) (2) (2) (2) (1)
respectivamente a , Q , ` , , u , p de (3.2)-(3.11) en 0, T respectivamente en
h
(2)
0, T .
Teorema 3.2 Con las notaciones del Teorema 3.1, sea u H 3/2 () satisfaciendo (3.12) y suponga-
(1) (2)
mos que u no es la traza de una velocidad rgida sobre
, y asumamos que S0 , S0 son conjuntos
(1) (2)
convexos no vacos. Si existe 0 < t0 < mn T , T tal que
u(1) (t0 ), p(1) (t0 ) n| = u(2) (t0 ), p(2) (t0 ) n|
(1) (2)
En particular, T = T y
h
(1)
S (1) (t) = S (2) (t) t 0, T .
87
Captulo 3. Deteccion de un cuerpo rgido en un fluido Newtoniano viscoso
88
Captulo 3. Deteccion de un cuerpo rgido en un fluido Newtoniano viscoso
Proposicion 3.4 Sea u H 3/2 () satisfaciendo (3.12) y asumamos (a, Q) A. Entonces existe
una u nica solucion
(u, p, `, ) H 2 (F(a, Q)) H 1 (F(a, Q))/R R3 R3
del sistema (3.14)-(3.19).
Para probar esta proposicion, introducimos para todo (a, Q) A los siguientes sistemas de Stokes:
div u(i) , p(i) = 0 en F(a, Q)
(i)
div u =0 en F(a, Q) (i = 1, 2, 3)
(i) = e(i) (3.20)
u sobre S(a, Q)
(i)
u =0 sobre ,
div U (i) , P (i) =0 en F(a, Q)
(i)
div U =0 en F(a, Q) (i = 1, 2, 3) (3.21)
(i) (i) (x a)
U = e sobre S(a, Q)
(i)
U =0 sobre ,
y
div (( V , P )) = 0 en F(a, Q)
div (V ) = 0 en F(a, Q)
(3.22)
V = 0 sobre S(a, Q)
V = u sobre ,
(i) 3
donde recordemos que e i=1 denota la base canonica de R3 .
Usando el hecho que para todo i = 1, 2, 3;
Z Z h i Z
(i) (i)
e n d x = e (x a) n d x = u n d x = 0,
S(a,Q) S(a,Q)
se deduce que los sistemas (3.20), (3.21), (3.22) admiten una u nica solucion u(i) , p(i) , U (i) , P (i) ,
(V , P ) H 2 (F(a, Q)) H 1 (F(a, Q))/R (ver, por ejemplo, [35, Teorema 6.1 pag.231] o [71]).
Para resolver (3.14)-(3.19), buscamos (u, p) como
3
X
u := `i u(i) + i U (i) + V (3.23)
i=1
3
X
p := `i p(i) + i P (i) + P . (3.24)
i=1
2
Es facil chequear que (u, p) H (F(a, Q)) H 1 (F(a, Q))/R y satisface
div((u, p)) = 0 en F(a, Q)
div(u) = 0 en F(a, Q)
u = ` + (x a) sobre S(a, Q)
u = u sobre .
89
Captulo 3. Deteccion de un cuerpo rgido en un fluido Newtoniano viscoso
As, (u, p) es solucion de (3.14)-(3.19) si y solo si (3.18)-(3.19) valen; es decir, si y solo si (`, ) satisface
3
X Z 3
X Z
(i) (i)
`i u ,p n d x + i U (i) , P (i) n d x
i=1 S(a,Q) i=1 S(a,Q)
Z (3.25)
+ (V , P ) n d x = 0
S(a,Q)
y
3
X Z 3
X Z
(i) (i)
`i (x a) u , p n d x + i (x a) U (i) , P (i) n d x
i=1 S(a,Q) i=1 S(a,Q)
Z
+ (x a) (V , P ) n d x = 0.
S(a,Q)
(3.26)
Podemos reescribir el sistema lineal (3.25)-(3.26) en (`, ) de manera matricial. Para hacer esto, ob-
servemos que gracias a la condicion sobre la frontera en (3.20), se tiene
Z ! Z
(i) (i)
u ,p n d x e(j) = u(i) , p(i) n u(j) d x
S(a,Q) S(a,Q)
Z
= 2 D u(i) : D u(j) dx (i, j = 1, 2, 3).
F (a,Q)
Similarmente,
Z ! Z
(i) (i) (j)
(x a) u , p n d x e = u(i) , p(i) n U (j) d x
S(a,Q) S(a,Q)
Z
= 2 D u(i) : D U (j) dx,
F (a,Q)
con i, j = 1, 2, 3.
Estas relaciones y sus contrapartes para U (i) , P (i) y (V , P ) nos permiten escribir (3.25)-(3.26)
como
`
A =b
donde A M6 (R) esta definida por
Z
(i) (j)
Aij = D u :D u dx (1 i, j 3) (3.27)
F (a,Q)
Z
Aij = D u(i3) : D U (j) dx (4 i 6, 1 j 3) (3.28)
F (a,Q)
90
Captulo 3. Deteccion de un cuerpo rgido en un fluido Newtoniano viscoso
Z
Aij = D U (i) : D u(j3) dx (1 i 3, 4 j 6) (3.29)
F (a,Q)
Z
Aij = D U (i3) : D U (j3) dx (4 i, j 6) (3.30)
F (a,Q)
Dem. Ya que A es una matriz simetrica, es suficiente probar que A es definida positiva, es decir,
` ` ` 0
A , > 0, 6= .
0
Z !2
3
X
(i) (i)
D `i u + i U dx = 0.
F (a,Q) i=1
Entonces, de la desigualdad de Korn (ver, por ejemplo, [57, Teorema 2.4-2, pag.51]) deducimos
3
X
`i u(i) + i U (i) = 0 en F(a, Q).
i=1
1 + 2 y = 0 (y O) 1 = 2 = 0.
91
Captulo 3. Deteccion de un cuerpo rgido en un fluido Newtoniano viscoso
{y : 1 + 2 y = 0}
esta siempre incluido en un hiperplano afn de R3 y as este es el caso de O lo cual es una contradic-
cion.
Gracias al Lema 3.5, (u, p, `, ) satisface (3.14)-(3.19) si y solo si (u, p) estan definidas por (3.23),
(3.24) y (`, ) esta dado por
`
= A1 b. (3.31)
Esto asegura la existencia y unicidad de una solucion (u, p, `, ) satisfaciendo (3.14)-(3.19) lo que con-
cluye la demostracion de la Proposicion 3.4.
a0 = `, Q0 = S()Q en (0, T ),
a(0) = a0 , Q(0) = Q0 .
T : A R6
(a, Q) 7 `[a,Q] , [a,Q]
es de clase C 1 .
Para probar la Proposicion 3.7, usamos el siguiente resultado clasico introducido por J. Simon (ver
[68]), el cual recordamos a continuacion.
92
Captulo 3. Deteccion de un cuerpo rgido en un fluido Newtoniano viscoso
Asumamos que W es un espacio de Banach, que B y C son espacios de Banach reflexivos, y que W
es un subconjunto no vaco, abierto de W . Consideremos g 1 : W B C, g 2 : W B y g 3 : W C
tal que para todo w W,
Teorema 3.8 (Simon) Asumamos que w 7 g 1 (w, ) es de clase C 1 en w0 en L(B, C), que g 3 es de
clase C 1 en w0 y que existe una constante > 0 tal que
Entonces g 2 es de clase C 1 en w0 .
Observacion 3.9 Gracias a (3.31), la Proposicion 3.7 se reduce a probar que las aplicaciones
son de clase C 1 .
Para aplicar el Teorema 3.8, primero necesitamos considerar una carta local de A alrededor de un
punto arbitrario (a0 , Q0 ) A.
Consideremos las siguientes matrices antisimetricas:
0 0 0 0 0 1 0 1 0
A1 = 0 0 1 , A2 = 0 0 0 , A3 = 1 0 0 ,
0 1 0 1 0 0 0 0 0
R : U SO3 (R)
= (1 , 2 , 3 ) 7 exp(1 A1 ) exp(2 A2 ) exp(3 A3 )R
93
Captulo 3. Deteccion de un cuerpo rgido en un fluido Newtoniano viscoso
y ademas, podemos probar que existe r > 0 tal que BR6 (0, r) R3 U, y
Usando la carta local introducida arriba, la demostracion de la Proposicion 3.7 se reduce a probar que la
siguiente aplicacion
S(a0 , Q0 ) = a0 + Q0 S.
Sean (h, ) BR6 (0, r), con r de manera tal que (3.32) vale. Sea x S (a0 ,Q0 ) (h, ) , entonces de
la definicion de tenemos
y = Q0 y + a0 , y S(a0 , Q0 ),
x = Q0 ()Q1
0 (y a0 ) + (a0 + h), y S(a0 , Q0 ).
(h, ; y) = Q0 ()Q1
0 (y a0 ) + (a0 + h)
= Id ()(y a0 ) + (a0 + h)
= exp(1 A1 ) exp(2 A2 ) exp(3 A3 )(y a0 ) + (a0 + h).
94
Captulo 3. Deteccion de un cuerpo rgido en un fluido Newtoniano viscoso
Es facil ver que (h, ; ) mapea S(a0 , Q0 ) en S (a0 ,Q0 ) (h, ) y ademas, de la regularidad de
(a0 ,Q0 ) , deducimos que (h, ) 7 (h, ; ) es una aplicacion C de BR6 (0, r) en C k R3 , para
todo k 0.
Fijemos dos subconjuntos abiertos O1 , O2 de tal que
S(a0 , Q0 ) O1 , O1 O2 , O2
Z 1 en O1 , Z 0 en \ O2 .
Ademas, la aplicacion
BR6 (0, r) C k ()
(h, ) 7 X(h, ; )
X 7 X 1
es una aplicacion C del conjunto de difeomorfismos de clase C k de en s mismo (ver Lema 1.12).
95
Captulo 3. Deteccion de un cuerpo rgido en un fluido Newtoniano viscoso
Por consiguiente, si para todo (h, ) BR6 (0, r), denotamos por Y (h, ; ) la aplicacion inversa de
X(h, ; ), entonces
BR6 (0, r) C k ()
(h, ) 7 Y (h, ; )
es tambien de clase C para todo k 0.
Ahora, usaremos el cambio de variable construido para escribir los sistemas de ecuaciones (3.20),
(3.21) y (3.22) en dominios fijos. En efecto, solo detallamos esta transformacion para el sistema (3.20),
los calculos son similares para los sistemas (3.21) y (3.22).
Ya que e(i) H 3/2 () satisface la condicion
Z
e(i) n d = 0,
(i) 2
existe H () (ver, por ejemplo, [14, 71]) tal que
Ahora, definimos
e (i) (h, ; X(h, ; y))
v (i) (h, ; y) = det(X(h, ; y)) (X(h, ; y))1 u (3.38)
(i) (i)
q (h, ; y) = det(X(h, ; y))p (h, ; X(h, ; y)). (3.39)
96
Captulo 3. Deteccion de un cuerpo rgido en un fluido Newtoniano viscoso
e
um
(i)
vm
(i)h i
= (det Y ) (Y ) + Emj v (i) , (3.40)
xj yj
con
h i X 3
Xm (i)
Emj v (i) = (det Y ) (Y ) vk (Y )
xj yk
k=1
(i)
Xm vk
+ det Y (Y ) m,k (Y ) (3.41)
yk yj
Xm X3 (i)
vk
1
+ (det Y ) (Y ) (Y ) (X) lj (Y ) lj .
yk yl
l=1
Entonces,
2u
em
(i)
2 vm
(i) X 2 vm 3 (i)
1
=(det Y ) (Y ) + (det Y ) (Y ) (X) (Y ) lj
x2j yj2 yj yl lj
l=1 (3.42)
h i
(i)
vm
+ (det Y ) (Y ) + Emj v (i) .
xj yj xj
p(i) q (i)
= (det Y ) q (i) (Y ) + (det Y ) (Y )
xm xm ym
3
X (3.43)
q (i)
+ (det Y ) (Y ) (X)1 lm (Y ) lm .
yl
l=1
De este modo, u(i) , p(i) satisface (3.20) si y solo si v (i) , q (i) satisface
(i) (i)
Lv + Gq = (i) en F(a0 , Q0 )
div v (i) = 0 en F(a0 , Q0 )
(3.44)
v (i) = 0 sobre S(a0 , Q0 )
(i)
v =0 sobre
97
Captulo 3. Deteccion de un cuerpo rgido en un fluido Newtoniano viscoso
con
h i 3 2 (i)
2 v m
X X3 (i)
vm
Lv (i) := + (X)1
lj
m
j=1
yj2 yj yl lj
l=1
(3.45)
h i
(i)
vm
+ (det X) (det Y ) (X) + (det X) Emj v (i) (X) ,
xj yj xj
y
h i
q (i)
Gq (i) :=(det X) (det Y ) (X)q (i) +
m xm ym
3
X (3.46)
q (i)
+ (X)1 lm lm .
yl
l=1
Notemos que el lado derecho de la primera ecuacion de (3.44) es el mismo que en (3.37) puesto que en
\ O2 , X(h, ; ) = id (ver (3.35)) y ya que, por definicion, el soporte de (i) esta incluido en \ O2
(ver (c)). En particular, este lado derecho es independiente de h y .
Ahora estamos en posicion de probar la Proposicion 3.7. Recordemos que la Proposicion 3.7 implica
el Teorema 3.1.
Dem. (Demostracion de Proposicion 3.7)
Apliquemos el Teorema 3.8; tomemos
C = L2 (F(a0 , Q0 )),
donde
H 1 (F(a0 , Q0 )) = {w H 10 (F(a0 , Q0 )) : div(w) = 0}
y r suficientemente pequeno (ver (3.32) y la construccion de X).
Ademas, consideremos
g1 : W B C
(h, , v, q) 7 [L(h, )v] + [G(h, )q] ,
g2 : WB
(h, ) 7 v (i) (h, ), q (i) (h, ) ,
98
Captulo 3. Deteccion de un cuerpo rgido en un fluido Newtoniano viscoso
y
g3 : WC
(h, ) 7 (i) .
As, gracias a la regularidad de las aplicaciones X e Y , deducimos que
BR6 (0, r) L(B, C)
(h, ) 7 g1 (h, ; )
es C 1 en (0, 0). Ademas, ya que g 3 (h, ) no depende de (h, ), se tiene que g 3 es C 1 en (0, 0).
Finalmente,
g 1 (0, 0; (u, p)) = u + p (u, p) B
entonces, gracias a la regularidad elptica de los sistemas de Stokes (ver, por ejemplo, [14, 71]), tenemos
kg 1 (0, 0; (u, p))kC K0 k(u, p)kB ,
donde la constante K0 depende de y de la geometra del dominio.
Por lo tanto, aplicando el Teorema 3.8 concluimos que la aplicacion
g 2 : BR6 (0, r) H 2 (F(a0 , Q0 )) H 1 (F(a0 , Q0 )) H 1 (F(a0 , Q0 ))/R
(h, ) 7 v (i) , q (i)
es C 1 en (0, 0).
De la definicion de ue (i) (ver (3.36)), del Teorema de cambio de variable y (3.40)-(3.41), podemos
reescribir (3.27) como sigue
Z h i h i
Aij = D u e (i) + (i) (X) : D u e (j) + (j) (X) (det X) dy
F (a ,Q )
Z 0 0
= T (i) v (i) , (i) , X, Y : T (j) v (j) , (j) , X, Y (det X) dy,
F (a0 ,Q0 )
son C 1 en (0, 0). Mediante calculos similares obtenemos que para todo 1 i, j 6, las aplicaciones
anteriores son C 1 en (0, 0). De igual manera, para todo 1 j 6, las aplicaciones
BR6 (0, r) R
(h, ) 7 bj = bj (a0 ,Q0 ) (h, )
99
Captulo 3. Deteccion de un cuerpo rgido en un fluido Newtoniano viscoso
es de clase C 1 y gracias a la Observacion 3.9, deducimos que la aplicacion Te definida por (3.33) es C 1
en (0, 0). Esto concluye la demostracion de la Proposicion 3.7.
Proposicion 3.11 Sean S (1) y S (2) dos conjuntos no vacos, abiertos, convexos y suaves tal que satis-
facen
S (1) y S (2) . (3.47)
Asumamos u H 3/2 () satisfaciendo (3.12) y consideremos
u(1) , p(1) H 2 \ S (1) H 1 \ S (1) /R,
u(2) , p(2) H 2 \ S (2) H 1 \ S (2) /R
satisfaciendo
div u(i) , p(i) = 0 en \ S (i)
div u(i) = 0 en \ S (i) (i = 1, 2) (3.48)
u(i) = u
sobre .
Si es un subconjunto abierto no vaco de y si
(1) (1) (2) (2)
u ,p n| = u , p n| (3.49)
entonces
u(1) u(2) en \ S (1) S (2) . (3.50)
Dem. Escribimos
u := u(1) u(2)
p := p(1) p(2) .
100
Captulo 3. Deteccion de un cuerpo rgido en un fluido Newtoniano viscoso
Aplicando el principio de continuacion u nica para las ecuaciones de Stokes debido a Fabre y Lebeau [28]
(ver tambien [4]), deducimos que u 0 en la componente conexa de . Ya que es conexo y S (1) ,
S (2) son convexos y satisfacen (3.47), se tiene que \ S (1) S (2) es conexo y as
u(1) = u(2) en \ S (1) S (2) .
(1)
S (t 0)
(2)
S (t0)
(2)
S (t0) (2)
(1) (1)
S (t0)
S (t 0) S (t 0)
El primer caso puede ser dividio en los siguientes 3 subcasos (ver Figura 3.2):
S (1) (t0 ) S (2) (t0 ) = o S (1) (t0 ) S (2) (t0 ) o S (2) (t0 ) S (1) (t0 ).
101
Captulo 3. Deteccion de un cuerpo rgido en un fluido Newtoniano viscoso
(2)
S (t0)
(1)
S (t0)
Figura 3.3: La interseccion de las fronteras contiene al menos tres puntos no colineales (dimension 3)
Caso 1.1: S (1) (t0 ) S (2) (t0 ) = . Entonces, de (3.50), deducimos que en S (2) (t0 ) F (1) (t0 ), se tiene
div u(1) (t 0 ), p(1) (t )
0 =0 en S (2) (t0 )
(1)
div u (t0 ) = 0 en S (2) (t0 )
(1)
u (t0 ) = `(2) (t0 ) + (2) (t0 ) x a(2) (t0 ) sobre S (2) (t0 ).
En particular,
v = u(1) (t0 ) `(2) (t0 ) + (2) (t0 ) x a(2) (t0 )
satisface el siguiente sistema de Stokes
div v, p(1) (t0 ) = 0 en S (2) (t0 )
div (v) = 0 en S (2) (t0 )
v=0 sobre S (2) (t0 ).
Multiplicando por v la primera ecuacion del sistema anterior, deducimos
Z
|D(v)|2 dx = 0
S (2) (t0 )
y as, v = 0 en S (2) (t0 ). Por consiguiente, ya que v satisface el sistema de Stokes en F (1) (t0 ),
podemos aplicar nuevamente el resultado de Fabre-Lebau [28] para obtener
v0 in F (1) (t0 ).
Esto implica que
u (x) = `(2) (t0 ) + (2) (t0 ) x a(2) (t0 ) (x ),
102
Captulo 3. Deteccion de un cuerpo rgido en un fluido Newtoniano viscoso
donde
e = `(1) (t0 ) `(2) (t0 ) + (2) (t0 ) a(1) (t0 ) a(2) (t0 )
a (3.57)
y
e
b = (1) (t0 ) (2) (t0 ) . (3.58)
103
Captulo 3. Deteccion de un cuerpo rgido en un fluido Newtoniano viscoso
Por consiguiente, D(v) 0 en S (2) (t0 ) \ S (1) (t0 ), lo que implica que existen
1 , 2 R3 tal que
v = 1 + 2 y en S (2) (t0 ) \ S (1) (t0 ). (3.60)
En particular, de (3.59) y del Lema 3.6, obtenemos
1 = 2 = 0. (3.61)
Por lo tanto, se tiene v 0 en S (2) (t0 ) \ S (1) (t0 ) y as usando nuevamente [28],
v0 en F (1) (t0 ).
La ecuacion de arriba y (3.53) contradicen la hipotesis que u no es la traza de una velocidad rgida
sobre .
Caso 2 S (1) (t0 ) S (2) (t0 ) {z 0 , z 1 , z 2 } donde z 0 , z 1 , z 2 son tres puntos no colineales (ver Figura
3.3).
De la Proposicion 3.11 se tiene que
y
`(1) (t0 )+ (1) (t0 ) x a(1) (t0 ) `(2) (t0 )+ (2) (t0 ) x a(2) (t0 ) sobre S (1) (t0 )S (2) (t0 )
o equivalentemente
e+e
a b x a(1) (t0 )
eye
con a b definidas por (3.57)-(3.58). Pero si ae, e
b 6= (0, 0), el conjunto
e+e
{y : a b y = 0}
esta incluido en una lnea recta, lo que contradice nuestra suposicion. Entonces concluimos que
`(1) (t0 ) `(2) (t0 ) + (2) (t0 ) a(1) (t0 ) a(2) (t0 ) = (1) (t0 ) (2) (t0 )
(3.62)
= 0.
104
Captulo 3. Deteccion de un cuerpo rgido en un fluido Newtoniano viscoso
Argumentando como en el Caso 1.1 obtenemos nuevamente una contradiccion. Guardando los
Caso 1.1-Caso 1.3 y Caso 2, deducimos que
y
(1) (2)
Q(1) (t0 )S0 = Q(2) (t0 )S0 . (3.63)
Pongamos
h i1
R = Q(2) (t0 ) Q(1) (t0 ) (3.64)
y
Q(t) = Q(2) (t)R, a(t) = a(2) (t).
No es difcil ver que
(a(t0 ), Q(t0 )) = a(1) (t0 ), Q(1) (t0 ) . (3.65)
105
Captulo 3. Deteccion de un cuerpo rgido en un fluido Newtoniano viscoso
En particular, ya que
div u(2) , p(2) = 0 en F (1) (a(t), Q(t))
div u(2) = 0 en F (1) (a(t), Q(t))
u(2) = `(2) + (2) (x a) sobre S (1) (a(t), Q(t))
u(2) = u sobre
Z
u(2) , p(2) n d x = 0
S (1) (a(t),Q(t))
Z
(x a) u(2) , p(2) n d x = 0,
S (1) (a(t),Q(t))
deducimos que
(1) (1)
`(2) = `[a,Q] y (2) = [a,Q] .
Por lo tanto, (a, Q) es solucion de
a0 = `(1)
[a,Q]
Q0 = S (1)
[a,Q] Q.
Del resultado de identificabilidad obtenido en el Teorema 3.2, es posible deducir algunos resultados
de estabilidad. Mas precisamente, con la notacion del Teorema 3.2, nos gustara estimar a partir de la
diferencia
(1) (1) (2) (2)
u (t0 ), p (t 0 ) n u (t0 ), p (t 0 ) n
1/2 ,
H ()
(1) (1) (1) (2) (2) (2)
las diferencias entre RS0 , a0 , Q0 y S0 , a0 , Q0 R.
106
Captulo 3. Deteccion de un cuerpo rgido en un fluido Newtoniano viscoso
Siguiendo el metodo de [4] y la teora clasica sobre diferenciacion respecto al dominio (ver, por
ejemplo, [43]), para estimar las diferencias entre los dominios, podemos considerar deformaciones par-
ticulares de S0 como sigue: consideremos C 2 (R3 ) de manera que 0 en una vecindad de y
6 0 en S0 . Entonces, para pequeno, las aplicaciones = id + , con id la aplicacion identidad,
son difeomorfismos de clase C 2 y podemos considerar los dominios S0, := (S0 ).
Fijando a0 y Q0 , podemos considerar la aplicacion
: 7 (u (t0 ), p (t0 )) n| ,
k 0 kH 1/2 () c| |m .
En lo que sigue, consideraremos otra alternativa a la anterior: Fijemos la forma del cuerpo rgido S0
y usemos la diferencia
u(1) (t0 ), p(1) (t0 ) n u(2) (t0 ), p(2) (t0 ) n
1/2
H ()
T : A R6
(a, Q) 7 `[a,Q] , [a,Q]
es analtica.
Para probar esta proposicion, podemos seguir la demostracion de la Proposicion 3.7. Mas precisa-
mente, para (a0 , Q0 ) A fijo, podemos considerar la carta local (h, ) 7 (a0 ,Q0 ) (h, ) de A. Usando
esta carta, podemos construir el cambio de variable X introducido en la Subseccion 3.5.1 y notar que
BR6 (0, r) C k ()
(h, ) 7 X(h, ; )
es analtica para todo k 0. Entonces, podemos transformar la solucion u(i) , p(i) de (3.20) usando
este cambio de variable y considerar v (i) , q (i) definido por (3.38)-(3.39). Entonces en lugar de aplicar
107
Captulo 3. Deteccion de un cuerpo rgido en un fluido Newtoniano viscoso
el Teorema 3.8, usamos el Teorema de la funcion implcita para funciones analticas (ver, por ejemplo,
[6, 72]) y deducir que
g 2 : BR6 (0, r) H 2 (F(a0 , Q0 )) H 1 (F(a0 , Q0 )) H 1 (F(a0 , Q0 ))/R
(3.66)
(h, ) 7 v (i) , q (i)
es analtica. Combinando esto con la Proposicion 3.12 y con la analiticidad de la aplicacion m definida
en (3.66) deducimos que las aplicaciones
(a0 , Q0 ) 7 (`(t0 ), (t0 )) R6 , (a0 , Q0 ) 7 u(i) , p(i) n| (t0 ) H 1/2 ()
son tambien analticas. Usando que la solucion (u, p) de (3.2)-(3.11) puede ser descompuesto como en
(3.23) y (3.24); deducimos que
(1) (2)
Calculos similares nos permiten estimar la diferencia entre las orientaciones Q0 , Q0 .
108
Captulo 4
4.1.
Elasticit
e lineaire
Nous donnons ici une br`eve introduction aux solides e lastiques en e noncant les resultats plus impor-
tants. Le lecteur pourra consulter [15, Cap.3, 6] ou [33, Cap. 38-39] pour une e tude plus detaillee.
Grace a` la loi de Hooke, on dit quun materiau est e lastique, isotrope, homog`ene et lineaire si son
tenseur des forces est donne par lequation constitutive suivante
= tr(D) Id + 2D,
o`u , sont appelees les constantes de Lame du materiau et verifient
0, > 0,
109
Captulo 4. Existence de solutions fortes
et
1
D = D() = + ()T ,
2
est le tenseur des deformations du deplacement e lastique , ce dernier e tant le developpement au premier
ordre du tenseur de GreenSt Venant (voir [15, Cap. 6]). Les constantes de Lame sont determinees de
mani`ere experimentale et varient dun materiau a` lautre (ver [15, Seccion 3.8]).
En utilisant lequation vectorielle du mouvement (voir (1.5)) avec v = t , on obtient que notre
materiau e lastique doit satisfaire lequation suivante
2
= f + div(),
t2
dite e quation fondamentale de lelasticite.
Nous decrivons ici notre probl`eme et notamment les e quations du syst`eme. Nous supposons que le
fluide et la structure sont contenues dans un ouvert fixe, borne de R3 que nous notons . Nous notons
par F (t), respectivement par S (t), le domaine du fluide, respectivement de la structure, au temps t.
Ainsi, est linterieur de F (t) S (t) et lon suppose dans la suite que S (0) .
F (t)
S(t)
F := F (0),
S := S (0).
Nous supposons que le mouvement du fluide est regi par le syst`eme classique des e quations de
NavierStokes dans le cas incompressible, cest-`a-dire
u
u + p + (u )u = 0 dans F (t), t (0, T ) (4.1)
t
div(u) = 0 dans F (t), t (0, T ) (4.2)
110
Captulo 4. Existence de solutions fortes
o`u u = (u1 , u2 , u3 ) represente vitesse du fluide et p la pression. Nous supposons de plus la condition
dadherence du fluide a` la paroi exterieure, cest-`a-dire
u=0 sur .
Pour le mouvement de la structure, nous supposons que le deplacement e lastique reste suffisamment
petit pour que lon puisse considerer les e quations de lelasticite lineaire :
2
div(D()) = 0 dans S , t (0, T ). (4.3)
t2
` linterface fixe S , nous supposons la continuite des vitesses du fluide et de la structure et des
A
composantes normales des tenseurs :
(t, y) = u(t, (t, y)) sur S (4.4)
t
(D())(t, y) ny = (u, p)(t, (t, y)) Cof() nx sur S (4.5)
o`u est la deformation e lastique definie par (voir figure 4.2)
(t, ) : S S (t)
y 7 y + (t, ).
S (0)
S(t)
(t,y)
= y + (t,y)
Nous utilisons la notation ny pour le vecteur unitaire exterieur de S , nx pour le vecteur unitaire
exterieur de S (t) et
1
D() = + T , (u, p) = pId + 2 D(u).
2
111
Captulo 4. Existence de solutions fortes
Comme nous lavons mentionne dans lintroduction, en couplant ces deux syst`emes dequations aux
derivees partielles, nous obtenons un syst`eme complexe et pour lequel lanalyse conduit actuellement a`
une perte de regularite de la solution a` linstant initial. Par consequent, nous allons considerer dans la
suite une approximation du syst`eme delasticite lineaire par un syst`eme de dimension finie.
Soit 1 , . . . , N0 , avec N0 1, une famille orthonormale de L2 (S ) satisfaisant
Z
3
i H (S ), i ny d y = 0 i = 1, 2, . . . , N0 . (4.7)
S
Nous supposons dans la suite que le deplacement e lastique est genere par la famille 1 , . . . , N0 :
N0
X
(t, y) = i (t) i (y).
i=1
Linteret de la seconde condition de (4.7) est que notre deplacement e lastique doit e tre compatible avec
les conditions de la vitesse u :
div(u) = 0 dans F (t), u = 0 sur y (t, y) = u(t, x) sur S , (4.8)
t
avec x = (t, y). En particulier, cela implique que doit verifier la condition non lineaire suivante
Z
(t, 1 (t, x)) nx d x = 0. (4.9)
S (t) t
Grace a` la seconde condition de (4.7), une deformation e lastique qui est combinaison lineaire des
1 , . . . , N0 verifie bien (4.9) au temps initial (pour une deformation nulle), mais malheureusement il
ny a aucune raison pour que cette condition reste verifiee pour tout t > 0. Cela provient du fait que
le domaine du fluide est en mouvement et par consequent e volue avec le temps. Pour surmonter cette
difficulte, nous ajoutons a` la definition ci-dessus de la deformation e lastique un terme en plus. Plus
precisement, soit 0 H 3 (S ) un rel`evement de la normal exterieure sur S . Alors, notre deformation
sera definie par
N0
X
(t, y) = i (t) i (y), (4.10)
i=0
112
Captulo 4. Existence de solutions fortes
Cette condition est e quivalente a` la conservation du volume de la structure, ce qui est bien compatible
avec la condition dincompressibilite du fluide (rappelons que est fixe et borne).
Lexistence de 0 (t) pour tout temps t est donne par le lemme suivant en supposant que (1 (t), . . . , N0 (t))
est suffisamment petit.
Observation 4.2 Du fait que (0) = 0 et , est en particulier, une fonction lipschitzienne, il existe une
constante telle que
|() (0)|L (0,T ) k 0k[L (0,T )]N0 .
Donc,
|0 |L (0,T ) kk[L (0,T )]N0 .
avec
i (t) = i0 (t), (4.13)
113
Captulo 4. Existence de solutions fortes
et
Z
i (t) = i (1 (t, x)) nx d x
S (t)
Z (4.14)
= det()()1 i ny d y ,
S
b i (t)
i (t, y) = i (y) (y) (i = 1, 2, . . . , N0 ), (4.17)
0 (t) 0
qui verifient Z
b
i (t, 1 (t, x)) nx d x = 0. (4.18)
S (t)
Par suite, en utilisant (4.10) et (4.12), nous pouvons e crire la vitesse de deplacement e lastique sous la
forme
N
X 0
= i0 (t)b
i (t, y)
t
i=1
(4.19)
N0
X
= i (t)b
i (t, y).
i=1
n oN
Proposition 4.3 La famille de fonctions { i }N 0
et, pour tout t, la famille b (t) 0 definie par (4.17),
i=0 i
i=1
sont lineairement independantes.
114
Captulo 4. Existence de solutions fortes
Nous sommes maintenant en position de coupler les deux syst`emes dequations et nous obtenons
u
t u + p + (u )u = 0 dans F (t)
div(u) =0 dans F (t)
(4.20)
u=0 sur
t (t, y) = u(t, (t, y)) sur S
et
Z Z
2 b
i dy + D() : D(b
i ) dy
S t2 S
Z (4.21)
= (u, p)nx b
i (t, 1 (t, x)) d x (i = 1, 2, . . . , N0 ),
S (t)
avec (t, y) satisfaisant (4.11) y ainsi avec t (t, y) satisfaisant (4.19). On compl`ete ce syst`eme avec les
conditions initiales (4.6) et avec
N0
X
1
(y) = i0 i (y), (4.22)
i=1
o`u i0 = i (0).
Multipliant la premi`ere e quation de (4.20) par u, integrant sur F (t), integrant par partie et en
utilisant le Theor`eme du transport (voir Theor`eme 1.19), on obtient
Z ! Z Z
d 1 2
|u| dx + 2 |D(u)|2 dx (u, p)nx u d x = 0.
dt F (t) 2 F (t) F (t)
En multipliant (4.21) par i , en sommant sur i {1, 2, . . . , N0 }, en utilisant (4.19) et la condition sur
linterface (4.4), on deduit
Z Z
2
2
dy + D() : D dy
S t t S t
Z
= (u, p)nx u d x .
S (t)
115
Captulo 4. Existence de solutions fortes
En integrant par rapport au temps et en utilisant les conditions initiales (4.6), nous deduisons legalite sui-
vante denergie pour le syst`eme couple
Z Z 2 Z sZ Z
1 1 1
2
|u| dx + dy + 2 |D(u)| 2
dx dt + |D()|2 dy
2 F (t) 2 S t 0 F (t) 2 S
1 0 2
= ku kL2 (F ) + k 1 k2L2 (S ) .
2
Cette e galite peut se ree crire sous la forme
avec
R R 2
1 1
EC (t) = 2 F (t) |u|2 dx + 2 S t dy, l
energie cinetique instantanee du syst`eme couple,
1
R
EE (t) = 2 S |D()|2 dy, lenergie mecanique instantanee associee a` lelasticite de la structure
et
RsR 2
EV (t) = 2 0 F (t) |D(u)| dx dt, lenergie de dissipation visqueuse.
En particulier, pour lintervalle I = [0, 0], on obtient lespace de fonctions dej`a introduit dans la Section
1.2 et que nous noterons par
D := D([0, 0])
= L2 (0, T ; H 2 (F )) C([0, T ]; H 1 (F )) H 1 (0, T ; L2 (F )).
116
Captulo 4. Existence de solutions fortes
Observation 4.6 Comme il est indique par le Theor`eme 4.5, la pression du fluide est definie, a` une
constante additive. Neanmoins, en raison dhypoth`eses sur lecoulement du fluide dans notre syst`eme
fluidestructure (voir (4.8)), la pression veritabledu fluide est determinee de mani`ere unique.
Pour demontrer le resultat principal, nous devons introduire un changement de variables ; en effet,
le domaine du fluide e tant variable en temps, nous ne pouvons pas appliquer directement les procedes
classiques utilises dans des domaines cylindriques. Ce changement de variables, comme le domaine du
fluide, depend de la solution et par consequent doit e tre suffisamment regulier. Cest cela qui explique
notre choix dune famille de fonctions i H 3 (S ) (ver (4.7)).
Dans ce qui suit, nous considerons une deformation e lastique (voir Section 4.2)
(t, ) : S S (t)
y 7 y + (t, y)
associe a` , o`u est le deplacement de las structure definie par (4.10) et solution de (4.21). A
` partir dici,
nous supposons
(1 (t), . . . , N0 (t)) B(0, r1 ), (4.24)
o`u r1 est suffisamment petit pour pouvoir appliquer le Lemme 4.1, avoir (t) et (t) inversibles pour
tout t (voir le Lemme 1.12) et de plus que la condition (4.16) soit verifiee, ce qui implique en particulier
0 (t) > 0.
Nous construisons un changement de variables X : transformant S en S (t) et F en
F (t). Nous utiliserons ce changement de variables pour transformer le syst`eme dequations (4.20)-
(4.21) en un syst`eme e crit sur des domaines fixes. Pour pouvoir construire ce changement de variables,
nous e tendons la deformation e lastique sur le domaine fluide. Considerons un operateur dextension
lineaire E:
E : H 3 (S ) H 3 () H 10 ()
tel que pour toute fonction w H 3 (S ):
117
Captulo 4. Existence de solutions fortes
Ainsi, grace aux proprietes de loperateur E, il suit que X(t, ) est une extension de a` tout qui
laisse les points de invariants.
Dans ce qui suit nous supposons (1 , . . . , N0 ) [H 2 (0, T )]N0 . Grace aux theor`emes dinjection de
Sobolev (voir, par exemple, [57, p. 33]), nous pouvons considerer les normes suivantes pour H 2 (0, T ) et
H 1 (0, T ) (ces normes sont e quivalents aux normes usuelles) :
kf kH2 (0,T ) := kf kL (0,T ) + kf 0 kL (0,T ) + kf 00 kL2 (0,T ) (f H 2 (0, T ))
et
kf kH1 (0,T ) := kf kL (0,T ) + kf 0 kL2 (0,T ) (f H 1 (0, T )).
Nous considerons de mani`ere analogue les normes kf kH2 (0,T ) et kf kH1 (0,T ) pour des fonctions vecto-
rielles f H 2 (0, T ) et f H 1 (0, T ), respectivement.
Notons que comme C (B(0, r1 )), nous avons 0 = (1 , . . . , N0 ) H 2 (0, T ). Par consequent,
nous deduisons que H 2 (0, T ; H 3 (S )) et ainsi, utilisant de nouveau les theor`emes dinjection de
Sobolev (voir [57]), nous obtenons
E() C 1 ([0, T ]; W 1, ()).
Et de plus,
kE()kL (0,T ;W 1, ()) CE kkL (0,T ;W 1, (S ))
CE CS kkL (0,T ;H 3 (S ))
CE CS Ck(0 , 1 , . . . , N0 )k[L (0,T )]N0 +1
CE CS Ckk[L (0,T )]N0 ,
o`u la derni`ere inegalite est obtenue a` partir de lObservation 4.2.
Par consequent, si (1 , . . . , N0 ) verifie pour tout tla condition (4.24) pour r1 suffisamment petit
dependant de la geometrie de S et des fonctions { i } , nous pouvons appliquer le Lemme 1.12, avec
A = E(), et en deduire que X(t, ) est bijective de sur . De plus son inverse Y (t, ) : verifie
1
kY (t, x1 ) Y (t, x2 )k kx1 x2 k. (4.26)
1 kE()kL (W 1, ())
Cela implique en particulier que Y L (0, T ; W 1, ()) (voir, par exemple, [27, p.279]).
On peut ameliorer cette regularite :
118
Captulo 4. Existence de solutions fortes
Lemme 4.7 Soit i H 2 (0, T ), i H 3 (S ) pour tout i {0, 1, . . . , N0 } et supposons (4.24) avec
r1 suffisamment petit. Alors X H 2 (0, T ; H 3 ()), (X)1 H 2 (0, T ; H 2 ()) et
petit. Alors
bi H 2 (0, T ; H 3 (S )).
Dans cette section, nous utilisons le changement de variables construit dans la section 4.5 pour
ree crire notre syst`eme dequations (4.20)-(4.21) sur des domaines fixes.
Posons
Cela vient de la condition divergence pour le champ de vitesse que nous voulons garder apr`es changement
de variables (voir (4.20)). Plus precisement, nous avons le resultat suivant :
Pour obtenir le syst`eme verifie par v, nous ree crivons dej`a (4.27) sous la forme suivante
3
X Xi
ui = det Y (Y )vk (Y ), (4.30)
yk
k=1
119
Captulo 4. Existence de solutions fortes
Puis nous derivons lequation precedente par rapport au temps et aux variables despaces. Pour sim-
plifier lexposition, nous necrivons pas la variable temporelle.
3 3
ui X Xi X Xi vk Yl
= (det Y ) (Y ) vk (Y ) + (det Y ) (Y ) (Y )
t t yk yk yl t
k=1 k,l=1
(4.31)
X 3
vi Xi vk
+ (det Y ) (Y ) + det Y (Y ) ik (Y ).
t yk t
k=1
Puis
3
X 3
X
ui Xi Xi vk Yl
= det Y (Y ) vk (Y ) + det Y (Y ) (Y )
xj xj yk yk yl xj
k=1 l=1 (4.32)
vi
=: det Y (Y ) + Eij [v],
yj
avec
X3
Xi Xi vk
Eij [v] = (det Y ) (Y ) vk (Y ) + det Y (Y ) ik (Y )
xj yk yk yj
k=1
(4.33)
Xi X3
vk
+ (det Y ) (Y ) (Y ) (X)1 lj (Y ) lj .
yk yl
l=1
Dautre part,
2 ui 2 vi
3
X 2 vi
1
=(det Y ) (Y ) + (det Y ) (Y ) (X) (Y ) lj
x2j yj2 yj yl lj
l=1 (4.34)
vi
+ (det Y ) (Y ) + (Eij [v]) .
xj yj xj
p = (det Y )q(Y ).
120
Captulo 4. Existence de solutions fortes
Ainsi
p q
= (det Y ) q(Y ) + (det Y ) (Y )
xi xi yi
3
X (4.36)
q
+ (det Y ) (Y ) (X)1 li (Y ) li .
yl
l=1
En utilisant les expressions precedentes, nous pouvons ree crire (4.20) comme suit
v
+ [M v] [Lv] + [N v] + [Gq] = 0 dans F , t (0, T )
t
div(v) = 0 dans F , t (0, T ) (4.37)
v = 0 sur , t (0, T )
v=V sur S , t (0, T )
o`u [Lv], [M v], [N v], [Gq], sont definis par
3
X 3
X
Xi Xi vk Yl
[M v]i := det X det Y (Y ) (X)vk + (X)
t yk yk yl t
k=1 k,l=1
(4.38)
3
X
Xi vk
+ ik ,
yk t
k=1
3 2
2 v i
X X3
vi 1
[Lv]i := + (X) lj
j=1
yj2 yj yl lj
l=1 (4.39)
vi
+ (det X) (det Y ) (X) + (det X) (Eij [v]) (X) ,
xj yj xj
3
X 3 3 3
1 vi X Xj X X Xj
[N v]i := vm + Eij [v](X) vm , (4.40)
det X yj ym ym
j=1 m=1 j=1 m=1
3
X
q q
[Gq]i := (det X) (det Y ) (X)q + + (X)1 li li . (4.41)
xi yi yl
l=1
o`u
b i (t, y) = (Cof X)T b
i (t, y) (4.43)
et
N0
X
H() = i (b
i i ).
i=1
121
Captulo 4. Existence de solutions fortes
qui admet une solution unique (W i , i ) H 2 (F ) H 1 (F ) (ver [14, 71]). La regularite en temps de
la solution de ces syst`emes est donne plus tard dans le Lemme 2.21.
Considerons maintenant les fonctions
N0
X
w=v i W i , (4.45)
i=1
et
N0
X
=q i i . (4.46)
i=1
` partir de (4.37) on deduit que (w, ) verifie
A
w + [M w] [Lw] + [G] = K
dans F , t (0, T )
t
div(w) = 0 dans F , t (0, T ) (4.47)
w=0 sur , t (0, T )
w = PN0 sur S , t (0, T )
i=1 i i
avec
N0
X N0
X N0
X N0
X
K = i0 W i i W 0i [M (i W i )] + [L(i W i )]
i=1 i=1 i=1 i=1
" N
!# N0
(4.48)
X 0 X
N w+ i W i [G(i i )].
i=1 i=1
Maintenant, nous transformons lequation pour la structure de mani`ere a` travailler avec des integrales
e crites sur des domaines fixes et decrire le deplacement e lastique en utilisant seulement les fonctions i
(i = 1, . . . , N0 ), qui ne dependent pas du temps.
` partir de lequation de la vitesse du deplacement e lastique (4.19), on obtient
A
N
2 X 0
= j0 b
j + j (b
).
t2 t j
j=1
122
Captulo 4. Existence de solutions fortes
2 b XN
0 b b
= 0
+ (b ) + (b ) + j i .
i j j j i i i
t2 j
t j
j=1
o`u E[w] est definie par (4.33). En combinant legalite ci-dessus avec (1.7) on en deduit
Z Z
b
(u, p)nx i (Y ) d x = (w, )ny i d y
S (t) S
Z Z
+ (w, )(X)T ny b i i d y + G0 [w, ] b i d y ,
S S
avec
N0
X
G0 [w, ] =(w, ) (X)T Id ny + i (W i , i )(X)T ny
i=1
+ 2(E[w] + (E[w])T )(X) Cof(X)ny (4.49)
N0
X
+ 2 i (E[W i ] + (E[W i ])T )(X) Cof(X)ny .
i=1
123
Captulo 4. Existence de solutions fortes
i = 1, 2, . . . , N0 .
Finalement nous avons obtenu la proposition suivante :
si et seulement si
(w, , ) D L2 (0, T ; H 1 (F )) [H 1 (0, T )]N0 . (4.53)
De plus, si (u, p, ) verifie (4.52) alors (u, p, ) est solution de (4.20)-(4.21) avec les conditions initiales
(4.6) si et seulement si (w, , ) est solution de (4.47), (4.50) avec (4.38)-(4.41), (4.48), (4.49), (4.51) et
les conditions initiales
XN0
w|t=0 = w0 = u0 i0 W i dans F , (4.54)
i=1
Dans le reste de ce chapitre, nous e tudions le probl`eme (4.47), (4.50). Pour demontrer lexistence
dune solution locale en temps pour un tel syst`eme, nous utiliserons une approche similaire a` celle con-
sideree dans [69]. Plus precisement, nous e crirons (4.47), (4.50) sous la forme
w
w + = F dans F , t (0, T )
t
div(w) = 0 dans F , t (0, T )
w = 0 sur , t (0, T )
w = PN0 sur S , t (0, T )
i=1 i i
et
Z
[S]0i = (w, )ny i d y + fi ,
S
124
Captulo 4. Existence de solutions fortes
et
h i0 Z
e
S = e
(w, e)ny j d y + fj (j = 1, . . . , N0 ), (4.59)
j S
H(div; F ) := {u L2 (F ) : div(u) L2 (F )}
Lespace H(div; F ) avec la norme precedente est un espace de Hilbert. Pour plus de details sur cet
espace et ses proprietes, on pourra consulter [26, 36].
Maintenant, on definit les espaces suivants
125
Captulo 4. Existence de solutions fortes
D(A) = {(w, ) H : w H 2 (F )
w = 0 sur
N0
X
w= i i sur S },
i=1
et on consid`ere loperateur
A : D(A) H
(w, ) 7 P w, S 1 B(w)
o`u Z
Bj (w) = 2 D(w)n j d y (j = 1, 2, . . . , N0 ),
S
et P : L2 (F ) RN0 H est la projection orthogonale sur H. Il est important de noter que nous
utilisons pour L2 (F ) RN0 le produit scalaire:
Z
((w, ), (u, )) := w u dy + S (4.61)
F
En utilisant la Proposition 4.10 et les resultats classiques sur les syst`emes paraboliques (voir par
exemple [69]) nous en deduisons le resultat suivant pour (4.58)-(4.60) :
Proposition 4.11 Pour tout (w0 , 0 ) V , pour tout (F , f ) L2 0, T ; L2 (F ) RN0 il existe une
unique solution de (4.58)-(4.60) telle que
e D, e
w e [H 1 (0, T )]N0 .
L2 (0, T ; L2 (F )),
126
Captulo 4. Existence de solutions fortes
Cette section est dediee a` la demonstration du Theor`eme 4.5. Plus precisement nous demontrons
ce theor`eme en utilisant deux resultats techniques (Theor`eme 4.12 et Theor`eme 4.13) qui ne seront pas
demontres dans ce resume.
Pour commencer, nous fixons (w, , ) avec
o`u R > 0 est une constante strictement positive que nous determinerons plus tard.
On peut definir i (i = 1, . . . , N0 ) par la formule
Z t
i (t) = i (s) ds. (4.63)
0
Theor`eme 4.12 Supposons que (w, , ) verifie (4.62) et supposons (4.64). Alors il existe une constante
strictement positive C(R) tel que
Ces resultats sont techniques et sont demontres dans le Chapitre 2 (ou Annexe A). En admettant ces
resultats, nous sommes en position de demontrer le resultat principal. La demonstration est base sur le
Theor`eme du point fixe de Banach.
Dem.(Demonstration du Theor`eme 4.5)
127
Captulo 4. Existence de solutions fortes
muni de la norme
et
C = {(w, , ) K : k(w, , )kK R} .
Lensemble C est clairement ferme dans K. Maintenant, nous introduisons lapplication Z dont nous
cherchons un point fixe :
Z: C K
e (4.67)
(w, , ) 7 e
w, e,
e
o`u w, e est la solution de (4.58)-(4.60), avec F et f definis par (4.57) et (4.51) et par (w, , ). En
e,
appliquant la Proposition 4.11 et le Theor`eme 4.12, on obtient que Z va de C dans K. Plus precisement,
en appliquant la Proposition 4.11, on obtient lestimation suivante
0
0
e
w,
e , e
C kF k 2 2 + kf k +
w
+
. (4.68)
L (0,T ;L (F )) [L2 (0,T )]N0 H 1 (F )
K
128
Captulo 4. Existence de solutions fortes
o`u, pour k = 1, 2, F (k) et f (k) sont definis par (4.57) et (4.51) et par w(k) , (k) , (k) . Ainsi, grace au
Theor`eme 4.13, nous obtenons
Z w(1) , (1) , (1) Z w(2) , (2) , (2)
K
1/4
(1) (1) (1)
C(R)T
w , , w(2) , (2) , (2)
.
K
Ainsi, pour T suffisamment petit, Z est une contraction sur C et donc en utilisant le Theor`eme 1.9, on en
deduit lexistence dun point fixe pour lapplication Z et ainsi dune solution locale en temps de (4.47),
(4.50). En appliquant la Proposition 4.9, nous obtenons une solution locale de (4.20)-(4.21). Cela termine
la demonstration.
129
Captulo 4. Existence de solutions fortes
130
Captulo 5
Dans ce chapitre, nous considerons un probl`eme inverse associe a` un syst`eme fluidestructure, dans
le cas dun fluide Newtonien, visqueux et incompressible et dans le cas dune structure rigide. Plus
precisement, nous voulons identifier la forme du solide rigide et sa position initiale.
Dans le cas general, cela implique de travailler avec une syst`eme couplant les e quations de Navier
Stokes avec les lois de Newton pour le corps rigide. Cependant, ce cas est assez difficile a` traiter directe-
ment et par consequent dans ce travail, nous considerons un mod`ele simplifie o`u nous supposerons que
le nombre de Reynolds est tr`es petit de mani`ere a` negliger les forces dinertie.
5.1.
Equations du mouvement dun solide rigide
Un changement arbitraire de position dun corps rigide peut toujours se reduire a` une rotation suivie
dune translation, cest-`a-dire il existe deux fonctions
t 7 a(t) R3 , t 7 Q(t) SO3 (R)
de sorte que la position au temps t dun point qui e tait en y au temps initial est
x = a(t) + Q(t)y.
La relation entre Q et la vitesse angulaire est donnee par
Q0 = S()Q ( R3 ),
o`u S() est la matrice antisymetrique
0 3 2
S() = 3 0 1
2 1 0
qui verifie S()z = z, pour tout z R3 .
131
Captulo 5. Detection dun corps rigide
avec
S(a, Q) := a + QS0 , (5.1)
o`u S0 est un domaine regulier non vide donne. Nous pouvons supposons, sans perte de generalite que le
centre de masse de S0 est lorigine du rep`ere et dans ce cas a est le centre de masse de S(a, Q). De plus,
nous supposons quil existe (a, Q) R3 SO3 (R) tel que S(a, Q) et tel que
F(a, Q) := \ S(a, Q)
S(a,Q)
(a,Q)
S0
Maintenant, nous introduisons les e quations du mouvement du syst`eme fluidestructure. Comme dit
precedemment, ce syst`eme est e crit en negligeant tous les termes inertiels (en supposant le nombre de
Reynolds tr`es petit).
132
Captulo 5. Detection dun corps rigide
Dans le syst`eme ci-dessus, (u, p) est le couple vitessepression du fluide, tandis que ` et sont
respectivement la vitesse lineaire et angulaire du solide. De plus, nous avons note par (u, p) le tenseur
des forces de Cauchy qui est defini par
o`u Id est la matrice identite de M3 (R) et D(u) est le tenseur de deformation defini par
1 uk ul
[D(u)]kl = + .
2 xl xk
Notre objectif est de demontrer quelques resultats de detectabilite pour le syst`eme (5.2)-(5.11). Ce
syst`eme bien que plus simple que le syst`eme complet couplant les e quations de NavierStokes avec
les lois de Newton, nest pas un cas particulier du syst`eme precedent. Par consequent, nous avons besoin
dans un premier temps de demontrer que le syst`eme (5.2)-(5.11) est bien pose pour une forme donnee S0
du corps rigide.
133
Captulo 5. Detection dun corps rigide
Theor`eme 5.1 Soit u H 3/2 () verifiant (5.12), soit S0 un domaine non vide regulier y supposons
que (a0 , Q0 ) R3 SO3 (R) est tel que S(a0 , Q0 ) et F(a0 , Q0 ) est un domaine non vide regulier.
Alors il existe un temps maximal T > 0 et une unique solution
(a, Q) C 1 ([0, T ); R3 SO3 (R)), (`, ) C([0, T ); R3 R3 ),
(u, p) C [0, T ); H 2 (F(a(t), Q(t))) H 1 (F(a(t), Q(t)))/R
verifiant le syst`eme (5.2)-(5.11). De plus lune des conditions suivantes est verifiee
T = +;
lmtT dist (S(a(t), Q(t)), ) = 0.
Maintenant, nous decrivons le probl`eme inverse que nous considerons dans ce chapitre. Soit un
sous-ensemble ouvert non vide de o`u il est possible de mesurer (u, p) n| , pour un certain temps
t0 > 0. Est-ce possible de retrouver la forme S0 ? Dans ce travail, nous montrons lunicit
e de S0 .
(1) (2) (1) (1)
Plus precisement, prenons deux domaines non vides reguliers S0 , S0 . Considerons a0 , Q0 ,
(2) (2)
a0 , Q0 R3 SO3 (R) tel que
(1) (1) (2) (2)
S (1) a0 , Q0 y S (2) a0 , Q0 .
En appliquant le Theor`eme 5.1, nous deduisons que pour toute fonctionu H 3/2 () qui verifie
(1) (2)
(5.12), il existe T > 0 respectivement T > 0 et une unique solution a(1) , Q(1) , `(1) , (1) , u(1) , p(1)
h
(2) (2) (2) (2) (2) (2) (1)
respectivement a , Q , ` , , u , p de (5.2)-(5.11) sur 0, T respectivement sur
h
(2)
0, T .
Theor`eme 5.2 Avec les notations du Theor`eme 5.1, soit u H 3/2 () verifiant (5.12) et supposons
(1) (2)
que u nest pas la trace dunevitesse rigide
sur , et supposons que S0 , S0 sont des convexes non
(1) (2)
vides. Sil existe 0 < t0 < mn T , T tel que
u(1) (t0 ), p(1) (t0 ) n| = u(2) (t0 ), p(2) (t0 ) n|
134
Captulo 5. Detection dun corps rigide
Nous rappelons que v est un deplacement rigide dans sil existe deux vecteurs 1 , 2 R3 tel que
D(v) = 0
Observation 5.3 Dans le Theor`eme precedent, lhypoth`ese de convexit e pour lesobstacles est prin-
(1) (2)
cipalement technique et pourrait e tre e liminee. Lhypoth`ese t0 < mn T , T signifie que nous
observons nos donnees avant un e ventuel contact entre le corps rigide et la fronti`ere exterieure . Pour
e viter cette hypoth`ese, nous devrions dabord modeliser ce qui se passe lors dun contact entre le solide
rigide et la paroi exterieure. Malheureusement ce probl`eme est assez complexe (voir [44, 45, 46, 47]), en
particulier il est possible de montrer que si et S0 sont des sph`eres, T = , cest-`a-dire il ny pas de
contact en temps fini.
Dans cette section, nous considerons et e tudions un syst`eme auxiliaire essentiel dans la demonstration
du Theor`eme 5.1.
Fixons u H 3/2 () verifiant (5.12) et soit S0 un domaine non vide, regulier et supposons quil
existe (a0 , Q0 ) R3 SO3 (R) tel que S(a0 , Q0 ) et F(a0 , Q0 ) est un domaine non vide et
regulier. Nous considerons lensemble A des positions admissibles du corps rigide dans :
n o
A := (a, Q) R3 SO3 (R) ; S(a, Q) , (5.13)
135
Captulo 5. Detection dun corps rigide
Proposition 5.4 Soit u H 3/2 () verifiant (5.12) et supposons (a, Q) A. Alors il existe une
unique solution
(u, p, `, ) H 2 (F(a, Q)) H 1 (F(a, Q))/R R3 R3
du syst`eme (5.14)-(5.19).
Pour demontrer cette proposition, nous introduisons pour tout (a, Q) A les syst`emes suivants de
Stokes :
div u(i) , p(i) = 0 dans F(a, Q)
(i)
div u =0 dans F(a, Q) (i = 1, 2, 3)
(i) = e(i) (5.20)
u sur S(a, Q)
(i)
u =0 sur ,
div U (i) , P (i) =0 dans F(a, Q)
div U (i) = 0 dans F(a, Q) (i = 1, 2, 3) (5.21)
(i) (i)
U = e (x a) sur S(a, Q)
(i)
U =0 sur ,
et
div (( V , P )) = 0 dans F(a, Q)
div (V ) = 0 dans F(a, Q)
(5.22)
V =0
sur S(a, Q)
V = u sur ,
(i) 3
o`u e i=1 est la base canonique de R3 .
En utilisant le fait que pour tout i = 1, 2, 3
Z Z h i Z
(i) (i)
e n d x = e (x a) n d x = u n d x = 0,
S(a,Q) S(a,Q)
on en deduit que les syst`emes (5.20), (5.21), (5.22) admettent une unique solution u(i) , p(i) , U (i) , P (i) ,
(V , P ) H 2 (F(a, Q)) H 1 (F(a, Q))/R (voir, par exemple [35, Theor`eme 6.1 p.231] ou [71]).
Pour resoudre (5.14)-(5.19), nous cherchons (u, p) comme
3
X
u := `i u(i) + i U (i) + V (5.23)
i=1
3
X
p := `i p(i) + i P (i) + P . (5.24)
i=1
Il est facile de verifier que (u, p) H 2 (F(a, Q)) H 1 (F(a, Q))/R et que
div((u, p)) = 0 dans F(a, Q)
div(u) = 0 dans F(a, Q)
u = ` + (x a) sur S(a, Q)
u = u sur .
136
Captulo 5. Detection dun corps rigide
Ainsi, (u, p) est solution de (5.14)-(5.19) si et seulement si (5.18)-(5.19) sont verifiees cest-`a-dire si et
seulement si (`, ) satisfont
3
X Z 3
X Z
(i) (i)
`i u ,p n d x + i U (i) , P (i) n d x
i=1 S(a,Q) i=1 S(a,Q)
Z (5.25)
+ (V , P ) n d x = 0
S(a,Q)
et
3
X Z 3
X Z
`i (x a) u(i) , p(i) n d x + i (x a) U (i) , P (i) n d x
i=1 S(a,Q) i=1 S(a,Q)
Z
+ (x a) (V , P ) n d x = 0.
S(a,Q)
(5.26)
On peut ree crire le syst`eme lineaire (5.25)-(5.26) en (`, ) de mani`ere matricielle. Pour faire cela, nous
observons que grace a` la condition au bord de (5.20), nous avons
Z ! Z
(i) (i)
u ,p n d x e(j) = u(i) , p(i) n u(j) d x
S(a,Q) S(a,Q)
Z
= 2 D u(i) : D u(j) dx (i, j = 1, 2, 3).
F (a,Q)
De meme,
Z ! Z
(i) (i) (j)
(x a) u , p n d x e = u(i) , p(i) n U (j) d x
S(a,Q) S(a,Q)
Z
= 2 D u(i) : D U (j) dx,
F (a,Q)
pour i, j = 1, 2, 3.
Ces relations et les relations correspondantes pour U (i) , P (i) et (V , P ) nous permettent decrire
(5.25)-(5.26) comme
`
A =b
o`u A M6 (R) est definie par
Z
Aij = D u(i) : D u(j) dx (1 i, j 3) (5.27)
F (a,Q)
Z
Aij = D u(i3) : D U (j) dx (4 i 6, 1 j 3) (5.28)
F (a,Q)
137
Captulo 5. Detection dun corps rigide
Z
Aij = D U (i) : D u(j3) dx (1 i 3, 4 j 6) (5.29)
F (a,Q)
Z
Aij = D U (i3) : D U (j3) dx (4 i, j 6) (5.30)
F (a,Q)
1 + 2 y = 0 (y O) 1 = 2 = 0.
Grace au Lemme 5.5, (u, p, `, ) verifie (5.14)-(5.19) si et seulement si (u, p) est defini par (5.23),
(5.24) et (`, ) est donne par
`
= A1 b. (5.31)
Cela donne lexistence et lunicite de la solution (u, p, `, ) de (5.14)-(5.19) ce qui conclut la demons-
tration de la Proposition 5.4.
En utilisant le syst`eme auxiliaire (5.14)-(5.19) introduit dans la section precedente, nous verifions
facilement que
138
Captulo 5. Detection dun corps rigide
Par consequent pour demontrer le Theor`eme 5.1, il suffit de demontrer que la solution
u[a,Q] , p[a,Q] , `[a,Q] , [a,Q] de (5.14)-(5.19) depend de mani`ere reguli`ere de a et de Q. Plus precisement,
la proposition suivante et le Theor`eme de CauchyLipschitzPicard permettent de conclure la demons-
tration du Theor`eme 5.1.
T : A R6
(a, Q) 7 `[a,Q] , [a,Q]
est de classe C 1 .
Pour demontrer la Proposition 5.7, nous utilisons le resultat classique suivant introduit par J. Simon
(voir [68]).
Soit W un espace de Banach, B et C deux espaces de Banach reflexifs et W un ouvert non vide de
W . Considerons g 1 : W B C, g 2 : W B y g 3 : W C tel que pour tout w W,
Theor`eme 5.8 (Simon) Supposons que w 7 g 1 (w, ) est de classe C 1 en w0 a` valeurs dans L(B, C),
que g 3 est de classe C 1 en w0 et quil existe une constante > 0 tel que
Observation 5.9 Grace a` (5.31), la Proposition 5.7 se reduit a` demontrer que les applications
sont de classe C 1 .
Pour demontrer cela, e tant donne la definition de A et de b, on fait un changement de variables sur
les syst`emes (5.20), (5.21), (5.22) de mani`ere a` e crire des syst`emes e crits sur des domaines independants
de (a, Q).
Pour commencer, nous rappelons un resultat cle pour la demonstration du Theor`eme 5.2.
Proposition 5.10 Soit S (1) et S (2) deux convexes ouverts non vides et reguliers tel que
139
Captulo 5. Detection dun corps rigide
satisfaisant
div u(i) , p(i) = 0 dans \ S (i)
div u(i) = 0 dans \ S (i) (i = 1, 2) (5.33)
u(i) = u
sur .
Si est un ouvert non vide de et si
u(1) , p(1) n| = u(2) , p(2) n| (5.34)
alors
u(1) u(2) dans \ S (1) S (2) . (5.35)
S (1) (t0 ) S (2) (t0 ) contient au moins trois points non colineaires.
(1)
S (t 0)
(2)
S (t0)
(2)
S (t0) (2)
(1) (1)
S (t0)
S (t 0) S (t 0)
Figura 5.2: Lintersection des fronti`eres est contenue dans une droite
S (1) (t0 ) S (2) (t0 ) = o S (1) (t0 ) S (2) (t0 ) o S (2) (t0 ) S (1) (t0 ).
140
Captulo 5. Detection dun corps rigide
(2)
S (t0)
(1)
S (t0)
Figura 5.3: Lintersection des fronti`eres contient au moins trois points non colineaires
Cas 1.1: S (1) (t0 ) S (2) (t0 ) = . On deduit de (5.35) que dans S (2) (t0 ) F (1) (t0 ), on a
div u(1) (t0 ), p(1) (t )
0 =0 dans S (2) (t0 )
(1)
div u (t0 ) = 0 dans S (2) (t0 )
(1)
u (t0 ) = `(2) (t0 ) + (2) (t0 ) x a(2) (t0 ) sur S (2) (t0 ).
En particulier,
v = u(1) (t0 ) `(2) (t0 ) + (2) (t0 ) x a(2) (t0 )
satisfait le syst`eme suivante de Stokes
div v, p(1) (t0 ) = 0 dans S (2) (t0 )
div (v) = 0 dans S (2) (t0 )
v=0 sur S (2) (t0 ).
En multipliant par v la premi`ere e quation du syst`eme precedent, nous en deduisons
Z
|D(v)|2 dx = 0
S (2) (t0 )
et ainsi, v = 0 dans S (2) (t0 ). Par consequent, comme v est solution de Stokes dans F (1) (t0 ), nous
pouvons appliquer de nouveau le resultat de Fabre-Lebau [28] pour obtenir
v 0 in F (1) (t0 ).
Cela implique que
u (x) = `(2) (t0 ) + (2) (t0 ) x a(2) (t0 ) (x ),
qui est une contradiction avec le fait que u nest pas la trace dune vitesse rigide sur .
Cas 1.2: S (1) (t0 ) S (2) (t0 ) (le Cas 1.3: S (2) (t0 ) S (1) (t0 ) est identique). Dans ce cas, nous avons
dans S (2) (t0 ) \ S (1) (t0 ) F 1 (t0 )
(
div u(1) (t0 ), p(1) (t0 ) = 0 dans S (2) (t0 ) \ S (1) (t0 )
div u(1) (t0 ) = 0 dans S (2) (t0 ) \ S (1) (t0 )
141
Captulo 5. Detection dun corps rigide
et en utilisant (5.35) on a
(1)
u (t0 ) = `(1) (t0 ) + (1) (t0 ) x a(1) (t0 ) sur S (1) (t0 )
u(1) (t0 ) = `(2) (t0 ) + (2) (t0 ) x a(2) (t0 ) sur S (2) (t0 ).
La fonction v = u(1) (t0 ) `(2) (t0 ) + (2) (t0 ) x a(2) (t0 ) verifie donc
div v, p(1) (t0 ) = 0 dans F (1) (t0 ) (5.36)
div (v) = 0 dans F (1) (t0 ) (5.37)
v = u `(2) (t0 ) + (2) (t0 ) x a(2) (t0 ) sur (5.38)
v=a e+e b x a(1) (t0 ) sur S (1) (t0 ) (5.39)
Z
v, p(1) (t0 ) n d x = 0 (5.40)
S (1) (t0 )
Z
x a(1) (t0 ) v, p(1) (t0 ) n d x = 0, (5.41)
S (1) (t0 )
o`u
e = `(1) (t0 ) `(2) (t0 ) + (2) (t0 ) a(1) (t0 ) a(2) (t0 )
a (5.42)
et
e
b = (1) (t0 ) (2) (t0 ) . (5.43)
142
Captulo 5. Detection dun corps rigide
respectivement. On en deduit
Z
2 |D(v)|2 dx = 0.
S (2) (t0 )\S (1) (t0 )
Par consequent, D(v) 0 dans S (2) (t0 ) \ S (1) (t0 ), ce qui implique quil existe 1 , 2 R3 tel
que
v = 1 + 2 y dans S (2) (t0 ) \ S (1) (t0 ). (5.45)
En particulier, de (5.44) et du Lemme 5.6, nous obtenons
1 = 2 = 0. (5.46)
Ainsi, on a v 0 dans S (2) (t0 ) \ S (1) (t0 ) et ainsi en utilisant de nouveau [28], on en deduit
Lequation precedente et (5.38) contredisent le fait que u nest pas la trace dune vitesse rigide
sur .
Cas 2 S (1) (t0 )S (2) (t0 ) {z 0 , z 1 , z 2 } o`u z 0 , z 1 , z 2 sont trois points non colineaires (voir la figure
5.3).
De la Proposition 5.10 on deduit
et
`(1) (t0 )+ (1) (t0 ) x a(1) (t0 ) `(2) (t0 )+ (2) (t0 ) x a(2) (t0 ) sur S (1) (t0 )S (2) (t0 )
ou de mani`ere e quivalente
e+e
a b x a(1) (t0 )
e et e
avec a b definis par (5.42)-(5.43). Mais si ae, e
b 6= (0, 0), lensemble
e+e
{y : a b y = 0}
est inclus dans une droite ce qui contredit notre hypoth`ese. On en conclut que
`(1) (t0 ) `(2) (t0 ) + (2) (t0 ) a(1) (t0 ) a(2) (t0 ) = (1) (t0 ) (2) (t0 )
(5.47)
= 0.
143
Captulo 5. Detection dun corps rigide
Argumentant comme dans le Cas 1.1 nous obtenons une contradiction. Rassemblant les Cas 1.1-
Cas 1.3 et le Cas 2, nous en deduisons que
et
(1) (2)
Q(1) (t0 )S0 = Q(2) (t0 )S0 . (5.48)
Posons h i1
R = Q(2) (t0 ) Q(1) (t0 ) (5.49)
et
Q(t) = Q(2) (t)R, a(t) = a(2) (t).
Il nest pas difficile de voir que
(a(t0 ), Q(t0 )) = a(1) (t0 ), Q(1) (t0 ) . (5.50)
et
F (2) (t) = F (1) (a(t), Q(t)) .
144
Captulo 5. Detection dun corps rigide
145
Captulo 5. Detection dun corps rigide
146
Bibliografa
[1] R. A. Adams. Sobolev spaces. Academic Press [A subsidiary of Harcourt Brace Jovanovich,
Publishers], New York-London, 1975. Pure and Applied Mathematics, Vol. 65.
[2] G. Alessandrini, A. Morassi, and E. Rosset. Detecting an inclusion in an elastic body by boundary
measurements. SIAM J. Math. Anal., 33(6):12471268 (electronic), 2002.
[3] G. Alessandrini, A. Morassi, and E. Rosset. Detecting an inclusion in an elastic body by boundary
measurements. SIAM Rev., 46(3):477498 (electronic), 2004.
[4] C. Alvarez, C. Conca, L. Friz, O. Kavian, and J. H. Ortega. Identification of immersed obstacles
via boundary measurements. Inverse Problems, 21(5):15311552, 2005.
[5] E. Beretta and S. Vessella. Stable determination of boundaries from Cauchy data. SIAM J. Math.
Anal., 30(1):220232 (electronic), 1999.
[6] M. S. Berger. Nonlinearity and functional analysis. Academic Press [Harcourt Brace Jovanovich
Publishers], New York, 1977. Lectures on nonlinear problems in mathematical analysis, Pure and
Applied Mathematics.
[7] M. Boulakia. Existence of weak solutions for an interaction problem between an elastic structure
and a compressible viscous fluid. J. Math. Pures Appl., 84(11):15151554, 2005.
[8] M. Boulakia. Existence of weak solutions for the three-dimensional motion of an elastic structure
in an incompressible fluid. J. Math. Fluid Mech., 9(2):262294, 2007.
[9] M. Boulakia and S. Guerrero. A regularity result for a solid-fluid system associated to the compress-
ible Navier-Stokes equations. Ann. Inst. H. Poincare Anal. Non Lineaire, 26(3):777813, 2009.
[10] M. Boulakia and S. Guerrero. Regular solutions of a problem coupling a compressible fluid and an
elastic structure. J. Math. Pures Appl., 94(4):341365, 2010.
[11] M. Boulakia and A. Osses. Local null controllability of a two-dimensional fluid-structure interac-
tion problem. ESAIM Control Optim. Calc. Var., 14(1):142, 2008.
[12] H. Brezis. Analyse fonctionnelle. Collection Mathematiques Appliquees pour la Matrise. [Collec-
tion of Applied Mathematics for the Masters Degree]. Masson, Paris, 1983. Theorie et applications.
[Theory and applications].
147
Bibliografa
[13] A.-P. Calderon. On an inverse boundary value problem. In Seminar on Numerical Analysis and its
Applications to Continuum Physics (Rio de Janeiro, 1980), pages 6573. Soc. Brasil. Mat., Rio de
Janeiro, 1980.
[14] L. Cattabriga. Su un problema al contorno relativo al sistema di equazioni di Stokes. Rend. Sem.
Mat. Univ. Padova, 31:308340, 1961.
[15] P. G. Ciarlet. Mathematical elasticity. Vol. I, volume 20 of Studies in Mathematics and its Applica-
tions. North-Holland Publishing Co., Amsterdam, 1988. Three-dimensional elasticity.
[17] C. Conca, P. Cumsille, J. Ortega, and L. Rosier. On the detection of a moving obstacle in an ideal
fluid by a boundary measurement. Inverse Problems, 24(4):045001, 18, 2008.
[18] C. Conca, M. Malik, and A. Munnier. Detection of a moving rigid solid in a perfect fluid. Inverse
Problems, 26(9):095010, 18, 2010.
[19] C. Conca, J. San Martn H., and M. Tucsnak. Existence of solutions for the equations modelling the
motion of a rigid body in a viscous fluid. Comm. Partial Differential Equations, 25(5-6):10191042,
2000.
[20] D. Coutand and S. Shkoller. Motion of an elastic solid inside an incompressible viscous fluid. Arch.
Ration. Mech. Anal., 176(1):25102, 2005.
[21] B. Desjardins and M. J. Esteban. Existence of weak solutions for the motion of rigid bodies in a
viscous fluid. Arch. Ration. Mech. Anal., 146(1):5971, 1999.
[22] B. Desjardins, M. J. Esteban, C. Grandmont, and P. Le Tallec. Weak solutions for a fluid-elastic
structure interaction model. Rev. Mat. Complut., 14(2):523538, 2001.
[23] A. Doubova and E. Fernandez-Cara. Some control results for simplified one-dimensional models
of fluid-solid interaction. Math. Models Methods Appl. Sci., 15(5):783824, 2005.
[24] A. Doubova, E. Fernandez-Cara, and J. H. Ortega. On the identification of a single body immersed
in a Navier-Stokes fluid. European J. Appl. Math., 18(1):5780, 2007.
[25] Q. Du, M. D. Gunzburger, L. S. Hou, and J. Lee. Analysis of a linear fluid-structure interaction
problem. Discrete Contin. Dyn. Syst., 9(3):633650, 2003.
[26] G. Duvaut and J.-L. Lions. Les inequations en mecanique et en physique. Dunod, Paris, 1972.
Travaux et Recherches Mathematiques, No. 21.
[27] L. C. Evans. Partial differential equations, volume 19 of Graduate Studies in Mathematics. Amer-
ican Mathematical Society, Providence, RI, 1998.
[28] C. Fabre and G. Lebeau. Prolongement unique des solutions de lequation de Stokes. Comm. Partial
Differential Equations, 21(3-4):573596, 1996.
148
Bibliografa
[29] E. Feireisl. On the motion of rigid bodies in a viscous compressible fluid. Arch. Ration. Mech.
Anal., 167(4):281308, 2003.
[30] E. Feireisl. On the motion of rigid bodies in a viscous incompressible fluid. J. Evol. Equ., 3(3):419
441, 2003. Dedicated to Philippe Benilan.
[31] M. A. Fernandez, J.-F. Gerbeau, and C. Grandmont. A projection semi-implicit scheme for the
coupling of an elastic structure with an incompressible fluid. Internat. J. Numer. Methods Engrg.,
69(4):794821, 2007.
[32] E. Fernandez-Cara, S. Guerrero, O. Yu. Imanuvilov, and J.-P. Puel. Local exact controllability of
the Navier-Stokes system. J. Math. Pures Appl., 83(12):15011542, 2004.
[33] R. P. Feynman, R. B. Leighton, and M. Sands. The Feynman lectures on physics. Vol. 2: Mainly
electromagnetism and matter. Addison-Wesley Publishing Co., Inc., Reading, Mass.-London, 1964.
[34] A. Friedman. Foundations of modern analysis. Dover Publications Inc., New York, 1982. Reprint
of the 1970 original.
[35] G. P. Galdi. An introduction to the mathematical theory of the Navier-Stokes equations. Vol. I,
volume 38 of Springer Tracts in Natural Philosophy. Springer-Verlag, New York, 1994. Linearized
steady problems.
[36] V. Girault and P.-A. Raviart. Finite element approximation of the Navier-Stokes equations, volume
749 of Lecture Notes in Mathematics. Springer-Verlag, Berlin, 1979.
[37] H. Goldstein. Classical mechanics. Addison-Wesley Press, Inc., Cambridge, Mass., 1951.
[38] C. Grandmont. Existence for a three-dimensional steady state fluid-structure interaction problem.
J. Math. Fluid Mech., 4(1):7694, 2002.
[39] C. Grandmont, V. Guimet, and Y. Maday. Numerical analysis of some decoupling techniques for
the approximation of the unsteady fluid structure interaction. Math. Models Methods Appl. Sci.,
11(8):13491377, 2001.
[40] C. Grandmont, Y. Maday, and P. Metier. Modeling and analysis of an elastic problem with large
displacements and small strains. J. Elasticity, 87(1):2972, 2007.
[41] M. D. Gunzburger, H.-C. Lee, and G. A. Seregin. Global existence of weak solutions for viscous
incompressible flows around a moving rigid body in three dimensions. J. Math. Fluid Mech.,
2(3):219266, 2000.
[42] H. Heck, G. Uhlmann, and J.-N. Wang. Reconstruction of obstacles immersed in an incompressible
fluid. Inverse Probl. Imaging, 1(1):6376, 2007.
149
Bibliografa
[44] T.I. Hesla. Collisions of smooth bodies in viscous fluids : A mathematical investigation. PhD thesis,
University of Minnesota, revised version, October 2005.
[45] M. Hillairet. Lack of collision between solid bodies in a 2D incompressible viscous flow. Comm.
Partial Differential Equations, 32(7-9):13451371, 2007.
[46] M. Hillairet and T. Takahashi. Collisions in three-dimensional fluid structure interaction problems.
SIAM J. Math. Anal., 40(6):24512477, 2009.
[47] M. Hillairet and T. Takahashi. Blow up and grazing collision in viscous fluid solid interaction
systems. Ann. Inst. H. Poincare Anal. Non Lineaire, 27(1):291313, 2010.
[48] K.-H. Hoffmann and V. Starovoitov. On a motion of a solid body in a viscous fluid. Two-
dimensional case. Adv. Math. Sci. Appl., 9(2):633648, 1999.
[49] J. Houot and A. Munnier. On the motion and collisions of rigid bodies in an ideal fluid. Asymptot.
Anal., 56(3-4):125158, 2008.
[50] J. G. Houot, J. San Martin, and M. Tucsnak. Existence of solutions for the equations modeling the
motion of rigid bodies in an ideal fluid. J. Funct. Anal., 259(11):28562885, 2010.
[51] M. Ikehata. Reconstruction of obstacle from boundary measurements. Wave Motion, 30(3):205
223, 1999.
[52] O. Imanuvilov and T. Takahashi. Exact controllability of a fluid-rigid body system. J. Math. Pures
Appl., 87(4):408437, 2007.
[53] G. Legendre and T. Takahashi. Convergence of a Lagrange-Galerkin method for a fluid-rigid body
system in ALE formulation. M2AN Math. Model. Numer. Anal., 42(4):609644, 2008.
[55] J. Ortega, L. Rosier, and T. Takahashi. On the motion of a rigid body immersed in a bidimensional
incompressible perfect fluid. Ann. Inst. H. Poincare Anal. Non Lineaire, 24(1):139165, 2007.
[56] A. Pazy. Semigroups of linear operators and applications to partial differential equations, vol-
ume 44 of Applied Mathematical Sciences. Springer-Verlag, New York, 1983.
[57] P.-A. Raviart and J.-M. Thomas. Introduction a` lanalyse numerique des e quations aux derivees
partielles. Collection Mathematiques Appliquees pour la Matrise. [Collection of Applied Mathe-
matics for the Masters Degree]. Masson, Paris, 1983.
[58] J.-P. Raymond and M. Vanninathan. Exact controllability in fluid-solid structure: the Helmholtz
model. ESAIM Control Optim. Calc. Var., 11(2):180203 (electronic), 2005.
[59] J.-P. Raymond and M. Vanninathan. Null controllability in a fluid-solid structure model. J. Differ-
ential Equations, 248(7):18261865, 2010.
150
Bibliografa
[60] J. San Martn, J.-F. Scheid, T. Takahashi, and M. Tucsnak. Convergence of the Lagrange-Galerkin
method for the equations modelling the motion of a fluid-rigid system. SIAM J. Numer. Anal.,
43(4):15361571 (electronic), 2005.
[61] J. San Martn, L. Smaranda, and T. Takahashi. Convergence of a finite element/ALE method for the
Stokes equations in a domain depending on time. J. Comput. Appl. Math., 230(2):521545, 2009.
[62] J. San Martn, V. Starovoitov, and M. Tucsnak. Global weak solutions for the two-dimensional
motion of several rigid bodies in an incompressible viscous fluid. Arch. Ration. Mech. Anal.,
161(2):113147, 2002.
[63] J. San Martn, T. Takahashi, and M. Tucsnak. A control theoretic approach to the swimming of
microscopic organisms. Quart. Appl. Math., 65(3):405424, 2007.
[64] D. Serre. Chute libre dun solide dans un fluide visqueux incompressible. Existence. Japan J. Appl.
Math., 4(1):99110, 1987.
[65] J. Serrin. Mathematical principles of classical fluid mechanics. In Handbuch der Physik (Her-
ausgegeben von S. Flugge), Bd. 8/1, Stromungsmechanik I (Mitherausgeber C. Truesdell), pages
125263. Springer-Verlag, Berlin, 1959.
[66] M. Sigalotti and J.-C. Vivalda. Controllability properties of a class of systems modeling swimming
microscopic organisms. ESAIM Control Optim. Calc. Var., 16(4):10531076, 2010.
[67] A. L. Silvestre. On the slow motion of a self-propelled rigid body in a viscous incompressible fluid.
J. Math. Anal. Appl., 274(1):203227, 2002.
[68] J. Simon. Domain variation for drag in Stokes flow. In Control theory of distributed parameter
systems and applications (Shanghai, 1990), volume 159 of Lecture Notes in Control and Inform.
Sci., pages 2842. Springer, Berlin, 1991.
[69] T. Takahashi. Analysis of strong solutions for the equations modeling the motion of a rigid-fluid
system in a bounded domain. Adv. Differential Equations, 8(12):14991532, 2003.
[70] T. Takahashi and M. Tucsnak. Global strong solutions for the two-dimensional motion of an infinite
cylinder in a viscous fluid. J. Math. Fluid Mech., 6(1):5377, 2004.
[71] R. Temam. Navier-Stokes equations, volume 2 of Studies in Mathematics and its Applications.
North-Holland Publishing Co., Amsterdam, third edition, 1984. Theory and numerical analysis,
With an appendix by F. Thomasset.
[72] E. F. Whittlesey. Analytic functions in Banach spaces. Proc. Amer. Math. Soc., 16:10771083,
1965.
151
Bibliografa
152
Apendices
153
154
Apendice A
155
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an Incompressible
Viscous Fluid
156
Existence of Strong Solutions for the Motion of an Elastic Structure
in an Incompressible Viscous Fluid
Muriel Boulakia
Universite Pierre et Marie Curie Paris 6, UMR 7598
Laboratoire Jacques-Louis Lions, Paris F-75005, France
boulakia@ann.jussieu.fr
Erica L. Schwindt
Dpto. de Ingeniera Matematica,Facultad de Ciencias Fsicas y Matematicas,
Universidad de Chile, Santiago, Chile
and
Institut Elie Cartan, Faculte des Sciences
BP239 54506 Vandoeuvre-l`es Nancy, Cedex, France
leris98@gmail.com
Takeo Takahashi
Institut Elie Cartan, Faculte des Sciences
BP239 54506 Vandoeuvre-l`es Nancy, Cedex, France
takeo8@gmail.com
Abstract
In this paper we study a three-dimensional fluidstructure interaction problem. The motion
of the fluid is modeled by the NavierStokes equations and we consider for the elastic structure a
finite-dimensional approximation of the equation of linear elasticity. The time variation of the fluid
domain is not known a priori, so we deal with a free boundary value problem. Our main result
yields the local in time existence and uniqueness of strong solutions for this system.
1 Introduction
We consider the interaction between a viscous incompressible fluid and an elastic structure immersed
in the fluid. We aim to study the coupled system of equations modeling the motions of the fluid
and of the structure. A classical model for the fluid is the NavierStokes equations (see system (5));
for the elastic structure, assuming that the deformation remains small, we can consider the model
157
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
of linear elasticity. When we couple these two systems of partial differential equations, we obtain a
complex system and the study of its well-posedness contains several difficulties. One of them is coming
from the fact that we gather two systems of different natures. This could be observed by linearizing
the system: we obtain a system coupling a parabolic system with an hyperbolic system. Another
general difficulty to study this fluid-structure interaction problem comes from the fact that the fluid
domain is moving and unknown (it is a free boundary problem). In particular, to apply classical
procedures on cylindrical domain, it is convenient to use a change of variables for the fluid equations
(the structure equations are already written in Lagrangian coordinates). But these change of variables
are constructed from the solution and thus this solution needs to be regular enough to get convenient
change of variables.
The well-posedness for the coupling of these two systems is studied in [8] (for the linear case) and
in [5] (for the general case). The combination of the two problems leads the authors of [5] to consider
the existence of regular solutions for the linearized problem (the velocity of the fluid is L2 in time
with value in H 3 in space). In that case, they need more regularity for the initial data: the initial
condition is for instance H 5 in space. This lost of regularity is not very satisfactory but is inherent to
this coupling between two systems of different natures.
In order to avoid this loss of regularity, one has to consider an approximation of the previous system.
Some approximations were already tackled in the literature in particular to obtain existence of weak
solutions. In that case, it is very important to obtain some regularity on the elastic deformations
which define the fluid domain, at least to give a sense to the equations of the fluid. Two strategies
have been considered: we could add a regularizing term in the equations of linear elasticity (see [1])
or we could approximate the equations of linear elasticity by a finite dimensional system (see [7]). In
each case, the authors of [1] and of [7] have obtained the existence of weak solutions (up to a contact).
In this article, our main result is the existence and uniqueness of strong solution for a system
coupling the Navier-Stokes system with a finite dimensional approximation of the linear elasticity (i.e.
a system similar to the one considered in [7]).
Let us present here the system we consider. We denote by u and p the velocity and the pressure
of the fluid, and by the elastic deformation of the structure. We also denote by the domain
containing the fluid and the structure, by F (t) the fluid domain and by S (t) the structure domain
at time t. These three domains are assumed to be bounded, open and connected subset of R3 . We
also suppose that is of class C 2 and that at initial time, S (0) is of class C 3 . Finally, we assume
that the elastic body is immersed into the fluid: S (t) and F (t) = \ S (t). For the equations
of the structure, it is worth noting that we cannot consider any finite dimensional approximation of
the linear elasticity. Indeed, at the interface between the fluid and the structure, we assume a non
slip boundary condition: the velocity of the fluid and of the structure are equal. Combined with the
incompressibility of the fluid, it yields
div(u) = 0 in S (t), (t, y) = u(t, x) on S (0),
t
where x = (t, y) := y + (t, y). Assuming that u = 0 on , it implies the following non linear
158
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
condition on : Z
(t, 1 (t, x)) nx dx = 0. (1)
S (t) t
Assuming, to simplify, that at initial time, there is no deformation, we have (0, y) = y and we
could thus consider that the deformation is a linear combination of an orthonormal family 1 , . . . , N0
(N0 > 1) of L2 (S (0)) satisfying
Z
i H 3 (S (0)), i ny dy = 0 i = 1, 2, . . . , N0 . (2)
S (0)
However, if this linear combination of 1 , . . . , N0 satisfies (1) at initial time, there is no reason that it
should be true for t > 0. This is due to the fact that the domain of the fluid is moving. A remedy to
this problem is to add an extra function 0 in order to satisfy (1). More precisely, let 0 H 3 (S (0))
be a lifting of the unit outward normal on S (0). Then, it can been proved (see Lemma 2.1 below)
that there exists a ball B(0, r1 ) of RN0 and a function : B(0, r1 ) R such that for any function
(regular enough) (1 (t), . . . , N0 (t)) B(0, r1 ),
N0
X
(t, y) := i (t)i (y), with 0 (t) = (1 (t), . . . , N0 (t)), (3)
i=0
satisfies (1). Using this construction, we can also define a family b1 (t), . . . , bN0 (t) where for all i, bi
is a linear combination of i and 0 (see (18)) so that if we write
X0 N
(t, y) = i (t)bi (t, y), with i = i0 , (4)
t
i=1
159
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
with
N0
X
1 = i0 i , (8)
i=1
In the above system, we have used the following notation: ny is the outward-pointing unit normal
vector along S (0), nx is the outward-pointing unit normal vector along S (t) and
1
() = ( + t ) and (u, p) = p Id +2 (u). (9)
2
For simplicity of notation, in all what follows, we set
F := F (0),
S := S (0).
Now, we define the function spaces L2 (0, T ; H 2 (F (t))), C([0, T ]; H 1 (F (t))) and H 1 (0, T ; L2 (F (t))),
which will be extensively used in the sequel. Suppose there exists a function H 2 (0, T ; H 3 (F ))
such that (t, ) : F F (t) is a diffeomorphism. For all functions w(t, ) : F (t) R3 , we denote
W (t, y) = w(t, (t, y)). Then the function spaces introduced above are defined by
Set
D(t) := L2 (0, T ; H 2 (F (t))) C([0, T ]; H 1 (F (t))) H 1 (0, T ; L2 (F (t))),
and
D = D(0).
Our main result is the following:
160
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
Then, there exists a time T > 0 such that the system (5), (6), (7) and (8) admits a unique solution
(up to a constant for p)
As already mentioned above, there are few results concerning the well-posedness of a system
modeling the motion of an elastic structure in a viscous incompressible fluid. The existence of weak
solutions for our system was obtained by [7] whereas the existence of weak solutions when adding a
regularizing term in the equation of elasticity was proved in [1]. Concerning strong solutions, we only
know [5] (and [8] for the linear case). In [5], a local in time result is obtained for strong solution. They
also obtained uniqueness by considering more regular solutions. In this latter paper, the hypotheses on
the initial data to get existence are quite strong: the initial velocity of the fluid must be in H 5 (F (0))
and the initial velocity of the elastic structure must be in H 2 (S (0)). This implies in particular many
compatibility conditions at t = 0. Moreover, to obtain also the uniqueness, the authors have to add
more hypotheses on the regularity of the initial conditions: the initial velocity of the fluid must be
in H 7 (F (0)) and the initial velocity of the elastic structure must be in H 4 (S (0)). In the case,
where we consider a rigid body instead of an elastic structure, the corresponding system was studied
in many papers: see, for instance, [4, 6, 8, 1012, 14, 15]. The existence of weak and strong solutions
was proved with similar regularity hypotheses as in the case of the Navier-Stokes system. Here as
in the case of a rigid body, the velocity of the deformation is assumed to be finite-dimensional, but
at the contrary to the case of a rigid body, the generators of the velocity of deformation depends on
time (the family (bi (t))16i6N0 ). Moreover, the change of variables used to transform the problem on
a cylindrical domain is more technical: in the case of a rigid body, the idea was only to extend (and
truncate) the translation and the rotation of the rigid body.
Our strategy is to construct a change of variables to transform F (t) onto F (Section 2) and to
use this change of variables to write the system (5), (6), (7) and (8) on a cylindrical domain (Section
3). We obtain a nonlinear coupled system with variable coefficients. The idea is to write it in the form
Z0 = AZ + R(Z),
where Z is (u, ), with = (1 , . . . , N0 ). Here we have put in R(Z) all the coefficients coming from
the change of variables and the nonlinear terms coming from the Navier-Stokes system. Then as in
other proofs of existence of strong solutions (see [5, 6, 15]), we study a linear system associated to our
problem (Section 4):
Z0 = AZ + F.
161
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
We use a semi-group approach in this step as in [15], we could also have used a Galerkin method as
in [5]. Then we use the Banach fixed point theorem to prove the main result in Section 5. In order to
prove it, we need two technical results: estimates on R(Z) (Section 6) and estimates on the difference
R1 (Z1 ) R2 (Z2 ) (Section 7).
and we denote by M t the transpose of M , Cof M the cofactor matrix of the matrix M and recall that
if M is invertible then
Cof(M ) = (det M )M t . (11)
A deformation is a smooth vector field
: R3
where n denotes the unit outer normal vector along the boundary of and n is the outward-pointing
unit normal vector along (see [3, p.40] for details).
Let us prove the existence a ball B(0, r1 ) of RN0 and a function : B(0, r1 ) R such that for any
function (regular enough) (1 (t), . . . , N0 (t)) B(0, r1 ), any function defined by (3) satisfies (1).
More precisely, let us consider
N0
X
(t, y) := i (t)i (y),
i=0
we search 0 (t) such that
Z Z N0
!
X
det((t, y)) dy = det Id + i (t)i (y) + 0 (t)0 (y) dy
S (0) S (0) i=1
(13)
= |S (0)|.
162
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
The above condition is equivalent to the fact that the deformation of the structure does not modify
its volume which is compatible with the incompressibility of the fluid. Using the theorem of implicit
functions, we can prove the following result.
Lemma 2.1. There exist r1 > 0 and r2 > 0 and a mapping of class C
For the proof, see [1] Lemma 4.1 (see also [7] for a similar result). We recall that (t) : S S (t),
(t, y) = y +(t, y). Let us remark that taking r1 small enough, we also have (t) and (t) invertible.
From (13) some calculations give
N0
X
i (t)i (t) + 0 (t)0 (t) = 0 (14)
i=1
with
i (t) = i0 (t)
for any 0 6 i 6 N0 , and
Z
i (t) = (det )()1 i (y) ny dy
S (0)
Z (15)
1
= i ( (t, x)) nx dx
S (t)
163
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
n o
Then, (3) and (14) imply that the velocity of deformation is spanned by the family b1 , . . . , bN0 :
N0
X N0
X
i (t)
(t, y) = i (t) i (y) 0 (y) =: i (t)bi (t, y). (20)
t 0 (t)
i=1 i=1
n oN0
Remark 2.2. Let us remark that the family {i }N
i=0 and, for all t, the family
0
bi (t) defined as
i=1
above, are linearly independent families.
(t, ) : S S (t)
y 7 y + (t, y)
associated with which is the elastic displacement of the structure defined by (3) and which is the
solution of (6). We will always assume that
where r1 is small enough to apply Lemma 2.1 and to have (t) and (t) invertible for all t and (16).
Recall that the latter condition implies (17).
We construct a change of variables X : which transforms S onto S (t) and F onto
F (t). We will use this change of variables to transform systems (5)- (6) into a system written in
fixed domains. The idea is to extend the elastic deformation defined above on the domain of the fluid.
Thus, we consider a linear extension operator E:
E : H 3 (S ) H 3 () H01 ()
i) E(w) = w a.e in S ,
ii) E(w) has support within [S ] := {y : dist(y, S ) < }, with 0 < < dist(S , )
Using this operator, we can define an extension of on as follows: for each t [0, T ] we set
In what follows, we assume (1 , . . . , N0 ) [H 2 (0, T )]N0 . Using the Sobolev embedding theorem,
we will consider the following norms for H 2 (0, T ) and H 1 (0, T ) (which are equivalent to the usual
norms):
kf kH2 (0,T ) := kf kL (0,T ) + kf 0 kL (0,T ) + kf 00 kL2 (0,T ) (f H 2 (0, T ))
164
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
and
kf kH1 (0,T ) := kf kL (0,T ) + kf 0 kL2 (0,T ) (f H 1 (0, T )).
Let us note, that, since C (B(0, r1 )), we have 0 = (1 , . . . , N0 ) H 2 (0, T ). Hence, we
deduce H 2 (0, T ; H 3 (S )) and by using Sobolev embedding theorems, we obtain
and
kE()kL (0,T ;W 1, ()) 6 CE kkL (0,T ;W 1, (S ))
6 CE CS kkL (0,T ;H 3 (S ))
6 CE CS Ckk[L (0,T )]N0 .
Consequently if (1 , . . . , N0 ) satisfies for all t the condition (21) with r1 small enough (depending on
the geometry and on the family {i }), then X(t, ) is bijective from onto .
Moreover its inverse Y (t, ) : satisfies
1
|Y (t, x1 ) Y (t, x2 )| 6 |x1 x2 |. (23)
1 kE()kL (W 1, ())
As a consequence, (see, for instance, [9, p.279]) Y L (0, T ; W 1, ()). We can improve this regu-
larity:
Lemma 2.3. Assume i H 2 (0, T ), i H 3 (S ) for all i {0, 1, . . . , N0 } and assume (21) with r1
small enough. Then X H 2 (0, T ; H 3 ()), (X)1 H 2 (0, T ; H 2 ()) and
Proof. From (22) and from the regularity of i and i , we have X H 2 (0, T ; H 3 ()).
Using the fact that H 2 (0, T ; H 2 ()) is an algebra, we deduce that
As Y L (0, T ; W 1, ()), we have det X 6= 0 and thus the above equation implies
1
H 2 (0, T ; H 2 ()).
det X
Therefore, from (11) we have (X)1 H 2 (0, T ; H 2 ()). If we denote by A = (X)1 , we have
Y = A Y . Since Y L ((0, T ) ),
165
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
Hence,
Y L (0, T ; H 3 ()).
Differentiating the identity X(t, Y (t, x)) = x with respect to time, we have
Y X
(t, x) = Y (t, x) (t, Y (t, x)). (26)
t t
Let us show that
X
B(t, x) := (t, Y (t, x)) L (0, T ; H 2 ()). (27)
t
From the regularity of X, we already know that X 3
t C([0, T ]; H ()) and from the first part of the
proof we have that Y L (0, T ; H 3 ()). Differentiating (27) with respect to x, we obtain
2 Bi X 3 Xi Yp Yl X 2 Xi 2 Yl
= (Y ) + (Y ) L (0, T ; L2 ()).
xk xj tyl yp xk xj tyl xj xk
l,p l
Y W 1, (0, T ; H 2 ()).
Consequently,
Y H 2 (0, T ; H 1 ()).
This concludes the proof.
Then
bi H 2 (0, T ; H 3 (S )).
Proof. From the regularity of i and i it follows that H 2 (0, T ; H 3 (S )) and consequently, i
H 2 (0, T ). From (17), we deduce that 10 H 2 (0, T ). This allows to deduce the desired regularity of
bi .
166
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
because of the divergence equation in (5). More precisely we have the following result:
Lemma 3.1. Assume (28). Then
Proof. To simplify the notation, we do not write in the proof the dependence in time of the variables.
We have
div v(y) = div [det(X(y)) Y (X(y))u(X(y))]
X Yi
= (det X(y)) (X(y))uj (X(y))
yi xj
i,j
X 2 Yi Xl
+ det X(y) (X(y)) (y)uj (X(y))
xj xl yi
l
X Yi
uj Xl
+ det X(y) (X(y)) (X(y)) (y) .
xj xl yi
l
Using that
1
det(X) = ,
det(Y (X))
we have
1
(det X) = (det Y (X))
yi (det Y (X))2 yi
!
1 X
= Cof(Y (X))pq (Y (X))pq
(det Y (X))2 p,q yi
X Xq 2
Yp Xl
= det X(y) (y) (X(y)) (y) .
yp xq xl yi
p,q,l
167
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
Then
X Yi uj Xl
div v(y) = det X(y) (X(y)) (X(y)) (y)
xj xl yi
i,j,l
X uj
= det X(y) (X(y)) = det(X(y))(div u)(X(y)).
xj
j
Now, we write the transformation of the derivative in time of u. From (28) we have that for
i {1, 2, 3}:
ui X Xi X Xi vk Yl
= (det Y ) (Y ) vk (Y ) + (det Y ) (Y ) (Y )
t t yk yk yl t
k k,l
(31)
vi X Xi vk
+ (det Y ) (Y ) + det Y (Y ) i,k (Y ).
t yk t
k
We calculate the transformation of the gradient of u. As in the proof of Lemma 3.1, we do not write
the dependence in time of the variables.
ui vi
= (det Y ) (Y ) + Eij [v] (32)
xj yj
with,
X Xi
Xi
vk
Eij [v] = (det Y ) (Y ) vk (Y ) + det Y (Y ) i,k (Y )
xj yk yk yj
k
Xi X vk (33)
+ (det Y ) (Y ) (Y ) (X)1l,j (Y ) l,j .
yk yl
l
Then,
2 ui 2 vi X 2 vi
1
=(det Y ) (Y ) + (det Y ) (Y ) (X)l,j (Y ) l,j
x2j yj2 yj yl
l (34)
vi
+ (det Y ) (Y ) + (Eij [v]) .
xj yj xj
For the nonlinear term we have:
X vi X Xj
[(u )u]i = (det Y )2 (Y ) (Y )vm (Y )
yj m
ym
j
X X Xj (35)
+ (det Y )Eij [v] (Y )vm (Y ).
m
ym
j
168
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
p q
= (det Y ) q(Y ) + (det Y ) (Y )
xi xi yi
X q (36)
+ (det Y ) (Y ) (X)1 l,i (Y ) l,i .
yl
l
X 2 vi X 2 vi
[Lv]i := + (X)1
l,j l,j
j
yj2 yj yl
l
(39)
vi
+ (det X) (det Y ) (X) + (det X) (Eij [v]) (X) ,
xj yj xj
1 X vi X Xj X X Xj
[N v]i := vm + Eij [v](X) vm , (40)
det X yj m ym m
ym
j j
q X q
[Gq]i := (det X) (det Y ) (X)q + + (X)1
l,i l,i . (41)
xi yi yl
l
where
N0
X
bi (t, y) = (Cof X) bi (t, y) and
t
[H] = i (b
i i ). (43)
i=1
169
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
Using (2), (12) and (19) we can prove that the function [H] satisfies
Z
[H] n = 0.
S
and
N0
X
=q i i . (46)
i=1
with
N0 N0 N0 N0
" N0
!# N
X X X X X X0
i dy = j0 j i dy + j0 (bj j ) i dy
S t2 S S
j=1 j=1
N0
X Z X0 N Z
b b
+ j (j ) i dy + j0 bj (bi i ) dy.
S t S
j=1 j=1
170
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
with
N0
X
t
G0 [w, ] =(w, ) (X) Id ny + i (Wi , i )(X)t ny
i=1
N0
X
+ 2(E[w] + (E[w])t )(X) Cof(X)ny + 2 i (E[Wi ] + (E[Wi ])t )(X) Cof(X)ny ,
i=1
(49)
and with E[w] is defined by (33).
Thus, we can write (6) as follows
N0
X Z Z
j0 j i dy = (w, )ny i dy + fi , (50)
j=1 S S
171
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
In the remaining part of the article, we study the problem (47), (50). To prove the local in time
existence of such a system we use a similar approach as in [15]. More precisely we write (47), (50) as
w
w + = F in F , t (0, T )
t
div(w) = 0 in F , t (0, T )
w=0 on , t (0, T )
w = PN0 on S , t (0, T )
i=1 i i
and
Z
[A]0i = (w, )ny i dy + fi ,
S
with A defined by Z
(A)i,j = i j dy, (55)
S
with fi given by (51) and with
F = K [M w] + [(L )w] + [( G)]. (56)
wn= i i n on S },
i=1
172
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
D(A) = {(w, ) H : w H 2 (F )
w = 0 on
N0
X
w= i i on S },
i=1
A : D(A) L2 (F ) RN0
(w, ) 7 w, (A1 B(w)) ,
and
A : D(A) H
(w, ) 7 P(A(w, ))
R
where Bj (w) = S 2 (w)n j dy and P : L2 (F ) RN0 H is the orthogonal projection.
Here we have used the following scalar product for L2 (F ) RN0 :
Z
((w, ), (u, )) := w u dy + A .
F
Its associated norm is equivalent to the usual one. Let us also remark that H is a closed subspace of
the Hilbert space L2 (F ) RN0 .
To study the operator A, we also need the following function space
V = {(w, ) H : w H 1 (F )
w = 0 on
N0
X
w= i i on S }.
i=1
Proposition 4.1. The operator A : D(A) H is positive and self-adjoint. In particular, A is the
generator of a contraction semigroup on H.
Proof. Assume (u, ), (w, ) D(A). Then
173
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
Thus Z
(A(w, ), (u, )) = 2 (w) : (u) dy, (u, ), (w, ) D(A). (60)
F
In particular, A is symmetric. Moreover, I + A is onto: let us take (v, ) H. The equation
(I + A)(w, ) = (v, )
is equivalent to
((w, ), (u, )) + (A(w, ), (u, )) = ((v, ), (u, )), (u, ) H. (61)
If (u, ) V , then, (61) can be transformed in
Z
((w, ), (u, )) + 2 (w) : (u) dy = ((v, ), (u, )), (u, ) V. (62)
F
Using the Korn inequality (see [13, Theorem 2.4-2, p.51]) and the Riesz theorem we deduce the
existence and uniqueness of (w, ) V satisfying (62).
Taking = 0 in (62), it is not difficult to see that w is solution of a Stokes-type system
w w + = F in F
div(w) = 0 in F
(63)
w=0 on
PN0
w = i=1 i i on S .
Since {i }N 3 2 2
i=1 H (S ) and C , we obtain w H (F ). Therefore I + A is onto.
0
This concludes that the operator A is self-adjoint (see, for instance [16, Proposition 3.2.4, p.74]).
Furthermore, A is non-negative, since from (60) we have
Z
(A(w, ), (w, )) = 2 |(w)|2 dy > 0.
F
174
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
In particular, if we take
r1
T =, (65)
2R
we have for all t, (1 (t), . . . , N0 (t)) B(0, r1 ), with r1 such that we can apply Lemmata 2.1 and
2.3 and so that (16) holds true. By using these functions, we can define , bi , X, bi , (Wi , i ) by the
formulas (3), (18), (22), (43), and (44). Finally we can define F and fi by (56) and (51). Then we
have the two following results.
Theorem 5.1. Assume that (w, , ) satisfies (64) and assume (65). Then there exists a positive
constant C(R) such that
These two results are technical and will be proved in the next two sections. Admitting these results,
we are in position to prove the main result. The proof is based on the Banach fixed point theorem.
More precisely, let T > 0, R > 0, and let us define
N
K = D L2 (0, T ; H 1 (F )) H 1 (0, T ) 0 ,
175
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
and
C = {(w, , ) K : k(w, , )kK 6 R} .
Clearly, C is a closed subset of K. Let us define the mapping
Z: C
K (68)
(w, , ) 7 w, e, e
e
where w, e, e is the solution of (57)-(59), with F and f defined by (56) and (51) from (w, , ) (as
e
in the beginning of this section). The fact that Z maps C into K comes from Proposition 4.2 and
Theorem 5.1. More precisely, applying Proposition 4.2, we obtain
0
w, e 0
e, 6 C kF kL2 (0,T ;L2 (F )) + kf k[L2 (0,T )]N0 + kw kH 1 (F ) +
e . (69)
K
With the constant C and C(R) of the above inequality, we take R big enough so that
R
kw0 kH 1 (F ) + | 0 | 6 (71)
2C
and T small enough so that (in addition to (65))
R
C(R)T 1/4 6 . (72)
2
Gathering (70), (71) and (72), we deduce Z(C) C.
Lastly,
we prove that Z : C C is a contraction.
Let w(1) , (1) , (1) , w(2) , (2) , (2) C. Then, according to Proposition 4.2
(1) (1) e(1)
Z w(1) , (1) , (1) Z w(2) , (2) , (2) = w e ,e , w e(2) , e(2)
e(2) ,
K K
(1) (2) (1)
6 F F 2 + f f (2)
2
L (0,T ;L (F )) [L2 (0,T )]N0
where, for k = 1, 2, F (k) and f (k) are defined by (56) and (51) with w(k) , (k) , (k) . Thus, according
to Theorem 5.2, we have
(1) (1) (1) (2) (2) (2) 1/4
Z w , , Z w , , 6 C(R)T w(1) , (1) , (1) w(2) , (2) , (2) .
K K
Thus for T small enough, Z is a contraction on C and we deduce the local in time existence of a
solution of (47), (50) and thus of a solution of (5)-(6) by using Proposition 3.2. This completes the
proof.
176
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
where R is a fixed positive constant (see Section 5). We assume (65) and we define i , (i = 0, . . . , N0 ),
, bi , X, bi , (Wi , i ) by the formulas (3), (18), (22), (43), and (44) as in the beginning of Section 5.
In the estimates below, the constants C(R) at stake may depend on R, the geometry, , N0 , {i }N i=0 ,
0
and on T . If they depend on T , it is in a nondecreasing way. Similarly the constants C at stake are
independent on R but may depend on the geometry, , N0 , {i }N i=0 , and on T . If they depend on T ,
0
it is in a nondecreasing way.
We recall that from the above assumptions and from Lemma 2.3, X H 2 (0, T ; H 3 ()), Y
L (0, T ; H 3 ()) W 1, (0, T ; H 2 ()) H 2 (0, T ; H 1 ()) and (X)1 H 2 (0, T : H 2 ()).
Lemma 6.1. With the above assumptions, Cof(X) H 2 (0, T ; H 2 ()) and for all 1 6 i 6 N0 ,
bi H 2 (0, T ; H 2 (S )). Moreover, we have the following estimates
kCof (X) IdkL (0,T ;H 2 ()) 6 C(R)T 1/2 , kCof(X)kH 2 (0,T ;H 2 ()) 6 C(R), (75)
1 1
6 C(R), 1 6 C(R)T 1/2 , (76)
det X det X
L (0,T ;H 2 (S )) L (0,T ;H 2 (S ))
(X)1 6 C(R), (X)1 IdL (0,T ;H 2 ( )) 6 C(R)T 1/2 , (77)
L (0,T ;H 2 (S )) S
2
Y Y
kXkH 2 (0,T ;H 3 ()) + kY kL (0,T ;H 3 ()) +
t + t2 2
6 C(R). (78)
2
L (0,T ;H ()) L (0,T ;H 1 ())
with i, j, k, l, m, n, p, q {1, 2, 3}, the regularity of Cof (X) is a consequence of the fact that H 2 (0, T ; H 2 ())
is an algebra. On the other hand, by using the definitions (18) and (43),
t i
bi = (Cof X) i 0 , (81)
0
with (see (15)) Z
i = (Cof X)t i ny dy . (82)
S
177
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
kX idkL (0,T ;H 3 ()) 6 kE()kL (0,T ;H 3 ()) 6 C kk[L (0,T )]N0 6 C(R)T,
This implies
kXkH 2 (0,T ;H 3 ()) 6 C(R). (84)
Combining (80) with (74) and (83), we deduce (75).
Let us prove (76). From (23), there exists a positive constant C such that
and thus
1
6 C.
det(X)
L (0,T ;L ())
On the other hand, from (74) and from the above estimate, we obtain
1
1 6 C(R)kX Id kL (0,T ;H 2 ()) 6 C(R)T 1/2 .
det X
L (0,T ;H 2 ())
kY kL (0,T ;L ()) 6 C.
178
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
Thus, we obtain
kY kL (0,T ;H 3 ()) 6 C(R).
Y
Then using (26) and the previous estimates on X and Y , we obtain the estimates on t . We use the
same kind of reasoning for the second derivative in time of Y .
Lastly, we show (79), from (81) we deduce that
i (t)
kb
i (t) i kH 2 (S ) 6 (Cof X)t IdH 2 ( ki kH 2 (S ) + (Cof X)t H 2 (
k0 kH 2 (S ) .
S ) S) 0 (t)
Lemma 6.2. Assume (73) and (65). Then for all i {1, . . . , N0 }, the solution of (44) satisfies
179
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
Using Lemma 6.1 it can be proved the following result. We skip the proof since it is similar to the
proof of next lemma.
Lemma 6.3. Let v D and Eij [v] defined by (33). Then there exists a positive constant C(R) such
that
kEij [v]kL2 (0,T ;H 1 (F )) 6 C(R)T 1/2 kvkD .
Lemma 6.4. Suppose that v D and q L2 (0, T ; H 1 (F )). Then there exists a positive constant
C(R) such that
180
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
Proof. By using the definition (38) and by performing some calculations, we have
X 2 Xi X 2 Xi Yl
1 X 2 Y Xi
[M v]i = tr (X) + ( X) (X) vk + vk + (X)vk
t t yk tyk yl yk t
k k,l
X Xi vk Yl X Xi
vk
+ (X) + i,k
yk yl t yk t
k,l k
(91)
The three next terms in (91) are estimated in a similar way. For the last term, we write
Xi vk vk
yk i,k t 2 6 kX Id kL (0,T ;L (F ))
t L2 (0,T ;L2 (F ))
6 C(R)T kvkD ,
L (0,T ;L2 (F ))
where the last inequality is obtained thanks to Lemma 6.1. All these estimates imply (i).
Now, we estimate the terms appearing in the expression (39) of [Lv]. First,
2
vi
(X) 1
6 k(X)1 Id kL (0,T ;L (F )) kvi kL2 (0,T ;H 2 (F ))
yj yl l,j l,j
L2 (0,T ;L2 (F ))
and then we estimate this term as the first term of [M v]. Using Lemmata 6.1 and 6.3 we obtain the
following estimate for the last term of [Lv]:
(det X) (Eij [v]) (X) 6 C(R)T 1/2 kvkD . (92)
xj 2
L (0,T ;L2 (F ))
181
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
vi vi 1/2 vi 1/2
6C ,
yj yj 1 yj 2
H 1/2 (F ) H (F ) L (F )
vi vi
we deduce that y j
L4 (0, T ; H 1/2 ()) and thus, using the Sobolev embedding theorem, that yj
L4 (0, T ; L3 (F )) with
vi
6 CkvkD .
yj 4
L (0,T ;L3 (F ))
182
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
Therefore,
k[Gq] qkL2 (0,T ;L2 (F )) 6 C(R)T 1/2 kqkL2 (0,T ;H 1 (F )) .
Lastly, let us prove inequality (v) (see (49)). We estimate the first term, from Lemma 6.1 we
deduce
k(v, q)((X)t Id)kL2 (0,T ;H 1 (F )) 6 k(X)t Id kL (0,T ;H 2 (F )) k(v, q)kL2 (0,T ;H 1 (F ))
6 C(R)T 1/2 (kvkD + kqkL2 (0,T ;H 1 (F )) ).
For the second term, from Lemma 6.2 and (90), we have:
In a similar way to the estimates of the terms of [Lv] and thanks to Lemma 6.1 and (92), we deduce
Applying Lemma 6.2, using (73) and similar calculations as in the term above, we obtain
N
X 0
2 i (E[Wi ] + (E[Wi ])t )(X) Cof(X) 6 C(R)T 1/2 .
2
i=1 1 L (0,T ;H (F ))
N0 N0 N0 N0 N0
" N0
!#
X X X X X X
F = i0 Wi i Wi0 [M (i Wi )] + [L(i Wi )] [G(i i )] N w + i Wi .
i=1 i=1 i=1 i=1 i=1 i=1
[M w] + [(L )w] + [( G)].
according to (73) and (86). The second term of F is bounded in the same way:
N
X 0 N0
X
0
W
i i 6 kk N
[L (0,T )] 0 kWi kH 1 (0,T ;L2 (F )) 6 C(R)T 1/2 .
2
i=1 2 L (0,T ;L (F )) i=1
183
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
6 C(R)T.
According to Lemma 6.4 (ii) and (iv), (73) and (86), we have
N
X 0 N0
X
[L(i Wi )] [G(i i )]
2
i=1 i=1 L (0,T ;L2 (F ))
N N
X 0 X 0
6 ([L(i Wi )] i Wi ) + ((i i ) [G(i i )])
2 2
i=1 L (0,T ;L2 (F )) i=1 L (0,T ;L2 (F ))
N N
X 0 X 0
6 C(R)T 1/2 i Wi + C(R)T 1/2 i i 6 C(R)T.
2
i=1 D i=1 1L (0,T ;H (F )))
Moreover, using again Lemma 6.4 (i), (ii) and (iv), we have
k[M w] + [(L )w] + [( G)]kL2 (0,T ;L2 (F )) 6 C(R)T 1/2 kwkD + kkL2 (0,T ;H 1 (F )) 6 C(R)T 1/2 .
On the other hand, f is defined by (51). First, note that by (18), Lemma 2.4 and (85) we have
b
i i 3
6 C(R)T 1/2 .
L (0,T ;H (S ))
Thereby, we deduce
X Z
N0 0
j b
(j j ) i dy 6 C(R)T 1/2 k 0 kL2 (0,T ) 6 C(R)T 1/2 ,
j=1 S
L2 (0,T )
184
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
X Z
N0 0
j b b
j (i i ) dy 6 C(R)T 1/2 k 0 kL2 (0,T ) 6 C(R)T 1/2 ,
j=1 S
L2 (0,T )
and
Z
(w, )ny (bi i ) dy
6 C(R)T 1/2 k(w, )kL2 (0,T ;H 1 (F )) 6 C(R)T 1/2 .
S L2 (0,T )
and thus
kf k[L2 (0,T )]N0 6 C(R)T 1/2 .
The proof of Theorem 5.1 concludes by combining the above equation and (94).
where R is a fixed positive constant (see Section 5). Here f (k) and F (k) are defined by (51) and
(k)
(56). More precisely, we assume (65) and by using these families of functions we can define i ,
(k)
(k) (k)
(i = 0, . . . , N0 ), (k) , bi , X (k) , bi (k) , W ,
i i by the formulas (3), (18), (22), (43), and (44) as
in the beginning of Section 5.
In the estimates below, the constants C(R) at stake may depend on R, the geometry, , N0 , {i }N
i=0 ,
0
and on T . If they depend on T , it is in a nondecreasing way. Similarly the constants C at stake are
185
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
independent on R but may depend on the geometry, , N0 , {i }N i=0 , and on T . If they depend on T ,
0
it is in a nondecreasing way.
We recall that from the above assumptions and from Lemma 2.3, for n {1, 2}, X (k) H 2 (0, T ; H 3 ()),
1
Y (k) L (0, T ; H 3 ()) W 1, (0, T ; H 2 ()) H 2 (0, T ; H 1 ()) and X (k) H 2 (0, T : H 2 ()).
We first estimate the differences of the functions X and Y :
n o
(n) N0
Lemma 7.1. Assume i , (n {1, 2}) satisfy the above conditions. Then we have the following
i=1
estimates
(1) (2) (1) (2)
X X 1, + Y Y
W (0,T ;H 3 ()) L (0,T ;H 3 ())
Y (1) Y (2) 2 Y (1) Y (2)
1/2 (1) (2)
+ + 6 C(R)T 1 .
t 2
t2 2 1
[H (0,T )]N0
L (0,T ;H ()) L (0,T ;H ())
(96)
Proof. The proof is quite similar to the proof of Lemma 6.1 so we only precise the main changes. First
using that the mapping in Lemma 2.1 is of class C , there exists a positive constant C such that
(1) (2)
0 0 2 6 C (1) (2) 2 N
.
H (0,T ) [H (0,T )] 0
Therefore, by writing
Y (n) (x) = E( (n) )(Y (n) (x)) + x,
for n = 1, 2, we can estimate Y (1) Y (2) :
(1)
E( ) E( (2) )
(1) (2) L (0,T ;L ())
Y Y 6
L (0,T ;L ()) 1 E( (2) )L (0,T ;W 1, ())
CT (1) (2) [H1 (0,T )]N0
6 .
1 E( (2) )L (0,T ;W 1, ())
Finally, using the above lemma, we can prove the following results. Since their proofs are similar
to the proofs of Lemma 6.1 and Lemma 6.4 (see also [15]), we skip them.
Lemma 7.2. With the above assumptions, we have the following regularity results: there exist a
positive constant C(R) such that
(1) (2) 1/2 (1) (2)
Cof(X ) Cof(X ) 1, 2
6 C(R)T 1 N
,
W (0,T ;H ()) [H (0,T )] 0
186
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
and
(1) (2)
bi bi 6 C(R)T 1/2 (1) (2) .
W 1, (0,T ;H 2 (S )) [H1 (0,T )]N0
Lemma 7.3. Suppose that v D and q L2 (0, T ; H 1 (F )). Then there exists a positive constant
C(R) such that
(i) [M (1) v] [M (2) v]L2 (0,T ;L2 ( )) 6 C(R)T 1/2 kvkD (1) (2) [H1 (0,T )]N0 ,
F
(ii) ([L(1) v] [L(2) v])L2 (0,T ;L2 ( 6 C(R)T 1/2 kvkD (1) (2) [H1 (0,T )]N0 ,
F ))
(iii) [G(1) q] [G(2) q]L2 (0,T ;L2 ( 6 C(R)T 1/2 kqkL2 (0,T ;H 1 (F )) (1) (2) [H1 (0,T )]N0 ,
F ))
(1) (2)
(iv) kG0 [v, q]G0 [v, q]kL2 (0,T ;H 1 (F )) 6 C(R)T 1/2 kvkD + kqkL2 (0,T ;H 1 (F )) + (1) (2) [H1 (0,T )]N0 .
Lemma 7.4. Suppose v (1) , v (2) D. Then there exists a positive constant C(R) such that
(1) (1)
[N v ] [N (2) v (2) ] 2
L (0,T ;L2 (F ))
1/4 (1) (2) (1) (2) (1) (2) (1) (2)
6 C(R)T v + v v + v 1 N
+ v v .
D D D D [H (0,T )] 0 D
187
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
and
Z Z
(1) (2) (1)0 (2)0 b (1) (2)0 (1) (2)
fi fi = i i j j i dy + j bj bj i dy
S S
Z b(1) b(1)
Z
b(1) b(2) b(1)
(1) (2) (2)
+ i i j i dy + j j j i dy
S t S t
Z Z
(2) b(2) b(1) b(2)
(1)
+ j j i i dy + (1) (2) : bi dy
S t S
Z Z h i
(1) (2) (1)
+ (2) : bi bi dy + w(1) , (1) w(2) , (2) ny bi i dy
ZS
S
Z h i
(1) (2) (1) (2) (1)
+ (2) (2)
w , ny bi bi dy + G0 G0 w(1) , (1) bi dy
ZS h i
S
Z h i
b (1) (2) (1) (2)
+ G0 w , (1) (1)
w , (2) (2)
i dy + G0 w(2) , (2) bi bi dy .
S S
From the above equalities and Lemmata 6.1-6.2, 6.4, 7.1-7.4, we deduce (67). This concludes the proof
of Theorem 5.2.
188
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
References
[1] M. Boulakia, Existence of weak solutions for the three-dimensional motion of an elastic structure
in an incompressible fluid, J. Math. Fluid Mech., 9 (2007), pp. 262294.
[3] P. G. Ciarlet, Mathematical elasticity. Vol. I, vol. 20 of Studies in Mathematics and its Appli-
cations, North-Holland Publishing Co., Amsterdam, 1988. Three-dimensional elasticity.
[4] C. Conca, J. San Martn H., and M. Tucsnak, Existence of solutions for the equations
modelling the motion of a rigid body in a viscous fluid, Comm. Partial Differential Equations, 25
(2000), pp. 10191042.
[5] D. Coutand and S. Shkoller, Motion of an elastic solid inside an incompressible viscous fluid,
Arch. Ration. Mech. Anal., 176 (2005), pp. 25102.
[6] P. Cumsille and T. Takahashi, Wellposedness for the system modelling the motion of a rigid
body of arbitrary form in an incompressible viscous fluid, Czechoslovak Math. J., 58(133) (2008),
pp. 961992.
[9] L. C. Evans, Partial differential equations, vol. 19 of Graduate Studies in Mathematics, American
Mathematical Society, Providence, RI, 1998.
[10] E. Feireisl, On the motion of rigid bodies in a viscous incompressible fluid, J. Evol. Equ., 3
(2003), pp. 419441. Dedicated to Philippe Benilan.
[11] M. D. Gunzburger, H.-C. Lee, and G. A. Seregin, Global existence of weak solutions for
viscous incompressible flows around a moving rigid body in three dimensions, J. Math. Fluid
Mech., 2 (2000), pp. 219266.
[12] M. Hillairet, Lack of collision between solid bodies in a 2D incompressible viscous flow, Comm.
Partial Differential Equations, 32 (2007), pp. 13451371.
[13] P.-A. Raviart and J.-M. Thomas, Introduction ` a lanalyse numerique des equations aux
derivees partielles, Collection Mathematiques Appliquees pour la Matrise. [Collection of Applied
Mathematics for the Masters Degree], Masson, Paris, 1983.
189
Apendice A. Existence of Strong Solutions for the Motion of an Elastic Structure in an
Incompressible Viscous Fluid
[14] J. A. San Martn, V. Starovoitov, and M. Tucsnak, Global weak solutions for the two-
dimensional motion of several rigid bodies in an incompressible viscous fluid, Arch. Ration. Mech.
Anal., 161 (2002), pp. 113147.
[15] T. Takahashi, Analysis of strong solutions for the equations modeling the motion of a rigid-fluid
system in a bounded domain, Adv. Differential Equations, 8 (2003), pp. 14991532.
[16] M. Tucsnak and G. Weiss, Observation and control for operator semigroups, Birkhauser Ad-
vanced Texts: Basler Lehrb
ucher. [Birkhauser Advanced Texts: Basel Textbooks], Birkhauser
Verlag, Basel, 2009.
190
Apendice B
191
Apendice B. On the identifiability of a rigid body moving in a stationary viscous fluid
192
On the identifiability of a rigid body moving in a stationary viscous
fluid
Carlos Conca
Dpto. de Ingeniera Matematica, Facultad de Ciencias Fsicas y Matematicas,
Universidad de Chile, Casilla 170/ 3-Correo 3, Santiago, Chile
cconca@dim.uchile.cl
Erica L. Schwindt
Dpto. de Ingeniera Matematica,Facultad de Ciencias Fsicas y Matematicas,
Universidad de Chile, Santiago, Chile
and
Institut Elie Cartan, Faculte des Sciences
BP239 54506 Vandoeuvre-l`es Nancy, Cedex, France
leris98@gmail.com
Takeo Takahashi
Institut Elie Cartan, Faculte des Sciences
BP239 54506 Vandoeuvre-l`es Nancy, Cedex, France
takeo8@gmail.com
Abstract
This article is devoted to a geometrical inverse problem associated to a fluidstructure system.
More precisely, we consider the interaction between a moving rigid body and a viscous and incom-
pressible fluid. Assuming a low Reynolds regime, the inertial forces can be neglected and therefore,
the fluid motion is modelled by the Stokes system. We first prove the well-posedness of the corre-
sponding system. Then we show an identifiability result: with one measure of the Cauchy forces of
the fluid on one given part of the boundary and at some positive time, the shape of a convex body
and its initial position is identified.
Corresponding author
193
Apendice B. On the identifiability of a rigid body moving in a stationary viscous fluid
1 Introduction
The aim of this article is to consider a geometrical inverse problem associated with a fluid-structure
system. More precisely, we want to identify the shape of a moving rigid body and its initial position.
Geometrical inverse problems are frequent models in several applied areas, such as medical imaging
and non destructive evaluation of materials.
In this work, we are interested in identifying an inaccessible solid structure, denoted by S(t), which
is moving in a viscous incompressible fluid occupying a region denoted by F(t). We assume that both
the fluid and the structure are contained in a bounded fixed domain (i.e. connected and open set)
of R3 so that F(t) = \ S(t).
We assume that the structure is a rigid body so that it can be described by its center of mass
a(t) R3 and by its orientation Q(t) SO3 (R) as follows:
with
S(a, Q) := QS0 + a, (a, Q) R3 SO3 (R). (1)
Here, S0 is a smooth non empty domain which is given and SO3 (R) is the set of all rotation real
square matrices of order 3. We can assume, without loss of generality, that the center of mass of S0
is at the origin and in that case, a is the center of mass of S(a, Q). We also assume that there exists
(a, Q) R3 SO3 (R) such that S(a, Q) and such that
is a smooth non empty domain (see Figure 1). In what follows, we will write
To write the equations governing the motion of this fluidstructure system, it is natural to model
the fluid motion through classical NavierStokes equations and next apply Newtons laws to obtain
the equations for the rigid body. The resulting system has been extensively studied in the last few
years (see e.g. [9,10,13,16,20,23,2628,31] for a non exhaustive list of articles on this subject). A large
part of the literature associated to this system is devoted to its well-posedness and in particular, up to
our knowledge, there is no result for the geometrical inverse problems we will consider in this paper.
Indeed, this general case is quite difficult to handle directly and we will therefore limit ourselves to
only consider a simplified version where it will be assumed that the Reynolds number is very small so
that inertial forces can be neglected. In that case, the dynamics of the whole fluidrigid solid body
194
Apendice B. On the identifiability of a rigid body moving in a stationary viscous fluid
S (a,Q)
S0
195
Apendice B. On the identifiability of a rigid body moving in a stationary viscous fluid
where Id is the identity matrix of M3 (R), with M3 (R) is the set of all real square matrices of order
3, and D(u) is the strain tensor defined by
1 uk ul
[D(u)]kl = + .
2 xl xk
Despite the equations (2)(11) are simpler than the more general system which couples NavierStokes
equations with Newtons laws, they do not represent a particular case of this one. Therefore, we first
need to consider the well-posedness of this system for a given shape S0 of the rigid body (see Theorem
1).
Let us now give a more detailed description of the inverse problem we consider in this article.
Assume is a non empty open subset of where we can measure (u, p) n| , at some time t0 > 0.
Is it possible to recover S0 ? In this article, we show the identifiability of S0 , proving that to each
measurement of the Cauchy forces on , there is a corresponding shape S0 , which is unique up to
(1) (2)
a rotation matrix. More precisely, let us take two non empty open sets S0 , S0 . We prove that
under certain assumptions on the rigid bodies and the function u , we can identify the structure (see
Theorem 2).
Similar problems have been studied in the recent years. For example, in [1] the authors proved
an identifiability result for a fixed smooth convex obstacle surrounded by a viscous fluid via the
observation of the Cauchy forces on one given part of the boundary. Their method of proof is based
on the unique continuation property for the Stokes equations due to FabreLebeau [12]. They also
obtained a weak stability result (directional continuity). In the case of a perfect fluid, the authors
of [7] prove, in the two-dimensional case, an identifiability result when the obstacle is a ball which is
moving around in an irrotational fluid by measuring the velocity of the fluid on a given subregion of
the boundary. Precise stability results (linear stability estimates) are proved for this case using shape
differentiation techniques due to Simon [29]. In [11] the authors considered the inverse problem of
detecting the shape of a single rigid obstacle immersed in a fluid governed by the stationary Navier
Stokes equations by assuming that friction forces are known on one part of the outer boundary. They
proved a uniqueness result when the obstacle is a simply connected open set. In this article, we obtain,
under some conditions, an identifiability result for moving obstacles in a viscous fluid. This is a first
step towards detection results for the same problem. In the case of fixed obstacle in a viscous fluid, the
authors of [17] give a method to reconstruct obstacles. More precisely, using the geometrical optics
solutions due to Silvester and Uhlmann [30], they can estimate the distance from a given point to
196
Apendice B. On the identifiability of a rigid body moving in a stationary viscous fluid
an obstacle by means of boundary measurements. Another method was considered in [2] where the
authors use the shape differentiation in a numerical method in order to recover a finite number of
parameters of the obstacle.
In the papers cited above, both the obstacle and the fluid occupy a bounded domain. While in [8]
an identifiability result for the case of a rigid solid moving around in a potential fluid filling R2 is
proved. By assuming that the potential function is known at a given time, the authors showed that
when the solid enjoys some symmetry properties, it is possible to detect certain parameters of the
solid: the angular velocity, the translational velocity, among others.
The paper is outlined as follows. In Section 2 we state the main results of this article given by
Theorems 1-2. In Section 3 we consider an auxiliary system which is used to prove the well-posedness
of the system (2)-(11). More precisely, we can reduce the system (2)-(11) to a system of ODE for the
position. Therefore, we show in Section 4 that the solutions of the auxiliary system depend smoothly
of the position and by applying the CauchyLipschitzPicard Theorem we deduce Theorem 1. Section
5 is devoted to the proof of Theorem 2. The method to prove the identifiability result is similar to
the one developed in [1] for the case of a fixed body. In the last section, Section 6, we tackle the
problem of stability by using the same approach as in [1].
2 Main results
The aim of this paper is to prove some results of identifiability for the system (2)-(11), but we first
need to consider its well-posedness for a given shape S0 of the rigid body:
Theorem 1. Assume u H 3/2 () satisfies (12), assume S0 is a smooth non empty domain and
assume (a0 , Q0 ) R3 SO3 (R) is such that S(a0 , Q0 ) and F(a0 , Q0 ) is a smooth non empty
domain. Then there exist a maximal time T > 0 and a unique solution
T = +;
197
Apendice B. On the identifiability of a rigid body moving in a stationary viscous fluid
(1)
Applying Theorem 1, we deduce that for any u H 3/2 () such that (12) holds, there exist T >0
(2)
respectively T > 0 and a unique solution a(1) , Q(1) , `(1) , (1) , u(1) , p(1) respectively
h h
(2) (2) (2) (2) (2) (2) (1) (2)
a ,Q ,` , ,u ,p of (2)-(11) in 0, T respectively in 0, T .
Then we have the following result:
Theorem 2. With the above notations, assume that u H 3/2 () satisfies (12) and that u is not
(1) (2)
the trace
of a
rigid velocity on . Assume also that S0 , S0 are convex. If there exists 0 < t0 <
(1) (2)
min T , T such that
u(1) (t0 ), p(1) (t0 ) n| = u(2) (t0 ), p(2) (t0 ) n|
(1) (2)
In particular, T = T and
h
(1)
S (1) (t) = S (2) (t) t 0, T .
We recall that v is a rigid displacement in if there exist two vectors 1 , 2 R3 such that
198
Apendice B. On the identifiability of a rigid body moving in a stationary viscous fluid
3 An auxiliary system
In this section, we consider and study an auxiliary system which is essential in the proof of Theorem
1.
Let us fix u H 3/2 () satisfying (12) and let us consider S0 a non empty smooth domain and
assume (a0 , Q0 ) R3 SO3 (R) is such that S(a0 , Q0 ) and F(a0 , Q0 ) is a non empty smooth
domain. Let us consider the subset A of admissible positions of the rigid body in :
n o
A := (a, Q) R3 SO3 (R) ; S(a, Q) , (13)
Proposition 3. Assume u H 3/2 () satisfying (12) and assume (a, Q) A. Then there exists a
unique solution (u, p, `, ) H 2 (F(a, Q)) H 1 (F(a, Q))/R R3 R3 of (14)-(19).
In order to prove the above proposition, we introduce for all (a, Q) A the following Stokes
systems: (i) (i)
div u , p =0 in F(a, Q)
div u(i) = 0 in F(a, Q) (i = 1, 2, 3)
(i) (i) (20)
u =e on S(a, Q)
(i)
u =0 on ,
(i) (i)
div U , P
=0 in F(a, Q)
div U (i) = 0 in F(a, Q) (i = 1, 2, 3) (21)
U = e (x a)
(i) (i)
on S(a, Q)
(i)
U =0 on ,
199
Apendice B. On the identifiability of a rigid body moving in a stationary viscous fluid
3
where e(i) i=1 is the canonical basis of R3 , and
div (( V , P )) = 0 in F(a, Q)
div (V ) = 0 in F(a, Q)
(22)
V=0 on S(a, Q)
V = u on .
it is well-known (see, for instance, [14, Theorem 6.1 p.231]) that the systems (20), (21), (22) admit
(i) (i) (i) (i)
unique solutions u , p , U , P , (V , P ) H 2 (F(a, Q)) H 1 (F(a, Q))/R.
To solve (14)-(19) we search (u, p) as
3
X
u := `i u(i) + i U (i) + V (23)
i=1
3
X
p := `i p(i) + i P (i) + P . (24)
i=1
It is easy to check that (u, p) H 2 (F(a, Q)) H 1 (F(a, Q))/R and satisfies
div((u, p)) = 0 in F(a, Q),
div(u) = 0 in F(a, Q),
u = ` + (x a) on S(a, Q),
u = u on .
Thus, (u, p) is solution of (14)-(19) if and only if (18)-(19) hold; i.e. if and only if (`, ) satisfies
3
X Z 3
X Z
(i) (i)
`i u ,p n d x + i U (i) , P (i) n d x
S(a,Q) S(a,Q)
i=1 i=1
Z (25)
+ (V , P ) n d x = 0
S(a,Q)
and
3
X Z 3
X Z
(i) (i)
`i (x a) u , p n d x + i (x a) U (i) , P (i) n d x
S(a,Q) S(a,Q)
i=1 i=1
Z (26)
+ (x a) (V , P ) n d x = 0.
S(a,Q)
200
Apendice B. On the identifiability of a rigid body moving in a stationary viscous fluid
We can rewrite the linear system (25)-(26) in (`, ) in a matricial way. In order to do this we remark
that from the boundary condition of (20),
Z ! Z
(i) (i)
u ,p n d x e(j) = u(i) , p(i) n u(j) d x
S(a,Q) S(a,Q)
Z
= 2 D u(i) : D u(j) d x (i, j = 1, 2, 3).
F(a,Q)
Similarly,
Z ! Z
(i) (i)
(x a) u , p n d x e(j) = u(i) , p(i) n U (j) d x
S(a,Q) S(a,Q)
Z
= 2 D u(i) : D U (j) d x (i, j = 1, 2, 3).
F(a,Q)
These relations and their counterparts for U (i) , P (i) and (V , P ) allow us to write (25)-(26) as
`
A =b
and b R6 is defined by
Z
bj = D (V ) : D u(j) d x, 1j3
F(a,Q)
Z
bj = D (V ) : D U (j3) d x, 4 j 6.
F(a,Q)
201
Apendice B. On the identifiability of a rigid body moving in a stationary viscous fluid
Here, h, i denotes the canonical scalar product in R6 . A short calculation shows that
Z X 2
` ` (i) (i) ` 6
A , = D `i u + i U dx 0 R .
F(a,Q)
`
Suppose that R6 satisfies
Z X 2
D `i u(i) + i U (i) d x = 0.
F(a,Q)
Then, from Korns inequality (see, for instance, [25, Theorem 2.4-2, p.51]) we deduce
3
X
`i u(i) + i U (i) = 0 in F(a, Q).
i=1
From the boundary conditions in (20), (21), it follows ` + (x a) = 0 for all x . Lemma 5
(see below), yields ` = = 0.
1 + 2 y = 0 (y O) 1 = 2 = 0.
Thanks to Lemma 4, (u, p, `, ) satisfies (14)-(19) if and only if (u, p) are defined by (23), (24)
and (`, ) is given by
`
= A1 b. (31)
This ensures the existence and uniqueness of a solution (u, p, `, ) satisfying (14)-(19) and this ends
the proof of Proposition 3.
4 Proof of Theorem 1
Using the auxiliary system (14)-(19) introduced in the previous section, we easily check that
202
Apendice B. On the identifiability of a rigid body moving in a stationary viscous fluid
is solution of system (2)(11) if and only if for all t (0, T ), (a(t), Q(t)) A,
a0 = `, Q0 = S()Q in (0, T ),
a(0) = a0 , Q(0) = Q0 .
Therefore, to prove Theorem 1, it suffices to prove that the solution u[a,Q] , p[a,Q] `[a,Q] , [a,Q] of
(14)(19) depends smoothly on a and Q. More precisely, the following proposition and the Cauchy
LipschitzPicard theorem allow to conclude the proof of Theorem 1.
T : A R6
(a, Q) 7 `[a,Q] , [a,Q]
is of class C 1 .
In order to prove Proposition 6, we use the following classical result introduced by Simon (see [29]):
Assume that W is a Banach space, that B and C are reflexive Banach spaces, and that W is a
nonempty open subset of W . We also consider g 1 : W B C, g 2 : W B and g 3 : W C such
that for all w W,
g 1 (w, ) L(B, C), g 1 (w, g 2 (w)) = g 3 (w).
Then we have the following result
Theorem 7 (Simon). Assume that w 7 g 1 (w, ) is C 1 at w0 into L(B, C), that g 3 is C 1 at w0 and
that there exists > 0 such that
Then g 2 is C 1 at w0 .
are of class C 1 .
203
Apendice B. On the identifiability of a rigid body moving in a stationary viscous fluid
and for any given matrix R SO3 (R), let us define the mapping:
R : U SO3 (R)
= (1 , 2 , 3 ) 7 exp(1 A1 ) exp(2 A2 ) exp(3 A3 )R
Using the local chart introduced above, the proof of Proposition 6 is reduced to prove that the mapping
is C 1 in (0, 0).
To prove this, we combine Theorem 7 with a change of variables.
More precisely,
let us construct
a mapping X : which transforms S(a0 , Q0 ) onto S (a0 ,Q0 ) (h, ) and F(a0 , Q0 ) onto
F (a0 ,Q0 ) (h, ) . We use this change of variables to transform systems (20), (21) and (22) in
systems written in fixed domains. To construct our change of variables, we start with the mapping
: R3 R3 defined by
(h, ; y) = Q0 ()Q1
0 (y a0 ) + (a0 + h)
= Id ()(y a0 ) + (a0 + h)
= exp(1 A1 ) exp(2 A2 ) exp(3 A3 )(y a0 ) + (a0 + h).
204
Apendice B. On the identifiability of a rigid body moving in a stationary viscous fluid
It is easy to check that (h, ; ) maps S(a0 , Q0 ) onto S (a0 ,Q0 ) (h, ) and, from the regularity of
(a0 ,Q0 ) , we deduce that (h, ) 7 (h, ; ) is a C - mapping from BR6 (0, r) into C k R3 , for all
k 0.
We fix two open subsets O1 , O2 of such that
S(a0 , Q0 ) O1 , O1 O2 , O2
Z 1 in O1 , Z 0 in \ O2 .
where Id is the identity matrix of M3 (R) and where we have denoted by | | the euclidean norm of
Rk for k = 3 or 6.
In particular for r small enough, for all (h, ) BR6 (0, r), X(h, ; ) is a C - diffeomorphism
from onto such that
X(h, ; S(a0 , Q0 )) = S (a0 ,Q0 ) (h, ) .
Furthermore, the mapping
BR6 (0, r) C k ()
(h, ) 7 X(h, ; )
X 7 X 1
BR6 (0, r) C k ()
(h, ) 7 Y (h, ; )
205
Apendice B. On the identifiability of a rigid body moving in a stationary viscous fluid
1. (i) = e(i) on ,
2. div (i) = 0 in ,
We set
because of the divergence equation in (20). More precisely we have the following result:
206
Apendice B. On the identifiability of a rigid body moving in a stationary viscous fluid
Then,
2u
em
(i)
2 vm
(i) X 2 vm
3 (i)
2 =(det Y ) 2 (Y ) + (det Y ) (Y ) (X)1 lj (Y ) lj
xj yj yj yl
l=1 (41)
h i
(i)
vm
+ (det Y ) (Y ) + Emj v (i) .
xj yj xj
p(i) q (i)
= (det Y ) q (i) (Y ) + (det Y ) (Y )
xm xm ym
3
X (42)
q (i)
+ (det Y ) (Y ) (X)1 lm (Y ) lm .
yl
l=1
Thereby, u(i) , p(i) satisfies (20) if and only if v (i) , q (i) satisfies
(i)
Lv (i) + Gq = (i) in F(a0 , Q0 )
div v (i) = 0 in F(a0 , Q0 )
(43)
v (i) = 0 on S(a0 , Q0 )
(i)
v =0 on
with
h i 3 2 (i)
2 vm
X 3
X (i)
vm
Lv (i) := + (X)1 lj lj
m
j=1
yj2 yj yl
l=1
(44)
h i
(i)
vm
+ (det X) (det Y ) (X) + (det X) Emj v (i) (X) ,
xj yj xj
207
Apendice B. On the identifiability of a rigid body moving in a stationary viscous fluid
and
h i
3
q (i) X q (i)
Gq (i) := (det X) (i)
(det Y ) (X)q + + (X)1 lm lm . (45)
m xm ym yl
l=1
Let us remark that the right-hand side of the first equation of (43) is the same as in (36) since in
\ O2 , X(h, ; ) = id (see (34)) and since, by definition, the support of (i) is included in \ O2
(see property 3.). In particular, this right-hand side is independent of h and .
where
H 1 (F(a0 , Q0 )) = {w H 10 (F(a0 , Q0 )) : div(w) = 0}
and r is small enough (see (32) and the construction of X).
We also set
g1 : W B C
(h, , v, q) 7 [L(h, )v] + [G(h, )q] ,
g2 : WB
(h, ) 7 v (i) (h, ), q (i) (h, ) ,
and
g3 : WC
(h, ) 7 (i) .
Thus thanks to the regularity of the mappings X and Y we have that (h, ) 7 g 1 (h, ; ) is C 1 at
(0, 0) into L(B, C). Moreover, since g 3 (h, ) does not depend on (h, ), we deduce that g 3 is C 1 at
(0, 0). Lastly,
g 1 (0, 0; (u, p)) = u + p, (u, p) B
then, thanks to the ellipticity regularity for Stokes systems (see, for instance, [5]) we have
208
Apendice B. On the identifiability of a rigid body moving in a stationary viscous fluid
is C 1 in (0, 0).
From the definition of u e (i) (see (35)), from the theorem of change of variables and (39)-(40), we
can rewrite (27) as follows
Z h i h i
Aij = D u e (i) + (i) (X) : D u e (j) + (j) (X) (det X) d y
F(a ,Q )
Z 0 0
= T (i) v (i) , (i) , X, Y : T (j) v (j) , (j) , X, Y (det X) d y,
F(a0 ,Q0 )
BR6 (0, r) R
(h, ) 7 Aij = Aij (a0 ,Q0 ) (h, )
are C 1 in (0, 0). By similar calculations we obtain that for all 1 i, j 6, the previous mappings are
C 1 in (0, 0). Likewise for all 1 j 6, the mappings
BR6 (0, r) R
(h, ) 7 bj = bj (a0 ,Q0 ) (h, )
is of class C 1 and thanks to Remark 2 we deduce that the mapping Te defined by (33) is C 1 in (0, 0).
Here, Gl3 (R) denotes the set of all real invertible matrices of order 3. This concludes the proof of
Proposition 6.
209
Apendice B. On the identifiability of a rigid body moving in a stationary viscous fluid
5 Proof of Theorem 2
First, we recall a key result. We prove it for sake of completeness
Proposition 9. Assume S (1) and S (2) are two convex smooth non empty open sets such that
satisfying
div u(i) , p(i) = 0 in \ S (i)
(i)
div u =0 in \ S (i) (i = 1, 2) (47)
u(i) = u
on .
If is a non empty open subset of and if
u(1) , p(1) n| = u(2) , p(2) n| (48)
then
u(1) u(2) in \ S (1) S (2) . (49)
Proof. We write
u := u(1) u(2)
p := p(1) p(2) .
Combining (47) and (48), we deduce that (u, p) satisfies
div((u, p)) = 0 in \ S (1) S (2)
div (u) = 0 in \ S (1) S (2)
u=0 on
(u, p)n = 0 on .
Applying the unique continuation property for the Stokes equations due to Fabre and Lebeau [12],
(see also [1]) we deduce u 0 in the connected component
of . Since is connected and S (1) and
S (2) are convex and satisfy (46), we have that \ S (1) S (2) is connected and thus
u(1) = u(2) in \ S (1) S (2) .
210
Apendice B. On the identifiability of a rigid body moving in a stationary viscous fluid
(1)
S (t 0)
(2)
S (t0)
(2)
S (t0) (2)
(1) (1)
S (t0)
S (t 0) S (t 0)
(2)
S (t0)
(1)
S (t0)
Figure 3: The intersection of the boundaries contains at least three noncollinear points
The first case can be split into the 3 following subcases (see Figure 2)
S (1) (t0 ) S (2) (t0 ) = or S (1) (t0 ) S (2) (t0 ) or S (2) (t0 ) S (1) (t0 ).
We will show that neither of these 4 cases are possible.
Case 1.1: S (1) (t0 ) S (2) (t0 ) = . Then, from (49), we deduce that in S (2) (t0 ) F (1) (t0 ), we have
(1)
div u (t0 ), p(1) (t0 ) = 0
(1) in S (2) (t0 )
div u (t0 ) = 0 in S (2) (t0 )
(1)
u (t0 ) = `(2) (t0 ) + (2) (t0 ) x a(2) (t0 ) on S (2) (t0 ).
211
Apendice B. On the identifiability of a rigid body moving in a stationary viscous fluid
In particular,
v = u(1) (t0 ) `(2) (t0 ) + (2) (t0 ) x a(2) (t0 )
and thus v = 0 in S (2) (t0 ). Consequently, since v satisfies the Stokes system in F (1) (t0 ), we can
apply again the result of Fabre and Lebeau [12] and we obtain
v 0 in F (1) (t0 ).
Case 1.2: S (1) (t0 ) S (2) (t0 ) (the Case 1.3: S (2) (t0 ) S (1) (t0 ) is identical).
Then, we have in S (2) (t0 ) \ S (1) (t0 ) F 1 (t0 ),
(
div u(1) (t0 ), p(1) (t0 ) = 0 in S (2) (t0 ) \ S (1) (t0 )
(1)
div u (t0 ) = 0 in S (2) (t0 ) \ S (1) (t0 )
212
Apendice B. On the identifiability of a rigid body moving in a stationary viscous fluid
Let us write v = u(1) (t0 ) `(2) (t0 ) + (2) (t0 ) x a(2) (t0 ) , then
div v, p(1) (t0 ) = 0 in F (1) (t0 ) (50)
div (v) = 0 in F (1) (t0 ) (51)
v = u `(2) (t0 ) + (2) (t0 ) x a(2) (t0 ) on (52)
v=a e + eb x a(1) (t0 ) on S (1) (t0 ) (53)
Z
v, p(1) (t0 ) n d x = 0, (54)
S (1) (t0 )
Z
x a(1) (t0 ) v, p(1) (t0 ) n d x = 0, (55)
S (1) (t0 )
where
e = `(1) (t0 ) `(2) (t0 ) + (2) (t0 ) a(1) (t0 ) a(2) (t0 )
a (56)
and
e
b = (1) (t0 ) (2) (t0 ) . (57)
213
Apendice B. On the identifiability of a rigid body moving in a stationary viscous fluid
Consequently, D(v) 0 in S (2) (t0 )\S (1) (t0 ), this implies that there exist two vectors 1 , 2 R3
such that
v = 1 + 1 y in S (2) (t0 ) \ S (1) (t0 ). (59)
In particular, from (58) and Lemma 5, we deduce
1 = 2 = 0. (60)
Therefore, we have v 0 in S (2) (t0 ) \ S (1) (t0 ) and thus using again [12],
v 0 in F (1) (t0 ).
The above equation and (52) contradict that u is not the trace of a rigid velocity on .
Case 2 S (1) (t0 ) S (2) (t0 ) {z 0 , z 1 , z 2 } where z 0 , z 1 , z 2 are three noncolinear points (see Figure
3).
From Proposition 9 we have
and
`(1) (t0 )+ (1) (t0 ) x a(1) (t0 ) `(2) (t0 )+ (2) (t0 ) x a(2) (t0 ) on S (1) (t0 )S (2) (t0 ).
or equivalently
e+e
a b x a(1) (t0 ) = 0 on S (1) (t0 ) S (2) (t0 )
e and e
with a b defined by (56)-(57). But, if a e, e
b 6= (0, 0), the set
e+e
{y : a b y = 0}
is included in a straight line and since S (1) (t0 ) S (2) (t0 ) is not included in a straight line, we
deduce
`(1) (t0 ) `(2) (t0 ) + (2) (t0 ) a(1) (t0 ) a(2) (t0 ) = (1) (t0 ) (2) (t0 ) = 0. (61)
214
Apendice B. On the identifiability of a rigid body moving in a stationary viscous fluid
Arguing as in Case 1.1 we obtain a contradiction. Gathering Cases 1.1, 1.2, 1.3 and 2, we
deduce that
S (1) (t0 ) = S (2) (t0 ).
The above relation and (1) imply
a(1) (t0 ) = a(2) (t0 )
and
(1) (2)
Q(1) (t0 )S0 = Q(2) (t0 )S0 . (62)
We set h i1
R = Q(2) (t0 ) Q(1) (t0 ) (63)
and
Q(t) = Q(2) (t)R, a(t) = a(2) (t).
It is not difficult to see that
(a(t0 ), Q(t0 )) = a(1) (t0 ), Q(1) (t0 ) . (64)
and
F (2) (t) = F (1) (a(t), Q(t)) .
In particular, since
div u(2) , p(2) = 0 in F (1) (a(t), Q(t)),
div u(2) = 0 in F (1) (a(t), Q(t)),
u(2) = `(2) + (2) (x a) on S (1) (a(t), Q(t)),
u(2) = u on ,
Z
u(2) , p(2) n d x = 0,
S (1) (a(t),Q(t))
Z
(x a) u(2) , p(2) n d x = 0,
S (1) (a(t),Q(t))
215
Apendice B. On the identifiability of a rigid body moving in a stationary viscous fluid
we deduce that
(1) (1)
`(2) = `[a,Q] and (2) = [a,Q] .
Consequently, (a, Q) is solution of
a0 = `(1)
[a,Q]
Q0 = S (1)
[a,Q] Q
: 7 (u (t0 ), p (t0 )) n| ,
216
Apendice B. On the identifiability of a rigid body moving in a stationary viscous fluid
With these conditions and Theorem 2, we can obtain as in [1] the existence of a positive constant c
and of an integer m 1 such that for all (0, 1 ),
k 0 kH 1/2 () c| |m .
In what follows, we consider another alternative to the above one: we fix the shape of the rigid
body S0 and we use the difference
u(1) (t0 ), p(1) (t0 ) n u(2) (t0 ), p(2) (t0 ) n 1/2
H ()
is analytic for all k 0. Then, we can transform the solutions (u(i) , p(i) ) of (20) by using this change
of variables and consider (v (i) , q (i) ) defined by (37)(38). Then instead of applying Theorem 7, we use
the Implicit Function Theorem for analytic functions (see, for instance, [3]) and we deduce that
g 2 : BR6 (0, r) H 2 (F(a0 , Q0 )) H 1 (F(a0 , Q0 )) H 1 (F(a0 , Q0 ))/R
(65)
(h, ) 7 v (i) , q (i)
is analytic. Combining this with Proposition 10 and with the analyticity of the mapping m defined in
(65) we deduce that the mappings
(a0 , Q0 ) 7 (`(t0 ), (t0 )) R6 , (a0 , Q0 ) 7 u(i) , p(i) n| (t0 ) H 1/2 ()
217
Apendice B. On the identifiability of a rigid body moving in a stationary viscous fluid
are also analytic. Using that the solution (u, p) of (2)(11) can be decomposed as in (23) and (24),
we deduce that
: (a0 , Q0 ) A 7 (u, p) n| (t0 ) H 1/2 ()
is analytic. In the above definition of , (u, p) is the solution of (2)(11) associated to the initial
conditions (a0 , Q0 ). Then, we can proceed as in the beginning of this section: let us fix h R3 . Then
for small enough, 7 (a0 + h, Q0 ) is well-defined, analytic and non constant by using Theorem
2. Consequently, there exist a positive constant c and an integer m 1 such that for all (0, 1 ),
(1) (2)
Similar calculations allow us to estimate the difference between the orientations Q0 , Q0 .
References
[1] C. Alvarez, C. Conca, L. Friz, O. Kavian, and J. H. Ortega. Identification of immersed obstacles
via boundary measurements. Inverse Problems, 21(5):15311552, 2005.
[2] C. Alvarez, C. Conca, R. Lecaros, and J. H. Ortega. On the identification of a rigid body immersed
in a fluid: A numerical approach. Engineering Analysis with Boundary Elements, 32:919925,
2008.
[3] M. S. Berger. Nonlinearity and functional analysis. Academic Press [Harcourt Brace Jovanovich
Publishers], New York, 1977. Lectures on nonlinear problems in mathematical analysis, Pure and
Applied Mathematics.
[4] M. Boulakia, E. Schwindt, and T. Takahashi. Existence of strong solutions for the motion of an
elastic structure in an incompressible viscous fluid. Interfaces and Free Boundaries. To appear.
[5] L. Cattabriga. Su un problema al contorno relativo al sistema di equazioni di Stokes. Rend. Sem.
Mat. Univ. Padova, 31:308340, 1961.
[7] C. Conca, P. Cumsille, J. Ortega, and L. Rosier. On the detection of a moving obstacle in an
ideal fluid by a boundary measurement. Inverse Problems, 24(4):045001, 18, 2008.
[8] C. Conca, M. Malik, and A. Munnier. Detection of a moving rigid solid in a perfect fluid. Inverse
Problems, 26(9):095010, 18, 2010.
[9] C. Conca, J. San Martn H., and M. Tucsnak. Existence of solutions for the equations modelling
the motion of a rigid body in a viscous fluid. Comm. Partial Differential Equations, 25(5-6):1019
1042, 2000.
218
Apendice B. On the identifiability of a rigid body moving in a stationary viscous fluid
[10] B. Desjardins and M. J. Esteban. Existence of weak solutions for the motion of rigid bodies in a
viscous fluid. Arch. Ration. Mech. Anal., 146(1):5971, 1999.
[11] A. Doubova, E. Fern andez-Cara, and J. H. Ortega. On the identification of a single body immersed
in a Navier-Stokes fluid. European J. Appl. Math., 18(1):5780, 2007.
[12] C. Fabre and G. Lebeau. Prolongement unique des solutions de lequation de Stokes. Comm.
Partial Differential Equations, 21(3-4):573596, 1996.
[13] E. Feireisl. On the motion of rigid bodies in a viscous incompressible fluid. J. Evol. Equns.,
3(3):419441, 2003. Dedicated to Philippe Benilan.
[14] G. P. Galdi. An introduction to the mathematical theory of the Navier-Stokes equations. Vol. I,
volume 38 of Springer Tracts in Natural Philosophy. Springer-Verlag, New York, 1994. Linearized
steady problems.
[15] H. Goldstein. Classical mechanics. Addison-Wesley Press, Inc., Cambridge, Mass., 1951.
[16] M. D. Gunzburger, H.-C. Lee, and G. A. Seregin. Global existence of weak solutions for viscous
incompressible flows around a moving rigid body in three dimensions. J. Math. Fluid Mech.,
2(3):219266, 2000.
[17] H. Heck, G. Uhlmann, and J.-N. Wang. Reconstruction of obstacles immersed in an incompressible
fluid. Inverse Probl. Imaging, 1(1):6376, 2007.
[19] T.I. Hesla. Collisions of smooth bodies in viscous fluids : A mathematical investigation. PhD
thesis, University of Minnesota, revised version, October 2005.
[20] M. Hillairet. Lack of collision between solid bodies in a 2D incompressible viscous flow. Comm.
Partial Differential Equations, 32(7-9):13451371, 2007.
[21] M. Hillairet and T. Takahashi. Collisions in three-dimensional fluid structure interaction problems.
SIAM J. Math. Anal., 40(6):24512477, 2009.
[22] M. Hillairet and T. Takahashi. Blow up and grazing collision in viscous fluid solid interaction
systems. Ann. Inst. H. Poincare Anal. Non Lineaire, 27(1):291313, 2010.
[23] K.-H. Hoffmann and V. Starovoitov. On a motion of a solid body in a viscous fluid. Two-
dimensional case. Adv. Math. Sci. Appl., 9(2):633648, 1999.
[24] J. Houot and A. Munnier. On the motion and collisions of rigid bodies in an ideal fluid. Asymptot.
Anal., 56(3-4):125158, 2008.
219
Apendice B. On the identifiability of a rigid body moving in a stationary viscous fluid
[25] P.-A. Raviart and J.-M. Thomas. Introduction ` a lanalyse numerique des equations aux derivees
partielles. Collection Mathematiques Appliquees pour la Matrise. [Collection of Applied Mathe-
matics for the Masters Degree]. Masson, Paris, 1983.
[26] J. San Martn, V. Starovoitov, and M. Tucsnak. Global weak solutions for the two-dimensional
motion of several rigid bodies in an incompressible viscous fluid. Arch. Ration. Mech. Anal.,
161(2):113147, 2002.
[27] D. Serre. Chute libre dun solide dans un fluide visqueux incompressible. Existence. Japan J.
Appl. Math., 4(1):99110, 1987.
[28] A. L. Silvestre. On the slow motion of a self-propelled rigid body in a viscous incompressible
fluid. J. Math. Anal. Appl., 274(1):203227, 2002.
[29] J. Simon. Domain variation for drag in Stokes flow. In Control theory of distributed parameter
systems and applications (Shanghai, 1990), volume 159 of Lecture Notes in Control and Inform.
Sci., pages 2842. Springer, Berlin, 1991.
[30] J. Sylvester and G. Uhlmann. A global uniqueness theorem for an inverse boundary value problem.
Ann. Math., 125(1):153169, 1987.
[31] T. Takahashi and M. Tucsnak. Global strong solutions for the two-dimensional motion of an
infinite cylinder in a viscous fluid. J. Math. Fluid Mech., 6(1):5377, 2004.
220