BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Jean Van Schaftingen appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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.
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 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.
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}$.
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.
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.
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$.
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 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.
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.
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.
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.
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.
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.
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.
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.
We define the tangential derivative, a notion of directional derivative which is invariant under diffeomorphisms. In particular this derivative is invariant under changes of chart and is thus well-defined for functions defined on a differentiable manifold. This notion is weaker than the classical directional derivative in general and equivalent to the latter for Lipschitz continuous functions. We characterize also the pairs of tangentially differentiable functions for which the chain rule holds.
Given a compact manifold $N^n$, an integer $k \in \mathbb{N}_*$ and an exponent $1 \le p < \infty$, we prove that the class $C^\infty(\overline{Q}^m; N^n)$ of smooth maps on the cube with values into $N^n$ is dense with respect to the strong topology in the Sobolev space $W^{k, p}(Q^m; N^n)$ when the homotopy group $π_{\lfloor kp \rfloor}(N^n)$ of order $\lfloor kp \rfloor$ is trivial. We also prove the density of maps that are smooth except for a set of dimension $m - \lfloor kp \rfloor - 1$, without any restriction on the homotopy group of $N^n$
The transformations of functions acting on sublevel sets that satisfy a Pólya-Szegő inequality are characterized as those being induced by transformations of sets that do not increase the associated capacity.
We consider nonlinear Choquard equation $$ - Δu + V u = \bigl(I_α\ast |u|^{\fracα{N}+1}\bigr) |u|^{\fracα{N}-1} u\quad\text{in (\mathbb{R}^N)},$$ where $N \ge 3$, $V \in L^\infty (\mathbb{R}^N)$ is an external potential and $I_α(x)$ is the Riesz potential of order $α\in (0, N)$. The power $\fracα{N}+1$ in the nonlocal part of the equation is critical with respect to the Hardy-Littlewood-Sobolev inequality. As a consequence, in the associated minimization problem a loss of compactness may occur. We prove that if $\liminf_{|x| \to \infty} \bigl(1 - V (x)\bigr)|x|^2 > \frac{N^2 (N - 2)}{4 (N + 1)}$ then the equation has a nontrivial solution. We also discuss some necessary conditions for the existence of a solution. Our considerations are based on a concentration compactness argument and a nonlocal version of Brezis-Lieb lemma.
J. Bourgain and H. Brezis have obtained in 2002 some new and surprising estimates for systems of linear differential equations, dealing with the endpoint case $\mathrm{L}^1$ of singular integral estimates and the critical Sobolev space $\mathrm{W}^{1, n} (\mathbf{R}^n)$. This paper presents an overview of the results, further developments over the last ten years and challenging open problems.
We study positive bound states for the equation $$- ε^2 Δu + Vu = u^p, \qquad \text{in $\mathbf{R}^N$}, $$ where $ε> 0$ is a real parameter, $\frac{N}{N-2} < p < \frac{N+2}{N-2}$ and $V$ is a nonnegative potential. Using purely variational techniques, we find solutions which concentrate at local maxima of the potential $V$ without any restriction on the potential.
Functions in a Sobolev space are approximated directly by piecewise affine interpolation in the norm of the space. The proof is based on estimates for interpolations and does not rely on the density of smooth functions.
We consider a semilinear elliptic problem [- Δu + u = (I_α\ast \abs{u}^p) \abs{u}^{p - 2} u \quad\text{in (\mathbb{R}^N),}] where (I_α) is a Riesz potential and (p>1). This family of equations includes the Choquard or nonlinear Schrödinger-Newton equation. For an optimal range of parameters we prove the existence of a positive groundstate solution of the equation. We also establish regularity and positivity of the groundstates and prove that all positive groundstates are radially symmetric and monotone decaying about some point. Finally, we derive the decay asymptotics at infinity of the groundstates.
We prove interpolation estimates between Morrey-Campanato spaces and Sobolev spaces. These estimates give in particular concentration-compactness inequalities in the translation-invariant and in the translation- and dilation-invariant case. They also give in particular interpolation estimates between Sobolev spaces and functions of bounded mean oscillation. The proofs rely on Sobolev integral representation formulae and maximal function theory. Fractional Sobolev spaces are also covered.
We study the nonlocal equation $$-\varepsilon^2 Δu_\varepsilon + V u_\varepsilon = \varepsilon^{-α} \bigl(I_α\ast \lvert u_\varepsilon\rvert^p\bigr) \lvert u_\varepsilon \rvert^{p - 2} u_\varepsilon\quad\text{in \(\mathbf{R}^N\)}, $$ where $N \ge 1$, $α\in (0, N)$, $I_α(x) = A_α/\lvert x \rvert^{N - α}$ is the Riesz potential and $\varepsilon > 0$ is a small parameter. We show that if the external potential $V \in C (\mathbb{R}^N; [0, \infty))$ has a local minimum and $p \in [2, (N + α)/(N - 2)_+)$ then for all small $\varepsilon > 0$ the problem has a family of solutions concentrating to the local minimum of $V$ provided that: either $p > 1 + \max (α, \frac{α+ 2}{2})/(N - 2)_+$, or $p > 2$ and $\liminf_{\lvert x\rvert \to \infty} V (x) \lvert x \rvert^2 > 0$, or $p = 2$ and $\inf_{x \in \mathbb{R}^N} V (x) (1 + \lvert x \rvert^{N - α}) > 0$. Our assumptions on the decay of $V$ and admissible range of $p\ge 2$ are optimal. The proof uses variational methods and a novel nonlocal penalization technique that we develop in this work.
Brezis and Mironescu have announced several years ago that for a compact manifold $N^n \subset \mathbb{R}^ν$ and for real numbers $0 < s < 1$ and $1 \le p < \infty$ the class $C^\infty(\overline{Q}^m; N^n)$ of smooth maps on the cube with values into $N^n$ is dense with respect to the strong topology in the Sobolev space $W^{s, p}(Q^m; N^n)$ when the homotopy group $π_{\lfloor sp \rfloor}(N^n)$ of order $\lfloor sp \rfloor$ is trivial. The proof of this beautiful result is long and rather involved. Under the additional assumption that $N^n$ is $\lfloor sp \rfloor$ simply connected, we give a shorter proof of their result. Our proof for $sp \ge 1$ is based on the existence of a retraction of $\mathbb{R}^ν$ onto $N^n$ except for a small subset in the complement of $N^n$ and on the Gagliardo-Nirenberg interpolation inequality for maps in $W^{1, q} \cap L^\infty$. In contrast, the case $sp < 1$ relies on the density of step functions on cubes in $W^{s, p}$.
Steady vortices for the three-dimensional Euler equation for inviscid incompressible flows and for the shallow water equation are constructed and showed to tend asymptotically to singular vortex filaments. The construction is based on the asymptotic study of solutions to a semilinear elliptic problem.
We prove the existence of a nontrivial solution (u \in H^1 (\R^N)) to the nonlinear Choquard equation [- Δu + u = \bigl(I_α\ast F (u)\bigr) F' (u) \quad \text{in (\R^N),}] where (I_α) is a Riesz potential, under almost necessary conditions on the nonlinearity (F) in the spirit of Berestycki and Lions. This solution is a groundstate; if moreover (F) is even and monotone on ((0,\infty)), then (u) is of constant sign and radially symmetric.
We consider a semilinear elliptic problem with a nonlinear term which is the product of a power and the Riesz potential of a power. This family of equations includes the Choquard or nonlinear Schroedinger--Newton equation. We show that for some values of the parameters the equation does not have nontrivial nonnegative supersolutions in exterior domains. The same techniques yield optimal decay rates when supersolutions exists.
Using a groundstate transformation, we give a new proof of the optimal Stein-Weiss inequality of Herbst [\int_{\R^N} \int_{\R^N} \frac{φ(x)}{\abs{x}^\fracα{2}} I_α(x - y) \frac{φ(y)}{\abs{y}^\fracα{2}}\dif x \dif y \le \mathcal{C}_{N,α, 0}\int_{\R^N} \absφ^2,] and of its combinations with the Hardy inequality by Beckner [\int_{\R^N} \int_{\R^N} \frac{φ(x)}{\abs{x}^\frac{α+ s}{2}} I_α(x - y) \frac{φ(y)}{\abs{y}^\frac{α+ s}{2}}\dif x \dif y \le \mathcal{C}_{N, α, 1} \int_{\R^N} \abs{\nabla φ}^2,] and with the fractional Hardy inequality [\int_{\R^N} \int_{\R^N} \frac{φ(x)}{\abs{x}^\frac{α+ s}{2}} I_α(x - y) \frac{φ(y)}{\abs{y}^\frac{α+ s}{2}}\dif x \dif y \le \mathcal{C}_{N, α, s} \mathcal{D}_{N, s} \int_{\R^N} \int_{\R^N} \frac{\bigabs{φ(x) - φ(y)}^2}{\abs{x-y}^{N+s}}\dif x \dif y] where (I_α) is the Riesz potential, (0 < α< N) and (0 < s < \min(N, 2)). We also prove the optimality of the constants. The method is flexible and yields a sharp expression for the remainder terms in these inequalities.
We prove the existence of a family of slow decay positive solutions of a supercritical elliptic equation with Hardy potential in the entire space and study stability and oscillation properties of these solutions. We also establish the existence of a continuum of stable slow decay positive solutions for the relevant exterior Dirichlet problem.
We show that near any given minimizing sequence of paths for the mountain pass lemma, there exists a critical point whose polarization is also a critical point. This is motivated by the fact that if any polarization of a critical point is also a critical point and the Euler-Lagrange equation is a second-order semi-linear elliptic problem, T. Bartsch, T. Weth and M. Willem (J. Anal. Math., 2005) have proved that the critical point is axially symmetric.
The estimate [\lVert D^{k-1}u\rVert_{L^{n/(n-1)}} \le \lVert A(D)u \rVert_{L^1} ] is shown to hold if and only if (A(D)) is elliptic and canceling. Here (A(D)) is a homogeneous linear differential operator (A(D)) of order (k) on (\mathbb{R}^n) from a vector space (V) to a vector space (E). The operator (A(D)) is defined to be canceling if [\bigcap_{ξ\in \mathbb{R}^n \setminus {0}} A(ξ)[V]={0}.] This result implies in particular the classical Gagliardo-Nirenberg-Sobolev inequality, the Korn-Sobolev inequality and Hodge-Sobolev estimates for differential forms due to J. Bourgain and H. Brezis. In the proof, the class of cocanceling homogeneous linear differential operator (L(D)) of order (k) on (\mathbb{R}^n) from a vector space (E) to a vector space (F) is introduced. It is proved that (L(D)) is cocanceling if and only if for every (f \in L^1(\mathbb{R}^n; E)) such that (L(D)f=0), one has (f \in \dot{W}^{-1, n/(n-1)}(\mathbb{R}^n; E)). The results extend to fractional and Lorentz spaces and can be strengthened using some tools of J. Bourgain and H. Brezis.
I propose a proof of the existence of the existence of eigenvectors and eigenvalues in the spirit of Argand's proof of the fundamental theorem of algebra. The proof only relies on Weierstrass's theorem, the definition of the inverse of a linear operator and algebraic identities.
If $Ω\subset \R^n$ is a smooth bounded domain and $q \in (0, \frac{n}{n-1})$ we consider the Poincare-Sobolev inequality \[ c \Bigl(\int_Ω \abs{u}^\frac{n}{n-1}\Bigr)^{1-\frac{1}{n}} \le \int_Ω \abs{Du}, \] for every $u \in \mathrm{BV}(Ω)$ such that $\int_Ω \abs{u}^{q-1} u = 0$. We show that the sharp constant is achieved. We also consider the same inequality on an $n$--dimensional compact Riemannian manifold $M$. When $n \ge 3$ and the scalar curvature is positive at some point, then the sharp constant is achieved. In the case $n \ge 2$, we need the maximal scalar curvature to satisfy some strict inequality.
We study positive bound states for the semiclassical stationary nonlinear Schrödinger equation. We are especially interested in solutions which concentrate on a lower dimensional sphere. We adopt a purely variational approach which allows us to consider broader classes of potentials than those treated in previous works. For example, the potentials might be singular at the origin or vanish superquadratically at infinity.
We study the existence of stationary classical solutions of the incompressible Euler equation in the plane that approximate singular stationnary solutions of this equation. The construction is performed by studying the asymptotics of equation $-\eps^2 Δu^\eps=(u^\eps-q-\fracκ{2π} \log \frac{1}{\eps})_+^p$ with Dirichlet boundary conditions and $q$ a given function. We also study the desingularization of pairs of vortices by minimal energy nodal solutions and the desingularization of rotating vortices.