Quantitative observability for the Schr\"{o}dinger equation with an anharmonic oscillator

Gengsheng Wang; Ming Wang; Shanlin Huang

REVIEW 3 major objections 5 minor 1 cited by

Quantitative observability for the Schr\"{o}dinger equation with an anharmonic oscillator

T0 review · 3 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that for the Schrödinger equation with $H=-\frac{d^2}{dx^2}+|x|$, the half-lines $(0,\infty)$ and $(-\infty,0)$ are not observable sets at any time $T>0$, while any set whose complement is $\alpha$-thin with…

desk verdict Half-lines are not observable for the |x| oscillator: a new and striking phenomenon, proved with an elegant Toeplitz/Szegő argument; the main thing I want checked is the unstated hypotheses in the [28] import. read the letter →

arxiv 2501.01258 v1 pith:XS6FOFKB submitted 2025-01-02 math.AP math.OC

Shanlin Huang , Gengsheng Wang , Ming Wang This is my paper · ORCID

classification math.APmath.OC MSC 93B0735J10

keywords quantitativeobservabilitySchrödingerequationanharmonicoscillatorInghaminequalityToeplitzmatricesAirykernelweaklythicksets

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 studies when a measurable set $E$ can serve as an observation region for the Schrödinger equation driven by the anharmonic oscillator $H=-\frac{d^2}{dx^2}+|x|$. It proves a sufficient condition and a necessary condition: if the complement of $E$ is $\alpha$-thin with $\alpha>\frac12$, then $E$ is observable on arbitrarily short time intervals with an explicit double-exponential cost, while any observable set must be weakly thick. The sharpest result is that the half-lines $(0,\infty)$ and $(-\infty,0)$, though weakly thick and carrying exactly half the $L^2$-mass of every eigenfunction, are not observable sets at any time $T$. This contrasts with the harmonic and superquadratic oscillators $|x|^{2m}$ with $m\ge 1$, where half-lines are observable. A sympathetic reader should care because it shows that for sublinear potentials, observability is controlled by correlations between neighbouring eigenfunctions, not just by their individual masses.

What carries the argument

The load-bearing object is the Gram matrix $A_{E,n}$ whose entries are $\int_E \phi_k(x)\phi_j(x)\,dx$ for eigenfunctions with eigenvalues inside a fixed window around $\lambda_n$. Observability at some time is equivalent to the uniform positivity of the smallest eigenvalue of $A_{E,n}$. For $E=(0,\infty)$, an Airy-kernel identity turns the off-diagonal entries into a Toeplitz matrix with symbol $f(\theta)=\pi$ on $(-\pi/2,\pi/2)$ and $0$ elsewhere; Szegő's limit theorem then forces the smallest eigenvalue to zero. The sufficient direction runs through an Ingham-type spectral inequality built from diagonal lower bounds and off-diagonal upper bounds, a resolvent estimate, a relaxed observability inequality, and a quantitative compactness step that glues together low-frequency and high-frequency estimates.

What would settle it

Compute the smallest eigenvalue of the Gram matrix $A_{E,n}$ for $E=(0,\infty)$ and a fixed window $\varepsilon$, using the Airy-kernel formula for the entries; Theorem 1.4(ii) predicts it tends to $0$ as $n\to\infty$. A positive uniform lower bound would disprove the half-line counterexample. Alternatively, verify numerically that the symbol $f(\theta)$ of the limiting Toeplitz matrix has infimum $0$ on $(-\pi,\pi)$ and that the remainder matrix has operator norm $o(1)$.

Watch

Extended reading notes

Core claim

The central claim is that for $H=-\frac{d^2}{dx^2}+|x|$, the geometry of observable sets lies between two extremes: any set whose complement is $\alpha$-thin with $\alpha>\frac12$ is observable at every time with explicit cost, while every observable set must be weakly thick, and the half-lines are never observable. The proof splits the observation integral over windows of eigenvalues into diagonal and off-diagonal parts. The diagonal part yields a uniform lower bound exactly when $E$ is weakly thick, while the off-diagonal part is controlled by the $\alpha$-thinness of the complement. For the half-line counterexample, the paper computes the off-diagonal Gram matrix $A_{E,n}$ exactly through Airy-kernel integrals, identifies it as a symmetric Toeplitz matrix plus a small perturbation, and applies Szegő's limit theorem to show its smallest eigenvalue tends to zero, violating the uniform positivity required for observability.

