Showing 1–50 of 100 results for author: Van Schaftingen, J

Stationary $p$-harmonic maps approaching planar singular harmonic maps to the circle

Authors: Marco Badran, Jean Van Schaftingen

Abstract: Given a bounded planar domain $Ω\subset \mathbb{R}^2$, we show that any singular harmonic map into the circle $\mathbb{S}^1$ corresponding to a topologically nondegenerate critical point of the renormalised energy in the sense of Bethuel, Brezis and Hélein is a limit of stationary $p$-harmonic maps for $p < 2$ as $p \to 2$ Given a bounded planar domain $Ω\subset \mathbb{R}^2$, we show that any singular harmonic map into the circle $\mathbb{S}^1$ corresponding to a topologically nondegenerate critical point of the renormalised energy in the sense of Bethuel, Brezis and Hélein is a limit of stationary $p$-harmonic maps for $p < 2$ as $p \to 2$ △ Less

Submitted 15 May, 2025; originally announced May 2025.

Comments: 24 pages

MSC Class: 58E20; 35B25; 35J57; 35J92; 35Q56; 49K20

Journal ref: Journal of Mathematical Analysis and Applications Volume 551, Issue 2, Part 1, 15 November 2025, 129697

Trace conjunction inequalities

Authors: Jean Van Schaftingen

Abstract: Trace conjunction integrals are introduced and studied. They appear in trace conjunction inequalities which unify the Hardy inequality on a halfspace and the classical Gagliardo trace inequality. At the endpoint they satisfy a Bourgain-Brezis-Mironescu formula for smooth maps, which raises some new open problems. Trace conjunction integrals are introduced and studied. They appear in trace conjunction inequalities which unify the Hardy inequality on a halfspace and the classical Gagliardo trace inequality. At the endpoint they satisfy a Bourgain-Brezis-Mironescu formula for smooth maps, which raises some new open problems. △ Less

Submitted 25 February, 2025; originally announced February 2025.

Comments: 18 pages

MSC Class: 46E35

Journal ref: Annals Academy of Romanian Scientists Series on Mathematics on Its Application, 17 no 1 (2025), 321

Extensions of traces for Sobolev mappings into manifolds at the endpoint $p=1$

Authors: Jean Van Schaftingen, Benoît Van Vaerenbergh

Abstract: We give direct proofs and constructions of the trace and extension theorems for Sobolev mappings in $W^{1, 1} (M, N)$, where $M$ is Riemannian manifold with compact boundary $\partial M$ and $N$ is a complete Riemannian manifold. The analysis is also applicable to halfspaces and strips. The extension is based on a tiling the domain of the considered applications by suitably chosen dyadic cubes to… ▽ More We give direct proofs and constructions of the trace and extension theorems for Sobolev mappings in $W^{1, 1} (M, N)$, where $M$ is Riemannian manifold with compact boundary $\partial M$ and $N$ is a complete Riemannian manifold. The analysis is also applicable to halfspaces and strips. The extension is based on a tiling the domain of the considered applications by suitably chosen dyadic cubes to construct the desired extension. Along the way, we obtain asymptotic characterizations of the $L^1$-energy of mappings. △ Less

Submitted 24 February, 2025; originally announced February 2025.

Comments: 21 pages

MSC Class: 58D15 (Primary) 46E35; 46T10; 58J32 (Secondary)

Generic topological screening and approximation of Sobolev maps

Authors: Pierre Bousquet, Augusto C. Ponce, Jean Van Schaftingen

Abstract: This manuscript develops a framework for the strong approximation of Sobolev maps with values in compact manifolds, emphasizing the interplay between local and global topological properties. Building on topological concepts adapted to VMO maps, such as homotopy and the degree of continuous maps, it introduces and analyzes extendability properties, focusing on the notions of $\ell$-extendability an… ▽ More This manuscript develops a framework for the strong approximation of Sobolev maps with values in compact manifolds, emphasizing the interplay between local and global topological properties. Building on topological concepts adapted to VMO maps, such as homotopy and the degree of continuous maps, it introduces and analyzes extendability properties, focusing on the notions of $\ell$-extendability and its generalization, $(\ell, e)$-extendability. We rely on Fuglede maps, providing a robust setting for handling compositions with Sobolev maps. Several constructions -- including opening, thickening, adaptive smoothing, and shrinking -- are carefully integrated into a unified approach that combines homotopical techniques with precise quantitative estimates. Our main results establish that a Sobolev map $u \in W^{k, p}$ defined on a compact manifold of dimension $m > kp$ can be approximated by smooth maps if and only if $u$ is $(\lfloor kp \rfloor, e)$-extendable with $e = m$. When $e < m$, the approximation can still be carried out using maps that are smooth except on structured singular sets of rank $m - e - 1$. △ Less

Submitted 30 January, 2025; originally announced January 2025.

Comments: 214 pages

MSC Class: Primary: 58D15; 46E35; 58C25; Secondary: 47H11; 26A99; 55S35

Trace theory for gauge-covariant Sobolev spaces

Authors: Jean Van Schaftingen, Leon Winter

Abstract: The traces of gauge-covariant Sobolev spaces on a Riemannian vector bundle for some connection are characterised as some gauge-covariant fractional Sobolev spaces when the curvature of the connection is bounded. The constants in the trace and extension theorems only depend on this curvature. When the connection is abelian, one recovers known results for magnetic Sobolev spaces. The traces of gauge-covariant Sobolev spaces on a Riemannian vector bundle for some connection are characterised as some gauge-covariant fractional Sobolev spaces when the curvature of the connection is bounded. The constants in the trace and extension theorems only depend on this curvature. When the connection is abelian, one recovers known results for magnetic Sobolev spaces. △ Less

Submitted 28 January, 2025; originally announced January 2025.

Comments: 31 pages

MSC Class: 46E35 (Primary) 26A33; 35Q40; 58E15; 81T13 (Secondary)

Analytical obstructions to the weak approximation of Sobolev mappings into manifolds

Authors: Antoine Detaille, Jean Van Schaftingen

Abstract: For any integer $ p \geq 2 $, we construct a compact Riemannian manifold $ \mathcal{N} $ such that if $ \dim \mathcal{M} > p $, there is a map in the Sobolev space of mappings $ W^{1,p} (\mathcal{M}, \mathcal{N})$ which is not a weak limit of smooth maps into $ \mathcal{N} $ due to a mechanism of analytical obstruction. For $ p = 4n - 1 $, the target manifold can be taken to be the sphere… ▽ More For any integer $ p \geq 2 $, we construct a compact Riemannian manifold $ \mathcal{N} $ such that if $ \dim \mathcal{M} > p $, there is a map in the Sobolev space of mappings $ W^{1,p} (\mathcal{M}, \mathcal{N})$ which is not a weak limit of smooth maps into $ \mathcal{N} $ due to a mechanism of analytical obstruction. For $ p = 4n - 1 $, the target manifold can be taken to be the sphere $ \mathbb{S}^{2n} $ thanks to the construction by Whitehead product of maps with nontrivial Hopf invariant, generalizing the result by Bethuel for $ p = 4n -1 = 3$. The results extend to higher order Sobolev spaces $ W^{s,p} $, with $ s \in \mathbb{R} $, $s \geq 1 $, $ sp \in \mathbb{N}$, and $ sp \ge 2 $. △ Less

Submitted 12 April, 2025; v1 submitted 17 December, 2024; originally announced December 2024.

Comments: New description of the target manifold in the main theorem added; some typos corrected

MSC Class: 58D15 (Primary) 46E35; 46T10; 58C25 (Secondary)

On the local character of the extension of traces for Sobolev mappings

Authors: Jean Van Schaftingen

Abstract: We prove that a mapping $u \colon \mathcal{M}'\to \mathcal{N}$, where $\mathcal{M}'$ and $ \mathcal{N}$ are compact Riemannian manifolds, is the trace of a Sobolev mapping $U \colon \mathcal{M}' \times [0, 1) \to \mathcal{N}$ if and only if it is on some open covering of $\mathcal{M}'$. In the global case where $\mathcal{M}$ is a compact Riemannian manifold with boundary, this implies that the ana… ▽ More We prove that a mapping $u \colon \mathcal{M}'\to \mathcal{N}$, where $\mathcal{M}'$ and $ \mathcal{N}$ are compact Riemannian manifolds, is the trace of a Sobolev mapping $U \colon \mathcal{M}' \times [0, 1) \to \mathcal{N}$ if and only if it is on some open covering of $\mathcal{M}'$. In the global case where $\mathcal{M}$ is a compact Riemannian manifold with boundary, this implies that the analytical obstructions to the extension of a mapping $u \colon \partial \mathcal{M}\to \mathcal{N}$ to some Sobolev mapping $U \colon \mathcal{M} \to \mathcal{N}$ are purely local. △ Less

Submitted 17 December, 2024; originally announced December 2024.

Comments: 16 pages

MSC Class: 58D15 (Primary) 46E35; 46T10; 58C25; 58J32 (Secondary)

Limiting Korn-Maxwell-Sobolev inequalities for general incompatibilities

Authors: Franz Gmeineder, Peter Lewintan, Jean Van Schaftingen

