-
A Faber-Krahn inequality for the Laplacian with drift under Robin boundary condition
Authors:
François Hamel,
Emmanuel Russ
Abstract:
We prove a Faber-Krahn inequality for the Laplacian with drift under Robin boundary condition, provided that the $β$ parameter in the Robin condition is large enough. The proof relies on a compactness argument, on the convergence of Robin eigenvalues to Dirichlet eigenvalues when $β$ goes to infinity, and on a strict Faber-Krahn inequality under Dirichlet boundary condition. We also show the exist…
▽ More
We prove a Faber-Krahn inequality for the Laplacian with drift under Robin boundary condition, provided that the $β$ parameter in the Robin condition is large enough. The proof relies on a compactness argument, on the convergence of Robin eigenvalues to Dirichlet eigenvalues when $β$ goes to infinity, and on a strict Faber-Krahn inequality under Dirichlet boundary condition. We also show the existence and uniqueness of drifts $v$ satisfying some $L^\infty$ constraints and minimizing or maximizing the principal eigenvalue of $-Δ+v\cdot\nabla$ in a fixed domain and with a fixed parameter $β>0$ in the Robin condition.
△ Less
Submitted 20 May, 2024;
originally announced May 2024.
-
Reverse inequalities for quasi-Riesz transform on the Vicsek cable system
Authors:
Baptiste Devyver,
Emmanuel Russ
Abstract:
This work is devoted to the study of so-called ``reverse Riesz'' inequalities and suitable variants in the context of some fractal-like cable systems. It was already proved by L. Chen, T. Coulhon, J. Feneuil and the second author that, in the Vicsek cable system, the inequality $\left\Vert Δ^{1/2}f\right\Vert_p\lesssim \left\Vert \nabla f\right\Vert_p$ is false for all $p\in [1,2)$. Following a re…
▽ More
This work is devoted to the study of so-called ``reverse Riesz'' inequalities and suitable variants in the context of some fractal-like cable systems. It was already proved by L. Chen, T. Coulhon, J. Feneuil and the second author that, in the Vicsek cable system, the inequality $\left\Vert Δ^{1/2}f\right\Vert_p\lesssim \left\Vert \nabla f\right\Vert_p$ is false for all $p\in [1,2)$. Following a recent joint paper by the two authors and M. Yang, we examine the validity of ``reverse quasi-Riesz'' inequalities, of the form $\left\Vert Δ^γe^{-Δ}f\right\Vert_p\lesssim \left\Vert \nabla f\right\Vert_p$, in the (unbounded) Vicsek cable system, for $p\in (1,+\infty)$ and $γ>0$. These reverse inequalities are strongly related to the problem of $L^p$ boundedness of the operators $\nabla e^{-Δ}Δ^{-\varepsilon}$, the so-called ``quasi-Riesz transforms'' (at infinity), introduced by L. Chen in her PhD thesis. Our main result is an almost complete characterization of the sets of $γ\in (0,1)$ and $p\in (1,+\infty)$ such that the reverse quasi-Riesz inequality holds in the Vicsek cable system. It remains an open question to investigate reverse quasi-Riesz inequalities for other cable systems, or for manifolds built out of these.
△ Less
Submitted 5 March, 2024;
originally announced March 2024.
-
Reverse inequality for the riesz transforms on Riemannian manifolds
Authors:
Emmanuel Russ,
Baptiste Devyver
Abstract:
Let $M$ be a complete Riemannian manifold satisfying the doubling volume condition for geodesic balls and $L^q$ scaled Poincaré inequalities on suitable remote balls for some $q<2$. We prove the inequality $\left\Vert Δ^{1/2}f\right\Vert_p\lesssim \left\Vert \nabla f\right\Vert_p$ for all $p\in (q,2]$, which generalizes previous results due to Auscher and Coulhon. Our conclusion applies, in partic…
▽ More
Let $M$ be a complete Riemannian manifold satisfying the doubling volume condition for geodesic balls and $L^q$ scaled Poincaré inequalities on suitable remote balls for some $q<2$. We prove the inequality $\left\Vert Δ^{1/2}f\right\Vert_p\lesssim \left\Vert \nabla f\right\Vert_p$ for all $p\in (q,2]$, which generalizes previous results due to Auscher and Coulhon. Our conclusion applies, in particular, when $M$ has a finite number of Euclidean ends. The proof strongly relies on Hardy inequalities, which are also new in this context and of independent interest.
The second part of this work deals with analogous questions in fractal-like cable systems. In this framework, it was already proved by Chen, Coulhon, Feneuil and the second author that, in the Vicsek cable system, the inequality $\left\Vert Δ^{1/2}f\right\Vert_p\lesssim \left\Vert \nabla f\right\Vert_p$ may be false for all $p\in [1,2)$. Following a recent joint work by the two authors and Yang, we examine the validity of inequalities of the form $\left\Vert Δ^γe^{-Δ}f\right\Vert_p\lesssim \left\Vert \nabla f\right\Vert_p$. In the Vicsek case, we give the optimal range of $p$ for which this inequality holds.
△ Less
Submitted 12 September, 2022;
originally announced September 2022.
-
Gradient Estimate for the Heat Kernel on Some Fractal-Like Cable Systems and Quasi-Riesz Transforms
Authors:
Baptiste Devyver,
Emmanuel Russ,
Meng Yang
Abstract:
We give pointwise upper estimate for the gradient of the heat kernel on some fractal-like cable systems including the Vicsek and the Sierpiński cable systems. Applications to $L^p$-boundedness of quasi-Riesz transforms are derived.
We give pointwise upper estimate for the gradient of the heat kernel on some fractal-like cable systems including the Vicsek and the Sierpiński cable systems. Applications to $L^p$-boundedness of quasi-Riesz transforms are derived.
△ Less
Submitted 22 June, 2021; v1 submitted 18 March, 2021;
originally announced March 2021.
-
Solvability In Weighted Lebesgue Spaces of the Divergence Equation with Measure Data
Authors:
Laurent Moonens,
Emmanuel Russ
Abstract:
In the following paper, one studies, given a bounded, connected open set $Ω$ $\subseteq$ R n , $κ$ > 0, a positive Radon measure $μ$ 0 in $Ω$ and a (signed) Radon measure $μ$ on $Ω$ satisfying $μ$($Ω$) = 0 and |$μ$| $κ$$μ$ 0 , the possibility of solving the equation div u = $μ$ by a vector field u satisfying |u| $κ$w on $Ω$ (where w is an integrable weight only related to the geometry of $Ω$ and t…
▽ More
In the following paper, one studies, given a bounded, connected open set $Ω$ $\subseteq$ R n , $κ$ > 0, a positive Radon measure $μ$ 0 in $Ω$ and a (signed) Radon measure $μ$ on $Ω$ satisfying $μ$($Ω$) = 0 and |$μ$| $κ$$μ$ 0 , the possibility of solving the equation div u = $μ$ by a vector field u satisfying |u| $κ$w on $Ω$ (where w is an integrable weight only related to the geometry of $Ω$ and to $μ$ 0), together with a mild boundary condition. This extends results obtained in [4] for the equation div u = f , improving them on two aspects: one works here with the divergence equation with measure data, and also construct a weight w that relies in a softer way on the geometry of $Ω$, improving its behavior (and hence the a priori behavior of the solution we construct) substantially in some instances. The method used in this paper follows a constructive approach of Bogovskii type.
△ Less
Submitted 16 March, 2020;
originally announced March 2020.
-
Hardy spaces on Riemannian manifolds with quadratic curvature decay
Authors:
Baptiste Devyver,
Emmanuel Russ
Abstract:
Let (M, g) be a complete Riemannian manifold. Assume that the Ricci curvature of M has quadratic decay and that the volume growth is strictly faster than quadratic. We establish that the Hardy spaces of exact 1-differential forms on M , introduced in [4], coincide with the closure in L p of R(d) $\cap$ L p ($Λ$ 1 T * M) when 1 < p < $ν$, where $ν$ > 2 is related to the volume growth. The range of…
▽ More
Let (M, g) be a complete Riemannian manifold. Assume that the Ricci curvature of M has quadratic decay and that the volume growth is strictly faster than quadratic. We establish that the Hardy spaces of exact 1-differential forms on M , introduced in [4], coincide with the closure in L p of R(d) $\cap$ L p ($Λ$ 1 T * M) when 1 < p < $ν$, where $ν$ > 2 is related to the volume growth. The range of p is optimal. This result applies, in particular, when M has a finite number of Euclidean ends.
△ Less
Submitted 16 November, 2020; v1 submitted 21 October, 2019;
originally announced October 2019.
-
Existence and Regularity of Optimal Shapes for Elliptic Operators with Drift
Authors:
Emmanuel Russ,
Baptiste Trey,
Bozhidar Velichkov
Abstract:
This paper is devoted to the study of shape optimization problems for the first eigenvalue of the elliptic operator with drift L = --$Δ$+V (x)\cdot \nabla with Dirichlet boundary conditions, where V is a bounded vector field. In the first instance, we prove the existence of a principal eigenvalue $λ$\_1($Ω$, V) for a bounded quasi-open set $Ω$ which enjoys similar properties to the case of open se…
▽ More
This paper is devoted to the study of shape optimization problems for the first eigenvalue of the elliptic operator with drift L = --$Δ$+V (x)\cdot \nabla with Dirichlet boundary conditions, where V is a bounded vector field. In the first instance, we prove the existence of a principal eigenvalue $λ$\_1($Ω$, V) for a bounded quasi-open set $Ω$ which enjoys similar properties to the case of open sets. Then, given m > 0 and $τ$ $\ge$ 0, we show that the minimum of the following non-variational problem min $λ$\_1($Ω$, V) : $Ω$ $\subset$ D quasi-open, |$Ω$| $\le$ m, |V|\_{\infty} $\le$ $τ$. is achieved, where the box D $\subset$ R^d is a bounded open set. The existence when V is fixed, as well as when V varies among all the vector fields which are the gradient of a Lipschitz function, are also proved. The second interest and main result of this paper is the regularity of the optimal shape $Ω$ * solving the minimization problem min $λ$\_1($Ω$, $Φ$) : $Ω$ $\subset$ D quasi-open, |$Ω$| $\le$ m , where $Φ$ is a given Lipschitz function on D. We prove that the topological boundary $\partial$$Ω$ * is composed of a regular part which is locally the graph of a C ^{1,$α$} function and a singular part which is empty if d < d * , discrete if d = d * and of locally finite H^{d--d *} Hausdorff measure if d > d * , where d * $\in$ {5, 6, 7} is the smallest dimension at which there exists a global solution to the one-phase free boundary problem with singularities. Moreover, if D is smooth, we prove that, for each x $\in$ $\partial$$Ω$ * $\cap$ $\partial$D, $\partial$$Ω$ * is C^{ 1,$α$} in a neighborhood of x, for some $α$ $\le$ 1 /2. This last result is optimal in the sense that C ^{1,1/2} is the best regularity that one can expect.
△ Less
Submitted 16 May, 2019; v1 submitted 18 October, 2018;
originally announced October 2018.
-
Optimization of some eigenvalue problems with large drift
Authors:
Francois Hamel,
Luca Rossi,
Emmanuel Russ
Abstract:
This paper is concerned with eigenvalue problems for non-symmetric elliptic operators with large drifts in bounded domains under Dirichlet boundary conditions. We consider the minimal principal eigenvalue and the related principal eigenfunction in the class of drifts having a given, but large, pointwise upper bound. We show that, in the asymptotic limit of large drifts, the maximal points of the o…
▽ More
This paper is concerned with eigenvalue problems for non-symmetric elliptic operators with large drifts in bounded domains under Dirichlet boundary conditions. We consider the minimal principal eigenvalue and the related principal eigenfunction in the class of drifts having a given, but large, pointwise upper bound. We show that, in the asymptotic limit of large drifts, the maximal points of the optimal principal eigenfunctions converge to the set of points maximizing the distance to the boundary of the domain. We also show the uniform asymptotic profile of these principal eigenfunctions and the direction of their gradients in neighborhoods of the boundary.
△ Less
Submitted 13 October, 2017;
originally announced October 2017.
-
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.
-
Lifting in Besov Spaces
Authors:
Petru Mironescu,
Emmanuel Russ,
Yannick Sire
Abstract:
Let $Ω$ be a smooth bounded domain in $\mathbb R^n$ and u be a measurable function on $Ω$ such that $|u(x)|=1$ almost everywhere in $Ω$. Assume that u belongs to the $B^s_{p,q}(Ω)$ Besov space. We investigate whether there exists a real-valued function $\varphi \in B^s_{p,q}$ such that $u=e^{i\varphi}$. This extends the corresponding study in Sobolev spaces due to Bourgain, Brezis and the first au…
▽ More
Let $Ω$ be a smooth bounded domain in $\mathbb R^n$ and u be a measurable function on $Ω$ such that $|u(x)|=1$ almost everywhere in $Ω$. Assume that u belongs to the $B^s_{p,q}(Ω)$ Besov space. We investigate whether there exists a real-valued function $\varphi \in B^s_{p,q}$ such that $u=e^{i\varphi}$. This extends the corresponding study in Sobolev spaces due to Bourgain, Brezis and the first author. The analysis of this lifting problem leads us to prove some interesting new properties of Besov spaces, in particular a non restriction property when $q>p$.
△ Less
Submitted 19 June, 2017; v1 submitted 11 May, 2017;
originally announced May 2017.
-
Riesz transform for $1 \leq p \le 2$ without Gaussian heat kernel bound
Authors:
Li Chen,
Thierry Coulhon,
Joseph Feneuil,
Emmanuel Russ
Abstract:
We study the $L^p$ boundedness of Riesz transform as well as the reverse inequality on Riemannian manifolds and graphs under the volume doubling property and a sub-Gaussian heat kernel upper bound. We prove that the Riesz transform is then bounded on $L^p$ for $1 \textless{} p \textless{} 2$, which shows that Gaussian estimates of the heat kernel are not a necessary condition for this.In the…
▽ More
We study the $L^p$ boundedness of Riesz transform as well as the reverse inequality on Riemannian manifolds and graphs under the volume doubling property and a sub-Gaussian heat kernel upper bound. We prove that the Riesz transform is then bounded on $L^p$ for $1 \textless{} p \textless{} 2$, which shows that Gaussian estimates of the heat kernel are not a necessary condition for this.In the particular case of Vicsek manifolds and graphs, we show that the reverse inequality does not hold for $1 \textless{} p \textless{} 2$. This yields a full picture of the ranges of $p\in (1,+\infty)$ for which respectively the Riesz transform is $L^p$ -bounded and the reverse inequality holds on $L^p$ on such manifolds and graphs. This picture is strikingly different from the Euclidean one.
△ Less
Submitted 28 October, 2015;
originally announced October 2015.
-
Removable singularities for div v = f in weighted Lebesgue spaces
Authors:
Laurent Moonens,
Emmanuel Russ,
Heli Tuominen
Abstract:
Let $w\in L^1\_{loc}(\R^n)$ be apositive weight. Assuming that a doubling condition and an $L^1$ Poincaré inequality on balls for the measure $w(x)dx$, as well as a growth condition on $w$, we prove that the compact subsets of $\R^n$ which are removable for the distributional divergence in $L^{\infty}\_{1/w}$ are exactly those with vanishing weighted Hausdorff measure. We also give such a characte…
▽ More
Let $w\in L^1\_{loc}(\R^n)$ be apositive weight. Assuming that a doubling condition and an $L^1$ Poincaré inequality on balls for the measure $w(x)dx$, as well as a growth condition on $w$, we prove that the compact subsets of $\R^n$ which are removable for the distributional divergence in $L^{\infty}\_{1/w}$ are exactly those with vanishing weighted Hausdorff measure. We also give such a characterization for $L^p\_{1/w}$, $1\textless{}p\textless{}+\infty$, in terms of capacity. This generalizes results due to Phuc and Torres, Silhavy and the first author.
△ Less
Submitted 13 October, 2015;
originally announced October 2015.
-
Comparison results for semilinear elliptic equations using a new symmetrization method
Authors:
François Hamel,
Emmanuel Russ
Abstract:
In this paper, we prove some pointwise comparison results between the solutions of some second-order semilinear elliptic equations in a domain $Ω$ of $\R^n$ and the solutions of some radially symmetric equations in the equimeasurable ball $Ω^*$. The coefficients of the symmetrized equations in~$Ω^*$ satisfy similar constraints as the original ones in~$Ω$. We consider both the case of equations wit…
▽ More
In this paper, we prove some pointwise comparison results between the solutions of some second-order semilinear elliptic equations in a domain $Ω$ of $\R^n$ and the solutions of some radially symmetric equations in the equimeasurable ball $Ω^*$. The coefficients of the symmetrized equations in~$Ω^*$ satisfy similar constraints as the original ones in~$Ω$. We consider both the case of equations with linear growth in the gradient and the case of equations with at most quadratic growth in the gradient. Lastly, we show some improved quantified comparisons when the original domain is not a ball. The method is based on a symmetrization of the second-order terms.
△ Less
Submitted 3 April, 2014; v1 submitted 8 January, 2014;
originally announced January 2014.
-
Composition operators on generalized Hardy spaces
Authors:
Sam Elliott,
Juliette Leblond,
Elodie Pozzi,
Emmanuel Russ
Abstract:
Let $Ω_1,Ω_2\subset {\mathbb C}$ be bounded domains. Let $φ:Ω_1\rightarrow Ω_2$ holomorphic in $Ω_1$ and belonging to $W^{1,\infty}_{Ω_2}(Ω_1)$. We study the composition operators $f\mapsto f\circφ$ on generalized Hardy spaces on $Ω_2$, recently considered in \cite{bfl, BLRR}. In particular, we provide necessary and/or sufficient conditions on $φ$, depending on the geometry of the domains, ensurin…
▽ More
Let $Ω_1,Ω_2\subset {\mathbb C}$ be bounded domains. Let $φ:Ω_1\rightarrow Ω_2$ holomorphic in $Ω_1$ and belonging to $W^{1,\infty}_{Ω_2}(Ω_1)$. We study the composition operators $f\mapsto f\circφ$ on generalized Hardy spaces on $Ω_2$, recently considered in \cite{bfl, BLRR}. In particular, we provide necessary and/or sufficient conditions on $φ$, depending on the geometry of the domains, ensuring that these operators are bounded, invertible, isometric or compact. Some of our results are new even for Hardy spaces of analytic functions.
△ Less
Submitted 16 October, 2013;
originally announced October 2013.
-
Sobolev and Hardy-Sobolev spaces on graphs
Authors:
Emmanuel Russ,
Maamoun Turkawi
Abstract:
Let $Γ$ be a graph. Under suitable geometric assumptions on $Γ$, we give several equivalent characterizations of Sobolev and Hardy-Sobolev spaces on $Γ$, in terms of maximal functionals, Hajł asz type functionals or atomic decompositions. As an application, we study the boundedness of Riesz transforms on Hardy spaces on $Γ$. This gives the discrete counterpart of the corresponding results on Riema…
▽ More
Let $Γ$ be a graph. Under suitable geometric assumptions on $Γ$, we give several equivalent characterizations of Sobolev and Hardy-Sobolev spaces on $Γ$, in terms of maximal functionals, Hajł asz type functionals or atomic decompositions. As an application, we study the boundedness of Riesz transforms on Hardy spaces on $Γ$. This gives the discrete counterpart of the corresponding results on Riemannian manifolds.
△ Less
Submitted 11 October, 2012;
originally announced October 2012.
-
A Meyers type regularity result for approximations of second order elliptic operators by Galerkin schemes
Authors:
Nadine Badr,
Emmanuel Russ
Abstract:
We prove a Meyers type regularity estimate for approximate solutions of second order elliptic equations obtained by Galerkin methods. The proofs rely on interpolation results for Sobolev spaces on graphs. Estimates for second order elliptic operators on rather general graphs are also obtained.
We prove a Meyers type regularity estimate for approximate solutions of second order elliptic equations obtained by Galerkin methods. The proofs rely on interpolation results for Sobolev spaces on graphs. Estimates for second order elliptic operators on rather general graphs are also obtained.
△ Less
Submitted 9 October, 2012; v1 submitted 30 January, 2012;
originally announced January 2012.
-
Algebra properties for Sobolev spaces- Applications to semilinear PDE's on manifolds
Authors:
Nadine Badr,
Frederic Bernicot,
Emmanuel Russ
Abstract:
In this work, we aim to prove algebra properties for generalized Sobolev spaces $W^{s,p} \cap L^\infty$ on a Riemannian manifold, where $W^{s,p}$ is of Bessel-type $W^{s,p}:=(1+L)^{-s/m}(L^p)$ with an operator $L$ generating a heat semigroup satisfying off-diagonal decays. We don't require any assumption on the gradient of the semigroup. To do that, we propose two different approaches (one by a ne…
▽ More
In this work, we aim to prove algebra properties for generalized Sobolev spaces $W^{s,p} \cap L^\infty$ on a Riemannian manifold, where $W^{s,p}$ is of Bessel-type $W^{s,p}:=(1+L)^{-s/m}(L^p)$ with an operator $L$ generating a heat semigroup satisfying off-diagonal decays. We don't require any assumption on the gradient of the semigroup. To do that, we propose two different approaches (one by a new kind of paraproducts and another one using functionals). We also give a chain rule and study the action of nonlinearities on these spaces and give applications to semi-linear PDEs. These results are new on Riemannian manifolds (with a non bounded geometry) and even in the Euclidean space for Sobolev spaces associated to second order uniformly elliptic operators in divergence form.
△ Less
Submitted 19 July, 2011;
originally announced July 2011.
-
A note on precised Hardy inequalities on Carnot groups and Riemannian manifolds
Authors:
Emmanuel Russ,
Yannick Sire
Abstract:
We prove non local Hardy inequalities on Carnot groups and Riemannian manifolds, relying on integral representations of fractional Sobolev norms.
We prove non local Hardy inequalities on Carnot groups and Riemannian manifolds, relying on integral representations of fractional Sobolev norms.
△ Less
Submitted 26 March, 2010;
originally announced March 2010.
-
A note on precised Hardy inequalities on Carnot groups and Riemannian manifolds
Authors:
Emmanuel Russ,
Yannick Sire
Abstract:
We prove non local Hardy inequalities on Carnot groups and Riemannian manifolds, relying on integral representations of fractional Sobolev norms.
We prove non local Hardy inequalities on Carnot groups and Riemannian manifolds, relying on integral representations of fractional Sobolev norms.
△ Less
Submitted 18 March, 2010;
originally announced March 2010.
-
Non local Poincaré inequalities on Lie groups with polynomial volume growth
Authors:
Emmanuel Russ,
Yannick Sire
Abstract:
Let $G$ be a real connected Lie group with polynomial volume growth, endowed with its Haar measure $dx$. Given a $C^2$ positive function $M$ on $G$, we give a sufficient condition for an $L^2$ Poincaré inequality with respect to the measure $M(x)dx$ to hold on $G$. We then establish a non-local Poincaré inequality on $G$ with respect to $M(x)dx$.
Let $G$ be a real connected Lie group with polynomial volume growth, endowed with its Haar measure $dx$. Given a $C^2$ positive function $M$ on $G$, we give a sufficient condition for an $L^2$ Poincaré inequality with respect to the measure $M(x)dx$ to hold on $G$. We then establish a non-local Poincaré inequality on $G$ with respect to $M(x)dx$.
△ Less
Submitted 22 January, 2010;
originally announced January 2010.
-
Fractional Poincaré inequalities for general measures
Authors:
Clément Mouhot,
Emmanuel Russ,
Yannick Sire
Abstract:
We prove a fractional version of Poincaré inequalities in the context of $\R^n$ endowed with a fairly general measure. Namely we prove a control of an $L^2$ norm by a non local quantity, which plays the role of the gradient in the standard Poincaré inequality. The assumption on the measure is the fact that it satisfies the classical Poincaré inequality, so that our result is an improvement of th…
▽ More
We prove a fractional version of Poincaré inequalities in the context of $\R^n$ endowed with a fairly general measure. Namely we prove a control of an $L^2$ norm by a non local quantity, which plays the role of the gradient in the standard Poincaré inequality. The assumption on the measure is the fact that it satisfies the classical Poincaré inequality, so that our result is an improvement of the latter inequality. Moreover we also quantify the tightness at infinity provided by the control on the fractional derivative in terms of a weight growing at infinity. The proof goes through the introduction of the generator of the Ornstein-Uhlenbeck semigroup and some careful estimates of its powers. To our knowledge this is the first proof of fractional Poincaré inequality for measures more general than Lévy measures.
△ Less
Submitted 28 November, 2009; v1 submitted 24 November, 2009;
originally announced November 2009.
-
Hardy spaces of the conjugate Beltrami equation
Authors:
Laurent Baratchart,
Juliette Leblond,
Stéphane Rigat,
Emmanuel Russ
Abstract:
We study Hardy spaces of solutions to the conjugate Beltrami equation with Lipschitz coefficient on Dini-smooth simply connected planar domains, in the range of exponents $1<\infty$. We analyse their boundary behaviour and certain density properties of their traces. We derive on the way an analog of the Fatou theorem for the Dirichlet and Neumann problems associated with the equation…
▽ More
We study Hardy spaces of solutions to the conjugate Beltrami equation with Lipschitz coefficient on Dini-smooth simply connected planar domains, in the range of exponents $1<\infty$. We analyse their boundary behaviour and certain density properties of their traces. We derive on the way an analog of the Fatou theorem for the Dirichlet and Neumann problems associated with the equation ${div}(σ\nabla u)=0$ with $L^p$-boundary data.
△ Less
Submitted 28 May, 2010; v1 submitted 4 July, 2009;
originally announced July 2009.
-
Divergence operator and Poincare inequalities on arbitrary bounded domains
Authors:
Ricardo Duran,
Maria-Amelia Muschietti,
Emmanuel Russ,
Philippe Tchamitchian
Abstract:
Let $Ω$ be an arbitrary bounded domain of $\R^n$. We study the right invertibility of the divergence on $Ω$ in weighted Lebesgue and Sobolev spaces on $Ω$, and rely this invertibility to a geometric characterization of $Ω$ and to weighted Poincaré inequalities on $Ω$. We recover, in particular, well-known results on the right invertibility of the divergence in Sobolev spaces when $Ω$ is Lipschit…
▽ More
Let $Ω$ be an arbitrary bounded domain of $\R^n$. We study the right invertibility of the divergence on $Ω$ in weighted Lebesgue and Sobolev spaces on $Ω$, and rely this invertibility to a geometric characterization of $Ω$ and to weighted Poincaré inequalities on $Ω$. We recover, in particular, well-known results on the right invertibility of the divergence in Sobolev spaces when $Ω$ is Lipschitz or, more generally, when $Ω$ is a John domain, and focus on the case of $s$-John domains.
△ Less
Submitted 11 June, 2009;
originally announced June 2009.
-
Interpolation of Sobolev spaces, Littlewood-Paley inequalities and Riesz transforms on graphs
Authors:
Nadine Badr,
Emmanuel Russ
Abstract:
Let $Γ$ be a graph endowed with a reversible Markov kernel $p$, and $P$ the associated operator, defined by $Pf(x)=\sum_y p(x,y)f(y)$. Denote by $\nabla$ the discrete gradient. We give necessary and/or sufficient conditions on $Γ$ in order to compare $\Vert \nabla f \Vert_{p}$ and $\Vert (I-P)^{1/2}f \Vert_{p}$ uniformly in $f$ for $1<p<+\infty$. These conditions are different for $p<2$ and…
▽ More
Let $Γ$ be a graph endowed with a reversible Markov kernel $p$, and $P$ the associated operator, defined by $Pf(x)=\sum_y p(x,y)f(y)$. Denote by $\nabla$ the discrete gradient. We give necessary and/or sufficient conditions on $Γ$ in order to compare $\Vert \nabla f \Vert_{p}$ and $\Vert (I-P)^{1/2}f \Vert_{p}$ uniformly in $f$ for $1<p<+\infty$. These conditions are different for $p<2$ and $p>2$. The proofs rely on recent techniques developed to handle operators beyond the class of Calderón-Zygmund operators. For our purpose, we also prove Littlewood-Paley inequalities and interpolation results for Sobolev spaces in this context, which are of independent interest.
△ Less
Submitted 7 February, 2008;
originally announced February 2008.
-
Hardy spaces of differential forms on Riemannian manifolds
Authors:
Pascal Auscher,
Alan Mcintosh,
Emmanuel Russ
Abstract:
Let $M$ be a complete connected Riemannian manifold. Assuming that the Riemannian measure is doubling, we define Hardy spaces $H^p$ of differential forms on $M$ and give various characterizations of them, including an atomic decomposition. As a consequence, we derive the $H^p$-boundedness for Riesz transforms on $M$, generalizing previously known results. Further applications, in particular to…
▽ More
Let $M$ be a complete connected Riemannian manifold. Assuming that the Riemannian measure is doubling, we define Hardy spaces $H^p$ of differential forms on $M$ and give various characterizations of them, including an atomic decomposition. As a consequence, we derive the $H^p$-boundedness for Riesz transforms on $M$, generalizing previously known results. Further applications, in particular to $H^{\infty}$ functional calculus and Hodge decomposition, are given.
△ Less
Submitted 14 November, 2006; v1 submitted 11 November, 2006;
originally announced November 2006.
-
Rearrangement inequalities and applications to isoperimetric problems for eigenvalues
Authors:
Francois Hamel,
Nikolai Nadirashvili,
Emmanuel Russ
Abstract:
Let $Ω$ be a bounded $C^{2}$ domain in $\R^n$, and let $Ω^{\ast}$ be the Euclidean ball centered at 0 and having the same Lebesgue measure as $Ω$. Consider the operator $L=-÷(A\nabla)+v\cdot \nabla +V$ on $Ω$ with Dirichlet boundary condition. We prove that minimizing the principal eigenvalue of $L$ when the Lebesgue measure of $Ω$ is fixed and when $A$, $v$ and $V$ vary under some constraints i…
▽ More
Let $Ω$ be a bounded $C^{2}$ domain in $\R^n$, and let $Ω^{\ast}$ be the Euclidean ball centered at 0 and having the same Lebesgue measure as $Ω$. Consider the operator $L=-÷(A\nabla)+v\cdot \nabla +V$ on $Ω$ with Dirichlet boundary condition. We prove that minimizing the principal eigenvalue of $L$ when the Lebesgue measure of $Ω$ is fixed and when $A$, $v$ and $V$ vary under some constraints is the same as minimizing the principal eigenvalue of some operators $L^*$ in the ball $Ω^*$ with smooth and radially symmetric coefficients. The constraints which are satisfied by the original coefficients in $Ω$ and the new ones in $Ω^*$ are expressed in terms of some distribution functions or some integral, pointwise or geometric quantities. Some strict comparisons are also established when $Ω$ is not a ball.
△ Less
Submitted 5 August, 2006;
originally announced August 2006.
-
A Faber-Krahn inequality with drift
Authors:
Francois Hamel,
Nikolai Nadirashvili,
Emmanuel Russ
Abstract:
Let $Ω$ be a bounded $C^{2,α}$ domain in $\R^n$ ($n\geq 1$, $0<α<1$), $Ω^{\ast}$ be the open Euclidean ball centered at 0 having the same Lebesgue measure as $Ω$, $τ\geq 0$ and $v\in L^{\infty}(Ω,\R^n)$ with $\left\Vert v\right\Vert\_{\infty}\leq τ$. If $λ\_{1}(Ω,τ)$ denotes the principal eigenvalue of the operator $-Δ+v\cdot\nabla$ in $Ω$ with Dirichlet boundary condition, we establish that…
▽ More
Let $Ω$ be a bounded $C^{2,α}$ domain in $\R^n$ ($n\geq 1$, $0<α<1$), $Ω^{\ast}$ be the open Euclidean ball centered at 0 having the same Lebesgue measure as $Ω$, $τ\geq 0$ and $v\in L^{\infty}(Ω,\R^n)$ with $\left\Vert v\right\Vert\_{\infty}\leq τ$. If $λ\_{1}(Ω,τ)$ denotes the principal eigenvalue of the operator $-Δ+v\cdot\nabla$ in $Ω$ with Dirichlet boundary condition, we establish that $λ\_{1}(Ω,v)\geq λ\_{1}(Ω^{\ast},τe\_{r})$ where $e\_{r}(x)=x/| x|$. Moreover, equality holds only when, up to translation, $Ω=Ω^{\ast}$ and $v=τe\_{r}$. This result can be viewed as an isoperimetric inequality for the first eigenvalue of the Dirichlet Laplacian with drift. It generalizes the celebrated Rayleigh-Faber-Krahn inequality for the first eigenvalue of the Dirichlet Laplacian.
△ Less
Submitted 24 July, 2006;
originally announced July 2006.
-
Production of phi Mesons in Au+Au Collisions at 11.7 A GeV/c
Authors:
E917 Collaboration,
B. B. Back,
R. R. Betts,
J. Chang,
W. C. Chang,
C. Y. Chi,
Y. Y. Chu,
J. B. Cumming,
J. C. Dunlop,
W. Eldredge,
S. Y. Fung,
R. Ganz,
E. Garcia-Solis,
A. Gillitzer,
G. Heinzelman,
W. F. Henning,
D. J. Hofman,
B. Holzman,
J. H. Kang,
E. J. Kim,
S. Y. Kim,
Y. Kwon,
D. McLeod,
A. C. Mignerey,
M. Moulson
, et al. (15 additional authors not shown)
Abstract:
We report on a measurement of phi-meson production in Au+Au collisions at a beam momentum of 11.7 A GeV/c by Experiment E917 at the AGS. The measurement covers the midrapidity region 1.2 < y < 1.6. Transverse-mass spectra and the rapidity distribution are presented as functions of centrality characterized by the number of participant projectile nucleons. The yield of phi's per participant projec…
▽ More
We report on a measurement of phi-meson production in Au+Au collisions at a beam momentum of 11.7 A GeV/c by Experiment E917 at the AGS. The measurement covers the midrapidity region 1.2 < y < 1.6. Transverse-mass spectra and the rapidity distribution are presented as functions of centrality characterized by the number of participant projectile nucleons. The yield of phi's per participant projectile nucleon increases strongly in central collisions in a manner similar to that observed for kaons.
△ Less
Submitted 5 April, 2004; v1 submitted 22 April, 2003;
originally announced April 2003.
-
Hardy spaces and divergence operators on strongly Lipschitz domains in $R^n$
Authors:
P. Auscher,
E. Russ
Abstract:
Let $Ω$ be a strongly Lipschitz domain of $\reel^n$. Consider an elliptic second order divergence operator $L$ (including a boundary condition on $\partialΩ$) and define a Hardy space by imposing the non-tangential maximal function of the extension of a function $f$ via the Poisson semigroup for $L$ to be in$L^1$. Under suitable assumptions on $L$, we identify this maximal Hardy space with atomi…
▽ More
Let $Ω$ be a strongly Lipschitz domain of $\reel^n$. Consider an elliptic second order divergence operator $L$ (including a boundary condition on $\partialΩ$) and define a Hardy space by imposing the non-tangential maximal function of the extension of a function $f$ via the Poisson semigroup for $L$ to be in$L^1$. Under suitable assumptions on $L$, we identify this maximal Hardy space with atomic Hardy spaces, namely with $H^1(\reel^n)$ if $Ω=\reel^n$, $H^{1}_{r}(Ω)$ under the Dirichlet boundary condition, and $H^{1}_{z}(Ω)$ under the Neumann boundary condition. In particular, we obtain a new proof of the atomic decomposition for $H^{1}_{z}(Ω)$. A version for local Hardy spaces is also given. We also present an overview of the theory of Hardy spaces and BMO spaces on Lipschitz domains with proofs.
△ Less
Submitted 30 January, 2002;
originally announced January 2002.
-
Antilambda production in Au+Au collisions at 11.7 A GeV/c
Authors:
E917 Collaboration,
B. B. Back,
R. R. Betts,
J. Chang,
W. C. Chang,
C. Y. Chi,
Y. Y. Chu,
J. B. Cumming,
J. C. Dunlop,
W. Eldredge,
S. Y. Fung,
R. Ganz,
E. Garcia-Solis,
A. Gillitzer,
G. Heinzelman,
W. F. Henning,
D. J. Hofman,
B. Holzman,
J. H. Kang,
E. J. Kim,
S. Y. Kim,
Y. Kwon,
D. McLeod,
A. C. Mignerey,
M. Moulson
, et al. (15 additional authors not shown)
Abstract:
We present results from Experiment E917 for antilambda and antiproton production in Au+Au collisions at 11.7 A GeV. We have measured invariant spectra and yields for both species in central and peripheral collisions. We find that the antilambda/antiproton ratio near mid-rapidity increases from 0.26+0.19-0.15 in peripheral collisions to 3.6+4.7-1.8 in central collisions, a value that is substanti…
▽ More
We present results from Experiment E917 for antilambda and antiproton production in Au+Au collisions at 11.7 A GeV. We have measured invariant spectra and yields for both species in central and peripheral collisions. We find that the antilambda/antiproton ratio near mid-rapidity increases from 0.26+0.19-0.15 in peripheral collisions to 3.6+4.7-1.8 in central collisions, a value that is substantially larger than current theoretical estimates.
△ Less
Submitted 22 January, 2001;
originally announced January 2001.
-
Baryon Rapidity Loss in Relativistic Au+Au Collisions
Authors:
E917 Collaboration,
B. B. Back,
R. R. Betts,
J. Chang,
W. C. Chang,
C. Y. Chi,
Y. Y. Chu,
J. B. Cumming,
J. C. Dunlop,
W. Eldredge,
S. Y. Fung,
R. Ganz,
E. Garcia-Solis,
A. Gillitzer,
G. Heintzelman,
W. F. Henning,
D. J. Hofman,
B. Holzman,
J. H. Kang,
E. J. Kim,
S. Y. Kim,
Y. Kwon,
D. McLeod,
A. C. Mignerey,
M. Moulson
, et al. (15 additional authors not shown)
Abstract:
An excitation function of proton rapidity distributions for different centralities is reported from AGS Experiment E917 for Au+Au collisions at 6, 8, and 10.8 GeV/nucleon. The rapidity distributions from peripheral collisions have a valley at midrapidity which smoothly change to distributions that peak at midrapidity for central collisions. The mean rapidity loss increases with increasing beam e…
▽ More
An excitation function of proton rapidity distributions for different centralities is reported from AGS Experiment E917 for Au+Au collisions at 6, 8, and 10.8 GeV/nucleon. The rapidity distributions from peripheral collisions have a valley at midrapidity which smoothly change to distributions that peak at midrapidity for central collisions. The mean rapidity loss increases with increasing beam energy, whereas the fraction of protons consistent with isotropic emission from a thermal source at midrapidity decreases with increasing beam energy.
△ Less
Submitted 2 March, 2001; v1 submitted 14 March, 2000;
originally announced March 2000.
