pith. sign in

arxiv: 2603.14194 · v2 · submitted 2026-03-15 · 🧮 math.AP

Inverse boundary value problems of determining nonlinear coefficients for the JMGT equation

Dong Qiu , Xiang Xu , Yeqiong Ye , Ting Zhou This is my paper

Pith reviewed 2026-05-15 12:10 UTC · model grok-4.3

classification 🧮 math.AP MSC 35R30
keywords inverse boundary problemsJMGT equationnonlinear coefficientsDirichlet-to-Neumann mapgeodesic ray transformsuniquenessnonlinear acousticsWestervelt model
0
0 comments X

The pith

The Dirichlet-to-Neumann map uniquely determines nonlinear coefficients in the JMGT equation when observation time exceeds maximal geodesic travel time.

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

The paper establishes uniqueness for recovering the nonlinear coefficient beta from boundary Dirichlet-to-Neumann data in the Westervelt-type JMGT model, and the pair (beta, kappa) in the Kuznetsov-type model. This holds provided measurements continue long enough to exceed the longest boundary-to-boundary geodesic travel time, both in Euclidean space and on Riemannian manifolds whose geometry makes the relevant ray transforms injective. The argument proceeds by second-order linearization of the map, followed by construction of geometric optics and Gaussian beam solutions that convert the nonlinear uniqueness question into an injectivity statement for geodesic ray transforms. A reader cares because the result supplies a mathematical route to identifying material nonlinearities in acoustic models from surface-only observations.

Core claim

We consider inverse boundary value problems for the Jordan-Moore-Gibson-Thompson equation in nonlinear acoustics with quadratic nonlinearities of Kuznetsov-type and Westervelt-type. We show that the associated boundary Dirichlet-to-Neumann map uniquely determines the nonlinear coefficients beta in the Westervelt-type model, and the pair (beta, kappa) in the Kuznetsov-type model, provided that the observation time is greater than the maximal boundary-to-boundary geodesic travel time. The results are obtained in both the Euclidean setting and on compact Riemannian manifolds with proper geometric assumptions. The proof is based on the idea of second order linearization combined with the建设 of ге

What carries the argument

Second-order linearization of the Dirichlet-to-Neumann map together with geometric optics and Gaussian beam solutions that reduce the inverse problem to injectivity of associated geodesic ray transforms.

If this is right

  • Nonlinear coefficients beta and kappa are uniquely recoverable from boundary measurements alone under the stated time condition.
  • The same uniqueness holds on Riemannian manifolds whose geodesic geometry satisfies the injectivity assumption for ray transforms.
  • The nonlinear inverse problem reduces directly to known linear results on geodesic ray transforms.
  • The method applies uniformly to both Westervelt-type and Kuznetsov-type quadratic nonlinearities in the JMGT equation.

Where Pith is reading between the lines

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

  • Numerical reconstruction schemes could be built by adapting existing methods for linear geodesic ray transforms to the linearized data.
  • The technique may extend to other nonlinear wave models arising in medical ultrasound or seismic imaging.
  • If the time condition is violated, interior regions remain unprobed and non-uniqueness becomes possible.
  • Stability estimates quantifying how small changes in the map affect the recovered coefficients would strengthen practical use.

Load-bearing premise

Observation time exceeds the longest boundary-to-boundary geodesic travel time and the manifold geometry guarantees injectivity of the geodesic ray transforms.

What would settle it

Two distinct pairs of nonlinear coefficients that generate identical Dirichlet-to-Neumann maps for all admissible boundary inputs when the observation time is longer than the maximal geodesic travel time.

read the original abstract

