On the question of polynomial traces (Q1079149)

Let \(\phi\) (x,h), \(x\in R^ n\), \(n\geq 2\), be a positive weight function with a parameter \(h\in (0,1)\). Let \(1\leq p<\infty\) and let u be a function such that for any compact \(Q\subset R^{n-1}\) the integral \[ \int^{1}_{0}dh\int^{1}_{0}dx_ n\int_{Q}\phi (x^{(n-1)},x_ n,h)| \Delta^ r\quad_ hu(x^{(n-1)},x_ n)|^ pdx^{(n- 1)} \] is finite (here \(\Delta^ r_ hu\) is the r-th-order difference of u with respect to the variable \(x_ 1)\) and such that on Q there exists a trace of u in the sense of convergence in the \(L_ p\)-metric. It is proved that for the trace to be equivalent to a function which is a polynomial of degree at most r-1 in the variable \(x_ 1\) it suffices that for a.e. \(h\in (0,1)\) and for all compact sets \(Q\subseteq R^{n- 1}\) the integral \(\int_{Q\times (0,1)}\phi (x,h)dx\) is strongly divergent near the hyperplane \(R^{n-1}\), i.e. for any \(\alpha >0\), \(\beta\in (0,1)\) and for any systems of sets \(E(x_ n)\subset Q\) with \(_{n-1}(E(x)_ n))\geq \alpha\), \(x_ n\in (0,\beta)\) it is true that \(\int_{E(x_ n)\times (0,\beta)}\phi (x,h)dx=\infty\). The case of trace on hyperplanes of dimension less then n-1 is also considered briefly. The results extend similar ones of \textit{B. V. Tandit} [Differ. Uravn. 15, 492-506 (1979; Zbl 0405.46023)] and \textit{G. N. Yakovlev} [Imbedding Theorems and Their Applications, Proc. Sympos., Baku, 1966, 225-233 (1970; Zbl 0253.46070)].