On boundary values of solutions of a quasi-linear partial differential equation of elliptic type
type: Item
instance of: scholarly article
title: On boundary values of solutions of a quasi-linear partial differential equation of elliptic type
zbMATH Open document ID: 0622.35022
DOI: 10.1216/RMJ-1986-16-2-223
published in: Rocky Mountain Journal of Mathematics
publication date: 1986-01-01T00:00:00Z
review text: Consider the quasi-linear elliptic equation \[ (1)\quad - \sum^{n}_{i,j=1}D_ i(a_{ij}(x,u)D_ ju)+b(x,u,Du)+\lambda u=0 \] in a bounded domain Q of \({\mathbb{R}}_ n\) with \(C^ 2\) boundary \(\partial Q\). In addition to some standard hypotheses, it is assumed that \[ K^{- 1}| \xi |^ 2\leq \sum^{n}_{i,j=1}a_{ij}(x,u)\xi_ i\xi_ j\leq K| \xi |^ 2,\quad | b(x,u,s)| \leq f(x)+C(| u| +| s|), \] \[ (2)\quad \int_{Q}f(x)^ 2 r(x)^{\theta} dx<\infty \text{ for some } \theta <3, \] where \(r(x)=dist(x,\partial Q)\) and K and C are positive constants. Thus, the ellipticity hypothesis and the growth conditions in u and Du are very strong, but the hypothesis (2) on f is rather weak and nonstandard. In Theorem 1 it is proved that if \(u\in W^{1,2}_{loc}(Q)\) is a solution of (1) such that (3) \(\int_{Q}| Du(x)^ 2 r(x)dx<\infty\), then u has an \(L^ 2\) trace on \(\partial Q\). Notice that for a function u (which may not be a solution of the equation) \(\int_{Q}| Du(x)|^ 2 r(x)^{1-\epsilon} dx<\infty\) implies that u has an \(L^ 2\) trace on \(\partial Q\) for any \(\epsilon >0\), but not for \(\epsilon =0\) [see \textit{A. Kufner}, ''Weighted Sobolev spaces'' (1985; Zbl 0567.46009), p. 75]. In Theorem 2 an energy estimate involving the integral (3) is proved (for \(\lambda\) large enough). In Theorem 3 it is proved that for \(\lambda\) large enough and for any \(\phi\in L^ 2(\partial Q)\) there exists a solution \(u\in W^{1,2}_{loc}(Q)\) of Equation (1) (with b(x,u,Du) replaced by c(x,u)u-\(f(x))\) such that \(u=\phi\) on \(\partial Q\). Notice that it is not assumed that \(\phi \in H^{1/2}(\partial Q).\) The methods of this paper are based partially by the author and \textit{B. Thompson} [Ann. Pol. Math. 42, 45-71 (1983; Zbl 0564.35032)], and the author [Manuscr. Math. 40, 91-108 (1982; Zbl 0503.35036)]. A key idea is the use of a test function \(\nu\) defined by \(\nu (x)=u(x)\cdot (\rho (x)- \delta)\) if \(r(x)>\delta\); \(\nu (x)>0\) if r(x)\(\leq \delta\), where \(\rho\) (x)…
Mathematics Subject Classification ID: 35J67
Mathematics Subject Classification ID: 35J65
Mathematics Subject Classification ID: 35J25
zbMATH DE Number: 4008931
zbMATH Keywords: Dirichlet problem
zbMATH Keywords: distance to the boundary
zbMATH Keywords: quasi-linear
zbMATH Keywords: growth conditions
zbMATH Keywords: \(L^ 2\) trace
zbMATH Keywords: Weighted Sobolev spaces
zbMATH Keywords: energy estimate
author: Jan Chabrowski
reviewed by: Francisco Bernis
MaRDI profile type: Publication
Wikidata QID: Q115240054
Recommended article: Q4225217
Recommended article: On the boundary value problem for some quasilinear equations
Recommended article: Q3751954
Recommended article: On the solvability of boundary value problems for quasi-linear equations
Recommended article: Q3553041
Recommended article: The boundary-value problem for the quasilinear degenerate elliptic equation
Recommended article: Some remarks on a quasilinear elliptic boundary value problem
Recommended article: Q4544865
Recommended article: Q5660010
Recommended article: Q3470886
description: scientific article; zbMATH DE number 4008931