A computational method, based on ₁-minimization, is proposed for the problem of link flow correction, when the available traffic flow data on many links in a road network are inconsistent with respect to the flow conservation law. 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 corrupted link flows accurately with the proposed method under a recoverability condition if there are only a few bad sensors which are located at certain links. We analytically identify the links that are robust to miscounts and relate them to the geometric structure of the traffic network by introducing the recoverability concept and an algorithm for computing it. The recoverability condition for corrupted links is simply the associated recoverability being greater than 1. In a more realistic setting, besides the unhealthy link sensors, small

The global well-posedness of the Boltzmann equation with initial data of large amplitude has remained a long-standing open problem. In this paper, by developing a new L x L v 1 L x , v approach, we prove the global existence and uniqueness of mild solutions to the Boltzmann equation in the whole space or torus for a class of initial data with bounded velocity-weighted L x L v 1 L x , v norm under some smallness condition on the L x L v 1 L x , v norm as well as defect mass, energy and entropy so that the initial data allow large amplitude oscillations. Both the hard and soft potentials with angular cut-off are considered, and the large time behavior of solutions in the L x L v 1 L x , v norm with explicit rates of convergence are also studied.

The weak well-posedness of strong damping wave equations defined by fractal Laplacians is proved by using Galerkin method. These fractal Laplacians are defined by self-similar measures with overlaps, such as the well-known infinite Bernoulli convolution associated with the golden ratio, the three-fold convolution of the Cantor measure, and a class of self-similar measures that we call essentially of finite type. In general, the structure of self-similar measures with overlap are complicated and intractable. However, some important information about the structure of the three measures above can be obtained. We make use of these information to set up a framework for one-dimensional measures to discretize the equations, and use the finite element and central difference methods to obtain numerical approximations of the weak solutions. We also show that the numerical solutions converge to the actual solution and obtain the rate of convergence.

A novel discontinuous Galerkin (DG) method is developed to solve timedependent bi-harmonic type equations involving fourth derivatives in one and multiple space dimensions. We present the spatial DG discretization based on a mixed formulation and central interface numerical fluxes so that the resulting semi-discrete schemes are L^2 stable even without interior penalty. For time discretization, we use Crank–Nicolson so that the resulting scheme is unconditionally stable and second order in time. We present the optimal L^2 error estimate of O(h^{k+1}) for polynomials of degree k for semi-discrete DG schemes, and the L2 error of O(h^{k+1} + (\Delta t)^2) for fully discrete DG schemes. Extensions to more general fourth order partial differential equations and cases with non-homogeneous boundary conditions are provided. Numerical results are presented to verify the stability and accuracy of the schemes. Finally, an application to the one-dimensional Swift–Hohenberg equation endowed with a decay free energy is presented.

We study the spectral geometric properties of the scalar Laplace–Beltrami operator associated to the Weil–Petersson metric $g_{WP}$ on $\mathcal{M}_{\gamma}$ , the Riemann moduli space of surfaces of genus  $\gamma>1$. This space has a singular compactification with respect to $g_{WP}$, and this metric has crossing cusp-edge singularities along a finite collection of simple normal crossing divisors. We prove first that the scalar Laplacian is essentially self-adjoint, which then implies that its spectrum is discrete.