pith. sign in

arxiv: 1907.10341 · v1 · pith:6IUAQCQUnew · submitted 2019-07-24 · 🧮 math.AP

Rellich inequalities in bounded domains

G. Metafune , L. Negro , M. Sobajima , C. Spina This is my paper

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

classification 🧮 math.AP
keywords Rellich inequalitiesweighted inequalitiesLp spacesbounded domainsboundary conditionselliptic operatorscritical casesremainder terms
0
0 comments X

The pith

Necessary and sufficient conditions are identified for weighted Rellich inequalities to hold in Lp on bounded domains for functions vanishing at the boundary.

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

The paper determines the precise conditions under which weighted Rellich inequalities are valid in the Lp setting for functions on bounded domains that vanish at the boundary. It examines a family of second-order operators that include the Laplacian plus singular lower-order terms scaled by powers of |x|. The conditions turn out to be both necessary and sufficient, and the work extends the analysis to critical parameter values together with possible remainder terms. These results matter because Rellich-type inequalities supply control on lower-order terms by higher-order ones, which is a basic tool for a priori estimates in elliptic and parabolic equations.

Core claim

The authors establish that weighted Rellich inequalities in Lp hold for all suitable functions vanishing at the boundary of a bounded domain if and only if the coefficients of the operator L = Δ + (c/|x|^2) x · ∇ − (b/|x|^2) and the weight functions satisfy certain explicit algebraic relations; the same analysis yields the borderline cases and the form of remainder terms when equality is approached.

What carries the argument

The operator L = Δ + (c/|x|^2) x · ∇ − (b/|x|^2) together with the boundary-vanishing condition on functions in the domain.

If this is right

  • The inequality is valid precisely when the parameters c and b lie in an explicitly described region determined by the weights.
  • Remainder terms exist and can be computed explicitly in the critical cases.
  • The characterization applies uniformly to the whole class of operators of the indicated form on any bounded domain.

Where Pith is reading between the lines

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

  • The same necessary-and-sufficient conditions may supply a priori bounds for weak solutions of elliptic equations driven by L with singular coefficients.
  • The remainder terms could be inserted into variational formulations to obtain quantitative uniqueness results.
  • The Lp framework suggests possible extensions to time-dependent problems via semigroup methods.

Load-bearing premise

The functions belong to appropriate function spaces where the expressions involving L and the boundary vanishing condition are well-defined.

What would settle it

An explicit function u vanishing at the boundary of the unit ball such that the proposed inequality fails for a choice of c, b outside the stated range, or holds with the predicted constant inside the range.

read the original abstract

We find necessary and sufficient conditions for the validity of weighted Rellich inequalities in Lp for functions in bounded domains vanishing at the boundary. General operators like L = Delta+ c\|x|^2x nabla-b\|x|^2 are considered. Critical cases and remainder terms are also investigated.

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.

Referee Report

1 major / 0 minor

Summary. The manuscript derives necessary and sufficient conditions on the parameters for weighted Rellich inequalities to hold in L^p for functions vanishing on the boundary of a bounded domain, for the family of operators L = Δ + c |x|^2 x · ∇ − b |x|^2; it also treats critical cases and the addition of remainder terms.

Significance. If the claimed necessary-and-sufficient conditions are rigorously established, the results would sharpen the theory of Rellich-type inequalities in the weighted L^p setting on bounded domains, a regime where explicit sharp constants are rarer than on R^n; the treatment of general drift and potential terms and of remainder estimates would be a useful addition to the literature on Hardy–Rellich inequalities.

major comments (1)
  1. The abstract asserts the existence of necessary and sufficient conditions but supplies neither a derivation nor a proof sketch; without access to the body of the paper the central claim cannot be verified.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for reviewing our manuscript on weighted Rellich inequalities in bounded domains. We address the major comment below.

read point-by-point responses

  1. Referee: The abstract asserts the existence of necessary and sufficient conditions but supplies neither a derivation nor a proof sketch; without access to the body of the paper the central claim cannot be verified.

    Authors: The abstract is a concise summary of the principal results, which is the conventional role of an abstract. The necessary and sufficient conditions on the parameters for the weighted Rellich inequalities (including for the general operator L) are explicitly derived, stated, and proved in the body of the manuscript. The proofs rely on integration by parts adapted to the zero-boundary condition, suitable test functions, and comparison with Hardy-type estimates; critical cases and remainder terms receive separate treatment. These derivations are fully contained in the paper and can be verified from the main text. revision: no

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper states it finds necessary and sufficient conditions for weighted Rellich inequalities involving operators like L = Δ + c|x|^{-2}x·∇ - b|x|^{-2} on bounded domains with vanishing boundary data in L^p. No equations, fitted parameters, self-citations, or ansatzes are supplied in the abstract or reader's summary that would allow any reduction of a claimed result to its own inputs by construction. The central claim is a standard analytic characterization of parameter ranges for an inequality to hold, which is established by direct estimates or counterexamples rather than by re-labeling inputs. Absent any load-bearing self-referential step in the provided material, the derivation chain does not exhibit circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review provides no identifiable free parameters, ad-hoc axioms, or invented entities; the work implicitly rests on standard assumptions of functional analysis.

