Remarks on hypoelliptic equations

Nicolas Burq; Valeria Banica

arxiv: 2302.01832 · v3 · submitted 2023-02-03 · 🧮 math.AP

Remarks on hypoelliptic equations

Valeria Banica , Nicolas Burq This is my paper

Pith reviewed 2026-05-24 09:57 UTC · model grok-4.3

classification 🧮 math.AP

keywords hypoellipticitysystems of PDEsL1 regularitycounterexamplespartial differential equations

0 comments

The pith

Hypoellipticity does not hold for systems of equations or at L1 regularity in the same way as for scalar smooth cases.

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

Smooth hypoellipticity for single equations is well understood, but the paper shows that the corresponding statements fail for systems and for L1 regularity. The authors construct explicit examples and counterexamples that demonstrate where the regularity properties break down. These constructions matter because they mark the boundary between what carries over from the scalar theory and what requires new analysis. The work focuses on providing concrete instances rather than proving general positive results. A reader interested in the limits of hypoelliptic estimates will find direct evidence that vector-valued and low-integrability settings behave differently.

Core claim

The authors provide some examples and counter-examples for hypoellipticity questions in systems and L1 regularity, showing that the expected statements do not hold in those settings.

What carries the argument

Explicit constructions of differential systems and operators that serve as counterexamples to hypoellipticity in the L1 or vector-valued setting.

If this is right

Hypoellipticity statements that hold for scalar equations do not automatically extend to systems.
L1 regularity fails to follow from the same structural assumptions that guarantee smooth hypoellipticity.
Additional conditions on the system or the coefficients are needed before hypoellipticity can be asserted in these broader settings.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The counterexamples may help identify the minimal extra hypotheses required to restore hypoellipticity for systems.
Analogous failures could appear when studying hypoellipticity in other spaces such as L^p for finite p.
The explicit constructions could be used to test whether proposed general theorems in the literature are sharp.

Load-bearing premise

The constructions presented actually serve as valid counter-examples to the expected hypoellipticity statements.

What would settle it

A direct verification that one of the constructed systems satisfies the L1-hypoellipticity property or the expected regularity for vector-valued solutions would contradict the counterexample claim.

read the original abstract

Smooth hypoellipticity for scalar equations is quite well understood presently. On the other hand, much remains to be done for systems and/or at different levels of regularity and in particular for $L^1$-hypoellipticity. In this article we provide some examples and counter-examples.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Banica and Burq supply a handful of examples and counterexamples on hypoellipticity for systems and L1 regularity in a short note, but the work stays narrow and incremental.

read the letter

The main takeaway is that this note gives some concrete examples and counterexamples for hypoellipticity questions on systems and at L1 regularity. The authors point out that the scalar smooth case is mostly settled while systems and lower regularity still have gaps, and they set out to illustrate those gaps with specific cases. That is the entire content. What the paper does is deliver on that modest goal by constructing the instances rather than just stating that they exist. In PDE work, explicit counterexamples can sometimes rule out hoped-for statements or show where standard techniques stop, so the constructions themselves are the useful part if they are correct and new. The authors are experienced in the area, which gives some that the examples are at least competently built. The soft spots are straightforward. The contribution is small by design; there is no general theorem, no new method, and no claim that these examples resolve larger questions. Whether the examples are genuinely new is not obvious from the abstract and would need checking against the literature. The paper is short, so the depth of verification or the range of cases covered is limited. Nothing in the stated claim looks circular or internally inconsistent, but the overall significance stays inside the immediate subfield. This is for people already working on hypoelliptic operators and regularity theory who might want a reference for particular counterexamples. A reader outside that niche will not find much to take away. I would send it to peer review. The claims are specific enough that a referee can check the constructions, and short notes of this type sometimes belong in the literature even when they do not change the field.

Referee Report

0 major / 1 minor

Summary. The manuscript notes that smooth hypoellipticity for scalar equations is well understood, while much remains open for systems and L^1-hypoellipticity; it states that it supplies some examples and counter-examples for these questions.

Significance. Concrete examples and counter-examples, if correctly constructed and verified, would be useful for mapping the limitations of hypoellipticity results beyond the scalar smooth case, particularly in systems and at L^1 regularity.

minor comments (1)

The abstract claims the provision of examples and counter-examples, but without visible derivations, constructions, or verifications in the provided text, it is not possible to confirm they support the stated purpose.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for reviewing our manuscript. The referee's summary accurately reflects the paper's focus on providing examples and counter-examples to illustrate open questions in hypoellipticity for systems and at L^1 regularity. We appreciate the acknowledgment that such concrete examples, if verified, would be useful for the field.

