A simple proof of the Hardy inequality on Carnot groups and for some hypoelliptic families of vector fields

Fran\c{c}ois Vigneron (LAMA)

REVIEW 2 major objections 5 minor 29 references

A simple proof of the Hardy inequality on Carnot groups and for some hypoelliptic families of vector fields

T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper proves Hardy's inequality on every Carnot group for every real exponent below half the homogeneous dimension, using only integration by parts and commutator backtracking.

desk verdict Elementary proof of a known Hardy inequality that isolates the gauge-norm symbol property; the new machinery is sound and useful, though the main theorem itself is not new. read the letter →

arxiv 1908.06728 v1 pith:ZOVVDR4L submitted 2019-08-19 math.CA math.APmath.DG

François Vigneron (LAMA) This is my paper · ORCID

classification math.CAmath.APmath.DG MSC 43A8035R0342B37

keywords HardyinequalityCarnotgroupstratifiedLiehomogeneousdimensiongaugenormsymbolestimatesradialvectorfieldhypoellipticfields

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper establishes Theorem 1: on any Carnot group, with any homogeneous pseudo-norm equivalent to the Carnot–Carathéodory distance, the weighted $L^2$ estimate $\int |f|^2/\|g\|_G^{2s}\,dg \le C_s \|f\|_{H^s(G)}^2$ holds for all real $0 \le s < Q/2$, where $Q$ is the homogeneous dimension. The interest is that the proof is elementary: it avoids Littlewood–Paley theory and the Fourier transform, working instead with integration by parts against the radial dilation field and a careful analysis of the commutator structure. A secondary claim is that, on Carnot groups, one can always replace the gauge norm by a uniformly equivalent symbol of order $1$, and this symbol property is what makes the integration by parts close. The paper also shows the analogous symbol property can genuinely fail for general hypoelliptic vector-field families, and gives sufficient conditions under which the Hardy proof still goes through for such families.

What carries the argument

The two load-bearing objects are the radial dilation field $R(g) = \frac{d}{dt}\big|_{t=1}(tg)$, expressed in left-invariant fields as $R = \sum_\ell \sigma_\ell Y_\ell^L$ with coefficients $\sigma_\ell$ of weight $\omega_\ell$, and a gauge norm $\rho$ uniformly equivalent to the given homogeneous pseudo-norm and belonging to the symbol class $S^1_1$: $|\nabla_G^\gamma \rho| \le C_\gamma \rho^{1-|\gamma|}$ near the origin. Proposition 9 gives $R(\rho^{-2s}) = -2s\rho^{-2s}$; Proposition 10 gives $R + R^* = -Q$ in $L^2$. In Section 2.5 these identities turn the Hardy integral into sums of terms $I_\ell$, and the commutator-backtracking operators $W_{\ell,i}$ move derivatives off the function and onto $\sigma_\ell/\rho^{2s}$, producing the bound $|W_{\ell,i}(\sigma_\ell/\rho^{2s})| \le C/\rho^{2s-1}$. That bound converts equation (46) into (47), and iterating from $s-1$ to $s$, with interpolation to cover fractional $s$, proves the theorem.

What would settle it

One concrete test: on a Carnot group of step at least 2, exhibit a homogeneous pseudo-norm equivalent to the Carnot–Carathéodory distance that is not uniformly equivalent to any gauge satisfying the order-1 symbol bounds. A positive example would disprove Proposition 7; conversely, verifying the bounds for all such pseudo-norms would support the theorem. For the hypoelliptic part, find a regular Hörmander point of step 4 where no well-adapted coordinate system exists, which would answer the open question in Section 3 negatively.

Watch

Extended reading notes

Core claim

The central claim is that Hardy's inequality on a Carnot group is not a deep analytic fact but a consequence of the algebraic commutator structure together with symbolic regularity of a well-chosen gauge norm. Starting from the identity $R(\|g\|_G^{-2s}) = -2s\|g\|_G^{-2s}$ for the radial dilation field $R$, one integration by parts reduces the Hardy weight step by step: an estimate with weight $\|g\|^{-2s}$ follows from the estimate with weight $\|g\|^{-2(s-1)}$, as long as $Q/2 - s$ stays positive. The obstruction is that expressing $R$ in left-invariant fields puts derivatives of order $\omega_\ell$ on the test function; the commutator structure lets one move all but one of these derivatives onto the coefficients $\sigma_\ell/\|g\|^{2s}$, and the bound $|W_{\ell,i}(\sigma_\ell/\|g\|^{2s})| \le C/\|g\|^{2s-1}$ depends precisely on the gauge norm being a symbol of order $1$. Thus the paper reduces a known inequality to a single algebraic-symbolic property.

