Existence and non-existence of extremal functions for inequalities of Bliss-Moser type
We establish a concentration--compactness theory for a one-dimensional singular Moser-type functional with logarithmic weight function $$\sup\limits_{v\in E }\int_0^1 e^{\left(\log\frac{e}{s}+γ\log\log\frac{e}{s}\right)\frac{v^2(s)}{s}}ds<\infty,~γ\in[0,1],$$ where $$E:= \left\{u \in H^{1}(0, 1): u(0) = 0, \int_0^1 |u'|^2dx=1\right\}.$$ In particular, we prove compactness for all normalized sequences in the subcritical range $γ<1$, thereby resolving an open problem proposed in [J. M. do Ó, B. Ruf and P. Ubilla, CVPDE 2023]. We also study the critical Bliss-Moser inequality: \begin{equation}\nonumber \sup\limits_{v\in E }I^c(v)< +\infty,\quad I^c(v)=\int_0^1 e^{\left(\log\frac{e}{s}+\log\log\frac{e}{s}+cs\right)\frac{v^2(s)}{s}}ds. \end{equation} For any $c\in(-\infty,+\infty)$, we determine the sharp concentration level $$\sup_{v_j\in E,v_j~\text{is~NCS}}\limsup\limits_{j\to\infty} I^c(v_j)=1+e^2,$$ and obtain explicit sufficient conditions for attainability under $c>c^*$ and non-attainability under $c<-c_*$. This results describe how linear perturbations govern the transition between compactness, concentration, and attainability at the critical level.