Circularity Check

0 steps flagged

No circularity; paper is a collection of examples with no derivation chain

full rationale

The paper states its purpose as providing examples and counter-examples for hypoellipticity in systems and L^1 regularity. No equations, fitted parameters, predictions, or self-citations appear in the abstract or stated claims. The central content is the constructions themselves, with no load-bearing step that reduces to its own inputs by construction. This is a self-contained note whose validity rests on the explicit examples supplied, not on any internal derivation loop.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no free parameters, axioms, or invented entities are mentioned or can be inferred.

pith-pipeline@v0.9.0 · 5551 in / 877 out tokens · 21600 ms · 2026-05-24T09:57:08.415164+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages

[1]

Banica and N

V. Banica and N. Burq, Microlocal analysis of singular measures, to appear in Math. Z

work page
[2]

R. G. M. Brummelhuis, A Microlocal F. and M. Riesz Theorem with Applications , Rev. Mat. Iberoam. 5 (1989), 21?36

work page 1989
[3]

Cancelier, J.-Y

C.E. Cancelier, J.-Y. Chemin and C.J. Xu, Calcul de Weyl et op´ erateurs sous-elliptiques, Ann. Inst. Fourier, 43 (1993), 1157-1178

work page 1993
[4]

De Philippis, A

G. De Philippis, A. Marchese, A. Merlo, A. Pinamonti and F . Rindler, On the converse of Pansu’s Theorem, ArXiv 2211.06081

work page arXiv
[5]

De Philippis and F

G. De Philippis and F. Rindler, On the structure of A− free measures and applications, Ann. of Math. 184 (2016), 1017–1039

work page 2016
[6]

De Philippis and F

G. De Philippis and F. Rindler, On the structure of measures constrained by linear PDEs, Proc. I.C.M. Rio de Janeiro 2018. Vol. III. Invited lectures, 2215 -2239, World Sci. Publ., Hackensack, NJ, 2018

work page 2018
[7]

De Philippis and F

G. De Philippis and F. Rindler, Private communication

work page
[8]

Giaquinta and L

M. Giaquinta and L. Martinazzi, An Introduction to the Regularity Theory for Elliptic Syste ms, Harmonic Maps and Minimal Graphs , Second edition. Appunti. Scuola Normale Superiore di Pisa (Nuova Serie), 11. Edizioni della Normale, Pisa, 2012. xiv+ 366 pp

work page 2012
[9]

H¨ ormander, Lectures on Nonlinear Hyperbolic Diﬀerential Equations , Math´ ematiques & Appli- cations (Berlin) 26, Springer-Verlag, Berlin, 1997

L. H¨ ormander, Lectures on Nonlinear Hyperbolic Diﬀerential Equations , Math´ ematiques & Appli- cations (Berlin) 26, Springer-Verlag, Berlin, 1997. viii+ 289 pp

work page 1997
[10]

H¨ ormander, The Analysis of Linear Partial Diﬀerent ial Operators IV

L. H¨ ormander, The Analysis of Linear Partial Diﬀerent ial Operators IV

work page
[11]

H¨ ormander,Diﬀerential equations without solutions , Math

L. H¨ ormander,Diﬀerential equations without solutions , Math. Ann. 140 (1960), 169-173

work page 1960
[12]

Lewy, An example of smooth linear partial diﬀerential equation wit hout solution , Ann

H. Lewy, An example of smooth linear partial diﬀerential equation wit hout solution , Ann. of Math. 66 (1957), 155-158

work page 1957
[13]

Nagel and E

A. Nagel and E. M. Stein, A new class of pseudo-diﬀerential operators , Proc. Natl. Acad. Sci. USA 75 (1978), 582-585

work page 1978
[14]

Nirenberg and F

L. Nirenberg and F. Treves, Solvability of a First Order Linear Partial Diﬀerential Equa tion, Comm. Pure Appl. Math. XVI (1963), 331-351

work page 1963
[15]

Shayya, Measures with Fourier Transform in L2 of a Half-space, Canad

B. Shayya, Measures with Fourier Transform in L2 of a Half-space, Canad. Math. Bull. 54 (2011), 172-179

work page 2011
[16]