We consider inverse boundary value problems for the Jordan-Moore-Gibson-Thompson (JMGT) equation in nonlinear acoustics with quadratic nonlinearities of Kuznetsov-type and Westervelt-type. We show that the associated boundary Dirichlet-to-Neumann map uniquely determines the nonlinear coefficients $\beta$ in the Westervelt-type model, and the pair $(\beta,\kappa)$ in the Kuznetsov-type model, provided that the observation time is greater than the maximal boundary-to-boundary geodesic travel time. The results are obtained in both the Euclidean setting and on compact Riemannian manifolds with proper geometric assumptions. The proof is based on the idea of second order linearization combined with the construction of geometric optics and Gaussian beam solutions, reducing the inverse problem of uniqueness to the injectivity of associated geodesic ray transforms.

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 paper establishes uniqueness results for inverse boundary value problems for the Jordan-Moore-Gibson-Thompson (JMGT) equation with quadratic nonlinearities of Westervelt and Kuznetsov types. It shows that the boundary Dirichlet-to-Neumann map uniquely determines the nonlinear coefficient β in the Westervelt model and the pair (β, κ) in the Kuznetsov model, provided the observation time exceeds the maximal boundary-to-boundary geodesic travel time. The results hold in Euclidean space and on compact Riemannian manifolds under suitable geometric assumptions. The proof proceeds via second-order linearization, construction of geometric optics and Gaussian beam solutions, and reduction of the problem to injectivity of the associated geodesic ray transforms.

Significance. If the constructions and estimates are verified, the work extends standard linearization techniques for nonlinear hyperbolic inverse problems to the JMGT model in nonlinear acoustics. It provides a theoretical basis for recovering nonlinear coefficients from boundary measurements, building on established geometric optics methods and known injectivity results for ray transforms. This strengthens the literature on inverse problems for nonlinear wave equations with potential relevance to applications involving nonlinear propagation.

major comments (2)
  1. [§4] §4, the second-order linearization step: the remainder term arising from the quadratic nonlinearity must be shown to be o(ε²) in the appropriate norm after integration against the test solution; without explicit bounds on this remainder (depending on the observation time T), the leading-order integral identity along geodesics is not rigorously justified.
  2. [Theorem 1.1 and Theorem 1.2] Theorem 1.1 (Westervelt case) and Theorem 1.2 (Kuznetsov case): the reduction to the geodesic ray transform assumes the nonlinear source is supported in a region where the geometric optics solutions are valid; the paper needs to verify that the cutoff functions and the time condition T > max travel time together ensure the entire geodesic segment is covered without boundary interference.
minor comments (2)
  1. [§2] The notation for the Dirichlet-to-Neumann map should explicitly state the Sobolev regularity of the boundary data and the precise time interval of observation.
  2. [Introduction] A few typographical inconsistencies appear in the statement of the geometric assumptions on the manifold (e.g., the precise meaning of 'proper geometric assumptions' for ray-transform injectivity).

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the major comments point by point below and will revise the paper to strengthen the rigor of the arguments as suggested.

read point-by-point responses

  1. Referee: [§4] §4, the second-order linearization step: the remainder term arising from the quadratic nonlinearity must be shown to be o(ε²) in the appropriate norm after integration against the test solution; without explicit bounds on this remainder (depending on the observation time T), the leading-order integral identity along geodesics is not rigorously justified.

    Authors: We agree that explicit bounds on the remainder are needed for full rigor. In the revised manuscript we will add a new lemma in Section 4 deriving the o(ε²) estimate in the appropriate Sobolev norm after integration against the test solution. The bound will be obtained from the local well-posedness theory for the JMGT equation together with standard energy estimates that explicitly track the dependence on the observation time T. revision: yes

  2. Referee: [Theorem 1.1 and Theorem 1.2] Theorem 1.1 (Westervelt case) and Theorem 1.2 (Kuznetsov case): the reduction to the geodesic ray transform assumes the nonlinear source is supported in a region where the geometric optics solutions are valid; the paper needs to verify that the cutoff functions and the time condition T > max travel time together ensure the entire geodesic segment is covered without boundary interference.

    Authors: We thank the referee for highlighting this point. The cutoff functions are chosen with support strictly inside the domain, and the condition T larger than the maximal boundary-to-boundary travel time guarantees that every relevant geodesic segment lies entirely within the observation interval. In the revised version we will insert a short clarifying paragraph (or lemma) immediately before the reduction step in the proofs of Theorems 1.1 and 1.2 to verify explicitly that these choices prevent boundary interference and keep the nonlinear source inside the region where the geometric optics solutions remain valid. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation proceeds by second-order linearization of the nonlinear JMGT equation to produce a linear source term, followed by construction of geometric optics and Gaussian beam solutions whose integrals recover the coefficients via the Dirichlet-to-Neumann map. Uniqueness then reduces to injectivity of the associated geodesic ray transforms, which is invoked under explicit geometric assumptions on the manifold (e.g., no conjugate points or strict convexity) and treated as an independent fact from Riemannian geometry rather than derived from the target nonlinear coefficients β or κ. No self-definitional loops, fitted inputs renamed as predictions, or load-bearing self-citations appear in the reduction; the central claim remains externally falsifiable via the stated geometric conditions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the existence of suitable solutions to the forward JMGT problem, the validity of second-order linearization, and the injectivity of geodesic ray transforms under the stated geometric assumptions.

