Solvability of strongly nonlinear boundary value problems for second order differential inclusions (Q876921)

From MaRDI portal





scientific article; zbMATH DE number 5144882
Language Label Description Also known as
English
Solvability of strongly nonlinear boundary value problems for second order differential inclusions
scientific article; zbMATH DE number 5144882

    Statements

    Solvability of strongly nonlinear boundary value problems for second order differential inclusions (English)
    0 references
    0 references
    19 April 2007
    0 references
    The author considers the second-order, nonlinear differential inclusion \[ (a(x'(t)))'\in A(x(t))+ F(t, x(t), x'(t)) \] in \(\mathbb{R}^N\), where \(A\) and \(F\) are set-valued, subject to one of the following choices of boundary conditions: \[ x(0)= x(b)= 0,\quad x'(0)= x'(b)= 0 \] and \[ x(0)= x'(b)= 0. \] Several existence theorems are proven, where the corresponding assumptions depend on the boundary conditions, the domain of \(A\) and on the property of \(F\). For example, \(x(0)= x(b)= 0\), ii) the domain of \(A\) is not necessarily \(\mathbb{R}^N\) and iii) \(F\) is convex-valued, the existence of a solution is proven under the conditions that \(a\) is strictly monotone, there exists a nonnegative-valued continuous \(k\) such that \(a(x)= k(x)x\), \(A\) is a maximal monotone operator with \(0\in A(0)\), and \(F(t,x,y)\) is compact-valued, measurable in \(t\), for almost all \(t\) has a closed graph, and satisfies a growth condition and a nonresonance condition. An example of a variational inequality for which one of the theorems can be applied is also given.
    0 references
    differential inclusion
    0 references
    Dirichlet problem
    0 references
    Neumann problem
    0 references
    mixed problem
    0 references
    maximal monotone map
    0 references
    Usc and lsc multifunction
    0 references
    Yosida approximation
    0 references
    variational inequalities
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers