Условие компактности Пале – Смейла. - Palais–Smale compactness condition

В Условие компактности Пале – Смейла., названный в честь Ричард Пале и Стивен Смейл, является гипотезой некоторых теорем вариационное исчисление. Это полезно для гарантии существования определенных видов критические точки, особенно седловые точки. Условие Пале-Смейла - это условие функциональный тот пытается экстремизироваться.

В конечномерных пространствах условие Пале – Смейла для непрерывно дифференцируемой вещественнозначной функции выполняется автоматически при правильные карты: функции, которые не переводят неограниченные множества в ограниченные множества. В вариационном исчислении, где обычно интересуются бесконечномерные функциональные пространства, условие необходимо, потому что некоторое дополнительное понятие компактность за пределами простой ограниченности. См., Например, доказательство теорема о горном перевале в разделе 8.5 Эванса.

Сильная формулировка

Непрерывно Дифференцируемый по Фреше функциональный ${displaystyle Iin C^{1}(H,mathbb {R} )}$ из Гильбертово пространство ЧАС к реалы удовлетворяет условию Пале – Смейла, если каждое последовательность ${displaystyle {u_{k}}_{k=1}^{infty }subset H}$ такой, что:

• ${displaystyle {I[u_{k}]}_{k=1}^{infty }}$ ограничен, и
• ${displaystyle I'[u_{k}]ightarrow 0}$ в ЧАС

имеет сходящуюся подпоследовательность в ЧАС.

Слабая формулировка

Позволять Икс быть Банахово пространство и ${displaystyle Phi colon X o mathbf {R} }$ быть Гато дифференцируемые функциональный. Функционал ${displaystyle Phi }$ считается, что удовлетворяет слабое условие Пале – Смейла если для каждой последовательности ${displaystyle {x_{n}}subset X}$ такой, что

• ${displaystyle sup |Phi (x_{n})|<infty }$,
• ${displaystyle lim Phi '(x_{n})=0}$ в ${displaystyle X^{*}}$,
• ${displaystyle Phi (x_{n})eq 0}$ для всех ${displaystyle nin mathbf {N} }$,

существует критическая точка ${displaystyle {overline {x}}in X}$ из ${displaystyle Phi }$ с участием

${displaystyle liminf Phi (x_{n})leq Phi ({overline {x}})leq limsup Phi (x_{n}).}$

использованная литература

• Эванс, Лоуренс К. (1998). Уравнения с частными производными. Провиденс, Род-Айленд: Американское математическое общество. ISBN  0-8218-0772-2.
• Mawhin, Жан; Виллем, Мишель (2010). «Происхождение и эволюция состояния Пале – Смейла в теории критических точек». Журнал теории фиксированной точки и приложений. 7 (2): 265–290. Дои:10.1007 / s11784-010-0019-7.