Exponential stability for the nonlinear Schr\"odinger equation on a star-shaped network

Ahmed Bchatnia; Ka\"is Ammari; Naima Mehenaoui

arxiv: 1907.04950 · v1 · pith:OYCCRCE6new · submitted 2019-07-10 · 🧮 math.AP

Exponential stability for the nonlinear Schr\"odinger equation on a star-shaped network

Ka\"is Ammari , Ahmed Bchatnia , Naima Mehenaoui This is my paper

Pith reviewed 2026-05-24 23:21 UTC · model grok-4.3

classification 🧮 math.AP

keywords exponential stabilitynonlinear Schrödinger equationstar-shaped networklocalized dampingmetric graphsdissipative systems

0 comments

The pith

The nonlinear dissipative Schrödinger equation on a star-shaped network is exponentially stable when damping is localized to one branch and at infinity.

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

The paper shows that solutions of the nonlinear Schrödinger equation with a damping term decay exponentially to equilibrium on a star-shaped metric graph. The damping acts only along one edge of the star together with its extension to infinity, yet this suffices to control the entire network. The result applies to the nonlinear case, where the cubic term is present. A reader would care because it indicates that uniform decay does not require damping distributed over every branch.

Core claim

We prove the exponential stability of the solution of the nonlinear dissipative Schrödinger equation on a star-shaped network and where the damping is localized on one branch and at the infinity.

What carries the argument

The nonlinear Schrödinger equation with localized damping term on a single edge of the star-shaped metric graph.

If this is right

The energy of solutions decays exponentially with a rate independent of the size of the initial data in appropriate function spaces.
The same damping configuration works for both the linear and nonlinear versions of the equation.
Observability inequalities hold on the network despite the partial support of the damping.
The result extends known linear stability statements to the nonlinear regime without requiring stronger damping.

Where Pith is reading between the lines

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

Similar localized damping might stabilize other nonlinear dispersive equations on trees or graphs with finite or infinite edges.
The finding suggests that controllability results on networks can be obtained with actuators supported on a proper subset of the edges.
One could test whether adding a small nonlinear perturbation to the damping term itself still preserves the exponential rate.

Load-bearing premise

Damping placed on one branch plus at infinity produces uniform exponential decay for the nonlinear equation across the whole network.

What would settle it

An explicit solution or numerical computation on the star graph that fails to decay exponentially under this single-branch damping.

read the original abstract

In this paper, we prove the exponential stability of the solution of the nonlinear dissipative Schr\"odinger equation on a star-shaped network and where the damping is localized on one branch and at the infinity.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Standard exponential stability claim for damped nonlinear Schrödinger on a star graph; abstract is clear but proof details are missing so the estimates can't be checked.

read the letter

The paper states that it proves exponential stability for the nonlinear dissipative Schrödinger equation on a star-shaped network when damping is placed on one branch plus at infinity. That is the central claim and the only thing a reader needs to know up front from the abstract alone. The configuration is specific enough that the result is not obviously a direct restatement of earlier theorems on lines or trees. What the work does is apply existing exponential-stability machinery (multipliers, observability) to this geometry and damping pattern. That is a modest but legitimate incremental step inside the subfield of PDEs on metric graphs. The abstract is written plainly and the localization statement is unambiguous. The soft spot is exactly what the abstract leaves out: there is no visible derivation, no estimate on the nonlinearity, and no indication of how the vertex conditions are handled when the damping is absent from most branches. Without those steps it is impossible to tell whether the decay rate is uniform or whether the nonlinearity introduces growth that the localized damping cannot control. The assumption that damping on a single branch plus infinity suffices for the whole star therefore remains untested from the given material. This paper is for people already working on Schrödinger equations or wave equations on networks. A reader who needs a concrete stability theorem for this exact setup would find it useful if the proof closes. It is not foundational and does not reorganize the area, but the claim is well-posed and the geometry is natural, so the manuscript is worth sending to referees who can inspect the estimates.

Referee Report

0 major / 1 minor

Summary. The paper claims to prove exponential stability of solutions to the nonlinear dissipative Schrödinger equation posed on a star-shaped network, with the damping localized to a single branch together with a contribution at infinity.

Significance. If the result holds, it would provide a localized-damping stabilization theorem for a nonlinear dispersive PDE on a metric graph. Such results are of interest in control theory for networks and could serve as a benchmark for observability inequalities on graphs with nonlinear terms. The localization to one edge plus infinity is a strong feature that would distinguish the work from results requiring damping on all edges.

minor comments (1)

The abstract contains a grammatical error (the clause beginning 'and where the damping...').

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for reviewing our manuscript on exponential stability of the nonlinear dissipative Schrödinger equation on a star-shaped network with damping localized on one branch and at infinity. We appreciate the acknowledgment that such a localized-damping result would be of interest in control theory for networks and could serve as a benchmark for observability inequalities on graphs. The 'uncertain' recommendation appears to stem from the absence of detailed comments; we stand by the completeness of the proof as presented in the manuscript.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper's central claim is a proof of exponential stability for a damped nonlinear Schrödinger equation on a star-shaped network. No load-bearing step is visible in the abstract or context that reduces by definition, fitted parameter, or self-citation chain to the input data or assumptions. Standard multiplier or energy methods for network PDE stability are expected to be independent of the target result, so the derivation is self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, ad-hoc axioms, or invented entities; the claim rests on whatever background well-posedness and observability assumptions are standard for dissipative Schrödinger equations on graphs.

axioms (1)

standard math Standard local well-posedness and energy estimates for the nonlinear Schrödinger equation hold on the star-shaped metric graph.
Implicit prerequisite for any stability statement about solutions.

pith-pipeline@v0.9.0 · 5551 in / 1165 out tokens · 24122 ms · 2026-05-24T23:21:16.401578+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We prove the exponential stability of the solution of the nonlinear dissipative Schrödinger equation on a star-shaped network and where the damping is localized on one branch and at the infinity.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The energy identity obtained from (1.1)... Eu(t) = −2∫ a(x)|u1|^2 dx ds + Eu(0)

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.