Load-bearing premise

The weakest link is the imported equivalence from spectral observability theory: observability at some time is taken to be equivalent to the uniform positivity of the Gram matrices $A_{E,n}$, and the paper applies this to an operator whose eigenvalue gaps $λ_{k+1}-λ_k$ shrink to zero.

Editorial extensions

If this is right

For $H=-\frac{d^2}{dx^2}+|x|$, half-lines are unobservable at every time $T$, unlike the case of $|x|^{2m}$ with $m\ge 1$ where half-lines become observable for large or all times.
Any observable set must be weakly thick; if $E$ is not weakly thick, observability fails.
Sets whose complements are $\alpha$-thin with $\alpha>\frac12$ are observable at any time, with control cost growing like a double exponential in $T^{-1}$ as $T\to 0$.
The sufficiency result survives bounded real perturbations of the potential.
Uniform lower bounds on $\int_E |\phi_k|^2\,dx$ are necessary but not sufficient for observability; off-diagonal eigenfunction interactions can destroy it.

Reading between the lines

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

The paper leaves open whether every thick set, a strictly larger class than complements of $\alpha$-thin sets, is observable; the tools here suggest the threshold may be sharp.
The Toeplitz mechanism offers a template for other sublinear oscillators with vanishing eigenvalue gaps: non-observability can arise from eigenfunction correlations even when each eigenfunction has positive mass on $E$.
The explicit double-exponential control cost is probably not optimal; the resolvent step and the Salem and Nazarov constants are the main sources of the cost.

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.

Desk Editor's Note

read the letter

This paper delivers real news. For H = -d²/dx² + |x|, it shows that the half-lines (0,∞) and (-∞,0) are not observable at any time, even though every eigenfunction splits its mass evenly between the two sides. That is a sharp geometric departure from the m≥1 anharmonic oscillators, and it is exactly the kind of result that reshapes the intuition in this area. The sufficient side (Theorem 1.3, with explicit double-exponential control costs when E^c is α-thin, α>1/2) is also solid new work, built on a genuine Ingham-type spectral inequality.

The highlight is the proof of the half-line counterexample. The authors write the Gram matrices over spectral windows as Toeplitz matrices whose symbol is the indicator of (-π/2,π/2), then apply Szegő's theorem to show the smallest eigenvalue goes to zero. That is clean, memorable, and convincing—provided the equivalence in Proposition 4.1 is valid.

Here is where I want a careful referee. Proposition 4.1 imports [28, Theorem 1.3] in two sentences and never states the hypotheses. The eigenvalues of the |x| oscillator have gaps tending to zero, and the reader (or the stress-test) worries that the theorem might require a uniform spectral gap. My own reading is that the Ramdani–Takahashi–Tenenbaum–Tucsnak result is a general spectral characterization for skew-adjoint diagonal systems with compact resolvent, and it does not need a positive gap; the gap is only used later to reduce to the diagonal condition (1.13). So I suspect the application is correct, but this is load-bearing enough that the paper would be much stronger if Proposition 4.1 either stated the theorem or gave a direct proof of the needed direction. I would ask the authors to add that.

The other issues are minor. In Appendix A, the (ii)⇒(i) part of Lemma 3.2 starts by assuming observability instead of the diagonal bound; the ensuing argument uses only the bound, so it is a fixable misstatement. Lemma 3.4 has a harmless E/E^c typo in (3.9). The sign analysis of Airy values is delicate but looks right.

The paper is honest about its own limits—Fact 3 explicitly acknowledges that (1.13) is strictly weaker than observability for this potential. This is serious work by people who know the area. It deserves a real referee and, with the [28] clarification and the small proof fixes, should be publishable. I would send it to review.

Referee Report

3 major / 5 minor