Load-bearing premise

The whole proof rests on Proposition 7, the claim that on a Carnot group the given homogeneous pseudo-norm can be replaced by a uniformly equivalent gauge $\rho$ satisfying the order-1 symbol bounds $|\nabla_G^\gamma \rho| \le C_\gamma \rho^{1-|\gamma|}$; if that failed, the commutator-backtracking estimate $|W_{\ell,i}(\sigma_\ell/\rho^{2s})| \le C/\rho^{2s-1}$ would fail and the reduction from equation (46) to (47) would break.

Editorial extensions

If this is right

For any Carnot group, the Hardy inequality (6) holds for every real $s < Q/2$, not only integer steps, and the proof needs no Fourier analysis.
The same estimate can be homogenized: Theorem 13 gives $\int |f|^2/\|g\|^{2s}\,dg \le 2C_s \|\nabla_G^s f\|_{L^2}^2$ for $0 \le s < Q/2$ by a scaling argument.
The density of functions compactly supported away from the origin in $H^s(G)$ holds for all $0 \le s < Q/2$, and for even $Q$ also at the critical value $s = Q/2$; at odd $Q$ and $s = Q/2$ it can fail.
For general Hörmander families, the integration-by-parts technique survives exactly where the gauge can be chosen to satisfy the order-1 symbol bounds: this is true for regular step-2 points and for regular step-3 points after adapting coordinates, and the obstruction begins at step 4.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

One implicit next step, if the proof's structure is as modular as it appears, is to look for Hardy inequalities on general sub-Riemannian manifolds by checking the order-1 symbol bound for a local gauge rather than by building a global Littlewood–Paley theory.
The commutator-backtracking identity suggests a symbolic calculus for quotients of the form $\sigma_\ell / \rho^{2s}$; making that calculus explicit could yield a uniform template for higher-order Rellich-type inequalities on stratified structures.
The step-4 open problem admits a concrete test suggested by the paper: on a step-4 Carnot group, examine whether every adapted coordinate system is well-adapted; a failure there would show the Hörmander condition alone is not sufficient, paralleling the step-3 counterexample.
One could use the density result and the homogeneous inequality (48) to try to track sharp constants, since the proof passes through $\varepsilon$-absorptions and might yield explicit values for $C_s$ on specific groups such as the Heisenberg group.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The headline theorem of this paper is not new: Hardy inequalities on Carnot groups were already known via Littlewood-Paley (Bahouri–Fermanian–Gallagher), Calderón–Zygmund (Grillo), and interpolation (Ciatti–Cowling–Ricci). What is new is the proof, and the proof is genuinely elementary. The author integrates by parts against the radial field and then uses the commutator structure of the stratified Lie algebra to backtrack all but one horizontal derivative onto the coefficients. For a referee, the load-bearing claim is Proposition 7: the gauge norm can be chosen to satisfy |∇_G^γ ρ| ≤ C_γ ρ^{1−|γ|}. On Carnot groups this holds, and the argument in the paper, though compressed, checks out. The counterexample in §3.1 shows the property can genuinely fail for hypoelliptic families without group structure, which is exactly the kind of sharpness that makes the result believable.

The proof is written carefully for m=1,2, and the general case is a clean induction on strata. The identity I=(1/2)∫C(a)|φ|^2 is correct because nested commutators of left-invariant vector fields are first-order operators, and the symbol bounds close estimate (47). The density result for integer s is fine; the fractional-s step is only sketched. That is a minor but real gap — the interpolation argument needs the density to be stated at the level of H^s, not just a colloquial 'by Schwarz'. Section 3.5 depends on the unpublished thesis [29]; the author is explicit about this, so it is not a hidden assumption, but it limits how much an outside reader can verify the conditional results.

The paper's main value is methodological: it shows that the Hardy inequality on a Carnot group is a consequence of the symbol property of the gauge rather than the full group Fourier machinery. The writing is clear, with good examples. The self-citations are to prior work in the area and are not load-bearing.

