Compactness of embeddings of function spaces on quasi-bounded domains and the distribution of eigenvalues of related elliptic operators. II. (Q2345493)

A domain \(\Omega\) in \(\mathbb R^n\) is called quasi-bounded if \(\operatorname{dist}(x, \partial \Omega) \to 0\) for \(x\in \Omega\), \(|x| \to \infty\). Let \(B(j)\) be the maximal number of disjoint cubes \(Q_{j,m} = 2^{-j} m + 2^{-j} (0,1)^n\) with \(Q_{j,m} \subset \Omega\), \(j\in \mathbb N\), \(m \in \mathbb Z^n\), linearly complemented between \([j, j+1]\), \(j \geq j_0\), by \(B(t)\). Let \(B^{-1} (t)\) be the inverse function. Let \(\bar{A}^s_{p,q} (\Omega)\) be the completion of \(D(\Omega)\) of the spaces \(A^s_{p,q} (\mathbb R^n)\) of Besov and Triebel-Lizorkin type. It is the main aim of the paper to prove (under some additional assumptions for \(\Omega\)) that \[ e_k \big( \bar{A}^{s_1}_{p, q_1} (\Omega) \hookrightarrow \bar{A}^{s_2}_{p,q_2} (\Omega) \big) \sim 2^{-(s_1 - s_2) B^{-1} (k)}, \quad k\in \mathbb N, \] for the compact embedding of \(\bar{A}^{s_1}_{p,q_1} (\Omega)\) into \(\bar{A}^{s_2}_{p,q_2} (\Omega)\), \(s_1 - s_2 >0\), where \(e_k\) are the related entropy numbers. There is a corresponding assertion for compact embeddings of \(\bar{A}^{s_1}_{p_1, q_1} (\Omega)\) into \(\bar{A}^{s_2}_{p_2, q_2} (\Omega)\) with \(p_1 \not= p_2\). These assertions are applied to the spectral theory of the Dirichlet problem of uniformly elliptic operators in \(\Omega\) (distribution of eigenvalues). For Part I see [Proc. Edinb. Math. Soc., II. Ser. 56, No. 3, 829--851 (2013; Zbl 1291.46032)].