Pith. sign in

REVIEW 2 major objections 3 minor 46 references

Controllable subspaces and real-part observability for Schr\"odinger equations on $\mathbb T^d$

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

Pith's one-line read For Schrödinger equations on tori controlled only through the real part of a forcing term, the initial states that can be driven to zero are exactly those real-orthogonal to the purely imaginary stationary modes.

desk verdict A clean structural answer for real-part controllability on tori, proven self-containedly in the open-set case; the measurable-product case rests on an unproved external multiplier approximation and one wrong conjugate identity. read the letter →

arxiv 2608.04357 v1 pith:DS4IF3A4 submitted 2026-08-05 math.AP math.OC

classification math.APmath.OC MSC 35Q4193B0593B0793C2035B60
keywords Schrödingerequationontorireal-partcontrolscontrollablesubspacenullcontrollabilityobservabilityinequalitystationarymodesmeasurableproductcontrolsetsdoublespectrum
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

For a Schrödinger equation on the $d$-dimensional torus whose control enters only through its real part, full null controllability can fail for a structural reason: the purely imaginary stationary modes of the operator are invisible to the control. The paper proves that this obstruction is the only one. For cylindrical control regions $(0,T)\times E$ with $E$ nonempty and open, and for admissible measurable product regions in the shifted free case, the controllable subspace is exactly the real orthogonal complement of the set of purely imaginary stationary modes, and it does not depend on $T$ or on the particular control region. The proof proceeds by real Hilbert space duality, reducing controllability to observability inequalities for the real part of the Schrödinger flow with a sharp stationary correction term. If the characterization is correct, then whenever the operator has no stationary kernel, or in the shifted free case no stationary Fourier mode, real-part controls already give full null controllability even from arbitrarily small open sets.

What carries the argument

The load-bearing structure is the real Hilbert space structure on $L^2(\mathbb T^d;\mathbb C)$ given by $\langle u,v\rangle_{\mathbb R}=\operatorname{Re}\int u\,\overline v\,dx$. The real-part observation couples the forward and backward Schrödinger evolutions into the double spectrum $\Sigma_c=\{(-\mu_n,n),(\mu_n,n):n\in\mathbb Z^d\}$ with $\mu_n=|n|^2-c$. An admissible measurable product set is a Cartesian product of measurable factors over blocks of variables of size one or two, each factor of positive measure. The duality proposition converts controllability into lower bounds for the real-part observation with the stationary projection as correction term. For open sets the proof combines a high-frequency oscillatory estimate, a compactness–uniqueness argument, and elliptic unique continuation to identify the invisible space with $K_{\mathrm{Im}}$; for admissible measurable product sets, it uses the approximation of the rough indicator by real trigonometric polynomials, product stability under small removals, and non-resonant translations to absorb finitely many low frequencies one at a time.

What would settle it

Exhibit one initial datum $\phi\notin K_{\mathrm{Im}}$ for which $\operatorname{Re}(e^{it(\Delta-V)}\phi)$ vanishes on $(0,T)\times E$; the paper's Lemma 3.7 says no such datum exists, so any example would falsify Theorem 1.1. For the shifted free measurable-product case, the parallel test is to find $\phi\notin (K_c)_{\mathrm{Im}}$ with $\operatorname{Re}(e^{it(\Delta+c)}\phi)=0$ on an admissible product set $G$, which would falsify Theorem 1.2.

Watch

Extended reading notes

Core claim

