Showing 1–16 of 16 results for author: Bousquet, P

Singular orthotropic functionals with nonstandard growth conditions

Authors: Pierre Bousquet, Lorenzo Brasco, Chiara Leone

Abstract: We pursue the study of a model convex functional with orthotropic structure and nonstandard growth conditions, this time focusing on the sub-quadratic case. We prove that bounded local minimizers are locally Lipschitz. No restriction on the ratio between the highest and the lowest growth rates are needed. The result holds also in presence of a non-autonomous lower order term, under sharp integrabi… ▽ More We pursue the study of a model convex functional with orthotropic structure and nonstandard growth conditions, this time focusing on the sub-quadratic case. We prove that bounded local minimizers are locally Lipschitz. No restriction on the ratio between the highest and the lowest growth rates are needed. The result holds also in presence of a non-autonomous lower order term, under sharp integrability assumptions. Finally, we prove higher differentiability of bounded local minimizers, as well. △ Less

Submitted 14 November, 2022; originally announced November 2022.

Comments: 45 pages

MSC Class: 35J75; 35B65; 49K20

Gradient estimates for an orthotropic nonlinear diffusion equation

Authors: Pierre Bousquet, Lorenzo Brasco, Chiara Leone, Anna Verde

Abstract: We consider a quasilinear degenerate parabolic equation driven by the orthotropic $p-$Laplacian. We prove that local weak solutions are locally Lipschitz continuous in the spatial variable, uniformly in time. We consider a quasilinear degenerate parabolic equation driven by the orthotropic $p-$Laplacian. We prove that local weak solutions are locally Lipschitz continuous in the spatial variable, uniformly in time. △ Less

Submitted 10 May, 2021; originally announced May 2021.

Comments: 29 pages

The equation div$u$+$\langle a, u \rangle=f$

Authors: Pierre Bousquet, Gyula Csató

