Pith. sign in

REVIEW 2 major objections 4 minor 2 cited by

Observability inequality, log-type Hausdorff content and heat equations

T0 review · 2 major / 4 minor · reviewed 2026-08-12 · 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 that log-type Hausdorff content, not ordinary dimension, marks the critical scale for observability of heat equations, with (log 1/t)^{-1/2} as the sharp boundary in one dimension.

desk verdict Serious, substantial paper on heat-equation observability from log-type Hausdorff content; the central 1D result looks right, but Lemma 3.7/3.8 has a notation/direction problem that needs fixing before the chain is airtight. read the letter →

arxiv 2411.11573 v2 pith:7IBASFJO submitted 2024-11-18 math.AP

Shanlin Huang , Gengsheng Wang , Ming Wang This is my paper · ORCID
classification math.AP MSC 35K0535B6093B0728A78
keywords observabilityinequalityheatequationlog-typeHausdorffcontentgaugefunctionspectralpropagationofsmallnesscriticalnullcontrollability
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

This paper claims that observability of the heat equation is governed by a logarithmically corrected notion of size rather than by ordinary Hausdorff dimension. In one spatial dimension, any observation set with positive $h_\alpha$-Hausdorff content, where $h_\alpha(t)=(\log 1/t)^{-1/2}(\log\log 1/t)^{-\alpha}$ and $\alpha>3/2$, determines the full solution at later times, and this is sharp: for every $\varepsilon>0$ there is a set with positive $(\log 1/t)^{-1/2+\varepsilon}$-Hausdorff content for which observability fails. In $d\ge2$, the corresponding gauge is $F_{\alpha,\beta}(t)=t^{d-1}(\log 1/t)^{-\beta}(\log\log 1/t)^{-\alpha}$ with $\beta=3/2$ and $\alpha>5/2$, and observability holds on bounded domains and on $\mathbb{R}^d$ under an $F_{\alpha,\beta}$-thickness condition. If the paper is right, observation sets of Hausdorff dimension exactly $d-1$, and even zero-dimensional sets in one dimension, can be used to recover heat solutions and, by duality, to control them.

What carries the argument

The argument runs through a five-step chain. A Cartan-lemma-based estimate (Lemma 3.8) bounds the $h_\alpha$-Hausdorff content of the set where a monic polynomial of degree $n$ is at most $\delta^n$; this produces a Remez inequality at the $h_\alpha$ scale, with constants $e^{Cn^2(\log(n+e))^{-2\alpha/3}/c_{h_\alpha}(E)^2}$ replacing the usual $(C/|E|)^n$. The Remez inequality gives a quantitative propagation of smallness for analytic functions, which yields the spectral inequality in one dimension and a Logvinenko-Sereda-type uncertainty principle on the whole line; the adapted Lebeau-Robiano summation then converts these into observability, and convergence of that summation is what forces $\alpha>3/2$. In higher dimensions the same chain is lifted by a capacity-based slicing lemma and a quantitative transfer between Hausdorff content and capacity, which is why the required exponent weakens to $\alpha>5/2$.

What would settle it

Take the monomial $P(z)=z^n$ in Lemma 3.8: the sublevel set $\{|z|\le\delta\}$ has explicit $h_\alpha$-content, so one can directly compare the left-hand side of (3.17) with the claimed right-hand side across $\delta$, $n$, and $\alpha$; a single violation would break the chain, and independently, verifying the direction of (3.23) numerically for arbitrary $H$ would settle whether the proof's step is valid.

Watch

Extended reading notes

Core claim

