Псевдомонотонный оператор - Pseudo-monotone operator

В математика, а псевдомонотонный оператор из рефлексивный Банахово пространство в его непрерывное двойное пространство в некотором смысле почти как хорошо воспитанный как монотонный оператор. Много проблем в вариационное исчисление могут быть выражены с помощью операторов, которые являются псевдомонотонными, а псевдомонотонность, в свою очередь, подразумевает существование решений этих проблем.

Определение

Позволять (Икс, || ||) - рефлексивное банахово пространство. Карта Т : Икс → Икс^∗ из Икс в его непрерывное двойное пространство Икс^∗ как говорят псевдомонотонный если Т это ограниченный оператор (не обязательно непрерывно) и если всякий раз

${displaystyle u_{j}ightharpoonup u{mbox{ in }}X{mbox{ as }}j o infty }$

(т.е. ты_j сходится слабо к ты) и

${displaystyle limsup _{j o infty }langle T(u_{j}),u_{j}-uangle leq 0,}$

из этого следует, что для всех v ∈ Икс,

${displaystyle liminf _{j o infty }langle T(u_{j}),u_{j}-vangle geq langle T(u),u-vangle .}$

Свойства псевдомонотонных операторов

Используя доказательство, очень похожее на доказательство Теорема Браудера-Минти, можно показать следующее:

Позволять (Икс, || ||) быть настоящий, рефлексивное банахово пространство и предположим, что Т : Икс → Икс^∗ является ограниченный, принудительный и псевдомонотонный. Затем для каждого непрерывный линейный функционал грамм ∈ Икс^∗, существует решение ты ∈ Икс уравнения Т(ты) = грамм.

Рекомендации

• Ренарди, Майкл и Роджерс, Роберт С. (2004). Введение в уравнения в частных производных. Тексты по прикладной математике 13 (второе изд.). Нью-Йорк: Springer-Verlag. п. 367. ISBN  0-387-00444-0. (Определение 9.56, теорема 9.57)