Abstract: We give sharp conditions for the limiting Korn-Maxwell-Sobolev inequalities \begin{align*} \lVert P\rVert_{\dot{W}{^{k-1,\frac{n}{n-1}}}(\mathbb{R}^n)}\le c\big(\lVert\mathscr{A}[P]\rVert_{\dot{W}{^{k-1,\frac{n}{n-1}}}(\mathbb{R}^n)}+\lVert\mathbb{B}P\rVert_{L^{1}(\mathbb{R}^n)}\big) \end{align*} to hold for all $P\in C_{c}^{\infty}(\mathbb{R}^{n};V)$, where $\mathscr{A}$ is a linear map betwe… ▽ More We give sharp conditions for the limiting Korn-Maxwell-Sobolev inequalities \begin{align*} \lVert P\rVert_{\dot{W}{^{k-1,\frac{n}{n-1}}}(\mathbb{R}^n)}\le c\big(\lVert\mathscr{A}[P]\rVert_{\dot{W}{^{k-1,\frac{n}{n-1}}}(\mathbb{R}^n)}+\lVert\mathbb{B}P\rVert_{L^{1}(\mathbb{R}^n)}\big) \end{align*} to hold for all $P\in C_{c}^{\infty}(\mathbb{R}^{n};V)$, where $\mathscr{A}$ is a linear map between finite dimensional vector spaces and $\mathbb{B}$ is a $k$-th order, linear and homogeneous constant-coefficient differential operator. By the appearance of the $L^{1}$-norm of the differential expression $\mathbb{B}P$ on the right-hand side, such inequalities generalise previously known estimates to the borderline case $p=1$, and thereby answer an open problem due to Müller, Neff and the second author (Calc. Var. PDE, 2021) in the affirmative. △ Less

Submitted 16 May, 2024; originally announced May 2024.

MSC Class: 35A23; 26D10; 35Q74/35Q75; 46E35

The extension of traces for Sobolev mappings between manifolds

Authors: Jean Van Schaftingen

Abstract: The compact Riemannian manifolds $\mathcal{M}$ and $\mathcal{N}$ for which the trace operator from the first-order Sobolev space of mappings $\smash{\dot{W}}^{1, p} (\mathcal{M}, \mathcal{N})$ to the fractional Sobolev-Slobodeckiĭ space $\smash{\smash{\dot{W}}^{1 - 1/p, p}} (\partial \mathcal{M}, \mathcal{N})$ is surjective when $1 < p < \dim \mathcal{M}$ are characterised. The traces are extended… ▽ More The compact Riemannian manifolds $\mathcal{M}$ and $\mathcal{N}$ for which the trace operator from the first-order Sobolev space of mappings $\smash{\dot{W}}^{1, p} (\mathcal{M}, \mathcal{N})$ to the fractional Sobolev-Slobodeckiĭ space $\smash{\smash{\dot{W}}^{1 - 1/p, p}} (\partial \mathcal{M}, \mathcal{N})$ is surjective when $1 < p < \dim \mathcal{M}$ are characterised. The traces are extended using a new construction which can be carried out assuming the absence of the known topological and analytical obstructions. When $p \ge \dim \mathcal{M}$ the same construction provides a Sobolev extension with linear estimates for maps that have a continuous extension, provided that there are no known analytical obstructions to such a control. △ Less

Submitted 18 July, 2024; v1 submitted 27 March, 2024; originally announced March 2024.

Comments: 56 pages, minor corrections and edits

MSC Class: 58D15 (Primary) 46E35; 46T10; 58C25; 58J32 (Secondary)

Limiting behavior of minimizing $p$-harmonic maps in 3d as $p$ goes to $2$ with finite fundamental group

Authors: Bohdan Bulanyi, Jean Van Schaftingen, Benoît Van Vaerenbergh

Abstract: We study the limiting behavior of minimizing $p$-harmonic maps from a bounded Lipschitz domain $Ω\subset \mathbb{R}^{3}$ to a compact connected Riemannian manifold without boundary and with finite fundamental group as $p \nearrow 2$. We prove that there exists a closed set $S_{*}$ of finite length such that minimizing $p$-harmonic maps converge to a locally minimizing harmonic map in… ▽ More We study the limiting behavior of minimizing $p$-harmonic maps from a bounded Lipschitz domain $Ω\subset \mathbb{R}^{3}$ to a compact connected Riemannian manifold without boundary and with finite fundamental group as $p \nearrow 2$. We prove that there exists a closed set $S_{*}$ of finite length such that minimizing $p$-harmonic maps converge to a locally minimizing harmonic map in $Ω\setminus S_{*}$. We prove that locally inside $Ω$ the singular set $S_{*}$ is a finite union of straight line segments, and it minimizes the mass in the appropriate class of admissible chains. Furthermore, we establish local and global estimates for the limiting singular harmonic map. Under additional assumptions, we prove that globally in $\overlineΩ$ the set $S_{*}$ is a finite union of straight line segments, and it minimizes the mass in the appropriate class of admissible chains, which is defined by a given boundary datum and $Ω$. △ Less

Submitted 29 November, 2024; v1 submitted 7 January, 2024; originally announced January 2024.

Comments: 79 pages, 1 figure, minor corrections

MSC Class: 58E20; 49J45; 49Q10; 35B25; 76A15

Journal ref: Arch. Rational Mech. Anal., 249(3), 1-103, 2025

Singular extension of critical Sobolev mappings under an exponential weak-type estimate

Authors: Bohdan Bulanyi, Jean Van Schaftingen

Abstract: Given $m \in \mathbb{N} \setminus \{0\}$ and a compact Riemannian manifold $\mathcal{N}$, we construct for every map $u$ in the critical Sobolev space $W^{m/(m + 1), m + 1} (\mathbb{S}^m, \mathcal{N})$, a map $U : \mathbb{B}^{m + 1} \to \mathcal{N}$ whose trace is $u$ and which satisfies an exponential weak-type Sobolev estimate. The result and its proof carry on to the extension to a half-space o… ▽ More Given $m \in \mathbb{N} \setminus \{0\}$ and a compact Riemannian manifold $\mathcal{N}$, we construct for every map $u$ in the critical Sobolev space $W^{m/(m + 1), m + 1} (\mathbb{S}^m, \mathcal{N})$, a map $U : \mathbb{B}^{m + 1} \to \mathcal{N}$ whose trace is $u$ and which satisfies an exponential weak-type Sobolev estimate. The result and its proof carry on to the extension to a half-space of maps on its boundary hyperplane and to the extension to the hyperbolic space of maps on its boundary sphere at infinity. △ Less

Submitted 19 August, 2024; v1 submitted 22 September, 2023; originally announced September 2023.

Comments: 21 pages, minor corrections

MSC Class: 58D15 (Primary); 46E35 (Secondary)

Journal ref: J. Funct. Anal. 288 (2025), n°1, 110681

Endpoint Sobolev inequalities for vector fields and cancelling operators

Authors: Jean Van Schaftingen

Abstract: The injectively elliptic vector differential operators $A (\mathrm{D})$ from $V$ to $E$ on $\mathbb{R}^n$ such that the estimate \[ \Vert D^\ell u\Vert_{L^{n/(n - \ell)} (\mathbb{R}^n)} \le \Vert A (\mathrm{D}) u\Vert_{L^1 (\mathbb{R}^n)} \] holds can be characterized as the operators satisfying a cancellation condition \[ \bigcap_{ξ\in \mathbb{R}^n \setminus \{0\}} A (ξ)[V] = \{0\}\;. \] Th… ▽ More The injectively elliptic vector differential operators $A (\mathrm{D})$ from $V$ to $E$ on $\mathbb{R}^n$ such that the estimate \[ \Vert D^\ell u\Vert_{L^{n/(n - \ell)} (\mathbb{R}^n)} \le \Vert A (\mathrm{D}) u\Vert_{L^1 (\mathbb{R}^n)} \] holds can be characterized as the operators satisfying a cancellation condition \[ \bigcap_{ξ\in \mathbb{R}^n \setminus \{0\}} A (ξ)[V] = \{0\}\;. \] These estimates unify existing endpoint Sobolev inequalities for the gradient of scalar functions (Gagliardo and Nirenberg), the deformation operator (Korn-Sobolev inequality by M.J. Strauss) and the Hodge complex (Bourgain and Brezis). Their proof is based on the fact that $A (\mathrm{D}) u$ lies in the kernel of a cocancelling differential operator. △ Less

Submitted 28 April, 2023; originally announced May 2023.

Comments: 8 pages

MSC Class: 35A23 (Primary) 26D15; 35E05; 42B30; 42B35; 46E35 (Secondary)

Journal ref: Trends in Mathematics, No. 3, 2024, 47-6

Limiting Sobolev estimates for vector fields and cancelling differential operators

Authors: Jean Van Schaftingen

Abstract: These notes present Sobolev-Gagliardo-Nirenberg endpoint estimates for classes of homogeneous vector differential operators. Away of the endpoint cases, the classical Calderón-Zygmund estimates show that the ellipticity is necessary and sufficient to control all the derivatives of the vector field. In the endpoint case, Ornstein showed that there is no nontrivial estimate on same-order derivatives… ▽ More These notes present Sobolev-Gagliardo-Nirenberg endpoint estimates for classes of homogeneous vector differential operators. Away of the endpoint cases, the classical Calderón-Zygmund estimates show that the ellipticity is necessary and sufficient to control all the derivatives of the vector field. In the endpoint case, Ornstein showed that there is no nontrivial estimate on same-order derivatives. On the other hand endpoint Sobolev estimates were proved for the deformation operator (Korn-Sobolev inequality by M.J. Strauss) and for the Hodge complex (Bourgain and Brezis). The class of operators for which such Sobolev estimates holds can be characterized by a cancelling condition. The estimates rely on a duality estimate for $L^1$ vector fields satisfying some conditions on the derivatives, combined with classical algebraic and harmonic analysis techniques. This characterization unifies classes of known inequalities and extends to the case of Hardy inequalities. △ Less

