Exact multiplicity results for variational inequalities involving pointwise constraints on the derivatives (Q1863616): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 12:35, 1 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Exact multiplicity results for variational inequalities involving pointwise constraints on the derivatives |
scientific article |
Statements
Exact multiplicity results for variational inequalities involving pointwise constraints on the derivatives (English)
0 references
11 March 2003
0 references
Let \(\Omega\) be a bounded domain in \(\mathbb R^ n\), let \(\psi \in H^1_0(\Omega)\) and let \(K_\psi\) denote the set of all \(u\in H^1_0(\Omega)\) such that \(\Delta u \leq \Delta\psi\) in the weak sense. The authors examine the problem of finding an element \(u\in K_\psi\) such that \[ \int_{\Omega} [Du\cdot D(u-v)-g(x,u)(v-u)+h(u-v)]\,dx \geq 0 \] for all \(v \in K_\psi\) for given functions \(g\) and \(h\). If \(K_\psi\) is the set of \(u \in H^1_0\) such that \(u \geq \psi\) in \(\Omega\), then this problem is the familiar obstacle problem, but the constraint on the Laplacian of the solution leads to rather different behavior. In particular, the current problem behaves like the corresponding elliptic boundary value problem \[ \Delta u+g(u)=h \text{ in } \Omega, \quad u=0 \text{ on } \partial\Omega. \] If \(\lambda_j\) denotes the \(j\)th eigenvalue of the Dirichlet Laplacian on \(\Omega\), then, for the boundary value problem, the number of solutions depends on the behavior of \(g(x,t)/t\) as \(t\to\pm\infty\). Here, the behavior as \(t\to-\infty\) is replaced by the assumption that the solution lies in \(K_\psi\). Specifically, if \(\lim_{t\to\infty} g(x,t)/t >\lambda_1\) and if \(e_1\) is the normalized eigenfunction of the Dirichlet Laplacian with eigenvalue \(\lambda_1\), then, for any \(\tilde h \in L^2\), there is a number \(\tau_0\) such that the original problem with \(h=\tilde h +\tau e_1\) has no solution if \(\tau<\tau_0\), at least one solution if \(\tau=\tau_0\), and at least two solutions if \(\tau>\tau_0\).
0 references
nonlinear elliptic equations
0 references
unilateral constraints
0 references
variational methods
0 references
nonsmooth analysis
0 references
supersolutions
0 references
jumping nonlinearities
0 references
exact number of solutions
0 references