English

On the M.Kac problem with augmented data

Mathematical Physics 2024-05-28 v1 math.MP

Abstract

Let Ω{\Omega} be a bounded plane domain. As is known, the spectrum 0<λ1<λ20<\lambda_1<\lambda_2\leqslant\dots of its Dirichlet Laplacian L=Δ[H2(Ω)H01(Ω)]L=-\Delta{\upharpoonright}[H^2({\Omega})\cap H^1_0({\Omega})] does not determine Ω{\Omega} (up to isometry). By this, a reasonable version of the M.Kac problem is to augment the spectrum with relevant data that provide the determination. To give the spectrum is to represent LL in the form L~=ΦLΦ=diag{λ1,λ2,}\tilde L=\Phi L\Phi^*={\rm diag\,}\{\lambda_1,\lambda_2,\dots\} in the space l2{\bf l}_2, where Φ:L2(Ω)l2\Phi:L_2({\Omega})\to{\bf l}_2 is the Fourier transform. Let K={hL2(Ω)Δh=0inΩ}{\mathscr K}=\{h\in L_2({\Omega})\,|\,\,\Delta h=0\,\,{\rm in}\,\,{\Omega}\} be the harmonic function subspace, K~=ΦKl2\tilde{\mathscr K}=\Phi{\mathscr K}\subset{\bf l}_2. We show that, in a generic case, the pair L~,K~\tilde L,\tilde {\mathscr K} determines Ω{\Omega} up to isometry, what holds not only for the plain domains (drums) but for the compact Riemannian manifolds of arbitrary dimension, metric, and topology. Thus, the subspace K~l2\tilde{\mathscr K}\subset{\bf l}_2 augments the spectrum, making the problem uniquely solvable.

Cite

@article{arxiv.2405.16629,
  title  = {On the M.Kac problem with augmented data},
  author = {M. I. Belishev and A. F. Vakulenko},
  journal= {arXiv preprint arXiv:2405.16629},
  year   = {2024}
}
R2 v1 2026-06-28T16:40:57.001Z