Submitted 12 June, 2023; v1 submitted 27 April, 2023; originally announced April 2023.

Comments: 22 pages, lecture notes for the Spring School on Analysis 2023 "Function Spaces and Applications XII" held at Paseky nad Jizerou, May 28-June 3, 2023, corrected typos; Function spaces and applications XII (Pazeky nad Jizerou 2023), MatfyzPress, Charles University, Prague, 2023, 135-152

MSC Class: 35A23 (Primary) 26D15; 35E05; 42B30; 42B35; 46E35 (Secondary)

Injective ellipticity, cancelling operators, and endpoint Gagliardo-Nirenberg-Sobolev inequalities for vector fields

Authors: Jean Van Schaftingen

Abstract: Although Ornstein's nonestimate entails the impossibility to control in general all the $L^1$-norm of derivatives of a function by the $L^1$-norm of a constant coefficient homogeneous vector differential operator, the corresponding endpoint Sobolev inequality has been known to hold in many cases: the gradient of scalar functions (Gagliardo and Nirenberg), the deformation operator (Korn-Sobolev ine… ▽ More Although Ornstein's nonestimate entails the impossibility to control in general all the $L^1$-norm of derivatives of a function by the $L^1$-norm of a constant coefficient homogeneous vector differential operator, the corresponding endpoint Sobolev inequality has been known to hold in many cases: the gradient of scalar functions (Gagliardo and Nirenberg), the deformation operator (Korn-Sobolev inequality by M.J. Strauss), and the Hodge complex (Bourgain and Brezis). The class of differential operators for which estimates holds can be characterized by a cancelling condition. The proof of the estimates rely on a duality estimate for $L^1$-vector fields lying in the kernel of a cocancelling differential operator, combined with classical linear algebra and harmonic analysis techniques. This characterization unifies classes of known Sobolev inequalities and extends to fractional Sobolev and Hardy inequalities. A similar weaker condition introduced by Raiţă characterizes the operators for which there is an $L^\infty$-estimate on lower-order derivatives. △ Less

Submitted 17 December, 2024; v1 submitted 2 February, 2023; originally announced February 2023.

Comments: 48 pages, lecture notes for the CIME summer school "Geometric and analytic aspects of functional variational principles'', June 27 - July 1, 2022, final corrections

MSC Class: 35A23 (Primary) 26D15; 35E05; 42B30; 42B35; 46E35 (Secondary)

Journal ref: Chapter in Andrea Cianchi, Vladimir Maz'ya et Tobias Weth (eds.), Geometric and Analytic Aspects of Functional Variational Principles: Cetraro, Italy 2022, Springer Nature Switzerland, 2024, 259-317

Lifting of fractional Sobolev mappings to noncompact covering space

Authors: Jean Van Schaftingen

Abstract: Given compact Riemannian manifolds $\mathcal{M}$ and $\mathcal{N}$, a Riemannian covering $π: \smash{\widetilde{\mathcal{N}}} \to \mathcal{N}$ by a noncompact covering space $\smash{\widetilde{\mathcal{N}}}$, $1 < p < \infty$ and $0 < s < 1$, the space of liftings of fractional Sobolev maps in $\smash{\dot{W}^{s, p}} (\mathcal{M}, \mathcal{N})$ is characterized when $sp > 1$ and an optimal nonline… ▽ More Given compact Riemannian manifolds $\mathcal{M}$ and $\mathcal{N}$, a Riemannian covering $π: \smash{\widetilde{\mathcal{N}}} \to \mathcal{N}$ by a noncompact covering space $\smash{\widetilde{\mathcal{N}}}$, $1 < p < \infty$ and $0 < s < 1$, the space of liftings of fractional Sobolev maps in $\smash{\dot{W}^{s, p}} (\mathcal{M}, \mathcal{N})$ is characterized when $sp > 1$ and an optimal nonlinear fractional Sobolev estimate is obtained when moreover $sp \ge \dim \mathcal{M}$. A nonlinear characterization of the sum of spaces $\smash{\dot{W}^{s, p}} (\mathcal{M}, \mathbb{R}) + \smash{\dot{W}^{1, sp}} (\mathcal{M}, \mathbb{R})$ is also provided. △ Less

Submitted 7 July, 2023; v1 submitted 18 January, 2023; originally announced January 2023.

Comments: 38 pages, typographical corrections and global numbering of equation

MSC Class: 58D15 (Primary) 46E35 (Secondary)

Asymptotic behavior of minimizing $p$-harmonic maps when $p \nearrow 2$ in dimension 2

Authors: Jean Van Schaftingen, Benoît Van Vaerenbergh

Abstract: We study $p$--harmonic maps with Dirichlet boundary conditions from a planar domain into a general compact Riemannian manifold. We show that as $p$ approaches $2$ from below, they converge up to a subsequence to a minimizing singular renormalizable harmonic map. The singularities are imposed by topological obstructions to the existence of harmonic mappings; the location of the singularities being… ▽ More We study $p$--harmonic maps with Dirichlet boundary conditions from a planar domain into a general compact Riemannian manifold. We show that as $p$ approaches $2$ from below, they converge up to a subsequence to a minimizing singular renormalizable harmonic map. The singularities are imposed by topological obstructions to the existence of harmonic mappings; the location of the singularities being governed by a renormalized energy. Our analysis is based on lower bounds on growing balls and also yields some uniform weak-$L^p$ bounds (also known as Marcinkiewicz or Lorentz $L^{p,\infty}$). △ Less

Submitted 18 July, 2023; v1 submitted 17 January, 2023; originally announced January 2023.

Comments: 40 pages, typographical corrections

MSC Class: 58E20 (Primary) 49J45 (Secondary)

Boundary ellipticity and limiting $L^1$-estimates on halfspaces

Authors: Franz Gmeineder, Bogdan Raiţă, Jean Van Schaftingen

Abstract: We identify necessary and sufficient conditions on $k$th order differential operators $\mathbb{A}$ in terms of a fixed halfspace $H^+\subset\mathbb{R}^n$ such that the Gagliardo--Nirenberg--Sobolev inequality $$ \|D^{k-1}u\|_{\mathrm{L}^{\frac{n}{n-1}}(H^+)}\leq c\|\mathbb{A} u\|_{\mathrm{L}^1(H^+)}\quad\text{for }u\in\mathrm{C}^\infty_c (\mathbb{R}^{n},V) $$ holds. This comes as a consequ… ▽ More We identify necessary and sufficient conditions on $k$th order differential operators $\mathbb{A}$ in terms of a fixed halfspace $H^+\subset\mathbb{R}^n$ such that the Gagliardo--Nirenberg--Sobolev inequality $$ \|D^{k-1}u\|_{\mathrm{L}^{\frac{n}{n-1}}(H^+)}\leq c\|\mathbb{A} u\|_{\mathrm{L}^1(H^+)}\quad\text{for }u\in\mathrm{C}^\infty_c (\mathbb{R}^{n},V) $$ holds. This comes as a consequence of sharp trace theorems on $H=\partial H^+$. △ Less

Submitted 15 November, 2022; originally announced November 2022.

Comments: 22 pages, 2 figures

MSC Class: 26D10; 35E05; 35G15; 35G35

Journal ref: Adv. Math. 439 (2024), 109490

Fractional Gagliardo-Nirenberg interpolation inequality and bounded mean oscillation

Authors: Jean Van Schaftingen

Abstract: We prove Gagliardo-Nirenberg interpolation inequalities estimating the Sobolev semi-norm in terms of the bounded mean oscillation semi-norm and a Sobolev semi-norm, with some of the Sobolev semi-norms having fractional order. We prove Gagliardo-Nirenberg interpolation inequalities estimating the Sobolev semi-norm in terms of the bounded mean oscillation semi-norm and a Sobolev semi-norm, with some of the Sobolev semi-norms having fractional order. △ Less

Submitted 17 January, 2023; v1 submitted 31 August, 2022; originally announced August 2022.

Comments: 11 pages, additional references and localised higher-order interpolation, and typographical corrections

MSC Class: 26D10 (Primary) 35A23; 42B35; 46B70; 46E35 (Secondary)

Journal ref: C. R. Math. Acad. Sci. Paris, 308 (2023), p. 1041-1049

Sobolev spaces revisited

Authors: Haim Brezis, Andreas Seeger, Jean Van Schaftingen, Po-Lam Yung

Abstract: We describe a recent, one-parameter family of characterizations of Sobolev and BV functions on $\mathbb{R}^n$, using sizes of superlevel sets of suitable difference quotients. This provides an alternative point of view to the BBM formula by Bourgain, Brezis and Mironescu, and complements in the case of BV some results of Cohen, Dahmen, Daubechies and DeVore about the sizes of wavelet coefficients… ▽ More We describe a recent, one-parameter family of characterizations of Sobolev and BV functions on $\mathbb{R}^n$, using sizes of superlevel sets of suitable difference quotients. This provides an alternative point of view to the BBM formula by Bourgain, Brezis and Mironescu, and complements in the case of BV some results of Cohen, Dahmen, Daubechies and DeVore about the sizes of wavelet coefficients of such functions. An application towards Gagliardo-Nirenberg interpolation inequalities is then given. We also establish a related one-parameter family of formulae for the $L^p$ norm of functions in $L^p(\mathbb{R}^n)$. △ Less

Submitted 2 February, 2022; originally announced February 2022.

Comments: 21 pages

Journal ref: Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 33 (2022), no. 2, 413--437