E. M. Stein, Harmonic analysis: real-variable methods, orthogonality , and oscillatory integrals , Princeton Mathematical Series, 43. Monographs in Harmonic Analysis, III. Princeton University Press, Princeton, NJ, 1993. xiv+695 pp. REMARKS ON HYPOELLIPTIC EQUATIONS 11 (Valeria Banica) Sorbonne Universit ´e, CNRS, Universit ´e de P aris, Laboratoire Jacqu...

work page 1993

[1] [1]

Banica and N

V. Banica and N. Burq, Microlocal analysis of singular measures, to appear in Math. Z

work page

[2] [2]

R. G. M. Brummelhuis, A Microlocal F. and M. Riesz Theorem with Applications , Rev. Mat. Iberoam. 5 (1989), 21?36

work page 1989

[3] [3]

Cancelier, J.-Y

C.E. Cancelier, J.-Y. Chemin and C.J. Xu, Calcul de Weyl et op´ erateurs sous-elliptiques, Ann. Inst. Fourier, 43 (1993), 1157-1178

work page 1993

[4] [4]

De Philippis, A

G. De Philippis, A. Marchese, A. Merlo, A. Pinamonti and F . Rindler, On the converse of Pansu’s Theorem, ArXiv 2211.06081

work page arXiv

[5] [5]

De Philippis and F

G. De Philippis and F. Rindler, On the structure of A− free measures and applications, Ann. of Math. 184 (2016), 1017–1039

work page 2016

[6] [6]

De Philippis and F

G. De Philippis and F. Rindler, On the structure of measures constrained by linear PDEs, Proc. I.C.M. Rio de Janeiro 2018. Vol. III. Invited lectures, 2215 -2239, World Sci. Publ., Hackensack, NJ, 2018

work page 2018

[7] [7]

De Philippis and F

G. De Philippis and F. Rindler, Private communication

work page

[8] [8]

Giaquinta and L

M. Giaquinta and L. Martinazzi, An Introduction to the Regularity Theory for Elliptic Syste ms, Harmonic Maps and Minimal Graphs , Second edition. Appunti. Scuola Normale Superiore di Pisa (Nuova Serie), 11. Edizioni della Normale, Pisa, 2012. xiv+ 366 pp

work page 2012

[9] [9]

H¨ ormander, Lectures on Nonlinear Hyperbolic Diﬀerential Equations , Math´ ematiques & Appli- cations (Berlin) 26, Springer-Verlag, Berlin, 1997

L. H¨ ormander, Lectures on Nonlinear Hyperbolic Diﬀerential Equations , Math´ ematiques & Appli- cations (Berlin) 26, Springer-Verlag, Berlin, 1997. viii+ 289 pp

work page 1997

[10] [10]

H¨ ormander, The Analysis of Linear Partial Diﬀerent ial Operators IV

L. H¨ ormander, The Analysis of Linear Partial Diﬀerent ial Operators IV

work page

[11] [11]

H¨ ormander,Diﬀerential equations without solutions , Math

L. H¨ ormander,Diﬀerential equations without solutions , Math. Ann. 140 (1960), 169-173

work page 1960

[12] [12]

Lewy, An example of smooth linear partial diﬀerential equation wit hout solution , Ann

H. Lewy, An example of smooth linear partial diﬀerential equation wit hout solution , Ann. of Math. 66 (1957), 155-158

work page 1957

[13] [13]

Nagel and E

A. Nagel and E. M. Stein, A new class of pseudo-diﬀerential operators , Proc. Natl. Acad. Sci. USA 75 (1978), 582-585

work page 1978

[14] [14]

Nirenberg and F

L. Nirenberg and F. Treves, Solvability of a First Order Linear Partial Diﬀerential Equa tion, Comm. Pure Appl. Math. XVI (1963), 331-351

work page 1963

[15] [15]

Shayya, Measures with Fourier Transform in L2 of a Half-space, Canad

B. Shayya, Measures with Fourier Transform in L2 of a Half-space, Canad. Math. Bull. 54 (2011), 172-179

work page 2011

[16] [16]

E. M. Stein, Harmonic analysis: real-variable methods, orthogonality , and oscillatory integrals , Princeton Mathematical Series, 43. Monographs in Harmonic Analysis, III. Princeton University Press, Princeton, NJ, 1993. xiv+695 pp. REMARKS ON HYPOELLIPTIC EQUATIONS 11 (Valeria Banica) Sorbonne Universit ´e, CNRS, Universit ´e de P aris, Laboratoire Jacqu...

work page 1993