Pith. sign in

REVIEW 4 major objections 4 minor 64 references

Inverse problems for nonlinear Kirchhoff plate equations with multiple unknown parameters

T0 review · 4 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that passive boundary data stably recover initial data for nonlinear Kirchhoff plates, and that active boundary data determine unbounded time-dependent potentials, or analytic nonlinearities together with initial data.

desk verdict Substantial new GO/Runge machinery for plate inverse problems, but Theorem 1.3 has a false support claim that leaves the headline recovery theorem unproved as written. read the letter →

arxiv 2608.07970 v1 pith:I5GVRVRX submitted 2026-08-08 math.AP

Song-Ren Fu , Hongyu Liu , Yongyi Yu , Tianyi Zheng This is my paper · ORCID
classification math.AP MSC 35R3026A3342B37
keywords inverseproblemsKirchhoffplateequationRungeapproximationgeometricopticssolutionshigher-orderlinearizationunboundedtime-dependentpotentialsinitialdatarecovery
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Boundary measurements of a vibrating Kirchhoff plate carry enough information to reconstruct what happens inside the plate. The paper proves that with a known nonlinearity $f$, one passive boundary record stably recovers the initial displacement and velocity; with many active boundary inputs, an unbounded time-dependent potential $q$ can be determined, and in the nonlinear case an analytic nonlinearity $g$ together with the initial state can be recovered simultaneously. It also establishes global well-posedness for the semilinear forward problem, a prerequisite for any of these inverse statements. Why this matters: plate models are standard in structural mechanics, and these results say the internal forces and initial deformation can be calibrated from edge measurements alone, without a priori knowledge of the interior. The proof transfers higher-order linearization, geometric-optics solutions, and Runge approximation from second-order wave equations to fourth-order hinged plates with rotational inertia $\gamma\Delta\partial_t^2$.

What carries the argument

The main engine is a package rather than a single identity. Geometric optics solutions $v=e^{i\sigma\varphi}a+r_\sigma$, built from plane-wave phases $\varphi=x\cdot\theta+t$ solving the eikonal equation $|\nabla\varphi|^4-\gamma\varphi_t^2|\nabla\varphi|^2=0$ and from amplitudes along transport equations, encode coefficient information in Fourier integrals that vanish only if the coefficients agree. A Runge approximation (Proposition 4.2), derived from the observability inequality of [ZZ06] imported as Lemma 4.1, lets the authors approximate arbitrary plate solutions by solutions that vanish at $t=0$ or $t=T$, exactly the regime where GO test functions would otherwise be unusable. Higher-order linearization around nonzero background solutions $w_j$ extracts $\partial_z^k g_j$ one derivative at a time from the boundary map, and the observability inequality finally forces the background solutions to coincide, completing the recovery of $g$ on $\Omega_T\times\mathbb{C}$. In Section 5 a cut-off procedure supplies explicit GO solutions with zero initial/terminal data as an alternative to Runge approximation.

What would settle it

A concrete check: verify whether [ZZ06, Theorem 3] holds verbatim for potentials $b\in L^\infty(0,T;L^p(\Omega))$ with $p\in[5n/2,\infty]$, with the constant $\exp(C\|b\|^{2p/(6p-5n)})$, on every domain satisfying (1.3)-(1.4). A counterexample—two initial states producing indistinguishable boundary traces for some such $b$ and $T>T_0$—would overturn Lemma 4.1 and hence Theorems 1.1, 1.2(2), and 1.3; a numerical verification of the inequality on a simple domain would support them.

Watch

Extended reading notes

Core claim

Stated in the paper's own terms, the central discovery is threefold. Theorem 1.1: for $f$ in the admissible class with growth exponent $r_0$, the passive map $(\partial_\nu u,\partial_\nu\Delta u)|_{\Gamma_{0T}}$ controls the initial pair in $H^3(\Omega)\times H^2(\Omega)$ via estimate (1.18), so initial data alone are stably recoverable. Theorem 1.2: for the linear equation $(I-\gamma\Delta)\partial_t^2 u+\Delta^2 u+q u=0$ with $q\in L^\infty(0,T;L^{5n/2}(\Omega))$ spatially unbounded, the active maps $\Lambda_{\Gamma,T}$ and $\tilde\Lambda_{\Gamma,T}$ determine $q$; when $q$ coincides with a known $q_0$ outside $(t_1,t_2)$, these maps simultaneously determine $q$ and the initial data. Theorem 1.3: for $n\in\{1,2,3\}$ and analytic nonlinearities $g_1,g_2$ in the admissible set $G^{t_1,t_2}_{g_0}$, agreement of the active maps on all small boundary data forces $g_1=g_2$ on $\Omega_T\times\mathbb{C}$ and equality of both initial pairs, and the same holds for the DN-type map without $u|_{t=T}$. The paper also gives counterexamples showing why passive measurements cannot recover initial data when the nonlinearity or the coefficient is unknown.

