Pith. sign in

REVIEW 3 major objections 5 minor 75 references

Determination of isometric real-analytic metric and spectral invariants for elastic Dirichlet-to-Neumann map on Riemannian manifolds

T0 review · 3 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read This paper proves that on a compact real-analytic Riemannian manifold with boundary, the elastic Dirichlet-to-Neumann map determines the metric up to a boundary-fixing isometry under Lamé and extension hypotheses.

desk verdict The elastic boundary determination result is real and worth refereeing; the spectral invariants have a concrete arithmetic error and need correction. read the letter →

arxiv 1908.05096 v3 pith:D33UO53U submitted 2019-08-14 math.AP math-phmath.DGmath.MPmath.SP

Genqian Liu This is my paper · ORCID
classification math.APmath-phmath.DGmath.MPmath.SP MSC 53C2474B0535K5035P2035S05
keywords elasticLaméoperatorDirichlet-to-Neumannmapisometricuniquenessreal-analyticmetricboundarydeterminationStekloveigenvaluesheattraceasymptoticsspectralinvariants
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

The paper studies the elastic Dirichlet-to-Neumann map $\Xi_g$, the operator sending boundary displacements to boundary tractions for the stationary Lamé system on a compact Riemannian manifold. It proves that under real-analyticity plus a strong-convexity or extendability condition, the full map $\Xi_g$ determines the metric $g$ up to a real-analytic diffeomorphism that fixes the boundary, for all dimensions $n\ge 2$ and Lamé constants outside one explicit algebraic exceptional set. It also computes the first $n-1$ heat-trace coefficients of the elastic Steklov eigenvalues, showing that boundary volume, total mean curvature, and other total boundary curvatures are spectral invariants measurable from the elastic Steklov spectrum. The results transfer the scalar Laplace boundary-determination theorem and its spectral consequences to a non-Laplace-type operator, answering two open problems posed about the elastic boundary map.

What carries the argument

The load-bearing mechanism is the factorization of the elastic Lamé operator in boundary normal coordinates as $$\partial_{x_n}^2 I + B\partial_{x_n}+C = (\partial_{x_n}I+B-Q)(\partial_{x_n}I+Q),$$ where $Q$ is a pseudodifferential operator with symbol $q\sim q_1+q_0+q_{-1}+\cdots$. The principal symbol $q_1$ is found by solving the matrix quadratic $q_1^2-b_1q_1+c_2=0$ inside an invariant subring generated by three geometric matrices over a coefficient ring of diagonal matrices; the lower-order symbols solve Sylvester equations $(q_1-b_1)q_{j-1}+q_{j-1}q_1=E_j$, with explicit solutions obtained by inverting the Kronecker-sum matrix $U=I_n\otimes L+M^t\otimes I_n$. This full symbol then defines $\Xi_g$, and its subprincipal terms recover $g$ and its normal derivatives inductively. The same symbol feeds the resolvent $(\Xi_g-\tau I)^{-1}$, whose trace over a contour gives the heat-trace coefficients.

What would settle it

Find or compute two real-analytic metrics on a compact real-analytic manifold with real-analytic boundary that have the same elastic Dirichlet-to-Neumann map but admit no global boundary-fixing isometry, while the extension hypotheses fail; or, at Lamé parameters satisfying $(n-1)\lambda^3+(4n-2)\lambda^2\mu+(n+5)\lambda\mu^2+(14-8n)\mu^3=0$, exhibit two real-analytic metrics whose DtN symbols agree but whose first normal derivatives at the boundary differ.

Watch

Extended reading notes

Core claim

The central discovery is that the matrix-valued full symbol of $\Xi_g$ carries every order of normal-derivative information about the boundary metric. Explicitly, the paper proves that for $\mu>0$, $\lambda+\mu\ge 0$, and the nondegeneracy condition $(n-1)\lambda^3+(4n-2)\lambda^2\mu+(n+5)\lambda\mu^2+(14-8n)\mu^3\ne 0$, the symbol determines the boundary value of $g$ and all its normal derivatives at every boundary point; with real-analyticity this gives a local boundary-fixing isometry, and the extension lemma upgrades it to a global isometry, yielding $g=\varrho^*\tilde g$. On the spectral side, the paper derives the asymptotic expansion $\sum_{k=1}^\infty e^{-t\tau_k}\sim \sum_{m=0}^{n-1}a_m t^{m+1-n}+o(1)$ and gives explicit formulas for $a_0$ and $a_1$, the former proportional to boundary volume and the latter to the integral of total mean curvature, with all $a_m$ obtainable by an explicit recursive procedure.

