A longstanding question in the dual Brunn–Minkowski theory is “What are the dual analogues of Federer’s curvature measures for convex bodies?” The answer to this is provided. This leads naturally to dual versions of Minkowski-type problems: What are necessary and sufficient conditions for a Borel measure to be a dual curvature measure of a convex body? Sufficient conditions, involving measure concentration, are established for the existence of solutions to these problems.

No abstract uploaded!

It is a classical result of Sobolev spaces that any $H^1$ function has a well-defined $H^{1/2}$ trace on the boundary of a sufficient regular domain. In this work, we present stronger and more general versions of such a trace theorem in a new nonlocal function space $\cS(\Omega)$ satisfying $H^1(\Omega)\subset \cS(\Omega)\subset L^2(\Omega)$. The new space $\cS(\Omega)$ is associated with a nonlocal norm characterized by a nonlocal interaction kernel that is defined heterogeneously with a special localization feature on the boundary. Through the heterogeneous localization, we are able to show that the $H^{1/2}$ norm of the trace on the boundary can be controlled by the nonlocal norm that are weaker than the classical $H^1$ norm. In fact, the trace theorems can be essentially shown without imposing any extra regularity of the function in the interior of the domain other than being square integrable. Implications of the new trace theorems to the coupling of local and nonlocal equations and possible further generalizations are also discussed.

No abstract uploaded!

We show that each limiting semiclassical measure obtained from a sequence of eigenfunctions of the Laplacian on a compact hyperbolic surface is supported on the entire cosphere bundle. The key new ingredient for the proof is the fractal uncertainty principle, first formulated by Dyatlov-Zahl and proved for porous sets in Bourgain-Dyatlov.

We study the wave propagation speed problem on metric measure spaces, emphasizing on self-similar sets that are not postcritically finite. We prove that a sub-Gaussian lower heat kernel estimate leads to infinite propagation speed, extending a result of Y.-T. Lee to include bounded and unbounded generalized Sierpi\'nski carpets as well as some fractal blowups. We also formulate conditions under which a Gaussian upper heat kernel estimate leads to finite propagation speed, and apply this result to two classes of iterated function systems with overlaps, including those defining the classical infinite Bernoulli convolutions.

No abstract uploaded!

No abstract uploaded!

For autonomous Tonelli systems on $\R^n$, we develop an intrinsic proof of the existence of generalized characteristics using sup-convolutions. This approach, together with convexity estimates for the fundamental solution, leads to new results such as the global propagation of singularities along generalized characteristics.

We study a certain improved fractional Sobolev–Poincaré inequality on domains, which can be considered as a fractional counterpart of the classical Sobolev–Poincaré inequality. We prove the equivalence of the corresponding weak and strong type inequalities; this leads to a simple proof of a strong type inequality on John domains. We also give necessary conditions for the validity of an improved fractional Sobolev–Poincaré inequality, in particular, we show that a domain of finite measure, satisfying this inequality and a ‘separation property’, is a John domain.

No abstract uploaded!

It is known that the maximum diameter for the rupture-risk assessment of the abdominal aortic aneurysm is a generally good method, but not sufficient. Alternative features obtained with computational modeling may provide additional useful criteria. Though computational approaches are noninvasive, they are often time-consuming because of the high computational complexity. In this paper, we present a highly parallel algorithm for the numerical simulation of unsteady blood flows in the patient-specific abdominal aorta. We model the blood flow with the unsteady incompressible Navier-Stokes equations, and solve the discretized system with a highly scalable domain decomposition method. With this approach, the complete flow field can be obtained in less than an hour, instead of days with older methods. We show experimentally that the proposed method offers accurate solutions of the pressure, the velocity and the wall shear stress, and the parallel efficiency is higher than 70% on a parallel computer with more than 1,000 processor cores.

No abstract uploaded!

No abstract uploaded!

An analogue of the well-known $$ \frac{3}{{16}} $$ lower bound for the first eigenvalue of the Laplacian for a congruence hyperbolic surface is proven for a congruence tower associated with any non-elementary subgroup$L$of SL(2,$Z$). The proof in the case that the Hausdorff of the limit set of$L$is bigger than $$ \frac{1}{2} $$ is based on a general result which allows one to transfer such bounds from a combinatorial version to this archimedian setting. In the case that delta is less than $$ \frac{1}{2} $$ we formulate and prove a somewhat weaker version of this phenomenon in terms of poles of the corresponding dynamical zeta function. These “spectral gaps” are then applied to sieving problems on orbits of such groups.

