scientific article; zbMATH DE number 1284080

A priori estimates in context of PDEs (35B45) Boundary value problems for second-order elliptic equations (35J25) Spaces of measurable functions ((L^p)-spaces, Orlicz spaces, Köthe function spaces, Lorentz spaces, rearrangement invariant spaces, ideal spaces, etc.) (46E30)

Review text

The authors study existence, uniqueness and a priori estimates for weak \(L^q\) solutions of the Dirichlet and Neumann problems in an infinite cylinder and in a layer. Let \(n>1\), \(Z'\subset\mathbb{R}^{n- 1}\) be a bounded domain, \(\partial Z'\in C^1\), \(Z= Z'\times\mathbb{R}\), \(1< q<\infty\); \(\widehat H^{1,q}(Z)= \{p\in L^q_{\text{loc}}(Z\cap S(0,R))\) for all \(R>0\): \(\nabla p\in L^q(Z)^n\}\), \(\widehat H^{1,q}(\mathbb{R})= \{h\in L^q_{\text{loc}}(\mathbb{R}): h'\in L^q(\mathbb{R})\}\), \(\widehat H^{1,q}_{(0)}(\mathbb{R})= \{h\in\widehat H^{1,q}(\mathbb{R}):\widetilde h(0)= 0\), where \(\widetilde h\in C^{0,1/q'}(\mathbb{R})\) is the Hölder continuous representative element of \(h\}\); \(\widehat H^{1,q}_m(Z)= \{u\in \widehat H^{1,q}(Z): \int_{Z'} u(y, x_n) dy= 0\) for a.e. \(x_n\in\mathbb{R}\}\), \(\widehat H^{1,q}_\mathbb{R}(Z)= \{u\in\widehat H^{1,q}(Z)\): there exists \(h\in\widehat H^{1,q}_{(0)}(\mathbb{R})\) such that \(u(x)= h(x_n)\) for a.e. \(x\in Z\}\), \(\widehat H^{1,q}_N(Z)= \widehat H^{1,q}_m(Z)\oplus\widehat H^{1,q}_{\mathbb{R}}(Z)\). Theorem 1: There exists \(C(q)> 0\) such that \(|\nabla u|_q\leq C(q)\sup\{{\langle\nabla u,\nabla\phi\rangle\over |\nabla\phi|_{q'}}\), \(0\neq\phi\in H^{1,q'}_0(Z)\}\) for all \(u\in H^{1,q}_0(Z)\). Theorem 2: There exists \(C(q)>0\) such that \(|\nabla u|_q\leq C(q)\sup\{ {\langle\nabla u,\nabla\phi\rangle\over |\nabla\phi|_{q'}}\), \(0\neq\phi\in \widehat H^{1,q'}_N(Z)\}\) for all \(u\in\widehat H^{1,q}_N(Z)\). Analogous results are true for \(W= W'\times \mathbb{R}^{n- m}\), where \(0< m<n\), \(W'\subset\mathbb{R}^m\) is a bounded domain, \(\partial W'\in C^1\) and for \(\widehat H^{1,q}_G(W)\equiv \{u\in \widehat H^{1,q}(\mathbb{R}^{n- m}): \int_G u dy= 0\}\) instead of \(\widehat H^{1,q}_{\mathbb{R}}(Z)\), where \(G\subset\mathbb{R}^{n- m}\) is a nonempty bounded domain. For the entire collection see [Zbl 0910.00019].

Recommendations

Cited in

(4)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4240428)