Load-bearing premise

The proof stands on a global extension lemma: after the DtN symbol recovers the metric only near the boundary, that local isometry must extend across the whole manifold, which requires either strong convexity of the manifold with respect to both metrics or extendability of one metric, together with $\pi(\Omega,\partial\Omega)=0$.

Editorial extensions

If this is right

  • Equality of elastic DtN maps $\Xi_g=\Xi_{\tilde g}$ forces $g=\varrho^*\tilde g$ for a boundary-fixing real-analytic diffeomorphism, so all isometry-invariant interior geometry is encoded in the elastic boundary response.
  • In the special case of a simply connected bounded real-analytic domain in Euclidean space, any real-analytic metric with the same displacement-to-traction map as the Euclidean metric is isometric to it.
  • The leading heat coefficient $a_0$ determines the boundary volume $\mathrm{vol}(\partial\Omega)$ from the elastic Steklov spectrum, and $a_1$ determines the total mean curvature and related boundary curvature integrals.
  • The leading-term Tauberian argument yields the Weyl law $N(\tau)\sim C(n,\mu,\lambda)\,\mathrm{vol}(\partial\Omega)\,\tau^{n-1}$ for the counting function of elastic Steklov eigenvalues.
  • The same explicit recovery procedure is stated to work for variable Lamé parameters $\mu>0$, $\lambda+\mu\ge0$, so the uniqueness statement is not limited to constant coefficients.

Reading between the lines

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

  • A testable consequence the author leaves implicit: because the recovery of the metric is by explicit Taylor series in boundary normal coordinates, the theorem implies a practical local reconstruction algorithm for real-analytic elastic media that measures displacements and tractions on the boundary and then extends the recovered collar metric.
  • The exceptional Lamé polynomial that must not vanish is a natural place to look for genuine counterexamples: at those parameters the subprincipal symbol may fail to determine the first normal derivative of the metric, and two metrics with the same full DtN symbol might differ to first order across the boundary.
  • The spectral-invariant method is transferable in principle to other non-Laplace-type boundary operators, such as anisotropic elasticity, thermoelasticity, or poroelasticity, where no explicit heat invariants are known; the same subring-and-Sylvester recipe could yield their first $n-1$ invariants.
  • Because $a_2$ is written in terms of scalar and Ricci curvatures of both the domain and boundary, the elastic Steklov spectrum may give access to interior curvature once sufficiently many heat coefficients are measured, not just boundary geometry.
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

3 major / 5 minor

Summary. The paper studies the elastic Dirichlet-to-Neumann map for the Lamé system on a compact Riemannian manifold with boundary. It derives an explicit full symbol of the map by a matrix factorization of the Lamé operator, proves that the map determines the real-analytic metric up to isometry under the Lee–Uhlmann hypotheses (Theorem 1.1), and computes the first n coefficients of the heat-trace expansion of the associated semigroup (Theorem 1.3). The boundary-recovery argument is constructive: it recovers the Taylor series of the metric in boundary normal coordinates from the symbol of the Dirichlet-to-Neumann map. The spectral part evaluates contour and radial integrals to extract boundary-volume and curvature invariants.

Significance. If the massive algebraic derivation is correct, Theorem 1.1 would settle the real-analytic anisotropic analogue of the Lee–Uhlmann boundary determination problem for elasticity, including the Euclidean-domain corollary, and would be the first result of this type for the elastic Dirichlet-to-Neumann map. The spectral calculation is also conceptually novel: it gives explicit formulas for all coefficients a_0, ..., a_{n-1} rather than only the leading term. A genuine strength is that the construction is parameter-free: the constants s_1,...,s_5 and the tilded constants are fixed by solving internal algebraic equations, not fitted to any target. However, the leading heat coefficient in Theorem 1.3 contains an arithmetic inconsistency, so the spectral claims as stated are not yet reliable; the length and density of the symbolic computations make independent verification essential.

major comments (3)
  1. [Eq. (5.22) and Eq. (1.9), Remark 5.2] The first term in the curly bracket of Eq. (5.22), and the identical expression in Eq. (1.9), is inconsistent with the preceding integral evaluation. Since ∫_{R^{n-1}} e^{-2μ|ξ'|t} dξ' = vol(S^{n-2}) Γ(n-1) (2μt)^{-(n-1)}, this contribution equals t^{1-n} (n-2)! vol(S^{n-2}) / ((2π)^{n-1} μ^{n-1}) · 2^{-(n-1)}, not the printed factor 1. The exponential with rate 2μ(λ+μ)/(λ+3μ) also carries a factor 2^{-(n-1)} in this normalization; the factor printed in Eq. (1.9), if read as 2^{n-1}, is also inconsistent with the integrand. Consequently the coefficient a_0 and the Weyl constant in Eq. (5.31) are too large by a factor 2^{n-1}; for n=2 the boundary-volume invariant is wrong by a factor of 2. This is an internal arithmetic inconsistency that invalidates Theorem 1.3 and Remark 5.2 as printed.
  2. [Proof of Theorem 1.1 and Lemma 4.3] The global step of Theorem 1.1 is not self-contained: Lemma 4.3 (Lee–Uhlmann–Myers) is quoted without proof, and the hypotheses of strong convexity or extendability together with the fundamental-group condition are imported from [42] rather than proved in the elastic setting. This is a legitimate use of the literature, but the paper should state precisely where Lemma 4.3 is proved and confirm that the topological condition π(Ω,∂Ω)=0 is exactly the condition π_1(Ω,∂Ω)=0 used by Lee and Uhlmann. Because Lemma 4.2 only constructs an isometry on a neighborhood of the boundary, Theorem 1.1 cannot be considered established without this imported result.
  3. [Eqs. (5.28)–(5.29) and the symbolic reduction] The simplification leading from Eq. (5.28) to Eq. (5.29) is the computational core of Theorem 1.3 and depends on dozens of intermediate displayed formulas and the constants s_i and s̃_i. The paper announces the result but does not provide a verifiable derivation, a computer-algebra file, or an independent check of the simplifications. Given the demonstrated arithmetic slip in the leading coefficient a_0, a verified symbolic computation or a detailed derivation of (5.29) and (5.31) should be required before the spectral invariants are accepted.
minor comments (5)
  1. [Remark 4.4(ii)] The reference to “Theorem 5.3” appears to be a typo; the statement being discussed is Theorem 1.1 (or possibly Theorem 1.3), not a theorem in Section 5.
  2. [Remark 4.5] Remark 4.5 claims the results hold for smooth Lamé parameters with μ<0, although ellipticity elsewhere requires μ>0; this is likely a typo, and the claimed extension to variable parameters needs either a proof or deletion.
  3. [Section 5, Theorem 1.3] The heat-trace sum in Theorem 1.3 begins at k=0 while the eigenvalues are indexed from k=1; the indexing should be harmonized.
  4. [Section 5, displayed formulas] Several displayed formulas contain garbled inequalities such as “n /greaterorequalslant2”, and the notation for the sphere volume and Gamma function is crowded; the manuscript would benefit from a careful typesetting pass.
  5. [Lemma 4.3 and Theorem 1.1] The paper alternates between π(Ω,∂Ω)=0 and π_1(Ω,∂Ω)=0; the notation should be made consistent and the meaning of the topological condition stated explicitly in both places.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the elastic Dirichlet-to-Neumann symbol is derived by explicit factorization, the metric recovery is algebraic, and the global extension step is an imported external lemma; the spectral invariants are computed, not fitted.

full rationale

None of the derivation steps reduces to its own inputs. The full symbol of the elastic Dirichlet-to-Neumann map is obtained by an explicit factorization of the equivalent elastic equation in Proposition 3.1, with the constants s1 through s5 and the tilded constants determined by solving the algebraic systems (3.16)-(3.20) and (3.33); these are internal equations of the factorization, not parameters fitted to a target quantity. Proposition 4.1 then recovers the Taylor series of the metric at boundary points from the symbols p1, p0, p-1, ... by explicit linear algebra, and the global step uses Lemma 4.3, a quoted external theorem of Lee-Uhlmann-Myers, not a self-citation or a theorem by the present author. The spectral invariants in Section 5 are computed from the resolvent symbols psi_{-1-m} via residue calculus and standard radial integrals; the coefficients a0 and a1 are evaluated from the derived principal and subprincipal symbols, not chosen to match the asymptotic trace. Liu's self-citations [43], [44], and [45] are used only for standard integral identities or analogous scalar settings and are not load-bearing for the elastic claims. The stated geometric-topological hypotheses in Theorem 1.1 are assumptions imported from the cited extension lemma, which limits the theorem's scope but does not make the argument circular. Possible arithmetic issues in the evaluation of Eq. (5.22) would be correctness concerns, not circularity.

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

The central proofs rest on standard elliptic theory, the Lee-Uhlmann-Myers extension lemma, and the real-analyticity and topological hypotheses. No fitted parameters and no invented physical entities appear; the constants s1 through s5 and the tilded constants are internal algebraic unknowns solved within the factorization, not parameters tuned to data.

assumptions (4)
  • standard math Standard elliptic regularity and semigroup theory for first-order elliptic pseudodifferential operators, including existence of the resolvent and heat trace asymptotic expansion.
    Invoked throughout Section 5 to write the parametrix (Xi - tau I)^(-1), to take contour integrals, and to pass from the trace of the kernel to the asymptotic expansion. These results are used as background theorems, not proved in the paper.
  • domain assumption The Lee-Uhlmann-Myers extension lemma (Lemma 4.3) is valid and applicable to the real-analytic metrics under consideration.
    Imported from Lee-Uhlmann and Myers, this lemma is the only mechanism that turns the local boundary isometry from Lemma 4.2 into a global isometry of the whole manifold. It is an external geometric theorem whose hypotheses are not proved in the paper.
  • domain assumption The Lamé system with the Ricci term models isotropic homogeneous elasticity on a Riemannian manifold and the natural boundary condition is the traction condition.
    Section 2.1 derives the operator from an energy functional, but the physical modeling choice that the displacement satisfies this exact equation and that the Dirichlet-to-Neumann map is defined as traction is a prior modeling assumption.
  • domain assumption The real analyticity of the metric and boundary and the topological condition pi(Omega, partial Omega) = 0 hold.
    Stated as hypotheses in Theorem 1.1. Real analyticity is needed for the Taylor series boundary determination to extend to the interior, and the topological condition is needed for the extension lemma. These are explicit assumptions, not proved.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Determination of isometric real-analytic metric and spectral invariants for elastic Dirichlet-to-Neumann map on Riemannian manifolds." pith.science (2026). https://pith.science/paper/D33UO53U

@misc{pith2026190805096,
  author       = {Pith},
  title        = {Pith review of: Determination of isometric real-analytic metric and spectral invariants for elastic Dirichlet-to-Neumann map on Riemannian manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/D33UO53U}},
  note         = {Machine review of arXiv:1908.05096}
}
abstract