Spaces of Besov-Sobolev type and a problem on nonlinear approximation

Authors: Óscar Domínguez, Andreas Seeger, Brian Street, Jean Van Schaftingen, Po-Lam Yung

Abstract: We study fractional variants of the quasi-norms introduced by Brezis, Van Schaftingen, and Yung in the study of the Sobolev space $\dot W^{1,p}$. The resulting spaces are identified as a special class of real interpolation spaces of Sobolev-Slobodeckiĭ spaces. We establish the equivalence between Fourier analytic definitions and definitions via difference operators acting on measurable functions.… ▽ More We study fractional variants of the quasi-norms introduced by Brezis, Van Schaftingen, and Yung in the study of the Sobolev space $\dot W^{1,p}$. The resulting spaces are identified as a special class of real interpolation spaces of Sobolev-Slobodeckiĭ spaces. We establish the equivalence between Fourier analytic definitions and definitions via difference operators acting on measurable functions. We prove various new results on embeddings and non-embeddings, and give applications to harmonic and caloric extensions. For suitable wavelet bases we obtain a characterization of the approximation spaces for best $n$-term approximation from a wavelet basis via smoothness conditions on the function; this extends a classical result by DeVore, Jawerth and Popov. △ Less

Submitted 22 November, 2022; v1 submitted 10 December, 2021; originally announced December 2021.

Comments: 45 pages

Journal ref: Journal of Functional Analysis, 284 (2023), no.4, 109775

Families of functionals representing Sobolev norms

Authors: Haim Brezis, Andreas Seeger, Jean Van Schaftingen, Po-Lam Yung

Abstract: We obtain new characterizations of the Sobolev spaces $\dot W^{1,p}(\mathbb{R}^N)$ and the bounded variation space $\dot{BV}(\mathbb{R}^N)$. The characterizations are in terms of the functionals $ν_γ (E_{λ,γ/p}[u])$ where \[ E_{λ,γ/p}[u]= \Big\{(x,y )\in \mathbb{R}^N \times \mathbb{R}^N \colon x \neq y, \, \frac{|u(x)-u(y)|}{|x-y|^{1+γ/p}}>λ\Big\} \] and the measure $ν_γ$ is given by… ▽ More We obtain new characterizations of the Sobolev spaces $\dot W^{1,p}(\mathbb{R}^N)$ and the bounded variation space $\dot{BV}(\mathbb{R}^N)$. The characterizations are in terms of the functionals $ν_γ (E_{λ,γ/p}[u])$ where \[ E_{λ,γ/p}[u]= \Big\{(x,y )\in \mathbb{R}^N \times \mathbb{R}^N \colon x \neq y, \, \frac{|u(x)-u(y)|}{|x-y|^{1+γ/p}}>λ\Big\} \] and the measure $ν_γ$ is given by $\mathrm{d} ν_γ(x,y)=|x-y|^{γ-N} \mathrm{d} x \mathrm{d} y$. We provide characterizations which involve the $L^{p,\infty}$-quasi-norms $\sup_{λ>0} λ\, ν_γ (E_{λ,γ/p}[u]) ^{1/p}$ and also exact formulas via corresponding limit functionals, with the limit for $λ\to\infty$ when $γ>0$ and the limit for $λ\to 0^+$ when $γ<0$. The results unify and substantially extend previous work by Nguyen and by Brezis, Van Schaftingen and Yung. For $p>1$ the characterizations hold for all $γ\neq 0$. For $p=1$ the upper bounds for the $L^{1,\infty}$ quasi-norms fail in the range $γ\in [-1,0) $; moreover in this case the limit functionals represent the $L^1$ norm of the gradient for $C^\infty_c$-functions but not for generic $\dot W^{1,1}$-functions. For this situation we provide new counterexamples which are built on self-similar sets of dimension $γ+1$. For $γ=0$ the characterizations of Sobolev spaces fail; however we obtain a new formula for the Lipschitz norm via the expressions $ν_0(E_{λ,0}[u])$. △ Less

Submitted 7 September, 2021; originally announced September 2021.

Comments: 40 pages

MSC Class: 26D10 (26A33; 35A23; 42B25; 42B35; 46E30; 46E3)

Journal ref: Analysis & PDE 17 (2024) 943-979

Going to Lorentz when fractional Sobolev, Gagliardo and Nirenberg estimates fail

Authors: Haïm Brezis, Jean Van Schaftingen, Po-Lam Yung

Abstract: In the cases where there is no Sobolev-type or Gagliardo-Nirenberg-type fractional estimate involving $\lvert u\rvert_{W^{s,p}}$, we establish alternative estimates where the strong $L^p$ norms are replaced by Lorentz norms. In the cases where there is no Sobolev-type or Gagliardo-Nirenberg-type fractional estimate involving $\lvert u\rvert_{W^{s,p}}$, we establish alternative estimates where the strong $L^p$ norms are replaced by Lorentz norms. △ Less

Submitted 16 January, 2022; v1 submitted 20 April, 2021; originally announced April 2021.

Comments: Fixed up some typos. arXiv admin note: text overlap with arXiv:2003.05216

MSC Class: 26D10 (Primary); 26A33; 35A23; 46E30; 46E35 (Secondary)

Journal ref: Calculus of Variations and Partial Differential Equations volume 60, Article number: 129 (2021)

Quantitative characterization of traces of Sobolev maps

Authors: Katarzyna Mazowiecka, Jean Van Schaftingen

Abstract: We give a quantitative characterization of traces on the boundary of Sobolev maps in $\dot{W}^{1,p}(\mathcal M, \mathcal N)$, where $\mathcal{M}$ and $\mathcal{N}$ are compact Riemannian manifolds, $\partial \mathcal{M} \neq \emptyset$: the Borel-measurable maps $u\colon \partial \mathcal M \to \mathcal{N}$ that are the trace of a map $U\in \dot{W}^{1,p}(\mathcal M, \mathcal{N})$ are characterized… ▽ More We give a quantitative characterization of traces on the boundary of Sobolev maps in $\dot{W}^{1,p}(\mathcal M, \mathcal N)$, where $\mathcal{M}$ and $\mathcal{N}$ are compact Riemannian manifolds, $\partial \mathcal{M} \neq \emptyset$: the Borel-measurable maps $u\colon \partial \mathcal M \to \mathcal{N}$ that are the trace of a map $U\in \dot{W}^{1,p}(\mathcal M, \mathcal{N})$ are characterized as the maps for which there exists an extension energy density $w \colon \partial \mathcal{M} \to [0,\infty]$ that controls the Sobolev energy of extensions from $\lfloor p - 1 \rfloor$-dimensional subsets of $\partial \mathcal{M}$ to $\lfloor p\rfloor$-dimensional subsets of $\mathcal{M}$. △ Less

Submitted 30 November, 2021; v1 submitted 26 January, 2021; originally announced January 2021.

Comments: 26 pages, minor corrections

Ginzburg-Landau energy and placement of singularities in generated cross fields

Authors: Alexis Macq, Maxence Reberol, François Henrotte, Pierre-Alexandre Beaufort, Alexandre Chemin, Jean-François Remacle, Jean Van Schaftingen

Abstract: Cross field generation is often used as the basis for the construction of block-structured quadrangular meshes, and the field singularities have a key impact on the structure of the resulting meshes. In this paper, we extend Ginzburg-Landau cross field generation methods with a new formulation that allows a user to impose inner singularities. The cross field is computed via the optimization of a l… ▽ More Cross field generation is often used as the basis for the construction of block-structured quadrangular meshes, and the field singularities have a key impact on the structure of the resulting meshes. In this paper, we extend Ginzburg-Landau cross field generation methods with a new formulation that allows a user to impose inner singularities. The cross field is computed via the optimization of a linear objective function with localized quadratic constraints. This method consists in fixing singularities in small holes drilled in the computational domain with specific degree conditions on their boundaries, which leads to non-singular cross fields on the drilled domain. We also propose a way to calculate the Ginzburg-Landau energy of these cross fields on the perforated domain by solving a Neumann linear problem. This energy converges to the energy of the Ginzburg-Landau functional as epsilon and the radius of the holes tend to zero. To obtain insights concerning the sum of the inner singularity degrees, we give: (i) an extension of the Ginzburg-Landau energy to the piecewise smooth domain allowing to identify the positions and degrees of the boundary singularities, and (ii) an interpretation of the Poincaré-Hopf theorem focusing on internal singularities. △ Less

Submitted 30 October, 2020; originally announced October 2020.

Ginzburg-Landau relaxation for harmonic maps on planar domains into a general compact vacuum manifold

Authors: Antonin Monteil, Rémy Rodiac, Jean Van Schaftingen

Abstract: We study the asymptotic behaviour, as a small parameter $\varepsilon$ tends to zero, of minimisers of a Ginzburg-Landau type energy with a nonlinear penalisation potential vanishing on a compact submanifold $\mathcal{N}$ and with a given $\mathcal{N}$-valued Dirichlet boundary data. We show that minimisers converge up to a subsequence to a singular $\mathcal{N}$-valued harmonic map, which is smoot… ▽ More We study the asymptotic behaviour, as a small parameter $\varepsilon$ tends to zero, of minimisers of a Ginzburg-Landau type energy with a nonlinear penalisation potential vanishing on a compact submanifold $\mathcal{N}$ and with a given $\mathcal{N}$-valued Dirichlet boundary data. We show that minimisers converge up to a subsequence to a singular $\mathcal{N}$-valued harmonic map, which is smooth outside a finite number of points around which the energy concentrates and whose singularities' location minimises a renormalised energy, generalising known results by Bethuel, Brezis and Hélein for the circle $\mathbb{S}^1$. We also obtain $Γ$-convergence results and uniform Marcinkiewicz weak $L^2$ or Lorentz $L^2$ estimates on the derivatives. We prove that solutions to the corresponding Euler-Lagrange equation converge uniformly to the constraint and converge to harmonic maps away from singularities. △ Less

