The Hardy-Littlewood Maximal Function and Weighted Lorentz Spaces (Q4340947)

The author has studied the asymptotic behaviour at \(\lambda\to +\infty\) of the spectral counting function \(N(\lambda;\Omega_s)\) for a variational Dirichlet eigenvalue problem \(\Delta u + \lambda u = 0\) in \(\Omega_s\subset{\mathbb{R}}^2\) where \(\Omega_s\) is a set of a one-parametric family of sets generated by a disjoint union of open squares. Constructing \(\Omega_s\) the author starts with the unit square (0-th generation) and at the \(k\)-th generation, where \(k=n+m+1,0\leq m \leq k-1,\) adds to the \((k-1)\)-th generation the \(C_{m+n}^{m}2^{m+2}3^n\) squares of side-lengths \(s^{n+1}((1-s)/2)^{m}\) with \(0<s<1.\) The spectral asymptotics are shown to depend on the Minkowski dimension \(d\) of the boundary \(\partial\Omega_s\) and on whether the values of a function \(\sigma(s)=\log s/\log((1-s)/2)\) are rational or irrational. According to M. Levitin and D. Vassiliev, if \(\sigma(s)\) is irrational then \[ N(\lambda;\Omega_s)=\frac{|\Omega_s|_2}{4\pi}\lambda + C_s\lambda^{d/2}+o(\lambda^{d/2}) \] for some constant \(C_s<0.\) The author has proved that if \(\Omega_s\in F=\{\Omega_s:0<s\leq 1/3\}\) and \(\sigma(s)\in\{p/q\in [1,\infty):(p,q)=1\}\) then \[ N(\lambda;\Omega_s)=\frac{|\Omega_s|_2}{4\pi}\lambda - \phi\left(\frac{p\log\lambda - 2p\log(\pi/s)}{2\log(1/s)}\right) \lambda^{d/2}+O(\lambda^{\gamma/2}), \] where \(\phi\) is a bounded 1-periodic function with a dense set of discontinuities in \(\mathbb{R}\) and \(1\leq\gamma<d.\) If \(\Omega_s\in G=\{\Omega_s:s_{*}<s\leq 1\},\) where \(s_{*}=(1+\sqrt{8})/7,\) then the Weyl theorem for the principal term of the asymptotic is not applicable. In this case the author has proved for \(\sigma(s)\in(0,\sigma(s_{*})]\setminus{\mathbb{Q}} \}\) that \[ N(\lambda;\Omega_s)=\begin{cases} C^{*}_s\lambda^{d/2}+o(\lambda^{d/2})\text{ if } d>2,\\ C_2\lambda\log\lambda+o(\lambda\log\lambda)\text{ if } d=2, \end{cases} \] where \(C^{*}_s, C_2\) are some constants. For \(\sigma(s)\in\{p/q\in(0,\sigma(s_{*})):(p/q)=1\}\) the author has established that \(N(\lambda;\Omega_s)= \psi\left(\frac{p\log\lambda - 2p\log(\pi/s)}{2\log(1/s)}\right) \lambda^{d/2}+O(\lambda^{\gamma/2}),\) where the function \(\psi\) is a bounded 1-periodic function with a dense set of discontinuities in \(\mathbb{R}\) and \(2\leq\gamma<d\).