pith. sign in

arxiv: 2601.01389 · v2 · submitted 2026-01-04 · 🧮 math.AP

Construction of Solutions with Extraordinary Gradient Amplification and Localization for Schr\"odinger Equations

Huaian Diao , Xieling Fan , Hongyu Liu This is my paper

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

classification 🧮 math.AP
keywords Schrödinger equationsgradient amplificationspatial localizationboundary data designdeterministic localizationnonlinear SchrödingerC^{1,1/2} regularityHeisenberg uncertainty
0
0 comments X

The pith

Solutions to Schrödinger-type equations can be constructed so that spatial gradients become arbitrarily large and highly localized near any chosen points just outside a compact support region, for any time interval.

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

The paper shows that for Schrödinger equations, whether linear or nonlinear, one can prescribe smooth initial and boundary data to force the solution gradients to exceed any given size M near chosen boundary points outside the region D where coefficients or nonlinearities are supported. This happens for almost every time in any finite interval [0,T], while the set of points where the gradient is large shrinks in measure as M grows. The local regularity norm just outside D stays much larger than inside D, giving a precise amplification ratio. A reader cares because the construction supplies a fully deterministic mechanism for extreme localization that mirrors effects usually associated with disorder or quantum randomness, while remaining consistent with uncertainty principles at the scale of spatial gradients.

Core claim

For any finite time interval [0,T], any finite collection of distinct points on the boundary of the compact support D of the coefficients, lower-order terms or nonlinearities, and any amplitude threshold M, there exist smooth initial and boundary data such that the resulting solution satisfies |∇u| > M in neighborhoods of those points outside D for almost every t in [0,T], the local C^{1,1/2} norm outside D is at least M/2 times the norm inside D for almost every t, and the measure of the set where |∇u| > M tends to zero as M tends to infinity.

What carries the argument

Carefully designed smooth initial and boundary data that exploits the dispersive structure of the Schrödinger equation to produce controlled gradient amplification and localization outside D.

If this is right

  • The same data-construction procedure works for both linear and nonlinear Schrödinger-type equations in two and three space dimensions.
  • The high-gradient regions become arbitrarily small in measure as the threshold M is increased.
  • The phenomenon supplies a deterministic counterpart to localization effects observed in quantum scattering.
  • The observed localization-amplification trade-off is consistent with the Heisenberg uncertainty principle expressed at the level of localized spatial gradients.

Where Pith is reading between the lines

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

  • Similar data-design techniques might be adapted to produce controlled gradient spikes in other dispersive or hyperbolic equations.
  • The construction could inform boundary-control strategies when one wants to achieve targeted high-gradient behavior near specific locations.
  • Numerical schemes for Schrödinger equations may need safeguards against these possible sharp exterior gradients to maintain stability at high thresholds.

Load-bearing premise

The coefficients, lower-order terms, or nonlinearities must have compact support strictly inside D so that the equation holds inside D while the data design concentrates the large gradients outside.

What would settle it

A numerical solution computed from the constructed data on a fine mesh that shows the gradient failing to exceed M near the prescribed points on a positive-measure set of times would disprove the claim.

Figures

Figures reproduced from arXiv: 2601.01389 by Hongyu Liu, Huaian Diao, Xieling Fan.

Figure 1
Figure 1. Figure 1: Geometric configuration where each external point yi is placed at a uniform distance from its corresponding boundary point xi ∈ ∂D. such that |xi − yi | = 2r0, the balls are mutually disjoint and dist(∂D, Br0 (yi)) > r0 4 , ∀i = 1, 2..., n. Then, there exists an integer M := M(r0) and a smooth function u0 with the following properties: (1) u0 has the form: u0(x, t) = Hg(x) exp(−it), where Hg(x) is a Herglo… view at source ↗
read the original abstract

