Higher order Schr\"odinger operators

Chiara Spina; Cristian Tacelli; Federica Gregorio

arxiv: 2604.25547 · v1 · submitted 2026-04-28 · 🧮 math.AP

Higher order Schr\"odinger operators

Federica Gregorio , Chiara Spina , Cristian Tacelli This is my paper

Pith reviewed 2026-05-07 15:38 UTC · model grok-4.3

classification 🧮 math.AP

keywords higher-order Schrödinger operatorsanalytic semigroupsquasi-sectorial operatorsdomain characterizationDore-Venni theoremLp spacesfourth-order differential operatorsbilaplacian

0 comments

The pith

The Lp-realization of a fourth-order Schrödinger operator with subcritical potential is quasi-sectorial and generates an analytic semigroup.

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

This paper examines higher-order Schrödinger operators formed by adding a nonnegative potential V to a fourth-order differential operator L such as the bilaplacian. It proves that in Lp spaces for 1 less than p less than infinity the sum operator is quasi-sectorial and therefore generates an analytic semigroup. The proof relies on a noncommutative version of the Dore-Venni theorem to treat the differential part and the multiplication by V together. This yields a precise domain description as the intersection of the domains of L and of V. The assumptions cover potentials that grow at infinity like |x| to a power strictly less than 4, and the results extend from constant-coefficient L to suitable variable-coefficient versions.

Core claim

The Lp-realization of the operator Lu = Lu + Vu, where L is a fourth-order operator and V is a nonnegative potential growing at most like |x|^r with r less than 4, is quasi-sectorial in Lp(R^N) for 1 less than p less than infinity, generates an analytic semigroup, and has domain equal to the intersection D(L) intersect D(V). The result holds first for L equal to the bilaplacian and then for more general variable-coefficient fourth-order operators whose coefficients satisfy the conditions required by the noncommutative Dore-Venni theorem.

What carries the argument

The noncommutative Dore-Venni theorem, which establishes sectoriality of the sum of two operators under suitable resolvent and commutator estimates, applied to the fourth-order differential operator and the potential multiplication operator.

If this is right

The Cauchy problem for the parabolic equation u_t + Lu = 0 admits unique analytic solutions in time for any Lp initial datum.
The domain intersection description supplies the exact regularity needed to justify energy estimates and maximum principles for higher-order evolution equations.
The same quasi-sectoriality persists when the fourth-order operator has variable coefficients obeying the stated structural assumptions.
The generation result opens the way to spectral mapping theorems and functional calculus for these operators in Lp.

Where Pith is reading between the lines

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

The same method could be tested on sixth-order or higher even-order operators provided the potential growth is adjusted to remain subcritical relative to the order.
Quasi-sectoriality often implies bounded imaginary powers, which would allow treatment of certain nonlinear perturbations of these linear equations.
The domain characterization might simplify the construction of invariant manifolds or attractors for the associated nonlinear flows in Lp.

Load-bearing premise

The potential grows at most like a power |x|^r with r strictly less than 4, and the variable coefficients of the fourth-order operator satisfy the conditions that let the noncommutative Dore-Venni theorem apply to their sum with the potential.

What would settle it

An explicit potential growing exactly like |x|^4 (or faster) for which the sum operator fails to be quasi-sectorial or whose domain is strictly larger than the intersection of the separate domains.

read the original abstract

In this paper we consider higher order Schr\"odinger operators $$\mathcal L u=Lu+Vu,$$ where $L$ denotes a fourth order operator and $V\geq 0$ a suitable potential. We initiate our analysis by considering the constant coefficients differential operator $L=\Delta^2$. Subsequently, we extend our results to more general operators $L$ featuring suitable variable coefficients. We are interested in domain characterization and generation properties of these operators in $L^p(\mathbb{R}^N)$ for $p \in (1, \infty)$. To address this problems we employ a noncommutative version of the Dore-Venni theorem due to Monniaux and Pr\"uss and we prove that the $L^p$-realization of $\mathcal L$ is quasi sectorial and, consequently, generates an analytic semigroup. Furthermore, this approach allows for a sharp characterization of the operator's domain as the intersection of the domains of the bilaplacian and the multiplication operator. The required assumptions allow to treat potentials that grow at infinity like $|x|^r$ for some $r<4$.

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