Submitted 22 June, 2021; v1 submitted 31 August, 2020; originally announced August 2020.

Comments: 41 pages, minor revision

Journal ref: Arch. Rat. Mech. Anal. 242 (2021), n. 2, 875-935

Limiting Sobolev and Hardy inequalities on stratified homogeneous groups

Authors: Jean Van Schaftingen, Po-Lam Yung

Abstract: We give a sufficient condition for limiting Sobolev and Hardy inequalities to hold on stratified homogeneous groups. In the Euclidean case, this condition reduces to the known cancelling necessary and sufficient condition. We obtain in particular endpoint Korn--Sobolev and Korn--Hardy inequalities on stratified homogeneous groups. We give a sufficient condition for limiting Sobolev and Hardy inequalities to hold on stratified homogeneous groups. In the Euclidean case, this condition reduces to the known cancelling necessary and sufficient condition. We obtain in particular endpoint Korn--Sobolev and Korn--Hardy inequalities on stratified homogeneous groups. △ Less

Submitted 1 June, 2022; v1 submitted 28 July, 2020; originally announced July 2020.

Comments: To appear in Ann. Fenn. Math

MSC Class: 35R03 (26D15; 35A23; 35H20; 43A80; 46E35)

Reverse superposition estimates in Sobolev spaces

Authors: Jean Van Schaftingen

Abstract: We study when and how the norm of a function $u$ in the homogeneous Sobolev spaces $\dot{W}^{s, p} (\mathbb{R}^n, \mathbb{R}^m)$, with $p \ge 1$ and either $s = 1$ or $s > 1/p$, is controlled by the norm of composite function $f \circ u$ in the same space. We study when and how the norm of a function $u$ in the homogeneous Sobolev spaces $\dot{W}^{s, p} (\mathbb{R}^n, \mathbb{R}^m)$, with $p \ge 1$ and either $s = 1$ or $s > 1/p$, is controlled by the norm of composite function $f \circ u$ in the same space. △ Less

Submitted 26 November, 2020; v1 submitted 3 July, 2020; originally announced July 2020.

Comments: 7 pages, minor corrections

MSC Class: 46E35 (Primary); 47H30 (Secondary)

Journal ref: Pure Appl. Funct. Anal. 7 (2022), n. 2, 805-811

Renormalised energies and renormalisable singular harmonic maps into a compact manifold on planar domains

Authors: Antonin Monteil, Rémy Rodiac, Jean Van Schaftingen

Abstract: We define renormalised energies for maps that describe the first-order asymptotics of harmonic maps outside of singularities arising due to obstructions generated by the boundary data and the mutliple connectedness of the target manifold. The constructions generalise the definition by Bethuel, Brezis and Hélein for the circle (Ginzburg-Landau vortices, 1994). In general, the singularities are geom… ▽ More We define renormalised energies for maps that describe the first-order asymptotics of harmonic maps outside of singularities arising due to obstructions generated by the boundary data and the mutliple connectedness of the target manifold. The constructions generalise the definition by Bethuel, Brezis and Hélein for the circle (Ginzburg-Landau vortices, 1994). In general, the singularities are geometrical objects and the dependence on homotopic singularities can be studied through a new notion of synharmony. The renormalised energies are showed to be coercive and Lipschitz-continuous. The renormalised energies are associated to minimising renormalisable singular harmonic maps and minimising configurations of points can be characterised by the flux of the stress-energy tensor at the singularities. We compute the singular energy and the renormalised energy in several particular cases. △ Less

Submitted 26 April, 2021; v1 submitted 26 June, 2020; originally announced June 2020.

Comments: 41 pages, minor corrections

Journal ref: Math. Annal. 383 (2022), 1061-1125

A surprising formula for Sobolev norms

Authors: Haim Brezis, Jean Van Schaftingen, Po-Lam Yung

Abstract: We establish the equivalence between the Sobolev semi-norm $\|\nabla u\|_{L^p}$ and a quantity obtained when replacing the strong $L^p$ by a weak $L^p$ norm in the Gagliardo semi-norm $|u|_{W^{s,p}}$ computed at $s = 1$. As corollaries we derive alternative estimates in some exceptional cases (involving $W^{1,1}$) where the "anticipated" fractional Sobolev and Gagliardo-Nirenberg inequalities fail… ▽ More We establish the equivalence between the Sobolev semi-norm $\|\nabla u\|_{L^p}$ and a quantity obtained when replacing the strong $L^p$ by a weak $L^p$ norm in the Gagliardo semi-norm $|u|_{W^{s,p}}$ computed at $s = 1$. As corollaries we derive alternative estimates in some exceptional cases (involving $W^{1,1}$) where the "anticipated" fractional Sobolev and Gagliardo-Nirenberg inequalities fail. △ Less

Submitted 24 February, 2021; v1 submitted 11 March, 2020; originally announced March 2020.

Comments: 14 pages

MSC Class: 46E30 (Primary) 26A33; 26D10; 35A23; 46E35 (Secondary)

Journal ref: Proc. Natl. Acad. Sci. 118 (2021) no. 8, e2025254118

Trace theory for Sobolev mappings into a manifold

Authors: Petru Mironescu, Jean Van Schaftingen

Abstract: We review the current state of the art concerning the characterization of traces of the spaces $W^{1, p} (\mathbb{B}^{m-1}\times (0,1), \mathcal{N})$ of Sobolev mappings with values into a compact manifold $\mathcal{N}$. In particular, we exhibit a new analytical obstruction to the extension, which occurs when $p < m$ is an integer and the homotopy group $π_p (\mathcal{N})$ is non trivial. On the… ▽ More We review the current state of the art concerning the characterization of traces of the spaces $W^{1, p} (\mathbb{B}^{m-1}\times (0,1), \mathcal{N})$ of Sobolev mappings with values into a compact manifold $\mathcal{N}$. In particular, we exhibit a new analytical obstruction to the extension, which occurs when $p < m$ is an integer and the homotopy group $π_p (\mathcal{N})$ is non trivial. On the positive side, we prove the surjectivity of the trace operator when the fundamental group $π_1 (\mathcal{N})$ is finite and $π_2 (\mathcal{N}) \simeq \dotsb \simeq π_{\lfloor p - 1 \rfloor} (\mathcal{N}) \simeq \{0\}$. We present several open problems connected to the extension problem. △ Less

Submitted 7 January, 2020; originally announced January 2020.

Comments: 15 pages

MSC Class: 46T10 (Primary) 46E35; 58D15 (Secondary)

Journal ref: Ann. Fac. Sci. Toulouse Math. (6) 30 (2021), nox 2, 281-299

Lifting in compact covering spaces for fractional Sobolev mappings

Authors: Petru Mironescu, Jean Van Schaftingen

Abstract: Let $π: \widetilde{\mathcal{N}} \to \mathcal{N}$ be a Riemannian covering, with $\mathcal{N}$, $\widetilde{\mathcal{N}}$ smooth compact connected Riemannian manifolds. If $\mathcal{M}$ is an $m$-dimensional compact simply-connected Riemannian manifold, $0<s<1$ and $2 \le sp< m$, we prove that every mapping $u \in W^{s, p} (\mathcal{M}, \mathcal{N})$ has a lifting in $W^{s,p}$, i.e., we have… ▽ More Let $π: \widetilde{\mathcal{N}} \to \mathcal{N}$ be a Riemannian covering, with $\mathcal{N}$, $\widetilde{\mathcal{N}}$ smooth compact connected Riemannian manifolds. If $\mathcal{M}$ is an $m$-dimensional compact simply-connected Riemannian manifold, $0<s<1$ and $2 \le sp< m$, we prove that every mapping $u \in W^{s, p} (\mathcal{M}, \mathcal{N})$ has a lifting in $W^{s,p}$, i.e., we have $u = π\, \circ \, \widetilde{u}$ for some mapping $\widetilde{u} \in W^{s, p} (\mathcal{M}, \widetilde{\mathcal{N}})$. Combined with previous contributions of Bourgain, Brezis and Mironescu and Bethuel and Chiron, our result \emph{settles completely} the question of the lifting in Sobolev spaces over covering spaces. The proof relies on an a priori estimate of the oscillations of $W^{s,p}$ maps with $0<s<1$ and $sp>1$, in dimension $1$. Our argument also leads to the existence of a lifting when $0<s<1$ and $1<sp<2\le m$, provided there is no topological obstruction on $u$, i.e., $u = π\, \circ \, \widetilde{u}$ holds in this range provided $u$ is in the strong closure of $C^\infty({\mathcal{M}}, \mathcal{N})$. However, when $0<s<1$, $sp = 1$ and $m\ge 2$, we show that an (analytical) obstruction still arises, even in absence of topological obstructions. More specifically, we construct some map $u\in W^{s,p}(\mathcal{M},\mathcal{N})$ in the strong closure of $C^\infty({\mathcal{M}}, \mathcal{N})$, such that $u = π\, \circ \, \widetilde{u}$ does not hold for any $\widetilde{u} \in W^{s, p} ({\mathcal{M}}, \widetilde{\mathcal{N}} )$. △ Less

Submitted 2 July, 2019; originally announced July 2019.

