Showing 1–11 of 11 results for author: Moonens, L

Hausdorff dimension of removable sets for elliptic and canceling homogeneous differential operators in the class of bounded functions

Authors: Victor Biliatto, Laurent Moonens, Tiago Picon

Abstract: In this note we give an upper bound on the Hausdorff dimension of removable setsfor elliptic and canceling homogeneous differential operators with constant coefficients in the class of bounded functions, using a simple extension of Frostman's lemma in Euclidean space with an additional power decay. In this note we give an upper bound on the Hausdorff dimension of removable setsfor elliptic and canceling homogeneous differential operators with constant coefficients in the class of bounded functions, using a simple extension of Frostman's lemma in Euclidean space with an additional power decay. △ Less

Submitted 5 December, 2023; originally announced December 2023.

Almost everywhere convergence for Lebesgue differentiation processes along rectangles

Authors: Emma D'Aniello, Anthony Gauvan, Laurent Moonens, Joseph M. Rosenblatt

Abstract: In this paper, we study Lebesgue differentiation processes along rectangles $R_k$ shrinking to the origin in the Euclidean plane, and the question of their almost everywhere convergence in $L^p$ spaces. In particular, classes of examples of such processes failing to converge a.e. in $L^\infty$ are provided, for which $R_k$ is known to be oriented along the slope $k^{-s}$ for $s>0$, yielding an int… ▽ More In this paper, we study Lebesgue differentiation processes along rectangles $R_k$ shrinking to the origin in the Euclidean plane, and the question of their almost everywhere convergence in $L^p$ spaces. In particular, classes of examples of such processes failing to converge a.e. in $L^\infty$ are provided, for which $R_k$ is known to be oriented along the slope $k^{-s}$ for $s>0$, yielding an interesting counterpart to the fact that the directional maximal operator associated to the set $\{k^{-s}:k\in\mathbb{N}^*\}$ fails to be bounded in $L^p$ for any $1\leq p<\infty$. △ Less

Submitted 5 July, 2022; originally announced July 2022.

Report number: hal-03708574, v1 MSC Class: 42B25; 26B05; 42B35

(Un)boundedness of directional maximal operators through a notion of "Perron capacity'' and an application

Authors: Emma D'Aniello, Anthony Gauvan, Laurent Moonens

Abstract: We introduce the notion of \textit{Perron capacity} of a set of slopes $Ω\subset \mathbb{R}$. Precisely, we prove that if the Perron capacity of $Ω$ is finite then the directional maximal operator associated $M_Ω$ is not bounded on $L^p(\mathbb{R}^2)$ for any $1 < p < \infty$. This allows us to prove that the set $$Ω_{ \boldsymbol{e}} =\left\{ \frac{\cos n}{n}: n\in \mathbb{N}^* \right\}$$ is not… ▽ More We introduce the notion of \textit{Perron capacity} of a set of slopes $Ω\subset \mathbb{R}$. Precisely, we prove that if the Perron capacity of $Ω$ is finite then the directional maximal operator associated $M_Ω$ is not bounded on $L^p(\mathbb{R}^2)$ for any $1 < p < \infty$. This allows us to prove that the set $$Ω_{ \boldsymbol{e}} =\left\{ \frac{\cos n}{n}: n\in \mathbb{N}^* \right\}$$ is not finitely lacunary which answers a question raised by A. Stokolos. △ Less

Submitted 13 June, 2022; originally announced June 2022.

MSC Class: Primary: 42B25; 26B05; Secondary: 42B35

On Local Continuous Solvability of Equations Associated to Elliptic and Canceling Linear Differential Operators

Authors: Laurent Moonens, Tiago Picon

Abstract: Consider $A(x,D):C^{\infty}(Ω,E) \rightarrow C^\infty(Ω,F)$ an elliptic and canceling linear differential operator of order $ν$ with smooth complex coefficients in $Ω\subset \mathbb{R}^{N}$ from a finite dimension complex vector space $E$ to a finite dimension complex vector space $F$ and $A^{*}(x,D)$ {its} adjoint. In this work we characterize the (local) continuous solvability of the partial dif… ▽ More Consider $A(x,D):C^{\infty}(Ω,E) \rightarrow C^\infty(Ω,F)$ an elliptic and canceling linear differential operator of order $ν$ with smooth complex coefficients in $Ω\subset \mathbb{R}^{N}$ from a finite dimension complex vector space $E$ to a finite dimension complex vector space $F$ and $A^{*}(x,D)$ {its} adjoint. In this work we characterize the (local) continuous solvability of the partial differential equation $A^{*}(x,D)v=f$ (in the distribution sense) for a given distribution $f$; more precisely we show that any $x_0\inΩ$ is contained in a neighborhood $U\subset Ω$ in which its continuous solvability is characterized by the following condition on $f$: for every $ε>0$ and any compact set $K \subset \subset U$, there exists $θ=θ(K,ε)>0$ such that the following holds for all smooth function $\varphi$ supported in $K$: \begin{equation}\nonumber \left| f(\varphi) \right| \leq θ\|\varphi\|_{W^{ν-1,1}} + ε\|A(x,D) \varphi\|_{L^{1}}, \end{equation} where $W^{ν-1,1}$ stands for the homogenous Sobolev space of all $L^1$ functions whose derivatives of order $ν-1$ belongs to $L^{1}(U)$. This characterization implies and extends results obtained before for operators associated to elliptic complex of vector fields (see \cite{MP}); we also provide local analogues, for a large range of differential operators, to global results obtained for the classical divergence operator in [4] and [9]. △ Less

Submitted 15 April, 2020; originally announced April 2020.