Let $H=-\Delta+V$ with $V\in C(\mathbb T^d;\mathbb R)$, let $K=\ker H$, and let $K_{\mathrm{Im}}=\{i\operatorname{Im}\phi:\phi\in K\}$. The paper's central claim is that for $G=(0,T)\times E$ with $E\subset\mathbb T^d$ nonempty and open, the set of initial data that can be driven to zero by a real-part control is exactly the real orthogonal complement $K_{\mathrm{Im}}^{\perp_\mathbb R}$, computed with the inner product $\langle u,v\rangle_{\mathbb R}=\operatorname{Re}\int_{\mathbb T^d} u\,\overline v\,dx$. The same conclusion holds for the shifted free operator $-\Delta-c$ when the control set is an admissible measurable product set, with the obstruction generated by the Fourier modes satisfying $|n|^2=c$. The paper expresses this as observability inequalities with stationary correction terms, and proves the correction is optimal: projecting onto any proper real subspace of $K_{\mathrm{Im}}$ would make some nonzero invisible mode uncontrollable.

Load-bearing premise

The load-bearing premise is the imported approximation result used for rough control sets: the characteristic function of the control region can be replaced, up to an arbitrarily small error when applied to Schrödinger solutions, by a real trigonometric polynomial, and this paper relies on that replacement for the measurable-product theorem without proving it here.

Editorial extensions

If this is right

  • If $V\ge 0$ with positive spatial mean, then $K=\{0\}$, so the correction term vanishes and every initial datum is null-controllable with real-part controls.
  • For $V=0$, the only uncontrollable direction is the imaginary part of the spatial average: $X=\{\phi:\operatorname{Im}\int_{\mathbb T^d}\phi\,dx=0\}$.
  • For $V\equiv -c$, full null controllability holds if and only if $c\notin\{|n|^2:n\in\mathbb Z^d\}$, because this is exactly the condition for the stationary Fourier space $K_c$ to be trivial.
  • Within each geometric class, the controllable subspace is independent of the control time and of the particular open or admissible measurable control region.
  • The stationary correction term in the observability inequality cannot be shrunk: every proper real subspace of $K_{\mathrm{Im}}$ leaves some nonzero mode uncontrollable.

Reading between the lines

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

  • A natural extension the paper does not pursue: the same 'purely imaginary stationary modes are the only obstruction' principle should hold for any self-adjoint operator with compact resolvent whose control map is a real-linear projection, which would make the result an abstract theorem about unitary groups rather than a torus-specific one.
  • For the free equation, the single lost direction is the purely imaginary constant, so adding one independent real-valued control channel that moves the imaginary mean would restore full controllability; this is a concrete, testable corollary of the paper's characterization.
  • The double-spectrum mechanism relies on the quadratic dispersion $\mu_n=|n|^2-c$; transferring it to fractional Schrödinger equations with $\mu_n=|n|^s-c$ on tori would predict a stationary obstruction at $|n|^s=c$, which the paper does not address.
  • Because Theorem 1.2 depends on the imported multiplier approximation for rough sets, a computational check of that approximation for simple product sets would show where the measurable-set result can be extended or where it needs a new idea.
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 / 3 minor

Summary. The paper studies the null-controllable subspace of the Schrödinger equation on the torus when the control enters only through its real part. Treating L^2 as a real Hilbert space, it proves that the maximal controllable subspace is the real orthogonal complement of K_Im = {i Im φ : φ ∈ ker(-Δ+V)}: Theorem 1.1 for cylindrical open control sets G=(0,T)×E, and Theorem 1.2 for admissible measurable product sets in the shifted free case V≡-c. The proof reduces controllability to real-part observability inequalities (Propositions 2.1 and 2.2), proves the open-set estimate by a compactness-uniqueness argument (Section 3), and proves the measurable-product estimate through a double-spectrum inequality (Section 4), using Burq-Zhu's complex-valued observability and multiplier approximation results as external inputs. The paper also establishes optimality of the stationary correction term and includes a coercivity lemma for nonnegative potentials in the appendix.

Significance. If the two issues below are resolved, the paper makes a clean and substantial contribution: it gives an explicit, finite-codimensional description of the controllable subspace, independent of the time horizon and of the open control set, and it isolates the purely imaginary stationary modes as the exact obstruction. The real-Hilbert-space duality framework is natural and well executed, and the double-spectrum formalism for the measurable-product case is a promising approach. The open-set theorem is largely self-contained and, after correction of the identity in Eq. (3.9), appears sound. The measurable-product theorem, however, rests on an unproved multiplier approximation imported from preprints, so its status is conditional on that external input.