Comments: 18 pages

MSC Class: 46E35 (58D15)

Journal ref: Analysis & PDE 14 (2021) 1851-1871

Estimates of the amplitude of holonomies by the curvature of a connection on a bundle

Authors: Sagun Chanillo, Jean Van Schaftingen

Abstract: We show how the amplitude of holonomies on a vector bundle can be controlled by the integral of the curvature of the connection on a surface enclosed by the curve. We show how the amplitude of holonomies on a vector bundle can be controlled by the integral of the curvature of the connection on a surface enclosed by the curve. △ Less

Submitted 6 May, 2019; originally announced May 2019.

Comments: 6 pages

Journal ref: Pure Appl. Funct. Anal. 5 (2020), n. 4, 891-897

Characterization of the traces on the boundary of functions in magnetic Sobolev spaces

Authors: Hoai-Minh Nguyen, Jean Van Schaftingen

Abstract: We characterize the trace of magnetic Sobolev spaces defined in a half-space or in a smooth bounded domain in which the magnetic field $A$ is differentiable and its exterior derivative corresponding to the magnetic field $dA$ is bounded. In particular, we prove that, for $d \ge 1$ and $p>1$, the trace of the magnetic Sobolev space $W^{1, p}_A(\mathbb{R}^{d+1}_+)$ is exactly… ▽ More We characterize the trace of magnetic Sobolev spaces defined in a half-space or in a smooth bounded domain in which the magnetic field $A$ is differentiable and its exterior derivative corresponding to the magnetic field $dA$ is bounded. In particular, we prove that, for $d \ge 1$ and $p>1$, the trace of the magnetic Sobolev space $W^{1, p}_A(\mathbb{R}^{d+1}_+)$ is exactly $W^{1-1/p, p}_{A^{\shortparallel}}(\mathbb{R}^d)$ where $A^{\shortparallel}(x) =( A_1, \dotsc, A_d)(x, 0)$ for $x \in \mathbb{R}^d$ with the convention $A = (A_1, \dotsc, A_{d+1})$ when $A \in C^1(\overline{\mathbb{R}^{d+1}_+}, \mathbb{R}^{d+1})$. We also characterize fractional magnetic Sobolev spaces as interpolation spaces and give extension theorems from a half-space to the entire space. △ Less

Submitted 3 May, 2019; originally announced May 2019.

Comments: 24 pages

MSC Class: 46E35; 26A33; 35Q40; 78A25; 82D40

Journal ref: 371 (2020), 107246

An estimate of the Hopf degree of fractional Sobolev mappings

Authors: Armin Schikorra, Jean Van Schaftingen

Abstract: We estimate the Hopf degree for smooth maps $f$ from $\mathbb{S}^{4n-1}$ to $\mathbb{S}^{2n}$ in the fractional Sobolev space. Namely we show that for $s \in [1 - \frac{1}{4n}, 1]$ \[ \left |{\rm deg}_H(f)\right | \lesssim [f]_{W^{s,\frac{4n-1}{s}}}^{\frac{4n}{s}}. \] Our argument is based on the Whitehead integral formula and commutator estimates for Jacobian-type expressions. We estimate the Hopf degree for smooth maps $f$ from $\mathbb{S}^{4n-1}$ to $\mathbb{S}^{2n}$ in the fractional Sobolev space. Namely we show that for $s \in [1 - \frac{1}{4n}, 1]$ \[ \left |{\rm deg}_H(f)\right | \lesssim [f]_{W^{s,\frac{4n-1}{s}}}^{\frac{4n}{s}}. \] Our argument is based on the Whitehead integral formula and commutator estimates for Jacobian-type expressions. △ Less

Submitted 29 April, 2019; originally announced April 2019.

Journal ref: Proc. Amer. Math. Soc. 148 (2020), no. 7, 2877-2891

Range convergence monotonicity for vector measures and range monotonicity of the mass

Authors: Justin Dekeyser, Jean Van Schaftingen

Abstract: We prove that the range of sequence of vector measures converging widely satisfies a weak lower semicontinuity property, that the convergence of the range implies the strict convergence (convergence of the total variation) and that the strict convergence implies the range convergence for strictly convex norms. In dimension 2 and for Euclidean spaces of any dimensions, we prove that the total varia… ▽ More We prove that the range of sequence of vector measures converging widely satisfies a weak lower semicontinuity property, that the convergence of the range implies the strict convergence (convergence of the total variation) and that the strict convergence implies the range convergence for strictly convex norms. In dimension 2 and for Euclidean spaces of any dimensions, we prove that the total variation of a vector measure is monotone with respect to the range. △ Less

Submitted 11 April, 2019; originally announced April 2019.

Comments: 28 pages

MSC Class: 46G10 (28B05; 52A05; 52A39)

Journal ref: Ric. Mat. 69 (2020), no. 1, 293-326

Metric characterization of the sum of fractional Sobolev spaces

Authors: Rémy Rodiac, Jean Van Schaftingen

Abstract: We introduce a non-linear criterion which allows us to determine when a function can be written as a sum of functions belonging to homogeneous fractional spaces: for $\ell \in \mathbb{N}^*$, $s_i\in (0, 1)$ and $p_i \in [1, +\infty)$, $u : Ω\to \mathbb{R}$ can be decomposed as $u = u_1+\dotsc+u_\ell$ with $u_i \in \dot{W}^{s_i,p_i}(Ω)$ if and only if… ▽ More We introduce a non-linear criterion which allows us to determine when a function can be written as a sum of functions belonging to homogeneous fractional spaces: for $\ell \in \mathbb{N}^*$, $s_i\in (0, 1)$ and $p_i \in [1, +\infty)$, $u : Ω\to \mathbb{R}$ can be decomposed as $u = u_1+\dotsc+u_\ell$ with $u_i \in \dot{W}^{s_i,p_i}(Ω)$ if and only if $$ \iint\limits_{Ω\times Ω} \min_{1 \le i \le \ell} \frac{|u (x) - u (y)|^{p_i}}{|x - y|^{n+s_ip_i}}\,\mathrm{d}x \,\mathrm{d}y <+\infty. $$ △ Less

Submitted 8 April, 2019; originally announced April 2019.

Comments: 19 pages

MSC Class: 46E35

Journal ref: Stud. Math. 258 (2021), 27-51

On limiting trace inequalities for vectorial differential operators

Authors: Franz Gmeineder, Bogdan Raita, Jean Van Schaftingen

Abstract: We establish that trace inequalities $$\|D^{k-1}u\|_{L^{\frac{n-s}{n-1}}(\mathbb{R}^{n},dμ)} \leq c \|μ\|_{L^{1,n-s}(\mathbb{R}^{n})}^{\frac{n-1}{n-s}}\|\mathbb{A}[D]u\|_{L^{1}(\mathbb{R}^{n},d\mathscr{L}^{n})}$$ hold for vector fields $u\in C^{\infty}(\mathbb{R}^{n};\mathbb{R}^{N})$ if and only if the $k$-th order homogeneous linear differential operator $\mathbb{A}[D]$ on $\mathbb{R}^{n}$ is ell… ▽ More We establish that trace inequalities $$\|D^{k-1}u\|_{L^{\frac{n-s}{n-1}}(\mathbb{R}^{n},dμ)} \leq c \|μ\|_{L^{1,n-s}(\mathbb{R}^{n})}^{\frac{n-1}{n-s}}\|\mathbb{A}[D]u\|_{L^{1}(\mathbb{R}^{n},d\mathscr{L}^{n})}$$ hold for vector fields $u\in C^{\infty}(\mathbb{R}^{n};\mathbb{R}^{N})$ if and only if the $k$-th order homogeneous linear differential operator $\mathbb{A}[D]$ on $\mathbb{R}^{n}$ is elliptic and cancelling, provided that $s<1$, and give partial results for $s=1$, where stronger conditions on $\mathbb{A}[D]$ are necessary. Here, $\|μ\|_{L^{1,λ}}$ denotes the $(1,λ)$-Morrey norm of the measure $μ$, so that such traces can be taken, for example, with respect to the Hausdorff measure $\mathscr{H}^{n-s}$ restricted to fractals of codimension $0<s<1$. The above class of inequalities give a systematic generalisation of Adams' trace inequalities to the limit case $p=1$ and can be used to prove trace embeddings for functions of bounded $\mathbb{A}$-variation, thereby comprising Sobolev functions and functions of bounded variation or deformation. We moreover establish a multiplicative version of the above inequality, which implies ($\mathbb{A}$-)strict continuity of the associated trace operators on $\text{BV}^{\mathbb{A}}$. △ Less

Submitted 20 March, 2019; originally announced March 2019.

Comments: 30 pages, 4 figures

Journal ref: Indiana Univ. Math. J. 70 (2021), n. 5, 2133-2176

Vortex motion for the lake equations

Authors: Justin Dekeyser, Jean Van Schaftingen

Abstract: The lake equations $$\left\{\begin{aligned} \nabla \cdot \big( b \, \mathbf{u}\big) &= 0 & & \text{on}\ \mathbb{R}\times D,\\ \partial_t\mathbf{u} + (\mathbf{u}\cdot \nabla)\mathbf{u} &= -\nabla h & & \text{on}\ \mathbb{R}\times D ,\\ \mathbf{u} \cdot \boldsymbolν &= 0 & & \text{on}\ \mathbb{R}\times\partial D . \end{aligned}\right.$$ model the vertically averaged horizontal velocity in an i… ▽ More The lake equations $$\left\{\begin{aligned} \nabla \cdot \big( b \, \mathbf{u}\big) &= 0 & & \text{on}\ \mathbb{R}\times D,\\ \partial_t\mathbf{u} + (\mathbf{u}\cdot \nabla)\mathbf{u} &= -\nabla h & & \text{on}\ \mathbb{R}\times D ,\\ \mathbf{u} \cdot \boldsymbolν &= 0 & & \text{on}\ \mathbb{R}\times\partial D . \end{aligned}\right.$$ model the vertically averaged horizontal velocity in an inviscid incompressible flow of a fluid in a basin whose variable depth $b : D \to [0, + \infty)$ is small in comparison with the size of its two-dimensional projection $D \subset \mathbb{R}^2$. When the depth $b$ is positive everywhere in $D$ and constant on the boundary, we prove that the vorticity of solutions of the lake equations whose initial vorticity concentrates at an interior point is asympotically a multiple of a Dirac mass whose motion is governed by the depth function $b$. △ Less

Submitted 19 February, 2020; v1 submitted 7 January, 2019; originally announced January 2019.

Comments: Minor revision, 43 pages

MSC Class: 76B47 (35D30; 35Q31; 35Q35; 76B03)

Journal ref: Comm. Math. Phys. 375 (2020), no. 2, 1459-1501

Optimal embeddings into Lorentz spaces for some vector differential operators via Gagliardo's lemma

Authors: Daniel Spector, Jean Van Schaftingen

Abstract: We prove a family of Sobolev inequalities of the form $$ \Vert u \Vert_{L^{\frac{n}{n-1}, 1} (\mathbb{R}^n,V)} \le \Vert A (D) u \Vert_{L^1 (\mathbb{R}^n,E)} $$ where $A (D) : C^\infty_c (\mathbb{R}^n, V) \to C^\infty_c (\mathbb{R}^n, E)$ is a vector first-order homogeneous linear differential operator with constant coefficients, $u$ is a vector field on $\mathbb{R}^n$ and… ▽ More We prove a family of Sobolev inequalities of the form $$ \Vert u \Vert_{L^{\frac{n}{n-1}, 1} (\mathbb{R}^n,V)} \le \Vert A (D) u \Vert_{L^1 (\mathbb{R}^n,E)} $$ where $A (D) : C^\infty_c (\mathbb{R}^n, V) \to C^\infty_c (\mathbb{R}^n, E)$ is a vector first-order homogeneous linear differential operator with constant coefficients, $u$ is a vector field on $\mathbb{R}^n$ and $L^{\frac{n}{n - 1}, 1} (\mathbb{R}^{n})$ is a Lorentz space. These new inequalities imply in particular the extension of the classical Gagliardo-Nirenberg inequality to Lorentz spaces originally due to Alvino and a sharpening of an inequality in terms of the deformation operator by Strauss (Korn-Sobolev inequality) on the Lorentz scale. The proof relies on a nonorthogonal application of the Loomis--Whitney inequality and Gagliardo's lemma. △ Less

Submitted 6 November, 2018; originally announced November 2018.

Comments: 20 pages

Journal ref: Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 30 (2019), no. 3, 413-436

Estimates by gap potentials of free homotopy decompositions of critical Sobolev maps

Authors: Jean Van Schaftingen

Abstract: A free homotopy decomposition of any continuous map from a compact Riemmanian manifold $\mathcal{M}$ to a compact Riemannian manifold $\mathcal{N}$ into a finite number maps belonging to a finite set is constructed, in such a way that the number of maps in this free homotopy decomposition and the number of elements of the set to which they belong can be estimated a priori by the critical Sobolev e… ▽ More A free homotopy decomposition of any continuous map from a compact Riemmanian manifold $\mathcal{M}$ to a compact Riemannian manifold $\mathcal{N}$ into a finite number maps belonging to a finite set is constructed, in such a way that the number of maps in this free homotopy decomposition and the number of elements of the set to which they belong can be estimated a priori by the critical Sobolev energy of the map in $W^{s,p} (\mathcal{M}, \mathcal{N})$, with $sp = m = \dim \mathcal{M}$. In particular, when the fundamental group $π_1 (\mathcal{N})$ acts trivially on the homotopy group $π_m (\mathcal{N})$, the number of homotopy classes to which a map can belong can be estimated by its Sobolev energy. The estimates are particular cases of estimates under a boundedness assumption on gap potentials of the form $$\iint\limits_{\substack{(x, y) \in \mathcal{M} \times \mathcal{M} \\ d_\mathcal{N} (f (x), f (y)) \ge \varepsilon}}\frac{1}{d_\mathcal{M} (x, y)^{2 m}} \, \mathrm{d} x \, \mathrm{d} y.$$ When $m \ge 2$, the estimates scale optimally as $\varepsilon \to 0$. Linear estimates on the Hurewicz homorphism and the induced cohomology homomorphism are also obtained. △ Less

Submitted 21 November, 2018; v1 submitted 5 November, 2018; originally announced November 2018.

Comments: 45 pages, minor corrections

MSC Class: 46E35; 55M25; 55P99; 55Q25; 58A12

Journal ref: Advances in Nonlinear Analysis, 2019, Volume 9, Issue 1, Pages 1214-1250

Representing three-dimensional cross fields using 4th order tensors

Authors: Alexandre Chemin, François Henrotte, Jean-François Remacle, Jean Van Schaftingen

Abstract: This paper presents a new way of describing cross fields based on fourth order tensors. We prove that the new formulation is forming a linear space in $\mathbb{R}^9$. The algebraic structure of the tensors and their projections on $\mbox{SO}(3)$ are presented. The relationship of the new formulation with spherical harmonics is exposed. This paper is quite theoretical. Due to pages limitation, few… ▽ More This paper presents a new way of describing cross fields based on fourth order tensors. We prove that the new formulation is forming a linear space in $\mathbb{R}^9$. The algebraic structure of the tensors and their projections on $\mbox{SO}(3)$ are presented. The relationship of the new formulation with spherical harmonics is exposed. This paper is quite theoretical. Due to pages limitation, few practical aspects related to the computations of cross fields are exposed. Nevetheless, a global smoothing algorithm is briefly presented and computation of cross fields are finally depicted. △ Less

Submitted 12 August, 2018; originally announced August 2018.

Journal ref: Roca X. and Loseille A. (eds.), 27th International Meshing Roundtable. IMR 2018, Springer, Cham, Lecture Notes in Computational Science and Engineering, No. 127, 2019, 89-108

Groundstates of the Choquard equations with a sign-changing self-interaction potential

Authors: Luca Battaglia, Jean Van Schaftingen

Abstract: We consider a nonlinear Choquard equation $$ -Δu+u= (V * |u|^p )|u|^{p-2}u \qquad \text{in }\mathbb{R}^N, $$ when the self-interaction potential $V$ is unbounded from below. Under some assumptions on $V$ and on $p$, covering $p =2$ and $V$ being the one- or two-dimensional Newton kernel, we prove the existence of a nontrivial groundstate solution $u\in H^1 (\mathbb{R}^N)\setminus\{0\}$ by solvin… ▽ More We consider a nonlinear Choquard equation $$ -Δu+u= (V * |u|^p )|u|^{p-2}u \qquad \text{in }\mathbb{R}^N, $$ when the self-interaction potential $V$ is unbounded from below. Under some assumptions on $V$ and on $p$, covering $p =2$ and $V$ being the one- or two-dimensional Newton kernel, we prove the existence of a nontrivial groundstate solution $u\in H^1 (\mathbb{R}^N)\setminus\{0\}$ by solving a relaxed problem by a constrained minimization and then proving the convergence of the relaxed solutions to a groundstate of the original equation. △ Less

Submitted 17 May, 2018; v1 submitted 12 October, 2017; originally announced October 2017.

Comments: 16 pages

MSC Class: 35J47 (35C08; 35J50; 35Q40; 35Q55)

Journal ref: Z. Angew. Math. Phys. 69 (2018), n. 3, 69:86

Groundstates for a local nonlinear perturbation of the Choquard equations with lower critical exponent

Authors: Jean Van Schaftingen, Jiankang Xia

Abstract: We prove the existence of ground state solutions by variational methods to the nonlinear Choquard equations with a nonlinear perturbation \[ -Δu+ u=\big(I_α*|u|^{\fracα{N}+1}\big)|u|^{\fracα{N}-1}u+f(x,u)\qquad \text{ in } \mathbb{R}^N \] where $N\geq 1$, $I_α$ is the Riesz potential of order $α\in (0, N)$, the exponent $\fracα{N}+1$ is critical with respect to the Hardy--Littlewood--Sobolev inequ… ▽ More We prove the existence of ground state solutions by variational methods to the nonlinear Choquard equations with a nonlinear perturbation \[ -Δu+ u=\big(I_α*|u|^{\fracα{N}+1}\big)|u|^{\fracα{N}-1}u+f(x,u)\qquad \text{ in } \mathbb{R}^N \] where $N\geq 1$, $I_α$ is the Riesz potential of order $α\in (0, N)$, the exponent $\fracα{N}+1$ is critical with respect to the Hardy--Littlewood--Sobolev inequality and the nonlinear perturbation $f$ satisfies suitable growth and structural assumptions. △ Less

Submitted 11 October, 2017; originally announced October 2017.

Comments: 18 pages

MSC Class: 35B05; 35J60

Journal ref: J. Math. Anal. Appl. 464 (2018), n. 2, 1184-1202

Groundstates for Choquard type equations with Hardy-Littlewood-Sobolev lower critical exponent

Authors: Daniele Cassani, Jean Van Schaftingen, Jianjun Zhang

Abstract: For the Choquard equation, which is a nonlocal nonlinear Schrödinger type equation, $ -Δu+V_{μ,ν} u=(I_α\ast |u|^{\frac{N+α}{N}}){|u|}^{\fracα{N}-1}u$, in $\mathbb{R}^N$ where $N\ge 3$, $V_{μ, ν} : \mathbb{R}^N \to \mathbb{R}$ is an external potential defined for $μ,ν\in\mathbb{R}$ and $x \in \mathbb{R}^N$ by $V_{μ, ν} (x)=1-μ/(ν^2 + |x|^2)$ and $I_α: \mathbb{R}^N \to 0$ is the Riesz potential for… ▽ More For the Choquard equation, which is a nonlocal nonlinear Schrödinger type equation, $ -Δu+V_{μ,ν} u=(I_α\ast |u|^{\frac{N+α}{N}}){|u|}^{\fracα{N}-1}u$, in $\mathbb{R}^N$ where $N\ge 3$, $V_{μ, ν} : \mathbb{R}^N \to \mathbb{R}$ is an external potential defined for $μ,ν\in\mathbb{R}$ and $x \in \mathbb{R}^N$ by $V_{μ, ν} (x)=1-μ/(ν^2 + |x|^2)$ and $I_α: \mathbb{R}^N \to 0$ is the Riesz potential for $α\in (0,N)$, we exhibit two thresholds $μ_ν,μ^ν>0$ such that the equation admits a positive ground state solution if and only if $μ_ν<μ<μ^ν$ and no ground state solution exists for $μ<μ_ν$. Moreover, if $μ>\max\left\{μ^ν,\frac{N^2(N-2)}{4(N+1)}\right\}$, then equation still admits a sign changing ground state solution provided $N\ge4$ or in dimension $N=3$ if in addition $\frac{3}{2}<α<3$ and ker$(-Δ+ V_{μ, ν}) = \{0\}$, namely in the non-resonant case. △ Less

Submitted 27 September, 2017; originally announced September 2017.

Journal ref: Proc. Roy. Soc. Edinb. A 150 (2020), no. 3, 1377-1400

Uniform boundedness principles for Sobolev maps into manifolds

Authors: Antonin Monteil, Jean Van Schaftingen

Abstract: Given a connected Riemannian manifold $\mathcal{N}$, an \(m\)--dimensional Riemannian manifold $\mathcal{M}$ which is either compact or the Euclidean space, $p\in [1, +\infty)$ and $s\in (0,1]$, we establish, for the problems of surjectivity of the trace, of weak-bounded approximation, of lifting and of superposition, that qualitative properties satisfied by every map in a nonlinear Sobolev space… ▽ More Given a connected Riemannian manifold $\mathcal{N}$, an \(m\)--dimensional Riemannian manifold $\mathcal{M}$ which is either compact or the Euclidean space, $p\in [1, +\infty)$ and $s\in (0,1]$, we establish, for the problems of surjectivity of the trace, of weak-bounded approximation, of lifting and of superposition, that qualitative properties satisfied by every map in a nonlinear Sobolev space $W^{s,p}(\mathcal{M}, \mathcal{N})$ imply corresponding uniform quantitative bounds. This result is a nonlinear counterpart of the classical Banach--Steinhaus uniform boundedness principle in linear Banach spaces. △ Less

Submitted 25 September, 2017; originally announced September 2017.

Comments: 28 pages

MSC Class: 46T20 (46E35; 46T10; 58D15)

Journal ref: Ann. Inst. H. Poincaré Anal. Non Linéaire 36 (2019), n. 2, 417-449

Higher order weak differentiability and Sobolev spaces between manifolds

Authors: Alexandra Convent, Jean Van Schaftingen

Abstract: We define the notion of higher-order colocally weakly differentiable maps from a manifold $M$ to a manifold $N$. When $M$ and $N$ are endowed with Riemannian metrics, $p\ge 1$ and $k\ge 2$, this allows us to define the intrinsic higher-order homogeneous Sobolev space $\dot{W}^{k,p}(M,N)$. We show that this new intrinsic definition is not equivalent in general with the definition by an isometric em… ▽ More We define the notion of higher-order colocally weakly differentiable maps from a manifold $M$ to a manifold $N$. When $M$ and $N$ are endowed with Riemannian metrics, $p\ge 1$ and $k\ge 2$, this allows us to define the intrinsic higher-order homogeneous Sobolev space $\dot{W}^{k,p}(M,N)$. We show that this new intrinsic definition is not equivalent in general with the definition by an isometric embedding of $N$ in a Euclidean space; if the manifolds $M$ and $N$ are compact, the intrinsic space is a larger space than the one obtained by embedding. We show that a necessary condition for the density of smooth maps in the intrinsic space $\dot{W}^{k,p}(M,N)$ is that $π_{\lfloor k p \rfloor} (N) \simeq \{0\}$. We investigate the chain rule for higher-order differentiability in this setting. △ Less

Submitted 23 February, 2017; originally announced February 2017.

MSC Class: 58D15

Journal ref: Adv. Calc. Var. 12 (2019), no. 3, 303-332

Gauge-measurable functions

Authors: Augusto C. Ponce, Jean Van Schaftingen

Abstract: In 1973, E.J. McShane proposed an alternative definition of the Lebesgue integral based on Riemann sums, where gauges are used decide what tagged partitions are allowed. Such an approach does not require any preliminary knowledge of Measure theory. We investigate in this paper a definition of measurable functions also based on gauges. Its relation to the gauge-integrable functions that satisfy McS… ▽ More In 1973, E.J. McShane proposed an alternative definition of the Lebesgue integral based on Riemann sums, where gauges are used decide what tagged partitions are allowed. Such an approach does not require any preliminary knowledge of Measure theory. We investigate in this paper a definition of measurable functions also based on gauges. Its relation to the gauge-integrable functions that satisfy McShane's definition is obtained using elementary tools from Real Analysis. We show in particular a dominated integration property of gauge-measurable functions. △ Less

Submitted 7 February, 2017; originally announced February 2017.

MSC Class: 28A20; 28A05; 26B15

Journal ref: Rend. Istit. Mat. Univ. Trieste 49 (2017), 113-135

Sobolev mappings: from liquid crystals to irrigation via degree theory

Authors: Jean Van Schaftingen

Abstract: Sobolev spaces are a natural framework for the analysis of problems in partial differential equations and calculus of variations. Some physical and geometric contexts, such as liquid crystals models and harmonic maps, lead to consider Sobolev maps, that is, Sobolev vector functions whose range is constrained in a surface or submanifold of the space. This additional nonlinear constraint provokes th… ▽ More Sobolev spaces are a natural framework for the analysis of problems in partial differential equations and calculus of variations. Some physical and geometric contexts, such as liquid crystals models and harmonic maps, lead to consider Sobolev maps, that is, Sobolev vector functions whose range is constrained in a surface or submanifold of the space. This additional nonlinear constraint provokes the appearance of finite-energy topological singularities. These singularities are characterized by a nontrivial topological invariant such as the topological degree, they represent an obstruction to the strong approximation by smooth maps and they become source and sink terms in an optimal transportation or irrigation problem of topological charges arising in the study of the weak approximation and of the relaxed energy. △ Less

Submitted 3 February, 2017; originally announced February 2017.

Comments: Lecture notes of the Godeaux Lecture delivered at the 9th Brussels Summer School of Mathematics, 19 pages

Weak approximation by bounded Sobolev maps with values into complete manifolds

Authors: Pierre Bousquet, Augusto C. Ponce, Jean Van Schaftingen

Abstract: We have recently introduced the trimming property for a complete Riemannian manifold $N^{n}$ as a necessary and sufficient condition for bounded maps to be strongly dense in $W^{1, p}(B^m; N^{n})$ when $p \in \{1, \dotsc, m\}$. We prove in this note that even under a weaker notion of approximation, namely the weak sequential convergence, the trimming property remains necessary for the approximatio… ▽ More We have recently introduced the trimming property for a complete Riemannian manifold $N^{n}$ as a necessary and sufficient condition for bounded maps to be strongly dense in $W^{1, p}(B^m; N^{n})$ when $p \in \{1, \dotsc, m\}$. We prove in this note that even under a weaker notion of approximation, namely the weak sequential convergence, the trimming property remains necessary for the approximation in terms of bounded maps. The argument involves the construction of a Sobolev map having infinitely many analytical singularities going to infinity. △ Less

Submitted 26 January, 2017; originally announced January 2017.

MSC Class: 46E35; 46T20

Journal ref: Comptes Rendus Mathematique 356 (2018), 264-271

Variations on a proof of a borderline Bourgain-Brezis Sobolev embedding theorem

Authors: Sagun Chanillo, Jean Van Schaftingen, Po-Lam Yung

Abstract: We offer a variant of a proof of a borderline Bourgain-Brezis Sobolev embedding theorem on $\mathbb{R}^n$. We use this idea to extend the result to real hyperbolic spaces $\mathbb{H}^n$. We offer a variant of a proof of a borderline Bourgain-Brezis Sobolev embedding theorem on $\mathbb{R}^n$. We use this idea to extend the result to real hyperbolic spaces $\mathbb{H}^n$. △ Less

Submitted 8 December, 2016; originally announced December 2016.

Comments: 21 pages; to appear in a Special Issue of Chinese Annals of Mathematics in honour of Haim Brezis

Journal ref: Chinese Ann. Math. Ser. B 38 (2017), no. 1, 235-252