October  2016, 21(8): 2379-2407. doi: 10.3934/dcdsb.2016052

Stability estimates for Navier-Stokes equations and application to inverse problems

1. 

Laboratoire LMA, UMR CNRS 5142, Université de Pau et des Pays de l’Adour, 64013 Pau Cedex

2. 

Institut de Mathématiques de Toulouse, UMR5219, Université de Toulouse, CNRS, UPS IMT, F-31062 Toulouse Cedex 9, France, France

Received  November 2015 Revised  June 2016 Published  September 2016

In this work, we present some new Carleman inequalities for Stokes and Oseen equations with non-homogeneous boundary conditions. These estimates lead to log type stability inequalities for the problem of recovering the solution of the Stokes and Navier-Stokes equations from both boundary and distributed observations. These inequalities fit the well-known unique continuation result of Fabre and Lebeau [18]: the distributed observation only depends on interior measurement of the velocity, and the boundary observation only depends on the trace of the velocity and of the Cauchy stress tensor measurements. Finally, we present two applications for such inequalities. First, we apply these estimates to obtain stability inequalities for the inverse problem of recovering Navier or Robin boundary coefficients from boundary measurements. Next, we use these estimates to deduce the rate of convergence of two reconstruction methods of the Stokes solution from the measurement of Cauchy data: a quasi-reversibility method and a penalized Kohn-Vogelius method.
Citation: Mehdi Badra, Fabien Caubet, Jérémi Dardé. Stability estimates for Navier-Stokes equations and application to inverse problems. Discrete & Continuous Dynamical Systems - B, 2016, 21 (8) : 2379-2407. doi: 10.3934/dcdsb.2016052
References:
[1]

R. A. Adams and J. J. F. Fournier, Sobolev Spaces, volume 140 of Pure and Applied Mathematics (Amsterdam),, Elsevier/Academic Press, (2003).

[2]

G. Alessandrini, L. Del Piero and L. Rondi, Stable determination of corrosion by a single electrostatic boundary measurement,, Inverse Problems, 19 (2003), 973. doi: 10.1088/0266-5611/19/4/312.

[3]

G. Alessandrini, L. Rondi, E. Rosset and S. Vessella, The stability for the Cauchy problem for elliptic equations,, Inverse Problems, 25 (2009). doi: 10.1088/0266-5611/25/12/123004.

[4]

G. Alessandrini and E. Sincich, Detecting nonlinear corrosion by electrostatic measurements,, Appl. Anal., 85 (2006), 107. doi: 10.1080/00036810500277702.

[5]

L. Baffico, C. Grandmont and B. Maury, Multiscale modeling of the respiratory tract,, Math. Models Methods Appl. Sci., 20 (2010), 59. doi: 10.1142/S0218202510004155.

[6]

A. Ballerini, Stable determination of an immersed body in a stationary Stokes fluid,, Inverse Problems, 26 (2010). doi: 10.1088/0266-5611/26/12/125015.

[7]

M. Bellassoued, J. Cheng and M. Choulli, Stability estimate for an inverse boundary coefficient problem in thermal imaging,, J. Math. Anal. Appl., 343 (2008), 328. doi: 10.1016/j.jmaa.2008.01.066.

[8]

F. Ben Belgacem, Why is the cauchy problem severely ill-posed?,, Inverse Problems, 23 (2007), 823. doi: 10.1088/0266-5611/23/2/020.

[9]

M. Boulakia, A.-C. Egloffe and C. Grandmont, Stability estimates for a Robin coefficient in the two-dimensional Stokes system,, Math. Control Relat. Fields, 3 (2013), 21. doi: 10.3934/mcrf.2013.3.21.

[10]

M. Boulakia, A.-C. Egloffe and C. Grandmont, Stability estimates for the unique continuation property of the Stokes system and for an inverse boundary coefficient problem,, Inverse Problems, 29 (2013). doi: 10.1088/0266-5611/29/11/115001.

[11]

L. Bourgeois and J. Dardé, A duality-based method of quasi-reversibility to solve the cauchy problem in the presence of noisy data,, Inverse Problems, 26 (2010). doi: 10.1088/0266-5611/26/9/095016.

[12]

