REVIEW 2 major objections 4 minor 38 references
Optimal Runge approximation for damped nonlocal wave equations and simultaneous determination results
T0 review · 2 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read For the damped nonlocal wave equation, exterior boundary measurements uniquely determine both the damping coefficient and the perturbation.
desk verdict Solid extension of the fractional Calderón program to variable damping, with a specific and repairable gap in the semilinear theorem. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The carrying object is the very weak solution theory for the damped operator $L_\gamma=\partial_t^2+\gamma\partial_t+(-\Delta)^s$, defined by duality against solutions of the time-reversed adjoint problem. Well-posedness is obtained by rewriting the equation as $(\partial_t^2+(-\Delta)^s)u=F-\gamma\partial_t u-qu$ and applying a Banach fixed point argument in $C([0,T];\tilde L^2(\Omega)\times H^{-s}(\Omega))$; the Hölder regularity of $\gamma$ enters through the multiplier estimate $\|\gamma v\|_{\tilde H^s(\Omega)}\le C\|\gamma\|_{C^{0,\alpha}(\mathbb{R}^n)}\|v\|_{\tilde H^s(\Omega)}$ on Lipschitz domains. This theory yields the Runge approximation theorem: the set $\{u_\varphi-\varphi:\varphi\in C_c^\infty(W_T)\}$ is dense in $L^2(0,T;\tilde H^s(\Omega))$, proved by a Hahn–Banach argument that reduces density to the unique continuation property of the fractional Laplacian. The recovery step then combines the integral identity with controlled limit passages: Lemma 3.2 handles the time-derivative term in the linear case, and an $\varepsilon$-scaling argument isolates the damping coefficient before the nonlinearity in the semilinear case.
What would settle it
One concrete check is to test estimate (2.23) on a bounded Lipschitz domain with a corner, such as a polygon, with $\gamma(x)=|x_1|^\alpha$ and $v\in\tilde H^s(\Omega)$; if the quotient $\|\gamma v\|_{\tilde H^s(\Omega)}/\|v\|_{\tilde H^s(\Omega)}$ were not bounded by a constant times $\|\gamma\|_{C^{0,\alpha}}$, the fixed-point proof of Theorem 2.8 would collapse. A second test is numerical: compute the partial DN map for two pairs $(\gamma_1,q_1)$ and $(\gamma_2,q_2)$ with $\gamma_1\ne\gamma_2$ or $q_1\ne q_2$ on a simple domain; the theorem asserts these maps can never agree on the chosen exterior sets.
Extended reading notes
Core claim
The central claim is Theorems 1.2 and 1.3: for a bounded Lipschitz domain $\Omega$, $0<s<\alpha\le 1$, and coefficient pairs $(\gamma_j,q_j)\in C^{0,\alpha}(\mathbb{R}^n)\times L^p(\Omega)$ with $p$ in the stated range, equality of the partial boundary-to-boundary maps $\Lambda_{\gamma_1,q_1}$ and $\Lambda_{\gamma_2,q_2}$ on $W_1\times W_2$ implies $\gamma_1=\gamma_2$ and $q_1=q_2$ in $\Omega$. The same conclusion holds for $r+1$ homogeneous weak nonlinearities $f_1,f_2$ with $r>0$, yielding $f_1=f_2$ on $\Omega\times\mathbb{R}$. In other words, the paper shows that damping and perturbations of fractional wave equations are determined simultaneously by exterior measurements, and that the previously known $\gamma=0$ results extend to variable Hölder-continuous damping.
Load-bearing premise
The load-bearing premise is that multiplication by a $C^{0,\alpha}(\mathbb{R}^n)$ function is a bounded map on the fractional Sobolev space $\tilde H^s(\Omega)$ for bounded Lipschitz domains, as used in estimate (2.23). If Hölder-continuous damping required more boundary regularity than Lipschitz, the very weak solution theory and the Runge approximation for variable $\gamma$ would not carry through.
Editorial extensions
If this is right
- For the linear model, equality of the partial DN maps implies $\gamma_1=\gamma_2$ and $q_1=q_2$ inside $\Omega$, so damping and potential are recovered together rather than sequentially.
- For semilinear models with $r+1$ homogeneous weak nonlinearities, the same measurements determine the damping coefficient and the whole function $f$ on $\Omega\times\mathbb{R}$, including growth exponents $r>1$ that earlier methods could not reach.
- The Runge approximation is optimal in the sense that the approximation space is the natural energy space $L^2(0,T;\tilde H^s(\Omega))$, allowing recovery of $q\in L^p(\Omega)$ at the lowest regularity the estimates permit.
- All results hold with partial exterior data: $W_1$ and $W_2$ are arbitrary nonempty open subsets of the exterior $\Omega^e$, so full-boundary measurements are not needed.
- The very weak solution theory covers inhomogeneous sources and nonzero initial data, so the identification argument applies to a wider class of boundary-to-boundary measurements than those used in the main theorems.
Reading between the lines
- The paper does not develop this, but the same fixed-point and multiplier framework is a natural route to time-dependent damping $\gamma(t,x)$, provided the multiplier estimate holds uniformly in time.
- The $\varepsilon$-scaling recovery of the nonlinearity suggests a quantitative version: the rate at which $f_1(u_\varepsilon)-f_2(u_\varepsilon)$ vanishes as $\varepsilon\to0$ could yield a stability estimate for $f$, though no stability bound is proved here.
- Because the Runge density is in $L^2(0,T;\tilde H^s(\Omega))$ rather than $L^2(\Omega_T)$, the method may also apply to recovery of lower-order terms such as drift or conductivity in damped nonlocal wave equations, a direction the paper leaves open.
- A numerical experiment testing the Runge approximation for variable $\gamma$ on a polygonal domain would give a practical check of the multiplier estimate's sharpness; the paper contains no numerics.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a very weak solution theory for damped nonlocal wave equations L_γ u := ∂_t^2 u + γ∂_t u + (−Δ)^s u with Hölder-continuous damping γ, proves an optimal Runge approximation theorem in L^2(0,T;\tilde H^s(Ω)), and applies it to Calderón-type inverse problems. The main theorems state that the partial Dirichlet-to-Neumann map simultaneously determines the pair (γ,q) in the linear case (Theorem 1.2) and the pair (γ,f) for r+1 homogeneous weak nonlinearities (Theorem 1.3).
Significance. The very weak solution theory for damped nonlocal wave equations with variable C^{0,α} damping (Theorem 2.8) and the resulting Runge approximation (Theorem 3.1) are genuine technical contributions that go beyond the undamped and constant-damping cases treated in earlier work. If the gap in the proof of Theorem 1.3 is repaired, the simultaneous determination results are natural but substantial extensions of [LTZ24a] and [Zim24]. The paper is clearly written and the main proofs are detailed, with no fitted parameters or numerical evidence; the arguments are analytic.
major comments (2)
- [Section 3.4, after Eq. (3.21)] The inference from (γ1−γ2)∂_t v1 = 0 to the integral identity ∫_{Ω_T} (γ1−γ2)∂_t(v1−η)(w2−ψ)^⋆ dxdt = 0 is not justified. Since ∂_t(v1−η)=∂_t v1−∂_t η and η is only assumed to lie in C_c^∞((W1)_T), ∂_t η is generally nonzero, so the displayed identity is not a consequence of (γ1−γ2)∂_t v1=0. This is load-bearing because the subsequent gamma-recovery argument uses exactly this integral identity as the input to the Runge approximation and Lemma 3.2. The gap is repairable: because u_ε^{(1)}=u_ε^{(2)} for every ε>0, equations (3.14) and (3.18) give ε(v1−v2)=R_ε^{(2)}−R_ε^{(1)}=O(ε^{r+1}); dividing by ε and letting ε→0 yields v1=v2. Then the linear DN maps for (γ1,0) and (γ2,0) coincide, and Theorem 1.2 gives γ1=γ2. This repair should be inserted before the f-recovery step.
- [Section 2.2, Theorem 2.8] The proof of Theorem 2.8 uses the multiplier estimate (2.23), cited as [CRTZ24, Lemma 3.1], for multiplication by γ∈C^{0,α}(R^n) on \tilde H^s(Ω) in a bounded Lipschitz domain. Please verify that the cited lemma applies verbatim with only Lipschitz boundary regularity; if it requires smoother boundary, the hypotheses of Theorems 2.8, 3.1, 1.2 and 1.3 must be adjusted accordingly. This is a correctness-risk point rather than an observed contradiction, but it should be checked explicitly.
minor comments (4)
- [References] The bibliography lists [LTZ24b] and [LTZ24c] with the identical title and journal data; this appears to be a duplicate reference and should be corrected.
- [Proof of Lemma 3.2] In the displayed computation in Lemma 3.2, the phrase “in the second equality we used (3.4), Ψ(T)=0 and (3.4)” contains a duplicated citation; the intended condition should be stated clearly.
- [Section 3.4, final step] The final recovery of f1=f2 is delegated to “[LTZ24a, p. 29]” without explaining why the argument carries over to the damped equation with γ present; a short justification or a precise statement of the needed lemma would make the proof more self-contained.
- [Section 2.2, Eq. (2.26)] In the proof of (2.26), the regularization v_ε is introduced via a parabolic regularization, but the displayed convergence in (2.27) does not explicitly state the convergence of ∂_t v_ε needed to pass the term ⟨u, γ∂_t v_ε⟩; please add the missing convergence statement or a reference for it.
Circularity Check
No significant circularity: the damped-wave very weak solution theory and Runge approximation are proved in the paper, and the self-citations supply independent, non-target lemmas.
full rationale
The central derivation is self-contained: Theorems 2.1, 2.7 and 2.8 establish weak and very weak well-posedness for the damped operator L_gamma+q, with the only imported analytic input being the multiplier estimate (2.23) from [CRTZ24, Lemma 3.1]. That lemma is a published, parameter-free boundedness statement for C^{0,alpha} multipliers on the fractional space H~s(Omega); it does not assume or encode the inverse uniqueness being proved, so citing it (even though it shares an author) is legitimate independent support. The Runge approximation (Theorem 3.1), the integral identity (Proposition 3.4), and the linear recovery (Theorem 1.2) are argued directly from those well-posedness results, with no fitted parameter renamed as a prediction and no definition of gamma or q in terms of the DN map. The semilinear proof (Theorem 1.3) also relies only on the expansion u_epsilon = epsilon v_j + R_epsilon^{(j)} and the energy estimates, and the final pointwise identification of f_1=f_2 is imported as a technique from [LTZ24a, p. 29] rather than assumed. The one notable defect in Section 3.4 is a genuine logical gap (from (gamma_1-gamma_2) partial_t v_1 = 0 alone one cannot infer the displayed integral identity involving partial_t(v_1-eta), since partial_t eta is generally nonzero), but that is a correctness gap, not a circular reduction of the theorem to its own assumptions. Hence no circular step meets the evidentiary standard of the review.
Assumptions & free parameters
assumptions (5)
- standard math Unique continuation property for the fractional Laplacian
- domain assumption Boundedness of multiplication by C^{0,α} functions on H~s(Ω) and H^{-s}(Ω) for Lipschitz domains, estimate (2.23)
- standard math Existence of very weak solutions for the undamped equation (γ=0), Theorem 2.5
- standard math Well-posedness of abstract second-order evolution problems with damping
- standard math Sobolev embedding and fractional Laplacian mapping properties
Cite this review
Pith. "Pith review of Optimal Runge approximation for damped nonlocal wave equations and simultaneous determination results." pith.science (2026). https://pith.science/paper/WEZVD2NA
@misc{pith2026241202046,
author = {Pith},
title = {Pith review of: Optimal Runge approximation for damped nonlocal wave equations and simultaneous determination results},
year = {2026},
howpublished = {\url{https://pith.science/paper/WEZVD2NA}},
note = {Machine review of arXiv:2412.02046}
}
read the original abstract
The main purpose of this article is to establish new uniqueness results for Calder\'on type inverse problems related to damped nonlocal wave equations. To achieve this goal we extend the theory of very weak solutions to our setting, which allows to deduce an optimal Runge approximation theorem. With this result at our disposal, we can prove simultaneous determination results in the linear and semilinear regime.
Reference graph
Works this paper leans on
-
[1]
Giovanni Covi, Tuhin Ghosh, Angkana R \"u land, and Gunther Uhlmann. A reduction of the fractional C alder\'on problem to the local C alder\'on problem by means of the C affarelli- S ilvestre extension. arXiv preprint arXiv:2305.04227 , 2023
arXiv 2023
-
[2]
Xinlin Cao, Yi-Hsuan Lin, and Hongyu Liu. Simultaneously recovering potentials and embedded obstacles for anisotropic fractional S chr\" o dinger operators. Inverse Probl. Imaging , 13(1):197--210, 2019
work page 2019
-
[3]
u land. The C alder \'o n problem for the fractional S chr \
Mihajlo Cekic, Yi-Hsuan Lin, and Angkana R \"u land. The C alder \'o n problem for the fractional S chr \"o dinger equation with drift. Cal. Var. Partial Differential Equations , 59(91), 2020
work page 2020
-
[4]
Stability estimates for the inverse fractional conductivity problem, 2022
Giovanni Covi, Jesse Railo, Teemu Tyni, and Philipp Zimmermann. Stability estimates for the inverse fractional conductivity problem, 2022
work page 2022
-
[5]
Stability estimates for the inverse fractional conductivity problem
Giovanni Covi, Jesse Railo, Teemu Tyni, and Philipp Zimmermann. Stability estimates for the inverse fractional conductivity problem. SIAM Journal on Mathematical Analysis , 56(2):2456--2487, 2024
2024
-
[6]
Mathematical analysis and numerical methods for science and technology
Robert Dautray and Jacques-Louis Lions. Mathematical analysis and numerical methods for science and technology. V ol. 5 . Springer-Verlag, Berlin, 1992. Evolution problems. I, With the collaboration of Michel Artola, Michel Cessenat and H\' e l\`ene Lanchon, Translated from the French by Alan Craig
work page 1992
-
[7]
Fractional Calder\'{o}n problem on a closed Riemannian manifold
Ali Feizmohammadi. Fractional C alder\'on' problem on a closed R iemannian manifold. arXiv preprint arXiv:2110.07500 , 2021
work page Pith review arXiv 2021
-
[8]
Fractional anisotropic C alder\'on problem on closed R iemannian manifolds
Ali Feizmohammadi, Tuhin Ghosh, Katya Krupchyk, and Gunther Uhlmann. Fractional anisotropic C alder\'on problem on closed R iemannian manifolds. arXiv:2112.03480 , 2021
arXiv 2021
Show all 38 references
-
[10]
Well-posedness and inverse problems for the nonlocal third-order acoustic equation with time-dependent nonlinearity, 2024
Song-Ren Fu and Yongyi Yu. Well-posedness and inverse problems for the nonlocal third-order acoustic equation with time-dependent nonlinearity, 2024
2024
-
[11]
The C alder\' o n problem for variable coefficients nonlocal elliptic operators
Tuhin Ghosh, Yi-Hsuan Lin, and Jingni Xiao. The C alder\' o n problem for variable coefficients nonlocal elliptic operators. Comm. Partial Differential Equations , 42(12):1923--1961, 2017
1923
-
[12]
The C alder\' o n problem for the fractional S chr\" o dinger equation
Tuhin Ghosh, Mikko Salo, and Gunther Uhlmann. The C alder\' o n problem for the fractional S chr\" o dinger equation. Anal. PDE , 13(2):455--475, 2020
2020
-
[13]
The C alder\' o n problem for the fractional wave equation: uniqueness and optimal stability
Pu-Zhao Kow, Yi-Hsuan Lin, and Jenn-Nan Wang. The C alder\' o n problem for the fractional wave equation: uniqueness and optimal stability. SIAM J. Math. Anal. , 54(3):3379--3419, 2022
2022
-
[14]
Determining coefficients for a fractional p -laplace equation from exterior measurements
Manas Kar, Yi-Hsuan Lin, and Philipp Zimmermann. Determining coefficients for a fractional p -laplace equation from exterior measurements. J. Differential Equations, accepted for publication , 2024
2024
-
[15]
Inverse problems for fractional semilinear elliptic equations
Ru-Yu Lai and Yi-Hsuan Lin. Inverse problems for fractional semilinear elliptic equations. Nonlinear Anal. , 216:Paper No. 112699, 21, 2022
2022
-
[16]
Inverse problems for fractional equations with a minimal number of measurements
Yi-Hsuan Lin and Hongyu Liu. Inverse problems for fractional equations with a minimal number of measurements. Communications and Computational Analysis , 1:72--93, 2023
2023
-
[17]
The C alder\' o n problem for nonlocal parabolic operators: A new reduction from the nonlocal to the local
Ching-Lung Lin, Yi-Hsuan Lin, and Gunther Uhlmann. The C alder\' o n problem for nonlocal parabolic operators: A new reduction from the nonlocal to the local. arXiv preprint arXiv:2308.09654 , 2023
2023 arXiv
-
[18]
The calder\'on problem for the schr\"odinger equation in transversally anisotropic geometries with partial data, 2024
Yi-Hsuan Lin, Gen Nakamura, and Philipp Zimmermann. The calder\'on problem for the schr\"odinger equation in transversally anisotropic geometries with partial data, 2024
2024
-
[19]
The C alder\' o n problem for a nonlocal diffusion equation with time-dependent coefficients
Yi-Hsuan Lin, Jesse Railo, and Philipp Zimmermann. The C alder\' o n problem for a nonlocal diffusion equation with time-dependent coefficients. arXiv preprint arXiv:2211.07781 , 2022
2022 arXiv
-
[20]
Optimal runge approximation for nonlocal wave equations and unique determination of polyhomogeneous nonlinearities, 2024
Yi-Hsuan Lin, Teemu Tyni, and Philipp Zimmermann. Optimal runge approximation for nonlocal wave equations and unique determination of polyhomogeneous nonlinearities, 2024
2024
-
[21]
Well-posedness and inverse problems for semilinear nonlocal wave equations
Yi-Hsuan Lin, Teemu Tyni, and Philipp Zimmermann. Well-posedness and inverse problems for semilinear nonlocal wave equations. Nonlinear Analysis , 247:113601, 2024
2024
-
[22]
Unique determination of coefficients and kernel in nonlocal porous medium equations with absorption term
Yi-Hsuan Lin and Philipp Zimmermann. Unique determination of coefficients and kernel in nonlocal porous medium equations with absorption term. arXiv preprint arXiv:2305.16282 , 2023
2023 arXiv
-
[23]
Approximation and uniqueness results for the nonlocal diffuse optical tomography problem
Yi-Hsuan Lin and Philipp Zimmermann. Approximation and uniqueness results for the nonlocal diffuse optical tomography problem. arXiv preprint arXiv:2406.06226 , 2024
2024 arXiv
-
[24]
The fractional C alder\' o n problem: low regularity and stability
Angkana R\" u land and Mikko Salo. The fractional C alder\' o n problem: low regularity and stability. Nonlinear Anal. , 193:111529, 56, 2020
2020
-
[25]
Fractional C alder\' o n problems and P oincar\' e inequalities on unbounded domains
Jesse Railo and Philipp Zimmermann. Fractional C alder\' o n problems and P oincar\' e inequalities on unbounded domains. J. Spectr. Theory , 13(1):63--131, 2023
2023
-
[26]
Low regularity theory for the inverse fractional conductivity problem
Jesse Railo and Philipp Zimmermann. Low regularity theory for the inverse fractional conductivity problem. Nonlinear Analysis , 239:113418, 2024
2024
-
[27]
A global uniqueness theorem for an inverse boundary value problem
John Sylvester and Gunther Uhlmann. A global uniqueness theorem for an inverse boundary value problem. Ann. of Math. (2) , 125(1):153--169, 1987
1987
-
[28]
Calder\'on problem for nonlocal viscous wave equations: Unique determination of linear and nonlinear perturbations, 2024
Philipp Zimmermann. Calder\'on problem for nonlocal viscous wave equations: Unique determination of linear and nonlinear perturbations, 2024
2024
-
[29]
Belishev, M. I. An approach to multidimensional inverse problems for the wave equation, Dokl. Akad. Nauk SSSR297.3, 524--527, 1987. @article Be87, author= Belishev, Mikhail Igorevich , title = An approach to multidimensional inverse problems for the wave equation , year = 1987...
1987
-
[30]
Belishev, M. I. and Kurylev, Y. To the reconstruction of a Riemannian manifold via its spectral data (BC-method), Comm. PDE, 17, 767--804, 1992. @article BeKu92, author= Belishev, Michael I and Kuryiev, Yarosiav V , title = To the reconstruction of a R iemannian manifold via i...
1992
-
[31]
Inverse boundary spectral problems
Kachalov, A., Kurylev, Y., and Lassas, M. Inverse boundary spectral problems. CRC Press, 2001. @book KKL01, author = Kachalov, Alexander and Kurylev, Yaroslav and Lassas, Matti , title = Inverse boundary spectral problems , year = 2001 , publisher = CRC Press ,
2001
-
[32]
de Hoop, M, Kepley, P., and Oksanen, L., Recovery of a smooth metric via wave field and coordinate transformation reconstruction, SIAM J. Appl. Math., 78, 1931--1953, 2018. @article deHoop, author = de Hoop, M. and Kepley, P. and Oksanen, L. , title = Recovery of a smooth metr...
1931
-
[33]
Boundary regularity for the Ricci equation, geometric convergence, and Gel'fand's inverse boundary problem
Anderson, M., Katsuda, A., Kurylev, Y., Lassas, M., and Taylor, M. Boundary regularity for the Ricci equation, geometric convergence, and Gel'fand's inverse boundary problem. Invent. Math. 158, 261--321, 2004. @article AKKLT, author= Anderson, Michael and Katsuda, Atsushi and ...
2004
-
[34]
Correlation based passive imaging with a white noise source
Helin, T., Lassas, M., Oksanen, L., and Saksala, T. Correlation based passive imaging with a white noise source. Journal de Mathematiques Pures et Appliquees 116(9), 132--160, 2018. @article Helin, author = Helin, Tapio and Lassas, Matti and Oksanen, Lauri and Saksala, Teemu ,...
2018
-
[35]
Conic singularities, generalized scattering matrix, and inverse scattering on asymptotically hyperbolic surfaces
Isozaki, H., Kurylev, L., and Lassas, M. Conic singularities, generalized scattering matrix, and inverse scattering on asymptotically hyperbolic surfaces. Journal fur die reine und angewandte Mathematik 724, 53--103, 2017. @article Isozaki, author = Isozaki, Hiroshi and Kuryle...
2017
-
[36]
Unique recovery of lower order coefficients for hyperbolic equations from data on disjoint sets
Kian, Y., Kurylev, Y., Lassas, M., and Oksanen, L. Unique recovery of lower order coefficients for hyperbolic equations from data on disjoint sets. J. Differential Equations 267(4), 2210--2238, 2019. @article KKLO, author = Kian, Yavar and Kurylev, Yaroslav and Lassas, Matti a...
2019
-
[37]
Inverse spectral problems on a closed manifold
Krupchyk, K., Kurylev, Y., and Lassas, M. Inverse spectral problems on a closed manifold. Journal de Mathematique Pures et Appliquees 90, 42--59, 2008. @article KrKL, author = Krupchyk, Katya and Kurylev, Yaroslav. and Lassas, Matti , title = Inverse spectral problems on a clo...
2008
-
[38]
Differential Geom
Kurylev, Y., Oksanen, L., and Paternain, G., Inverse problems for the connection Laplacian, J. Differential Geom. 110(3), 457--494, 2018. @article KOP, author = Kurylev, Yaroslav and Oksanen, Lauri and Paternain, Gabriel , title = Inverse problems for the connection L aplacian...
2018 arXiv
-
[39]
and Oksanen, L., Inverse problem for the Riemannian wave equation with Dirichlet data and Neumann data on disjoint sets
Lassas, M. and Oksanen, L., Inverse problem for the Riemannian wave equation with Dirichlet data and Neumann data on disjoint sets. Duke Math. J. 163, 1071--1103, 2014. @article LO, author = Lassas, Matti and Oksanen, Lauri , title = Inverse problem for the R iemannian wave eq...
2014
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.