Pith. sign in

REVIEW 2 major objections 4 minor 19 references

Solutions with expanding compact support of saturated Schr{\"o}dinger equations: self-similar solutions

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

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

Pith's one-line read This paper proves that the saturated Schrödinger equation admits self-similar solutions whose spatial support is compact for every time and expands with radius growing like $C\sqrt{t}$, even when the forcing profile is not compactly…

desk verdict The saturated-case extension is real, but the key localization step is outsourced to an unverified external theorem; referee it to check. read the letter →

arxiv 2506.04691 v1 pith:CZSSIUPZ submitted 2025-06-05 math.AP

Pascal Bégout (IMT) , Jesus Ildefonso Diaz This is my paper
classification math.AP MSC 35C0635A0135A0235J9135Q55
keywords saturatedSchrödingerequationself-similarsolutionscompactsupportenergymethodnon-LipschitznonlinearityDirichletboundaryconditionNeumannexistenceanduniqueness
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

The paper proves that the saturated nonlinear Schrödinger equation $i\partial_t u+\Delta u = a\,u/|u|+f(t,x)$, whose nonlinearity is the bounded, non-Lipschitz term $u/|u|$, admits self-similar solutions with compact spatial support for every positive time, expanding at the rate $C\sqrt{t}$. The main advance is that the data profile $F=f(1,\cdot)$ need not be compactly supported: it suffices that $F$ be small in $L^2(\mathbb{R}^N)$ and small in $L^\infty$ outside a compact set. This extends earlier compact-support results for the power nonlinearity $|u|^{-(1-m)}u$, $0

What carries the argument

The load-bearing device is the reduction of the evolution equation to a stationary profile equation and then to a simpler elliptic equation. Writing $u(t,x)=t^{p/2}\varphi(x/\sqrt{t})$ with $\operatorname{Re}p=2$ turns (1.2) into the profile equation (1.3), and the change $g(x)=\varphi(x)e^{-i|x|^2/8}$ removes the transport term $x\cdot\nabla\varphi$, producing $-\Delta g+aG+b g+Vg=F_1$ with $b=-i(N+2p)/4$ and $V=-|x|^2/16$. Solutions are first built on the large ball $B(0,R+2\varepsilon)$ with homogeneous Dirichlet data using the existence theory for the stationary equation, and global elliptic regularity places them in $H^2$. Compactness of the support is then extracted from localized energy identities on balls $B(x_0,\rho)$: when $K\cap B(x_0,2\varepsilon)=\emptyset$ and $F$ is small outside $K$, boundary-sphere integrals control the $H^1$ and $L^1$ mass, and the cited localization theorem [7, Theorem 4.1] yields a maximal radius $\rho_{\max}>\varepsilon$ on which $g$ vanishes, so $\operatorname{supp}g\subset K(\varepsilon)$.

What would settle it

Take an admissible data profile $F$ satisfying the theorem's bounds and solve the truncated profile equation on $B(0,R+2\varepsilon)$ with homogeneous Dirichlet data, say numerically with a radial ansatz; if the computed profile has a nonzero tail in $B(0,R+2\varepsilon)\setminus K(\varepsilon)$ while the boundary-sphere contribution in (4.3.6) stays small, then the localization step—and with it Theorem 2.3(1)—would fail. Equivalently, verifying whether the hypotheses of [7, Theorem 4.1] hold for $V=-|x|^2/16$ and tracing the constants would settle the missing link.

Watch

Extended reading notes

Core claim

On its own terms, the central discovery is Theorem 2.3. Under the self-similar ansatz $u(t,x)=t^{p/2}\varphi(x/\sqrt{t})$ with $\operatorname{Re}p=2$, $a\in A=\mathbb{C}\setminus\{z:\operatorname{Re}z\le0,\operatorname{Im}z=0\}$ and $\operatorname{Im}a\le 0$, the saturated equation has a solution whose profile $\varphi$ has support inside the $\varepsilon$-neighborhood of a prescribed compact set $K$, provided the data profile $F=f(1,\cdot)$ satisfies $\|F\|_{L^2}\le\delta$ and $\|F\|_{L^\infty(K^c)}\le 1/M$ for constants depending only on $|a|$, $|\operatorname{Im}p|$, $R$, $N$, and $\varepsilon$. Because $\operatorname{supp}u(t)=\sqrt{t}\,\operatorname{supp}\varphi$, the spatial support is compact for each $t>0$ and grows like $C\sqrt{t}$. The proof uses the gauge transform $g(x)=\varphi(x)e^{-i|x|^2/8}$, which converts the profile equation into an elliptic problem with a quadratic potential, and then localized energy inequalities force $g$ to vanish wherever the forcing is small. A companion uniqueness statement holds when the profiles are supported in a common ball and either $\operatorname{Re}a=0$ or the radius satisfies the explicit bound in condition (2b).

Load-bearing premise

The proof's compact-support step leans on a localization theorem from an earlier paper, cited without restating its hypotheses; if that theorem does not apply to the profile equation with $V=-|x|^2/16$, or if its smallness threshold degenerates, the conclusion that $\operatorname{supp}\varphi\subset K(\varepsilon)$ is not established.

Editorial extensions

If this is right

  • Because $\operatorname{supp}u(t)=\sqrt{t}\,\operatorname{supp}\varphi$, every constructed solution has compact spatial support for each $t>0$, with expansion rate $C\sqrt{t}$.
  • The data profile $F$ may have a tail: only smallness in $L^2(\mathbb{R}^N)$ and smallness in $L^\infty(K^c)$ outside a compact set $K$ are required, and the support stays inside $K(\varepsilon)\subset B(0,R+\varepsilon)$.
  • The constructed solution has regularity $u\in C((0,\infty);H^2(\mathbb{R}^N))\cap C^1((0,\infty);H^1(\mathbb{R}^N))\cap C^2((0,\infty);L^2(\mathbb{R}^N))$.
  • The scaling law forces the $L^q$ norm to vanish at $t=0$: $\|u(t)\|_{L^q}=t^{1+N/(2q)}\|\varphi\|_{L^q}\to0$ as $t\downarrow0$, so a nonzero initial value cannot be attached to the self-similar family.
  • Among self-similar solutions with profiles supported in a common ball, uniqueness holds when $\operatorname{Re}a=0$ or when the ball radius satisfies the explicit bound (2b).

Reading between the lines

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

  • If the cited localization theorem were proved directly for $V=-|x|^2/16$, the constants $\delta$ and $M$ could presumably be made explicit, turning the existence theorem into a quantitative localization estimate.
  • The same self-similar-plus-gauge strategy is likely to produce expanding compact-support solutions for coupled or magnetic variants of the equation, because the saturation term blocks leakage and the forcing only needs to be small at infinity.
  • The $C\sqrt{t}$ expansion law matches parabolic free-boundary estimates, so one might conjecture that the support radius obeys universal upper bounds depending only on data norms, not on the detailed shape of $F$.
  • The uniqueness radius bound suggests a threshold $r^2\le 8\operatorname{Im}p+4|\operatorname{Im}a|(N+4)/\operatorname{Re}a$; probing numerically whether compactly supported self-similar profiles exist beyond that radius could reveal a non-uniqueness transition.
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 / 4 minor

Summary. The paper studies the saturated Schrödinger equation (m=0) i∂_t u + Δu = a u/|u| + f(t,x), with f chosen self-similarly as f(t,x)=t^{(p-2)/2}F(x/√t). It proves the existence of self-similar solutions u(t,x)=t^{p/2}ϕ(x/√t) whose spatial support at each time t>0 is compact and expands with a C√t growth law. The forcing profile F need not be compactly supported; it suffices that F is small in L²(R^N) and small in L∞ outside a compact set K. The proof reduces the profile equation to a stationary elliptic problem via the gauge change g(x)=ϕ(x)e^{-i|x|²/8}, obtains a solution on a large ball B(0,R+2ε) using an existence theorem for complex-coefficient elliptic equations, and then uses an energy-localization argument to show that the profile vanishes outside K(ε). A uniqueness statement for compactly supported self-similar profiles is also proved under either Re(a)=0 or a radius/smallness condition.

Significance. If the result is correct, this is the first existence proof of expanding compact-support self-similar solutions for the saturated (m=0) nonlinear Schrödinger equation with a non-compactly supported but small-at-infinity forcing profile. The gauge transformation and the route through the general elliptic existence theory are natural and the manuscript is clearly organized; the appendix carefully proves the time-regularity of self-similar profiles. The central claim is new and relevant, and the paper gives explicit quantitative smallness thresholds M and δ. However, the decisive zero-propagation step is not self-contained: it invokes the authors' prior [7, Theorem 4.1] without stating the theorem or verifying its hypotheses for the present potential V(x)=-|x|²/16, which is real but negative. Because that step is the only argument establishing compact support of the profile, the main theorem is currently conditional on an external result whose applicability is not demonstrated in the manuscript.

major comments (2)
  1. [§4.3, after Eq. (4.3.6)] The proof of Theorem 2.3(1) states: 'By (3.4) and [7, Theorem 4.1], there exists δ=δ(|a|,|Im(p)|,R,ε,N) such that if ‖F‖_{L²(R^N)}≤δ then ρmax>ε.' This is the only argument that establishes g=0 on B(0,R+2ε)\K(ε), and therefore the entire compact-support conclusion of Theorem 2.3(1) rests on it. The manuscript does not state the hypotheses of [7, Theorem 4.1], nor does it verify that the present equation (4.3.3)—in particular the potential V(x)=-|x|²/16, which is real but negative and unbounded below on R^N—satisfies them. Since the authors emphasize in the introduction that allowing Re(V)<0 is an essential improvement of Theorem 3.4 over [7, Theorem 2.6], it is not clear that the localization theorem of [7] was proved under conditions that include this potential. The authors should either state [7, Theorem 4.1] and check its hypotheses explicitly, or supply a self-contained proof of the localization step.
  2. [§4.3, proof of Theorem 2.3(1)] Even if one grants ρmax>ε for centers x0 satisfying K∩B(x0,2ε)=∅, the deduction 'we then deduce that g=gε=0, a.e. in B(0,R+2ε)\K(ε)' is missing a covering argument. The balls B(x0,ε) with those centers cover points at distance at least 2ε from K, but not the intermediate annulus {ε<dist(·,K)<2ε}. The proof does not explain how the localization is extended to that annulus. This is a separate gap that can likely be repaired by a covering argument, but as written it is not justified.
minor comments (4)
  1. [Theorem 2.3(2b)] The condition is displayed as 'r² ⩽ 8Im(p) + 4 |Im(a)| Re(a) (N + 4)', which is ambiguous and inconsistent with the proof, where the expression (8Im(p) − 4 Im(a)/Re(a)(N+4) − r²) appears. It should be r² ⩽ 8 Im(p) + (4 |Im(a)|/Re(a)) (N+4).
  2. [§4.3, proof of Theorem 2.3(1)] The proof begins 'Let ε∈(0,1)', while Theorem 2.3 states the result for any ε>0. The easy reduction from arbitrary ε to ε<1 should be stated explicitly.
  3. [§4.3, proof of Theorem 2.3(1)] In the inequality 'For M ≥ 2C1...', the symbol appears as 'M /greaterorequalslant2C1' in the text; this is a typesetting artifact that should be corrected to the standard inequality symbol.
  4. [References / §4.3] The proof relies heavily on [7, Theorems 2.8 and 4.1 and Lemmas 6.2–6.5, 6.9] and on [5, Theorem 3.1]. Since the key localization theorem is not stated, the paper would be more self-contained if these results were quoted in the relevant places, at least with precise hypotheses.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the self-similar-to-stationary reduction is an exact identity, and the compactness step rests on prior same-author theorems as external black boxes rather than on a fitted parameter or on the theorem being proved.

full rationale

Walking the derivation chain of Theorem 2.3, the main reduction is algebraic: the change of unknowns (2.7) maps the self-similar profile equation (1.3) exactly onto the stationary equation (1.4), and the scaling identity (2.5) gives supp u(t) = sqrt(t) supp phi. Existence of the profile is obtained by solving (4.3.3) on a bounded ball via Theorem 3.4 and extending by zero. The compact-support conclusion is the only delicate step: the paper invokes 'By (3.4) and [7, Theorem 4.1], there exists delta... such that if ||F||_{L^2} <= delta then rho_max > epsilon' without deriving the implication or restating the hypotheses of [7, Theorem 4.1]. This is a load-bearing citation to the authors' own prior theorem, and applicability to V(x) = -|x|^2/16, which is negative and unbounded below, is not checked in the text. However, this is a verification gap, not circularity: [7, Theorem 4.1] is a prior external result that is not shown to contain the target self-similar m = 0 theorem, and no parameter is fitted to the quantity being predicted. The uniqueness part similarly applies [7, Theorem 2.8] after an explicit verification of Re(a/b) + Re(aV) >= 0. Thus no step reduces by construction to its own input.

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

The central claim is an existence theorem for a special class of self-similar solutions. The proof rests on standard functional analysis, elliptic regularity, and on the authors' own energy-localization theorems. No parameters are fitted to data; the constants M and δ are existential and depend on the coefficient data and on the chosen support parameters R, ε. No new physical entities are introduced; the saturated section U is a standard device from previous work.

free parameters (2)
  • δ (L² smallness threshold)
    Existential constant in Theorem 2.3(1). The proof asserts that there is δ = δ(|a|,|Im(p)|,R,ε,N) such that ‖F‖_{L²} ≤ δ forces ρmax > ε, but gives no quantitative value. The theorem applies only to forcing profiles below this implicit threshold.
  • M (L∞ smallness bound)
    Existential constant satisfying M ≥ max(2C1,|a|^{-1}) where C1 = C1(|a|,|Im(p)|,R,N). It controls both the energy inequality (4.3.6) and the boundedness of the saturated section G = -(1/a)F e^{-i|x|²/8} outside the ball.
assumptions (6)
  • domain assumption Self-similar ansatz: u(t,x)=t^{p/2}φ(x/√t) with Re(p)=2, requiring forcing of the form f(t,x)=t^{(p-2)/2}F(x/√t).
    Section 2, equations (2.3)-(2.6). The entire theorem addresses only self-similar solutions, not general solutions of the Cauchy problem.
  • domain assumption Coefficient condition a ∈ A and Im(a) ≤ 0; a is not a nonpositive real number.
    Theorem 2.3 and Remark 2.7. Used to obtain energy estimates with the sign of Im(a) and to ensure the uniqueness condition Re(a\bar{b}) + Re(aV) > 0.
  • standard math Poincaré's inequality (4.15) with constant C_P = C_P(|Ω|,N).
    Used in Lemmas 4.1.1-4.1.3 and 4.2.1 for a priori bounds on bounded domains.
  • standard math Interior and global elliptic regularity: Δg ∈ L²_loc implies g ∈ H²_loc (Cazenave [11, Prop 4.1.2]); Dirichlet problem on a ball gives H² regularity (Gilbarg-Trudinger [16, Thm 8.12]).
    Used in Remark 2.5(3) and in the proof of Theorem 2.3 to justify that the profile is in H²(R^N).
  • ad hoc to paper Energy-localization theorems from the authors' prior papers: [5, Theorem 3.1] (energy identity (4.3.4)-(4.3.5)) and [7, Theorem 4.1] (zero propagation: existence of ρmax > ε).
    Invoked in the proof of Theorem 2.3, Subsection 4.3. These results supply the mechanism that forces the solution to vanish away from K; they are not proved in this paper.
  • ad hoc to paper Approximation and convergence lemmas for the regularized nonlinearity: [7, Lemmas 6.2, 6.3, 6.5, 6.9].
    Used in the proofs of Theorems 3.2 and 3.4 to pass from the truncated problems (4.5)-(4.6) to solutions of (1.5).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Solutions with expanding compact support of saturated Schr{\"o}dinger equations: self-similar solutions." pith.science (2026). https://pith.science/paper/CZSSIUPZ

@misc{pith2026250604691,
  author       = {Pith},
  title        = {Pith review of: Solutions with expanding compact support of saturated Schr\"odinger equations: self-similar solutions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CZSSIUPZ}},
  note         = {Machine review of arXiv:2506.04691}
}
abstract

We prove the existence of solutions \(u(t,x)\) of the Schr{\"o}dinger equation with a saturation nonlinear term \((u/|u|)\) having compact support, for each \(t>0,\) that expands with a growth law of the type \(C\sqrt{t}\). The primary tool is considering the self-similar solution of the associated equation. For more information see https://ejde.math.txstate.edu/Volumes/2025/53/abstr.html

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

19 extracted references · 16 canonical work pages

  1. [4]

    B´ egout and J

    P. B´ egout and J. I. D ´ ıaz. Self-similar solutions with compactly supported profile of some nonlinear Schr¨ odinger equations.Electron. J. Differential Equations , No. 90, pp. 1–15, 2014

    work page 2014

  2. [7]

    B´ egout and J

    P. B´ egout and J. I. D ´ ıaz. On the compactness of the support of solitary waves of the complex saturated nonlinear Schr¨ odinger equation and related problems. Phys. D , 472:Paper No. 134516, 2025

    work page 2025

  3. [1]

    Antontsev, J.-P

    S. Antontsev, J.-P. Dias, and M. Figueira. Complex Ginzburg-Lan dau equation with absorption: existence, uniqueness and localization properties. J. Math. Fluid Mech. , 16(2):211–223, 2014

    2014

  4. [2]

    S. N. Antontsev, J. I. D ´ ıaz, and S. Shmarev. Energy methods for free boundary problems: Ap- plications to nonlinear PDEs and fluid mechanics . Progress in Nonlinear Differential Equations and their Applications, 48. Birkh¨ auser Boston Inc., Boston, MA, 2 002

    work page

  5. [3]

    B´ egout

    P. B´ egout. The dual space of a complex Banach space restrict ed to the field of real numbers. Adv. Math. Sci. Appl. , 31(2):241–252, 2022

    2022

  6. [5]

    B´ egout and J

    P. B´ egout and J. I. D ´ ıaz. A sharper energy method for the loc alization of the support to some stationary Schr¨ odinger equations with a singular nonlinearity. Discrete Contin. Dyn. Syst. , 34(9):3371–3382, 2014

    work page 2014

  7. [6]

    B´ egout and J

    P. B´ egout and J. I. D ´ ıaz. Existence of weak solutions to some s tationary Schr¨ odinger equations with singular nonlinearity. Rev. R. Acad. Cienc. Exactas F ´ ıs. Nat. Ser. A Math. RACSAM , 109(1):43–63, 2015

    work page 2015

  8. [8]

    Bergh and J

    J. Bergh and J. L¨ ofstr¨ om.Interpolation spaces. An introduction . Springer-Verlag, Berlin, 1976. Grundlehren der Mathematischen Wissenschaften, No. 223

    1976

Show all 19 references
  1. [9]

    Bourgain

    J. Bourgain. On the compactness of the support of solutions of dispersive equations. Internat. Math. Res. Notices , (9):437–447, 1997

    1997

  2. [10]

    Brezis and A

    H. Brezis and A. Friedman. Estimates on the support of solution s of parabolic variational in- equalities. Illinois J. Math. , 20(1):82–97, 1976

    1976

  3. [11]

    Cazenave

    T. Cazenave. An introduction to semilinear elliptic equations . Editora do Instituto de Matem´ atica, Universidade Federal do Rio de Janeiro, Rio de Janeiro , 2006

    2006

  4. [12]

    J. I. D ´ ıaz. Estimates of the location of a free boundary for th e obstacle and Stefan problems obtained by means of some energy methods. Georgian Math. J. , 15(3):475–484, 2008

    2008

  5. [13]

    J. I. D ´ ıaz. On the ambiguous treatment of the Schr¨ odinger e quation for the infinite potential well and an alternative via flat solutions: the one-dimensional case. Interfaces Free Bound. , 17(3):333–351, 2015. 20

    2015

  6. [14]

    J. I. D ´ ıaz, D. G´ omez-Castro, J. M. Rakotoson, and R. Tema m. Linear diffusion with singular absorption potential and/or unbounded convective flow: the weig hted space approach. Discrete Contin. Dyn. Syst. , 38(2):509–546, 2018

    2018

  7. [15]

    G. Gamow. Zur Quantentheorie des Atomkernes. Zeitschrift f¨ ur Physik, 51(3):204–212, 1928

    1928

  8. [16]

    Gilbarg and N

    D. Gilbarg and N. S. Trudinger. Elliptic partial differential equations of second order . Classics in Mathematics. Springer-Verlag, Berlin, 2001. Reprint of the 1998 edition

    2001

  9. [17]

    N. F. Mott. An outline of wave mechanics . Cambridge University Press, Cambridge, 1930

    1930

  10. [18]

    P¨ oschl and E

    G. P¨ oschl and E. Teller. Bemerkungen zur Quantenmechanik d es anharmonischen Oszillators. Zeitschrift f¨ ur Physik, 83(3):143–151, 1933

    1933

  11. [19]

    Tr` eves

    F. Tr` eves. Topological vector spaces, distributions and kernels . Dover Publications Inc., Mineola, NY, 2006. Unabridged republication of the 1967 original. 21

    2006

Pith tools

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