Using the harmonic map heat flow, we construct an energy class for wave maps $ϕ$ from two-dimensional Minkowski space $\R^{1+2}$ to hyperbolic spaces $\H^m$, and then show (conditionally on a large data well-posedness claim for such wave maps) that no stationary, travelling, self-similar, or degenerate wave maps exist in this energy class. These results form three of the five claims required in our earlier paper (arXiv:0805.4666) to prove global regularity for such wave maps. (The conditional claim of large data well-posedness is one of the remaining claims required in that paper.)
We study the regularity of weak solutions to the 3D valued stationary Hall magnetohydrodynamic equations on $ \Bbb R^2$. We prove that every weak solution is smooth. Furthermore, we prove a Liouville type theorem for the Hall equations.
We consider the regularity of stationary solutions to the linearized Boltzmann equations in bounded $C^1$ convex domains in $\mathbb{R}^3$ for gases with cutoff hard potential and cutoff Maxwellian gases. We prove that the stationary solutions solutions are Hölder continuous with order $\frac1{2}^-$ away from the boundary provided the incoming data have the same regularity. The key idea is to partially transfer the regularity in velocity obtained by collision to space through transport and collision.
We study partial regularity of weak solutions of the 3D valued non-stationary Hall magnetohydrodynamics equations on $ \Bbb R^2$. In particular we prove the existence of a weak solution whose set of possible singularities has the space-time Hausdorff dimension at most two.
In the present work, we adopt the idea of velocity averaging lemma to establish regularity for stationary linearized Boltzmann equations in a bounded convex domain. Considering the incoming data, with three iterations, we establish regularity in fractional Sobolev space in space variable up to order $1^-$.
In dimension $n=3$, we prove that the singular set of any stationary solution to the Liouville equation $-Δu=e^u$, which belongs to $W^{1,2}$, has Hausdorff dimension at most 1.
We investigate regularity estimates for the stationary Navier-Stokes equations above a highly oscillating Lipschitz boundary with the no-slip boundary condition. Our main result is an improved Lipschitz regularity estimate at scales larger than the boundary layer thickness. We also obtain an improved $C^{1,μ}$ estimate and identify the building blocks of the regularity theory, dubbed `Navier polynomials'. In the case when some structure is assumed on the oscillations of the boundary, for instance periodicity, these estimates can be seen as local error estimates. Although we handle the regulari…
We investigate the regularity issue for the diffuse reflection boundary problem to the stationary linearized Boltzmann equation for hard sphere potential, cutoff hard potential, or cutoff Maxwellian molecular gases in a strictly convex bounded domain. We obtain pointwise estimates for first derivatives of the solution provided the boundary temperature is bounded differentiable and the solution is bounded. This result can be understood as a stationary version of the velocity averaging lemma and mixture lemma.
We use the scale $B^s_τ(L_τ(Ω))$, $1/τ=s/d+1/2$, $s>0$, to study the regularity of the stationary Stokes equation on bounded Lipschitz domains $Ω\subset\mathbb{R}^d$, $d\geq 3$, with connected boundary. The regularity in these Besov spaces determines the order of convergence of nonlinear approximation schemes. Our proofs rely on a combination of weighted Sobolev estimates and wavelet characterizations of Besov spaces. By using Banach's fixed point theorem, we extend this analysis to the stationary Navier-Stokes equation with suitable Reynolds number and data, respectively.
In this paper, we establish $\varepsilon$-regularity criteria at one scale for suitable weak solutions to the five dimensional stationary incompressible Navier-Stokes equations in both the unit ball $B_1$ and the unit half ball $B_1^+$, respectively, which improve previous results in [J. Math. Fluid Mech., 6(2004), pp 78--101] and [Comm. Pure Appl. Math., 41(1988), pp 437--458]. The proofs of the main results are based on an iteration argument, Campanato's method, and interpolation techniques.
In this article we establish $C^{3,α}$-regularity of the reduced boundary of stationary points of a nonlocal isoperimetric problem in a domain $Ω\subset \mathbb{R}^n$. In particular, stationary points satisfy the corresponding Euler-Lagrange equation classically on the reduced boundary. Moreover, we show that the singular set has zero $(n-1)$-dimensional Hausdorff measure. This complements the results in Choksi & Sternberg, in which the Euler-Lagrange equation was derived under the assumption of $C^2$-regularity of the topological boundary and the results in Sternberg & Topaloglu in which the …
We consider the Dirichlet problem for stationary biharmonic maps $u$ from a bounded, smooth domain $Ω\subset\mathbb R^n$ ($n\ge 5$) to a compact, smooth Riemannian manifold $N\subset\mathbb R^l$ without boundary. For any smooth boundary data, we show that if, in addition, $u$ satisfies a certain boundary monotonicity inequality, then there exists a closed subset $Σ\subset\barΩ$, with $H^{n-4}(Σ)=0$, such that $u\in C^\infty(\barΩ\setminusΣ, N)$.
Small-energy regularity for stationary weak solutions of the Liouville equation
School of Mathematical Sciences, Peking University（北京大学数学科学学院）；School of Mathematics and Statistics, Wuhan University（武汉大学数学与统计学院）；School of Mathematics, Yunnan Normal University（云南师范大学数学学院）
In this paper, we prove the existence of classical solutions for second order stationary mean-field game systems. These arise in ergodic (mean-field) optimal control, convex degenerate problems in calculus of variations, and in the study of long-time behavior of time-dependent mean-field games. Our argument is based on the interplay between the regularity of solutions of the Hamilton-Jacobi equation in terms of the solutions of the Fokker-Planck equation and vice-versa. Because we consider different classes of couplings, distinct techniques are used to obtain a priori estimates for the density…
In this paper, we prove that any $C^{1}$-regular Hamiltonian stationary Lagrangian submanifold in a symplectic manifold is smooth. More broadly, we develop a regularity theory for a class of fourth order nonlinear elliptic equations with two distributional derivatives. Our fourth order regularity theory originates in the geometrically motivated variational problem for the volume functional, but should have applications beyond.
We establish an optimal regularity result for parametrized two-dimensional stationary varifolds. Namely, we show that the parametrization map is a smooth minimal branched immersion and that the multiplicity function is constant. We provide some applications of this regularity result, especially in the calculus of variations for the area functional.
The well-known stationary phase formula gives us a way to precisely compute oscillating integrals so long as the symbol is regular enough (in comparison to the large parameter controlling the oscillation). However in a number of applications we find ourselves with symbols that are not suitably regular. In this paper we obtain decay bounds for such oscillatory integrals.
In a $d-$dimensional strip with $d\geq 2$, we study the non-stationary Stokes equation with no-slip boundary condition in the lower and upper plates and periodic boundary condition in the horizontal directions. In this paper we establish a new maximal regularity estimate in the real interpolation norm \begin{equation*} ||f||_{(0,1)}=\inf_{f=f_0+f_1}\left\{\left\langle\sup_{0<z<1} |f_0|\right\rangle+ \left\langle\int_0^{1} |f_1| \frac{dz}{(1-z)z}\right\rangle\right\}\,, \end{equation*} where the brackets $\langle\cdot\rangle$ denotes the horizontal-space and time average. The norms involved in …
Here we develop a regularity theory for a polyconvex functional in $2\times2-$dimensional compressible finite elasticity. In particular, we consider energy minimizers/stationary points of the functional $I(u)=\int\limits_Ω{\frac{1}{2}|\nabla u|^2+ρ(\det\nabla u)\;dx},$ where $Ω\subset\mathbb{R}^2$ is open and bounded, $u\in W^{1,2}(Ω,\mathbb{R}^2)$ and $ρ:\mathbb{R}\rightarrow\mathbb{R}_0^+$ smooth and convex with $ρ(s)=0$ for all $s\le0$ and $ρ$ becomes affine when $s$ exceeds some value $s_0>0.$ Additionally, we may impose boundary conditions. The first result we show is that every stationar…
In his big regularity paper, Almgren has proven the regularity theorem for mass-minimizing integral currents. One key step in his paper is to derive the regularity of Dirichlet-minimizing $\mathbf{Q}_{Q}(\mathbb{R}^{n})$-valued functions in the Sobolev space $\mathcal{Y}_{2}(Ω, \mathbf{Q}_{Q} (\mathbb{R}^{n}))$, where the domain $Ω$ is open in $\mathbb{R}^{m}$. In this article, we introduce the class of weakly stationary-harmonic $\mathbf{Q}_{Q} (\mathbb{R}^n)$-valued functions. These functions are the critical points of Dirichlet integral under smooth domain-variations and range-variations. W…
We prove the mixed-norm Sobolev estimates for solutions to both divergence and non-divergence form time-dependent Stokes systems with unbounded measurable coefficients having small mean oscillations with respect to the spatial variable in small cylinders. As a special case, our results imply Caccioppoli's type estimates for the Stokes systems with variable coefficients. A new $ε$-regularity criterion for Leray-Hopf weak solutions of Navier-Stokes equations is also obtained as a consequence of our regularity results, which in turn implies some borderline cases of the well-known Serrin's regular…
We prove a Morrey-type theorem for Hamiltonian stationary submanifolds of $\mathbb{C}^{n}$. Namely, if $L$ $\subset$ $\mathbb{C}^{n}$ is a $C^{1}$ Lagrangian submanifold with weakly harmonic Lagrangian phase $θ,$ then $L$ must be smooth. In the process we also discuss a local version of the equation, which is a nonlinear fourth order double divergence equation of the potential function whose gradient graph defines the Hamiltonian stationary submanifolds locally, and we establish full regularity and removability of singular sets of capacity zero for weak solutions with $C^{1,1}$ norm below a di…
The aim of this note is to review some recent developments on the regularity theory for the stationary and parabolic obstacle problems. After a general overview, we present some recent results on the structure of singular free boundary points. Then, we show some selected applications to the generic smoothness of the free boundary in the stationary obstacle problem (Schaeffer's conjecture), and to the smoothness of the free boundary in the one-phase Stefan problem for almost every time.
We consider the nonlinear Schrödinger equation $-Δu + V(x) u = Γ(x) |u|^{p-1}u$ in $\R^n$ where the spectrum of $-Δ+V(x)$ is positive. In the case $n\geq 3$ we use variational methods to prove that for all $p\in (\frac{n}{n-2},\frac{n}{n-2}+\eps)$ there exist distributional solutions with a point singularity at the origin provided $\eps>0$ is sufficiently small and $V,Γ$ are bounded on $\R^n\setminus B_1(0)$ and satisfy suitable Hölder-type conditions at the origin. In the case $n=1,2$ or $n\geq 3,1<p<\frac{n}{n-2}$, however, we show that every distributional solution of the more general equat…
In the note, a new regularity condition for axisymmetric solutions to the non-stationary 3D Navier-Stokes equations is proven. It is slightly supercritical.
We prove that any continuous and convex stationary ergodic Hamiltonian admits critical subsolutions, which are strict outside the random Aubry set. They make up, in addition, a dense subset of all critical subsolutions with respect to a suitable metric. If the Hamiltonian is additionally assumed of Tonelli type, then there exist strict subsolutions of class $\CC^{1,1}$ in $\R^N$. The proofs are based on the use of Lax--Oleinik semigroups and their regularizing properties in the stationary ergodic environment, as well as on a generalized notion of Aubry set.
In this paper, we will study the partial regularity theorem for stationary harmonic maps from a Riemannian manifold into a Lorentzian manifold. For a weakly stationary harmonic map $(u,v)$ from a smooth bounded open domain $Ω\subset\R^m$ to a Lorentzian manifold with Dirichlet boundary condition, we prove that it is smooth outside a closed set whose $(m-2)$-dimension Hausdorff measure is zero. Moreover, if the target manifold $N$ does not admit any harmonic sphere $S^l$, $l=2,...,m-1$, we will show $(u,v)$ is smooth.
We provide a proof of global regularity of solutions of coupled Navier-Stokes equations and Fokker-Planck equations, in two spatial dimensions, in the absence of boundaries. The proof yields a priori estimates for the growth of spatial gradients.
In this paper we are interested in integro-differential elliptic and parabolic equations involving nonlocal operators with order less than one, and a gradient term whose coercivity growth makes it the leading term in the equation. We obtain Lipschitz regularity results for the associated stationary Dirichlet problem in the case when the nonlocality of the operator is confined to the domain, feature which is known in the literature as censored nonlocality. As an application of this result, we obtain strong comparison principles which allow us to prove the well-posedness of both the stationary a…
This article considers nonlocal heat flows into a singular target space. The problem is the parabolic analogue of a stationary problem that arises as the limit of a singularly perturbed elliptic system. It also provides a gradient flow approach to an optimal eigenvalue partition problem that, in light of the work of Caffarelli and Lin, is equivalent to a constrained harmonic mapping problem. In particular, we show that weak solutions of our heat equation converge as time approaches infinity to stationary solutions of this mapping problem. For these weak solutions, we also prove Lipschitz conti…
Higher regularity estimate has been a challenging question for the Boltzmann equation in bounded domains. Indeed, it is well-known to have "the non-existence of a second order derivative at the boundary" in [15] even for symmetric convex domains such as a disk or sphere. In this paper we answer this question in the affirmative by constructing the $C^{1,β}$ solutions away from the grazing boundary, for any $β<1$, to the stationary Boltzmann equation with the non-isothermal diffuse boundary condition in strictly convex domains, as long as a smooth wall temperature has small fluctuation pointwise…
We obtain the existence, regularity, uniqueness of the non-stationary problems of a class of non-Newtonian fluid is a power law fluid with $p>9/5$ in the half-space under slip boundary conditions.
We find minimal regularity conditions on the coefficients of a parabolic operator, ensuring that no nontrivial solution tends to zero faster than any exponential.
In this paper, we consider weak solutions of the Euler-Lagrange equation to a variational energy functional modeling the geometrically nonlinear Cosserat micropolar elasticity of continua in dimension three, which is a system coupling between the Poisson equation and the equation of $p$-harmonic maps ($2\le p\le 3$). We show that if a weak solutions is stationary, then its singular set is discrete for $2<p<3$ and has zero $1$-dimensional Hausdorff measure for $p=2$. If, in addition, it is a stable-stationary weak solution, then it is regular everywhere when $p\in [2, \frac{32}{15}]$.
We consider the piecewise-deterministic Markov process obtained by randomly switching between the flows generated by a finite set of smooth vector fields on a compact set. We obtain Hörmander-type conditions on the vector fields guaranteeing that the stationary density is: $C^k$ whenever the jump rates are sufficiently fast, for any $k<\infty$; unbounded whenever the jump rates are sufficiently slow and lower semi-continuous regardless of the jump rates. Our proofs are probabilistic, relying on a novel application of stopping times.
This is an expository paper on the theory of local regularity for weak solutions to the non-stationary 3D Navier-Stokes equations near the boundary of a domain.
This paper addresses the gain of global fractional regularity in Nikolskii spaces for solutions of a class of quasilinear degenerate equations with $(p,q)$-growth. Indeed, we investigate the effects of the datum on the derivatives of order greater than one of the solutions of the $(p,q)$-Laplacian operator, under Dirichlet's boundary conditions. As it turns out, even in the absence of the so-called Lavrentiev phenomenon and without variations on the order of ellipticity of the equations, the fractional regularity of these solutions ramifies depending on the interplay between the growth paramet…