I would send this to a serious referee. The referee's job should be to verify Proposition 7 carefully and to push for a complete proof of the fractional density lemma. If both hold, it is a solid, worthwhile paper. A desk reject would be a mistake.

Referee Report

2 major / 5 minor

Summary. The paper proves a general Hardy inequality on any Carnot group: for any homogeneous pseudo-norm equivalent to the Carnot-Carathéodory distance and any 0 ≤ s < Q/2, there is C_s > 0 such that ∫ |f|²/‖g‖^{2s} ≤ C_s ‖f‖_{H^s(G)}² (Theorem 1). The proof is deliberately elementary: it uses only integration by parts, the radial dilation vector field, symbol estimates for a suitably chosen homogeneous gauge (Proposition 7), and a commutator-backtracking device that reduces the Hardy weight ρ^{-2s} to ρ^{-2(s-1)}. Section 3 discusses the same technique for general Hörmander families of vector fields, giving a counterexample to the symbol property of the natural gauge, positive results for step 2 and for well-structured families (Theorems 14–16), and a conditional discussion of the corresponding Hardy inequality.

Significance. The main theorem is not new—analogous inequalities are already in the literature, e.g. the works of Bahouri–Fermanian–Gallagher and Ciatti–Cowling–Ricci cited by the author—but the proof is genuinely different and much more elementary, avoiding Littlewood-Paley theory and Fourier analysis on groups. The key technical novelty is Proposition 7, which shows that on a Carnot group one can choose a homogeneous gauge that is a first-order symbol; this is the load-bearing estimate that makes the whole integration-by-parts argument work. The counterexample in Section 3.1 is also valuable, as it shows that the symbol property fails for some natural gauges in the hypoelliptic setting and clarifies why the group structure matters. The paper is careful to distinguish what is fully proved from what is conditional on the unpublished thesis [29], and the elementary proofs are checkable in principle.

major comments (2)

[§2.1, Proposition 7] The proof of the higher-derivative bound (36) is compressed at the point where the paper says “one can claim by recurrence on the length of the multi-index γ.” This estimate is load-bearing: without it, the bound |W_{ℓ,i}(σ_ℓ/ρ^{2s})| ≤ C/ρ^{2s−1} in §2.5 and hence the reduction of (46) to (47) would fail. I believe the claim is true, but the induction should be written out explicitly: state the precise form of ∇_G^γ ρ, explain how each term is controlled by ρ^{1−|γ|}, and justify the treatment of polynomial terms in S^0(G).
[§2.4, Proposition 12] The density statement is proved in detail only for integer s; for fractional s the proof says only that replacing ∇^{γ*}∇^γ by a fractional power of the sub-Laplacian “would go unchanged.” Since Theorem 1 is stated for all real s and the cut-off/annulus reduction in §2.5 uses precisely this density, a complete argument for fractional s—or a precise interpolation argument that transfers density from the integer endpoint spaces—should be included.

minor comments (5)

[§2.4, proof of Proposition 12] In the scaling step, the displayed exponent r^{2|γ|+Q} appears to be inconsistent with the preceding change of variables: one has ∫ |∇^γ ψ(rg)|² dg = r^{2|γ|−Q} ∫ |∇^γ ψ|², so after passing to v(r^{-1}g) the exponent should be r^{4|γ|+Q}. The conclusion of the argument is unaffected because the left-hand side still contains a factor r^Q, but the displayed algebra should be corrected.
[Throughout] There are several typographical errors: “hypoellliptic” in the keywords, “sooth cut-oﬀ” in Proposition 12, “C arnot” in the abstract, and “P´olia” in reference [17]; these should be corrected.
[§2.5, equation (45)] The notation switches from ϕ to φ without comment after equation (45); the same symbol should be used consistently for the cut-off function.
[§3.5] This subsection is explicitly conditional on the unpublished thesis [29], and the passage from (59)–(60) to the Hardy inequality is only sketched. Since the abstract advertises the hypoelliptic discussion as conditional, this is acceptable, but the text should state clearly that no self-contained theorem is claimed in §3.5.
[References] Reference [29] is given as a Dropbox link; the author should provide a more stable permanent location for the thesis if it is to be used as a supporting reference.