Summary. The paper studies quantitative observability for the one-dimensional Schrödinger equation with the anharmonic oscillator H = -d^2/dx^2 + |x|. Theorem 1.3 gives a sufficient condition: if the complement of E is α-thin with α > 1/2, then E is observable at any time, with a double-exponential bound on C_obs(T,E) as T → 0. Theorem 1.4 gives complementary necessary information: an observable set at some time must be weakly thick, and the half-lines (0,∞) and (-∞,0) are not observable at any positive time. The proof combines an Ingham-type spectral inequality over eigenvalue windows, a resolvent-based relaxed observability inequality, a Bourgain-Burq-Zworski type compactness-glueing argument, and a Szegő/Toeplitz computation of the Gram matrices on the half-line. The paper also proves robustness of the sufficient condition under L∞ potential perturbations.

Significance. If the main claims hold, the paper gives a fairly complete geometric picture of observability for a subquadratic anharmonic oscillator: the boundary between observable and non-observable sets is drawn by a quantitative thinness condition, and the half-line counterexample is a genuine new phenomenon, different from the m ≥ 1 cases in the authors' earlier work. The explicit T-dependence of C_obs and the use of Szegő's theorem for Toeplitz matrices are valuable and potentially exportable ideas. The derivation is parameter-free and the main theorems are stated with precise constants, which increases the credibility of the results. The robustness under bounded perturbations is also a useful addition. The principal weakness is that a load-bearing spectral characterization is imported from the literature without stated hypotheses, in exactly the spectral regime where the paper's own Fact 2 warns that the standard pointwise-eigenfunction criterion fails.

major comments (3)

[Section 4, Proposition 4.1] Proposition 4.1 is the pivot of Theorem 1.4 and Remark 4.2, but its proof is only a citation: after noting compact resolvent, the paper invokes [28, Theorem 1.3] to equate observability at some time with the uniform positivity of the Gram matrices A_{E,n} over fixed-width windows. The hypotheses of [28, Theorem 1.3] are never stated. This matters because the eigenvalue gaps of H satisfy λ_{k+1}-λ_k → 0 by (2.4), whereas Fact 2 in Section 1.2 invokes [28] only in the regimes (1.11), where gaps are constant or diverge. If [28, Theorem 1.3] requires a uniform spectral gap, the implication (ii)⇒(i) used to rule out half-lines has no rigorous basis. Please either state the theorem and verify its hypotheses for H, or replace the citation with a self-contained proof of both implications in Proposition 4.1.
[Appendix A, Lemma 3.2] The proof of the direction (ii)⇒(i) in Lemma 3.2 does not prove the stated implication. It begins: 'Suppose that E is an observable set at some time T0 > 0', derives (A.17), and then uses (A.17) to prove weak thickness. Equation (A.17) is exactly assertion (ii), so the argument can be repaired by assuming (ii) directly, but as written the lemma is not proven. Since Theorem 1.4(i) uses Lemma 3.2 to pass from the diagonal lower bound (4.3) to weak thickness, this should be corrected in the revision.
[Section 3.2, Lemma 3.6] In the proof of Lemma 3.6, for λ ≫ 1 the inequality (3.19) is obtained by applying Proposition 3.1 to the projection Q_λ onto the eigenspace with |λ_k - λ| < ε λ^{α-1/2}. But Proposition 3.1 is stated for windows J_ε^α(λ_n) centred at an eigenvalue λ_n, not at an arbitrary real λ. A short approximation argument is needed, for example by centring the window at the eigenvalue nearest to λ and enlarging ε by a factor of 2. Without such an argument the resolvent estimate (3.17), which feeds directly into Proposition 3.5 and hence Theorem 1.3, is not fully justified.

minor comments (5)

