-
Regularity for solutions of H-systems and n-harmonic maps with n/2 square integrable derivatives
Authors:
Michał Miśkiewicz,
Bogdan Petraszczuk,
Paweł Strzelecki
Abstract:
We study the regularity of weak solutions for two elliptic systems involving the $n$-Laplacian and a critical nonlinearity in the right hand side: $H$-systems and $n$-harmonic maps into compact Riemannian manifolds. Under the assumptions that the solutions belong to $W^{n/2,2}$ in an even dimension $n$, we prove their continuty.
The tools used in the proof involve Hardy spaces and BMO, and the R…
▽ More
We study the regularity of weak solutions for two elliptic systems involving the $n$-Laplacian and a critical nonlinearity in the right hand side: $H$-systems and $n$-harmonic maps into compact Riemannian manifolds. Under the assumptions that the solutions belong to $W^{n/2,2}$ in an even dimension $n$, we prove their continuty.
The tools used in the proof involve Hardy spaces and BMO, and the Rivière--Uhlenbeck decomposition (with estimates in Morrey spaces). A prominent role is played by the Coifman--Rochberg--Weiss commutator theorem.
△ Less
Submitted 28 June, 2022;
originally announced June 2022.
-
Invitation to H-systems in higher dimensions: known results, new facts, and related open problems
Authors:
Armin Schikorra,
Paweł Strzelecki
Abstract:
In this paper, we discuss two well-known open problems in the regularity theory for nonlinear, conformally invariant elliptic systems in dimensions $n\ge 3$, with a critical nonlinearity: $H$-systems (equations of hypersurfaces of prescribed mean curvature) and $n$-harmonic maps into compact Riemannian manifolds.
For $n=2$ several solutions of these problems are known but they all break down in…
▽ More
In this paper, we discuss two well-known open problems in the regularity theory for nonlinear, conformally invariant elliptic systems in dimensions $n\ge 3$, with a critical nonlinearity: $H$-systems (equations of hypersurfaces of prescribed mean curvature) and $n$-harmonic maps into compact Riemannian manifolds.
For $n=2$ several solutions of these problems are known but they all break down in higher dimensions (unless one considers special cases, e.g. hypersurfaces of constant mean curvature or manifolds with symmetries). We discuss some of the known proofs and hint at the main difficulties.
We also state a few new results (such as positive answers for all solutions of class $W^{n/2,2}$ for even $n$, instead of $W^{1,n}$) and list some open questions of independent interest - including specific endpoint variants of the Coifman-Rochberg-Weiss theorem, addressing the boundedness of commutators of fractional and singular integrals with multiplication by bounded functions of class $W^{1,n}$ - that would lead to solutions of these two problems.
△ Less
Submitted 25 June, 2016;
originally announced June 2016.
-
Compactness and isotopy finiteness for submanifolds with uniformly bounded geometric curvature energies
Authors:
Sławomir Kolasiński,
Paweł Strzelecki,
Heiko von der Mosel
Abstract:
In this paper, we establish compactness for various geometric curvature energies including integral Menger curvature, and tangent-point repulsive potentials, defined a priori on the class of compact, embedded $m$-dimensional Lipschitz submanifolds in ${\mathbb{R}}^n$. It turns out that due to a smoothing effect any sequence of submanifolds with uniformly bounded energy contains a subsequence conve…
▽ More
In this paper, we establish compactness for various geometric curvature energies including integral Menger curvature, and tangent-point repulsive potentials, defined a priori on the class of compact, embedded $m$-dimensional Lipschitz submanifolds in ${\mathbb{R}}^n$. It turns out that due to a smoothing effect any sequence of submanifolds with uniformly bounded energy contains a subsequence converging in $C^1$ to a limit submanifold.
This result has two applications. The first one is an isotopy finiteness theorem: there are only finitely many isotopy types of such submanifolds below a given energy value, and we provide explicit bounds on the number of isotopy types in terms of the respective energy. The second one is the lower semicontinuity - with respect to Hausdorff-convergence of submanifolds - of all geometric curvature energies under consideration, which can be used to minimise each of these energies within prescribed isotopy classes.
△ Less
Submitted 2 October, 2015; v1 submitted 17 April, 2015;
originally announced April 2015.
-
A conditional regularity result for p-harmonic flows
Authors:
Krystian Kazaniecki,
Michał Łasica,
Katarzyna Ewa Mazowiecka,
Paweł Strzelecki
Abstract:
We prove an $\varepsilon$-regularity result for a wide class of parabolic systems $$ u_t-\text{div}\big(|\nabla u|^{p-2}\nabla u) = B(u, \nabla u) $$ with the right hand side $B$ growing like $|\nabla u|^p$. It is assumed that the solution $u(t,\cdot)$ is uniformly small in the space of functions of bounded mean oscillation. The crucial tool is provided by a sharp nonlinear version of the Gagliard…
▽ More
We prove an $\varepsilon$-regularity result for a wide class of parabolic systems $$ u_t-\text{div}\big(|\nabla u|^{p-2}\nabla u) = B(u, \nabla u) $$ with the right hand side $B$ growing like $|\nabla u|^p$. It is assumed that the solution $u(t,\cdot)$ is uniformly small in the space of functions of bounded mean oscillation. The crucial tool is provided by a sharp nonlinear version of the Gagliardo-Nirenberg inequality which has been used earlier in an elliptic context by T. Rivière and the last named author.
△ Less
Submitted 9 November, 2015; v1 submitted 8 June, 2014;
originally announced June 2014.
-
The Lavrentiev gap phenomenon for harmonic maps into spheres holds on a dense set of zero degree boundary data
Authors:
Katarzyna Mazowiecka,
Paweł Strzelecki
Abstract:
We prove that for each positive integer $N$ the set of smooth, zero degree maps $ψ\colon\mathbb{S}^2\to \mathbb{S}^2$ which have the following three properties:
(1) there is a unique minimizing harmonic map $u\colon \mathbb{B}^3\to \mathbb{S}^2$ which agrees with $ψ$ on the boundary of the unit ball;
(2) this map $u$ has at least $N$ singular points in $\mathbb{B}^3$;
(3) the Lavrentiev gap…
▽ More
We prove that for each positive integer $N$ the set of smooth, zero degree maps $ψ\colon\mathbb{S}^2\to \mathbb{S}^2$ which have the following three properties:
(1) there is a unique minimizing harmonic map $u\colon \mathbb{B}^3\to \mathbb{S}^2$ which agrees with $ψ$ on the boundary of the unit ball;
(2) this map $u$ has at least $N$ singular points in $\mathbb{B}^3$;
(3) the Lavrentiev gap phenomenon holds for $ψ$, i.e., the infimum of the Dirichlet energies $E(w)$ of all smooth extensions $w\colon \mathbb{B}^3\to\mathbb{S}^2$ of $ψ$ is strictly larger than the Dirichlet energy $\int_{\mathbb{B}^3} |\nabla u|^2$ of the (irregular) minimizer $u$, is dense in the set of all smooth zero degree maps $φ\colon \mathbb{S}^2\to\mathbb{S}^2$ endowed with the $W^{1,p}$-topology, where $1\le p < 2$. This result is sharp: it fails in the $W^{1,2}$ topology on the set of all smooth boundary data.
△ Less
Submitted 13 December, 2015; v1 submitted 3 June, 2014;
originally announced June 2014.
-
Weak compactness of solutions for fourth order elliptic systems with critical growth
Authors:
Paweł Goldstein,
Paweł Strzelecki,
Anna Zatorska-Goldstein
Abstract:
We consider a class of fourth order elliptic systems which include the Euler-Lagrange equations of biharmonic mappings in dimension 4 and we prove that weak limit of weak solutions to such systems is again a weak solution to a limit system.
We consider a class of fourth order elliptic systems which include the Euler-Lagrange equations of biharmonic mappings in dimension 4 and we prove that weak limit of weak solutions to such systems is again a weak solution to a limit system.
△ Less
Submitted 5 January, 2013;
originally announced January 2013.
-
On some knot energies involving Menger curvature
Authors:
Paweł Strzelecki,
Marta Szumańska,
Heiko von der Mosel
Abstract:
We investigate knot-theoretic properties of geometrically defined curvature energies such as integral Menger curvature. Elementary radii-functions, such as the circumradius of three points, generate a family of knot energies guaranteeing self-avoidance and a varying degree of higher regularity of finite energy curves. All of these energies turn out to be charge, minimizable in given isotopy classe…
▽ More
We investigate knot-theoretic properties of geometrically defined curvature energies such as integral Menger curvature. Elementary radii-functions, such as the circumradius of three points, generate a family of knot energies guaranteeing self-avoidance and a varying degree of higher regularity of finite energy curves. All of these energies turn out to be charge, minimizable in given isotopy classes, tight and strong. Almost all distinguish between knots and unknots, and some of them can be shown to be uniquely minimized by round circles. Bounds on the stick number and the average crossing number, some non-trivial global lower bounds, and unique minimization by circles upon compaction complete the picture.
△ Less
Submitted 25 November, 2012; v1 submitted 7 September, 2012;
originally announced September 2012.
-
Characterizing $W^{2,p}$~submanifolds by $p$-integrability of global curvatures
Authors:
Sławomir Kolasiński,
Paweł Strzelecki,
Heiko von der Mosel
Abstract:
We give sufficient and necessary geometric conditions, guaranteeing that an immersed compact closed manifold $Σ^m\subset \R^n$ of class $C^1$ and of arbitrary dimension and codimension (or, more generally, an Ahlfors-regular compact set $Σ$ satisfying a mild general condition relating the size of holes in $Σ$ to the flatness of $Σ$ measured in terms of beta numbers) is in fact an embedded manifold…
▽ More
We give sufficient and necessary geometric conditions, guaranteeing that an immersed compact closed manifold $Σ^m\subset \R^n$ of class $C^1$ and of arbitrary dimension and codimension (or, more generally, an Ahlfors-regular compact set $Σ$ satisfying a mild general condition relating the size of holes in $Σ$ to the flatness of $Σ$ measured in terms of beta numbers) is in fact an embedded manifold of class $C^{1,τ}\cap W^{2,p}$, where $p>m$ and $τ=1-m/p$. The results are based on a careful analysis of Morrey estimates for integral curvature--like energies, with integrands expressed geometrically, in terms of functions that are designed to measure either (a) the shape of simplices with vertices on $Σ$ or (b) the size of spheres tangent to $Σ$ at one point and passing through another point of $Σ$.
Appropriately defined \emph{maximal functions} of such integrands turn out to be of class $L^p(Σ)$ for $p>m$ if and only if the local graph representations of $Σ$ have second order derivatives in $L^p$ and $Σ$ is embedded. There are two ingredients behind this result. One of them is an equivalent definition of Sobolev spaces, widely used nowadays in analysis on metric spaces. The second one is a careful analysis of local Reifenberg flatness (and of the decay of functions measuring that flatness) for sets with finite curvature energies. In addition, for the geometric curvature energy involving tangent spheres we provide a nontrivial lower bound that is attained if and only if the admissible set $Σ$ is a round sphere.
△ Less
Submitted 20 October, 2012; v1 submitted 21 March, 2012;
originally announced March 2012.
-
Tangent-point repulsive potentials for a class of non-smooth $m$-dimensional sets in $\R^n$. Part I: Smoothing and self-avoidance effects
Authors:
Pawel Strzelecki,
Heiko von der Mosel
Abstract:
We consider repulsive potential energies $\E_q(Σ)$, whose integrand measures tangent-point interactions, on a large class of non-smooth $m$-dimensional sets $Σ$ in $\R^n.$ Finiteness of the energy $\E_q(Σ)$ has three sorts of effects for the set $Σ$: topological effects excluding all kinds of (a priori admissible) self-intersections, geometric and measure-theoretic effects, providing large project…
▽ More
We consider repulsive potential energies $\E_q(Σ)$, whose integrand measures tangent-point interactions, on a large class of non-smooth $m$-dimensional sets $Σ$ in $\R^n.$ Finiteness of the energy $\E_q(Σ)$ has three sorts of effects for the set $Σ$: topological effects excluding all kinds of (a priori admissible) self-intersections, geometric and measure-theoretic effects, providing large projections of $Σ$ onto suitable $m$-planes and therefore large $m$-dimensional Hausdorff measure of $Σ$ within small balls up to a uniformly controlled scale, and finally, regularizing effects culminating in a geometric variant of the Morrey-Sobolev embedding theorem: Any admissible set $Σ$ with finite $\E_q$-energy, for any exponent $q>2m$, is, in fact, a $C^1$-manifold whose tangent planes vary in a Hölder continuous manner with the optimal Hölder exponent $μ=1-(2m)/q$. Moreover, the patch size of the local $C^{1,μ}$-graph representations is uniformly controlled from below only in terms of the energy value $\E_q(Σ)$.
△ Less
Submitted 17 February, 2011;
originally announced February 2011.
-
Tangent-point self-avoidance energies for curves
Authors:
Pawel Strzelecki,
Heiko von der Mosel
Abstract:
We study a two-point self-avoidance energy $E_q$ which is defined for all rectifiable curves in $R^n$ as the double integral along the curve of $1/r^q$. Here $r$ stands for the radius of the (smallest) circle that is tangent to the curve at one point and passes through another point on the curve, with obvious natural modifications of this definition in the exceptional, non-generic cases. It turns…
▽ More
We study a two-point self-avoidance energy $E_q$ which is defined for all rectifiable curves in $R^n$ as the double integral along the curve of $1/r^q$. Here $r$ stands for the radius of the (smallest) circle that is tangent to the curve at one point and passes through another point on the curve, with obvious natural modifications of this definition in the exceptional, non-generic cases. It turns out that finiteness of $E_q(γ)$ for $q\ge 2$ guarantees that $γ$ has no self-intersections or triple junctions and therefore must be homeomorphic to the unit circle or to a closed interval. For $q>2$ the energy $E_q$ evaluated on curves in $R^3$ turns out to be a knot energy separating different knot types by infinite energy barriers and bounding the number of knot types below a given energy value. We also establish an explicit upper bound on the Hausdorff-distance of two curves in $R^3$ with finite $E_q$-energy that guarantees that these curves are ambient isotopic. This bound depends only on $q$ and the energy values of the curves. Moreover, for all $q$ that are larger than the critical exponent $2$, the arclength parametrization of $γ$ is of class $C^{1,1-2/q}$, with Hölder norm of the unit tangent depending only on $q$, the length of $γ$, and the local energy. The exponent $1-2/q$ is optimal.
△ Less
Submitted 5 July, 2010; v1 submitted 23 June, 2010;
originally announced June 2010.
-
Integral Menger curvature for surfaces
Authors:
Pawel Strzelecki,
Heiko von der Mosel
Abstract:
We develop the concept of integral Menger curvature for a large class of nonsmooth surfaces. We prove uniform Ahlfors regularity and a $C^{1,λ}$-a-priori bound for surfaces for which this functional is finite. In fact, it turns out that there is an explicit length scale $R>0$ which depends only on an upper bound $E$ for the integral Menger curvature $M_p(Σ)$ and the integrability exponent $p$, a…
▽ More
We develop the concept of integral Menger curvature for a large class of nonsmooth surfaces. We prove uniform Ahlfors regularity and a $C^{1,λ}$-a-priori bound for surfaces for which this functional is finite. In fact, it turns out that there is an explicit length scale $R>0$ which depends only on an upper bound $E$ for the integral Menger curvature $M_p(Σ)$ and the integrability exponent $p$, and \emph{not} on the surface $Σ$ itself; below that scale, each surface with energy smaller than $E$ looks like a nearly flat disc with the amount of bending controlled by the (local) $M_p$-energy. Moreover, integral Menger curvature can be defined a priori for surfaces with self-intersections or branch points; we prove that a posteriori all such singularities are excluded for surfaces with finite integral Menger curvature. By means of slicing and iterative arguments we bootstrap the Hölder exponent $λ$ up to the optimal one, $λ=1-(8/p)$, thus establishing a new geometric `Morrey-Sobolev' imbedding theorem.
As two of the various possible variational applications we prove the existence of surfaces in given isotopy classes minimizing integral Menger curvature with a uniform bound on area, and of area minimizing surfaces subjected to a uniform bound on integral Menger curvature.
△ Less
Submitted 18 November, 2009; v1 submitted 11 November, 2009;
originally announced November 2009.