Load-bearing premise

The whole edifice rests on Lemma 4.1, an observability inequality imported from [ZZ06] asserting that, for linear hinged Kirchhoff plates with potential $b\in L^\infty(0,T;L^p(\Omega))$, $p\in[5n/2,\infty]$, and $T>T_0$, the boundary traces control the initial state with an explicit exponential factor; if that inequality fails in this exact range or for the geometric constants (1.3)-(1.4), the stability estimate, the Runge approximation, and every recovery theorem collapse with it.

Editorial extensions

If this is right

  • Initial data for semilinear Kirchhoff plates can be recovered stably from a single passive boundary record whenever the nonlinearity is known.
  • Unbounded, time-dependent potentials are recoverable from active boundary measurements, removing an earlier boundedness restriction for plate inverse problems.
  • For $n=1,2,3$, analytic nonlinearities and initial states are simultaneously determined by infinitely many active boundary measurements, including the variant measuring only $(\partial_\nu u,\partial_\nu\Delta u)$ on the side boundary.
  • The passive-data counterexamples imply that absence of active inputs creates genuine non-uniqueness, so the simultaneous results inherently require active measurements.
  • The methods are stated to extend to other boundary conditions and to Euler-Bernoulli plates with unbounded potentials.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Editorially, the same inductive scheme should recover the first $M$ Taylor coefficients of $g$ when analyticity is weakened to $C^M$ regularity, with only the higher-order Taylor tail left undetermined; analyticity is what buys the full $\Omega_T\times\mathbb{C}$ identification.
  • The Fourier-transform step in the GO construction suggests the support condition $\operatorname{supp}(g_1-g_2)\subset\Omega\times(t_1,t_2)$ is what forces the active-data regime; without it, the identity (4.11) would not reduce to a localized Fourier transform.
  • The cut-off construction of Section 5 shows that explicit zero-initial-data GO solutions exist whenever the coefficient is known near $t=0$ or $t=T$, so the Runge approximation can be bypassed in models without an observability inequality.
  • A quantitative version of Lemma 4.1 with explicit geometric dependence would convert these uniqueness results into stability estimates for the nonlinear problem and would indicate how many boundary measurements are needed in practice.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 4 minor

Summary. This paper studies forward and inverse boundary value problems for nonlinear Kirchhoff plate equations of the form (I−γΔ)∂t²u + Δ²u = g(x,t,u) under hinged boundary conditions. The contributions are: (i) global well-posedness for semilinear equations with a wide class of nonlinearities satisfying Carathéodory and subcritical growth conditions; (ii) local well-posedness for analytic nonlinearities in dimensions n=1,2,3; (iii) stable recovery of initial data from a single passive boundary measurement when the nonlinearity is known; (iv) simultaneous recovery of a time-dependent, possibly unbounded potential and initial data from infinitely many active boundary measurements; and (v) simultaneous recovery of an analytic nonlinearity and initial data, using geometric optics solutions, a Runge approximation, and higher-order linearization around nonzero solutions. The main theorems are Theorem 1.1 (passive stable recovery), Theorem 1.2 (linear coefficient and initial data recovery), and Theorem 1.3 (nonlinearity and initial data recovery). The paper also contains counterexamples showing that passive measurements cannot recover initial data when the source or coefficient is unknown.

Significance. If the proofs are completed, the results represent a substantial advance in inverse problems for time-domain plate equations. The well-posedness theory is developed in detail with explicit energy and semigroup arguments, and the geometric optics construction includes careful remainder estimates (Lemma 3.1). The simultaneous recovery of unbounded time-dependent potentials and initial data, and of nonlinearities and initial data, goes beyond the existing literature on Kirchhoff and Euler–Bernoulli plates. The paper also provides useful counterexamples for passive measurements and a Runge approximation result (Proposition 4.2) that is of independent interest. However, the proof of Theorem 1.3 contains a false support assertion and an invalid Taylor expansion at load-bearing points; these must be repaired before the central simultaneous-recovery claim can be considered established.