The paper applies the Monniaux-Prüss noncommutative Dore-Venni theorem to get quasi-sectoriality and the intersection domain for fourth-order Schrödinger operators with |x|^r potentials r<4, first for constant coefficients then variable ones under suitable assumptions.

read the letter

The core result is that the Lp realization of L + V is quasi-sectorial and generates an analytic semigroup, with domain exactly D(L) ∩ D(V), where L is fourth-order. They start with the constant-coefficient bilaplacian and then move to variable coefficients. This is a direct extension of known second-order facts, and the growth restriction r<4 looks like the natural limit from the theorem's angle conditions. The approach is economical: they invoke the external theorem rather than reproving resolvent estimates from scratch, which keeps the argument short and focused on the domain characterization. That part is clean and matches what the abstract promises. The variable-coefficient step is the part that needs care. The abstract calls the coefficients “suitable,” but the noncommutative Dore-Venni theorem requires L itself to be sectorial in Lp with angle less than π/2 plus some control on commutators or imaginary powers with V. If the paper only assumes continuity or boundedness without uniform ellipticity constants or higher regularity on the coefficients, the Lp resolvent bounds for L could fail and the whole sum result would not go through. I would want to see the precise ellipticity and smoothness hypotheses they impose and whether they verify the theorem’s hypotheses explicitly rather than citing them generically. This is a narrow but useful technical note for people already working on higher-order elliptic operators and maximal regularity in Lp. It does not reorganize the field, but it fills a specific gap cleanly if the coefficient assumptions hold up. The math looks standard and the citation pattern is appropriate. I would send it to a referee who knows the Dore-Venni literature; it is worth the time even if the variable-coefficient section needs tightening.

Referee Report

1 major / 2 minor

Summary. The paper studies higher-order Schrödinger operators ℒ = L + V in L^p(ℝ^N) for 1 < p < ∞, where L is a fourth-order elliptic operator (starting with the constant-coefficient bilaplacian Δ² and then extended to variable coefficients) and V ≥ 0 is a potential with growth |x|^r for r < 4. Using the noncommutative Dore-Venni theorem of Monniaux and Prüss, the authors claim that the L^p-realization of ℒ is quasi-sectorial, generates an analytic semigroup, and has domain precisely D(L) ∩ D(V).

Significance. If the required sectoriality, resolvent bounds, and commutator estimates hold, the result gives a clean functional-analytic proof of domain characterization and semigroup generation for these operators, extending second-order Schrödinger theory to the fourth-order setting. The noncommutative version of the theorem is well-chosen for the non-commuting sum, and the growth restriction on V is sharp for the method.

major comments (1)

[extension to variable coefficients] The central claim for variable-coefficient L rests on verifying that L itself is sectorial in L^p with angle < π/2 and that the pair (L, V) satisfies the resolvent-commutator or bounded imaginary-power hypotheses of the Monniaux-Prüss theorem. The abstract describes the coefficients only as 'suitable' and does not indicate where the uniform L^p resolvent estimates or commutator bounds [R(λ, L), V] are established; without these explicit checks the application of the theorem to the variable-coefficient case is not yet load-bearing.

minor comments (2)

The abstract states that the domain result follows 'consequently' from quasi-sectoriality; a brief reminder of the precise domain characterization provided by the Dore-Venni theorem would help readers.
Notation for the fourth-order operator L versus the full Schrödinger operator ℒ is clear in the abstract but should be reiterated at the beginning of the variable-coefficient section to avoid confusion.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our work. We address the major comment below and will revise the manuscript to improve clarity on the variable-coefficient extension.

read point-by-point responses