The central claim is that a heat-kernel-adapted log-type Hausdorff content, not the usual power-law content, is the correct yardstick for observability. The one-dimensional theorem states that $c_{h_\alpha}(E)>0$ with $\alpha>3/2$ implies the observability inequality $\|u(T,\cdot)\|_{L^2(0,L)}\le C_{obs}\int_0^T \sup_{x\in E}|u(t,x)|\,dt$ for every solution of the Dirichlet heat equation on an interval, with $C_{obs}$ depending only on $T$, $L$, and the content. The companion sharpness result shows that gauges of the form $(\log 1/t)^{-1/2+\varepsilon}$ are not sufficient for observability, so the exponent $-1/2$ is the critical log scale. In higher dimensions the paper establishes observability for sets of positive $F_{\alpha,\beta}$-content with $\beta=3/2$ and $\alpha>5/2$, and on the whole space for sets that are thick at the scale of the same content. Along the way it derives spectral inequalities and uncertainty principles at these log-type scales, including a spectral inequality whose growth rate differs from the classical $e^{C\sqrt{\lambda}}$ rate.

Load-bearing premise

The load-bearing premise is Lemma 3.8, the estimate that bounds the log-type Hausdorff content of the set where a monic polynomial is small; if that estimate fails, the Remez inequality, propagation of smallness, spectral inequality, and observability theorems collapse, and the proof as written does not explicitly reconcile the direction of the key inequality in the step leading to (3.23), while in $d\ge2$ the capacity-content transfer (Lemma 5.14) with its integrability condition (5.28) is also load-bearing.

Editorial extensions

If this is right

  • In one dimension, observable sets can have Hausdorff dimension zero, as with the Liouville-type set $E_\infty$; the classical threshold of positive Lebesgue measure is replaced by a log-content threshold.
  • The critical gauge is tied to the heat kernel: the inverse gauge satisfies $F^{[-1]}(1/x)=e^{-x^2}$, and adding the $(\log\log 1/t)^{-\alpha}$ factor is exactly what makes the Lebeau-Robiano series converge.
  • In $d\ge2$, the $F_{\alpha,\beta}$-content admits observable sets of Hausdorff dimension exactly $d-1$, while nodal sets such as $\{x:\varphi_\lambda(x)=0\}$ remain non-observable at dimension $d-1$; the log-type content separates these cases.
  • On $\mathbb{R}^d$, observability holds for sets that are thick at the log-content scale, extending the classical thick-set characterization to zero-measure sensor sets.
  • By duality, each observability inequality yields null controllability with controls supported on these thin sets, with control cost bounded by the observability constant.

Reading between the lines

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

  • Beyond the paper, the same mechanism suggests that for any parabolic equation with a Gaussian fundamental solution, the critical observability gauge should be tied to the kernel's decay profile; the heat kernel's $e^{-x^2}$ tail is what fixes $(\log 1/t)^{-1/2}$.
  • The gap between the one-dimensional threshold $\alpha>3/2$ and the higher-dimensional $\alpha>5/2$ appears to be an artifact of routing the proof through capacity and slicing; a direct higher-dimensional level-set estimate for monic polynomials would likely lower the threshold.
  • A testable extension is to replace the Laplacian by fractional or degenerate elliptic operators and check whether the same log-type gauge, with exponents adjusted by the kernel's heat decay, still marks observability.
  • The sharpness construction, which plants near-zeros of the eigenmodes $\sin(n\pi x)$ into the observation set, gives a template for producing failure sets for other self-adjoint parabolic semigroups.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 4 minor

Summary. The paper introduces log-type Hausdorff contents associated with gauges hα(t) = (log 1/t)^(-1/2) (log log 1/t)^(-α) in one dimension and Fα,β(t) = t^(d-1) (log 1/t)^(-β) (log log 1/t)^(-α) in higher dimensions. It claims that positive content at these gauges implies observability inequalities for the heat equation on bounded intervals and domains (Theorems 2.1 and 2.8), that thickness at these scales implies observability on R and Rd (Theorems 2.5 and 2.11), and that in one dimension the gauge (log 1/t)^(-1/2) is critical: for every ε>0 there is a non-observable set with positive (log 1/t)^(-1/2+ε)-content (Theorem 2.1(ii)). The proof strategy follows a Lebeau-Robiano chain: a Cartan/Lubinsky level-set estimate for monic polynomials (Lemma 3.8), a Remez inequality (Lemma 3.10), propagation of smallness for analytic functions (Lemma 3.11), a spectral inequality (Lemma 4.1) or Logvinenko-Sereda type uncertainty principle (Lemma 4.5), and a summation argument. The higher-dimensional case adds capacity-based slicing (Lemmas 5.8 and 5.14) to reduce to the one-dimensional propagation result.