major comments (4)
  1. [Section 4.4, Step 1 (proof of Theorem 1.3)] The claim that g1,g2 ∈ G^{t1,t2}_{g0} implies supp(∂_z g1(·,·,w1)−∂_z g2(·,·,w2)) ⊂ Ω×[t1,t2] is false. By definition (1.15), outside the slab [t1,t2] both g1 and g2 equal g0 as functions of z, so the difference equals ∂_z g0(·,·,w1)−∂_z g0(·,·,w2), which need not vanish before w1=w2 is proved. The subsequent reduction of ∫_0^T (q̃1−q̃2)v_1^{(k)}y dxdt to an integral over (t1,t2), and the GO/Fourier conclusion q̃1=q̃2 in Ω_T, depend on this support assertion. The same unsupported reduction is used in Steps 2 and 3 for ∂_z^M g1(x,t,w1)−∂_z^M g2(x,t,w2), so the central simultaneous recovery theorem is not proved as written.
  2. [Section 4.4, Step 4, Eq. (4.23)] The Taylor identity displayed in (4.23) is invalid. For analytic g1,g2, the difference g1(w1)−g2(w2) is not equal to Σ_{k≥1} (−1)^k/k! [∂_z^k g2(w2) w2^k − ∂_z^k g1(w1) w1^k]; the right-hand side mixes Taylor coefficients at 0 with evaluations at w1,w2. The subsequent bound on G(x,t) and the observability step for w̃=w1−w2 are therefore unsupported. A repair is available: from ∂_z^k g1(x,t,w1)=∂_z^k g2(x,t,w2) for all k, the entire function z↦g1(x,t,z)−g2(x,t,z+w2−w1) has all derivatives vanishing at z=w1, hence is identically zero, so g1(x,t,w1)=g2(x,t,w2) and w̃ satisfies a homogeneous equation. This route needs to be written out explicitly.
  3. [Section 4.4, Step 3] The induction step that turns (4.22) into ∂_z^M g1(x,t,w1)=∂_z^M g2(x,t,w2) is sketched rather than proved. It is not specified how the Runge approximations and GO solutions for v^{(2)},...,v^{(M)} and y are chosen for even and odd M, how the product of the leading-order amplitudes is handled, or how the Riemann–Lebesgue/analytic-continuation argument is completed for the resulting integral identity. Since this induction is the only mechanism producing the all-derivative identities used in Step 4, the argument needs to be supplied in full.
  4. [Section 4.1, Lemma 4.1] The observability inequality is imported from [ZZ06, Theorem 3] with an explicit constant exp(C∥b∥_{L∞(0,T;L^p)}^{2p/(6p−5n)}) and with the geometry rescaled by γ, but the paper does not verify that the hypotheses of [ZZ06] are satisfied after the metric change g=γ ds² and conditions (1.3)–(1.4). Because Lemma 4.1 underpins Theorem 1.1, Proposition 4.2, and the final steps of Theorem 1.3, the authors should either prove the inequality or provide a precise statement of how it follows from the cited theorem.
minor comments (4)
  1. [Section 2.2, Step 3] The estimate contains the typo '∥w0∥H2(Ω)∥+∥w1∥H1(Ω)' with an extra norm symbol.
  2. [Section 2.2, Eq. (2.24)] The term ∥∂_t u(t)∥²_{L²(Ω)} is redundant in the sum with ∥∂_t u(t)∥²_{H¹(Ω)}; harmless but should be cleaned up.
  3. [Section 4.4, Step 1] The notation for the linearized solutions is confusing: v_j^{(k)} is used both for the solution of the linearized equation with boundary data h_{1k},h_{2k} and later for its difference with the other index; the two objects should be denoted differently.
  4. [Section 5] The cut-off construction is presented as an alternative for the linear coefficient recovery; the abstract's phrasing about 'addressing the scenario of vanishing initial data' could mislead readers into expecting it to cover the nonlinear recovery in Theorem 1.3, so the scope should be stated explicitly.

Circularity Check

2 steps flagged · score 6.0 of 10