Circularity Check

0 steps flagged · score 1.0 of 10

No circular reduction in the main Carnot-group proof; only a peripheral self-citation in the open-problem section.

full rationale

Theorem 1 is proved from the paper's own Propositions 6-12: Proposition 7 establishes the order-1 symbol property of a gauge equivalent to any given homogeneous pseudo-norm by explicit construction (37) and a recurrence in the S^alpha classes; Propositions 8-11 give the radial field, the scaling identity (43), and the adjoint relations; Section 2.5 then runs a direct integration-by-parts and commutator-backtracking argument, with the bound |W_{ell,i}(sigma_ell/rho^{2s})| <= C/rho^{2s-1} following from the symbol classes rather than being assumed. No parameter is fitted and no 'prediction' is obtained by renaming an input: the Hardy inequality for s=1, the interpolation to s in [0,1], and the iterative step (47) are standard analytic arguments, and the fractional-s density statement is a sketch but not a circular one. The only self-citations are historical remarks ([23], [28]) and the conditional open-problem discussion in Section 3.5, where the existence of a radial field with (59)-(60) is referred to the author's unpublished thesis [29]; this is a minor self-citation that does not support or replace the central Carnot-group theorem, so it does not constitute circularity in the paper's main derivation.

Assumptions & free parameters 0 free parameters · 9 assumptions · 0 invented entities

No parameters are fitted to data and no new entities are introduced. The central proof rests only on standard Lie group and harmonic analysis facts; the only domain assumption is the regularity hypothesis in the Section 3 extension. Several standard theorems are cited as black boxes, including the Baker-Campbell-Hausdorff formula, the ball-box theorem, and Hoermander's hypoellipticity theorem.

assumptions (9)

standard math Baker-Campbell-Hausdorff formula holds globally for nilpotent Lie algebras, and the differential of exp is given by equation (11).
Used throughout Sections 1.7-2.2 to express left-invariant vector fields and the radial field in exponential coordinates.
standard math exp : g -> G is a global diffeomorphism for Carnot groups (Proposition 2).
Identifies G with g via exponential coordinates; needed for all coordinate computations.
standard math Haar measure is homogeneous of degree Q under stratified dilations (Proposition 5).
Used in the density argument (Proposition 12) and the homogeneous inequality (Theorem 13).
standard math Gauge balls are comparable to Carnot-Caratheodory balls (ball-box theorem).
Justifies replacing the Carnot-Caratheodory distance by any equivalent homogeneous pseudo-norm in Theorem 1.
standard math Hoermander's hypoellipticity theorem embeds H^s(G) locally in Euclidean H^{s/m}.
Invoked in the remark after equation (24) to relate group Sobolev spaces to Euclidean ones; not needed for the main proof.
standard math The basis of the Lie algebra can be chosen so that each basis element is a nested commutator of horizontal elements (equation (22)).
This structural fact underlies the commutator-backtracking step in the m >= 2 cases.
standard math Schwartz's theorem: a distribution supported at a point is a finite sum of derivatives of Dirac masses.
Used in Proposition 12 to reduce the annihilator of D(G\{e}) to a polynomial in derivatives of the Dirac mass.
standard math Complex interpolation and fractional powers of the sub-Laplacian define H^s(G) for fractional s.
Bridges the proof from integer s = 1 to all real 0 < s < Q/2.
domain assumption The hypoelliptic extension assumes the point is a regular Hoermander point, meaning the ranks n_k = dim W_k are constant near the point.
Defines the adapted-coordinate framework in Section 3; not used in the proof of Theorem 1.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A simple proof of the Hardy inequality on Carnot groups and for some hypoelliptic families of vector fields." pith.science (2026). https://pith.science/paper/ZOVVDR4L

@misc{pith2026190806728,
  author       = {Pith},
  title        = {Pith review of: A simple proof of the Hardy inequality on Carnot groups and for some hypoelliptic families of vector fields},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZOVVDR4L}},
  note         = {Machine review of arXiv:1908.06728}
}

read the original abstract

We give an elementary proof of the classical Hardy inequality on any Carnot group, using only integration by parts and a fine analysis of the commutator structure, which was not deemed possible until now. We also discuss the conditions under which this technique can be generalized to deal with hypoelliptic families of vector fields, which, in this case, leads to an open problem regarding the symbol properties of the gauge norm.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages

[29]

Vigneron

F. Vigneron. Espaces fonctionnels associ´ es ` a une famille de champs de v ecteurs. PhD Thesis. ´Ecole Poly- technique, 2006 (178 pages, french). https://www.dropbox.com/s/yv9r1rinr1pjxrs/these.pdf 23

work page 2006
[1]

Adimurthi, A. Mallick. A Hardy type inequality on fractional order Sobolev spaces o n Heisenberg group. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 18 (2018), no. 3, 917-949

work page 2018
[2]

Ambrosio, A

L. Ambrosio, A. Pinamonti, G. Speight. Weighted Sobolev spaces on metric measure spaces. J. Reine Angew. Math. 746 (2019), 39-65

work page 2019
[3]

Ambrosio, S

L. Ambrosio, S. Rigot. Optimal mass transportation in the Heisenberg group. J. Funct. Anal. 208 (2004), no. 2, 261-301

work page 2004
[4]

Bahouri, J.-Y

H. Bahouri, J.-Y. Chemin, I. Gallagher. Precised Hardy inequalities on Rd and on the Heisenberg group Hd. S´ emin.´Equ. D´ eriv. Partielles (2004-2005), Exp. No. XIX, 17 pp

work page 2004
[5]

Bahouri, J.-Y

H. Bahouri, J.-Y. Chemin, C.-J. Xu. Trace and trace lifting theorems in weighted Sobolev spaces . J. Inst. Math. Jussieu 4 (2005), no. 4, 509-552

work page 2005
[6]

Bahouri, J.-Y

H. Bahouri, J.-Y. Chemin, C.-J. Xu. Trace theorem on the Heisenberg group. Ann. Inst. Fourier, 59 (2009), no. 2, 491-514

work page 2009
[7]

Bahouri, A

H. Bahouri, A. Cohen. Reﬁned Sobolev Inequalities in Lorentz Spaces. J. Fourier. Anal. Appl. 17 (2011), no. 4, 662-673

work page 2011

Show all 29 references

[8]

Bahouri, C

H. Bahouri, C. Fermanian, I. Gallagher. Reﬁned inequalities on graded Lie groups. C.R. Math. Acad. Sci. Paris 350 (2012), no. 7-8, 393-397

2012
[9]

Bella ¨ ıche.The tangent space in sub-Riemannian geometry, in Sub-Riemannian Geometry

A. Bella ¨ ıche.The tangent space in sub-Riemannian geometry, in Sub-Riemannian Geometry . Birkh¨ auser, Progress in Maths, Vol. 144 (1996)

1996
[10]

Ciatti, M.G

P. Ciatti, M.G. Cowling, F. Ricci. Hardy and uncertainty inequalities on stratiﬁed Lie groups . Advances in Mathematics. Vol. 277, 4 (2015), 365-387

2015
[11]

D’Ambrosio

L. D’Ambrosio. Hardy-type inequalities related to degenerate elliptic diﬀerential operators. Ann. Sc. Norm. Su- per. Pisa Cl. Sci. (5) 4 (2005), no. 3, 451-486

2005
[12]

J. Dou, P. Niu, Z. Yuan. A Hardy inequality with remainder terms in the Heisenberg gr oup and the weighted eigenvalue problem. J. Inequal. Appl. 2007. Art. ID 32585, 24 pp

2007
[13]

Folland, E.M

G.B. Folland, E.M. Stein. Hardy spaces on homogeneous groups. Mathematical Notes, 28. Princeton Univ. Press, 1982

1982
[14]

Garofalo, E

N. Garofalo, E. Lanconelli. Frequency functions on the Heisenberg group, the uncertain ty principle and unique continuation. Ann. Inst. Fourier, 40-2 (1990)

1990
[15]

G. Grillo. Hardy and Rellich-type Inequalities for Metrics Deﬁned by V ector Fields. Potential Anal., 18-3 (2003), 187-217

2003
[16]

M. Gromov. Carnot-Carath´ eodory spaces seen from within, in Sub-Riemannian Geometry . Birkh¨ auser, Progress in Maths, Vol. 144 (1996)

1996
[17]

Hardy, J.E

G.H. Hardy, J.E. Littlewood, G. P´ olia. Inequalities. Cambridge Univ. Press, 1934

1934
[18]

Hormander

L. Hormander. Hypoelliptic second order diﬀerential equations. Acta Math., 119 (1967), 147-171

1967
[19]

Klarsfeld, J.A

S. Klarsfeld, J.A. Oteo. The Baker-Campbell-Hausdorﬀ formula an the Convergence of the Magnus Expan- sion. J. Phys. A : Math. Gen. 22 (1989), 4565–4572

1989
[20]

I. Kombe. Sharp weighted Hardy-type inequalities and uncertainty pr inciple inequalities on Carnot Groups. Commun. Appl. Anal. 14 (2010), no. 2, 251-271

2010
[21]

Krugljak, L

N. Krugljak, L. Maligranda, L.-E. Persson. The failure of the Hardy inequality and interpolation of int ersec- tions. Ark. Mat., 37 (1999), 323-344

1999
[22]

Montgomery

R. Montgomery. A Tour of Subriemannian Geometries. AMS Surveys, 2002

2002
[23]

Mustapha, F

S. Mustapha, F. Vigneron. Construction of Sobolev spaces of fractional order with sub -Riemannian vector ﬁelds. Ann. Inst. Fourier, Vol. 57 (2007), no. 4, 1023-1049

2007
[24]

P. Niu, H. Zhang, Y. Wang. Hardy type and Rellich type inequalities on the Heisenberg g roup. Proc. Amer. Math. Soc. 129 (2001), no. 12, 3623-3630

2001
[25]

Reutenauer

C. Reutenauer. Free Lie algebras. Oxford University Press (1993). 22

1993
[26]

Rossmann

W. Rossmann. Lie Groups. Oxford Univ. Press, 2002

2002
[27]

Ruzhanskya, D

M. Ruzhanskya, D. Suraganab. On horizontal Hardy, Rellich, Caﬀarelli-Kohn-Nirenberg a nd p-sub-Laplacian inequalities on stratiﬁed groups. J. Diﬀ. Equations, 262, no. 3 (2017), 1799-1821

2017
[28]

Vigneron

F. Vigneron. The trace problem for weighted Sobolev spaces over the Heise nberg group. J. Anal. Math. 103 (2007), 279-306

2007

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [29]

Vigneron

F. Vigneron. Espaces fonctionnels associ´ es ` a une famille de champs de v ecteurs. PhD Thesis. ´Ecole Poly- technique, 2006 (178 pages, french). https://www.dropbox.com/s/yv9r1rinr1pjxrs/these.pdf 23

