2
$\begingroup$

Problem

I asked a question at Math.SE last year and later offered a bounty for it, but it remains unsolved even in the simplest case. So I finally decided to repost this case here, (I know the question key is an integral and a solution to the limit). This result is from integral equation methods for scattering inverse problem by Kress and Kuo-Ming, can see this two paper (p167) paper 1,paper 2; I almost find relating to this article and include the author wrote the book, do not see the proof process, but the conclusion for this kind of problem is a very important results:

Let $\Omega\subset R^2$ be a simply connected bounded domain with infinitely differentiable boundary $\partial\Omega$ and unit normal vector $v$ directed into the exterior of $\Omega$ $$\Phi{(x,y)}=\dfrac{i}{4}H^{(1)}_{0}(k|x-y|),x\neq y$$ we denote the fundamental solution to the two-dimensional Helmholtz equation in terms of the first kind Hankel function of order zero

where the Helmholtz equation $$\Delta u+k^2u=0, \text{ in } R^2\setminus\overline{\Omega}$$ and $$(T\psi)(x):=\dfrac{\partial}{\partial v(x)}\int_{\partial\Omega}\dfrac{\partial\Phi{(x,y)}}{\partial v(y)}\psi{(y)}ds(y),x\in\partial\Omega.$$

Let: $$x=z(t)=(z_{1}(t),z_{2}(t)),y=z(\tau)=(z_{1}(\tau),z_{2}(\tau)),-1\le t,\tau\le 1$$

Show that: $$(T\psi)((z(t))=\dfrac{1}{|z'(t)|}\int_{-1}^{1}\left(\dfrac{1}{2\pi}\cdot\dfrac{1}{\tau-t}\dfrac{d}{d\tau}\psi(z(\tau))+L(t,\tau)\psi(z(\tau))\right)d\tau$$

where $$L(t,\tau)=-\dfrac{i}{2}\dfrac{z'(t)\{z(t)-z(\tau)\}z'(\tau)\{z(t)-z(\tau)\}}{|z(t)-z(\tau)|^2}\left(k^2H^{(1)}_{0}(k|z(t)-z(\tau)|)-\dfrac{2kH^{(1)}_{1}(k|z(t)-z(\tau)|)}{ |z(t)-z(\tau)|}\right)-\dfrac{ik}{2}\dfrac{z'(t)z'(\tau)}{|z(t)-z(\tau)|}H^{(1)}_{1}(k|z(t)-z(\tau)|)-\dfrac{1}{\pi}\dfrac{1}{(\tau-t)^2}+\dfrac{ik^2}{2}H^{(1)}_{0}(k|z(t)-z(\tau)|)z'(t)z'(\tau)$$

Maybe this results Discrete process can help: $$(T\psi)(x)=\dfrac{\partial}{\partial s(x)}\int_{\partial\Omega}\Phi{(x,y)}\dfrac{\partial \psi}{\partial s}(y)ds(y)+k^2v(x)\cdot\int_{\partial \Omega}\Phi{(x,y)}v(y)\psi{(y)}ds(y),x\in\partial\Omega $$

$\endgroup$

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.