This paper constructs solutions to linear and nonlinear Schr\"odinger-type equations in two and three spatial dimensions that exhibit prescribed, extraordinary gradient amplification and localization. For any finite time interval $[0,T]$, any prescribed collection of $n\in\mathbb{N}$ distinct points on $\partial D$, where $D$ is the compact support of the anisotropic coefficients, lower-order terms, or nonlinearities, and any amplitude threshold $\mathcal{M}>0$, we show that one can design smooth initial and/or boundary data such that the spatial gradients of the resulting solutions exceed $\mathcal{M}$ in neighborhoods of these points outside $D$ for almost every $t\in[0,T]$. Moreover, the ratio between the local $C^{1,\frac12}$-norm of the solution near each prescribed point outside $D$ and the $C^{1,\frac12}$-norm inside $D$ is bounded from below by $\mathcal{M}/2$ for almost every $t\in[0,T]$. We further prove that the spatial measure of the regions where the gradient magnitude exceeds $\mathcal{M}$ tends to zero as $\mathcal{M}\to\infty$, demonstrating that the amplification phenomenon is highly localized. This effect arises from the structure of the Schr\"odinger-type equation combined with carefully designed input profiles. From a physical perspective, the results provide a deterministic analogue of localization phenomena observed in quantum scattering and Anderson localization. In addition, the observed trade-off between extreme spatial localization and large gradient amplification is fully consistent with the spirit of the Heisenberg uncertainty principle: while the latter is traditionally formulated in a global $L^2$ space--frequency framework, our results offer a complementary deterministic manifestation at the level of localized spatial gradients in Schr\"odinger dynamics.

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

2 major / 2 minor

Summary. The manuscript constructs solutions to linear and nonlinear Schrödinger-type equations in two and three dimensions exhibiting prescribed gradient amplification and localization. For any finite time interval [0,T], any finite collection of distinct points on ∂D (where D is the compact support of the anisotropic coefficients, lower-order terms or nonlinearities), and any amplitude threshold M>0, smooth initial and/or boundary data can be designed so that spatial gradients exceed M in neighborhoods of the prescribed exterior points for almost every t in [0,T], with the local C^{1,1/2} norm ratio (exterior to interior) bounded below by M/2 a.e. t. The measure of the set where |∇u| > M tends to zero as M → ∞. The effect is attributed to the Schrödinger structure and data design, with interpretations linking to quantum localization and the uncertainty principle.

Significance. If the central construction were valid, the result would be significant for providing explicit, deterministic examples of extreme spatial localization paired with arbitrary gradient amplification in Schrödinger dynamics. It would furnish a mathematical analogue to Anderson localization and a localized, deterministic manifestation of uncertainty-principle trade-offs at the level of C^{1,1/2} norms, potentially informing high-frequency analysis and data-driven control of wave equations.

major comments (2)
  1. [Abstract and main construction theorem] The main existence claim (Abstract and the construction in §1–§3): the asserted lower bound of M/2 on the local C^{1,1/2} norm ratio for arbitrarily large M contradicts quantitative unique continuation for the Schrödinger operator. When the coefficients are smooth and compactly supported in D, Carleman estimates yield a ratio bound depending only on T, D and the coefficients, independent of the choice of smooth data. For M larger than twice this constant the required inequality cannot hold, rendering the construction impossible.
  2. [§2] §2 (data design and coefficient assumptions): the construction assumes the PDE holds globally with coefficients of compact support in D, yet the proof sketch does not address how the chosen data evades the uniform bound on exterior-to-interior norms furnished by Carleman estimates. If the coefficients are C^∞, the claimed arbitrary amplification is precluded; the manuscript must either restrict the regularity of the coefficients or derive a new estimate showing the ratio can be made arbitrarily large.
minor comments (2)
  1. [Abstract] Notation inconsistency: the amplitude threshold is denoted both by script M and by M; adopt a single symbol throughout.
  2. [Introduction] The physical interpretation paragraph invokes the Heisenberg uncertainty principle; a brief reference to the precise statement being complemented (e.g., the local version of the uncertainty relation) would improve clarity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the potential inconsistency with quantitative unique continuation. We respond point-by-point to the major comments.

