On the analyticity of a nonlocal phase-to-intensity mapping (Q1975752)

The mapping \[ u \to I(x;u)=|A(x,l) |^2, \quad \tag{1} \] given by the square of a spur modulus (when \(z=l\)) of a complex-valued solution \(A=A(x,z)\) of the Schrödinger-type equation \[ (2)\quad \partial_z A +i \Delta A = 0, \qquad (3)\quad A |_{z=0} = E_0 (x)\exp(iu) \] is considered. In the equations (1), (2) \( u\) is a real-valued function of \( x=(x_1,x_2) \in \Omega, i^2=-1, \Delta= \partial ^2_{x_1x_1} + \partial ^2_{x_2x_2}\) is the Laplace operator, \(E_0 (x)\) is a given complex-valued function. One of the following conditions on a boundary \(\partial \Omega\) of the region \(\Omega\): \[ (4)\quad A |_{\partial \Omega}=0, \qquad (5)\quad\partial_\nu A |_{\partial \Omega}=0, \] \[ A |_{x_j =-a_j} = A |_{x_j =a_j}, \qquad \partial_{x_j}A |_{x_j =- a_j} = \partial_{x_j} A |_{x_j=a_j}, \quad j = 1, 2 , \tag{6} \] where \( \partial_{\nu} \) is a normal derivative, should be added to the equations (1)--(3). A new operator \(I_G (u)\) parallel to the operator \(I(x;u)\) is suggested in the article and the analyticity of both operators is proved for all boundary conditions (4)--(6).