Growth properties of hyperplane integrals of Sobolev functions in a half space (Q5956127)

Let \(x=(x^\prime,x_n)\in \mathbb{R}^n\) and \[ U_r(x')=u(x^\prime,r)-\sum_{k=0}^{m-1}\frac{r^k}{k!}\left[\left(\frac{\partial}{\partial x_n}\right)^k u\right](x^\prime, 0). \] The author studies the behavior of the integral \[ S_q(u)=\left(\int_{\partial D} |U_r(x')|^q dx^\prime \right), \quad D= \mathbb{R}^n_+ \] as \(r\to 0\). The main result is given in Theorem 3.1 which states that for functions \[ u(x)\in BL_m(L_{\text{loc}}^p(D))=\{u\in L_{\text{loc}}^p (D): \;D^\lambda u\in L_{\text{loc}}^p (D) \;(|\lambda|=m) \}, \] satisfying the condition \[ \int_D |\nabla_mu(x)|^p x_n^\beta dx < \infty \] there holds \[ \lim\limits_{r\to 0} r^{-\omega}S_q(U_r)=0 \] with \(\omega = \frac{n-mp+\beta}{p}- \frac{n-1}{q}\) under certain assumptions on \(p, q, \beta \) and \(m \). Some applications to the Dirichlet problem for the polyharmonic equation are also given.