Significance. If the results are correct, they would give a substantial extension of observability theory for heat equations: observation sets of Hausdorff dimension d-1 are covered, with an explicit log-log correction that the authors identify as sharp in one dimension. The paper is ambitious and detailed: it provides a complete chain of tools, including an explicit counterexample at the critical gauge, and it makes heavy but transparent use of classical results from fractal geometry and approximation theory. These are valuable strengths. However, the foundational polynomial level-set lemma has a proof gap that is load-bearing for the entire chain, and there is a significant ambiguity in the statement of the optimality result. Because the main theorems depend on Lemma 3.8, the paper cannot be accepted in its present form.

major comments (2)
  1. [3.2, Lemma 3.8] Lemma 3.7 gives the bound c_f(P; δ_n(H)) ≤ f(H), where δ_n(H) = 4^(-n) exp{ n(log H - (1/f(H)) ∫ ... ) }. Since the level sets E(P;ε) = {|P| ≤ ε^n} are increasing in ε, applying Lemma 3.7 to the level δ requires δ ≤ δ_n(H). The proof of Lemma 3.8, however, derives only the lower bound (3.23), log(1/H) ≥ log(1/(4δ))/(2nA^α - 1). Substituting this into the lower bound δ_n ≥ 4^(-n) exp{-(2n^2A^α - n) log(1/H)} gives δ_n ≥ 4^(-n) e^(-n log(1/δ)) = (δ/4)^n, which is much smaller than δ and does not imply δ ≤ δ_n(H). The condition needed for Lemma 3.7 has the opposite direction: one would need log(1/H) ≤ (log(1/δ) + n log 4)/(2n^2A^α - n). Thus Lemma 3.7 is applied to a smaller level set, and (3.17) is not established. Since Lemma 3.8 feeds Lemma 3.10, Lemma 3.11, Lemma 4.1 and hence Theorems 2.1 and 2.5, and via Corollary 3.14 also the higher-dimensional results, this gap affects the central claim of the paper.
  2. [2.1 / 4.3 / Proposition 4.8] There is a mismatch between the stated optimality theorem and the gauge actually used in the proof. Proposition 4.8 defines f_ε(t) = (log 1/t)^(-1/2+ε), and the mass estimate in Case 1 yields μ(B(x,r)) ≲ (log 1/r)^(-(1-ε2)/(2+ε1)) = (log 1/r)^(-1/(2+ε)) by (4.45). This proves positivity of the (log 1/t)^(-1/(2+ε))-content, a gauge that is larger than (log 1/t)^(-1/2) because -1/(2+ε) > -1/2. It does not prove positivity of the F_{0,1/2+ε}-content, i.e. (log 1/t)^(-(1/2+ε)), which is a smaller gauge. If the intended statement of Theorem 2.1(ii) is the weaker exponent -1/2+ε, then the Introduction's reference to 'positive F_{0,1/2+ε}-Hausdorff content' should be corrected, for instance to F_{0,1/2-ε}. If the intended statement is the stronger one with F_{0,1/2+ε}, then Proposition 4.8 does not prove Theorem 2.1(ii) and a new construction would be needed. Since the critical-gauge claim is advertised as a main result, this ambiguity should be resolved.
