Isometry of domains in \({\mathbb{R}}^ n\) and relative isometry of their boundaries. II (Q1083037)

A mapping \(F: A\to {\mathbb{R}}^ n\) defined on some subset A of the Euclidean space \({\mathbb{R}}^ n\) is called a Euclidean isometry if for any two points a,b\(\in A\) the Euclidean distance between the images F(a) and F(b) equals the Euclidean distance between the points a and b. Two domains D and D' in \({\mathbb{R}}^ n\) are called isometric if there exists a Euclidean isometry \(F: D\to D'\). Suppose that the boundary of the domain \(D\in {\mathbb{R}}^ n\) is a connected manifold of class \(C^ 1\) and dimension n-1 without boundary. With the use of the metric induced on D from the Euclidean metric of \(R_ n\) one can construct in D the intrinsic metric. From the properties of the boundary of D it is clear that this intrinsic metric of D can be extended (by continuity) onto the boundary of the domain D, yielding a metric on this boundary. The restriction of this extended metric to the boundary of the domain is called the relative metric of the boundary of D which we denote by \(\rho_ D\). Assume that the boundaries S and S' of the domains D and D' in \({\mathbb{R}}^ n\) are connected manifolds of class \(C^ 1\) and dimension n-1 without boundary. A mapping \(f: S\to S'\) is called isometric in the relative metrics of the boundaries of the domains D and D' if for all points a,b\(\in S\), we have \(\rho_ D'(f(a),f(b))=\rho_ D(a,b)\). The boundaries S and S' are said to be isometric in the relative metrics of the boundaries of D and D'. Now, the present author has set forth the studies in his paper [ibid. 25, No.3(145), 3-13 (1984; Zbl 0576.53040)] to characterize those pairs of domains of finite-dimensional Euclidean space for which isometry of the boundaries in the relative metrics implies isometry of the domains in the Euclidean metrics [see also the paper of \textit{A. P. Kopylov}, ibid. 25, No.3(145), 120-131 (1984; Zbl 0594.54025)]. The prospects for a complete solution of this problem are unclear at this stage. However, the author's recent investigation indicates two directions towards its solution, and the first one has been dealt with by him in part 1 [loc. cit.], whereas in this paper he presents a way to approach to the second one with the following theorem: assume that D and D' in \({\mathbb{R}}^ n\), \(n\geq 3\), have nonempty bounded complement and that their boundaries are connected manifolds of class \(C^ 1\) and dimension n-1 without boundary which are isometric in the relative metrics of the boundaries of D and D'. Then the domains D and D' are isometric.