BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
Refining an earlier result due to Hahlomaa, we provide a new Carleson-type condition for k-regular sets in the Heisenberg group Hn to have big pieces of Lipschitz images of subsets of Rk for 1≤k≤n. Our approach passes via the corona decompositions by normed spaces, recently introduced by Bate, Hyde, and Schul. Along the way, we prove implications between several notions of quantitative rectifiability for low-dimensional sets in Hn.
We study the Lusin approximation problem for real-valued measurable functions on Carnot groups. We prove that k-approximate differentiability almost everywhere is equivalent to admitting a Lusin approximation by CGk maps. We also prove that existence of an approximate (k-1)-Taylor polynomial almost everywhere is equivalent to admitting a Lusin approximation by maps in a suitable Lipschitz function space.
We study a characterization of BV and Sobolev functions via nonlocal functionals in metric spaces equipped with a doubling measure and supporting a Poincaré inequality. Compared with previous works, we consider more general functionals. We also give a counterexample in the case p=1 demonstrating that unlike in Euclidean spaces, in metric measure spaces the limit of the nonlocal functions is only comparable, not necessarily equal, to the variation measure ∥Df∥(Ω).
We investigate the connection between maximal directional derivatives and differentiability for Lipschitz functions defined on Laakso space. We show that maximality of a directional derivative for a Lipschitz function implies differentiability only for a σ-porous set of points. On the other hand, the distance to a fixed point is differentiable everywhere except for a σ-porous set of points. This behavior is completely different to the previously studied settings of Euclidean spaces and Carnot groups.
Given a C2 family of vector fields X1,...,Xm which induces a continuous Carnot-Carathéodory distance, we show that any absolute minimizer of a supremal functional defined by a C2 quasiconvex Hamiltonian f(x,z,p), allowing z-variable dependence, is a viscosity solution to the Aronsson equation −⟨X(f(x,u(x),Xu(x))),Dpf(x,u(x),Xu(x))⟩=0.
We prove a Cm Lusin approximation theorem for horizontal curves in the Heisenberg group. This states that every absolutely continuous horizontal curve whose horizontal velocity is m−1 times L1 differentiable almost everywhere coincides with a Cm horizontal curve except on a set of small measure. Conversely, we show that the result no longer holds if L1 differentiability is replaced by approximate differentiability. This shows our result is optimal and highlights differences between the Heisenberg and Euclidean settings.
In this paper, we study two classes of Kirchhoff type problems set on a double phase framework. That is, the functional space where finding solutions coincides with the Musielak-Orlicz-Sobolev space W01,H(Ω), with modular function H related to the so called double phase operator. Via a variational approach, we provide existence and multiplicity results.
We provide a new characterization of homogeneous Besov and Sobolev spaces in Carnot groups using the fractional heat kernel and Poisson kernel. We apply our results to study commutators involving fractional powers of the sub-Laplacian.
We prove the local minimality of halfspaces in Carnot groups for a class of nonlocal functionals usually addressed as nonlocal perimeters. Moreover, in a class of Carnot groups in which the De Giorgi's rectifiability Theorem holds, we provide a lower bound for the Γ-liminf of the rescaled energy in terms of the horizontal perimeter.
We consider the multi-marginal optimal transport of aligning several compactly supported marginals on the Heisenberg group to minimize the total cost, which we take to be the sum of the squared Carnot-Carathéodory distances from the marginal points to their barycenter. Under certain technical hypotheses, we prove existence and uniqueness of optimal maps. We also point out several related open questions.
We prove that if P,L are finite sets of δ-separated points and lines in R2, the number of δ-incidences between P and L is no larger than a constant times ∣P∣2/3∣L∣2/3⋅δ−1/3. We apply the bound to obtain the following variant of the Loomis-Whitney inequality in the Heisenberg group: ∣K∣≲∣πx(K)∣2/3⋅∣πy(K)∣2/3,K⊂H. Here πx and πy are the vertical projections to the xt- and yt-planes, respectively, and ∣⋅∣ refers to natural Haar measure on either H, or one of the planes. Finally, as a corollary of the Loomis-Whitney inequality, we deduce that ∥f∥4/3≲∥Xf∥∥Yf∥,f∈BV(H), where X,Y are the standard horizontal vector fields in H. This is a sharper version of the classical geometric Sobolev inequality ∥f∥4/3≲∥∇Hf∥ for f∈BV(H).
We prove Pohozaev-type identities for smooth solutions of Euler-Lagrange equations of second and fourth order that arise from functional depending on homogeneous Hörmander vector fields. We then exploit such integral identities to prove non-existence results for the associated boundary value problems.
We show that every Carnot group G of step 2 admits a Hausdorff dimension one `universal differentiability set' N such that every real-valued Lipschitz map on G is Pansu differentiable at some point of N. This relies on the fact that existence of a maximal directional derivative of f at a point x implies Pansu differentiability at the same point x. We show that such an implication holds in Carnot groups of step 2 but fails in the Engel group which has step 3.
Given a family of locally Lipschitz vector fields X(x)=(X1(x),…,Xm(x)) on Rn, m≤n, we study functionals depending on X. We prove an integral representation for local functionals with respect to X and a result of Γ-compactness for a class of integral functionals depending on X.
We show that the Heisenberg group Hn contains a measure zero set N such that every Lipschitz function f:Hn→R is Pansu differentiable at a point of N. The proof adapts the construction of small 'universal differentiability sets' in the Euclidean setting: we find a point of N and a horizontal direction where the directional derivative in horizontal directions is almost locally maximal, then deduce Pansu differentiability at such a point.
We use porosity to study differentiability of Lipschitz maps on Carnot groups. Our first result states that directional derivatives of a Lipschitz function act linearly outside a σ-porous set. The second result states that irregular points of a Lipschitz function form a σ-porous set. We use these observations to give a new proof of Pansu's theorem for Lipschitz maps from a general Carnot group to a Euclidean space.
We prove a magnetic version of the Maz'ya-Shaposhnikova singular limit of nonlocal norms with vanishing fractional parameter. This complements a general convergence result recently obtained by authors when the parameter approaches one.
First we study in detail the tensorization properties of weak gradients in metric measure spaces (X,d,m). Then, we compare potentially different notions of Sobolev space H1,1(X,d,m) and of weak gradient with exponent 1. Eventually we apply these results to compare the area functional ∫1+∣∇f∣w2dm with the perimeter of the subgraph of f, in the same spirit as the classical theory.
We study the symmetry properties for solutions of elliptic systems of the type (-Δ)^{s_1} u = F_1(u, v), (-Δ)^{s_2} v= F_2(u, v), where F∈Cloc1,1(R2), s1,s2∈(0,1) and the operator (−Δ)s is the so-called fractional Laplacian. We obtain some Poincaré-type formulas for the α-harmonic extension in the half-space, that we use to prove a symmetry result both for stable and for monotone solutions.
We consider the area functional for t-graphs in the sub-Riemannian Heisenberg group and study minimizers of the associated Dirichlet problem. We prove that, under a bounded slope condition on the boundary datum, there exists a unique minimizer and that this minimizer is Lipschitz continuous. We also provide an example showing that, in the first Heisenberg group, Lipschitz regularity is sharp even under the bounded slope condition.
We prove the one-dimensional symmetry of solutions to elliptic equations of the form $-\dive(e^{G(x)}a(|\nabla u|)\nabla u)=f(u) e^{G(x)}$, under suitable energy conditions. Our results hold without any restriction on the dimension of the ambient space.
We study the symmetry properties for solutions of elliptic systems of the type {ll}-\dive(a_1(x,|\nabla u^1|(X))\nabla u^1(X))=F_{1}(x, u^1(X),..., u^n(X)), ... -\dive(a_n(x,|\nabla u^n|(X))\nabla u^n(X))=F_{n}(x, u^1(X),..., u^n(X)), where x∈Rm with 1≤m<N, X=(x,y)∈Rm×RN−m, and F1,...,Fn are the derivatives with respect to ξ1,...,ξn of some F=F(x,ξ1,...,ξn) such that for any i=1,...,n and any fixed (x,ξ1,...,ξi−1,ξi+1,...,ξn)∈Rm×Rn−1 the map ξi→F(x,ξ1,...,ξi,...,ξn) belongs to C2(R). We obtain a Poincaré-type formula for the solutions of the system and we use it to prove a symmetry result both for stable and for monotone solutions.
We consider an obstacle problem in the Heisenberg group framework, and we prove that the operator on the obstacle bounds pointwise the operator on the solution. More explicitly, if ε≥0 and uˉε minimizes the functional $$ \int_Ω(ε+|\nabla_{\H^n}u|^2)^{p/2}$$ among the functions with prescribed Dirichlet boundary condition that stay below a smooth obstacle ψ, then 0 \le ÷_{\H^n}\, \Big((ε+|\nabla_{\H^n}\bar u_ε|^2)^{(p/2)-1} \nabla_{\H^n}\bar u_ε\Big) \qquad \le (÷_{\H^n}\, \Big((ε+|\nabla_{\H^n}ψ|^2)^{(p/2)-1} \nabla_{\H^n}ψ\Big))^+.
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.