On an elaboration of M. Kac's theorem concerning eigenvalues of the Laplacian in a region with randomly distributed small obstacles (Q794198)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On an elaboration of M. Kac's theorem concerning eigenvalues of the Laplacian in a region with randomly distributed small obstacles
scientific article

    Statements

    On an elaboration of M. Kac's theorem concerning eigenvalues of the Laplacian in a region with randomly distributed small obstacles (English)
    0 references
    0 references
    1983
    0 references
    We consider a bounded domain \(\Omega\) in \({\mathbb{R}}^ 3\) with smooth boundary \(\Gamma\). We put \(B(\epsilon;w)=\{x\in {\mathbb{R}}^ 3\quad:\quad | x-w|<\epsilon \}.\) Let \(0<\mu_ 1(\epsilon;w(m))\leq \mu_ 2(\epsilon;w(m))\leq...\) be the eigenvalues of \(-\Delta(=-div \text{grad})\) in \(\Omega_{\epsilon,w(m)}=\Omega \backslash \overline{\cup^{m}_{i=1}B(\epsilon;w_ i^{(m)})}\) under the Dirichlet condition on its boundary. Here w(m) denotes the set of m points \(\{w_ i^{(m)}\}^ m_{i=1}\in \Omega^ m\). Let V(x)\(\geq 0\) be a \(C^ 1\)-class function on \({\bar \Omega}\) satisfying \(\int_{\Omega}V(x)\quad dx=1.\) We consider \(\Omega\) as the probability space with the probability density V(x) dx. Let \(\Omega^ m=\prod^{m}_{i=1}\Omega\) be the probability space with the product measure. We prove the Theorem: Fix \(\alpha >0\) and k. Then \[ \lim_{m\to \infty}P(w(m)\in \Omega^ m;\quad m^{\delta}| \mu_ k(\alpha /m;w(m))-\mu^ V_ k|<\epsilon)=1 \] holds for any \(\epsilon>0\) and \(\delta \in [0,1/4)\). Here \(\mu^ V_ k\) denotes the kth eigenvalue of \(-\Delta +4\pi \alpha V(x)\) in \(\Omega\) under the Dirichlet condition on \(\Gamma\). [See also the author's paper in Proc. Jap. Acad., Ser. A 60, 43-45 (1984)].
    0 references
    randomly distributed small obstacles
    0 references
    Laplacian
    0 references
    Kac theorem
    0 references
    singular variation of domains
    0 references
    random media
    0 references
    Dirichlet condition
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references