Determining the viscosity from the boundary information for incompressible fluid
For the Stokes equations in a compact connected Riemannian $n$-manifold $(Ω,g)$ with smooth boundary $\partial Ω$, we give an equivalent new system of elliptic equations with $(n+1)$ independent unknown functions on $Ω$. We show that the Dirichlet-to-Neumann map ${\tildeΛ}_{\tildeε, μ,g}$ associated with this new system is also equivalent to the original Dirichlet-to-Neumann map $Λ_{μ,g}$ associated with the Stokes equations. We explicitly give the full symbol expression for the ${\tildeΛ}_{\tildeε,μ,g}$ by a method of factorization, and prove that Dirichlet-to-Neumann map ${\tildeΛ}_{\tildeε,μ,g}$ (or equivalently, $Λ_{μ, g}$) uniquely determines viscosity $μ$ and all tangential and normal derivatives of $μ$ on $\partial Ω$. In particular, combining this result, Lai-Uhlmann-Wang's theorem and Heck-Li-Wang's theorem, we completely solve a long-standing open problem that asks whether one can determine the viscosity for the Stokes equations and for the Navier-Stokes equations by boundary measurements on an arbitrary bounded domain in ${\mathbb{R}}^n$, ($n=2,3$).