major comments (2)
  1. [§1.3 and §3.1, Eq. (3.9)] Equation (3.9) states Re(e^{it(Δ-V)}φ) = 1/2(e^{it(Δ-V)}φ + e^{-it(Δ-V)}φ). This is not an identity for complex-valued φ. Since H=-Δ+V has real coefficients, one has \overline{e^{-itH}φ}=e^{itH}\bar φ = e^{-it(Δ-V)}\bar φ, so the second summand should contain \bar φ, not φ. The same incorrect formula appears in Section 1.3. Lemma 3.6 uses (3.9) for φ=(I-Π_N)u_0, which is generally complex, so the proof of the high-frequency real-part estimate is not valid as written. The argument appears repairable: replacing φ by \bar φ in the I_- term preserves the required bound because Π_N commutes with complex conjugation and the estimates depend only on the coefficient moduli. Nevertheless, this is a load-bearing error in the proof of Proposition 3.4 and Theorem 3.1, and it must be corrected.
  2. [§4.1, Proposition 4.4(iii)] Proposition 4.4(iii) is the key multiplier approximation used in Lemma 4.5 and therefore in Theorem 4.3 and Theorem 1.2. The proof of Step 1 merely states that Burq-Zhu's Theorem 1.10, together with estimate (ii), puts χ=1_G in the multiplier-norm closure of trigonometric polynomials; it does not reproduce the exact statement or hypotheses of that theorem, nor the passage to (4.7)-(4.9). Since Lemma 4.5, Lemma 4.9, and Theorem 4.3 all inherit this approximation, Theorem 1.2 has no self-contained proof of its central input. The authors should either state and prove the needed closure result in detail or give a direct proof. If the cited preprints do not establish exactly (4.7), the measurable-product characterization is unsupported.
minor comments (3)
  1. [§4.7, Step 3] The displayed spatial Fourier coefficient of v_{S^c} should be 1/2(a_k e^{-iµ_k t} + \overline{a_{-k}} e^{iµ_k t}); the missing complex conjugation does not change the subsequent ℓ^2 estimate, but the formula as written is not the coefficient of Re(e^{it(Δ+c)}φ).
  2. [§4.1, proof of Proposition 4.4(iii), Step 1] The replacement of ζ_0 by ζ=Re ζ_0 is justified by the pointwise bound |χ-Re ζ_0|=|Re(χ-ζ_0)|≤|χ-ζ_0| because χ is real-valued; this is true, but it should be stated explicitly since the displayed argument only says that the replacement does not increase the error.
  3. [General] The paper would benefit from an explicit statement of which theorem in [14] is used for Proposition 4.4(i) and which theorem in [14] or [15] is used for Proposition 4.4(iii), as the current references are only listed by preprint number.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main theorems are derived from external observability inputs and self-contained duality/compactness arguments, with no fitted parameter renamed as a prediction.

full rationale