In this paper, the elastic Dirichlet-to-Neumann map $\Xi_g$ is studied for the stationary elasticity system in a compact Riemannian manifold $(\Omega,g)$ with smooth boundary $\partial \Omega$. By overcoming methodological difficulties, we explicitly get matrix-valued full symbol for the elastic Dirichlet-to-Neumann map $\Xi_g$. We prove that for a strong convex or extendable real-analytic manifold with boundary, the elastic Dirichlet-to-Neumann map $\Xi_g$ uniquely determines the metric $g$ of $\Omega$ in the sense of isometry, thereby solving an open problem for the uniqueness of the metric under real-analytic setting. Furthermore, by calculating the symbol representation of the resolvent operator $(\Xi-\tau I)^{-1}$ we can explicitly obtain all coefficients $a_0, a_1 \cdots, a_{n-1}$ of the asymptotic expansion $\sum_{k=1}^\infty e^{-t \tau_k}\sim \sum_{m=0}^{n-1} a_m t^{m+1-n} +o(1)$ as $t\to 0^+$, where $\tau_k$ is the $k$-th eigenvalue of the elastic Dirichlet-to-Neumann map $\Xi_g$ (i.e., $k$-th elastic Steklov eigenvalue). These coefficients (spectral invariants) provide important geometric information for the manifold, which give an answer to another open problem for the elastic Steklov spectral asymptotics.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