work page 2006

[2] [1]

Adimurthi, A. Mallick. A Hardy type inequality on fractional order Sobolev spaces o n Heisenberg group. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 18 (2018), no. 3, 917-949

work page 2018

[3] [2]

Ambrosio, A

L. Ambrosio, A. Pinamonti, G. Speight. Weighted Sobolev spaces on metric measure spaces. J. Reine Angew. Math. 746 (2019), 39-65

work page 2019

[4] [3]

Ambrosio, S

L. Ambrosio, S. Rigot. Optimal mass transportation in the Heisenberg group. J. Funct. Anal. 208 (2004), no. 2, 261-301

work page 2004

[5] [4]

Bahouri, J.-Y

H. Bahouri, J.-Y. Chemin, I. Gallagher. Precised Hardy inequalities on Rd and on the Heisenberg group Hd. S´ emin.´Equ. D´ eriv. Partielles (2004-2005), Exp. No. XIX, 17 pp

work page 2004

[6] [5]

Bahouri, J.-Y

H. Bahouri, J.-Y. Chemin, C.-J. Xu. Trace and trace lifting theorems in weighted Sobolev spaces . J. Inst. Math. Jussieu 4 (2005), no. 4, 509-552

work page 2005

[7] [6]

Bahouri, J.-Y

H. Bahouri, J.-Y. Chemin, C.-J. Xu. Trace theorem on the Heisenberg group. Ann. Inst. Fourier, 59 (2009), no. 2, 491-514

work page 2009

[8] [7]

Bahouri, A

H. Bahouri, A. Cohen. Reﬁned Sobolev Inequalities in Lorentz Spaces. J. Fourier. Anal. Appl. 17 (2011), no. 4, 662-673

work page 2011