Higher-order synchronization for a data assimilation algorithm for the 2D Navier–Stokes equations

• Published in: Nonlinear analysis: real world applications Vol. 35; pp. 132 - 157
• Main Authors: Biswas, Animikh, Martinez, Vincent R.
• Format: Journal Article
• Language: English
• Published: Amsterdam Elsevier Ltd 01.06.2017; Elsevier BV
• Subjects: 2D Navier–Stokes equations; Algorithms; Boundary conditions; Continuity (mathematics); Data assimilation; Feedback control; Fluid dynamics; Fluid flow; Grashof number; Higher-order synchronization; Mathematical analysis; Navier-Stokes equations; Nonlinear systems; Nudging scheme; Sobolev space; Synchronism; Two dimensional analysis; Higher-order synchronization; Nudging scheme; 2D Navier–Stokes equations; Data assimilation
• ISSN: 1468-1218; 1878-5719; 1878-5719
• DOI: 10.1016/j.nonrwa.2016.10.005

We consider the two-dimensional (2D) Navier–Stokes equations (NSE) with space periodic boundary conditions and an algorithm for continuous data assimilation developed by Azouani et al. (2014). The algorithm is based on the observation that existence of finite determining parameters for nonlinear dissipative systems can be exploited as a feedback control mechanism for a companion system into which observables, e.g, modes, nodes, or volume elements, are input directly for the purpose of assimilation. It has been shown that in the case of the 2D NSE, the approximating solution induced by the algorithm synchronizes with the exact solution of the 2D NSE in the topology of the Sobolev space, H1, provided that the number of observed modes, nodes, or volume elements is sufficiently large in terms of the Grashof number. In this article, we adapt a technique, introduced by Grujić and Kukavica (1998) and Kukavica (1999) to obtain good estimates of the analyticity radius for the 2D NSE, and show that one can in fact obtain synchronization in the analytic Gevrey class in the case of modal observables, given sufficiently many, but fixed number of such observables. For these types of observables, we additionally show that synchronization in the uniform norm, L∞, can be achieved by assuming the same number of modal observables (in terms of the order of the Grashof number) as is required for the H1 synchronization.