Abstract: We study the solutions $u$ to the equation $$ \begin{cases} \operatorname{div} u + \langle a , u \rangle = f & \textrm{ in } Ω,\\ u=0 & \textrm{ on } \partial Ω, \end{cases} $$ where $a$ and $f$ are given. We significantly improve the existence results of [Csató and Dacorogna, A Dirichlet problem involving the divergence operator, \textit{Ann. Inst. H. Poincaré Anal. Non Linéaire}, 33 (2016), 829-… ▽ More We study the solutions $u$ to the equation $$ \begin{cases} \operatorname{div} u + \langle a , u \rangle = f & \textrm{ in } Ω,\\ u=0 & \textrm{ on } \partial Ω, \end{cases} $$ where $a$ and $f$ are given. We significantly improve the existence results of [Csató and Dacorogna, A Dirichlet problem involving the divergence operator, \textit{Ann. Inst. H. Poincaré Anal. Non Linéaire}, 33 (2016), 829--848], where this equation has been considered for the first time. In particular, we prove the existence of a solution under essentially sharp regularity assumptions on the coefficients. The condition that we require on the vector field $a$ is necessary and sufficient. Finally, our results cover the whole scales of Sobolev and Hölder spaces. △ Less

Submitted 17 January, 2019; originally announced January 2019.

Journal ref: Communications in Contemporary Mathematics, 2019

Lipschitz regularity for orthotropic functionals with nonstandard growth conditions

Authors: Pierre Bousquet, Lorenzo Brasco

Abstract: We consider a model convex functional with orthotropic structure and super-quadratic nonstandard growth conditions. We prove that bounded local minimizers are locally Lipschitz, with no restrictions on the ratio between the highest and the lowest growth rate. We consider a model convex functional with orthotropic structure and super-quadratic nonstandard growth conditions. We prove that bounded local minimizers are locally Lipschitz, with no restrictions on the ratio between the highest and the lowest growth rate. △ Less

Submitted 9 October, 2018; originally announced October 2018.

Comments: 37 pages

MSC Class: 35J70; 35B65; 49K20

Approximation in higher-order Sobolev spaces and Hodge systems

Authors: Pierre Bousquet, Emmanuel Russ, Yi Wang, Po-Lam Yung

Abstract: Let $d\geq 2$ be an integer, $1\leq l\leq d-1$ and $\varphi$ be a differential $l$-form on ${\mathbb R}^d$ with $\dot{W}^{1,d}$ coefficients. It was proved by Bourgain and Brezis (\cite[Theorem 5]{MR2293957}) that there exists a differential $l$-form $ψ$ on ${\mathbb R}^d$ with coefficients in $L^{\infty}\cap \dot{W}^{1,d}$ such that $d\varphi=dψ$. Bourgain and Brezis also asked whether this resul… ▽ More Let $d\geq 2$ be an integer, $1\leq l\leq d-1$ and $\varphi$ be a differential $l$-form on ${\mathbb R}^d$ with $\dot{W}^{1,d}$ coefficients. It was proved by Bourgain and Brezis (\cite[Theorem 5]{MR2293957}) that there exists a differential $l$-form $ψ$ on ${\mathbb R}^d$ with coefficients in $L^{\infty}\cap \dot{W}^{1,d}$ such that $d\varphi=dψ$. Bourgain and Brezis also asked whether this result can be extended to differential forms with coefficients in the fractional Sobolev space $\dot{W}^{s,p}$ with $sp=d$. We give a positive answer to this question, in the more general context of Triebel-Lizorkin spaces, provided that $d-κ\leq l\leq d-1$, where $κ$ is the largest positive integer such that $κ<\min(p,d)$. The proof relies on an approximation result for functions in $\dot{W}^{s,p}$ by functions in $\dot{W}^{s,p}\cap L^{\infty}$, even though $\dot{W}^{s,p}$ does not embed into $L^{\infty}$ in this critical case. △ Less

Submitted 27 August, 2018; v1 submitted 6 September, 2017; originally announced September 2017.

On the Lipschitz character of orthotropic $p-$harmonic functions

Authors: Pierre Bousquet, Lorenzo Brasco, Chiara Leone, Anna Verde

Abstract: We prove that local weak solutions of the orthotropic $p-$harmonic equation are locally Lipschitz, for every $p\ge 2$ and in every dimension. More generally, the result holds true for more degenerate equations with orthotropic structure, with right-hand sides in suitable Sobolev spaces. We prove that local weak solutions of the orthotropic $p-$harmonic equation are locally Lipschitz, for every $p\ge 2$ and in every dimension. More generally, the result holds true for more degenerate equations with orthotropic structure, with right-hand sides in suitable Sobolev spaces. △ Less

Submitted 7 February, 2018; v1 submitted 31 August, 2017; originally announced August 2017.

Comments: 34 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

$C^1$ regularity of orthotropic $p-$harmonic functions in the plane

Authors: Pierre Bousquet, Lorenzo Brasco

Abstract: We prove that local weak solutions of the orthotropic $p-$harmonic equation in $\mathbb{R}^2$ are $C^1$ functions. We prove that local weak solutions of the orthotropic $p-$harmonic equation in $\mathbb{R}^2$ are $C^1$ functions. △ Less

Submitted 18 July, 2016; originally announced July 2016.

Comments: 42 pages

Journal ref: Analysis & PDE 11 (2018) 813-854

Global Lipschitz continuity for minima of degenerate problems

Authors: Pierre Bousquet, Lorenzo Brasco

Abstract: We consider the problem of minimizing the Lagrangian $\int [F(\nabla u)+f\,u]$ among functions on $Ω\subset\mathbb{R}^N$ with given boundary datum $\varphi$. We prove Lipschitz regularity up to the boundary for solutions of this problem, provided $Ω$ is convex and $\varphi$ satisfies the bounded slope condition. The convex function $F$ is required to satisfy a qualified form of uniform convexity {… ▽ More We consider the problem of minimizing the Lagrangian $\int [F(\nabla u)+f\,u]$ among functions on $Ω\subset\mathbb{R}^N$ with given boundary datum $\varphi$. We prove Lipschitz regularity up to the boundary for solutions of this problem, provided $Ω$ is convex and $\varphi$ satisfies the bounded slope condition. The convex function $F$ is required to satisfy a qualified form of uniform convexity {\it only outside a ball} and no growth assumptions are made. △ Less

Submitted 23 April, 2015; originally announced April 2015.

Density of bounded maps in Sobolev spaces into complete manifolds

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

Abstract: Given a complete noncompact Riemannian manifold $N^n$, we investigate whether the set of bounded Sobolev maps $(W^{1, p} \cap L^\infty) (Q^m; N^n)$ on the cube $Q^m$ is strongly dense in the Sobolev space $W^{1, p} (Q^m; N^n)$ for $1 \le p \le m$. The density always holds when $p$ is not an integer. When $p$ is an integer, the density can fail, and we prove that a quantitative trimming property is… ▽ More Given a complete noncompact Riemannian manifold $N^n$, we investigate whether the set of bounded Sobolev maps $(W^{1, p} \cap L^\infty) (Q^m; N^n)$ on the cube $Q^m$ is strongly dense in the Sobolev space $W^{1, p} (Q^m; N^n)$ for $1 \le p \le m$. The density always holds when $p$ is not an integer. When $p$ is an integer, the density can fail, and we prove that a quantitative trimming property is equivalent with the density. This new condition is ensured for example by a uniform Lipschitz geometry of $N^n$. As a byproduct, we give necessary and sufficient conditions for the strong density of the set of smooth maps $C^\infty (\overline{Q^m}; N^n)$ in $W^{1, p} (Q^m; N^n)$. △ Less

Submitted 8 May, 2017; v1 submitted 28 January, 2015; originally announced January 2015.

Comments: Accepted for publication in Annali di Matematica Pura ed Applicata (1923 -)

MSC Class: 58D15; 46E35; 46T20

Journal ref: Ann. Mat. Pura Appl. (4) 196 (2017), no. 6, 2261-2301

Lipschitz regularity for local minimizers of some widely degenerate problems

Authors: Pierre Bousquet, Lorenzo Brasco, Vesa Julin

Abstract: We consider local minimizers of the functional \[ \sum_{i=1}^N \int (|u_{x_i}|-δ_i)^p_+\, dx+\int f\, u\, dx, \] where $δ_1,\dots,δ_N\ge 0$ and $(\,\cdot\,)_+$ stands for the positive part. Under suitable assumptions on $f$, we prove that local minimizers are Lipschitz continuous functions if $N=2$ and $p\ge 2$, or if $N\ge 2$ and $p\ge 4$. We consider local minimizers of the functional \[ \sum_{i=1}^N \int (|u_{x_i}|-δ_i)^p_+\, dx+\int f\, u\, dx, \] where $δ_1,\dots,δ_N\ge 0$ and $(\,\cdot\,)_+$ stands for the positive part. Under suitable assumptions on $f$, we prove that local minimizers are Lipschitz continuous functions if $N=2$ and $p\ge 2$, or if $N\ge 2$ and $p\ge 4$. △ Less

Submitted 7 September, 2014; originally announced September 2014.

Comments: 29 pages

Strong approximation of fractional Sobolev maps

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

Abstract: 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… ▽ More 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}$. △ Less

Submitted 22 October, 2013; originally announced October 2013.

MSC Class: 58D15; 46E35; 46T20

Journal ref: J. Fixed Point Theory Appl. 15 (2014), no. 1, 133-153

Hardy-Sobolev inequalities for vector fields and canceling linear differential operators

Authors: Pierre Bousquet, Jean Van Schaftingen

Abstract: Given a homogeneous k-th order differential operator $A (D)$ on $\mathbb{R}^n$ between two finite dimensional spaces, we establish the Hardy inequality $$\int_{\mathbb{R}^n} \frac{\lvert D^{k-1}u\rvert}{\lvert x \rvert} \,\mathrm{d} x \leq C \int_{\mathbb{R}^n} \lvert A(D)u\rvert $$ and the Sobolev inequality… ▽ More Given a homogeneous k-th order differential operator $A (D)$ on $\mathbb{R}^n$ between two finite dimensional spaces, we establish the Hardy inequality $$\int_{\mathbb{R}^n} \frac{\lvert D^{k-1}u\rvert}{\lvert x \rvert} \,\mathrm{d} x \leq C \int_{\mathbb{R}^n} \lvert A(D)u\rvert $$ and the Sobolev inequality $$\lVert D^{k-n} u\rVert_{L^{\infty}(\mathbb{R}^n)}\leq C \int_{\mathbb{R}^n} \lvert A(D)u\rvert $$ when $A(D)$ is elliptic and satisfies a recently introduced cancellation property. We also study the necessity of these two conditions. △ Less

Submitted 10 April, 2019; v1 submitted 18 May, 2013; originally announced May 2013.

Comments: 22 pages, final version with minor changes

MSC Class: 46E35 (26D10 42B20)

Journal ref: Indiana Univ. Math. J. 63 (2014), no. 5, 1419-1445

Excluding cycles with a fixed number of chords

Authors: Pierre Aboulker 'and' Nicolas Bousquet

Abstract: Trotignon and Vuskovic completely characterized graphs that do not contain cycles with exactly one chord. In particular, they show that such a graph G has chromatic number at most max(3,w(G)). We generalize this result to the class of graphs that do not contain cycles with exactly two chords and the class of graphs that do not contain cycles with exactly three chords. More precisely we prove that… ▽ More Trotignon and Vuskovic completely characterized graphs that do not contain cycles with exactly one chord. In particular, they show that such a graph G has chromatic number at most max(3,w(G)). We generalize this result to the class of graphs that do not contain cycles with exactly two chords and the class of graphs that do not contain cycles with exactly three chords. More precisely we prove that graphs with no cycle with exactly two chords have chromatic number at most 6. And a graph G with no cycle with exactly three chords have chromatic number at most max(96,w(G)+1). △ Less

Submitted 5 April, 2013; originally announced April 2013.

Comments: 30 pages, 7 figures

Density of smooth maps for fractional Sobolev spaces $W^{s, p}$ into $\ell$ simply connected manifolds when $s \ge 1$

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

Abstract: Given a compact manifold $N^n \subset \mathbb{R}^ν$, $s \ge 1$ and $1 \le p < \infty$, we prove that the class of smooth maps on the cube with values into $N^n$ is strongly dense in the fractional Sobolev space $W^{s, p}(Q^m; N^n)$ when $N^n$ is $\lfloor sp \rfloor$ simply connected. For $sp$ integer, we prove weak density of smooth maps with values into $N^n$ when $N^n$ is $sp - 1$ simply connect… ▽ More Given a compact manifold $N^n \subset \mathbb{R}^ν$, $s \ge 1$ and $1 \le p < \infty$, we prove that the class of smooth maps on the cube with values into $N^n$ is strongly dense in the fractional Sobolev space $W^{s, p}(Q^m; N^n)$ when $N^n$ is $\lfloor sp \rfloor$ simply connected. For $sp$ integer, we prove weak density of smooth maps with values into $N^n$ when $N^n$ is $sp - 1$ simply connected. The proofs are based on the existence of a retraction of $\mathbb{R}^ν$ onto $N^n$ except for a small subset of $N^n$ and on a pointwise estimate of fractional derivatives of composition of maps in $W^{s, p} \cap W^{1, sp}$. △ Less

Submitted 27 February, 2014; v1 submitted 9 October, 2012; originally announced October 2012.

Comments: 20 pages, abstract reformatted for MathJax

MSC Class: 58D15; 46E35

Journal ref: Confluentes Math. 5 (2013), no. 2, 3-22

Strong density for higher order Sobolev spaces into compact manifolds

Authors: Pierre Bousquet, Augusto Ponce, Jean Van Schaftingen

Abstract: 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 pro… ▽ More 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$ △ Less

Submitted 14 April, 2015; v1 submitted 16 March, 2012; originally announced March 2012.

MSC Class: 58D15; 46E35; 46T20

Journal ref: J. Eur. Math. Soc. (JEMS) 17 (2015), 763--817