Theorem 1.3's proof derives ∂_z g1(x,t,w1) = ∂_z g2(x,t,w2) on part of Ω_T directly from the admissible-set definition (1.15), thereby assuming a portion of its own conclusion; the paper's linear and passive theorems are otherwise self-contained.

  1. self definitional [Section 4.4, proof of Theorem 1.3, Step 1 (first-order linearization), using the admissible set (1.15) from Section 1.2.1.]
    "It is clear that, if g1, g2 ∈ G^{t1,t2}_{g0} for some t1, t2, then supp (g1 − g2)(·,·, z) ⊂ Ω × [t1, t2] for any z ∈ C ... Recalling that g1, g2 ∈ G^{t1,t2}_{g0}, which implies supp (q̃1 − q̃2) ⊂ Ω × [t1, t2], we have ∫_{t1}^{t2} ∫_Ω (q̃1 − q̃2) v_1^{(k)} y dxdt = 0."

    By (1.15), g1 and g2 agree with g0 on Ω×((0,t1)∪(t2,T))×C as functions of (x,t,z), but q̃_j = ∂_z g_j(x,t,w_j) is evaluated at two different ε=0 solutions w1 and w2. On the complement of Ω×[t1,t2], q̃1 − q̃2 = ∂_z g0(x,t,w1) − ∂_z g0(x,t,w2), which vanishes only if w1 = w2 there; the equality w1 = w2 is not established until Step 4. The reduction of the boundary-derived identity to (t1,t2), and the subsequent GO/Fourier conclusion 'q̃1 = q̃2 in Ω_T', therefore assume a piece of the theorem's own conclusion on a positive-measure set. The support property of (g1−g2) at equal arguments z is converted by construction into a support property of ∂_z g1(·,·,w1) − ∂_z g2(·,·,w2) at unequal arguments, so the derivation takes as given the very equality it is meant to produce.

  2. self definitional [Section 4.4, proof of Theorem 1.3, Steps 2 and 3 (higher-order linearization, M ≥ 2).]
    "Similar to the previous steps, using the backward equation (4.19), we can conclude that ∫_{t1}^{t2} ∫_Ω [∂_z^M g1(x,t,w1(x,t)) − ∂_z^M g2(x,t,w2(x,t))] y v^{(1)} · · · v^{(M)} dxdt = 0."

    Steps 2 and 3 repeat the Step 1 reduction: the identity over (0,T) is cut down to (t1,t2) using the same unsupported assertion that the admissible-set condition on g1 − g2 (at a common z) locates the support of ∂_z^M g1(·,·,w1) − ∂_z^M g2(·,·,w2). For t outside (t1,t2), ∂_z^M g1 = ∂_z^M g2 = ∂_z^M g0, but evaluated at w1 ≠ w2 before the latter equality is known, so the difference is generically nonzero there. The induction hypothesis '∂_z^k g1(x,t,w1(x,t)) = ∂_z^k g2(x,t,w2(x,t)) in Ω_T' for k = 1,...,M−1 already inherits the unproved outside-the-slab content from Step 1, and Step 4's full-interval conclusion w0 := w1 = w2 in Ω_T then rests on the same circular reduction.

full rationale

No significant circularity in Theorem 1.1, Theorem 1.2, Proposition 4.2, or the forward well-posedness results. Theorem 1.1 is a direct application of Lemma 4.1, imported from the external theorem [ZZ06, Theorem 3] and adapted to γ by the metric rescaling described in Section 1.1 and Remark 2.3; an external benchmark is independent support, so it does not raise the score. Proposition 4.2 is proved in the paper from Lemma 4.1 via a Hahn-Banach duality argument, and the GO solutions of Section 3 are derived from eikonal and transport equations in the text rather than cited. Self-citations ([LLL24], [FLY26], [GLL23], [CJL+26], [FYZ26]) supply technique and context; none is load-bearing, since [LLL24, Theorem 5.1] is invoked only as a template while the Runge result used here is re-proved as Proposition 4.2. The single substantive circularity is in the proof of Theorem 1.3, Steps 1–3: the admissible-set definition (1.15) implies supp(g1−g2)(·,·,z) ⊂ Ω×[t1,t2] for each fixed z, but the proof converts this into a support statement for ∂_z g1(x,t,w1) − ∂_z g2(x,t,w2) evaluated at two different solutions w1 and w2. Off the slab this difference equals ∂_z g0(x,t,w1) − ∂_z g0(x,t,w2), which is generally nonzero until w1 = w2 is proved in Step 4; hence the reduction of the measured identity to (t1,t2), and the conclusions 'q̃1 = q̃2 in Ω_T' and '∂_z^M g1(x,t,w1) = ∂_z^M g2(x,t,w2) in Ω_T', assume a portion of the theorem's conclusion on a set of positive measure. The same reduction is reused at each induction level and feeds Step 4, making the flagship simultaneous-recovery theorem partially circular, while the linear coefficient recovery and passive initial-data recovery remain independent. For completeness, the false implication is also a formal correctness gap (e.g., g0(x,t,z) = z²/2 gives q̃1 − q̃2 = w1 − w2 with generic full support in Ω_T), and the imported observability inequality's L^p range and geometric constants are external-benchmark risks; neither of these is itself circularity.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No free parameters are fitted to data and no new physical entities are introduced. The load-bearing axioms are the imported observability inequality from [ZZ06], the structural hypotheses on the nonlinearities (growth and sign conditions (A.1)-(A.2), analyticity (B.1)), and standard functional-analytic background.