minor comments (4)
  1. [4.3, Eq. (4.62)] The exponent in (4.62) is typeset as -1/2+ε1, but the intended expression is almost certainly -1/(2+ε1); the missing parentheses make the displayed equivalence incorrect as written.
  2. [5.1, Lemma 5.8 proof] In (5.13), the term H^d(E_k) should be H^(d-1)(E_k), since the integration is over a ⊂ l⊥ and the measure is (d-1)-dimensional Hausdorff measure.
  3. [5.2, Lemma 5.14 proof] The proof of Lemma 5.14 says 'the application of the conclusion (ii) in Lemma 5.14'; this should refer to Lemma 5.11(ii), not to Lemma 5.14 itself.
  4. [Throughout] There are several typos that should be corrected: 'when when' in Remark 4.6, 'moinc' in Remark 2.6, 'dicussed' in Remark 2.9, and a stray '/suppress' in Theorem 6.1.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: derivation rests on external Cartan/Lubinsky/Remez tools; self-citations are not load-bearing.

full rationale

The paper's main observability theorems are derived through an explicit chain: Cartan's lemma and Lubinsky's estimate yield Lemma 3.7, which gives Lemma 3.8, then Remez inequality (Lemma 3.10), propagation of smallness (Lemma 3.11), and the spectral inequality (Lemma 4.1). Each of these steps invokes external, independently established tools; none of the main claims is defined in terms of the target observability inequality. The log-type gauge functions are introduced and motivated by the heat kernel and classical Hausdorff-content considerations, but the positive observability results and the critical counterexample (Proposition 4.8) are independent consequences: the counterexample uses an explicit construction of E∞ with a mass distribution, not the positive theorem. The self-citation [47] is used for the classical equivalence between thickness and observability for sets of positive Lebesgue measure on R^d; it is not used to justify the new log-type content scale or the main theorems. The potential inequality-direction concern in Lemma 3.8 raised in the skeptic's attack is a mathematical correctness issue, not a circularity: it does not show that an output is equivalent to an input by construction. No circular step could be identified with a specific quoted reduction, so the paper receives a low circularity score.

Assumptions & free parameters 2 free parameters · 6 assumptions · 1 invented entities

The central claim rests on classical analytic and geometric measure theory tools, plus two specially chosen gauge functions with proof-driven exponents. The gauge functions are new constructs, but they are explicit, and the main theorems do not hide fitted constants. The largest exposure is therefore the correctness of Lemma 3.8 and of the capacity-content transfer, not circularity.

free parameters (2)
  • Gauge exponent α thresholds = α>3/2 (1-dim), α>5/2 (d-dim), α>1 for Prop 5.17
    Chosen by hand so that the sums τ_k in the adapted Lebeau-Robiano argument converge and so the capacity-slicing transfer in Lemma 5.14 works. Not fitted to data, but introduced to make the proof go through.
  • Gauge exponent β = 3/2 in d≥2
    Set to 3/2 as a proof requirement in the content-to-capacity transfer; the 1-dim scale hα has no β factor.
assumptions (6)
  • standard math Cartan Lemma (Lemma 3.6): lemniscates of monic polynomials are covered by balls with controlled radii
    Basis for Lemma 3.7 and Lemma 3.8; cited to Cartan [7].
  • standard math Nazarov-Turan exponential polynomial estimate (Lemma 4.2)
    Used in Lemma 4.1 to bridge growth on subintervals of [0,L].
  • standard math Mattila capacity slicing inequality (Proposition 5.5)
    Used in Lemma 5.8 to slice sets in d-dim; cited to Mattila [37].
  • domain assumption Duyckaerts-Miller adapted Lebeau-Robiano strategy
    The iteration and duality framework for deriving observability from spectral inequalities; cited to [14].
  • domain assumption Classical spectral inequality for Lipschitz star-shaped domains from [2]
    Used in equation (5.54) to propagate bounds from a small ball to all of Ω.
  • standard math Jensen, Harnack and maximum modulus theorems for analytic and harmonic functions
    Used throughout Lemma 3.11, Corollary 3.14 and Proposition 5.16.