Referee: The central claim for variable-coefficient L rests on verifying that L itself is sectorial in L^p with angle < π/2 and that the pair (L, V) satisfies the resolvent-commutator or bounded imaginary-power hypotheses of the Monniaux-Prüss theorem. The abstract describes the coefficients only as 'suitable' and does not indicate where the uniform L^p resolvent estimates or commutator bounds [R(λ, L), V] are established; without these explicit checks the application of the theorem to the variable-coefficient case is not yet load-bearing.

Authors: We appreciate the referee highlighting this point. The manuscript establishes sectoriality of the constant-coefficient operator Δ² (with angle < π/2) and the uniform L^p resolvent estimates in Section 2. The commutator bounds [R(λ, L), V] under the growth |x|^r with r < 4 are verified in Section 3 via the noncommutative Dore-Venni theorem. For the variable-coefficient extension, Section 5 imposes assumptions (boundedness and sufficient smoothness of coefficients and derivatives) under which L is a relatively bounded perturbation of Δ². These conditions allow the sectoriality, resolvent bounds, and commutator estimates to transfer directly by standard perturbation results, so that the Monniaux-Prüss hypotheses remain satisfied. We agree the abstract is insufficiently precise on this. In revision we will update the abstract to define 'suitable' coefficients by reference to Assumption 5.1 and add explicit cross-references in the introduction to the sections containing the estimates and perturbation argument. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation applies external Monniaux-Prüss theorem to variable-coefficient fourth-order operators

full rationale

The paper's central claim—that the Lp-realization of ℒ = L + V is quasi-sectorial with domain D(L) ∩ D(V)—is obtained by invoking the noncommutative Dore-Venni theorem of Monniaux and Prüss (an external result) after verifying its hypotheses on the constant-coefficient case Δ² and then on variable-coefficient L under stated growth and ellipticity conditions. No quantity is defined in terms of the target conclusion, no parameter is fitted to a subset and then relabeled as a prediction, and no load-bearing step reduces to a self-citation or to an ansatz imported from the authors' prior work. The domain intersection follows directly as a consequence of the theorem once quasi-sectoriality is established. The derivation is therefore self-contained against the cited external theorem and standard functional-analytic background.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on applicability of the cited noncommutative Dore-Venni theorem and growth restrictions on V; no free parameters, new entities, or ad-hoc axioms beyond standard operator theory are introduced.

axioms (1)

standard math The noncommutative Dore-Venni theorem of Monniaux and Prüss applies to the pair consisting of the fourth-order operator and the multiplication operator under the stated growth conditions.
Directly invoked to obtain quasi-sectoriality and the domain characterization.

pith-pipeline@v0.9.0 · 5486 in / 1276 out tokens · 29367 ms · 2026-05-07T15:38:50.742935+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

[1]

Adams,L p potential theory techniques and nonlinear PDE, Potential theory (Nagoya, 1990), 1–15, de Gruyter, Berlin, 1992

D. Adams,L p potential theory techniques and nonlinear PDE, Potential theory (Nagoya, 1990), 1–15, de Gruyter, Berlin, 1992

work page 1990
[2]

S. S. Antman,Nonlinear problems of elasticity, 2nd edn, Applied Mathematical Sciences, p. 107. Springer, New York, 2005

work page 2005
[3]

Auscher and B

P. Auscher and B. Ben Ali,Maximal inequalities and Riesz transform estimates onL p spaces for Schr¨ odinger operators with nonnegative potentials, Ann. Inst. Fourier57(2007), 1975–2013

work page 2007
[4]

E. B. Davies and A. M. Hinz,Kato class potentials for higher order elliptic operators, J. London Math. Soc. (2)58(1998), no. 3, 669–678

work page 1998
[5]

R. Denk, M. Hieber, and J. Pr¨ uss,R-boundedness, fourier multipliers and problems of elliptic and parabolic type, Memoirs of the American Mathematical Society Volume: 166; 114 pp, 2003

work page 2003
[6]

X. T. Duong and G. Simonett,H ∞−calculus for elliptic operators with nonsmooth coefficients, Differ- ential Integral Equations10(1997), 201–217