[Lemma 3.4, around (3.8)-(3.10)] In the sums following (3.8), the term |E ∩ [l-1,l]| should be |E^c ∩ [l-1,l]|; otherwise the α-thin assumption on E^c is not used.
[Section 4.1, around (4.20)-(4.22)] The computation of the Toeplitz symbol has normalization inconsistencies: the expression for F(z) omits the factor 1/π, and the limiting symbol should be 1 on (-π/2,π/2) and 0 elsewhere rather than π on that interval. The infimum is 0 in both normalizations, so the conclusion (4.23) is unaffected, but the displayed formulas should be corrected.
[Proposition 3.5, proof after (3.21)] Lemma 3.6 is applied to ŵ(τ,·), which need not lie in D(H) for a general u0 ∈ L²(R). The argument can be justified by spectral truncation and a limiting procedure; the authors should say this explicitly.
[Appendix B, after (B.2)] The expression 'λ_m T/(10λ_m)' should read 'λ_m T/(10m)', since τ = T/(10m).
[Equation (3.60)] In the factor '(A2m/T)' the exponent m² is missing; it should be '(A2m/T)^{m²}' for consistency with (3.53) and (3.58).

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main theorems are derived from first principles and external analytic tools, with only auxiliary self-citations.

full rationale

Walking the derivation chain: Theorem 1.3 is built from Proposition 3.1 (Ingham-type spectral inequality), Lemma 3.6 (resolvent estimate), Proposition 3.5 (relaxed observability), and the Bourgain-Burq-Zworski quantitative compactness argument. Proposition 3.1 is proved in-paper from Lemma 3.2, Lemma 3.4, and a cardinality bound; Lemma 3.2 is re-proved in Appendix A, importing only [14, Lemma 4.4], a standalone characterization of weak thickness from the authors' prior work that is not equivalent to the observability target. Lemma 3.4 and the Airy identities are external. The explicit control cost in Theorem 1.3 is obtained by explicit Salem, Nazarov, and Vandermonde estimates, not by fitting any parameter. Theorem 1.4(i) follows from Proposition 4.1 plus Lemma 3.2; Theorem 1.4(ii) is an independent computation: the Gram matrices A_{E,n} are dominated by a symmetric Toeplitz matrix whose symbol has infimum 0, so Szegő's theorem (Lemma 2.2) gives lambda_min(A_{E,n}) -> 0. Proposition 4.1's observability/Gram equivalence is imported from the external [28, Theorem 1.3]; whether the hypotheses of that theorem are satisfied when lambda_{k+1}-lambda_k -> 0 is a legitimate correctness concern, not a circularity, because the cited result is external and the paper does not define observability in terms of the Gram condition. No target theorem is assumed, no prediction reduces to a fitted input, and the self-citations to [14] are auxiliary rather than load-bearing.

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

No free parameters or invented entities. The central claim relies on standard spectral theory of the Airy oscillator, classical inequalities, and one imported abstract theorem whose applicability is not fully checked.

assumptions (5)

standard math Spectral asymptotics of H = -d²/dx² + |x|: λ_k = (3π/4 k)^{2/3} + o(k^{2/3}) and π/2 λ_{k+1}^{-1/2} ≤ λ_{k+1} - λ_k ≤ π/2 λ_k^{-1/2}
Used throughout the paper (e.g., (2.3), (2.4), cardinality bound (3.14), Toeplitz asymptotics (4.13)). Cited from [10, Fact 2.7] and standard Airy theory.
standard math Airy function asymptotic expansions and normalization identities (2.8)-(2.15)
Provide the pointwise behavior of eigenfunctions and the Airy kernel integral identities used in Lemma 3.2, Lemma 3.4, and the Toeplitz reduction. Cited from [33] and [31].
standard math Szegő's limit theorem for Hermitian Toeplitz matrices (Lemma 2.2)
Used to show the smallest eigenvalue of the Toeplitz matrix T_n tends to 0 for the step symbol f(θ) = π on (-π/2,π/2) and 0 elsewhere. Cited from [12].
standard math Salem inequality and Nazarov inequality for exponential polynomials (Lemmas 2.3-2.4)
Used in Step 1 of Theorem 1.3 to bound low-frequency observation from below. Cited from [25].
domain assumption Spectral equivalence of observability with a spectral inequality ([28, Theorem 1.3])
Proposition 4.1 rests on this abstract theorem. The paper does not verify that its hypotheses are met for an operator whose eigenvalue gaps tend to zero.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Quantitative observability for the Schr\"{o}dinger equation with an anharmonic oscillator." pith.science (2026). https://pith.science/paper/XS6FOFKB

