Gagliardo-Nirenberg inequalities in weighted Orlicz spaces equipped with a nonnecessarily doubling measure (Q935549)

Let \(\Phi:[0,\infty)\to[0,\infty)\) be an \(N\)-function, i.e., a differentiable, strictly convex function such that \(\lim_{\lambda\to0+}\Phi(\lambda)/\lambda=0\) and \(\lim_{\lambda\to\infty}\Phi(\lambda)/\lambda=\infty\). Let \(\mu\) be a Radon measure on \(\mathbb R^n\). The weighted Orlicz space \(L^\Phi(\mu)\) is the class of measurable functions \(f\) on \(\mathbb R^n\) with the finite Luxemburg norm \(\| f\|_{(\Phi,\mu)}=\inf\{K>0: \int_{\mathbb R^n}\Phi(| f(x)|/K)d\mu(x)\leq1\}\). The authors prove the following extension of the Gagliardo-Nirenberg inequality: Suppose that \(\Phi\), \(H\), \(J\), \(J_1\) are \(N\)-functions such that \(\Phi\in C^1((0,\infty))\), \(\Phi'(t)/t\) is bounded near 0 and the estimates \(\Phi'(s)rt/s\leq\Phi(s)+H(t)+J(r)\), \(\Phi(s)tr/s\leq\Phi(s)+h(t)+J_1(r)\) hold for \(s,t,r>0\). Let \(\mu(dx)=\exp(-\varphi(x))dx\) with \(\varphi\in C^1(\mathbb R^n)\) satisfy \(\|\nabla\varphi\|_{(J_1,\mu)}<\infty\). Then for every \(u\in C^\infty_0(\mathbb R^n)\) the inequality \(\|\nabla u\|_{(\Phi,\mu)}\leq\beta_n\sqrt{\| u\|_{(H,\mu)}\|\nabla^{(2)}u\|_{(J,\mu)}}+C_{n,\varphi}\| u\|_{(H,\mu)}\) holds with \(\beta_n=c\root4\of{n}\) and \(C_{n,\varphi}=c\sqrt{n}\|\nabla\varphi\|_{(J_1,\mu)}\) where \(c>0\) does not depend on \(n\). It should be noted that the measure \(\mu\) need not satisfy the doubling condition. Classes of admissible \(N\)-functions \(\Phi\), \(H\), \(J\), \(J_1\) are discussed and the proved Gagliardo-Nirenberg inequality is illustrated by examples of inequalities for Lebesgue spaces, logarithmic inequalities and exponential inequalities.