work page 1997
[7]

Engel and R

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

work page 2000
[8]

Huang, M

S. Huang, M. Wang, Q. Zheng, and Z. Duan,L p estimates for fractional Schr¨ odinger operators with Kato class potentials, J. Differential Equations265(2018), no. 9, 4181–4212

work page 2018
[9]

Kato,L p-theory of Schr¨ odinger operators with a singular potential, North-Holland Math

T. Kato,L p-theory of Schr¨ odinger operators with a singular potential, North-Holland Math. Stud., 122 Notas Mat., North-Holland Publishing Co., Amsterdam108(1986), 63–78

work page 1986
[10]

Kunstmann and L

P. Kunstmann and L. Weis,MaximalL p-regularity for parabolic equations, Fourier multiplier theorems andH ∞-functional calculus, Lecture Notes in Math., 1855. Springer-Verlag, Berlin, 2004

work page 2004
[11]

Kunze, L

M. Kunze, L. Lorenzi, A. Maichine, and A. Rhandi,L p-Theory for Schr¨ odinger systems, Math. Nachr. 292(2019), no. 8, 1763–1776

work page 2019
[12]

Langer and V

M. Langer and V. Maz’ya,OnL p-contractivity of semigroups generated by linear partial differential operators, Journal of Functional Analysis164(1999), no. 1, 73–109

work page 1999
[13]

Lorenzi and A

L. Lorenzi and A. Rhandi,Semigroups of bounded operators and second-order elliptic and parabolic partial differential equations, Monogr. Res. Notes Math. CRC Press, Boca Raton, FL, 2021

work page 2021
[14]

Lunardi,Analytic semigroups and optimal regularity in parabolic problems, Birkhauser, 1995

A. Lunardi,Analytic semigroups and optimal regularity in parabolic problems, Birkhauser, 1995

work page 1995
[15]

Meleshko,Selected topics in the history of the two-dimensional biharmonic problem, Appl

V.V. Meleshko,Selected topics in the history of the two-dimensional biharmonic problem, Appl. Mech. Rev.56(2003), 33–85

work page 2003
[16]

Metafune, J

G. Metafune, J. Pr¨ uss, R. Schnaubelt, and A. Rhandi,Lp-regularity for elliptic operators with unbounded coefficients, Adv. Differential Equations10(2005), no. 10, 1131–1164

work page 2005
[17]

Monniaux and J

S. Monniaux and J. Pr¨ uss,A theorem of the Dore-Venni type for noncommuting operators, Trans. Amer. Math. Soc.349(1997), no. 12, 4787–4814

work page 1997
[18]

Pr¨ uss and H

J. Pr¨ uss and H. Sohr,On operators with bounded imaginary powers in Banach spaces, Math. Z.203 (1990), no. 3, 429–452

work page 1990
[19]

Shen,L p estimates for Schr¨ odinger operators with certain potentials, Annales de l’Institut Fourier45 (1995), 513–546

Z. Shen,L p estimates for Schr¨ odinger operators with certain potentials, Annales de l’Institut Fourier45 (1995), 513–546. Email address:fgregorio@unisa.it Email address:chiara.spina@unisalento.it Email address:ctacelli@unisa.it

work page 1995

[1] [1]

Adams,L p potential theory techniques and nonlinear PDE, Potential theory (Nagoya, 1990), 1–15, de Gruyter, Berlin, 1992

D. Adams,L p potential theory techniques and nonlinear PDE, Potential theory (Nagoya, 1990), 1–15, de Gruyter, Berlin, 1992

work page 1990

[2] [2]

S. S. Antman,Nonlinear problems of elasticity, 2nd edn, Applied Mathematical Sciences, p. 107. Springer, New York, 2005

work page 2005

[3] [3]

Auscher and B

P. Auscher and B. Ben Ali,Maximal inequalities and Riesz transform estimates onL p spaces for Schr¨ odinger operators with nonnegative potentials, Ann. Inst. Fourier57(2007), 1975–2013

