TheoremBase

Monotone, AA-Monotone and Locally Bounded Nonlinearities on a Hilbert Triple

A map from the smaller space of a Hilbert triple to the larger one is a monotone nonlinearity when it is monotone, pairs nonnegatively with the form operator on its domain, and is bounded on the sets bounded in the smaller norm.

Statement

In the setting of Hilbert Triples: Standing Notation and Background, let BB be a map from VV to HH. By Hilbert Triples: Standing Notation and Background (i) the space VV is a linear subspace of HH, so differences of its elements lie in HH and the pairing in clause 1 is defined; and for x∈D(A)x\in D(A) one has x∈Vx\in V and Ax∈HAx\in H by Hilbert Triples: Standing Notation and Background (iii), so the pairing in clause 2 is defined.

1. (Monotonicity) The map BB is monotone if

0≤⟨B(x)−B(y),x−y⟩Hfor all x,y∈V.0\le\langle B(x)-B(y),x-y\rangle_{H}\qquad\text{for all }x,y\in V .

2. (AA-monotonicity) The map BB is AA-monotone if

0≤⟨B(x),Ax⟩Hfor every x∈D(A).0\le\langle B(x),Ax\rangle_{H}\qquad\text{for every }x\in D(A).

3. (Boundedness on VV-bounded sets) The map BB is bounded on VV-bounded sets if for every positive R∈RR\in\mathbb{R} there is β∈R\beta\in\mathbb{R} such that every x∈Vx\in V with ∣x∣V≤R|x|_{V}\le R satisfies ∣B(x)∣H≤β|B(x)|_{H}\le\beta.

4. (Monotone nonlinearity) The map BB is a monotone nonlinearity for (H,V,A)(H,V,A) if it is monotone, is AA-monotone, and is bounded on VV-bounded sets.

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…