We study some basic analytic questions related to differential operators on Lie manifolds, which are manifolds whose large scale geometry can be described by a a Lie algebra of vector fields on a compactification. We extend to Lie manifolds several classical results on Sobolev spaces, elliptic regularity, and mapping properties of pseudodifferential operators. A tubular neighborhood theorem for Lie submanifolds allows us also to extend to regular open subsets of Lie manifolds the classical results on traces of functions in suitable Sobolev spaces. Our main application is a regularity result on polyhedral domains $\PP \subset \RR^3$ using the weighted Sobolev spaces $\Kond{m}a(\PP)$. In particular, we show that there is no loss of $\Kond{m}a$--regularity for solutions of strongly elliptic systems with smooth coefficients. For the proof, we identify $\Kond{m}a(\PP)$ with the Sobolev spaces on $\PP$ associated to the metric $r_{\PP}^{-2} g_E$, where $g_E$ is the Euclidean metric and $r_{\PP}(x)$ is a smoothing of the Euclidean distance from $x$ to the set of singular points of $\PP$. A suitable compactification of the interior of $\PP$ then becomes a regular open subset of a Lie manifold. We also obtain the well-posedness of a non-standard boundary value problem on a smooth, bounded domain with boundary $\maO \subset \RR^n$ using weighted Sobolev spaces, where the weight is the distance to the boundary.
This paper is concerned with the regularity of solutions to linear and nonlinear evolution equations extending our findings in [22] to domains of polyhedral type. In particular, we study the smoothness in the specific scale $B^r_{τ,τ}$, $\frac{1}τ=\frac rd+\frac 1p$ of Besov spaces. The regularity in these spaces determines the approximation order that can be achieved by adaptive and other nonlinear approximation schemes. We show that for all cases under consideration the Besov regularity is high enough to justify the use of adaptive algorithms.
We prove a regularity result for the Poisson problem $-Δu = f$, $u |\_{\pa \PP} = g$ on a polyhedral domain $\PP \subset \RR^3$ using the \BK\ spaces $\Kond{m}{a}(\PP)$. These are weighted Sobolev spaces in which the weight is given by the distance to the set of edges \cite{Babu70, Kondratiev67}. In particular, we show that there is no loss of $\Kond{m}{a}$--regularity for solutions of strongly elliptic systems with smooth coefficients. We also establish a "trace theorem" for the restriction to the boundary of the functions in $\Kond{m}{a}(\PP)$.
We prove an Allard-type regularity theorem for free-boundary minimal surfaces in Lipschitz domains locally modelled on convex polyhedra. We show that if such a minimal surface is sufficiently close to an appropriate free-boundary plane, then the surface is $C^{1,α}$ graphical over this plane. We apply our theorem to prove partial regularity results for free-boundary minimizing hypersurfaces, and relative isoperimetric regions.
We obtain regularity results in weighted Sobolev spaces for the solution of the obstacle problem for the integral fractional Laplacian. The weight is a power of the distance to the boundary. These bounds then serve us as a guide in the design and analysis of an optimal finite element scheme over graded meshes.
We prove the developability and $C^{1,1/2}$ regularity of $W^{2,2}$ isometric immersions of $n$-dimensional domains into $R^{n+1}$. As a conclusion we show that any such Sobolev isometry can be approximated by smooth isometries in the $W^{2,2}$ strong norm, provided the domain is $C^1$ and convex. Both results fail to be true if the Sobolev regularity is weaker than $W^{2,2}$.
We study the weak regularity of mappings inverse to weighted Sobolev homeomorphisms $φ:Ω\to\widetildeΩ$, where $Ω$ and $\widetildeΩ$ are domains in $\mathbb R^n$. Using the weak regularity of inverse mappings we obtain the composition duality property of composition operators on weighted Sobolev spaces.
Mixed boundary value problems for the Navier-Stokes system in a polyhedral domain are considered. Different boundary conditions (in particular, Dirichlet, Neumann, slip conditions) are prescribed on the faces of a polyhedron. The authors obtain regularity results for weak solutions in weighted (and non-weighted) L_p Sobolev and Hölder spaces.
Sobolev-type regularity results are proved for solutions to a class of second order elliptic equations with a singular or degenerate weight, under non-homogeneous Neumann conditions. As an application a Pohozaev-type identity for weak solutions is derived.
We prove non-autonomous maximal $L^p$-regularity results on UMD spaces replacing the common Hölder assumption by a weaker fractional Sobolev regularity in time. This generalizes recent Hilbert space results by Dier and Zacher. In particular, on $L^q(Ω)$ we obtain maximal $L^p$-regularity for $p \ge 2$ and elliptic operators in divergence form with uniform $VMO$-modulus in space and $W^{α,p}$-regularity for $α> \frac{1}{2}$ in time.
In this paper, we study the Sobolev regularity of solutions to nonlinear second order elliptic equations with super-linear first-order terms on Riemannian manifolds, complemented with Neumann boundary conditions, when the source term of the equation belongs to a Lebesgue space, under various integrability regimes. Our method is based on an integral refinement of the Bochner's identity, and leads to "semilinear Calderón-Zygmund" type results. Applications to the problem of smoothness of solutions to Mean Field Games systems with Neumann boundary conditions posed on convex domains of the Euclide…
Elliptic problems with additional unknown distributions in boundary conditions are investigated in Besov and Sobolev-Triebel-Lizorkin spaces of low regularity, specifically of an arbitrary negative order. We find that the problems induce Fredholm bounded operators on appropriate pairs of these spaces.
We study Sobolev regularity results for minimisers of autonomous, convex variational of linear growth which depend on the symmetric gradient rather than the full gradient. This extends the results available in the literature for the BV-setting to the case of functionals whose full gradients are a priori not known to exist as matrix-valued Radon measures.
We prove that for $p\ge 2$ solutions of equations modeled by the fractional $p$-Laplacian improve their regularity on the scale of fractional Sobolev spaces. Moreover, under certain precise conditions, they are in $W^{1,p}_{loc}$ and their gradients are in a fractional Sobolev space as well. The relevant estimates are stable as the fractional order of differentiation $s$ reaches $1$.
We provide a self-contained proof of the solvability and regularity of a Hodge-type elliptic system, wherein the divergence and curl of a vector field are prescribed in an open, bounded, Sobolev-class domain, and either the normal component or the tangential components of the vector field are prescribed on the boundary. The proof is based on a regularity theory for vector elliptic equations set on Sobolev-class domains and with Sobolev-class coefficients.
We study doubly nonlinear parabolic equation arising from the gradient flow for p-Sobolev type inequality, referred as p-Sobolev flow from now on, which includes the classical Yamabe flow on a bounded domain in Euclidean space in the special case p=2. In this article we establish a priori estimates and regularity results for the $p$-Sobolev type flow, which are necessary for further analysis and classification of limits as time tends to infinity.
We present a divergence free vector field in the Sobolev space $H^1$ such that the flow associated to the field does not belong to any Sobolev space. The vector field is deterministic but constructed as the realization of a random field combining simple elements. This construction illustrates the optimality of recent quantitative regularity estimates as it gives a straightforward example of a well-posed flow which has nevertheless only very weak regularity.
In this paper, we show that for each $k\in \mathbb Z^+, p>4$, there exists a solution operator $\mathcal T_k$ to the $\bar\partial$ problem on the Hartogs triangle that maintains the same $W^{k, p}$ regularity as that of the data. According to a Kerzman-type example, this operator provides solutions with the optimal Sobolev regularity.
We provide Sobolev estimates for solutions of first order Hamilton-Jacobi equations with Hamiltonians which are superlinear in the gradient variable. We also show that the solutions are differentiable almost everywhere. The proof relies on an inverse Hölder inequality. Applications to mean field games are discussed.
The Kuramoto model is a mean-field model for the synchronisation behaviour of oscillators, which exhibits Landau damping. In a recent work, the nonlinear stability of a class of spatially inhomogeneous stationary states was shown under the assumption of analytic regularity. This paper proves the nonlinear Landau damping under the assumption of Sobolev regularity. The weaker regularity required the construction of a different more robust bootstrap argument, which focuses on the nonlinear Volterra equation of the order parameter.
The aim of this note is to prove sharp regularity estimates for solutions of the continuity equation associated to vector fields of class $W^{1,p}$ with $p>1$. The regularity is of "logarithmic order" and is measured by means of suitable versions of Gargliardo's seminorms.
The paper deals with a mixed boundary value problem for the Stokes system in a polyhedral cone. Here different boundary conditions (in particular, Dirichlet, Neumann, free surface conditions) are prescribed on the sides of the polyhedron. The authors obtain regularity results for weak solutions in weighted $L_2$ Sobolev spaces and prove point estimates of Green's matrix.
On any complete Riemannian manifold $M$ and for all $p\in [2,\infty)$, we prove a family of second order $L^{p}$-interpolation inequalities that arise from the following simple $L^{p}$-estimate valid for every $u \in C^{\infty}(M)$: $$ \|\nabla u\|_{p}^p \leq \|u Δ_{p} u\|_1\in [0,\infty], $$ where $Δ_p$ denotes the $p$-Laplace operator. We show that these inequalities, in combination with abstract functional analytic arguments, allow to establish new global Sobolev regularity results for $L^p$-solutions of the Poisson equation for all $p\in (1,\infty)$, and new global Sobolev regularity resul…
New results regarding the Sobolev regularity of the principal solution of the linear Beltrami equation $\bar{\partial} f = μ\partial f + ν\overline{\partial f}$ for discontinuous Beltrami coefficients $μ$ and $ν$ are obtained, using Kato-Ponce commutators, obtaining that $\overline \partial f$ belongs to a Sobolev space with the same smoothness as the coefficients but some loss in the integrability parameter. A conjecture on the cases where the limitations of the method do not work is raised.
We show that every $\mathbb{R}^d$-valued Sobolev path with regularity $α$ and integrability $p$ can be lifted to a Sobolev rough path provided $α< 1/p<1/3$. The novelty of our approach is its use of ideas underlying Hairer's reconstruction theorem generalized to a framework allowing for Sobolev models and Sobolev modelled distributions. Moreover, we show that the corresponding lifting map is locally Lipschitz continuous with respect to the inhomogeneous Sobolev metric.
Higher Sobolev regularity for mixed local and nonlocal equations with nonstandard growth
School of Mathematics, Harbin Institute of Technology（哈尔滨工业大学数学学院）；School of Mathematics and Institute for Advanced Study in Mathematics, Harbin Institute of Technology（哈尔滨工业大学数学学院与高等研究院）
A mixed boundary value problem for the Stokes system in a polyhedral domain is considered. Here different boundary conditions (in particular, Dirichlet, Neumann, free surface conditions) are prescribed on the sides of the polyhedron. The authors prove the existence of solutions in (weighted and non-weighted) $L_p$ Sobolev spaces and obtain regularity assertions for weak solutions. The results are based on point estimates of Green's matrix.
In this article we discuss higher Sobolev regularity of convex integration solutions for the geometrically non-linear two-well problem. More precisely, we construct solutions to the differential inclusion $\nabla u\in K$ subject to suitable affine boundary conditions for $ u$ with $$ K:= SO(2)\left[\begin{array}{ ccc } 1 & δ\\ 0 & 1 \end{array}\right] \cup SO(2)\left[\begin{array}{ ccc } 1 & -δ\\ 0 & 1 \end{array}\right] $$ such that the associated deformation gradients $\nabla u$ enjoy higher Sobolev regularity. This provides the first result in the modelling of phase transformations in shape…
We prove a global version of the classical result that $p$-harmonic functions belong to $W^{2,2}_{loc}$ for $1<p<3+\frac{2}{n-2}$. The proof relies on Cordes' matrix inequalities [7] and techniques from the work of Cianchi and Maz'ya [5,6].
We prove higher differentiability of bounded local minimizers to some widely degenerate functionals, verifying superquadratic anisotropic growth conditions. In the two dimensional case, we prove that local minimizers to a model functional are locally Lipschitz continuous functions, without any restriction on the anisotropy.
We prove interior $H^{2s-\varepsilon}$ regularity for weak solutions of linear elliptic integro-differential equations close to the fractional $s$-Laplacian. The result is obtained via intermediate estimates in Nikol'skii spaces, which are in turn carried out by means of an appropriate modification of the classical translation method by Nirenberg.
We construct a counterexample to $W^{2,1}$ regularity for convex solutions to $$\det D^2u \leq 1, \quad u|_{\partial Ω} = 0$$ in two dimensions. We also prove a result on the propagation of singularities in two dimensions that are logarithmically slower than Lipschitz. This generalizes a classical result of Alexandrov and is optimal by example.
In this work, we consider a class of second order uniformly elliptic operators with smooth and bounded coefficients. We provide some estimates on the norm of the semigroup generated by these operators acting on weighted Sobolev spaces, where the weight satisfies some specific conditions. Our proof relies on a classical bound for the derivatives of fundamental solution to parabolic equations.
In this paper we obtain global well-posedness in low order Sobolev spaces of higher order KdV type equations with dissipation. The result is optimal in the sense that the flow-map is not twice continuously differentiable in rougher spaces. The solution is shown to be smooth for positive times.
We establish existence, uniqueness, and arbitrary order Sobolev regularity results for the second order parabolic equations with measurable coefficients defined on the conic domains $D$ of the type $$ D(M):=\left\{x\in R^d :\,\frac{x}{|x|}\in M\right\}, \quad \quad M \subset S^{d-1}. $$ We obtain the regularity results by using a system of mixed weights consisting of appropriate powers of the distance to the vertex and of the distance to the boundary. We also provide the sharp ranges of admissible powers of the distance to the vertex and to the boundary.
In this article we discuss quantitative properties of convex integration solutions arising in problems modeling shape-memory materials. For a two-dimensional, geometrically linearized model case, the hexagonal-to-rhombic phase transformation, we prove the existence of convex integration solutions $u$ with higher Sobolev regularity, i.e. there exists $θ_0>0$ such that $\nabla u \in W^{s,p}_{loc}(\mathbb{R}^2)\cap L^{\infty}(\mathbb{R}^2)$ for $s\in(0,1)$, $p\in(1,\infty)$ with $0<sp < θ_0$. We also recall a construction, which shows that in situations with additional symmetry much better regula…
In this note we prove that, if the cost function satisfies some necessary structural conditions and the densities are bounded away from zero and infinity, then strictly $c$-convex potentials arising in optimal transportation belong to $W^{2,1+κ}_{\rm loc}$ for some $κ>0$. This generalizes some recents results concerning the regularity of strictly convex Alexandrov solutions of the Monge-Ampère equation with right hand side bounded away from zero and infinity.
In this article we continue our study of higher Sobolev regularity of flexible convex integration solutions to differential inclusions arising from applications in materials sciences. We present a general framework yielding higher Sobolev regularity for Dirichlet problems with affine data in $\text{int}(K^{lc})$. This allows us to simultaneously deal with linear and nonlinear differential inclusion problems. We show that the derived higher integrability and differentiability exponent has a lower bound, which is independent of the position of the Dirichlet boundary data in $\text{int}(K^{lc})$.…
We refine the theory of the cohomological equation for translation flows on higher genus surfaces with the goal of proving optimal results on the Sobolev regularity of solutions and of distributional obstructions. For typical translation surfaces our results are sharp and we find the expected relation between the regularity of the distributional obstructions and the Lyapunov exponents of the Kontsevich-Zorich renormalization cocycle. As a consequence we exactly determine the dimension of the space of obstructions in each Sobolev regularity class in terms of the Kontsevich-Zorich exponents. For…
We study the equivalence between the weighted least gradient problem and the weighted Beckmann minimal flow problem or equivalently, the optimal transport problem with Riemannian cost. Thanks to this equivalence, we prove existence and uniqueness of a solution to the weighted least gradient problem. Then, we show $L^p$ regularity on the transport density between two singular measures in the corresponding equivalent Riemannian optimal transport formulation. This will imply $W^{1,p}$ regularity of the solution of the weighted least gradient problem.
We prove the existence of quasi-periodic solutions for Schroedinger equations with a multiplicative potential on T^d, d \geq 1, merely differentiable nonlinearities, and tangential frequencies constrained along a pre-assigned direction. The solutions have only Sobolev regularity both in time and space. If the nonlinearity and the potential are infinitely many times differentiable so are the solutions. The proofs are based on an improved Nash-Moser iterative scheme, which assumes the weakest tame estimates for the inverse linearized operators ("Green functions") along scales of Sobolev spaces. …
The paper proves existence of a large class of smooth solutions to the incompressible Navier-Stokes equations in the three dimensional space. The viscosity coefficient is put to be $1$. Our result points a new class of regular solutions with arbitrary large Cauchy integral $\int |\nabla v|^2 dx$.
In this paper we study the initial-value problem associated with the Benjamin-Ono-Zakharov-Kuznetsov equation. Such equation appears as a two-dimensional generalization of the Benjamin-Ono equation when transverse effects are included via weak dispersion of Zakharov-Kuznetsov type. We prove that the initial-value problem is locally well-posed in the usual $L^2(\R^2)$-based Sobolev spaces $H^{s}(\R^2)$, $s>11/8$, and in some weighted Sobolev spaces. To obtain our results, most of the arguments are accomplished taking into account the ones for the Benjamin-Ono equation.
We study the regularity of solutions of the Poisson equation with Dirichlet, Neumann and mixed boundary values in polyhedral cones $K\subset \mathbb{R}^3$ in the specific scale $\ B^α_{τ,τ}, \ \frac{1}τ=\fracα{d}+\frac{1}{p}\ $ of Besov spaces. The regularity of the solution in these spaces determines the order of approximation that can be achieved by adaptive and nonlinear numerical schemes. We aim for a thorough discussion of homogeneous and inhomogeneous boundary data in all settings studied and show that the solutions are much smoother in this specific Besov scale compared to the fractiona…
Let $Ω$ be a Lipschitz domain in $\mathbb R^n,n\geq 3,$ and $L=\divt A\nabla$ be a second order elliptic operator in divergence form. We will establish that the solvability of the Dirichlet regularity problem for boundary data in Hardy-Sobolev space $\HS$ is equivalent to the solvability of the Dirichlet regularity problem for boundary data in $H^{1,p}$ for some $1<p<\infty$. This is a "dual result" to a theorem in \cite{DKP09}, where it has been shown that the solvability of the Dirichlet problem with boundary data in $\text{BMO}$ is equivalent to the solvability for boundary data in $L^p(\pa…
Consider a Lipschitz domain $Ω$ and a measurable function $μ$ supported in $\overlineΩ$ with $\left\|μ\right\|_{L^\infty}<1$. Then the derivatives of a quasiconformal solution of the Beltrami equation $\overline{\partial} f =μ\partial f$ inherit the Sobolev regularity $W^{n,p}(Ω)$ of the Beltrami coefficient $μ$ as long as $Ω$ is regular enough. The condition obtained is that the outward unit normal vector $N$ of the boundary of the domain is in the trace space, that is, $N\in B^{n-1/p}_{p,p}(\partialΩ)$.
