Steklov zeta-invariants and a compactness theorem for isospectral families of planar domains

Alexandre Jollivet (1) , Vladimir Sharafutdinov (2)

1 LPP - Laboratoire Paul Painlevé - UMR 8524
2 Sobolev Institute of Mathematics

The inverse problem of recovering a smooth simply connected multisheet planar domain from its Steklov spectrum is equivalent to the problem of determination, up to a gauge transform, of a smooth positive function $a$ on the unit circle from the spectrum of the operator $a\Lambda$, where $\Lambda$ is the Dirichlet-to-Neumann operator of the unit disk. Zeta-invariants are defined by $Z_m(a)={\rm Tr}[(a\Lambda)^{2m}-(aD)^{2m}]$ for every smooth function $a$. In the case of a positive $a$, zeta-invariants are determined by the Steklov spectrum. We obtain some estimate from below for $Z_m(a)$ in the case of a real function $a$. On using the estimate, we prove the compactness of a Steklov isospectral family of planar domains in the $C^\infty$-topology. We also describe all real functions $a$ satisfying $Z_m(a)=0$.

Mots clés: Steklov spectrum; Dirichlet-to-Neumann operator; zeta function; inverse spectral problem

Domaines: Physique mathématique [math-ph]

Alexandre Jollivet, Vladimir Sharafutdinov. Steklov zeta-invariants and a compactness theorem for isospectral families of planar domains. Journal of Functional Analysis, 2018, 275 (7), pp.1712-1755. ⟨10.1016/j.jfa.2018.06.019⟩. ⟨hal-01392858⟩