read point-by-point responses

  1. Referee: [Abstract and main construction theorem] The main existence claim (Abstract and the construction in §1–§3): the asserted lower bound of M/2 on the local C^{1,1/2} norm ratio for arbitrarily large M contradicts quantitative unique continuation for the Schrödinger operator. When the coefficients are smooth and compactly supported in D, Carleman estimates yield a ratio bound depending only on T, D and the coefficients, independent of the choice of smooth data. For M larger than twice this constant the required inequality cannot hold, rendering the construction impossible.

    Authors: We agree that standard Carleman estimates for the Schrödinger operator with C^∞ coefficients compactly supported in D would furnish a data-independent bound on the exterior-to-interior C^{1,1/2} ratio, precluding arbitrary amplification. The manuscript states that coefficients have compact support in D but does not explicitly require infinite smoothness. We will revise the abstract, §1–§3 and the main theorem to specify finite regularity (e.g., C^k with k large but finite) on the coefficients, where quantitative unique continuation may fail to give uniform bounds, and adjust the construction to remain consistent with known estimates. revision: yes

  2. Referee: [§2] §2 (data design and coefficient assumptions): the construction assumes the PDE holds globally with coefficients of compact support in D, yet the proof sketch does not address how the chosen data evades the uniform bound on exterior-to-interior norms furnished by Carleman estimates. If the coefficients are C^∞, the claimed arbitrary amplification is precluded; the manuscript must either restrict the regularity of the coefficients or derive a new estimate showing the ratio can be made arbitrarily large.

    Authors: The data-design argument in §2 exploits the Schrödinger structure but indeed omits an explicit comparison with Carleman bounds. We will revise §2 to state the precise regularity assumed on the coefficients and either restrict the result to finite smoothness (where the estimates do not yield a uniform ratio bound) or insert a new subsection deriving why the chosen profiles permit large ratios under the stated assumptions. This will close the gap identified in the proof sketch. revision: yes

Circularity Check

0 steps flagged

No circularity detected in the existence construction

full rationale

The paper claims an existence result by constructing smooth initial/boundary data for Schrödinger-type equations with compactly supported coefficients in D, achieving arbitrary gradient amplification outside D with a prescribed C^{1,1/2} norm ratio. No self-definitional relations, fitted inputs renamed as predictions, or load-bearing self-citations appear in the provided abstract or description; the derivation is presented as a direct design from the PDE structure and data choice. This is self-contained against external benchmarks such as the equation itself, with no reduction of the central claim to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The construction relies on standard PDE existence theory for Schrödinger equations with compactly supported coefficients; no free parameters, new entities, or ad-hoc axioms are introduced in the abstract.

axioms (1)
  • standard math Schrödinger-type equations with smooth data admit solutions whose gradients can be controlled via boundary/initial data design.
    Standard background assumption in the field of PDE analysis for linear and nonlinear Schrödinger equations.

pith-pipeline@v0.9.0 · 5624 in / 1231 out tokens · 31108 ms · 2026-05-16T18:16:29.571795+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