pith-pipeline@v0.9.0 · 5564 in / 983 out tokens · 24899 ms · 2026-05-24T16:57:21.912477+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

36 extracted references · 36 canonical work pages

  1. [1]

    Abramowitz, I.A

    M. Abramowitz, I.A. Stegun: Handbook of mathematical functions with formulas, graphs, and mathematical tables, National Bureau of Standards Applied Mathematics Series 55, Wash- ington, D.C. 1964

    work page 1964

  2. [2]

    Adimurthi, S

    K. Adimurthi, S. Santra: Generalized Hardy-Rellich inequalities in critical dimension and its applications, Commun. Contemp. Math., 11 (2009), 367-394

    work page 2009

  3. [3]

    H. Ando, A. Detalla, T. Horiuchi: Sharp remainder terms of the Rellich inequality and its application, Bull. Malays. Math. Sci. Soc., 35 (2012), 519-528

    work page 2012

  4. [4]

    Arendt, K

    W. Arendt, K. R ¨abiger, A. Sourour: Spectral properties of the operator equation AX + XB = Y , Quart. J. Math. Oxford, 45 (1994), 133-149

    work page 1994

  5. [5]

    Arendt, A

    W. Arendt, A. Bukhvalov: Integral representations of resolvents and semigroups, Forum Math., 6 (1994), 111-135

    work page 1994

  6. [6]

    Barbatis, A

    G. Barbatis, A. Tertikas: On a class of Rellich inequalities, J. Comp. Appl. Math., 194 (2006), 156-172

    work page 2006

  7. [7]

    Caldiroli, R

    P. Caldiroli, R. Musina: Rellich inequalities with weights, Calc. Var. Partial Differential Equations, 45 (2012), 147-164. 50

    work page 2012

  8. [8]

    Calvaruso, G

    G. Calvaruso, G. Metafune, L. Negro, C. Spina: Optimal kernel estimates for elliptic operators with second order discontinuous coefficients, Arxiv?, to appear

    work page

  9. [9]

    Coulhon, A

    T. Coulhon, A. Sikora: Gaussian heat kernel upper bounds via Phragm´ en-Lindel¨ of theo- rem, Proc. London Math. Soc. 96 (2008), 507–544

    work page 2008

  10. [10]

    E. B. Davies: Heat Kernels and Spectral Theory, Cambridge University Press, 1989

    work page 1989

  11. [11]

    E. B. Davies, A. M. Hinz: Explicit constants for Rellich inequalities in Lp(Ω), Math. Z., 227, (1998), 511-523

    work page 1998

  12. [12]

    Engel, R

    K.J. Engel, R. Nagel: One parameter semigroups for linear evolutions equations, Springer- Verlag, Berlin, (2000)

    work page 2000

  13. [13]

    Erdelyi: Table of Integral Transorms, vol

    A. Erdelyi: Table of Integral Transorms, vol. I, McGraw-Hill , 1954

    work page 1954

  14. [14]

    Fornaro, L

    S. Fornaro, L. Lorenzi: Generation results for elliptic operators with unbounded diffusion coefficients in Lp and Cb-spaces, Discrete and continuous dynamical sistems, 18 (2007), 747- 772

    work page 2007

  15. [15]

    Gazzola, H

    F. Gazzola, H. C. Grunau, E. Mitidieri: Hardy inequalities with optimal constants and remainder terms, Trans. Am. Math. Soc. 356(6), (2004) 2149-2168

    work page 2004

  16. [16]

    Gilbarg, N.S

    D. Gilbarg, N.S. Trudinger: Elliptic Partial Differential Equations of Second Order, Sec- ond edition, Springer-Verlag, Berlin, (2001)

    work page 2001

  17. [17]

    Ghoussoub, A

    N. Ghoussoub, A. Moradifam: On the best possible remaining term in the Hardy inequal- ity, Proc. Natl. Acad. Sci. USA, 105 (2008), 13746-13751

    work page 2008

  18. [18]

    Grigor’yan: Heat Kernel and Analysis on Manifolds AMS/IP Studies in Advanced Math- ematics, Vol

    A. Grigor’yan: Heat Kernel and Analysis on Manifolds AMS/IP Studies in Advanced Math- ematics, Vol. 47, American Mathematical Society, 2009

    work page 2009

  19. [19]

    N. V. Krylov: Lectures on Elliptic and Parabolic Equations in Sobolev Spa ces, Graduate Studies in Mathematics, 96, American Mathematical Society, (2008 )

    work page 2008

  20. [20]

    Metafune, M

    G. Metafune, M. Sobajima, C. Spina: Elliptic and parabolic problems for a class of operators with discontinuous coefficients, Annali Scuola Normale Superiore di Pisa Cl. Sc. , (to appear)

    work page

  21. [21]

    Metafune, M: Sobajima, C

    G. Metafune, M: Sobajima, C. Spina: Kernel estimates for elliptic operators with second order discontinuous coefficients, J. Evol. Eq. 17 (2017), 485-522

    work page 2017

  22. [22]

    Metafune, C

    G. Metafune, C. Spina: An integration by parts formula in Sobolev spaces, Mediterranean Journal of Mathematics, 5 (2008), 359-371

    work page 2008

  23. [23]

    Metafune, L

    G. Metafune, L. Negro, C. Spina: Sharp kernel estimates for elliptic operators with second-order discontinuous coefficients, Journal of Evolution Equations, 18 (2018), 467-514

    work page 2018

  24. [24]

    Metafune, M

    G. Metafune, M. Sobajima, C. Spina: Weighted Calder´ on-Zygmund and Rellich inequal- ities in Lp, Mathematische Annalen, 361 (2015), 313-366

    work page 2015

  25. [25]

    Metafune, M

    G. Metafune, M. Sobajima, C. Spina: Rellich and Calder´ on-Zygmund inequalities for an operator with discontinuous coefficients, Annali di Matematica Pura Appl., 195 (2016), 1305-1331. 51

    work page 2016

  26. [26]

    Mitidieri: A simple approach to Hardy inequalities, Mathematical Notes, 67 (2000), 479-486

    E. Mitidieri: A simple approach to Hardy inequalities, Mathematical Notes, 67 (2000), 479-486

    work page 2000

  27. [27]

    Morimoto: Analytic Functionals on the Sphere, American Mathematical Soc., Trans- lations of mathematical monographs, 178 (1998)

    M. Morimoto: Analytic Functionals on the Sphere, American Mathematical Soc., Trans- lations of mathematical monographs, 178 (1998)

    work page 1998

  28. [28]

    Musina: Optimal Rellich-Sobolev constants and their extremals, Differential and Integral equations, 27 (2014), 579-600

    R. Musina: Optimal Rellich-Sobolev constants and their extremals, Differential and Integral equations, 27 (2014), 579-600

    work page 2014

  29. [29]

    Nagel ( ed): One-parameter Semigroups of Linear Operators, Lecture Notes in Mathe- matics, 1184 (1980), 1-24

    R. Nagel ( ed): One-parameter Semigroups of Linear Operators, Lecture Notes in Mathe- matics, 1184 (1980), 1-24

    work page 1980

  30. [30]

    Y. Li, L. Nirenberg: Regularity of the distance function to the boundary, Rend. Accad. Naz. Sci. XL Mem. Mat. Appl., 29 (2005), 257-264

    work page 2005

  31. [31]

    Okazawa: Lp-theory of Schr¨ odinger operators with strongly singular potent ials, Japan

    N. Okazawa: Lp-theory of Schr¨ odinger operators with strongly singular potent ials, Japan. J. Math., 22 (1996), 199-239

    work page 1996

  32. [32]

    E. M. Ouhabaz: Analysis of Heat Equations on Domains, Princeton University Press

    work page

  33. [33]

    Rellich: Halbbeschr¨ ankte Differentialoperatoren h¨ oherer Ordnung,Proceedings of the International Congress of Mathematicians, III (1954), 243-250

    F. Rellich: Halbbeschr¨ ankte Differentialoperatoren h¨ oherer Ordnung,Proceedings of the International Congress of Mathematicians, III (1954), 243-250

    work page 1954

  34. [34]

    M. Sano, F. Takahashi: Improved Rellich type inequalites in RN , Springer Proceedings in Mathematics and Statistics, 176 (2016) Geometric Properties for Parabolic and Elliptic PDEs, 241-255

    work page 2016

  35. [35]

    Stein, G.L

    E.M. Stein, G.L. Weiss: Introduction to Fourier Analysis on Euclidean Spaces, Princeton University Press, 1971

    work page 1971

  36. [36]

    Tertikas, N.B

    A. Tertikas, N.B. Zographopoulos: Best constants in the Hardy-Rellich inequalities and related improvements, Adv. Math., 209 (2007), 407-459. 52

    work page 2007