We consider a system coupling the incompressible Navier–Stokes equations to the Vlasov–Fokker–Planck equation. Such a problem arises in the description of particulate flows. We design a numerical scheme to simulate the behavior of the system. This scheme is asymptotic-preserving, thus efficient in both the kinetic and hydrodynamic regimes. It has a numerical stability condition controlled by the non-stiff convection operator, with an implicit treatment of the stiff drag term and the Fokker–Planck operator. Yet, consistent to a standard asymptotic-preserving Fokker–Planck solver or an incompressible Navier–Stokes solver, only the conjugate–gradient method and fast Poisson and Helmholtz solvers are needed. Numerical experiments are presented to demonstrate the accuracy and asymptotic behavior of the scheme, with several interesting applications.

No abstract uploaded!

No abstract uploaded!

The diffusive transport of passive tracers or particles can be enhanced by incompressible, turbulent flow fields. Analyzing the effective behavior is a challenging problem with theoretical and practical importance in many areas of science and engineering, ranging from the transport of mass, heat, and pollutants in geophysical flows to sea ice dynamics and turbulent combustion. The long time, large scale behavior of such systems is equivalent to an enhanced diffusion process with an effective diffusivity tensor D*. Two different formulations of integral representations for D* were developed for the case of time-independent fluid velocity fields, involving spectral measures of bounded self-adjoint operators acting on vector fields and scalar fields, respectively. Here, we extend both of these approaches to the case of space-time periodic velocity fields, allowing for chaotic dynamics, providing rigorous integral representations for D* involving spectral measures of unbounded self-adjoint operators.We prove the different formulations are equivalent. Their correspondence follows from a one-to-one isometry between the underlying Hilbert spaces. We also develop a Fourier method for computing D*, which captures the phenomenon of residual diffusion related to Lagrangian chaos of a model flow. This is reflected in the spectral measure by a concentration of mass near the spectral origin.

We study in this work a continuum model derived from 1D attachment-detachment-limited (ADL) type step flow on vicinal surface, $ u_t=-u^2(u^3)_{hhhh}$, where $u$, considered as a function of step height $h$, is the step slope of the surface. We formulate a notion of weak solution to this continuum model and prove the existence of a global weak solution, which is positive almost everywhere. We also study the long time behavior of weak solution and prove it converges to a constant solution as time goes to infinity. The space-time H\"older continuity of the weak solution is also discussed as a byproduct.

We study convolution groups generated by completely monotone sequences and completely monotone functions. Using a convolution group, we define a fractional calculus for a certain class of distributions. When acting on causal functions, this definition agrees with the traditional Riemann-Liouville definition for t>0 but includes some singularities at t=0 so that the group property holds. Using this group, we are able to extend the definition of Caputo derivatives of order in (0,1) to a certain class of locally integrable functions without using the first derivative. The group property allows us to de-convolve the fractional differential equations to integral equations with completely monotone kernels, which then enables us to prove the general Gronwall inequality (or comparison principle) with the most general conditions. This then opens the door of a priori energy estimates of fractional PDEs. Some other fundamental results for fractional ODEs are also established within this frame under very weak conditions. Besides, we also obtain some interesting results about completely monotone sequences.

We establish local higher integrability estimates for upper gradients of vector-valued parabolic quasi-minimizers in metric measure spaces, satisfying a doubling property and supporting a weak Poincaré inequality.

For the physical vacuum free boundary problem with the sound speed being C^1/2-Holder continuous near vacuum boundaries of the one-dimensional compressible Euler equations with damping, the global existence of the smooth solution is proved, which is shown to converge to the Barenblatt self-similar solution for the porous media equation with the same total mass when the initial datum is a small perturbation of the Barenblatt solution. The pointwise convergence with a rate of density, the convergence rate of velocity in the supremum norm, and the precise expanding rate of the physical vacuum boundaries are also given. The proof is based on a construction of higher-order weighted functionals with both space and time weights capturing the behavior of solutions both near vacuum states and in large time, an introduction of a new ansatz, higher-order nonlinear energy estimates, and elliptic estimates.

In this paper we study classification of homogeneous solutions to the stationary Euler equation with locally finite energy. Written in the form $\bu = \n^\perp \Psi$, $\Psi(r,\th) = r^{\l} \psi(\th)$, for $\l >0$, we show that only trivial solutions exist in the range $0<\l<1/2$, i.e. parallel shear and rotational flows. In other cases many new solutions are exhibited that have hyperbolic, parabolic and elliptic structure of streamlines. In particular, for $\l>9/2$ the number of different non-trivial elliptic solutions is equal to the cardinality of the set $(2,\sqrt{2\l}) \cap \N$. The case $\l = 2/3$ is relevant to Onsager's conjecture. We underline the reasons why no anomalous dissipation of energy occurs for such solutions despite their critical Besov regularity $1/3$.

In analogy with the classical Minkowski problem, necessary and sufficient conditions are given to assure that a given measure on the unit sphere is the cone-volume measure of the unit ball of a finite dimensional Banach space.