work page 2007

[4] [4]

E. B. Davies and A. M. Hinz,Kato class potentials for higher order elliptic operators, J. London Math. Soc. (2)58(1998), no. 3, 669–678

work page 1998

[5] [5]

R. Denk, M. Hieber, and J. Pr¨ uss,R-boundedness, fourier multipliers and problems of elliptic and parabolic type, Memoirs of the American Mathematical Society Volume: 166; 114 pp, 2003

work page 2003

[6] [6]

X. T. Duong and G. Simonett,H ∞−calculus for elliptic operators with nonsmooth coefficients, Differ- ential Integral Equations10(1997), 201–217

work page 1997

[7] [7]

Engel and R

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

work page 2000

[8] [8]

Huang, M

S. Huang, M. Wang, Q. Zheng, and Z. Duan,L p estimates for fractional Schr¨ odinger operators with Kato class potentials, J. Differential Equations265(2018), no. 9, 4181–4212

work page 2018

[9] [9]

Kato,L p-theory of Schr¨ odinger operators with a singular potential, North-Holland Math

T. Kato,L p-theory of Schr¨ odinger operators with a singular potential, North-Holland Math. Stud., 122 Notas Mat., North-Holland Publishing Co., Amsterdam108(1986), 63–78

work page 1986

[10] [10]

Kunstmann and L

P. Kunstmann and L. Weis,MaximalL p-regularity for parabolic equations, Fourier multiplier theorems andH ∞-functional calculus, Lecture Notes in Math., 1855. Springer-Verlag, Berlin, 2004

work page 2004

[11] [11]

Kunze, L

M. Kunze, L. Lorenzi, A. Maichine, and A. Rhandi,L p-Theory for Schr¨ odinger systems, Math. Nachr. 292(2019), no. 8, 1763–1776

work page 2019

[12] [12]

Langer and V

M. Langer and V. Maz’ya,OnL p-contractivity of semigroups generated by linear partial differential operators, Journal of Functional Analysis164(1999), no. 1, 73–109

work page 1999

[13] [13]

Lorenzi and A

L. Lorenzi and A. Rhandi,Semigroups of bounded operators and second-order elliptic and parabolic partial differential equations, Monogr. Res. Notes Math. CRC Press, Boca Raton, FL, 2021

work page 2021

[14] [14]

Lunardi,Analytic semigroups and optimal regularity in parabolic problems, Birkhauser, 1995

A. Lunardi,Analytic semigroups and optimal regularity in parabolic problems, Birkhauser, 1995

work page 1995

[15] [15]

Meleshko,Selected topics in the history of the two-dimensional biharmonic problem, Appl

V.V. Meleshko,Selected topics in the history of the two-dimensional biharmonic problem, Appl. Mech. Rev.56(2003), 33–85

work page 2003

[16] [16]

Metafune, J

G. Metafune, J. Pr¨ uss, R. Schnaubelt, and A. Rhandi,Lp-regularity for elliptic operators with unbounded coefficients, Adv. Differential Equations10(2005), no. 10, 1131–1164

work page 2005

[17] [17]

Monniaux and J

S. Monniaux and J. Pr¨ uss,A theorem of the Dore-Venni type for noncommuting operators, Trans. Amer. Math. Soc.349(1997), no. 12, 4787–4814

work page 1997

[18] [18]

Pr¨ uss and H

J. Pr¨ uss and H. Sohr,On operators with bounded imaginary powers in Banach spaces, Math. Z.203 (1990), no. 3, 429–452

work page 1990

[19] [19]

Shen,L p estimates for Schr¨ odinger operators with certain potentials, Annales de l’Institut Fourier45 (1995), 513–546

Z. Shen,L p estimates for Schr¨ odinger operators with certain potentials, Annales de l’Institut Fourier45 (1995), 513–546. Email address:fgregorio@unisa.it Email address:chiara.spina@unisalento.it Email address:ctacelli@unisa.it

work page 1995