assumptions (4)
  • domain assumption Observability inequality for linear Kirchhoff plate equations with L^p potentials: Lemma 4.1, imported from [ZZ06, Theorem 3], including the bound with exponent 2p/(6p-5n) and the geometric time T0 in (1.3)-(1.4).
    Section 4.1 states this without proof, saying 'Invoking [ZZ06, Theorem 3] and the well-posedness results established in Theorem 2.2'. All inverse theorems and the Runge approximation rely on it.
  • standard math Global ellipticity, semigroup generation, trace and interpolation results used to prove well-posedness of the linear plate equation (Theorem 2.2).
    Used in Section 2.2 via Green maps, Lax-Milgram, C0-semigroups, elliptic regularity; standard functional analysis is assumed.
  • domain assumption Structural hypotheses (A.1)-(A.2) on f (growth of ∂_τ f and upper bound on its antiderivative) and (B.1) on g (analyticity, g(·,·,0)=0, bounded L∞(0,T;L^{5n/2}) Taylor coefficients).
    These hypotheses define the admissible classes M^T_{r,m} and G^{t1,t2}_{g0}; the theorems are conditional on them. The upper bound (A.2) is essential for global existence and excludes focusing cubic nonlinearities (Remark 2.4).
  • standard math Sobolev embedding and Hölder multiplication estimates summarized in Lemma 2.1, including the ranges (2.4)-(2.7).
    Proved in the paper by standard Sobolev and Hölder arguments; treated here as background because they are routine.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Inverse problems for nonlinear Kirchhoff plate equations with multiple unknown parameters." pith.science (2026). https://pith.science/paper/I5GVRVRX

@misc{pith2026260807970,
  author       = {Pith},
  title        = {Pith review of: Inverse problems for nonlinear Kirchhoff plate equations with multiple unknown parameters},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/I5GVRVRX}},
  note         = {Machine review of arXiv:2608.07970}
}
read the original abstract

This paper provides a comprehensive treatment of inverse boundary value problems for (nonlinear) Kirchhoff plate equations under diverse general settings. We begin by establishing the global well-posedness of the nonlinear forward equations, which not only underpins the subsequent inverse analysis but also holds independent theoretical significance. The inverse problems are then examined for both passive and active measurement regimes. With a single passive boundary measurement, we establish the stable recovery of the unknown initial data. In the active regime with infinitely many boundary measurements, our results are twofold. For linear equations featuring generic time-dependent potentials-allowing for spatial unboundedness, we demonstrate the simultaneous recovery of both initial data and coefficients. For nonlinear equations, where both the nonlinearity and initial data are unknown, we develop a novel Runge approximation approach, together with carefully constructed geometric optics solutions and higher-order linearization around nonzero solutions, to prove their simultaneous determination. Furthermore, we introduce a delicate cut-off technique that provides an alternative means of addressing the scenario of vanishing initial data. Notably, the methodologies and results developed herein are readily generalizable to other boundary conditions and plate models, including the classical Euler-Bernoulli equation.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

