\(L^ p\)-approach to mixed boundary value problems for second-order elliptic operators
type: Item
instance of: scholarly article
title: \(L^ p\)-approach to mixed boundary value problems for second-order elliptic operators
zbMATH Open document ID: 0812.35033
author: K. Umezu
published in: Tokyo Journal of Mathematics
publication date: 1994-09-28T00:00:00Z
review text: Let \(\Omega\) be a bounded domain in \(\mathbb{R}^ N\) with a \(C^ \infty\) boundary. Let \(A_ p\) and \(L_ p\) be linear differential operators with real-valued coefficients in \(C^ \infty (\overline {\Omega})\) and \(C^ \infty (\partial\Omega)\) respectively, defined in \(H^{s,p} (\Omega)\) \((s\in [2,+ \infty)\), \(p\in (1,+ \infty))\) by the equations \[ \begin{aligned} A_ p u &= \sum_{i,j=1}^ N D_ i[ a^{i,j} (x)D_ j u]+ \sum_{j=1}^ N b^ j(x) D_ j u+ c(x)u \qquad (D_ j= \partial/ \partial x_ j),\\ L_ p u &= \biggl[ a(x) {{\partial u} \over {\partial\nu}}+ b(x)u \biggr]_{| \partial \Omega} \qquad \biggl( \nu_ i= \sum_{j=1}^ N a^{i,j} (x) n_ j \biggr). \end{aligned} \] Here \(n(x)\) denotes the outward normal unit vector at \(x\in \partial\Omega\). Moreover, the matrix \((a^{i,j})_{i, j}\) is assumed to be symmetric and positive definite in \(\overline {\Omega}\) and the function \(a\), entering the boundary opertor \(L_ p\), may vanish on \(\partial\Omega\). Consider then the Banach space \(B_{(a,b)}^{ s-1-1/ p,p} (\partial\Omega)\) defined by \[ B_{(a,b)}^{ s-1-1/ p,p} (\partial\Omega)= \{\varphi= a\varphi_ 1+ b\varphi_ 0:\;\varphi_ j\in H^{s-j-1/ p,p} (\partial\Omega),\;j=0,1\} \] equipped with the norm \[ |\varphi |_{a,b; s-1-1/ p,p}= \inf\{| \varphi_ 1 |_{a,b; s-1-1/ p,p}+ | \varphi_ 0 |_{a,b; s-1/ p,p}:\;\varphi= a\varphi_ 1+ b\varphi_ 0\}. \] Under the conditions \(a(x)\geq 0\), \(b(x)\geq 0\) on \(\partial\Omega\), \(b(x)>0\) on \(\Gamma= \{x\in \partial\Omega\): \(a(x)= 0\}\), \(c(x)<0\) in \(\Omega\) the author shows that the elliptic boundary value problem \(A_ p u=f\) in \(\Omega\), \(L_ p u=\varphi\) on \(\partial\Omega\) admits a unique solution \(u\in H^{s,p} (\Omega)\) continuously depending on the data with respect to the norms pointed out. If, moreover, \(b(x)- \sum_{i=1}^ N b^ i(x) n_ i(x) \geq 0\) \(\forall x\in \partial\Omega\), the author extends to the present case the basic spectral results proved by \textit{S. Agmon} (when \(a(x)>0\) \(\f…
reviewed by: Alfredo Lorenzi
Mathematics Subject Classification ID: 35J25
Mathematics Subject Classification ID: 35B65
Mathematics Subject Classification ID: 35P10
Mathematics Subject Classification ID: 35A05
Mathematics Subject Classification ID: 35P20
zbMATH DE Number: 645687
zbMATH Keywords: Robin's problem
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.3836/tjm/1270128189
OpenAlex ID: W2050988903
DOI: 10.3836/TJM/1270128189
description: scientific article; zbMATH DE number 645687