Pith. sign in

REVIEW 3 major objections 5 minor 17 references

Weighted multipolar Hardy inequalities and evolution problems with Kolmogorov operators perturbed by singular potentials

T0 review · 3 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 Weighted multipolar Hardy inequalities hold with the sharp constant $((N+k_2-2)/2)^2$, and this same constant separates existence from instantaneous blow-up for Kolmogorov evolution equations with inverse-square potentials.

desk verdict Solid weighted multipolar Hardy inequality with the right constant, but the advertised sharp blow-up dichotomy rests on an unverified extra hypothesis (H3) that may not hold for the paper's own examples. read the letter →

arxiv 1908.01971 v1 pith:KOIBGXAG submitted 2019-08-06 math.AP

Anna Canale , Francesco Pappalardo , Ciro Tarantino This is my paper · ORCID
classification math.AP MSC 35K1535K6535B2534G1047D03
keywords weightedHardyinequalitymultipolarinverse-squarepotentialoptimalconstantKolmogorovoperatorsevolutionproblemexistenceversusinstantaneousblow-uppartitionofunitySobolevspace
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 proves weighted multipolar Hardy inequalities for a broad class of weights: $c\int_{\mathbb R^N}\sum_{i=1}^n u^2|x-a_i|^{-2}\,d\mu \le \int_{\mathbb R^N}|\nabla u|^2\,d\mu + K\int_{\mathbb R^N}u^2\,d\mu$ whenever $0

What carries the argument

The central mechanism is the weighted partition-of-unity localization. A partition of unity subordinate to disjoint balls around the poles decomposes the quadratic form $\int(|\nabla\phi|^2-cV_n\phi^2)\,d\mu$ into one-pole contributions plus a remainder; each one-pole contribution is controlled by a unipolar weighted Hardy inequality with constant $c_{o,\mu}$, while the remainder is bounded by $k_0+(n+1)c/r_0^2+k_1$ times $\|\phi\|_{L^2_\mu}^2$. The companion machinery is the spectral bottom $\lambda_1(L+V)$: the same test functions establish $\lambda_1=-\infty$ above the critical constant, and the criterion $\lambda_1>-\infty$ is what converts the Hardy inequality into existence of positive exponentially bounded solutions.

What would settle it

Run the Section-5 quotient computation for a two-pole weight of the explicit form (4.1), for instance $\mu(x)=|x-a_1|^{-\gamma}|x-a_2|^{-\gamma}$ with $\gamma<N-2$, and determine whether the spectral bottom $\lambda_1(L+V)$ jumps from $-\infty$ to finite exactly at $c=((N+k_2-2)/2)^2$. A jump at a different value would show the claimed optimal constant is not the true threshold for the advertised weight class.

Watch

Extended reading notes

Core claim

The central claim is that the multipolar Hardy constant for the weighted Sobolev space $H^1_\mu$ is still the one-pole value $c_{o,\mu}=((N+k_2-2)/2)^2$, provided the weight satisfies the hypotheses H1–H4 and the local singularity condition H3 at one pole. The proof separates the poles with a partition of unity, reduces each localized term to a unipolar weighted Hardy inequality, and controls the inter-pole remainders by a lower-order $L^2_\mu$ term whose constant depends on the minimal distance between poles. Optimality is proved by testing powers $(\varepsilon+|x-a_i|)^\eta$ concentrated at one pole: for $c>c_{o,\mu}$ the spectral quotient tends to $-\infty$, so no inequality of the stated form can hold. Applying the spectral criterion for heat-type equations, the paper concludes that the same constant $c_{o,\mu}$ is the exact threshold for existence of positive exponentially bounded weak solutions to the perturbed Kolmogorov evolution problem.

Load-bearing premise

The sharp nonexistence half rests on Hypothesis H3, introduced in Section 5: at one pole the measure must have precise local integrability threshold $\sup\{\delta: |x-a_i|^{-\delta}\in L^1_{\rm loc}(d\mu)\}=N+k_2$. The paper does not show the explicit weight class (4.1) satisfies H3, so the full dichotomy is proved only under this extra condition.