invented entities (1)
  • Log-type Hausdorff contents c_{hα} and c_{Fαβ} independent evidence
    purpose: Measure observation sets of zero Lebesgue measure, including sets of Hausdorff dimension d-1
    A fully explicit mathematical construction, not a hidden physical postulate. Its usefulness is established by the paper's positive theorems and by the sharp counterexample E∞; no empirical constant is smuggled in.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Observability inequality, log-type Hausdorff content and heat equations." pith.science (2026). https://pith.science/paper/7IBASFJO

@misc{pith2026241111573,
  author       = {Pith},
  title        = {Pith review of: Observability inequality, log-type Hausdorff content and heat equations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7IBASFJO}},
  note         = {Machine review of arXiv:2411.11573}
}
abstract

This paper studies observability inequalities for heat equations on both bounded domains and the whole space $\mathbb{R}^d$. The observation sets are measured by log-type Hausdorff contents, which are induced by certain log-type gauge functions closely related to the heat kernel. On a bounded domain, we derive the observability inequality for observation sets of positive log-type Hausdorff content. Notably, the aforementioned inequality holds not only for all sets with Hausdorff dimension $s$ for any $s\in (d-1,d]$, but also for certain sets of Hausdorff dimension $d-1$. On the whole space $\mathbb{R}^d$, we establish the observability inequality for observation sets that are thick at the scale of the log-type Hausdorff content. Furthermore, we prove that for the 1-dimensional heat equation on an interval, the Hausdorff content we have chosen is an optimal scale for the observability inequality. To obtain these observability inequalities, we use the adapted Lebeau-Robiano strategy from \cite{Duyckaerts2012resolvent}. For this purpose, we prove the following results at scale of the log-type Hausdorff content, the former being derived from the latter: We establish a spectral inequality/a Logvinenko-Sereda uncertainty principle; we set up a quantitative propagation of smallness of analytic functions; we build up a Remez' inequality; and more fundamentally, we provide an upper bound for the log-type Hausdorff content of a set where a monic polynomial is small, based on an estimate in Lubinsky \cite{Lubinsky1997small}, which is ultimately traced back to the classical Cartan Lemma. In addition, we set up a capacity-based slicing lemma (related to the log-type gauge functions) and establish a quantitative relationship between Hausdorff contents and capacities. These tools are crucial in the studies of the aforementioned propagation of smallness in high-dimensional situations.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. The periodic KdV with control on space-time measurable sets

    math.AP 2025-07 conditional novelty 8.0 of 10

    Local exact controllability of the periodic KdV equation is proved with control supported on arbitrary measurable space-time sets of positive measure, via a new observability strategy for dispersive equations on tori.

  2. Fractal Tur\'{a}n-Nazarov Inequality and Observability for Schr\"{o}dinger Equations

    math.AP 2026-07 accept novelty 7.0 of 10

    On fractal sets, the Turán–Nazarov inequality holds only with a sharp frequency-bandwidth-dependent constant, and this forces failures of observability and unique continuation for Schrödinger equations.

Reference graph

Works this paper leans on

