Inverse problems for semilinear elliptic PDE with a general nonlinearity a(x,u)
Pith reviewed 2026-05-24 04:49 UTC · model grok-4.3
The pith
The full nonlinearity a(x,u) is uniquely determined up to gauge from boundary measurements near a fixed solution.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By constructing a good solution map that locally parametrizes solutions of the nonlinear equation by solutions of the linearized equation, a general nonlinearity a(x,u) is uniquely determined up to gauge near a fixed solution from boundary measurements.
What carries the argument
A good solution map that locally parametrizes nonlinear solutions by linearized solutions.
If this is right
- The full nonlinearity a(x,u) is recoverable rather than only its Taylor expansion in u.
- No sign condition on partial_u a(x,u) is required.
- Uniqueness holds in a neighborhood of a fixed background solution.
- Boundary measurements alone suffice to identify a(x,u) up to gauge.
Where Pith is reading between the lines
- Reconstruction algorithms could be built directly from the solution map without computing higher-order derivatives.
- The same local parametrization idea may apply to inverse problems for other classes of nonlinear elliptic equations.
- Global uniqueness away from a fixed solution or for different boundary conditions remains to be checked.
Load-bearing premise
The existence of a good solution map that locally parametrizes solutions of the nonlinear equation by solutions of the linearized equation.
What would settle it
Two distinct nonlinearities a1(x,u) and a2(x,u) producing identical boundary measurements for every solution near the fixed background solution would disprove the uniqueness claim.
read the original abstract
This article studies the inverse problem of recovering a nonlinearity in an elliptic equation $\Delta u + a(x,u) = 0$ from boundary measurements of solutions. Previous results based on first order linearization achieve this under a sign condition on $\partial_u a(x,u)$, and results based on higher order linearization recover the Taylor series of $a(x,u)$ with respect to $u$. We improve these results and show that a general nonlinearity, and not just its Taylor series, is uniquely determined up to gauge near a fixed solution. Our method is based on constructing a good solution map that locally parametrizes solutions of the nonlinear equation by solutions of the linearized equation.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the inverse problem of recovering a general nonlinearity a(x,u) in the semilinear elliptic equation Δu + a(x,u) = 0 from boundary measurements of solutions. It claims an improvement over prior first-order linearization results (which require a sign condition on ∂_u a) and higher-order results (which recover only the Taylor jet): a general a(x,u) is uniquely determined up to gauge near a fixed solution, via construction of a 'good solution map' that locally parametrizes solutions of the nonlinear equation by solutions of the linearized equation Δv + ∂_u a(x,u)v = 0.
Significance. If the solution-map construction succeeds without a sign condition on ∂_u a and with a range rich enough to probe a(x,u) away from the fixed solution, the result would meaningfully extend the literature on nonlinear inverse problems for elliptic PDEs by recovering the full nonlinearity rather than a jet or under restrictive assumptions.
major comments (2)
- [Abstract (method paragraph) and the section constructing the solution map] The central uniqueness claim for the full a(x,u) (not merely its Taylor series) rests entirely on the existence and properties of the 'good solution map' described in the abstract. The manuscript must explicitly state the hypotheses on a (regularity, growth, absence or presence of sign conditions on ∂_u a) that guarantee this map exists, is C^∞ or sufficiently smooth, and has a range dense enough to determine a(x,u) at points away from the fixed solution; without these, the improvement over first-order linearization cannot be verified.
- [Abstract and the main uniqueness theorem] The abstract states that the map 'locally parametrizes solutions of the nonlinear equation by solutions of the linearized equation,' but provides no quantitative control on the size of the neighborhood or on how the boundary measurements of the nonlinear solutions translate into data for the linearized equation. This step is load-bearing for the gauge-uniqueness statement and requires a precise theorem with all assumptions listed.
minor comments (2)
- [Introduction] Clarify the precise meaning of 'up to gauge' early in the introduction, including the explicit form of the gauge transformation.
- Ensure that all function-space settings (e.g., Sobolev or Hölder spaces for a and for solutions) are stated uniformly in the statements of the main theorems.
Simulated Author's Rebuttal
We thank the referee for the detailed report and constructive suggestions. We agree that the hypotheses and quantitative aspects of the good solution map require explicit statement to support the main claims. We will revise the manuscript to address both major comments.
read point-by-point responses
-
Referee: [Abstract (method paragraph) and the section constructing the solution map] The central uniqueness claim for the full a(x,u) (not merely its Taylor series) rests entirely on the existence and properties of the 'good solution map' described in the abstract. The manuscript must explicitly state the hypotheses on a (regularity, growth, absence or presence of sign conditions on ∂_u a) that guarantee this map exists, is C^∞ or sufficiently smooth, and has a range dense enough to determine a(x,u) at points away from the fixed solution; without these, the improvement over first-order linearization cannot be verified.
Authors: We agree that the hypotheses on a must be stated explicitly. The construction in the paper proceeds under standard assumptions of C^∞ regularity and suitable growth conditions on a, with no sign condition imposed on ∂_u a. In the revised version we will add a precise theorem (or subsection) listing these assumptions, confirming that the map is C^∞, and explaining why the range of the parametrization is rich enough to recover a(x,u) at points away from the fixed solution. This will make the improvement over first-order linearization fully verifiable. revision: yes
-
Referee: [Abstract and the main uniqueness theorem] The abstract states that the map 'locally parametrizes solutions of the nonlinear equation by solutions of the linearized equation,' but provides no quantitative control on the size of the neighborhood or on how the boundary measurements of the nonlinear solutions translate into data for the linearized equation. This step is load-bearing for the gauge-uniqueness statement and requires a precise theorem with all assumptions listed.
Authors: We acknowledge the need for quantitative control and a self-contained theorem statement. The construction yields a C^1 (in fact C^∞) local parametrization whose size is controlled by the C^2 norm of a and the distance to the fixed solution; boundary measurements of nonlinear solutions are transferred to the linearized equation via the implicit-function theorem in appropriate function spaces. In the revision we will state a precise theorem in the main text that collects all assumptions and includes the necessary quantitative estimates (or references to the estimates derived in the construction section). revision: yes
Circularity Check
No circularity; uniqueness follows from explicit construction of solution map
full rationale
The paper's central step is the construction of a 'good solution map' that parametrizes nonlinear solutions locally by linearized ones. This is presented as a mathematical construction within the proof, not a redefinition, fitted parameter, or reduction to self-cited prior results by the same authors. The abstract and description give no equations or steps that equate the target uniqueness result to its inputs by construction. The result is self-contained as a uniqueness theorem in the inverse problem setting, with the map serving as an independent technical ingredient rather than a tautology.
Axiom & Free-Parameter Ledger
Forward citations
Cited by 2 Pith papers
-
Inverse problems for semilinear elliptic equations with low regularity
Uniqueness of a general nonlinearity a(x,u) up to gauge from boundary data for semilinear elliptic equations under low regularity assumptions.
-
Corrosion detection by identification of a nonlinear Robin boundary condition
Local identification of nonlinear Robin term from partial Cauchy data in conductivity equation via linearization and solution parametrization.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.