Inverse source problem for linearized Navier–Stokes equations with data in arbitrary sub-domain

Abstract

We consider an inverse problem of determining a spatially varying factor in a source term in the non-stationary linearized Navier–Stokes equations by observation data in an arbitrarily fixed sub-domain over some time interval. We prove the Lipschitz stability provided that the t-dependent factor satisfies a non-degeneracy condition. Our proof is based on a new Carleman estimate for the linearized Navier–Stokes equations.