In this paper, we establish the local existence and uniqueness of multi-dimensional contact discontinuities for the ideal compressible magnetohydrodynamics (MHD) in Sobolev spaces, which are most typical interfacial waves for astrophysical plasmas and prototypical fundamental waves for hyperbolic systems of conservation laws. Such waves are characteristic discontinuities for which there is no flow across the discontinuity surface while the magnetic field crosses transversely, which lead to a two-phase free boundary problem where the pressure, velocity and magnetic field are continuous across the interface whereas the entropy and density may have jumps. To overcome the difficulties of possible nonlinear Rayleigh--Taylor instability and loss of derivatives, here we use crucially the Lagrangian formulation and the Cauchy formula (1882) for the magnetic field. This enables us to capture the boundary regularizing effect of the transversal magnetic field on the flow map, and on the other hand, it allows us to define a special good unknown of the magnetic field to get around the troublesome boundary integrals due to the transversality of the magnetic field. In particular, our result removes the additional assumption of the Rayleigh--Taylor sign condition required by Morando, Tarkhinin and Trebeschi (\emph{J. Differential Equations} \textbf{258} (2015), no. 7, 2531--2571; \emph{Arch. Ration. Mech. Anal.} \textbf{228} (2018), no. 2, 697--742) and holds for both 2D and 3D and hence gives a complete answer to the two open questions raised therein. Moreover, there is {\it no loss of derivatives} in our well-posedness theory. The solution is constructed as {\it the inviscid limit} of solutions to well-chosen nonlinear approximate problems for the two-phase compressible viscous non-resistive MHD.

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.

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.

In this article, we re-examine some of the classical pointwise multiplication theorems in Sobolev–Slobodeckij spaces, in part motivated by a simple counter-example that illustrates how certain multiplication theorems fail in Sobolev–Slobodeckij spaces when a bounded domain is replaced by R^n. We identify the source of the failure, and examine why the same failure is not encountered in Bessel potential spaces. To analyze the situation, we begin with a survey of the classical multiplication results stated and proved in the 1977 article of Zolesio, and carefully distinguish between the case of spaces defined on the all of R^n and spaces defined on a bounded domain (with e.g. a Lipschitz boundary). However, the survey we give has a few new wrinkles; the proofs we include are based almost exclusively on interpolation theory rather than Littlewood–Paley theory and Besov spaces, and some of the results we give and their proofs, including the results for negative exponents, do not appear in the literature in this form. We also include a particularly important variation of one of the multiplication theorems that is relevant to the study of nonlinear PDE systems arising in general relativity and other areas. The conditions for multiplication to be continuous in the case of Sobolev–Slobodeckij spaces are somewhat subtle and intertwined, and as a result, the multiplication theorems of Zolesio in 1977 have been cited (more than once) in the standard literature in slightly more generality than what is actually proved by Zolesio, and in cases that allow for construction of counter-examples such as the one included here.

No abstract uploaded!

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 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.

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.

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 consider the Stokes conjecture concerning the shape of extreme 2-dimensional water waves. By new geometric methods including a non-linear frequency formula, we prove the Stokes conjecture in the original variables. Our results do not rely on structural assumptions needed in previous results such as isolated singularities, symmetry and monotonicity. Part of our results extends to the mathematical problem in higher dimensions.

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.

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!

No abstract uploaded!

No abstract uploaded!

The main result of this paper, Theorem 1.5, gives explicit formulae for the kernels of the ergodic decomposition measures for infinite Pickrell measures on the space of infinite complex matrices. The kernels are obtained as the scaling limits of Christoffel-Uvarov deformations of Jacobi orthogonal polynomial ensembles.

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 consider reflector imaging in a weakly random waveguide. We address the situation in which the source is farther from the reflector to be imaged than the energy equipartition distance, but the receiver array is closer to the reflector to be imaged than the energy equipartition distance. As a consequence, the reflector is illuminated by a partially coherent field and the signals recorded by the receiver array are noisy. This paper shows that migration of the recorded signals cannot give a good image, but an appropriate migration of the cross correlations of the recorded signals can give a very good image. The resolution and stability analysis of this original functional shows that the reflector can be localized with an accuracy of the order of the wavelength even when the receiver array has small aperture, and that broadband sources are necessary to ensure statistical stability, whatever the aperture of the array.

No abstract uploaded!

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.

We define non-pluripolar products of an arbitrary number of closed positive (1, 1)-currents on a compact Kähler manifold$X$. Given a big (1, 1)-cohomology class$α$on$X$(i.e. a class that can be represented by a strictly positive current) and a positive measure$μ$on$X$of total mass equal to the volume of$α$and putting no mass on pluripolar sets, we show that$μ$can be written in a unique way as the top-degree self-intersection in the non-pluripolar sense of a closed positive current in$α$. We then extend Kolodziedj’s approach to sup-norm estimates to show that the solution has minimal singularities in the sense of Demailly if$μ$has$L$^{1+$ε$}-density with respect to Lebesgue measure. If$μ$is smooth and positive everywhere, we prove that$T$is smooth on the ample locus of$α$provided$α$is nef. Using a fixed point theorem, we finally explain how to construct singular Kähler–Einstein volume forms with minimal singularities on varieties of general type.

Let G=(V,E) be a finite weighted graph, and Ω⊆V be a domain such that Ω^∘≠∅. In this paper, we study the following initial boundary problem for the non-homogenous wave equation ∂^2_t u(t,x) − Δ_Ω u(t,x) = f(t,x), (t,x)∈[0,∞)×Ω^∘ u(0,x)=g(x), x∈Ω^∘, ∂_t u(0,x)=h(x), x∈Ω^∘, u(t,x)=0, (t,x)∈[0,∞)×∂Ω, where Δ_Ω denotes the Dirichlet Laplacian on Ω^∘. Using Rothe's method, we prove that the above wave equation has a unique solution.

We study an asymptotic estimate on the number of negative eigenvalues of the Schr\"odinger operators on unbounded fractal spaces which admit a cellular decomposition. We first give some sufficient conditions for Weyl-type asymptotic formula to hold. Second, we verify these conditions for the infinite blowup of Sierpi\'nski gasket and unbounded generalized Sierpi\'nski carpets. Final, we demonstrate how the result can be applied to the infinite blowup of certain fractals associated with iterated function systems with overlaps, including those defining the classical infinite Bernoulli convolution with golden ratio.