Editorial extensions

If this is right

  • For any weight satisfying H1–H4 and any separated pole configuration, the multipolar Hardy inequality holds for all $0<c\le ((N+k_2-2)/2)^2$, with an explicit lower-order constant depending on $n,r_0,k_0,k_1$.
  • The Hardy threshold is independent of the number of poles: additional poles change only the remainder constant, not the critical value of $c$.
  • For $V\le c\sum_i |x-a_i|^{-2}$ with $c$ at or below the critical value, the initial-value problem has a positive weak solution satisfying the exponential bound (6.5) for every $u_0\in L^2_\mu$.
  • When H3 also holds and $V=c\sum_i |x-a_i|^{-2}$ with $c$ above the critical value, no positive weak solution satisfying (6.5) can exist, so the only alternative is instantaneous blow-up.

Reading between the lines

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

  • The optimality proof concentrates at a single pole, so the multipolar threshold is likely governed by the most singular pole; one could check whether poles with weaker singularities only affect the lower-order constant $K$.
  • Hypothesis H3 is not verified for the explicit weight class (4.1); checking whether the local integrability threshold equals $N+k_2$ for those weights would determine how far the sharp nonexistence dichotomy extends into the paper's advertised examples.
  • The same spectral criterion could be pushed to potentials with several inverse-square poles of different strengths $c_i$; the natural conjecture is that existence holds exactly when the positive part of the sum stays below the one-pole constant, in analogy with the unweighted multipolar Schrödinger picture, though this paper fixes equal coefficients $c$.
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.

Referee Report

3 major / 5 minor

Summary. This paper proves weighted multipolar Hardy inequalities for the Kolmogorov operator L = Δ + (∇μ/μ)·∇ on R^N, for weights μ satisfying structural hypotheses H1–H2 or H1–H2′. Two methods are used: a vector-field method (Theorems 2.1 and 2.2) yielding constants below the optimal value, and an IMS-localization method (Theorem 3.1) yielding the full constant co(N+k2)=((N+k2−2)/2)^2 under an additional unipolar inequality imported from the companion paper [8]. Under a further hypothesis H3 on the local L1-singularity of μ at one pole, Theorem 5.1 shows the constant is optimal by a standard test-function argument. The final Section 6 states properties of the semigroup generated by L and, following Cabré–Martel, derives existence of positive exponentially bounded weak solutions to (P) when c≤co(N+k2), and nonexistence when c>co(N+k2) for V=cΣ|x−ai|^{-2} (Theorem 6.6). A class of product-type weights (4.1) is claimed to satisfy the hypotheses.

Significance. If the central results are valid, this is a useful extension of the Baras–Goldstein and Cabré–Martel theory to general invariant measures with multipolar inverse-square potentials, and the IMS adaptation giving the optimal constant in the weighted setting is a substantive contribution. The vector-field and localization computations are internally coherent and easy to follow, and the optimality test family in Theorem 5.1 is the standard one. The paper is less strong as a self-contained work because its key unipolar estimate is deferred to [8] and the sharp dichotomy is stated under hypotheses that omit the extra optimality condition H3.