50 extracted references · 49 canonical work pages · cited by 2 Pith papers

  1. [22]

    Walton Green, K´ evin Le Balc’h, J´ er´ emy Martin, and Marcu-Antone Orsoni

    A. Walton Green, K´ evin Le Balc’h, J´ er´ emy Martin, and Marcu-Antone Orsoni. On the dimension of observable sets for the heat equation. 2024. 3, 4, 8, 9, 10, 11, 1 2, 54

    work page 2024

  2. [1]

    Apraiz and L

    J. Apraiz and L. Escauriaza. Null-control and measurable sets. ESAIM, Control Optim. Calc. Var. , 19(1):239–254, 2013. 2, 9

    work page 2013

  3. [2]

    Apraiz, L

    J. Apraiz, L. Escauriaza, G. Wang, and C. Zhang. Observability in equalities and measurable sets. J. Eur. Math. Soc. (JEMS) , 16(11):2433–2475, 2014. 2, 10, 50

    work page 2014

  4. [3]

    Quantitative propagation of smallness and spectral estimates for the Schr\"odinger operator

    K. Le Balc’h and J. Martin. Quantitative propagation of smallness a nd spectral estimates for the Schr¨ odinger operator. Preprint, arXiv:2403.15299, 2024. 3

    work page Pith review arXiv 2024

  5. [4]

    Beauchard, P

    K. Beauchard, P. Jaming, and K. Pravda-Starov. Spectral es timates for finite combinations of Her- mite functions and null-controllability of hypoelliptic quadratic equatio ns. Studia Math., 260(1):1–43,

    work page

  6. [5]

    Burq and I

    N. Burq and I. Moyano. Propagation of smallness and control fo r heat equations. J. Eur. Math. Soc. (JEMS), 25(4):1349–1377, 2023. 2, 3, 52

    work page 2023

  7. [6]

    Carleson

    L. Carleson. Selected problems on exceptional sets , volume No. 13 of Van Nostrand Mathematical Studies. D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto, Ont.-London , 1967. 41, 44

    work page 1967

  8. [7]

    H. Cartan. Sur les syst` emes de fonctions holomorphes ` a vari ´ et´ es lin´ eaires lacunaires et leurs appli- cations. Ann. Sci. ´Ecole Norm. Sup. (3) , 45:255–346, 1928. 13

    work page 1928