75 extracted references · 75 canonical work pages

  1. [42]

    Lee and G

    J. Lee and G. Uhlmann, Determing anisotropic real-analytic conductivities by bo undary measurements, Comm. Pure Appl. Math., 42(1989), 1097-1112

    work page 1989

  2. [1]

    M. S. Agranovich, Some asymptotic formulas for elliptic pseudodifferential o perators, Funk. Anal. Prilozh. 21(1987), 53-56

    work page 1987

  3. [2]

    Ahlfors, Complex Analysis , Third Edition, McGraw-Hill, 1979

    L. Ahlfors, Complex Analysis , Third Edition, McGraw-Hill, 1979

    work page 1979

  4. [3]

    Artin, Galois theory , Notre Dame Univ., Indiana, 1942

    E. Artin, Galois theory , Notre Dame Univ., Indiana, 1942

    work page 1942

  5. [4]

    Avramidi, Matrix general relativity: a new look at old problems , Class

    I. Avramidi, Matrix general relativity: a new look at old problems , Class. Quant. Grav., 21 (2004) 103-120

    work page 2004

  6. [5]

    Avramidi, Gauged gravity via spectral asymptotics of non-Laplace typ e operators , J

    I. Avramidi, Gauged gravity via spectral asymptotics of non-Laplace typ e operators , J. High Energy Phys., 07 (2004), 030

    work page 2004

  7. [6]

    Avramidi, Non-Laplace type operators on manifolds with boundary , Analysis, geometry and topology of elliptic operators, W orld Sci

    I. Avramidi, Non-Laplace type operators on manifolds with boundary , Analysis, geometry and topology of elliptic operators, W orld Sci. Publ., Hackensack, NJ (2006), 107-140

    work page 2006

  8. [7]

    Bantle, Effecient implementation of the collocation method for the N avier-Lam´ e equation, June 2010

    A. Bantle, Effecient implementation of the collocation method for the N avier-Lam´ e equation, June 2010

    work page 2010