major comments (3)
  1. [Section 6, Theorem 6.6] The hypotheses of Theorem 6.6 are stated as H1–H4, but part (2) is obtained through Theorem 5.1, whose proof requires H3. H3 is introduced only in Section 5, is not listed among the assumptions of Theorem 6.6, and is not shown to be a consequence of H1–H4. For a weight with μ ∼ |x−a_i|^{−γ} near a pole, H2 only forces k2 ≤ −γ, while H3 forces the equality k2 = −γ; if k2 < −γ, the constant co(N+k2) is strictly smaller than the true critical constant and the asserted necessary-and-sufficient dichotomy in part (2) is not justified. The applicability of the nonexistence result to the motivating class (4.1) is therefore unquantified.
  2. [Section 3, Eq. (3.1)] The proof of the principal Hardy inequality (Theorem 3.1) relies entirely on the weighted unipolar inequality (3.1) taken from the companion preprint [8], whose exact hypotheses and proof are not reported in this manuscript. Since (3.1) carries the optimal constant co(N+k2) and is the only input that upgrades the vector-field estimate to the full constant, the central estimate is not self-contained. The authors should either include a proof of (3.1) under the stated hypotheses or cite a published version with a precise statement.
  3. [Section 4, display (4.1)] The verification of H2′ for the exemplary weights (4.1) is only sketched by reasoning as in the previous case, and the displayed admissible range for γ appears garbled: two inequalities with the same expression are written consecutively inside a single sentence, and the constants c1, cρ are not cleanly defined. More importantly, no relation between γ and k2 is derived, so it is not determined which weights (4.1) satisfy H3. Without such a determination, the optimality theorem and the nonexistence half of Theorem 6.6 cannot be applied to the paper's own examples.
minor comments (5)
  1. [Abstract] The phrase 'constant constant' is a typo; the abstract should read 'the optimality of the constant c_{o,μ}'.
  2. [Section 2, H2] The hypothesis H2 is stated with a fixed β, but the proof then maximizes over β. Please clarify whether H2 is assumed for all β>0 or only for the β used in the maximization, and adjust the wording accordingly.
  3. [Section 5, Eq. (5.2)] The constant C1 is defined with ||∇θ||∞ but it is used to bound |∇θ|^2; use ||∇θ||^2∞ or replace it by max(1,||∇θ||∞) to make the inequality valid.
  4. [Section 4, equations (4.4)–(4.6)] The symbols cρ, c1, c2, c3, c4 appear with incomplete definitions; please standardize the notation and correct the displayed condition on γ, which is currently hard to parse.
  5. [Section 6, Eq. (6.3)] In the displayed identity following the comparison with (6.1), 'Vu' should be written as 'V u' to avoid confusion with a single variable.

Circularity Check

0 steps flagged · score 1.0 of 10

No circular derivation; the multipolar theorem reduces to a cited unipolar inequality and a standard spectral test, with the H3 scope gap as a limitation rather than a circular step.

full rationale

No circular step can be exhibited. The multipolar Hardy inequality (Theorem 3.1) is proved by the weighted IMS method, using the unipolar weighted Hardy inequality (3.1), quoted from the authors' prior paper [8] ("We use as a suitable inequality the unipolar inequality stated in [8]"). That unipolar statement is strictly weaker than the multipolar target and is not the same as the conclusion, so the inference is a genuine reduction rather than a self-definitional one. The optimality theorem (Theorem 5.1) is derived from an explicit family of test functions whose exponents are chosen from the local integrability exponent N+k2 fixed by Hypothesis H3; the threshold ((N+k2-2)/2)^2 is obtained by a standard limiting argument, not by fitting the constant to the desired nonexistence. The evolution dichotomy (Theorem 6.6) combines these inequalities with semigroup and density facts cited from [6]; the paper does not assume the target multipolar statement inside those citations. The manuscript itself flags limitations that a referee should weigh: H3 is introduced only in Section 5 and is not verified for the explicit weight class (4.1), and Proposition 6.1's proof is omitted ("We omit the proof since it is analogous to [6, Proposition 2.1]"). Those are scope and completeness issues, not circular reductions: no equation in the paper is defined in terms of the result it is used to prove, and no fitted parameter is relabeled as a prediction. The cited self-papers are used as prior lemmas; their conclusions do not already contain the multipolar dichotomy.

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

No numbers are fitted to data. The constants k1,k2 in H2/H2' are existential hypotheses on the weight mu, not fitted parameters; the threshold c_o(N+k2)=((N+k2-2)/2)^2 is a formula in terms of the admissible k2. The central claim depends on several imported results: the unipolar weighted Hardy inequality [8], the two-pole partition-of-unity estimate [4], semigroup generation [1], and the comparison arguments in [6], [12]. The extra optimality hypothesis H3 is introduced in Section 5 and not verified for the Section 4 examples.

