The Navier–Stokes–Voight model for image inpainting

In this paper we investigate the use of the 2D Navier-Stokes-Voight (NSV) model for use in algorithms and explore its limits in the context of image inpainting. We begin by giving a brief review of the work of Bertalmio et. al. in 2001 on exploiting an analogy between the image intensity function for the image inpainting problem and the stream function in 2D incompressible fluid. An approximate solution to the inpainting problem was then obtained by numerically approximating the steady state solution of the 2D Navier-Stokes vorticity transport equation, and simultaneously solving the Poisson problem between the vorticity and stream function, in the region to be inpainted. This elegant approach allows one to produce an approximate solution to the image inpainting problem by using techniques from computational fluid dynamics (CFD). Recently, the three-dimensional (3D) Navier-Stokes-Voight (NSV) model of viscoelastic fluid, was suggested by Cao, et. al. as an inviscid regularization to the 3D Navier-Stokes equations. We give some background on the NSV mathematical model, describe why it is a good candidate sub-grid-scale turbulence model, and propose this model as an alternative for image inpainting. We describe an implementation of inpainting use the NSV model, and present numerical results comparing the resulting images when using the NSE and NSV for inpainting. Our results show that the NSV model allows for a larger time step to converge to the steady state solution, yielding a more efficient numerical process when automating the inpainting process. We compare quality of the resulting images using subjective measure (human evaluation) and objected measure (by calculating the peak signal-to-noise ratio (PSNR), also known as peak signal-to-reconstructed measure). We also present some new theoretical results based on energy methods comparing the sufficient conditions for stability of the discretization scheme for the two model equations. These theoretical and numerical studies shed some light on what can be expected from this category of approach when automating the inpainting problem. CONTENTS

[1]  G. Micula,et al.  Existence and Uniqueness Theorems , 1992 .

[2]  E. Lunasin,et al.  A study of the Navier-Stokes-α model for two-dimensional turbulence , 2007 .

[3]  Wenyuan Xu,et al.  Behavioral analysis of anisotropic diffusion in image processing , 1996, IEEE Trans. Image Process..

[4]  Folkmar Bornemann,et al.  Fast Image Inpainting Based on Coherence Transport , 2007, Journal of Mathematical Imaging and Vision.

[5]  R. Takei,et al.  Image Inpainting with the Navier-Stokes Equations , 2005 .

[6]  Edriss S. Titi,et al.  Viscosity versus vorticity stretching: Global well-posedness for a family of Navier–Stokes-alpha-like models , 2007 .

[7]  Darryl D. Holm,et al.  The Three Dimensional Viscous Camassa–Holm Equations, and Their Relation to the Navier–Stokes Equations and Turbulence Theory , 2001, nlin/0103039.

[8]  Jerrold E. Marsden,et al.  Numerical simulations of the Lagrangian averaged Navier-Stokes equations for homogeneous isotropic turbulence , 2003 .

[9]  Darryl D. Holm,et al.  A connection between the Camassa–Holm equations and turbulent flows in channels and pipes , 1999, chao-dyn/9903033.

[10]  E. Titi,et al.  Gevrey regularity of the global attractor of the 3D Navier-Stokes-Voight equations , 2007, 0709.3328.

[11]  Guillermo Sapiro,et al.  Image inpainting , 2000, SIGGRAPH.

[12]  Guillermo Sapiro,et al.  Navier-stokes, fluid dynamics, and image and video inpainting , 2001, Proceedings of the 2001 IEEE Computer Society Conference on Computer Vision and Pattern Recognition. CVPR 2001.

[13]  Darryl D. Holm,et al.  The Camassa-Holm equations and turbulence , 1999 .

[14]  E. Titi,et al.  Global regularity for a Birkhoff–Rott-α approximation of the dynamics of vortex sheets of the 2D Euler equations , 2007, 0709.4626.

[15]  D. Zwillinger Existence and Uniqueness Theorems , 1992 .

[16]  A. P. Oskolkov Theory of voight fluids , 1983 .

[17]  Rachid Deriche,et al.  Vector-valued image regularization with PDEs: a common framework for different applications , 2005, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[18]  Alexei Ilyin,et al.  A modified-Leray-α subgrid scale model of turbulence , 2006 .

[19]  R. Temam,et al.  Navier-Stokes equations: theory and numerical analysis: R. Teman North-Holland, Amsterdam and New York. 1977. 454 pp. US $45.00 , 1978 .

[20]  Darryl D. Holm Fluctuation effects on 3D Lagrangian mean and Eulerian mean fluid motion , 1999, chao-dyn/9903034.

[21]  Darryl D. Holm,et al.  On the Clark–α model of turbulence: global regularity and long-time dynamics , 2004, nlin/0412007.

[22]  Darryl D. Holm,et al.  On a Leray–α model of turbulence , 2005, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[23]  Darryl D. Holm,et al.  Camassa-Holm Equations as a Closure Model for Turbulent Channel and Pipe Flow , 1998, chao-dyn/9804026.

[24]  Edriss S. Titi,et al.  An inviscid regularization for the surface quasi-geostrophic equation , 2007 .

[25]  Darryl D. Holm,et al.  The Navier–Stokes-alpha model of fluid turbulence , 2001, nlin/0103037.

[26]  張育晟,et al.  Navier-Stokes 方程组弱解的存在性 , 2011 .

[27]  William Layton,et al.  On a well-posed turbulence model , 2005 .

[28]  Jerrold E. Marsden,et al.  EULER-POINCARE MODELS OF IDEAL FLUIDS WITH NONLINEAR DISPERSION , 1998 .

[29]  Darryl D. Holm,et al.  Regularization modeling for large-eddy simulation , 2002, nlin/0206026.

[30]  E. Titi,et al.  Spectral scaling of the Leray-α model for two-dimensional turbulence , 2007, 0711.2829.

[31]  Edriss S. Titi,et al.  Analytical study of certain magnetohydrodynamic-α models , 2006, math/0606603.

[32]  Darryl D. Holm,et al.  Direct numerical simulations of the Navier–Stokes alpha model , 1999, Physica D: Nonlinear Phenomena.