pith. sign in

arxiv: 2311.06020 · v2 · submitted 2023-11-10 · 🧮 math.AP

Introduction to inverse problems for hyperbolic PDEs

Medet Nursultanov , Lauri Oksanen This is my paper

Pith reviewed 2026-05-24 06:01 UTC · model grok-4.3

classification 🧮 math.AP
keywords inverse problemshyperbolic PDEswave equationsboundary control methodgeometric opticscoefficient determination
0
0 comments X

The pith

Two main approaches exist for recovering coefficients in wave equations from boundary data.

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

The notes present the Boundary Control method as the primary tool for solving inverse coefficient determination problems for wave equations, while also outlining a geometric optics approach. The Boundary Control method uses boundary measurements and constructed controls to determine unknown coefficients inside the domain. A reader would care because these techniques turn observable wave data into information about inaccessible interior properties. The presentation assumes standard well-posedness for the underlying hyperbolic equations.

Core claim

There are two main approaches to solve inverse coefficient determination problems for wave equations: the Boundary Control method and an approach based on geometric optics, with the notes concentrating on the former.

What carries the argument

The Boundary Control method, which constructs boundary controls to probe and recover interior coefficients from boundary observations.

If this is right

  • Boundary measurements suffice to recover unknown coefficients inside the domain for suitable wave equations.
  • The same data can be processed either by constructing explicit controls or by analyzing high-frequency geometric optics solutions.
  • Both routes rely on the hyperbolic nature of the equation to propagate information from the boundary inward.

Where Pith is reading between the lines

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

  • The two methods may complement each other when one encounters regularity limitations that the other avoids.
  • Extensions to variable coefficients or domains with less smoothness would test the reach of the Boundary Control construction.
  • Applications in imaging would benefit from comparing the computational cost of control construction versus ray-based reconstruction.

Load-bearing premise

The notes assume standard well-posedness and regularity conditions on the coefficients and domains for the hyperbolic PDEs under consideration.

What would settle it

A concrete wave equation with known coefficients where boundary measurements fail to uniquely determine those coefficients under either method.

Figures

Figures reproduced from arXiv: 2311.06020 by Lauri Oksanen, Medet Nursultanov.