H. Cao, M. V. Klibanov and S. V. Pereverzev, A carleman estimate and the balancing principle in the quasi-reversibility method for solving the cauchy problem for the laplace equation,, Inverse Problems, 25 (2009). doi: 10.1088/0266-5611/25/3/035005.

[13]

S. Chaabane, I. Fellah, M. Jaoua and J. Leblond, Logarithmic stability estimates for a Robin coefficient in two-dimensional Laplace inverse problems,, Inverse Problems, 20 (2004), 47. doi: 10.1088/0266-5611/20/1/003.

[14]

S. Chaabane and M. Jaoua, Identification of Robin coefficients by the means of boundary measurements,, Inverse Problems, 15 (1999), 1425. doi: 10.1088/0266-5611/15/6/303.

[15]

J. Cheng, M. Choulli and J. Lin, Stable determination of a boundary coefficient in an elliptic equation,, Math. Models Methods Appl. Sci., 18 (2008), 107. doi: 10.1142/S0218202508002620.

[16]

J. Dardé, Iterated quasi-reversibility method applied to elliptic and parabolic data completion problems,, Inverse Probl. Imaging, 10 (2016), 379. doi: 10.3934/ipi.2016005.

[17]

I. Ekeland and R. Temam, Convex Analysis and Variational Problems,, Translated from the French. Studies in Mathematics and its Applications, (1976).

[18]

C. Fabre and G. Lebeau, Prolongement unique des solutions de l'equation de Stokes,, Comm. Partial Differential Equations, 21 (1996), 573. doi: 10.1080/03605309608821198.

[19]

A. V. Fursikov and O. Y. Imanuvilov, Controllability of Evolution Equations, volume 34 of Lecture Notes Series,, Seoul National University Research Institute of Mathematics Global Analysis Research Center, (1996).

[20]

P. Grisvard, Elliptic Problems in Nonsmooth Domains, volume 24 of Monographs and Studies in Mathematics,, Pitman (Advanced Publishing Program), (1985).

[21]

O. Y. Imanuvilov and J.-P. Puel, Global Carleman estimates for weak solutions of elliptic nonhomogeneous Dirichlet problems,, Int. Math. Res. Not., 16 (2003), 883. doi: 10.1155/S107379280321117X.

[22]

M. V. Klibanov, Carleman estimates for the regularization of ill-posed Cauchy problems,, Appl. Numer. Math., 94 (2015), 46. doi: 10.1016/j.apnum.2015.02.003.

[23]

M. V. Klibanov and A. Timonov, Carleman Estimates for Coefficient Inverse Problems and Numerical Applications,, Inverse and Ill-posed Problems Series. VSP, (2004). doi: 10.1515/9783110915549.

[24]

R. Lattès and J.-L. Lions, The Method of Quasi-reversibility. Applications to Partial Differential Equations,, Modern Analytic and Computational Methods in Science and Mathematics. American Elsevier Publishing Co., (1969).

[25]

J. Le Rousseau and G. Lebeau, On Carleman estimates for elliptic and parabolic operators. Applications to unique continuation and control of parabolic equations,, ESAIM Control Optim. Calc. Var., 18 (2012), 712. doi: 10.1051/cocv/2011168.

[26]

C.-L. Lin, G. Uhlmann and J.-N. Wang, Optimal three-ball inequalities and quantitative uniqueness for the Stokes system,, Discrete Contin. Dyn. Syst., 28 (2010), 1273. doi: 10.3934/dcds.2010.28.1273.

[27]

A. Quarteroni and A. Veneziani, Analysis of a geometrical multiscale model based on the coupling of ODEs and PDEs for blood flow simulations,, Multiscale Model. Simul., 1 (2003), 173. doi: 10.1137/S1540345902408482.

[28]

G. Savaré, Regularity and perturbation results for mixed second order elliptic problems,, Comm. Partial Differential Equations, 22 (1997), 869. doi: 10.1080/03605309708821287.

[29]

E. Sincich, Lipschitz stability for the inverse Robin problem,, Inverse Problems, 23 (2007), 1311. doi: 10.1088/0266-5611/23/3/027.

[30]

M. Tucsnak and G. Weiss, Observation and Control for Operator Semigroups,, Birkhäuser Advanced Texts: Basler Lehrbücher. [Birkhäuser Advanced Texts: Basel Textbooks]. Birkhäuser Verlag, (2009). doi: 10.1007/978-3-7643-8994-9.

