🔢 mathematics

Inverse problems for a nonlinear dynamical Schrödinger operator with magnetic potential

This paper establishes the well-posedness of the forward problem and proves the unique determination of time-dependent magnetic and electric potentials in a nonlinear dynamical Schrödinger operator from both full and partial Dirichlet-to-Neumann data under suitable analyticity assumptions.

Original authors: Mandeep Kumar, Boya Liu, Manmohan Vashisth

Published 2026-06-17

📖 5 min read🧠 Deep dive

CC0 1.0

Original authors: Mandeep Kumar, Boya Liu, Manmohan Vashisth

Original paper dedicated to the public domain under CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are in a dark room filled with invisible, shifting fog. You cannot see the fog, but you can shout into the room and listen to how the sound bounces back. Your goal is to figure out exactly what the fog is made of and how it moves, just by listening to those echoes.

This paper is about solving a similar puzzle, but instead of sound and fog, the scientists are dealing with quantum waves (described by something called the Schrödinger equation) and invisible forces called potentials (magnetic and electric fields).

Here is a breakdown of what the authors did, using simple analogies:

1. The Setup: The "Black Box"

Think of a box (the domain $\Omega$ ) where quantum particles are moving around. Inside this box, there are two invisible things affecting the particles:

The Magnetic Potential ( $A$ ): Like a magnetic wind that pushes the particles sideways.
The Electric Potential ( $q$ ): Like a hill or valley that speeds particles up or slows them down.

The twist in this paper is that these "winds" and "hills" aren't static. They change over time, and they also change depending on how many particles are present (this is the nonlinear part). It's like a wind that gets stronger the more people are running in the park.

2. The Goal: The "Reverse Engineer"

The scientists want to know: Can we figure out exactly what these invisible winds and hills look like inside the box just by measuring what happens at the walls?

They use a tool called the Dirichlet-to-Neumann map.

The Input (Dirichlet): You tap the wall with a specific rhythm (a boundary value).
The Output (Neumann): You measure how the wall vibrates back (the derivative).

The question is: If you tap the wall in every possible way and listen to every possible echo, can you reconstruct the entire invisible landscape inside?

3. The Two Main Discoveries

Discovery A: The Full Map (Full Data)

The authors proved that if you can measure the echoes from every single point on the wall, you can uniquely identify the magnetic and electric forces inside.

The Catch: There is a tiny "trick" in the math. The magnetic wind has a hidden symmetry (like a gauge). You can't tell the difference between two winds if they differ only by a "twist" that doesn't change the overall flow. However, if you assume the "twist" is known (specifically, the divergence of the magnetic field), then the solution is unique.
The Method: They used a technique called linearization. Imagine the complex, shifting fog is actually made of many layers.
1. First, they looked at the "base layer" (what happens when the fog is very thin). This is like solving a simple linear puzzle.
2. Then, they looked at the "second layer" (how the fog reacts when it gets slightly thicker).
3. They kept peeling back layers (higher-order linearization) to reveal the complex, nonlinear parts.
- Analogy: It's like tasting a soup. First, you taste the broth (linear part). Then you taste how the spices interact with the broth (nonlinear part). By tasting carefully, you can figure out the exact recipe.

Discovery B: The Partial Map (Partial Data)

In the real world, you often can't measure the whole wall. Maybe there's a door you can't open, or a sensor is broken.

The Result: The authors proved that even if you can only measure the echoes from a tiny, small patch of the wall, you can still figure out the whole invisible landscape inside.
The Condition: You must already know what the forces look like right next to the wall (the boundary).
The Magic Trick: They used a property called Unique Continuation. Imagine dropping a pebble in a pond. If you see the ripples stop completely in one small area, and you know the physics of the water, you can mathematically prove the water was perfectly still everywhere else, too. They used this logic to "fill in the blanks" from the small patch of data to the whole room.

4. The "Forward" Problem (Making Sure the Puzzle Exists)

Before trying to solve the mystery, you have to make sure the mystery actually exists. You can't reconstruct a room if the physics inside it is broken.

The authors proved that for small enough inputs (small taps on the wall), the quantum waves behave nicely. They don't explode or vanish into nothingness. They proved that a solution exists, it is unique, and it is smooth enough to be measured.

5. How They Did It (The Tools)

To solve these puzzles, the authors used Geometric Optics Solutions.

The Analogy: Imagine shining a very bright, focused laser beam through the fog. The beam travels in a straight line (mostly), but the fog bends it slightly.
By creating mathematical "lasers" that oscillate very fast (high frequency), they could isolate specific parts of the invisible forces.
They sent these "lasers" in, let them bounce off the invisible forces, and analyzed the return signal. By combining many of these laser beams, they could reconstruct the map of the forces.

Summary

In short, this paper says:

Yes, you can uniquely identify complex, changing magnetic and electric forces inside a quantum system just by measuring the system's boundary.
You can do this even if you can only measure a tiny piece of the boundary, provided you know the conditions right at the edge.
They did this by breaking the complex problem into smaller, simpler layers (linearization) and using high-frequency "lasers" (geometric optics) to probe the system.

This is a theoretical math paper. It proves that the "recipe" for these invisible forces can be uniquely determined from the "taste" of the boundary, but it does not discuss building actual medical devices or specific engineering applications based on this. It establishes the mathematical foundation that such a reconstruction is possible.

Technical Summary: Inverse Problems for a Nonlinear Dynamical Schrödinger Operator with Magnetic Potential