Figure 1
Figure 1. Figure 1: 1 + 1 dimensional case Since we consider t ∈ [0, X], and since I(t) ⊂ I(s) for s ∈ [0, t], the last term can be estimated from above by 2X R t 0 E(s)ds. Therefore, we have z(t) ≤ Cz(0) + C Z t 0 z(s)ds + C Z t 0 Z I(s) |P u(s, x)| 2 dxds. Using the Gronwall’s inequality in the integral form, see e.g. [6, Appendix B.2.k], we obtain z(t) ≤ C  z(0) + Z t 0 Z I(s) |P u(s, x)| 2 dxds (6) . Since z(0) = 0 and … view at source ↗
Figure 2
Figure 2. Figure 2: n + 1 dimensional case Theorem 7 (Unique continuation). Let Γ ⊂ ∂M be open, and define K = {(t, x) ∈ R × M : dg(x, Γ) ≤ T − |t|}. Suppose that u ∈ C 2 (R × M) is a solution of ( (∂ 2 t − ∆g + q(x)) u = 0, on R × M; u| [−T,T]×Γ = ∂νu| [−T,T]×Γ = 0. Then u|K = 0. We omit the proof and refer to [11, Theorem 3.16]. An introduction to the concept of unique continuation for the wave operator and its applications… view at source ↗
read the original abstract

There are two main approaches to solve inverse coefficient determination problems for wave equations: the Boundary Control method and an approach based on geometric optics. These notes focus on the Boundary Control method, but we will have a brief look at the geometric optics as well.

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

0 major / 0 minor

Summary. The manuscript is an introductory set of notes on inverse problems for hyperbolic PDEs. It identifies two main approaches to inverse coefficient determination problems for wave equations—the Boundary Control method and an approach based on geometric optics—with the primary focus on the Boundary Control method and a brief discussion of geometric optics.

Significance. The classification of the two approaches is standard in the literature on inverse problems for hyperbolic PDEs. As an expository document, the notes may provide a useful entry point for readers new to the topic if the presentation of the Boundary Control method is accurate and clear. However, the manuscript advances no new theorems, proofs, or results, limiting its significance for the field.

Simulated Author's Rebuttal

4 responses · 1 unresolved

We thank the referee for their review of our manuscript, which is an introductory exposition on inverse problems for hyperbolic PDEs with a focus on the Boundary Control method. We agree with the characterization of the work as expository and with the standard classification of approaches in the literature. However, we believe such notes can serve a useful purpose in the field.

read point-by-point responses

  1. Referee: The manuscript advances no new theorems, proofs, or results, limiting its significance for the field.

    Authors: We agree that the manuscript presents no new theorems or results, as it is intended as an introductory set of notes rather than original research. Its aim is to provide a clear entry point to the Boundary Control method for readers new to the topic, which addresses a potential gap in accessible expositions. revision: no

  2. Referee: The classification of the two approaches is standard in the literature on inverse problems for hyperbolic PDEs.

    Authors: We concur with this observation and have presented the two main approaches (Boundary Control and geometric optics) in line with the existing literature. revision: no

  3. Referee: As an expository document, the notes may provide a useful entry point for readers new to the topic if the presentation of the Boundary Control method is accurate and clear.

    Authors: We have worked to ensure the presentation is accurate and clear. We welcome any specific suggestions for improving clarity or accuracy in future revisions. revision: no

  4. Referee: REFEREE RECOMMENDATION: reject

    Authors: We respectfully disagree with the recommendation to reject. Expository notes can have value in mathematical fields by making technically involved methods more accessible, even without new theorems. The referee notes the potential usefulness as an entry point, which aligns with our intent. revision: no

standing simulated objections not resolved
  • The manuscript contains no new theorems, proofs, or original results.

Circularity Check

0 steps flagged

Expository notes with no derivations or predictions

full rationale

This is an introductory notes document whose sole purpose is to outline two established approaches (Boundary Control and geometric optics) to inverse coefficient problems for wave equations. No new theorems, derivations, predictions, or fitted parameters are introduced; the text simply classifies existing literature and assumes standard well-posedness conditions already present in the cited works. Consequently the derivation chain is empty and no step reduces to its own inputs by construction, self-citation, or renaming.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The paper is expository and draws on standard background from PDE theory without introducing new free parameters, axioms, or entities.

pith-pipeline@v0.9.0 · 5548 in / 894 out tokens · 17467 ms · 2026-05-24T06:01:11.668373+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

  1. [1]

    Lorentzian Calder´ on prob- lem under curvature bounds

    Spyros Alexakis, Ali Feizmohammadi, and Lauri Oksanen. Lorentzian Calder´ on prob- lem under curvature bounds. Invent. Math., 229(1):87–138, 2022

    work page 2022

  2. [2]

    An approach to multidimensional inverse problems for the wave equa- tion

    Mikhail Belishev. An approach to multidimensional inverse problems for the wave equa- tion. Dokl. Akad. Nauk SSSR , 297(3):524–527, 1987

    work page 1987

  3. [3]

    Functional analysis, Sobolev spaces and partial differential equations

    Haim Brezis. Functional analysis, Sobolev spaces and partial differential equations. Uni- versitext. Springer, New York, 2011

    work page 2011

  4. [4]

    Cˆ arstea, Ali Feizmohammadi, and Lauri Oksanen

    C˘ at˘ alin I. Cˆ arstea, Ali Feizmohammadi, and Lauri Oksanen. Remarks on the anisotropic calder´ on problem, 2022

    work page 2022

  5. [5]

    The Calder´ on problem in transversally anisotropic geometries.J

    David Dos Santos Ferreira, Yaroslav Kurylev, Matti Lassas, and Mikko Salo. The Calder´ on problem in transversally anisotropic geometries.J. Eur. Math. Soc. (JEMS) , 18(11):2579–2626, 2016

    work page 2016

  6. [6]

    Lawrence C. Evans. Partial differential equations , volume 19 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 1998

    work page 1998

  7. [7]

    Fractional anisotropic calder´ on problem on closed riemannian manifolds, 2021

    Ali Feizmohammadi, Tuhin Ghosh, Katya Krupchyk, and Gunther Uhlmann. Fractional anisotropic calder´ on problem on closed riemannian manifolds, 2021

    work page 2021

  8. [8]

    Recovery of time-dependent coefficients from boundary data for hyperbolic equations

    Ali Feizmohammadi, Joonas Ilmavirta, Yavar Kian, and Lauri Oksanen. Recovery of time-dependent coefficients from boundary data for hyperbolic equations. J. Spectr. Theory, 11(3):1107–1143, 2021

    work page 2021

  9. [9]

    The light ray transform in stationary and static Lorentzian geometries

    Ali Feizmohammadi, Joonas Ilmavirta, and Lauri Oksanen. The light ray transform in stationary and static Lorentzian geometries. J. Geom. Anal., 31(4):3656–3682, 2021

    work page 2021

  10. [10]

    Lassas, and Niculae Mandache

    Aleksandr Kachalov, Yaroslav Kurylev, Matti. Lassas, and Niculae Mandache. Equiva- lence of time-domain inverse problems and boundary spectral problems. Inverse Prob- lems, 20(2):419–436, 2004. INTRODUCTION TO INVERSE PROBLEMS FOR HYPERBOLIC PDES 24

    work page 2004

  11. [11]

    Inverse boundary spectral problems, volume 123 of Chapman & Hall/CRC Monographs and Surveys in Pure and Applied Mathematics

    Alexander Katchalov, Yaroslav Kurylev, and Matti Lassas. Inverse boundary spectral problems, volume 123 of Chapman & Hall/CRC Monographs and Surveys in Pure and Applied Mathematics. Chapman & Hall/CRC, Boca Raton, FL, 2001

    work page 2001

  12. [12]

    Global unique- ness in an inverse problem for time fractional diffusion equations

    Yavar Kian, Lauri Oksanen, and Masahiro Soccorsi, Ericand Yamamoto. Global unique- ness in an inverse problem for time fractional diffusion equations. J. Differential Equa- tions, 264(2):1146–1170, 2018

    work page 2018

  13. [13]

    Paternain

    Yaroslav Kurylev, Lauri Oksanen, and Gabriel P. Paternain. Inverse problems for the connection Laplacian. J. Differential Geom., 110(3):457–494, 2018

    work page 2018

  14. [14]

    Ladyzhenskaya

    Olga A. Ladyzhenskaya. The boundary value problems of mathematical physics , vol- ume 49 of Applied Mathematical Sciences. Springer-Verlag, New York, 1985. Translated from the Russian by Jack Lohwater [Arthur J. Lohwater]

    work page 1985

  15. [15]

    Lectures on unique continuation for waves

    Camille Laurent and Matthieu L´ eautaud. Lectures on unique continuation for waves. Lecturenotes. This volume. 2023

    work page 2023

  16. [16]

    John M. Lee. Riemannian manifolds, volume 176 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1997. An introduction to curvature

    work page 1997

  17. [17]

    Support theorems for the light ray transform on analytic Lorentzian manifolds

    Plamen Stefanov. Support theorems for the light ray transform on analytic Lorentzian manifolds. Proc. Amer. Math. Soc., 145(3):1259–1274, 2017

    work page 2017

  18. [18]

    The inverse problem for the Dirichlet-to-Neumann map on Lorentzian manifolds

    Plamen Stefanov and Yang Yang. The inverse problem for the Dirichlet-to-Neumann map on Lorentzian manifolds. Anal. PDE, 11(6):1381–1414, 2018

    work page 2018

  19. [19]

    Stefanov

    Plamen D. Stefanov. Uniqueness of the multi-dimensional inverse scattering problem for time dependent potentials. Math. Z., 201(4):541–559, 1989. Email address : medet.nursultanov@gmail.com Email address : lauri.oksanen@helsinki.fi

    work page 1989