The claimed derivation chain is not circular. Theorem 1.1 is reduced in Section 2.2 to the open-set real-part estimate (2.7), which is proved as Theorem 3.1 using Proposition 3.4 (observability up to a compact term) and Lemma 3.7 (unique continuation, N_T = K_Im). These are established in Section 3 from the classical torus observability inequality of Anantharaman–Macià [3], a Weyl-counting dyadic estimate, and elliptic unique continuation [41]; none of these inputs contains the target characterization of the controllable subspace. The stationary obstruction K_Im is defined from ker(-Δ+V) independently of the controllable subspace, and the necessary inclusion X ⊂ K_Im^⊥R follows from Proposition 2.2 by a direct pairing argument, while the sufficient inclusion is proved through the observability estimate. Theorem 1.2 is reduced in Section 2.3 to the measurable-product real-part estimate (2.8), proved in Section 4 via the full-frequency double-spectrum inequality Theorem 4.3. The key external input, Proposition 4.4, is imported from Burq–Zhu [14, 15], who are not authors of this paper and whose results are not equivalent to the paper's conclusion. The paper explicitly marks Proposition 4.4 as an external input ('Proposition 4.4 (External inputs from complex-valued observability)') and then applies it inside its own double-spectrum analysis; the subsequent Lemmas 4.5, 4.8, 4.9 and Theorem 4.3 do the new work. It is a legitimate correctness concern that Proposition 4.4(iii) is not proved in the manuscript and depends on Burq–Zhu preprints, but that is a verification or gap issue, not circularity: the cited theorem is by other authors and is not a rename of the target statement. No parameter is fitted to a subset of data and then presented as a prediction; the only constants are universal estimates depending on d, c, T, E, V, or G. Self-citations in the reference list ([21], [23], [39]) appear only in the related-work discussion and are not load-bearing in the proofs. A score of 0 accordingly reflects that the derivation is self-contained relative to the stated external benchmarks.

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

The central claim rests on standard external results (complex-valued observability, unique continuation, Weyl asymptotics, Turan inequality) and on the stated domain hypotheses. There are no fitted parameters and no invented physical entities. The flagged internal issue is an incorrect complex-conjugate identity in Eq. (3.9); it is a proof error, not an axiom choice.

assumptions (6)
  • standard math Classical complex-valued observability for Schrodinger groups on tori from nonempty open sets
    Invoked in Proposition 3.5 and time-localized in (3.7); supplies the main high-frequency input for the open-set real-part estimate.
  • standard math Burq-Zhu observability and multiplier approximation for admissible measurable product sets in the shifted free case
    Used in Proposition 4.4(i)-(iii) and Lemma 4.5; cited to arXiv:2509.23965 and arXiv:2510.24517. Load-bearing for Theorem 1.2.
  • standard math Elliptic unique continuation for eigenfunctions of a real-coefficient Schrodinger operator vanishing on an open set
    Used in Lemma 3.7 to identify the invisible space N_T with the purely imaginary stationary space K_Im.
  • standard math Weyl eigenvalue counting bound for -Delta+V
    Used in Lemma 3.6 to make the high-frequency cross-term constant decay; see Eq. (3.6).
  • standard math Turan inequality for trigonometric polynomials
    Used in Appendix Lemma 5.1 for the coercivity estimate; supports Corollary 3.2, not the main characterization.
  • domain assumption H=-Delta+V is self-adjoint with real coefficients, V is in C(T^d;R), and the control region has the stated geometric form
    These are the explicit hypotheses of Theorems 1.1 and 1.2, and the proof uses conjugacy invariance and discreteness of the spectrum.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Controllable subspaces and real-part observability for Schr\"odinger equations on $\mathbb T^d$." pith.science (2026). https://pith.science/paper/DS4IF3A4