Problem Statement
This paper investigates two inverse problems concerning a quasilinear dynamical Schrödinger operator defined on a bounded domain $\Omega \subseteq \mathbb{R}^n$ ( $n \geq 2$ ) over a time interval $(0, T)$ . The operator $L_{A,q}$ incorporates time-dependent magnetic potential $A(t, x, u)$ and electric potential $q(t, x, u)$ , both of which are nonlinear functions of the solution $u$ . Specifically, the potentials satisfy analyticity assumptions, allowing them to be expanded into power series where the coefficients represent higher-order electromagnetic response terms of the medium.

The primary objective is to uniquely recover the nonlinear potentials $A$ and $q$ in the space-time domain $Q \times \mathbb{C}$ from boundary measurements. The study addresses two distinct scenarios:

Full Data Problem: Recovering the potentials using the Dirichlet-to-Neumann (DtN) map $\Lambda_{A,q}$ defined on the entire lateral boundary $\Sigma = (0, T) \times \partial\Omega$ .
Partial Data Problem: Recovering the potentials when the DtN map is measured only on an arbitrarily small open subset $\Gamma \subset \partial\Omega$ , under the assumption that the potentials are already known in a neighborhood of the boundary.

Methodology
The authors employ a combination of well-posedness analysis, geometric optics constructions, and higher-order linearization techniques.

Well-Posedness of the Forward Problem: Before addressing the inverse problems, the paper establishes the well-posedness of the initial-boundary value problem for the nonlinear equation with small Dirichlet data. This is achieved by rewriting the nonlinear problem as a linear operator equation with a source term containing the nonlinearities. Using Faedo-Galerkin approximations, energy estimates, and a fixed-point argument in suitable anisotropic Sobolev spaces ( $H^{m+1, m+2}(Q)$ ), the authors prove the existence and uniqueness of solutions with optimal Sobolev regularity.
Geometric Optics Solutions: A central tool in the proof is the construction of geometric optics solutions for the linearized operator $L_{A_0, q_1}$ (where $A_0$ and $q_1$ are the linear coefficients). These solutions take the form of oscillatory waves with large parameter $\lambda$ , consisting of a principal part (amplitudes satisfying transport equations) and a remainder term.
- For the recovery of linear coefficients ( $A_0, q_1$ ), the remainder is shown to decay in $H^{1,2}(Q)$ .
- For the recovery of higher-order nonlinear coefficients, the authors construct solutions where the remainder decays in higher-order Sobolev spaces $H^{m+1}(Q)$ (with $m > n+1$ ), ensuring the Banach algebra property is preserved during multiplication.
Higher-Order Linearization: The core strategy for handling nonlinearity is the method of higher-order linearization.
- First Order: By differentiating the DtN map with respect to the boundary data parameter $\varepsilon$ at $\varepsilon=0$ , the problem reduces to the inverse problem for the linear Schrödinger operator. This allows the recovery of the background potentials $A_0$ and $q_1$ . Due to the gauge invariance of the linearized DtN map, uniqueness for $A_0$ is established only up to a gradient, necessitating the assumption that $\nabla \cdot A_0$ is known.
- Second and Higher Orders: By applying higher-order derivatives (e.g., $\partial_{\varepsilon_1}\partial_{\varepsilon_2}$ ), the authors derive integral identities involving products of solutions to the linearized equations. Substituting the geometric optics solutions into these identities and taking the limit as $\lambda \to \infty$ isolates the higher-order coefficients ( $A_1, q_2$ , etc.). An inductive argument is then used to recover all higher-order terms uniquely.
Partial Data Reduction: For the partial data problem, the authors utilize a unique continuation property. By assuming the potentials are known near the boundary, they construct a cut-off function to extend the solution from the measured subset to the full domain, effectively reducing the partial data problem to the full data case.

Key Results

Theorem 1.1 (Full Data Uniqueness): Under the assumption that $\nabla \cdot A_0^{(1)} = \nabla \cdot A_0^{(2)}$ in $Q$ and that the potentials coincide on the boundary, the full Dirichlet-to-Neumann map uniquely determines the nonlinear magnetic and electric potentials $A$ and $q$ in $Q \times \mathbb{C}$ .
Theorem 1.2 (Partial Data Uniqueness): If the potentials are known in a neighborhood of the boundary, the DtN map measured on an arbitrarily small open subset of the boundary uniquely determines the potentials in the entire domain.
Well-Posedness (Theorem 3.8): The nonlinear initial-boundary value problem admits a unique solution for sufficiently small boundary data, with the solution possessing optimal Sobolev regularity ( $H^{m+1, m+2}$ ).

Significance and Claims
The paper claims to provide the first results on inverse problems for nonlinear dynamical Schrödinger equations with time-dependent magnetic potentials.

Novelty: Prior literature has largely focused on linear operators or time-independent nonlinearities. This work extends the scope to quasilinear operators with time-dependent coefficients.
Methodological Contribution: The paper demonstrates the efficacy of higher-order linearization combined with high-regularity geometric optics solutions to recover time-dependent nonlinear coefficients. It specifically addresses the technical challenge of ensuring the remainder terms decay sufficiently fast in high-order Sobolev spaces to handle the nonlinear interactions.
Scope: The results are theoretical, establishing uniqueness and well-posedness. The authors do not propose specific experimental setups or numerical algorithms but provide the mathematical foundation for recovering complex, time-varying electromagnetic properties of media from boundary data.

The work builds upon and extends previous studies on linear inverse problems for Schrödinger operators and nonlinear inverse problems for hyperbolic and parabolic equations, utilizing techniques such as geometric optics and unique continuation that are standard in the field but adapted here for the specific structure of the nonlinear dynamical Schrödinger operator.