64 extracted references · 62 canonical work pages

  1. [1]

    Journal of Differential Equations , volume =

    Exact controllability and uniform stabilization of. Journal of Differential Equations , volume =. 1991 , issn =. doi:https://doi.org/10.1016/0022-0396(91)90022-2 , url =

    work page doi:10.1016/0022-0396(91)90022-2 1991

  2. [2]

    A sharp trace result on a thermo-elastic plate equation with coupled hinged/

    Irena Lasiecka and Roberto Triggiani , keywords =. A sharp trace result on a thermo-elastic plate equation with coupled hinged/. Discrete and Continuous Dynamical Systems , volume =. 1999 , issn =. doi:10.3934/dcds.1999.5.585 , url =

    work page doi:10.3934/dcds.1999.5.585 1999

  3. [3]

    1 , author=

    Non-homogeneous boundary value problems and applications: Vol. 1 , author=. 2012 , publisher=

    work page 2012

  4. [4]

    II , author=

    Non-homogeneous boundary value problems and applications: Vol. II , author=. 1972 , publisher=

    work page 1972

  5. [5]

    SIAM Journal on Mathematical Analysis , volume=

    Exponential stability of a thermoelastic system with free boundary conditions without mechanical dissipation , author=. SIAM Journal on Mathematical Analysis , volume=. 1998 , publisher=

    work page 1998

  6. [6]

    Grisvard, Pierre , journal=. Caract. 1967 , publisher=

    work page 1967

  7. [7]

    Nonlinear Analysis , volume=

    Well-posedness and inverse problems for semilinear nonlocal wave equations , author=. Nonlinear Analysis , volume=. 2024 , publisher=

    work page 2024

  8. [8]

    Journal of the London Mathematical Society , volume =

    Lin, Yi-Hsuan and Liu, Hongyu and Liu, Xu , title =. Journal of the London Mathematical Society , volume =. doi:https://doi.org/10.1112/jlms.12865 , url =. https://londmathsoc.onlinelibrary.wiley.com/doi/pdf/10.1112/jlms.12865 , year =

    work page doi:10.1112/jlms.12865

