Existence and regularity of renormalized solutions for some elliptic problems involving derivatives of nonlinear terms (Q1318254)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Existence and regularity of renormalized solutions for some elliptic problems involving derivatives of nonlinear terms
scientific article

    Statements

    Existence and regularity of renormalized solutions for some elliptic problems involving derivatives of nonlinear terms (English)
    0 references
    15 December 1994
    0 references
    This paper is devoted to the study of renormalized solutions of \[ -\text{div} \bigl( a(x,u,Du) \bigr) - \text{div} \bigl( \Phi (u) \bigr) + g(x,u) = f, \tag{*} \] on a bounded open subset of \(\mathbb{R}^ N\) with zero boundary conditions. The operator \(A\) defined on \(W^{1,p} (\Omega)\) (with \(p>1)\) by \((a\) is a vector valued Caratheodory function) \(Au = \text{div} (a(x,u,Du))\) is a nonlinear Leray-Lions operator such that there exist \(c_ i>0\) \((i=1,2,3)\) such that \[ \bigl | a(x,t, \xi) \bigr | \leq c_ 1 | t |^{p-1} + c_ 1 | \xi |^{p-1} + d(x), \quad d \in L^{p/(p-1)} (\Omega) \] \[ \bigl[ a(x,t,\xi) - a(x,t, \overline \xi) \bigr] [\xi - \overline \xi] > 0\;(\xi \neq \overline \xi),\quad a(x,t, \xi) \xi \geq c_ 3 | \xi |^ p \] \(\forall (t, \xi, \overline \xi) \in \mathbb{R}^{2N + 1}\), a.e. \(x \in \Omega\), \(f\) and \(\Phi\) belong respectively to \(W^{-1,p/(p-1)} (\Omega)\) and \((C^ 0(\mathbb{R}))^ N\) and \(g\) satisfies some more technical conditions. It is proven that there exists a renormalized solution to \((*)\), i.e. a function \(u\) of \(W_ 0^{1,p} (\Omega)\) such that \[ - \biggl[\text{div} \bigl( a(x,u,Du) \bigr) \biggr] h(u) - \text{div} \bigl( \Phi (u)h(u)\bigr) + \Phi (u)h'(u)Du+ g(x,u)h(u) = fh(u) \] in \({\mathcal D}' (\Omega)\), \(\forall h \in C^ 1_ c (\Omega)\). Properties of these solutions are then studied: a sufficient condition for a renormalized solution to be a usual weak solution of \((*)\); energy identities; the largest class of possible test functions. \(L^ s\)-regularity of renormalized solutions is at least studied in the general case, and in a case where a further coerciveness condition (a growth condition) on \(g\) provides more regularity. Application of these two regularity results to the existence of weak solutions is finally given.
    0 references
    0 references
    0 references
    0 references
    0 references
    renormalized solutions
    0 references
    nonlinear Leray-Lions operator
    0 references
    largest class of possible test functions
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references