[31]

I. E. Vignon-Clementel, C. A. Figueroa, K. E. Jansen and C. A. Taylor, Outflow boundary conditions for three-dimensional finite element modeling of blood flow and pressure in arteries,, Comput. Methods Appl. Mech. Engrg., 195 (2006), 3776. doi: 10.1016/j.cma.2005.04.014.

show all references

References:
[1]

R. A. Adams and J. J. F. Fournier, Sobolev Spaces, volume 140 of Pure and Applied Mathematics (Amsterdam),, Elsevier/Academic Press, (2003).

[2]

G. Alessandrini, L. Del Piero and L. Rondi, Stable determination of corrosion by a single electrostatic boundary measurement,, Inverse Problems, 19 (2003), 973. doi: 10.1088/0266-5611/19/4/312.

[3]

G. Alessandrini, L. Rondi, E. Rosset and S. Vessella, The stability for the Cauchy problem for elliptic equations,, Inverse Problems, 25 (2009). doi: 10.1088/0266-5611/25/12/123004.

[4]

G. Alessandrini and E. Sincich, Detecting nonlinear corrosion by electrostatic measurements,, Appl. Anal., 85 (2006), 107. doi: 10.1080/00036810500277702.

[5]

L. Baffico, C. Grandmont and B. Maury, Multiscale modeling of the respiratory tract,, Math. Models Methods Appl. Sci., 20 (2010), 59. doi: 10.1142/S0218202510004155.

[6]

A. Ballerini, Stable determination of an immersed body in a stationary Stokes fluid,, Inverse Problems, 26 (2010). doi: 10.1088/0266-5611/26/12/125015.

[7]

M. Bellassoued, J. Cheng and M. Choulli, Stability estimate for an inverse boundary coefficient problem in thermal imaging,, J. Math. Anal. Appl., 343 (2008), 328. doi: 10.1016/j.jmaa.2008.01.066.

[8]

F. Ben Belgacem, Why is the cauchy problem severely ill-posed?,, Inverse Problems, 23 (2007), 823. doi: 10.1088/0266-5611/23/2/020.

[9]

M. Boulakia, A.-C. Egloffe and C. Grandmont, Stability estimates for a Robin coefficient in the two-dimensional Stokes system,, Math. Control Relat. Fields, 3 (2013), 21. doi: 10.3934/mcrf.2013.3.21.

[10]

M. Boulakia, A.-C. Egloffe and C. Grandmont, Stability estimates for the unique continuation property of the Stokes system and for an inverse boundary coefficient problem,, Inverse Problems, 29 (2013). doi: 10.1088/0266-5611/29/11/115001.

[11]

L. Bourgeois and J. Dardé, A duality-based method of quasi-reversibility to solve the cauchy problem in the presence of noisy data,, Inverse Problems, 26 (2010). doi: 10.1088/0266-5611/26/9/095016.

[12]

H. Cao, M. V. Klibanov and S. V. Pereverzev, A carleman estimate and the balancing principle in the quasi-reversibility method for solving the cauchy problem for the laplace equation,, Inverse Problems, 25 (2009). doi: 10.1088/0266-5611/25/3/035005.

[13]

S. Chaabane, I. Fellah, M. Jaoua and J. Leblond, Logarithmic stability estimates for a Robin coefficient in two-dimensional Laplace inverse problems,, Inverse Problems, 20 (2004), 47. doi: 10.1088/0266-5611/20/1/003.

[14]

S. Chaabane and M. Jaoua, Identification of Robin coefficients by the means of boundary measurements,, Inverse Problems, 15 (1999), 1425. doi: 10.1088/0266-5611/15/6/303.

[15]

J. Cheng, M. Choulli and J. Lin, Stable determination of a boundary coefficient in an elliptic equation,, Math. Models Methods Appl. Sci., 18 (2008), 107. doi: 10.1142/S0218202508002620.

[16]

J. Dardé, Iterated quasi-reversibility method applied to elliptic and parabolic data completion problems,, Inverse Probl. Imaging, 10 (2016), 379. doi: 10.3934/ipi.2016005.

[17]

I. Ekeland and R. Temam, Convex Analysis and Variational Problems,, Translated from the French. Studies in Mathematics and its Applications, (1976).

[18]