axioms (2)
  • domain assumption The JMGT equation with the given quadratic nonlinearities admits sufficiently regular solutions so that the Dirichlet-to-Neumann map is well-defined
    Required to formulate the inverse problem and apply linearization.
  • domain assumption Geometric optics and Gaussian beam solutions can be constructed for the linearized JMGT operator
    Central to reducing the inverse problem to ray-transform injectivity.

pith-pipeline@v0.9.0 · 5432 in / 1328 out tokens · 47264 ms · 2026-05-15T12:10:32.187438+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.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Gauge symmetry and uniqueness in inverse problems for the JMGT equation

    math.AP 2026-04 unverdicted novelty 6.0

    The nonlinear coefficient β in the JMGT equation is uniquely determined from boundary measurements, while α, q, and F are recovered up to gauge symmetry.

  2. An inverse problem for compressible Euler's equations

    math.AP 2026-04 unverdicted novelty 5.0

    Active measurements near a particle trajectory determine the background flow in the pressure-wave reachable set for polytropic compressible Euler equations assuming nonzero vorticity.

Reference graph

Works this paper leans on

39 extracted references · 39 canonical work pages · cited by 2 Pith papers

  1. [1]

    Sebastian Acosta and Benjamin Palacios,Simultaneous determination of wave speed, diffusivity and nonlinearity in the Westervelt equation using complex time-periodic solutions, SIAM Journal on Applied Mathematics86(2026), no. 1, 1–20

    work page 2026

  2. [2]

    2, 408–426

    Sebastian Acosta, Gunther Uhlmann, and Jian Zhai,Nonlinear ultrasound imaging modeled by a West- ervelt equation, SIAM Journal on Applied Mathematics82(2022), no. 2, 408–426

    work page 2022

  3. [3]

    4, 953–981

    Gang Bao and Hai Zhang,Sensitivity analysis of an inverse problem for the wave equation with caustics, Journal of the American Mathematical Society27(2014), no. 4, 953–981

    work page 2014

  4. [4]

    Yvonne Choquet-Bruhat,General relativity and the Einstein equations, Oxford mathematical mono- graphs, Oxford University Press, 2009

    work page 2009

  5. [5]

    11, 2579–2626

    David Dos Santos Ferreira, Yaroslav Kurylev, Matti Lassas, and Mikko Salo,The Calderón problem in transversally anisotropic geometries, Journal of the European Mathematical Society18(2016), no. 11, 2579–2626

    work page 2016

  6. [6]

    3, 1107–1143

    Ali Feizmohammadi, Joonas Ilmavirta, Yavar Kian, and Lauri Oksanen,Recovery of time-dependent coefficients from boundary data for hyperbolic equations, Journal of Spectral Theory11(2021), no. 3, 1107–1143

    work page 2021

  7. [7]

    6, 4683–4719

    Ali Feizmohammadi and Lauri Oksanen,An inverse problem for a semi-linear elliptic equation in Rie- mannian geometries, Journal of Differential Equations269(2020), no. 6, 4683–4719

    work page 2020

  8. [8]

    2, 367–393

    Ali Feizmohammadi and Lauri Oksanen,Recovery of zeroth order coefficients in non-linear wave equa- tions, Journal of the Institute of Mathematics of Jussieu21(2022), no. 2, 367–393

    work page 2022

  9. [9]

    7, 075001

    Song-Ren Fu, Peng-Fei Yao, and Yongyi Yu,Inverse problem of recovering a time-dependent nonlinearity appearing in third-order nonlinear acoustic equations*, Inverse Problems40(2024), no. 7, 075001

    work page 2024

  10. [10]

    Song-Ren Fu, Peng-Fei Yao, and Yongyi Yu,Partial data inverse problems of determining two time- dependent coefficients for third-order acoustic equations, Applied Mathematics & Optimization93 (2026), no. 1, 7

    work page 2026

  11. [11]

    Song-Ren Fu and Yongyi Yu,On the stability of determining a nonlinear coefficient for the third-order nonlinear acoustic equation, Applicable Analysis (2025), 1–17

    work page 2025

  12. [12]

    Song-Ren Fu and Yongyi Yu,Stability in inverse problem for a Moore–Gibson–Thompson equation with time-dependent coefficient, ESAIM: Control, Optimisation and Calculus of Variations31(2025), 65. 25

    work page 2025

  13. [13]

    Song-Ren Fu, Yongyi Yu, and Philipp Zimmermann,The Calderón problem for third order nonlocal wave equations with time-dependent nonlinearities and potentials, Journal of Differential Equations463 (2026), 114164

    work page 2026

  14. [14]

    12, 2363–2400

    Peter Hintz, Gunther Uhlmann, and Jian Zhai,The Dirichlet-to-Neumann map for a semilinear wave equation on Lorentzian manifolds, Communications in Partial Differential Equations47(2022), no. 12, 2363–2400

    work page 2022

  15. [15]

    17, 13181–13211

    Peter Hintz, Gunther Uhlmann, and Jian Zhai,An inverse boundary value problem for a semilinear wave equation on Lorentzian manifolds, International Mathematics Research Notices2022(2022), no. 17, 13181–13211

    work page 2022

  16. [16]

    7, 110986

    Yan Jiang, Hongyu Liu, Tianhao Ni, and Kai Zhang,Inverse problems for a quasilinear hyperbolic equation with multiple unknowns, Journal of Functional Analysis289(2025), no. 7, 110986

    work page 2025

  17. [17]

    Yan Jiang, Hongyu Liu, Tianhao Ni, and Kai Zhang,Inverse problems for nonlinear progressive waves, Calculus of Variations and Partial Differential Equations64(2025), no. 4, 116

    work page 2025

  18. [18]

    9, 095010

    Barbara Kaltenbacher,Acoustic nonlinearity parameter tomography with the Jordan–Moore–Gibson– Thompson equation in frequency domain, Inverse Problems41(2025), no. 9, 095010

    work page 2025

  19. [19]

    Barbara Kaltenbacher,Imaging nonlinearity coefficient and sound speed with the JMGT equation in frequency domain, arXiv preprint arXiv:2512.18431 (2025)

    work page arXiv 2025

  20. [20]

    4, 971–988

    BarbaraKaltenbacher, IrenaLasiecka, andRichardMarchand,Wellposedness and exponential decay rates for the Moore-Gibson-Thompson equation arising in high intensity ultrasound, Control and Cybernetics 40(2011), no. 4, 971–988

    work page 2011

  21. [21]

    10, 105001

    Barbara Kaltenbacher and William Rundell,On the simultaneous reconstruction of the nonlinearity coefficient and the sound speed in the Westervelt equation, Inverse Problems39(2023), no. 10, 105001

    work page 2023

  22. [22]

    2, 681–685

    KatyaKrupchykandGuntherUhlmann,A remark on partial data inverse problems for semilinear elliptic equations, Proceedings of the American Mathematical Society148(2019), no. 2, 681–685

    work page 2019

  23. [23]

    3, 781–857

    Yaroslav Kurylev, Matti Lassas, and Gunther Uhlmann,Inverse problems for Lorentzian manifolds and non-linear hyperbolic equations, Inventiones mathematicae212(2018), no. 3, 781–857

    work page 2018

  24. [24]

    2, 149–192

    Irena Lasiecka, J-L Lions, and Roberto Triggiani,Non homogeneous boundary value problems for second order hyperbolic operators, Journal de Mathématiques pures et Appliquées65(1986), no. 2, 149–192

    work page 1986

  25. [25]

    4, 1553–1580

    Matti Lassas, Tony Liimatainen, Yi-Hsuan Lin, and Mikko Salo,Partial data inverse problems and simultaneous recovery of boundary and coefficients for semilinear elliptic equations, Revista Matemática Iberoamericana37(2020), no. 4, 1553–1580

    work page 2020

  26. [26]

    Matti Lassas, Tony Liimatainen, Yi-Hsuan Lin, and Mikko Salo,Inverse problems for elliptic equations with power type nonlinearities, Journal de Mathématiques Pures et Appliquées145(2021), 44–82

    work page 2021

  27. [27]

    Matti Lassas, Tony Liimatainen, Valter Pohjola, and Teemu Tyni,Gaussian beam interactions and inverse source problems for nonlinear wave equations, arXiv preprint arXiv:2510.11494 (2025)

    work page arXiv 2025

  28. [28]

    Matti Lassas, Tony Liimatainen, Leyter Potenciano-Machado, and Teemu Tyni,Uniqueness, reconstruc- tion and stability for an inverse problem of a semi-linear wave equation, Journal of Differential Equations 337(2022), 395–435

    work page 2022

  29. [29]

    5, 1065–1118

    Matti Lassas, Tony Liimatainen, Leyter Potenciano-Machado, and Teemu Tyni,Stability and Lorentzian geometry for an inverse problem of a semilinear wave equation, Analysis & PDE18(2025), no. 5, 1065–1118

    work page 2025

  30. [30]

    Li Li and Yang Zhang,Inverse problems for a quasilinear strongly damped wave equation arising in nonlinear acoustics, Journal of Differential Equations410(2024), 786–831

    work page 2024

  31. [31]

    1, 145–167

    Roman G Novikov,An inversion formula for the attenuated X-ray transformation, Arkiv för matematik 40(2002), no. 1, 145–167

    work page 2002

  32. [32]

    1, 161–240

    Lauri Oksanen, Mikko Salo, Plamen Stefanov, and Gunther Uhlmann,Inverse problems for real principal type operators, American Journal of Mathematics146(2024), no. 1, 161–240

    work page 2024

  33. [33]

    Paternain, Mikko Salo, Günther Uhlmann, and Hanming Zhou,The geodesic X-ray transform with matrix weights, American Journal of Mathematics141(2019), no

    Gabriel P. Paternain, Mikko Salo, Günther Uhlmann, and Hanming Zhou,The geodesic X-ray transform with matrix weights, American Journal of Mathematics141(2019), no. 6, 1707–1750

    work page 2019

  34. [34]

    Dong Qiu, Xiang Xu, Yeqiong Ye, and Ting Zhou,Uniqueness result for semi-linear wave equations with sources, arXiv preprint arXiv:2510.04810 (2025)

    work page arXiv 2025

  35. [35]

    1, 83–120

    GuntherUhlmannandAndrásVasy,The inverse problem for the local geodesic ray transform, Inventiones mathematicae205(2016), no. 1, 83–120

    work page 2016

  36. [36]

    Gunther Uhlmann and Jian Zhai,On an inverse boundary value problem for a nonlinear elastic wave equation, Journal de Mathématiques Pures et Appliquées153(2021), 114–136. 26

    work page 2021

  37. [37]

    2, 1364–1404

    Gunther Uhlmann and Yang Zhang,An inverse boundary value problem arising in nonlinear acoustics, SIAM Journal on Mathematical Analysis55(2023), no. 2, 1364–1404

    work page 2023

  38. [38]

    11, 1140–1158

    Yiran Wang and Ting Zhou,Inverse problems for quadratic derivative nonlinear wave equations, Com- munications in Partial Differential Equations44(2019), no. 11, 1140–1158

    work page 2019

  39. [39]

    Mike Wendels,Stable determination of the nonlinear parameter in the non-diffusive Westervelt equation from the Dirichlet-to-Neumann map, arXiv preprint arXiv:2510.02553 (2025). School of Mathematical Sciences, Zhejiang University Email address:qiudong@zju.edu.cn School of Mathematical Sciences, and Center for Interdisciplinary Applied Mathemat- ics, Zheji...

    work page arXiv 2025