Show all 75 references
  1. [8]

    R. H. Bartels and G. H. Stewart, Solution of the matrix equation AX + XB = C, Comm. ACM. No, 15 (1972), 820-826

    1972

  2. [9]

    Bhatia and P

    R. Bhatia and P. Rosenthal, How and why to solve the operator equation AX − XB = Y , Bull. London Math. Soc. No.1, 29(1997), 1-21

    1997

  3. [10]

    Branson, P

    T. Branson, P. Gilkey, K. Kirsten and D. Vassilevich, Heat kernel asymptotics with mixed boundary conditions , Nucl. Phys. B563 (1999), 603-626

    1999

  4. [11]

    A. P. Calder´ on,On an inverse boundary value problem , Seminar on Numerical Analysis and its Applications to Cont inuum Physics (Rio de Janeiro, 1980), pp. 65-73, Soc. Brasil. Mat. , R ´ ıo de Janeiro, 1980

    1980

  5. [12]

    B. Chow, P. Lu and L. Ni, Hamilton’s Ricci flow , Science Press, Beijing, American Mathematical Society, P rovidence, RI, 2006

    2006

  6. [13]

    D. M. Cook, The Theory of the Electromagnetic Field , Mineola NY: Courier Dover Publications, 2002

    2002

  7. [14]

    Courant and D

    R. Courant and D. Hilbert, Methods of mathematical physics , Vol.1, Interscience publishers, New York, 1953

    1953

  8. [15]

    Duduchava, D

    R. Duduchava, D. Mitrea and M. Mitrea, Differential operators and boundary value problems on surfa ces, Mathematische Nachrichten 279, No. 9-10 (2006), 996-1023

    2006

  9. [16]

    Duistermaat and V

    H. Duistermaat and V. Guillemin, Spectrum of positive elliptic operators and periodic bicha racteristics, Invent. Math. 29(1975), no.1, 39-79

    1975

  10. [17]

    H. M. Edwards, Galois theory , Springer-Verlag, 1984

    1984

  11. [18]

    G. I. Eskin, Boundary Value Problemsfor Elliptic Pseudodigerential Eq uations (translated from Russian by S. Smith), Ann. Math. Society Translation of Mathematical Monographs , Vol. 52, Providence, R.I., 1981

    1981

  12. [19]

    Friedman, Partial Diferential Equations of Parabolic Type , Prentice Hall, Englewood Cliffs, NJ, 1964

    A. Friedman, Partial Diferential Equations of Parabolic Type , Prentice Hall, Englewood Cliffs, NJ, 1964

    1964

  13. [20]

    S. A. Fulling, Kernel asymptotics of exotic second-order operator , 3rd International Colloquium on Differential Equations, Plovdiv, Belgria, 18-22 August, 1992

    1992

  14. [21]

    I. M. Gelfand, M. M. Kapranov and A. V. Zelevinsky, Discriminants, resultants, and multidimensional determi nants, Boston: Birkh¨ auser, 1994

    1994

  15. [22]

    Gilkey, Recursion relations and the asymptotic behavior of the eige nvalues of the Laplacian , Compositio Math., 38(1979), 201-240

    P. Gilkey, Recursion relations and the asymptotic behavior of the eige nvalues of the Laplacian , Compositio Math., 38(1979), 201-240

    1979

  16. [23]

    Gilkey, The spectral geometry of a Riemannian manifold , J

    P. Gilkey, The spectral geometry of a Riemannian manifold , J. Differential Geometry, 10(1975), 601-618

    1975

  17. [24]

    Gilkey, Invariance Theory, the Heat Equation and the Atiyah-Singer Index Theorem , CRC Press, Boca Raton, 1995

    P. Gilkey, Invariance Theory, the Heat Equation and the Atiyah-Singer Index Theorem , CRC Press, Boca Raton, 1995

    1995

  18. [25]

    Greiner, An asymptotic expansion for the heat equation , Arch

    P. Greiner, An asymptotic expansion for the heat equation , Arch. Rational Mech. Anal., 41(1971), 163-218

    1971

  19. [26]

    Grubb, Functional Calculus of Pseudo-differential Boundary Probl ems, Birkh¨ auser, Boston, 1986

    G. Grubb, Functional Calculus of Pseudo-differential Boundary Probl ems, Birkh¨ auser, Boston, 1986

    1986

  20. [27]

    Grubb, Distributions and Operators , Graduate Texts in Mathematics, vol.252, Springer, New Yor k, 2009

    G. Grubb, Distributions and Operators , Graduate Texts in Mathematics, vol.252, Springer, New Yor k, 2009

    2009

  21. [28]

    Gurtin, The Linear Theory of Elasticity , C

    M. Gurtin, The Linear Theory of Elasticity , C. Truesdell (Ed.), Handbuch der Physik, VI, Springer-Ver lag, New York, 1972

    1972

  22. [29]

    Grubb and R

    G. Grubb and R. Seeley, W eakly parametric pseudodifferential operators and Atiyah CPatodiCSinger boundary problems , Invent. Math. 121 (1995), 481-529

    1995

  23. [30]

    H¨ ormander, The Analysis of Partial Differential Operators III, Springer-Verlag, Berlin Heidelberg New York, 1985

    L. H¨ ormander, The Analysis of Partial Differential Operators III, Springer-Verlag, Berlin Heidelberg New York, 1985

    1985

  24. [31]

    H¨ ormander, Linear Partial Differential Operators , Berlin: Springer, 1964

    L. H¨ ormander, Linear Partial Differential Operators , Berlin: Springer, 1964

    1964

  25. [32]

    R. A. Horn and C. R. Johnson, Topics in Matrix Analysis , Kindle Edition, Cambridge University Press, 1991

    1991

  26. [33]

    M. S. Joshi and S. R. McDowall, Total determination of material parameters from electroma gnetic boundary information , Pacific Journal of Mathematics, 193(2000), 107-129

    2000

  27. [34]

    Kac, Can one hear the shape of a drum? , Amer

    M. Kac, Can one hear the shape of a drum? , Amer. Math. Monthly (Slaught Mem. Papers, no. 11), 73(4)(1 966), 1-23

  28. [35]

    Kawohl, H

    B. Kawohl, H. Levine and W. Velte, Buckling eigenvalues for a clamped plate embedded in an elas tic medium and related questions, SIAM J. Math. Anal. 24(1993), 327-340

    1993

  29. [36]

    C. E. Kenig, M. Salo and G. Uhlmann, Inverse problems for the anisotropic Maxwell equations , Duke Mathematical Journal, No. 2, 157(2011), 369-419

    2011

  30. [37]

    Kirsten, Spectral Functions in Mathematics and Physics , CRC Press, Boca Raton, 2001

    K. Kirsten, Spectral Functions in Mathematics and Physics , CRC Press, Boca Raton, 2001

    2001

  31. [38]

    Kohn and L

    J. Kohn and L. Nirenberg, An algebra of pseudo-differential operators . Comm. Pure Appl. Math., 18(1965), 269-305

    1965

  32. [39]

    Korevaa, Tauberian Theory: A Century of Developments , Springer-Verlag, Berlin, Heidelberg, 2004

    J. Korevaa, Tauberian Theory: A Century of Developments , Springer-Verlag, Berlin, Heidelberg, 2004

    2004

  33. [40]

    V. D. Kupradze, Potential Methods in the Theory of Elasticity , Israel Program of Scientific Translation, Jerusalem, 1965

    1965

  34. [41]

    Landau and E

    L. Landau and E. M. Lifshitz, Theory of Elasticity (3rd ed.), Oxford, England: Butterworth Heinemann, 1986

    1986

  35. [43]

    G. Q. Liu, Asymptotic expansion of the trace of the heat kernel associa ted to the Dirichlet-to-Neumann operator , J. Differential Equations, 259(2015), 2499-2545. DETERMINATION OF ISOMETRIC REAL-ANALYTIC METRIC AND SPECT RAL INV ARIANTS 49

    2015

  36. [44]

    G. Q. Liu, The W eyl-type asymptotic formiula for biharmonic Steklov e igenvalues on Riemannian manifolds , Adv. Math., 228(2011), 2162-2217

    2011

  37. [45]

    G. Q. Liu, Determining anisotropic real-analytic metric from bounda ry electromagnetic information , arXiv: 1909.12803 [math.AP]

    1909 arXiv

  38. [46]

    G. G. Lorentz, Beweis des Gausschen Intergralsatzes , Math. Z., 51(1949), 61-81

    1949

  39. [47]

    S. R. McDowall, Boundary determination of material parameters from electr omagnetic boundary information , Inverse Problems 13(1997), 153-163

    1997

  40. [48]

    McKean and I

    H. McKean and I. M. Singer, Curvature and the eigenvalues of the Laplacian , J. Differential Geometry, 1(1967), 43-69

    1967

  41. [49]

    Minakshisundaram, Eigenfunctions on Riemannian manifolds , J

    S. Minakshisundaram, Eigenfunctions on Riemannian manifolds , J. Indian Math. Soc., 17(1953), 158-165

    1953

  42. [50]

    Morrey, On the analyticity of the solutions of analytic non-linear e lliptic systems of partial differential equations , Amer

    C. Morrey, On the analyticity of the solutions of analytic non-linear e lliptic systems of partial differential equations , Amer. J. Math. 80(1958), 198-218

    1958

  43. [51]

    Morrey, On the analyticity of the solutions of analytic non-linear e lliptic systems of partial differential equations , Amer

    C. Morrey, On the analyticity of the solutions of analytic non-linear e lliptic systems of partial differential equations , Amer. J. Math. 80(1958), 219-237

    1958

  44. [52]

    Morrey, Multiple Integrals in the Calculus of Variations , Springer-Verlag, New York, Inc., 1966

    C. Morrey, Multiple Integrals in the Calculus of Variations , Springer-Verlag, New York, Inc., 1966

    1966

  45. [53]

    S. D. Myers, Riemannian manifolh in the large , Duke Math. J. 1(1935), 39-49

    1935

  46. [54]

    Nakamura and G

    G. Nakamura and G. Uhlmann, Identification of Lam´ e parameters by boundary measurement s, Am. J. Math. 115(1993), 1161-1187

    1993

  47. [55]

    Nakamura and G

    G. Nakamura and G. Uhlmann, Global uniqueness for an inverse boundary problem arising i n elasticity , Invent. math. 118(1994), 457-474

    1994

  48. [56]

    Pazy, Semigroups of Linear Operators and Applications to Partial Differential Equations (Springer, 1983)

    A. Pazy, Semigroups of Linear Operators and Applications to Partial Differential Equations (Springer, 1983)

    1983

  49. [57]

    Polterovich and D

    I. Polterovich and D. Sher, Heat invariants of the Steklov problem , J. Geom. Analysis 25(2015), no.2, 924-950

    2015

  50. [58]

    M. H. Protter, Can one hear the shape of a drum? Revisited , SIAM Review, No.2, Vol.29 (1987)

    1987

  51. [59]

    Seeley, Complex powers of an elliptic operator , Proceedings of Symposia in Pure Mathematics, 10(1967), 28 8-307

    R. Seeley, Complex powers of an elliptic operator , Proceedings of Symposia in Pure Mathematics, 10(1967), 28 8-307

    1967

  52. [60]

    Seeley, The resolvent of an elliptic boundary value problem , Am

    R. Seeley, The resolvent of an elliptic boundary value problem , Am. J. Math., 91(1969), 889-920

    1969

  53. [61]

    W. S. Slaughter, The linearized theory of elasticity , Birkhauser, 2002

    2002

  54. [62]

    Sommerfeld, Mechanics of Deformable Bodies , New York: Academic Press, 1964

    A. Sommerfeld, Mechanics of Deformable Bodies , New York: Academic Press, 1964

    1964

  55. [63]

    D Spivak, A Comprehensive Introduction to Differential Geometry , II, Publish or Perish 1979

    M. D Spivak, A Comprehensive Introduction to Differential Geometry , II, Publish or Perish 1979

    1979

  56. [64]

    H. B. Stewart, Generation of analytic semigroups by strongly elliptic ope rators, Trans. Amer. Math. Soc., 199(1974) 141-161

    1974

  57. [65]

    J. A. Stratton, Electromagnetic Theory . McGraw-Hill Book Company, 1941

    1941

  58. [66]

    Sylvester, Sur l’equations en matrices px = xq, C

    J. Sylvester, Sur l’equations en matrices px = xq, C. R. Acad. Sci. Paris, No, 2, 99 (1884), 67-71, 115-116

  59. [67]

    M. E. Taylor, Partial Differential Equations II , Appl. Math. Sci., vol. 116, Springer-Verlag, New York, 199 6

  60. [68]

    M. E. Taylor, Partial Differential Equations III , Appl. Math. Sci., vol. 117, Springer-Verlag, New York, 199 6

  61. [69]

    Treves, Introduction to pseudodifferential and Fourier integral op erator, Plenum Press, New York, 1980

    F. Treves, Introduction to pseudodifferential and Fourier integral op erator, Plenum Press, New York, 1980

    1980

  62. [70]

    Vassilevich, Heat kernel expansion: users manual , Phys

    D. Vassilevich, Heat kernel expansion: users manual , Phys. Rept. 388 (2003), 279-360

    2003

  63. [71]

    W eyl, ¨Uber die Abh¨ angigkeit der Eigenschwingungen einer Membra n und deren Begrenzung , J

    H. W eyl, ¨Uber die Abh¨ angigkeit der Eigenschwingungen einer Membra n und deren Begrenzung , J. Reine Angew. Math., 141(1912), 1-11

    1912

  64. [72]

    W eyl, Das asymptotische Verteilungsgesetz der Eigenschwingung en eines beliebig gestalteten elastischen K¨ orpers, Rend

    H. W eyl, Das asymptotische Verteilungsgesetz der Eigenschwingung en eines beliebig gestalteten elastischen K¨ orpers, Rend. Circ. Mat. Palermo 39(1915), 1-49

    1915

  65. [73]

    W eyl, Ramifications, old and new, of the eigenvalue problem , Bull

    H. W eyl, Ramifications, old and new, of the eigenvalue problem , Bull. Amer. Math. Soc. 56(1950), 115-139

    1950

  66. [74]

    Whitehead, Elements of Homotopy theory , Springer-Verlag, New York, 1978

    G. Whitehead, Elements of Homotopy theory , Springer-Verlag, New York, 1978

    1978

  67. [75]

    Yasutomi, Modified Elastic W ave Equations on Riemannian and K¨ ahler Manifolds, Publ

    Y. Yasutomi, Modified Elastic W ave Equations on Riemannian and K¨ ahler Manifolds, Publ. RIMS, Kyoto Univ., 43(2007), 471-504

    2007

Pith tools

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