\documentstyle{article}
\textwidth=16cm
\textheight=22cm
\begin{document}
\baselineskip=18pt
\hoffset -60pt
\centerline{\bf Boundary integral method for the}
\centerline{\bf Laplace equation in a slit domain}
\centerline{M. Avigal and J.Steinberg, Technion, Haifa}
\ \\ {\bf Abstract.} Let $D$ be a domain whose boundary is composed of a
simple closed curve $L$ and a slit $S$ inside $L$. The bounded solution $w$
of the Laplace equation, satisfying $\partial w/\partial n=0$ on $S$ and
given conditions on $L$ is represented as an integral transform
$$ w(P)=\int \limits_L \{K(P,Q)\partial w(Q)/\partial n-w(Q)
\partial K(P,Q)/\partial n\}\,ds;\quad P\in D, $$
where $K$ is a fundamental solution satisfying $\partial K/\partial n_P=0$,
$P\in S$; $\partial K/\partial n_Q=0$, $Q\in S$. $K$ can be constructed
with the help of a biorthogonal system $\{w_j,\tilde w_j\}$, i.e. a pair of
sequences of harmonic functions in $D$, whose normal derivative vanish on
$S$, and satisfying $(w_j,\tilde w_j)=\alpha_j \delta_{jk}$;
$\alpha_j\ne 0$, with the skew-symmetric bilinear form
$$ (f,g)=\int \limits_L (f\partial g/\partial n-g\partial f/\partial n)
\,ds. $$
Choosing for $S$ the interval $|x|<1$, the solution $w$ possesses an harmonic
continuation across $S$ on the two-sheet Riemann surface $R$ of the
function $\zeta=(z^2-1)^{1/2}$, and it can be proved that the expansion
$w=\sum c_j w_j$; $c_j=\alpha_j^{-1}(w,\tilde w_j)$, holds true on that
part of $R$ cut by the largest Cassini-oval contained in $D$, whose foci
are the points $x=\pm 1$; $y=0$. The biorthogonal system is composed of four
subsystems each of which is symmetric or anti-symmetric w.r.t. the
$x,y$-axes and yields a contribution to $K$ of the form
$$ K_i=-\frac{1}{8\pi}\log \overline{PQ}+H_i(P,Q);\quad (i=1,2,3,4), $$
where $H_i(P,Q)$ is a harmonic function of $Q$ for any fixed $P$ (not at
the ends of $S$, which are branching points) and vice-versa.
All functions are expressed adequately in elliptic coordinates on $R$.
While $K_1$ and $K_2$ are elementary functions, $K_3$ and $K_4$ can be
defined in terms of two of the four hypergeometric functions $F_i$ of two
variables considered by P. Appell in 1880, namely
$$ F_1(a,b,b',c;X,Y) \mbox{ and } F_3(a,a',b,b',c;X,Y). $$
The integral representation of the solution $w$ now allows to obtain an
integral equation for the unknown values of $w(Q)$ or of
$\partial w(Q)/\partial n$ on $L$, while the path of integration is only $L$,
thus avoiding the singular points at the ends of $S$.
\end{document}