Comments: arXiv admin note: substantial text overlap with arXiv:1701.02889

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.

Differentiating along rectangles with fixed shapes in a set of directions

Authors: Emma D'Aniello, Laurent Moonens

Abstract: In the present note, we examine the behavior of some homo\-thecy-invariant differentiation basis of rectangles in the plane satisfying the following requirement: for a given rectangle to belong to the basis, the ratio of the largest of its side-lengths by the smallest one (which one calls its \emph{shape}) has to be a fixed real number depending on the angle between its longest side and the horizo… ▽ More In the present note, we examine the behavior of some homo\-thecy-invariant differentiation basis of rectangles in the plane satisfying the following requirement: for a given rectangle to belong to the basis, the ratio of the largest of its side-lengths by the smallest one (which one calls its \emph{shape}) has to be a fixed real number depending on the angle between its longest side and the horizontal line (yielding a \emph{shape-function}). Depending on the allowed angles and the corresponding shape-function, a basis may differentiate various Orlicz spaces. We here give some examples of shape-functions so that the corresponding basis differentiates $L\log L(\R^2)$, and show that in some `model' situations, a fast-growing shape function (whose speed of growth depends on $α>0$) does not allow the differentiation of $L\log^αL(\R^2)$. △ Less

Submitted 7 May, 2019; originally announced May 2019.

Differentiating Orlicz spaces with rare bases of rectangles

Authors: Emma D 'Aniello, Laurent Moonens, Joseph Rosenblatt

Abstract: In the current paper, we study how the speed of convergence of a sequence of angles decreasing to zero influences the possibility of constructing a rare differentiation basis of rectangles in the plane, one side of which makes with the horizontal axis an angle belonging to the given sequence, that differentiates precisely a fixed Orlicz space. In the current paper, we study how the speed of convergence of a sequence of angles decreasing to zero influences the possibility of constructing a rare differentiation basis of rectangles in the plane, one side of which makes with the horizontal axis an angle belonging to the given sequence, that differentiates precisely a fixed Orlicz space. △ Less

Submitted 22 August, 2018; originally announced August 2018.

Continuous solutions for divergence-type equations associated to elliptic systems of complex vector fields

Authors: Laurent Moonens, Tiago Picon

Abstract: In this paper, we characterize all the distributions $F \in \mathcal{D}'(U)$ such that there exists a continuous weak solution $v \in C(U,\mathbb{C}^{n})$ (with $U \subset Ω$) to the divergence-type equation $$L_{1}^{*}v_{1}+...+L_{n}^{*}v_{n}=F,$$ where $\left\{L_{1},\dots,L_{n}\right\}$ is an elliptic system of linearly independent vector fields with smooth complex coefficients defined on… ▽ More In this paper, we characterize all the distributions $F \in \mathcal{D}'(U)$ such that there exists a continuous weak solution $v \in C(U,\mathbb{C}^{n})$ (with $U \subset Ω$) to the divergence-type equation $$L_{1}^{*}v_{1}+...+L_{n}^{*}v_{n}=F,$$ where $\left\{L_{1},\dots,L_{n}\right\}$ is an elliptic system of linearly independent vector fields with smooth complex coefficients defined on $Ω\subset \mathbb{R}^{N}$. In case where $(L_1,\dots, L_n)$ is the usual gradient field on $\mathbb{R}^N$, we recover the classical result for the divergence equation proved by T. De Pauw and W. Pfeffer. △ Less

Submitted 11 January, 2017; originally announced January 2017.

Differentiating along rectangles in lacunary directions

Authors: Laurent Moonens

Abstract: We show that, given some lacunary sequence of angles $\mathbfθ=(θ_j)_{j\in\N}$ not converging too fast to zero, it is possible to build a rare differentiation basis $\mathcal{B}$ of rectangles parallel to the axes that differentiates $L^1(\mathbb{R}^2)$ while the basis $\mathcal{B}_{\mathbfθ}$ obtained from $\mathcal{B}$ by allowing its elements to rotate around their lower left vertex by the angl… ▽ More We show that, given some lacunary sequence of angles $\mathbfθ=(θ_j)_{j\in\N}$ not converging too fast to zero, it is possible to build a rare differentiation basis $\mathcal{B}$ of rectangles parallel to the axes that differentiates $L^1(\mathbb{R}^2)$ while the basis $\mathcal{B}_{\mathbfθ}$ obtained from $\mathcal{B}$ by allowing its elements to rotate around their lower left vertex by the angles $θ_j$, $j\in\mathbb{N}$, fails to differentiate all Orlicz spaces lying between $L^1(\mathbb{R}^2)$ and $L\log L(\mathbb{R}^2)$. △ Less

Submitted 15 September, 2016; v1 submitted 16 May, 2016; originally announced May 2016.

Journal ref: New York Journal of Mathematics, Volume 22 (2016) 933-942

Averaging on $n$-dimensional rectangles

Authors: Emma D'Aniello, Laurent Moonens

Abstract: In this work we investigate families of translation invariant differentiation bases $B$ of rectangles in $R^n$, for which $L\log^{n-1}L(R^n)$ is the largest Orlicz space that $B$ differentiates. In particular, we improve on techniques developed by A.~Stokolos 1988 and 2008. In this work we investigate families of translation invariant differentiation bases $B$ of rectangles in $R^n$, for which $L\log^{n-1}L(R^n)$ is the largest Orlicz space that $B$ differentiates. In particular, we improve on techniques developed by A.~Stokolos 1988 and 2008. △ Less

Submitted 16 May, 2016; v1 submitted 1 April, 2016; originally announced April 2016.

Comments: 17 pages, 2 figures

MSC Class: 42B25; 26B05

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.