On weak continuity of the Moser functional in Lorentz-Sobolev spaces (Q2362666)

The main result of this paper concerns the sequential weak continuity of the Moser functional \[ J_p(u)=\int_\Omega\exp((n\omega_n^{1/n}p|u(x)|)^{n'})\,dx, \] at the borderline exponent for the case of Lorentz-Sobolev spaces. In particular, let \(n\in\mathbb N\), \(n\geq 2\), \(q\in(1,n]\), \(R>0\), and \(\{u_k\}_k\subset W^1_0L^{n,q}(B(R))\) be a sequence of radial functions satisfying \[ \|\nabla u_k\|_{n,q}\leq1\qquad\text{and}\qquad u_k\rightharpoonup u\quad \text{in} \quad W^1_0L^{n,q}(B(R)), \] for some \(u\in W^1_0L^{n,q}(B(R))\). Set \[ \theta:=\|\nabla u\|_{n,q}^q\in[0,1]\qquad\text{and}\qquad P=(1-\theta)^{-1/q}\in[1,\infty]. \] If \(\theta<1\) and \(\limsup_{k\to\infty}J_P(u_k)>J_P(u),\) then there are \(\{u_{k_m}\}_{k_m}\subset\{u_k\}_k\) and \(\{s_m\}_m\subset(0,1)\), \(s_m\to 0\), such that \[ u_{k_m}-u-(1-\theta)^{1/q}m_{s_m}\underset{m\to\infty}{\longrightarrow} 0\quad\text{in}\quad W^1_0L^{n,q}(B(R)). \] This result extends the main theorem of [\textit{R. Černý}, Math. Inequal. Appl. 17, No. 4, 1245--1280 (2014; Zbl 1314.46040)], for the case of \(W^1_0L^{n}(B(R)).\)