assumptions (6)
  • standard math Density of C_c^infinity(R^N) in H^1_mu follows from H1(ii)-(iii), so it suffices to prove the inequalities on smooth compactly supported functions.
    Invoked in the proof of Theorem 2.1 and Theorem 3.1; cited to Tolle [17].
  • domain assumption The unipolar weighted Hardy inequality (3.1) with constant c_o(N+k2) holds for the same weight mu under H1 and H2'.
    Imported from the authors' companion paper [8]; it is the central building block of the IMS proof of Theorem 3.1, so any error in [8] propagates.
  • standard math The two-pole partition-of-unity bound (Lemma 3.3) from Bosi-Dolbeault-Esteban [4] holds for the prescribed J(t).
    Used to control the remainder term R_n in Theorem 3.1; the weighted measure does not affect this pointwise bound.
  • domain assumption Under H4, the closure of (L,C_c^infinity) on L^2_mu generates a strongly continuous analytic Markov semigroup (Albanese-Lorenzi-Mangino [1, Corollary 3.7]).
    Required for Proposition 6.1 and for the Cabre-Martel existence theorem; not proved in the paper.
  • standard math The Dirichlet parabolic problem on C_R has a positive classical solution and a strictly positive Green function (Ladyzhenskaya et al. [14]).
    Used in Lemma 6.4 to build the comparison solution v for the lower bound on weak solutions.
  • domain assumption The bottom-of-the-spectrum criterion of Cabre-Martel, extended to weighted Kolmogorov operators as in [12, Theorem 2.1], characterizes existence versus nonexistence of positive exponentially bounded solutions.
    The present paper states Theorem 6.5 by analogy with [12] rather than deriving the criterion; the application in Theorem 6.6 rests on it.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Weighted multipolar Hardy inequalities and evolution problems with Kolmogorov operators perturbed by singular potentials." pith.science (2026). https://pith.science/paper/KOIBGXAG

@misc{pith2026190801971,
  author       = {Pith},
  title        = {Pith review of: Weighted multipolar Hardy inequalities and evolution problems with Kolmogorov operators perturbed by singular potentials},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KOIBGXAG}},
  note         = {Machine review of arXiv:1908.01971}
}
abstract

The main results in the paper are the weighted multipolar Hardy inequalities \begin{equation*} c\int_{\R^N}\sum_{i=1}^n\frac{u^2}{|x-a_i|^2}\,d\mu \leq\int_{\R^N}|\nabla u |^2d\mu+ K\int_{\R^N} u^2d\mu, \end{equation*} in $\R^N$ for any $u$ in a suitable weighted Sobolev space, with $0<c\le c_{o,\mu}$, $a_1,\dots,a_n\in \R^N$, $K$ constant. The weight functions $\mu$ are of a quite general type. The paper fits in the framework of the study of Kolmogorov operators \begin{equation*} Lu=\Delta u+\frac{\nabla \mu}{\mu}\cdot\nabla u, \end{equation*} perturbed by multipolar inverse square potentials, and of the related evolution problems. The necessary and sufficient conditions for the existence of positive exponentially bounded in time solutions to the associated initial value problem are based on weighted Hardy inequalities. The optimality of the constant constant $c_{o,\mu}$ allow us to state the nonexistence of positive solutions. We follow the Cabr\'e-Martel's approach. To this aim we state some properties of the operator $L$, of its corresponding $C_0$-semigroup and density results.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

  1. [6]

    Canale, F

    A. Canale, F. Gregorio, A. Rhandi, C. Tacelli, Weighted Hardy’s inequalities and Kolmogorov- type operators, Appl. Anal. (2017), pp. 1–19

    work page 2017

  2. [8]

    A class of weighted Hardy inequalities and applications to evolution problems

    A. Canale, F. Pappalardo, C. Tarantino, A class of weighted Hardy inequalities and applica- tions to evolution problems , arXiv:1812.03193v3, 29 Apr 2019

    work page Pith review arXiv 2019

  3. [1]

    Albanese, L

    A. Albanese, L. Lorenzi, E. Mangino, Lpuniqueness for elliptic operators with unbounded coefficients in RN , J. Funct. Anal. 256 (2009), pp. 1238–1257

    work page 2009

  4. [2]

    D. G. Aronson, Non-negative solutions of linear parabolic equations Ann. Scuola Norm, Sup. Pisa 22 (1968), pp. 607–694

    work page 1968

  5. [3]

    Baras, J

    P. Baras, J. A. Goldstein, The heat equation with singular potential , Trans. Am. Math. Soc. 284 (1984), pp. 121–139

    work page 1984

  6. [4]

    R. Bosi, J. Dolbeault, M. J. Esteban, Estimates for the optimal constants in multipolar Hardy inequalities for Schr¨ odinger and Dirac operators , Commun. Pure Appl. Anal. 7 (2008), pp. 533–562

    work page 2008

  7. [5]

    Cabr´ e, Y

    X. Cabr´ e, Y. Martel, Existence versus explosion instantan´ ee pour des e´ quations de la chaleur line´ aires avec potentiel singulier, C. R. Acad. Sci. Paris 329 (11) (1999), pp. 973–978

    work page 1999

  8. [7]

    Canale, F

    A. Canale, F. Pappalardo, Weighted Hardy inequalities and Ornstein-Uhlenbeck type o perators perturbed by multipolar inverse square potentials , J. Math. Anal. Appl. 463 (2018), pp. 895– 909

    work page 2018