@misc{pith2026250101258,
  author       = {Pith},
  title        = {Pith review of: Quantitative observability for the Schr\"odinger equation with an anharmonic oscillator},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XS6FOFKB}},
  note         = {Machine review of arXiv:2501.01258}
}

abstract

This paper studies the observability inequalities for the Schr\"{o}dinger equation associated with an anharmonic oscillator $H=-\frac{\d^2}{\d x^2}+|x|$. We build up the observability inequality over an arbitrarily short time interval $(0,T)$, with an explicit expression for the observation constant $C_{obs}$ in terms of $T$, for some observable set that has a different geometric structure compared to those discussed in \cite{HWW}. We obtain the sufficient conditions and the necessary conditions for observable sets, respectively. We also present counterexamples to demonstrate that half-lines are not observable sets, highlighting a major difference in the geometric properties of observable sets compared to those of Schr\"{o}dinger operators $H=-\frac{\d^2}{\d x^2}+|x|^{2m}$ with $m\ge 1$. Our approach is based on the following ingredients: First, the use of an Ingham-type spectral inequality constructed in this paper; second, the adaptation of a quantitative unique compactness argument, inspired by the work of Bourgain-Burq-Zworski \cite{Bour13}; third, the application of the Szeg\"{o}'s limit theorem from the theory of Toeplitz matrices, which provides a new mathematical tool for proving counterexamples of observability inequalities.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

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.

Reference graph

Works this paper leans on

35 extracted references · 34 canonical work pages · cited by 1 Pith paper

[28]

: A spectral approach for the exact ob- servability of inﬁnitedimensional systems with skew-adjo int generator

Ramdani, K., Takahashi, T., Tenenbaum, G., Tucsnak, M. : A spectral approach for the exact ob- servability of inﬁnitedimensional systems with skew-adjo int generator. J. Funct. Anal. 226, 193–229 (2005) 4, 27

work page 2005
[1]

Anantharaman, N., Maci` a, F.: Semiclassical measures f or the Schr¨ odinger equation on the torus. J. Eur . Math. Soc.16, 1253–1288 (2014) 3

work page 2014
[2]

Anantharaman, N., Rivi` ere, G.: Dispersion and control lability for the Schr¨ odinger equation on negatively curved manifolds. Anal. PDE. 5, 313–338 (2012) 3

work page 2012
[3]

Bardos, C., Lebeau, G., Rauch, J.: Sharp su ﬃcient conditions for the observation, control, and stabilization of waves from the boundary. SIAM J. Control Optim. 30, 1024-1065 (1992) 6

work page 1992
[4]

Studia Math

Beauchard, K., Jaming, P ., Pravda-Starov, K.: Spectral inequality for ﬁnite combinations of Hermite functions and null-controllability of hypoelliptic quadr atic equations. Studia Math. 260(1), 1–43 (2021)

work page 2021
[5]

Bourgain, J., Burq, N., Zworski, M.: Control for Schr¨ od inger operators on 2-tori: rough potentials. J. Eur . Math. Soc. 15, 1597–1628 (2013) 1, 3, 6, 18, 26

work page 2013
[6]

Bender,C.M., Wu,T.T.: Anharmonic oscillator. Phys. Rev. 184, 1231–1260 (1969) 3

work page 1969
[7]

Burq, N., Zworski, M.: Geometric control in the presence of a black box. J. Amer . Math. Soc. 17, 443–471 (2004) 6

work page 2004

Show all 35 references

[8]

Chen, P ., Hebisch, W., Sikora, A.: Bochner-Riesz proﬁle of anharmonic oscillator L = − d2 dx2 + |x|. J. Funct. Anal. 271, 3186–3241(2016) 8

2016
[9]

Preprint

Gagnon, L., Hayat, A., Xiang, S., Zhang, C.: Fredholm bac kstepping for critical operators and application to rapid stabilization for the linearized wate r waves. Preprint. arXiv: 2202.08321, to appear in Annales de l’Institut Fourier. 5

arXiv
[10]

Gadzi´ nski, P .: On a semigroup of measures with irregular densities. Colloq. Math. 83 85–99 (2000) 8, 9, 27

2000
[11]

Green, W.: On the energy decay rate of the fractional wav e equation on R with relatively dense damping. Proc. Amer . Math. Soc.148, 4745–4753 (2020) 7

2020
[12]

Second edition

Grenander, U., Szeg¨ o, G.: Toeplitz forms and their applications. Second edition. Chelsea Publishing Co., New Y ork (1984) 11

1984
[13]

Haraux, A.: S´ eries lacunaires et contrˆ ole semi-interne des vibrations d’une plaque rectangulaire. J. Math. Pures Appl. 68, 457–465 (1989) 3

1989
[14]

Huang, S.; Wang, G.; Wang, M.: Observable sets, potenti als and Schr¨ odinger equations. Comm. Math. Phys. 395(3), 1297–1343 (2022) 1, 3, 4, 6, 8, 12, 31, 35 OBSERV ABILITY FOR THE ANHARMONIC OSCILLA TOR 37

2022
[15]

Cambridge University Press, Cambridge (2012) 31

Horn, R., Johnson, C.: Matrix Analysis, second edition . Cambridge University Press, Cambridge (2012) 31

2012
[16]

Ingham, A.: Some trigonometrical inequalities with ap plications in the theory of series. Math. Z. 41, 367–379 (1936) 5, 11

1936
[17]

World Scientiﬁc Publishing Co

Kleinert, H.: Path Integrals in Quantum Mechanics, Sta tistics, Polymer Physics; and Financial Markets. World Scientiﬁc Publishing Co. (2006) 3

2006
[18]

Math., Springer, New Y ork (2005) 5, 11

Komornik, V ., Loreti, P .: Fourier Series in Control Theory, Springer Monogr. Math., Springer, New Y ork (2005) 5, 11

2005
[19]

Portugal

Ja ﬀard, S.: Contrˆ ole interne exact des vibrations d’une plaqu e rectangulaire. Portugal. Math. 47, 423–429 (1990) 3

1990
[20]

Preprin t, arXiv:2304.08050

Le Balc’h, K., Martin, J.: Observability estimates for the Schr¨ odinger equation in the plane with periodic bounded potentials from measurable sets. Preprin t, arXiv:2304.08050. 2

arXiv
[21]

Lebeau, G.: Contrˆ ole de l’´ equation de Schr¨ odinger.J. Math. Pures Appl. 71, 267–291 (1992)

1992
[22]

In Probabilistic methods in geometry, topology and spectral t heory, pp

Maci` a, F., Rivi` ere G.: Observability and quantum lim its for the Schr¨ odinger equation on Sd. In Probabilistic methods in geometry, topology and spectral t heory, pp. 139–153, Contemp. Math. 739, Amer. Math. Soc., Providence, RI (2019) 5

2019
[23]

Martin, J., Pravda-Starov K.: Geometric conditions fo r the exact controllability of fractional free and harmonic Schr¨ odinger equations.J. Evol. Equ. 21 1059–1087 (2021)

2021
[24]

Miller, L.: Controllability cost of conservative syst ems: resolvent condition and transmutation. J. Funct. Anal. 218 425–444 (2005) 6

2005
[25]

L.: Local estimates for exponential polyno mials and their applications to inequalities of the uncertainty principle type

Nazarov, F. L.: Local estimates for exponential polyno mials and their applications to inequalities of the uncertainty principle type. Algebra i Analiz 5, 3-66 (1993) 11

1993
[26]

D.: Observability and control of Schr¨ odinge r equations

Phung, K. D.: Observability and control of Schr¨ odinge r equations. SIAM J. Control Optim. 40, 211–230 (2001) 3, 7

2001
[27]

Preprint, arXiv:2307.00839, to appear in Anal

Prou ﬀ, A.: Observability of the Schr¨ odinger equation with subqu adratic conﬁning potential in the Euclidean space. Preprint, arXiv:2307.00839, to appear in Anal. PDE. 2, 3, 5, 6, 7

arXiv
[29]

Su, P ., Sun C., Y uan, X.: Quantitative observability for one-dimensional Schr¨ odinger equations with potentials. J. Funct. Anal. 288(2), Paper No. 110695 (2025) 2, 3, 5, 6, 7, 24

2025
[30]

ESAIM: COCV 29, 59 (2023)

T¨ aufer, M.: Controllability of the Schr¨ odinger equation on unbounded domains without geometric control condition. ESAIM: COCV 29, 59 (2023). 2

2023
[31]

A., Widom, H.: Level-spacing distributions a nd the Airy kernel

Tracy, C. A., Widom, H.: Level-spacing distributions a nd the Airy kernel. Comm. Math. Phys. 159(1), 151–174 (1994) 10

1994
[32]

Birkh¨ auser Advanced Texts: Basel Textbooks, Birkh¨ auser V erlag, Basel (2009) 8

Tucsnak, M., Weiss, G.: Observation and control for ope rator semigroups. Birkh¨ auser Advanced Texts: Basel Textbooks, Birkh¨ auser V erlag, Basel (2009) 8

2009
[33]

Imperial College Press, London (2010) 3, 8, 9

V all´ ee, O., Soares, M.: Airy functions and applications to physics. Imperial College Press, London (2010) 3, 8, 9

2010
[34]

Wang, Y ., Wang, M.: Observability inequality at two tim e points for the KdV equation from mea- surable sets. J. Math. Anal. Appl. 505(2), Paper No. 125643 (2022) 2

2022
[35]

I and II, Cambr idge Univ

Zygmund A.: Trigonometric Series, V ols. I and II, Cambr idge Univ. Press, New Y ork, (1968) 11 38 S. HUANG, G. W ANG, AND M. W ANG Shanlin Huang School of Ma thema tics(Zhuhai), Sun Ya t-sen University, Zhuhai 519082, Guangdong, China Email address: shanlin huang@hust.edu.cn ...

1968

Pith tools

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

[1] [28]

: A spectral approach for the exact ob- servability of inﬁnitedimensional systems with skew-adjo int generator

Ramdani, K., Takahashi, T., Tenenbaum, G., Tucsnak, M. : A spectral approach for the exact ob- servability of inﬁnitedimensional systems with skew-adjo int generator. J. Funct. Anal. 226, 193–229 (2005) 4, 27

work page 2005

[2] [1]

Anantharaman, N., Maci` a, F.: Semiclassical measures f or the Schr¨ odinger equation on the torus. J. Eur . Math. Soc.16, 1253–1288 (2014) 3

work page 2014

[3] [2]

Anantharaman, N., Rivi` ere, G.: Dispersion and control lability for the Schr¨ odinger equation on negatively curved manifolds. Anal. PDE. 5, 313–338 (2012) 3

work page 2012

[4] [3]

Bardos, C., Lebeau, G., Rauch, J.: Sharp su ﬃcient conditions for the observation, control, and stabilization of waves from the boundary. SIAM J. Control Optim. 30, 1024-1065 (1992) 6

work page 1992

[5] [4]

Studia Math

Beauchard, K., Jaming, P ., Pravda-Starov, K.: Spectral inequality for ﬁnite combinations of Hermite functions and null-controllability of hypoelliptic quadr atic equations. Studia Math. 260(1), 1–43 (2021)

work page 2021

[6] [5]

Bourgain, J., Burq, N., Zworski, M.: Control for Schr¨ od inger operators on 2-tori: rough potentials. J. Eur . Math. Soc. 15, 1597–1628 (2013) 1, 3, 6, 18, 26

work page 2013

[7] [6]

Bender,C.M., Wu,T.T.: Anharmonic oscillator. Phys. Rev. 184, 1231–1260 (1969) 3

work page 1969

[8] [7]

Burq, N., Zworski, M.: Geometric control in the presence of a black box. J. Amer . Math. Soc. 17, 443–471 (2004) 6

work page 2004