This paper aims to mathematically advance the field of quantitative thermo-acoustic imaging. Given several electromagnetic data sets, we establish for the first time an analytical formula for reconstructing the absorption coefficient from thermal energy measurements. Since the formula involves derivatives of the given data up to the third order, it is unstable in the sense that small measurement noises may cause large errors. However, in the presence of measurement noise, the obtained formula, together with a noise regularization technique, provides a good initial guess for the true absorption coefficient. We finally correct the errors by deriving a reconstruction formula based on the least square solution of an optimal control problem and prove that this optimization step reduces the errors occurring and enhances the resolution.

In this paper, we give a systematic study of the boundary layer behavior for linear convection-diffusion equation in the zero viscosity limit. We analyze the boundary layer structures in the viscous solution and derive the boundary condition satisfied by the viscosity limit as a solution of the inviscid equation. The results confirm that the Neumann type of far-field boundary condition is preferred in the outlet and characteristic boundary condition. Under some appropriate regularity and compatibility conditions on the initial and boundary data, we obtain optimal error estimates between the full viscous solution and the inviscid solution with suitable boundary layer corrections. These results hold in arbitrary space dimensions and similar statements also hold for the strip problem. This model well describes the behavior at the far-field for many physical and engineering systems such as fluid dynamical equation and electro-magnetic equation. The results obtained here should provide some theoretical guidance for designing effective far-field boundary conditions.

This work is devoted to study the global behavior of viscous flows contained in a symmetric domain with complete slip boundary. In such scenario the boundary no longer provides friction and therefore the perturbation of angular velocity lacks decaying structure. In fact, we show the existence of uniformly rotating solutions as steady states for the compressible Navier-Stokes equations. By manipulating the conservation law of angular momentum, we establish a suitable Korn's type inequality to control the perturbation and show the asymptotic stability of the uniformly rotating solutions with small angular velocity. In particular, the initial perturbation which preserves the angular momentum would decay exponentially in time and the solution to the Navier-Stokes equations converges to the steady state as time grows up.

A computational method, based on l1-norm minimization, is proposed for the problem traffic flow correction. Without extra information, the problem is generally ill-posed when a large portion of the link sensors are unhealthy. It is possible, however, to correct the corruptions accurately if there are only a few bad sensors which are located at certain links by the proposed method. We mathematically quantify these links that are robust to miscounts and relate them to the geometric structure of the traffic network. In a more realistic setting, besides the unhealthy link sensors, if small measure noise are present at the other sensors, our method guarantees to give an estimated traffic flow fairly close to the ground-truth. Both toy and real-world examples are provided to demonstrate the effectiveness of the proposed method.

This article is a sequel to our previous work [13] concerned with the derivation of high-order homogenized models for the Stokes equation in a periodic porous medium. We provide an improved asymptotic analysis of the coefficients of the higher order models in the low-volume fraction regime whereby the periodic obstacles are rescaled by a factor η which converges to zero. By introducing a new family of order k corrector tensors with a controlled growth as η→0 uniform in k∈\N, we are able to show that both the infinite order and the finite order models converge in a coefficient-wise sense to the three classical asymptotic regimes. Namely, we retrieve the Darcy model, the Brinkman equation or the Stokes equation in the homogeneous cubic domain depending on whether η is respectively larger, proportional to, or smaller than the critical size η_{crit}∼ϵ2/(d−2). For completeness, the paper first establishes the analogous results for the perforated Poisson equation, considered as a simplified scalar version of the Stokes system.