C. Fabre and G. Lebeau, Prolongement unique des solutions de l'equation de Stokes,, Comm. Partial Differential Equations, 21 (1996), 573. doi: 10.1080/03605309608821198.

[19]

A. V. Fursikov and O. Y. Imanuvilov, Controllability of Evolution Equations, volume 34 of Lecture Notes Series,, Seoul National University Research Institute of Mathematics Global Analysis Research Center, (1996).

[20]

P. Grisvard, Elliptic Problems in Nonsmooth Domains, volume 24 of Monographs and Studies in Mathematics,, Pitman (Advanced Publishing Program), (1985).

[21]

O. Y. Imanuvilov and J.-P. Puel, Global Carleman estimates for weak solutions of elliptic nonhomogeneous Dirichlet problems,, Int. Math. Res. Not., 16 (2003), 883. doi: 10.1155/S107379280321117X.

[22]

M. V. Klibanov, Carleman estimates for the regularization of ill-posed Cauchy problems,, Appl. Numer. Math., 94 (2015), 46. doi: 10.1016/j.apnum.2015.02.003.

[23]

M. V. Klibanov and A. Timonov, Carleman Estimates for Coefficient Inverse Problems and Numerical Applications,, Inverse and Ill-posed Problems Series. VSP, (2004). doi: 10.1515/9783110915549.

[24]

R. Lattès and J.-L. Lions, The Method of Quasi-reversibility. Applications to Partial Differential Equations,, Modern Analytic and Computational Methods in Science and Mathematics. American Elsevier Publishing Co., (1969).

[25]

J. Le Rousseau and G. Lebeau, On Carleman estimates for elliptic and parabolic operators. Applications to unique continuation and control of parabolic equations,, ESAIM Control Optim. Calc. Var., 18 (2012), 712. doi: 10.1051/cocv/2011168.

[26]

C.-L. Lin, G. Uhlmann and J.-N. Wang, Optimal three-ball inequalities and quantitative uniqueness for the Stokes system,, Discrete Contin. Dyn. Syst., 28 (2010), 1273. doi: 10.3934/dcds.2010.28.1273.

[27]

A. Quarteroni and A. Veneziani, Analysis of a geometrical multiscale model based on the coupling of ODEs and PDEs for blood flow simulations,, Multiscale Model. Simul., 1 (2003), 173. doi: 10.1137/S1540345902408482.

[28]

G. Savaré, Regularity and perturbation results for mixed second order elliptic problems,, Comm. Partial Differential Equations, 22 (1997), 869. doi: 10.1080/03605309708821287.

[29]

E. Sincich, Lipschitz stability for the inverse Robin problem,, Inverse Problems, 23 (2007), 1311. doi: 10.1088/0266-5611/23/3/027.

[30]

M. Tucsnak and G. Weiss, Observation and Control for Operator Semigroups,, Birkhäuser Advanced Texts: Basler Lehrbücher. [Birkhäuser Advanced Texts: Basel Textbooks]. Birkhäuser Verlag, (2009). doi: 10.1007/978-3-7643-8994-9.

[31]

I. E. Vignon-Clementel, C. A. Figueroa, K. E. Jansen and C. A. Taylor, Outflow boundary conditions for three-dimensional finite element modeling of blood flow and pressure in arteries,, Comput. Methods Appl. Mech. Engrg., 195 (2006), 3776. doi: 10.1016/j.cma.2005.04.014.

[1]

Ruihong Ji, Yongfu Wang. Mass concentration phenomenon to the 2D Cauchy problem of the compressible Navier-Stokes equations. Discrete & Continuous Dynamical Systems - A, 2019, 39 (2) : 1117-1133. doi: 10.3934/dcds.2019047

[2]

Mehdi Badra. Global Carleman inequalities for Stokes and penalized Stokes equations. Mathematical Control & Related Fields, 2011, 1 (2) : 149-175. doi: 10.3934/mcrf.2011.1.149

[3]

Stanislaw Migórski, Anna Ochal. Navier-Stokes problems modeled by evolution hemivariational inequalities. Conference Publications, 2007, 2007 (Special) : 731-740. doi: 10.3934/proc.2007.2007.731

[4]

Shumin Li, Masahiro Yamamoto, Bernadette Miara. A Carleman estimate for the linear shallow shell equation and an inverse source problem. Discrete & Continuous Dynamical Systems - A, 2009, 23 (1&2) : 367-380. doi: 10.3934/dcds.2009.23.367

