We introduce a model concerning radiational gaseous stars and establish the existence theory of stationary solutions to the free boundary problem of hydrostatic equations describing the radiative equilibrium. We also establish in the spherically symmetric case the local well-posedness of the moving boundary problem of the corresponding Navier--Stokes--Fourier--Poisson system and construct a priori estimates of strong and classical solutions. Our results explore the vacuum behavior of density and temperature near the free boundary for the equilibrium and capture such degeneracy in the evolutionary problem.

In this paper, we establish the global C^{2,α} and W^{2,p} regularity for the Monge-Amp`ere equation det D^2u = f subject to boundary condition Du(Ω) = Ω^∗, where Ω and Ω^∗ are bounded convex domains in the Euclidean space R^n with C^{1,1} boundaries, and f is a Ho ̈lder continuous function. This boundary value problem arises naturally in optimal transportation and many other applications.

For the d-dimensional incompressible Euler equation, the standard energy method gives local wellposedness for initial velocity in Sobolev space with regularity above some critical threshold. The borderline case was a folklore open problem. In this paper we consider the physical dimension d=2 and show that if we perturb any given smooth initial data in critical norm, then the corresponding solution can have infinite critical norm instantaneously at t>0. In a companion paper we settle the 3D and more general cases. The constructed solutions are unique and even infinitely-smooth (locally) in some cases. To prove these results we introduce a new strategy: large Lagrangian deformation induces critical norm inflation. As an application we also settle several closely related open problems.

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.