Show all 17 references
  1. [9]

    Cazacu, New estimates for the Hardy constants of multipolar Schr¨ od inger operators, Com- mun

    C. Cazacu, New estimates for the Hardy constants of multipolar Schr¨ od inger operators, Com- mun. Contemp. Math. 18 (5) (2016), pp. 1–28

    2016

  2. [10]

    Cazacu, E

    C. Cazacu, E. Zuazua, Improved multipolar Hardy inequalities , in: M. Cicognani, F. Colom- bini, D. Del Santo (Eds.), Studies in Phase Space Analysis of PDEs , Progress in Nonlinear Differential Equations and Their Applications 84, Birkh¨ auser, New Y ork (2013), pp. 37–52

    2013

  3. [11]

    Felli, E

    V. Felli, E. M. Marchini, S. Terracini, On Schr¨ odinger operators with multipolar inverse-square potentials, J. Funct. Anal. 250 (2007), pp. 265–316

    2007

  4. [12]

    G. R. Goldstein, J. A. Goldstein, A. Rhandi, Weighted Hardy’s inequality and the Kolmogorov equation perturbed by an inverse-square potential , Appl. Anal. 91 (11) (2012), pp. 2057–2071

    2012

  5. [13]

    Lorenzi, M

    L. Lorenzi, M. Bertoldi, Analytical Methods for Markov Semigroups , Pure and Applied Math- ematics 283, CRC Press (2006)

    2006

  6. [14]

    Ladyz’enskaya, V

    O. Ladyz’enskaya, V. Solonnikov, N. Ural’tseva, Linear and quasilinear equations of parabolic type, American Mathematical Society, Providence, Rhode Island (1968 )

    1968

  7. [15]

    J. D. Morgan, Schr¨ odinger operators whose potentials have separated singularities, J. Operator Theory 1 (1979), pp. 109–115

    1979

  8. [16]

    Simon, Semiclassical analysis of low lying eigenvalues

    B. Simon, Semiclassical analysis of low lying eigenvalues. I. Nondeg enerate minima: asymp- totic expansions , Ann. Inst. H. Poincar´ e Sect. A (N.S.) 38 (1983), pp. 295–308

    1983

  9. [17]

    Renato Cacciop poli

    J. M. T¨ olle,Uniqueness of weighted Sobolev spaces with weakly different iable weights , J. Funct. Anal. 263 (2012), pp. 3195–3223. Dipartimento di Ingegneria dell’Informazione ed Elettric a e Matematica Appli- cata (Diem), Universit ´a degli Studi di Salerno, Via Giovanni Pao...

    2012

Pith tools

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