Show all 64 references
  1. [9]

    Masson Paris , year=

    Modelling analysis and control of thin plates , author=. Masson Paris , year=

  2. [10]

    , title =

    Lagnese, John E. , title =. 1989 , doi =

    1989

  3. [11]

    Structural analysis , pages=

    Kirchhoff plate theory , author=. Structural analysis , pages=. 2009 , publisher=

    2009

  4. [12]

    Calculus of Variations and Partial Differential Equations , volume=

    Optimal Runge approximation for nonlocal wave equations and unique determination of polyhomogeneous nonlinearities , author=. Calculus of Variations and Partial Differential Equations , volume=. 2025 , publisher=

    2025

  5. [13]

    The Calderón problem for the fractional Schr\"odinger equation , journal =

    Ghosh, Tuhin and Salo, Mikko and Uhlmann, Gunther , year =. The Calderón problem for the fractional Schr\"odinger equation , journal =

  6. [14]

    2023 , publisher=

    Theory of plates and shells , author=. 2023 , publisher=

    2023

  7. [15]

    A sharp observability inequality for

    Zhang, Xu and Zuazua, Enrique , journal=. A sharp observability inequality for. 2006 , publisher=

    2006

  8. [16]

    2012 , publisher=

    Weakly differentiable functions: Sobolev spaces and functions of bounded variation , author=. 2012 , publisher=

    2012

  9. [17]

    On well-posedness of scattering problems in a

    Bourgeois, Laurent and Hazard, Christophe , journal=. On well-posedness of scattering problems in a. 2020 , publisher=

    2020

  10. [18]

    Long-time dynamics for a nonlinear viscoelastic

    Peng, Xiaoming and Shang, Yadong and Di, Huafei , journal=. Long-time dynamics for a nonlinear viscoelastic. 2020 , publisher=

    2020

  11. [19]

    Sharp trace estimates of solutions to

    Lasiecka, Irena and Triggiani, Roberto , booktitle=. Sharp trace estimates of solutions to. 2020 , publisher=

    2020

  12. [20]

    On the optimality of the observability inequalities for

    Zhang, Xu and Zuazua, Enrique , booktitle=. On the optimality of the observability inequalities for. 2008 , publisher=

    2008

  13. [21]

    Semigroup Forum , volume=

    Structural decomposition of thermo-elastic semigroups with rotational forces , author=. Semigroup Forum , volume=. 2000 , organization=

    2000

  14. [22]

    Journal of Inverse and Ill-posed Problems , doi =

    Unique continuation for over-determined Kirchoff plate equations and related thermoelastic systems , author =. Journal of Inverse and Ill-posed Problems , doi =. 2001 , lastchecked =

    2001

  15. [23]

    SIAM Journal on Control and Optimization , volume =

    Avalos, George and Lasiecka, Irena , title =. SIAM Journal on Control and Optimization , volume =. 2000 , doi =

    2000

  16. [24]

    2018 , issn =

    Determination of singular time-dependent coefficients for wave equations from full and partial data , journal =. 2018 , issn =

    2018

  17. [25]

    Archive for Rational Mechanics and Analysis , volume=

    On uniqueness in inverse problems for semilinear parabolic equations , author=. Archive for Rational Mechanics and Analysis , volume=. 1993 , publisher=

    1993

  18. [26]

    SIAM Journal on Applied Mathematics , volume=

    On an inverse problem for the plate equation with passive measurement , author=. SIAM Journal on Applied Mathematics , volume=. 2023 , publisher=

    2023

  19. [27]

    Communications on Pure and Applied Mathematics , volume=

    Global uniqueness for a semilinear elliptic inverse problem , author=. Communications on Pure and Applied Mathematics , volume=. 1994 , publisher=

    1994

  20. [28]

    The Calder

    C. The Calder. Advances in Mathematics , volume=. 2021 , publisher=

    2021

  21. [29]

    SIAM Journal on Mathematical Analysis , volume =

    Lai, Ru-Yu and Lu, Xuezhu and Zhou, Ting , title =. SIAM Journal on Mathematical Analysis , volume =. 2024 , doi =

    2024

  22. [30]

    Inventiones mathematicae , volume=

    Inverse problems for Lorentzian manifolds and non-linear hyperbolic equations , author=. Inventiones mathematicae , volume=. 2018 , publisher=

    2018

  23. [31]

    Analysis and PDE , volume=

    Stability and Lorentzian geometry for an inverse problem of a semilinear wave equation , author=. Analysis and PDE , volume=. 2025 , publisher=

    2025

  24. [32]

    Inverse Problems , volume=

    Analysis and computation of an inverse source problem for the biharmonic wave equation , author=. Inverse Problems , volume=. 2024 , publisher=

    2024

  25. [33]

    Annals of PDE , volume=

    An inverse problem for a semilinear elliptic equation on conformally transversally anisotropic manifolds , author=. Annals of PDE , volume=. 2023 , publisher=

    2023

  26. [34]

    Fu, Song-Ren and Yu, Yongyi and Zimmermann, Philipp , journal=. The. 2026 , publisher=

    2026

  27. [35]

    Mathematische Annalen , volume=

    Determination of the density in a nonlinear elastic wave equation , author=. Mathematische Annalen , volume=. 2024 , publisher=

    2024

  28. [36]

    Inverse Problems , volume=

    Simultaneous recoveries for semilinear parabolic systems , author=. Inverse Problems , volume=. 2022 , publisher=

    2022

  29. [37]

    Solving Inverse Source Problems Using Observability

    Alves, Carlos and Silvestre, Ana Leonor and Takahashi, Tak\'. Solving Inverse Source Problems Using Observability. Applications to the. SIAM Journal on Control and Optimization , volume =. 2009 , doi =

    2009

  30. [38]

    Inverse problems , volume=

    Unique recovery of unknown spatial load in damped Euler--Bernoulli beam equation from final time measured output , author=. Inverse problems , volume=. 2021 , publisher=

    2021

  31. [39]

    2021 , month =

    Li, Peijun and Yao, Xiaohua and Zhao, Yue , title =. 2021 , month =. doi:10.1088/1361-6420/ac104e , url =

    2021 doi

  32. [40]

    Eller and I

    M. Eller and I. Lasiecka and R. Triggiani , pages =. Unique continuation for over-determined. Journal of Inverse and Ill-posed Problems , doi =. 2001 , lastchecked =

    2001

  33. [41]

    Potential recovery for

    Osses, Axel and Palacios, Benjam. Potential recovery for. Inverse Problems , volume=. 2013 , publisher=

    2013

  34. [42]

    Inverse Problems , volume=

    Stability in inverse problem of an elastic plate with a curved middle surface , author=. Inverse Problems , volume=. 2023 , publisher=

    2023

  35. [43]

    Lipschitz stability in inverse problems for a

    Yuan, Ganghua and Yamamoto, Masahiro , journal=. Lipschitz stability in inverse problems for a. 2007 , publisher=

    2007

  36. [44]

    SIAM Journal on Control and Optimization , volume=

    Carleman estimates of refined stochastic beam equations and applications , author=. SIAM Journal on Control and Optimization , volume=. 2022 , publisher=

    2022

  37. [45]

    Journal of Mathematical Analysis and Applications , volume=

    Carleman estimates for an N-dimensional plate equation with clamped boundary conditions and applications , author=. Journal of Mathematical Analysis and Applications , volume=. 2025 , publisher=

    2025

  38. [46]

    Journal of Optimization Theory and Applications , volume=

    Global uniqueness and stability for an inverse plate problem , author=. Journal of Optimization Theory and Applications , volume=. 2007 , publisher=

    2007

  39. [47]

    Communications in Partial Differential Equations , volume=

    Inverse problems for third-order nonlinear perturbations of biharmonic operators , author=. Communications in Partial Differential Equations , volume=. 2025 , publisher=

    2025

  40. [48]

    Journal of Differential Equations , volume=

    Uniqueness of recovering random perturbed potentials of biharmonic operator from the far-filed pattern , author=. Journal of Differential Equations , volume=. 2026 , publisher=

    2026

  41. [49]

    SIAM Journal on Imaging Sciences , volume=

    An Inverse Obstacle Scattering Problem with Passive Data in the Time Domain , author=. SIAM Journal on Imaging Sciences , volume=. 2026 , publisher=

    2026

  42. [50]

    Inverse Problems , volume=

    Determining both sound speed and internal source in thermo-and photo-acoustic tomography , author=. Inverse Problems , volume=. 2015 , publisher=

    2015

  43. [51]

    SIAM Journal on Mathematical Analysis , volume=

    Reconstruction of 1D evolution equations and their initial data from one passive measurement , author=. SIAM Journal on Mathematical Analysis , volume=. 2025 , publisher=

    2025

  44. [52]

    arXiv preprint arXiv:2507.10012 , year=

    Uniqueness and stability in determining the wave equation from a single passive boundary measurement , author=. arXiv preprint arXiv:2507.10012 , year=

    arXiv

  45. [53]

    Transactions of the American Mathematical Society , volume=

    Determination of the sound speed and an initial source in photoacoustic tomography , author=. Transactions of the American Mathematical Society , volume=

  46. [54]

    Photoacoustics , pages=

    Reconstructing multiple initial pressure and speed of sound distributions simultaneously in photoacoustic tomography , author=. Photoacoustics , pages=. 2025 , publisher=

    2025

  47. [55]

    Journal of Differential Equations , volume=

    On an inverse boundary problem arising in brain imaging , author=. Journal of Differential Equations , volume=. 2019 , publisher=

    2019

  48. [56]

    Archive for Rational Mechanics and Analysis , volume=

    On identifying magnetized anomalies using geomagnetic monitoring , author=. Archive for Rational Mechanics and Analysis , volume=. 2019 , publisher=

    2019

  49. [57]

    Archive for Rational Mechanics and Analysis , volume=

    On identifying magnetized anomalies using geomagnetic monitoring within a magnetohydrodynamic model , author=. Archive for Rational Mechanics and Analysis , volume=. 2020 , publisher=

    2020

  50. [58]

    SIAM Journal on Mathematical Analysis , volume=

    Determining a random Schrodinger equation with unknown source and potential , author=. SIAM Journal on Mathematical Analysis , volume=. 2019 , publisher=

    2019

  51. [59]

    Determining a random Schr

    Li, Jingzhi and Liu, Hongyu and Ma, Shiqi , journal=. Determining a random Schr. 2021 , publisher=

    2021

  52. [60]

    SIAM Journal on Mathematical Analysis , volume=

    Inverse scattering for the biharmonic wave equation with a random potential , author=. SIAM Journal on Mathematical Analysis , volume=. 2024 , publisher=

    2024

  53. [61]

    Doklady Akademii Nauk , volume=

    Global uniqueness of a class of multidimensional inverse problems , author=. Doklady Akademii Nauk , volume=. 1981 , organization=

    1981

  54. [62]

    arXiv preprint arXiv:2505.08473 , year=

    Determining evolutionary equations by a single passive boundary observation , author=. arXiv preprint arXiv:2505.08473 , year=

    arXiv

  55. [63]

    Stably recovering fourth-order nonlinear plate equations on

    Fu, Song-Ren and Liu, Hongyu and Yu, Yongyi , journal=. Stably recovering fourth-order nonlinear plate equations on

  56. [64]

    2010 , publisher=

    Polyharmonic boundary value problems: positivity preserving and nonlinear higher order elliptic equations in bounded domains , author=. 2010 , publisher=

    2010

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.