Show all 50 references
  1. [8]

    X. Chen, L. Yan, and Y. Zhong. On the generalized Hausdorff dime nsion of Besicovitch sets. Preprint, arXiv:2304.03633, 2023. 4

    2023 arXiv

  2. [9]

    Ciesielski and S

    Z. Ciesielski and S. J. Taylor. First passage times and sojourn tim es for Brownian motion in space and the exact Hausdorff measure of the sample path. Trans. Am. Math. Soc. , 103:434–450, 1962. 4

    1962

  3. [10]

    Dasgupta

    A. Dasgupta. Set theory . Birkh¨ auser/Springer, New York, 2014. With an introduction to r eal point sets. 44

    2014

  4. [11]

    Dicke, A

    A. Dicke, A. Seelmann, and I. Veseli´ c. Uncertainty principle fo r Hermite functions and null- controllability with sensor sets of decaying density. J. Fourier Anal. Appl. , 29(1):19, 2023. Id/No 11. 10

    2023

  5. [12]

    Dicke, A

    A. Dicke, A. Seelmann, and I. Veseli´ c. Spectral inequality with sensor sets of decaying density for Schr¨ odinger operators with power growth potentials. SN Partial Differ. Equ. Appl. , 5(2):18, 2024. Id/No 7. 10

    2024

  6. [13]

    Observability for the one-dimensional heat equ ation

    Szymon Dolecki. Observability for the one-dimensional heat equ ation. Stud. Math., 48:292–305, 1973. 4, 8, 12

    1973

  7. [14]

    Duyckaerts and L

    T. Duyckaerts and L. Miller. Resolvent conditions for the contr ol of parabolic equations. J. Funct. Anal., 263(11):3641–3673, 2012. 1, 7, 29 OBSER V ABILITY INEQUALITY 55

    2012

  8. [15]

    Egidi and I

    M. Egidi and I. Veseli´ c. Sharp geometric condition for null-con trollability of the heat equation on Rd and consistent estimates on the control cost. Arch. Math., 111(1):85–99, 2018. 2, 25

    2018

  9. [16]

    Falconer

    K. Falconer. Fractal geometry. John Wiley & Sons, Ltd., Chichester, 1990. Mathematical foundat ions and applications. 34, 35

    1990

  10. [17]

    J. J. F. Fournier and J. Stewart. Amalgams of Lp and lq. Bull. Amer. Math. Soc. (N.S.) , 13(1):1–21,

  11. [18]

    Friedland and Y

    O. Friedland and Y. Yomdin. ( s, p)-valent functions. In Geometric aspects of functional analysis , volume 2169 of Lecture Notes in Math. , pages 123–136. Springer, Cham, 2017. 17

    2017

  12. [19]

    X. Fu, Q. L¨ u, and X. Zhang. Carleman estimates for second order partial differential op erators and applications. A unified approach . SpringerBriefs Math. Cham: Springer, 2019. 2

    2019

  13. [20]

    A. V. Fursikov and O. Yu. Imanuvilov. Controllability of evolution equations , volume 34 of Lect. Notes Ser., Seoul . Seoul: Seoul National Univ., 1996. 2

    1996

  14. [21]

    Gilbarg and N

    D. Gilbarg and N. S. Trudinger. Elliptic partial differential equations of second order , volume 224 of Grundlehren der mathematischen Wissenschaften [Fundamen tal Principles of Mathematical Sci- ences]. Springer-Verlag, Berlin, second edition, 1983. 48

    1983

  15. [23]

    Han and F.H

    Q. Han and F.H. Lin. Nodal sets of solutions of elliptic differential equations . book in preparation

  16. [24]

    F. Holland. Harmonic analysis on amalgams of Lp and ℓq. J. Lond. Math. Soc., II. Ser. , 10:295–305,

  17. [25]

    Kametani

    S. Kametani. On Hausdorff’s measures and generalized capacitie s with some of their applications to the theory of functions. Jpn. J. Math. , 19:217–257, 1945. 41

    1945

  18. [26]

    U. Keich. On Lp bounds for kakeya maximal functions and the minkowski dimension in R2. Bull. Lond. Math. Soc. , 31(2):213–221, 1999. 4

    1999

  19. [27]

    Kovrijkine

    O. Kovrijkine. Some results related to the Logvinenko-Sereda theorem. Proc. Amer. Math. Soc. , 129(10):3037–3047, 2001. 9, 19, 20, 27

    2001

  20. [28]

    N. S. Landkof. Foundations of modern potential theory , volume Band 180 of Die Grundlehren der mathematischen Wissenschaften . Springer-Verlag, New York-Heidelberg, 1972. Translated from t he Russian by A. P. Doohovskoy. 38

    1972

  21. [29]

    Le Rousseau and G

    J. Le Rousseau and G. Lebeau. On Carleman estimates for elliptic and parabolic operators. Applica- tions to unique continuation and control of parabolic equations. ESAIM, Control Optim. Calc. Var. , 18(3):712–747, 2012. 10

    2012

  22. [30]

    Le Rousseau and I

    J. Le Rousseau and I. Moyano. Null-controllability of the Kolmogo rov equation in the whole phase space. J. Differ. Equations , 260(4):3193–3233, 2016. 10

    2016

  23. [31]

    Lebeau and L

    G. Lebeau and L. Robbiano. Contrˆ ole exact de l’´ equation de la chaleur. Comm. Partial Differential Equations, 20(1-2):335–356, 1995. 2, 7

    1995

  24. [32]

    Lin and X

    F. Lin and X. Yang. Geometric measure theory. An introduction , volume 1 of Adv. Math., Bei- jing/Boston. Beijing: Science Press; Boston, MA: International Press, 2002 . 11

    2002

  25. [33]

    Logunov and E

    A. Logunov and E. Malinnikova. Quantitative propagation of sma llness for solutions of elliptic equa- tions. In Proceedings of the International Congress of Mathematicia ns—Rio de Janeiro 2018. Vol. III. Invited lectures , pages 2391–2411. World Sci. Publ., Hackensack, NJ, 2018. 3

    2018

  26. [34]

    Logunov, E

    A. Logunov, E. Malinnikova, N. Nadirashvili, and F. Nazarov. The sharp upper bound for the area of the nodal sets of Dirichlet Laplace eigenfunctions. Geom. Funct. Anal. , 31(5):1219–1244, 2021. 3

    2021

  27. [35]

    D. S. Lubinsky. Small values of polynomials: Cartan, P´ olya and o thers. J. Inequal. Appl. , 1(3):199– 222, 1997. 1, 13

    1997

  28. [36]

    Malinnikova

    E. Malinnikova. Propagation of smallness for solutions of genera lized Cauchy-Riemann systems. Proc. Edinb. Math. Soc. (2) , 47(1):191–204, 2004. 3, 9

    2004

  29. [37]

    P. Mattila. Integral geometric properties of capacities. Trans. Amer. Math. Soc. , 266(2):539–554,

  30. [38]

    P. Mattila. Geometry of sets and measures in Euclidean spaces , volume 44 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1995. Fractals and rect ifiability. 4, 9, 12, 34, 38

    1995

  31. [39]

    C. B. Morrey, Jr. and L. Nirenberg. On the analyticity of the so lutions of linear elliptic systems of partial differential equations. Comm. Pure Appl. Math. , 10:271–290, 1957. 50

    1957

  32. [40]

    F. L. Nazarov. Local estimates for exponential polynomials an d their applications to inequalities of the uncertainty principle type. Algebra i Analiz , 5(4):3–66, 1993. 23

    1993

  33. [41]

    L. Olsen. On the exact Hausdorff dimension of the set of Liouville n umbers. Manuscr. Math. , 116(2):157–172, 2005. 11

    2005

  34. [42]

    K. D. Phung and G. Wang. An observability estimate for parabolic equations from a measurable set in time and its applications. J. Eur. Math. Soc. (JEMS) , 15(2):681–703, 2013. 2

    2013

  35. [43]

    C. Qu, H. Rao, and W. Su. Hausdorff measure of homogeneous C antor set. Acta Math. Sin., Engl. Ser., 17(1):15–20, 2001. 12

    2001

  36. [44]

    C. A. Rogers. Hausdorff measures . Cambridge Mathematical Library. Cambridge University Press, Cambridge, 1998. Reprint of the 1970 original, With a foreword by K. J. Falconer. 11

    1998

  37. [45]

    Internal null-controllability of the N -dimensional heat equation in cylindrical do- mains

    El Hadji Samb. Internal null-controllability of the N -dimensional heat equation in cylindrical do- mains. C. R., Math., Acad. Sci. Paris , 353(10):925–930, 2015. 4, 8, 12

    2015

  38. [46]

    S. J. Taylor. On the connexion between Hausdorff measures an d generalized capacity. Proc. Cam- bridge Philos. Soc. , 57:524–531, 1961. 44

    1961

  39. [47]

    G. Wang, M. Wang, C. Zhang, and Y. Zhang. Observable set, ob servability, interpolation inequality and spectral inequality for the heat equation in Rn. J. Math. Pures Appl. (9) , 126:144–194, 2019. 2, 6, 7, 9, 25

    2019

  40. [48]

    Y. Wang. Quantitative 2d propagation of smallness and control for 1d heat equations with power growth potentials. arXiv preprint, arXiv:2403.07643 , 2024. 10

    2024 arXiv

  41. [49]

    Zhu and J

    J. Zhu and J. Zhuge. Spectral inequality for Schr¨ odinger equ ations with power growth potentials. arXiv preprint, arXiv:2301.12338 , 2023. 10 Shanlin Huang School of Mathematics and Statistics, Hubei Key Laboratory of Engineering Model- ing and Scientific Computing, Huazhong...

    2023 arXiv

  42. [1981]

    HUANG, G

    38 56 S. HUANG, G. W ANG, AND M. W ANG

Pith tools

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