[5]

Lucie Baudouin, Emmanuelle Crépeau, Julie Valein. Global Carleman estimate on a network for the wave equation and application to an inverse problem. Mathematical Control & Related Fields, 2011, 1 (3) : 307-330. doi: 10.3934/mcrf.2011.1.307

[6]

Yoshikazu Giga. A remark on a Liouville problem with boundary for the Stokes and the Navier-Stokes equations. Discrete & Continuous Dynamical Systems - S, 2013, 6 (5) : 1277-1289. doi: 10.3934/dcdss.2013.6.1277

[7]

Jing Wang, Lining Tong. Stability of boundary layers for the inflow compressible Navier-Stokes equations. Discrete & Continuous Dynamical Systems - B, 2012, 17 (7) : 2595-2613. doi: 10.3934/dcdsb.2012.17.2595

[8]

Francesca Crispo, Paolo Maremonti. A remark on the partial regularity of a suitable weak solution to the Navier-Stokes Cauchy problem. Discrete & Continuous Dynamical Systems - A, 2017, 37 (3) : 1283-1294. doi: 10.3934/dcds.2017053

[9]

Aymen Jbalia. On a logarithmic stability estimate for an inverse heat conduction problem. Mathematical Control & Related Fields, 2019, 9 (2) : 277-287. doi: 10.3934/mcrf.2019014

[10]

Misha Perepelitsa. An ill-posed problem for the Navier-Stokes equations for compressible flows. Discrete & Continuous Dynamical Systems - A, 2010, 26 (2) : 609-623. doi: 10.3934/dcds.2010.26.609

[11]

Hantaek Bae. Solvability of the free boundary value problem of the Navier-Stokes equations. Discrete & Continuous Dynamical Systems - A, 2011, 29 (3) : 769-801. doi: 10.3934/dcds.2011.29.769

[12]

Pavel I. Plotnikov, Jan Sokolowski. Compressible Navier-Stokes equations. Conference Publications, 2009, 2009 (Special) : 602-611. doi: 10.3934/proc.2009.2009.602

[13]

Jan W. Cholewa, Tomasz Dlotko. Fractional Navier-Stokes equations. Discrete & Continuous Dynamical Systems - B, 2018, 23 (8) : 2967-2988. doi: 10.3934/dcdsb.2017149

[14]

Jie Liao, Xiao-Ping Wang. Stability of an efficient Navier-Stokes solver with Navier boundary condition. Discrete & Continuous Dynamical Systems - B, 2012, 17 (1) : 153-171. doi: 10.3934/dcdsb.2012.17.153

[15]

Hermenegildo Borges de Oliveira. Anisotropically diffused and damped Navier-Stokes equations. Conference Publications, 2015, 2015 (special) : 349-358. doi: 10.3934/proc.2015.0349

[16]

Hyukjin Kwean. Kwak transformation and Navier-Stokes equations. Communications on Pure & Applied Analysis, 2004, 3 (3) : 433-446. doi: 10.3934/cpaa.2004.3.433

[17]

Vittorino Pata. On the regularity of solutions to the Navier-Stokes equations. Communications on Pure & Applied Analysis, 2012, 11 (2) : 747-761. doi: 10.3934/cpaa.2012.11.747

[18]

C. Foias, M. S Jolly, I. Kukavica, E. S. Titi. The Lorenz equation as a metaphor for the Navier-Stokes equations. Discrete & Continuous Dynamical Systems - A, 2001, 7 (2) : 403-429. doi: 10.3934/dcds.2001.7.403

[19]

Igor Kukavica. On regularity for the Navier-Stokes equations in Morrey spaces. Discrete & Continuous Dynamical Systems - A, 2010, 26 (4) : 1319-1328. doi: 10.3934/dcds.2010.26.1319

[20]

Igor Kukavica. On partial regularity for the Navier-Stokes equations. Discrete & Continuous Dynamical Systems - A, 2008, 21 (3) : 717-728. doi: 10.3934/dcds.2008.21.717

2017 Impact Factor: 0.972

Metrics

  • PDF downloads (7)
  • HTML views (0)
  • Cited by (0)

Other articles
by authors

[Back to Top]