@misc{pith2026260804357,
  author       = {Pith},
  title        = {Pith review of: Controllable subspaces and real-part observability for Schr\"odinger equations on $\mathbb T^d$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DS4IF3A4}},
  note         = {Machine review of arXiv:2608.04357}
}
read the original abstract

We study internal controllability of Schr\"odinger equations on tori with controls acting only through their real parts. This real-part constraint leads to a real-linear control problem for which full null controllability may fail. We characterize the maximal null-controllable subspace and show that the uncontrollable directions are precisely given by the purely imaginary stationary modes. These results provide an explicit description of controllable and uncontrollable directions for Schr\"odinger equations with real-part controls. The characterization is obtained through observability inequalities with sharp stationary correction terms. For cylindrical open control regions, we prove such an estimate by a real-part compactness--uniqueness argument. For admissible measurable product control regions in the shifted free case, we establish the corresponding estimate for rough spacetime control sets. The proof combines complex-valued observability inputs with a double-spectrum analysis arising from the coupling of the forward and backward Schr\"odinger evolutions in the real-part observation.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

46 extracted references · 44 canonical work pages

  1. [1]

    Alphonse and N

    P. Alphonse and N. Tzvetkov, A smoothing effect for the fractional Schr¨ odinger equations on the circle and observability,Int. Math. Res. Not. IMRN(2025), no. 8, Paper No. rnaf100, 20 pp

  2. [2]

    Ammar-Khodja, A

    F. Ammar-Khodja, A. Benabdallah, M. Gonz´ alez-Burgos, and L. de Teresa, Recent results on the controlla- bility of linear coupled parabolic problems: a survey,Math. Control Relat. Fields1 (2011), no. 3, 267–306

  3. [3]

    Anantharaman and F

    N. Anantharaman and F. Maci` a, Semiclassical measures for the Schr¨ odinger equation on the torus,J. Eur. Math. Soc. (JEMS)16 (2014), no. 6, 1253–1288

  4. [4]

    F. D. Araruna, E. Cerpa, A. Mercado, and M. C. Santos, Internal null controllability of a linear Schr¨ odinger– KdV system on a bounded interval,J. Differential Equations260 (2016), no. 1, 653–687

  5. [5]

    Bardos, G

    C. Bardos, G. Lebeau, and J. Rauch, Sharp sufficient conditions for the observation, control, and stabilization of waves from the boundary,SIAM J. Control Optim.30 (1992), no. 5, 1024–1065. CONTROLLABLE SUBSPACES 43

  6. [6]

    Beauchard and C

    K. Beauchard and C. Laurent, Local controllability of 1D linear and nonlinear Schr¨ odinger equations with bilinear control,J. Math. Pures Appl.94 (2010), no. 5, 520–554

  7. [7]

    Benabdallah, P

    A. Benabdallah, P. Cannarsa, and M. Yamamoto, Null controllability of some systems of parabolic equations by one control force,Rend. Sem. Mat. Univ. Padova121 (2009), 11–32

  8. [8]

    Bonami and B

    A. Bonami and B. Demange, A survey on uncertainty principles related to quadratic forms,Collect. Math. Vol. Extra (2006), 1–36

Show all 46 references
  1. [9]

    Boscain, M

    U. Boscain, M. Caponigro, T. Chambrion, and M. Sigalotti, A weak spectral condition for the controllability of the bilinear Schr¨ odinger equation with application to the control of a rotating planar molecule,Comm. Math. Phys.311 (2012), no. 2, 423–455

  2. [10]

    Bourgain, On the control problem for Schr¨ odinger operators on tori, inGeometric aspects of functional analysis, Springer, Cham, 2014, 97–105

    J. Bourgain, On the control problem for Schr¨ odinger operators on tori, inGeometric aspects of functional analysis, Springer, Cham, 2014, 97–105

  3. [11]

    Bourgain, N

    J. Bourgain, N. Burq, and M. Zworski, Control for Schr¨ odinger operators on 2-tori: rough potentials,J. Eur. Math. Soc. (JEMS)15 (2013), no. 5, 1597–1628

  4. [12]

    Burq and M

    N. Burq and M. Zworski, Control for Schr¨ odinger operators on tori,Math. Res. Lett.19 (2012), no. 2, 309–324

  5. [13]

    Burq and M

    N. Burq and M. Zworski, Rough controls for Schr¨ odinger operators on 2-tori,Ann. Henri Lebesgue2 (2019), 331–347

  6. [14]

    Burq and H

    N. Burq and H. Zhu, Observability of Schr¨ odinger propagators on tori in rough settings, preprint, arXiv:2509.23965 [math.AP], 2025

  7. [15]

    Burq and H

    N. Burq and H. Zhu, Resolvent bounds imply observability from measurable time sets for Schr¨ odinger equa- tions, preprint, arXiv:2510.24517 [math.AP], 2025

  8. [16]

    Chambrion, P

    T. Chambrion, P. Mason, M. Sigalotti, and U. Boscain, Controllability of the discrete-spectrum Schr¨ odinger equation driven by an external field,Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire26 (2009), no. 1, 329–349

  9. [17]

    Coron,Control and nonlinearity, Mathematical Surveys and Monographs, vol

    J.-M. Coron,Control and nonlinearity, Mathematical Surveys and Monographs, vol. 136, American Mathe- matical Society, Providence, RI, 2007

  10. [18]

    Dard´ e and S

    J. Dard´ e and S. Ervedoza, On the reachable set for the one-dimensional heat equation,SIAM J. Control Optim.56 (2018), no. 3, 1692–1715

  11. [19]

    Fern´ andez-Cara, M

    E. Fern´ andez-Cara, M. Gonz´ alez-Burgos, and L. de Teresa, Boundary controllability of parabolic coupled equations,J. Funct. Anal.259 (2010), no. 7, 1720–1758

  12. [20]

    Fontes-Merz, A multidimensional version of Tur´ an’s lemma,J

    N. Fontes-Merz, A multidimensional version of Tur´ an’s lemma,J. Approx. Theory140 (2006), no. 1, 27–30

  13. [21]

    X. Fu, G. Wang, H. Yu, and X. Zhu, Observability from measurable sets for strongly coupled parabolic systems via single-component observation, preprint, arXiv:2604.13599 [math.OC], 2026

  14. [22]

    Guerrero, Null controllability of some systems of two parabolic equations with one control force,SIAM J

    S. Guerrero, Null controllability of some systems of two parabolic equations with one control force,SIAM J. Control Optim.46 (2007), no. 2, 379–394

  15. [23]

    B. H. Haak, P. Jaming, M. Wang, and Y. Wang, Curved Ingham inequalities and observability of the toroidal Schr¨ odinger equation, preprint, arXiv:2603.15193 [math.AP], 2026

  16. [24]

    Haraux, S´ eries lacunaires et contrˆ ole semi-interne des vibrations d’une plaque rectangulaire,J

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

  17. [25]

    Hartmann, K

    A. Hartmann, K. Kellay, and M. Tucsnak, From the reachable space of the heat equation to Hilbert spaces of holomorphic functions,J. Eur. Math. Soc. (JEMS)22 (2020), no. 10, 3417–3440

  18. [26]

    Havin and B

    V. Havin and B. J¨ oricke,The uncertainty principle in harmonic analysis, Ergebnisse der Mathematik und ihrer Grenzgebiete (3), vol. 28, Springer-Verlag, Berlin, 1994

  19. [27]

    Huang and C

    X. Huang and C. D. Sogge, Weyl formulae for Schr¨ odinger operators with critically singular potentials, Comm. Partial Differential Equations46 (2021), no. 11, 2088–2133

  20. [28]

    A. E. Ingham, Some trigonometrical inequalities with applications to the theory of series,Math. Z.41 (1936), 367–379

  21. [29]

    Jaffard, Contrˆ ole interne exact des vibrations d’une plaque rectangulaire,Port

    S. Jaffard, Contrˆ ole interne exact des vibrations d’une plaque rectangulaire,Port. Math.47 (1990), no. 4, 423–429

  22. [30]

    Kahane, Pseudo-p´ eriodicit´ e et s´ eries de Fourier lacunaires,Ann

    J.-P. Kahane, Pseudo-p´ eriodicit´ e et s´ eries de Fourier lacunaires,Ann. Sci.´Ecole Norm. Sup. (3)79 (1962), 93–150

  23. [31]

    Komornik, On the exact internal controllability of a Petrowsky system,J

    V. Komornik, On the exact internal controllability of a Petrowsky system,J. Math. Pures Appl. (9)71 (1992), no. 4, 331–342. 44 GENGSHENG W ANG AND MING W ANG

  24. [32]

    Laurent, Internal control of the Schr¨ odinger equation,Math

    C. Laurent, Internal control of the Schr¨ odinger equation,Math. Control Relat. Fields4 (2014), no. 2, 161–186

  25. [33]

    Le Balc’h and J

    K. Le Balc’h and J. Martin, Observability estimates for the Schr¨ odinger equation in the plane with peri- odic bounded potentials from measurable sets,Ann. Inst. Fourier (Grenoble), to appear. arXiv:2304.08050 [math.AP], 2023

  26. [34]

    Li and J

    X. Li and J. Yong,Optimal Control Theory for Infinite Dimensional Systems, Systems & Control: Founda- tions & Applications, Birkh¨ auser Boston, Boston, MA, 1995

  27. [35]

    Lions,Contrˆ olabilit´ e exacte, perturbations et stabilisation de syst` emes distribu´ es

    J.-L. Lions,Contrˆ olabilit´ e exacte, perturbations et stabilisation de syst` emes distribu´ es. Tome 1: Contrˆ olabilit´ e exacte, Recherches en Math´ ematiques Appliqu´ ees, vol. 8, Masson, Paris, 1988

  28. [36]

    Lissy and E

    P. Lissy and E. Zuazua, Internal observability for coupled systems of linear partial differential equations, SIAM J. Control Optim.57 (2019), no. 2, 832–853

  29. [37]

    X. Liu, Q. L¨ u, and X. Zhang, Finite codimensional controllability and optimal control problems with endpoint state constraints,J. Math. Pures Appl.138 (2020), 164–203

  30. [38]

    Maci` a, High-frequency propagation for the Schr¨ odinger equation on the torus,J

    F. Maci` a, High-frequency propagation for the Schr¨ odinger equation on the torus,J. Funct. Anal.258 (2010), no. 3, 933–955

  31. [39]

    J. Niu, M. Wang, and S. Xiang, The periodic KdV with control on space-time measurable sets,J. Funct. Anal.291 (2026), no. 11, Paper No. 111621

  32. [40]

    Rauch and M

    J. Rauch and M. Taylor, Decay of solutions to nondissipative hyperbolic systems on compact manifolds, Comm. Pure Appl. Math.28 (1975), 501–523

  33. [41]

    Schechter and B

    M. Schechter and B. Simon, Unique continuation for Schr¨ odinger operators with unbounded potentials,J. Math. Anal. Appl.77 (1980), 482–492

  34. [42]

    Tao, Exact control for the Schr¨ odinger equation on the torus from small balls,Pure Appl

    Z. Tao, Exact control for the Schr¨ odinger equation on the torus from small balls,Pure Appl. Anal.3 (2021), no. 2, 387–401

  35. [43]

    T¨ aufer, Controllability of the Schr¨ odinger equation on unbounded domains without geometric control condition,ESAIM Control Optim

    M. T¨ aufer, Controllability of the Schr¨ odinger equation on unbounded domains without geometric control condition,ESAIM Control Optim. Calc. Var.29 (2023), Paper No. 59, 11 pp

  36. [44]

    Tucsnak, Reachable states for infinite-dimensional linear systems: old and new, inProceedings of the International Congress of Mathematicians 2022, Vol

    M. Tucsnak, Reachable states for infinite-dimensional linear systems: old and new, inProceedings of the International Congress of Mathematicians 2022, Vol. 7, EMS Press, 2022, 5374–5395

  37. [45]

    Wunsch, Periodic damping gives polynomial energy decay,Math

    J. Wunsch, Periodic damping gives polynomial energy decay,Math. Res. Lett.24 (2017), no. 2, 571–580

  38. [46]

    Zygmund, A Cantor–Lebesgue theorem for double trigonometric series,Studia Math.43 (1972), 173–178

    A. Zygmund, A Cantor–Lebesgue theorem for double trigonometric series,Studia Math.43 (1972), 173–178. HETAO Institute of Mathematics and Interdisciplinary Studies (Shenzhen), 518017, China Email address:wanggs62@yeah.net School of Mathematics and Statistics, HNP-LAMA, Central ...

Pith tools

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