24 extracted references · 24 canonical work pages

  1. [1]

    Abramowitz and I

    M. Abramowitz and I. A. Stegun,Handbook of Mathematical Functions: With Formulas, Graphs, and Mathematical Tables, Dover Publications, New York, 1965

    work page 1965

  2. [2]

    P. W. Anderson, Absence of diffusion in certain random lattices,Physical Review,109(1958), 1492– 1505

    work page 1958

  3. [3]

    C. A. Antonini, Smooth approximation of Lipschitz domains, weak curvatures and isocapacitary es- timates,Calculus of Variations and Partial Differential Equations,63(4) (2024), Paper No. 91, 34 pp

    work page 2024

  4. [4]

    Cazenave,Semilinear Schr¨ odinger Equations, Courant Lecture Notes in Mathematics, vol

    T. Cazenave,Semilinear Schr¨ odinger Equations, Courant Lecture Notes in Mathematics, vol. 10, Courant Institute of Mathematical Sciences / American Mathematical Society, 2003

    work page 2003

  5. [5]

    D. L. Colton and R. Kress,Inverse Acoustic and Electromagnetic Scattering Theory, 4th ed., Vol. 93 of Applied Mathematical Sciences, Springer, 2019

    work page 2019

  6. [6]

    H. L. Cycon, R. G. Froese, W. Kirsch, and B. Simon,Schr¨ odinger Operators: With Application to Quantum Mechanics and Global Geometry, Theoretical and Mathematical Physics, Springer, Berlin, 2009

    work page 2009

  7. [7]

    L. C. Evans,Partial Differential Equations, 2nd ed., Vol. 19 of Graduate Studies in Mathematics, American Mathematical Society, Providence, RI, 2017

    work page 2017

  8. [8]

    Fan, Log–log blow-up solutions blowing up at exactlympoints,Ann

    C. Fan, Log–log blow-up solutions blowing up at exactlympoints,Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire,34(2017), no. 5, 1429–1482

    work page 2017

  9. [9]

    Gilbarg and N

    D. Gilbarg and N. S. Trudinger,Elliptic Partial Differential Equations of Second Order, Springer-Verlag, Berlin, 1977

    work page 1977

  10. [10]

    Ginibre and G

    J. Ginibre and G. Velo, On a class of nonlinear Schr¨ odinger equations. I. The Cauchy problem, general case,Journal of Functional Analysis,32(1979), 1–33

    work page 1979

  11. [11]

    R. T. Glassey, On the blowing up of solutions to the Cauchy problem for nonlinear Schr¨ odinger equa- tions,Journal of Mathematical Physics,18(1977), 1794–1797

    work page 1977

  12. [12]

    Heisenberg, ¨Uber den anschaulichen Inhalt der quantentheoretischen Kinematik und Mechanik, Zeitschrift f¨ ur Physik,43(1927), 172–198

    W. Heisenberg, ¨Uber den anschaulichen Inhalt der quantentheoretischen Kinematik und Mechanik, Zeitschrift f¨ ur Physik,43(1927), 172–198

    work page 1927

  13. [13]

    J. L. Lions and E. Magenes,Non-Homogeneous Boundary Value Problems and Applications, Volume I, translated from the French by P. Kenneth, Springer, 1972. CONSTRUCTION OF CUSTOMIZED SOLUTIONS FOR SCHR ¨ODINGER EQUATIONS 26

    work page 1972

  14. [14]

    Liu and J

    H. Liu and J. Zou, Zeros of the Bessel and spherical Bessel functions and their applications for uniqueness in inverse acoustic obstacle scattering,IMA Journal of Applied Mathematics,72(6) (2007), 817–831

    work page 2007

  15. [15]

    Loh¨ ormander, Inequalities for the associated Legendre functions,Journal of Approximation Theory, 95(2) (1998), 178–193

    G. Loh¨ ormander, Inequalities for the associated Legendre functions,Journal of Approximation Theory, 95(2) (1998), 178–193

    work page 1998

  16. [16]

    Merle, Construction of solutions with exactlykblow-up points for the Schr¨ odinger equation with critical nonlinearity,Communications in Mathematical Physics,129(1990), 223–240

    F. Merle, Construction of solutions with exactlykblow-up points for the Schr¨ odinger equation with critical nonlinearity,Communications in Mathematical Physics,129(1990), 223–240

    work page 1990

  17. [17]

    Reed and B

    M. Reed and B. Simon,Methods of Modern Mathematical Physics, Vol. 3: Scattering Theory, Academic Press, 1979

    work page 1979

  18. [18]

    C. D. Sogge,Lectures on Non-Linear Wave Equations, International Press, Boston, MA, 1995

    work page 1995

  19. [19]

    Sulem and P.-L

    C. Sulem and P.-L. Sulem,The Nonlinear Schr¨ odinger Equation: Self-Focusing and Wave Collapse, Applied Mathematical Sciences, vol. 139, Springer, 1999

    work page 1999

  20. [20]

    Tao,Nonlinear Dispersive Equations: Local and Global Analysis, CBMS Regional Conference Series in Mathematics, vol

    T. Tao,Nonlinear Dispersive Equations: Local and Global Analysis, CBMS Regional Conference Series in Mathematics, vol. 106, American Mathematical Society, 2006

    work page 2006

  21. [21]

    J. R. Taylor,Scattering Theory: The Quantum Theory of Nonrelativistic Collisions, John Wiley & Sons, 1972

    work page 1972

  22. [22]

    Tsutsumi, Nonexistence of global solutions to the Cauchy problem for the damped nonlinear Schr¨ odinger equations,SIAM Journal on Mathematical Analysis,15(1984), no

    M. Tsutsumi, Nonexistence of global solutions to the Cauchy problem for the damped nonlinear Schr¨ odinger equations,SIAM Journal on Mathematical Analysis,15(1984), no. 2

    work page 1984

  23. [23]

    Weck, Approximation by Herglotz wave functions,Mathematical Methods in the Applied Sciences, 27(2) (2004), 155–162

    N. Weck, Approximation by Herglotz wave functions,Mathematical Methods in the Applied Sciences, 27(2) (2004), 155–162

    work page 2004

  24. [24]

    D. R. Yafaev,Mathematical Scattering Theory: General Theory, American Mathematical Society, 1992

    work page 1992