Abstract:We consider the Dirichlet and Neumann eigenvalues of the Laplacian for a planar, simply connected domain. The eigenvalues admit a characterization in terms of a layer potential of the Helmholtz equation. Using the exterior conformal mapping associated with the given domain, we reformulate the layer potential as an infinite-dimensional matrix. Based on this matrix representation, we develop a finite section approach for approximating the Laplacian eigenvalues and provide a convergence analysis by applying the Gohberg--Sigal theory for operator-valued functions. Moreover, we derive an asymptotic formula for the Laplacian eigenvalues on deformed domains that results from the changes in the conformal mapping coefficients.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is the calculation and estimation of the eigenvalues of the Laplacian operator, especially the eigenvalues under Dirichlet and Neumann boundary conditions in simply - connected planar regions. Specifically, the authors reformulate and approximate these eigenvalues through conformal mapping and the Gohberg - Sigal theory.
### Main Research Contents
1. **Layer Potential Representation of Eigenvalues**:
- The authors use the layer potentials (single - and double - layer potentials) of the Helmholtz equation, combined with external conformal mapping, to transform the eigenvalue problem into an infinite - dimensional matrix problem.
- The formula is expressed as:
\[
S_\omega^\Omega[\phi](z) = \int_{\partial \Omega} \Gamma_\omega(z - \xi) \phi(\xi) d\sigma(\xi),
\]
\[
D_\omega^\Omega[\phi](z) = \int_{\partial \Omega} \frac{\partial \Gamma_\omega(z - \xi)}{\partial \nu_\xi} \phi(\xi) d\sigma(\xi),
\]
where \(\Gamma_\omega\) is the fundamental solution of the two - dimensional Helmholtz equation.
2. **Finite Truncation Method**:
- In order to approximate the Laplace eigenvalues, the authors propose a finite truncation method based on the geometric basis \(\{\tilde{\eta}_m\}_{-\infty}^{\infty}\).
- Specifically, for a certain \(n\), consider the truncated matrix \(T_nK_\omega^\Omega\), and prove that its eigenvalues converge to the original eigenvalues within certain closed balls.
3. **Influence of Shape Perturbations**:
- The influence of small perturbations on eigenvalues is studied, and a first - order formula for eigenvalue changes is derived.
- Let \(\Psi_\Omega[k,\epsilon]\) represent the mapping after a small perturbation of the conformal mapping of the domain \(\Omega\), then the change of eigenvalues can be expressed as:
\[
\left|\lambda_j(\Omega[k,\epsilon])-\lambda - 2|\epsilon|\eta_j\sqrt{\lambda}\right|\leq C|\epsilon|^{1+\frac{1}{\mu_j}},
\]
where \(\eta_j\) and \(\mu_j\) depend on the \(|\epsilon|\)-order terms in the asymptotic expansion of \(K_\omega^\Omega[k,\epsilon]\).
### Main Contributions
- A new method for approximating Laplace eigenvalues using conformal mapping and the Gohberg - Sigal theory is proposed.
- The effectiveness of the finite truncation method is proved, and an error estimate is given.
- The influence of shape perturbations on eigenvalues is analyzed, and a first - order estimation formula for eigenvalue changes is provided.
Through these methods, the paper not only provides a new numerical method for calculating Laplace eigenvalues, but also provides a theoretical basis for understanding the changes of eigenvalues in regions of different shapes.