$L^{p}$ measure of growth and higher order Hardy-Sobolev-Morrey inequalities

TL;DR

This paper introduces a novel $L^{p}$ framework for growth comparison of functions and their derivatives, leading to higher order Hardy-Sobolev-Morrey inequalities with optimal integrability conditions.

Contribution

It develops a new $L^{p}$ perspective on growth inequalities, extending classical Hardy, Sobolev, and Morrey inequalities to higher order derivatives with optimal assumptions.

Findings

Establishes $L^{p}$ growth inequalities for derivatives and functions.

Derives higher order Hardy/Sobolev/Morrey inequalities with optimal conditions.

Provides polynomial correction terms for functions in these inequalities.

Abstract

When the growth at infinity of a function $u$ on $\Bbb{R}^{N}$ is compared with the growth of $|x|^{s}$ for some $s\in \Bbb{R},$ this comparison is invariably made pointwise. This paper argues that the comparison can also be made in a suitably defined $L^{p}$ sense for every $1\leq p<\infty $ and that, in this perspective, inequalities of Hardy, Sobolev or Morrey type account for the fact that sub $|x|^{-N/p}$ growth of $\nabla u$ in the $% L^{p} $ sense implies sub $|x|^{1-N/p}$ growth of $u$ in the $L^{q}$ sense for well chosen values of $q.$ By investigating how sub $|x|^{s}$ growth of $\nabla ^{k}u$ in the $L^{p}$ sense implies sub $|x|^{s+j}$ growth of $\nabla ^{k-j}u$ in the $L^{q}$ sense for (almost) arbitrary $s\in \Bbb{R}$ and for $q$ in a $p$-dependent range of values, a family of higher order Hardy/Sobolev/Morrey type inequalities is obtained, under optimal integrability assumptions. These optimal inequalities take the form of estimates for $\nabla ^{k-j}(u-\pi _{u}),1\leq j\leq k,$ where $\pi _{u}$ is a suitable polynomial of degree at most $k-1,$ which is unique if and only if $s<-k.$ More generally, it can be chosen independent of $(s,p)$ when $s$ remains in the same connected component of $\Bbb{R}\backslash \{-k,...,-1\}.$