Existence of a representing Borel measure for multiply connected cavities

Let ω=k=1Nωk\omega=\cup_{k=1}^N\omega_k be a multiply connected set, where the sets ωk\omega_k, for k=1,,Nk=1,\dots,N, are nonintersecting simply connected open domains with C1,1C^{1,1} boundaries γk\gamma_k, and ωΩ\overline{\omega}\subset\Omega. Set γ=k=1Nγk\gamma=\cup_{k=1}^N\gamma_k. For fH12(γ)f\in\mathcal H^{\frac{1}{2}}(\gamma), let FF be a holomorphic function in ω\omega whose trace on γ\gamma is ff. Representing-measure conjecture. There exists a Borel measure ν\nu supported in ω\omega such that

f,Qγ112,γ=ωFdν\langle f,Q^{1}_{\gamma}\rangle_{\frac12,\gamma}=\int_\omega F'\,\mathrm d\nu

for every such trace ff and holomorphic function FF. This would extend the measure representation already proved for a simply connected cavity and for the case of two disks to arbitrary finite unions of nonintersecting simply connected cavities, underpinning the proposed shape-from-moments reconstruction method.

Sources & referencesView supporting material

Primary source

Alexandre Munnier and Karim Ramdani, “Calderón cavities inverse problem as a shape-from-moments problem”, arXiv:1803.03519 (2018).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.