Основы метода конечных элементов
..pdfрощающих гипотез, учитывающих особенности геометрии рассматри ваемых тел, свойства материалов этих тел и т. д., был создан ряд при кладных теорий, позволяющих приближенно (аналитически или числен но) решать ряд задач. Одной из таких важных задач является задача на колебания или устойчивость, которая сводится к нахождению не скольких минимальных собственных чисел и соответствующих им соб ственных функций уравнения
Lu = Ы, или La = Ш « ,
где L, М — некоторые дифференциальные операторы, описывающие те или иные математические модели в прикладных теориях.
В качестве примера можно привести задачу о колебании прямо угольной в плоскости Оху пластины, испытывающей сжимающие и сдвигающие усилия. В этом случае опраторы L и М приобретают сле дующий вид:
где k0, ku k2, k3i тъ m2, m3 — коэффициенты, представляющие собой жесткости, сжимающие и сдвигающие усилия.
Характер закрепления краев пластины дает различные типы крае вых условий. Например, жесткое закрепление характеризуется на
границе области условиями и = 0, — - = 0 (п — внешняя нормаль к
границе).
Вычисленные решения математических задач теории упругости должны быть проанализированы как с качественной, так и с количест венной стороны. Качественный анализ показывает наиболее нагружен ные и наиболее ослабленные с точки зрения напряженного состояния части конструкции. С помощью количественного анализа можно опре делить необходимый материал, размер и форму конструкции для того, чтобы удовлетворить нужным условиям прочности и жесткости.
Таким образом, нами рассмотрены некоторые математические за дачи, возникающие в теории упругости. Необходимо отметить, что описание одной и той же задачи теории упругости многовариант но. Как это было видно на примере задачи линейной статической тео рии упругости, для описания ее можно использовать уравнения упру гого равновесия тел в перемещениях или напряжениях. Эту же задачу можно сформулировать как вариационную. Отметим, что вариацион ные постановки задач предъявляют минимальные требования к глад кости как самих решений, так и коэффициентов, используемых в задаче.
Математические задачи теории упругости решаются в основном как методом конечных разностей, так и различными вариантами мето да конечных элементов.
С математической точки зрения метод конечных элементов (МКЭ) может трактоваться как обобщение методов Рэлея, Ритца, Буб нова — Галеркина, основанное на специальном выборе координатных (базисных) функций. Вначале он развивался как машинно-ориенти рованный метод описания и решения прикладных задач. Благодаря усилиям математиков и специалистов в области вычислительной ма тематики было дано теоретическое обоснование МКЭ как средства при ближенного решения математических задач.
3. Метод конечных элементов как средство описания дискретных задач. Традиционно усилия специалистов в* линейной теории упругос ти были направлены на решение краевой задачи (1.6) — (1.8). Введе нием упрощающих гипотез, учитывающих особенности геометрии рас сматриваемых тел, свойства материалов и т. д., был создан ряд прик ладных теорий, позволяющих приближенно или аналитически решать некоторые частные задачи. С появлением современных ЭВМ широко стали разрабатываться машинные методы решения общих уравнений теории упругости, в том числе и метод конечных элементов. Ряд специ- алистов-прикладников используют МКЭ как средство получения не посредственно дискретной модели исследуемого физического явления. В данном случае рассматриваемая область разбивается на простые части (элементы) и на основе физики явления составляются уравнения равновесия и неразрывности этих частей, устанавливается взаимосвязь между элементами. В рамках такой дискретной аппроксимации иско мые параметры всегда имеют определенный физический смысл. Рас смотрим использование МКЭ в подобном плане на примере решения за дач о напряженно-деформированном состоянии тел в нелинейной тео
рии упругости. |
Предположим, что замкнутая область Q, |
в |
которой |
ищется решение, |
разбивается на некоторое число подобластей |
— эле |
|
ментов Q*, i = |
1,2, ..., N. В каждой из подобластей |
неизвестные |
поля могут быть аппроксимированы сравнительно простыми аналити ческими выражениями, зависящими от нескольких параметров. На пряженное состояние или соответствующая деформация внутри аппрок симируется, как правило, полиномами. Если используется метод ко нечных элементов в варианте метода перемещений, то за основные неизвестные принимаются компоненты перемещений в узловых точках, расположение которых зависит от формы подобласти, вида использу емого полинома. При этом напряженно-деформированное состояние элемента однозначно определяется через его узловые перемещения. В пространственных задачах перемещения в подобласти аппроксими руются трехмерной вектор-функцией
v(xlt х2, х3) = G(xv х2, х3)и,
где G (лгх, х2, х3) — матрица, и — вектор, состоящий из фиксированных значений искомых перемещений в выбранных узловых точках элемен та, по которым позже устанавливается связь с соседними элементами. Используя соотношение между растяжением и сдвигом, представленное в матричном виде
*^з) ~ |
{х1 , х2, х3) и, |
(1.15) |
и закон Гука, записанный следующим образом:
o(xv х2, хв) = Яе,
можно выразить напряжения о через перемещения и в фиксированных узлах. Векторы а, е составлены из ненулевых компонент соответству ющих тензоров. В равенстве (1.15) DQ можно построить, используя матрицу G и формулы Коши (1.1). Принцип минимума потенциальной энергии позволяет получить условия равновесия
|
/ <0 = K iU (i) |
|
на каждом элементе |
i =* 1, 2, |
..., N. Здесь u{i) — вектор искомых |
перемещений в узловых точках |
Qit a f(i) — вектор сил, приложенных |
|
в узлах Q,. Выполнение условий равновесия в узлах всех элементов |
области приводит к системе линейных алгебраических уравнений от носительно перемещений узловых точек
Ки = f
с симметричной разреженной матрицей К, называемой глобальной мат рицей жесткости. На основе физических соображений (заданы усло вия, сдерживающие перемещения тела как целого) эта матрица — по ложительно определенная. Решение системы линейных алгебраиче ских уравнений дает нам приближения к перемещениям в узловых точках исследуемой задачи. Имея перемещения, можно легко вычислить компоненты тензора напряжений и деформаций в любой точке тела.
В параграфе 1.3 мы продолжим описание метода конечных элемен тов, рассмотрим некоторые общие вопросы, связанные с реализацией МКЭ как численного метода. Но вначале в параграфе 1.2 приведем ряд необходимых вспомогательных сведений, которые будут полезны во всем дальнейшем изложении.
1.2.Необходимые вспомогательные сведения
1.Обозначения и определения. Основную роль в последующем изложе
нии (см. гл. II— V) будут играть функциональные пространства, элементами которых являются вещественные функции и (х) одной пере менной х9 принадлежащей ограниченному интервалу (а, 6), и вещест венные функции и (Ху t), областью определения которых служит прямо угольник QT= (а, Ь) х (0у Т).
Укажем главные из функциональных пространств, встречающихся в монографии.
Банахово пространство 93, т. е. полное линейное нормированное пространство (норму элемента и будем обозначать как \\и\\% или про
сто I и |[).
Нормированное пространство Е называется полным, если для лю
бой последовательности |
{ип) элементов этого пространства из условия |
|||
I ир— uq1 0 при ру q |
оо следует существование предельного эле |
|||
мента, принадлежащего Е. |
плотным в множестве |
М_0 cz 33, |
||
Множество М с |
33 |
называется |
||
если М0 содержится |
в замыкании |
Л4, т. е. М0 d М. Если |
М = S3, |
то М называют всюду плотным множеством (в 23). Очевидно, что лю бой элемент банахова пространства 23 является пределом последова тельности элементов из множества М, плотного в 23.
Если в 23 имеется счетное всюду плотное в 23 множество элемен тов, то пространство 23 называется сепарабельным.
Множество М а 23 называется компактным в банаховом простран стве 23, если любая бесконечная последовательность {ип} элементов из М содержит сходящуюся в себе подпоследовательность, т. е. |ир—
— ия\\-+0 при р, q оо.
Прежде чем переходить к примерам конкретных банаховых про странств, приведем еще несколько определений и понятий.
Функция и (х) называется суммируемой на (а, 6), если ее интеграл
ъ
в смысле Лебега Ци (х) dx конечен.
а
Приведем определение обобщенной производной (типа функции), принадлежащее С. Л. Соболеву. Ограничимся случаем функции одной переменной (подробнее см. в [98]).
Пусть функции и (х) и v {х) суммируемы на любом строго внутрен нем подынтервале (а', У) интервала (я, Ь). Если для любой бесконеч но дифференцируемой на [а, Ь] функции ф (я), равной нулю в окрест ности концов отрезка [а, 6], справедливо тождество
ь |
ь |
I иМ "ZT dx = ~ |
<\v(x)i> (х) dx, |
а |
а |
то функция v (х) называется обобщенной производной первого порядка от функции и (х) на (я, b). Обозначается эта производная так, как обыч
ная: v (х) = Аналогично определяются обобщенные производ
ные высших порядков.
Эквивалентным приведенному является следующее определение обобщенной производной. Функция v (х) называется обобщенной про изводной первого порядка функции и (х) на (я, 6), если существует последовательность непрерывно дифференцируемых на (я, Ь) функций
ит (х) |
таких, что |
|
|
|
|
Ь' |
V |
dum |
|
|
I'ит— u\dx |
|
— v\dx—>-О |
|
|
o' |
dx |
||
|
a' |
|
|
|
при m |
oo, где (a', b')— строго внутренний подынтервал (a, b). |
Заметим, что существование обобщенной производной на (а, Ь) равнозначно абсолютной непрерывности и {х) на (а, Ь).
Перечислим конкретные банаховы сепарабельные пространства,
используемые в дальнейшем. |
1, состоящее из всех функций и (х), сум |
Пространство Lr (Q), г |
мируемых на Q со степенью г. Норма в этом пространстве определя
ется выражением
1it
Заметим, что под элементом пространства Lp (й) понимается не какая-либо одна функция и (х), а весь класс функций, эквивалентных
ей на й. |
Две функции |
щ |
(х), иг (х) называются эквивалентными на- |
||||||||
й, если |
«! (х) — и2 |
(х) |
для |
почти всех |
х £ й. |
|
|
|
|
||
Пространство W ? |
(й) |
состоит из элементов Lr (й), |
имеющих обоб |
||||||||
щенные производные до порядка т (включительно), |
|
суммируемые на. |
|||||||||
й со степенью г. Норма определяется |
равенством |
|
|
|
|
||||||
|
|
ll«IU = |
( j | o|n№r d x ) / |
|
|
|
|
||||
Пространство СГ (Й) |
состоит из непрерывных в й = |
[а, Ь] функций |
|||||||||
и (х), имеющих на [а, Ь] непрерывные |
производные |
|
до |
порядка т |
|||||||
включительно. Норма в С" |
(й) определяется формулой |
|
|||||||||
|
|
N U Q>= |
max |
(1*11 |
|
|
|
|
|
||
|
|
dx* |
' |
|
|
|
|
||||
|
|
|
|
|
x£[a,b] |
|
|
|
|
||
|
|
|
|
|
O^k^m |
|
|
|
|
|
|
Согласно теоремам вложения С. Л. Соболева всякая функция |
и (х) С |
||||||||||
£ W? (Q), Q = (а, 6), |
оказывается и функцией из |
С"1-1 (Q). |
|
||||||||
Подпространство |
о |
|
пространства WТ (Я) |
состоит из |
функ |
||||||
W? (Я) |
|||||||||||
ций, обращающихся |
в нуль |
на |
концах |
отрезка Я |
вместе со |
своими |
|||||
производными до порядка пг — |
1 включительно. |
|
|
пространство |
|||||||
Частным случаем банахова |
пространства |
является |
Гильберта. Абстрактное гильбертово пространство будем обозначать через Я, а скалярное произведение любой пары его элементов иу v — через (и, V)H \ норма в Н определяется формулой
II и||н= V{U, и)н.
Конкретными примерами гильбертовых пространств являются Ц (й),.
о
W™ (й), W? (й), которые описаны выше как частные случаи соответствующих банаховых пространств. В дальнейшем, если это не будет вызывать путаницы, скалярное произведение в L2 (й) будемобозначать через (•, •) без всяких индексов:
Ь
(и, v) == (и, v)L,iQ) = J и(х) v (х) dx
и соответственно
*/•
Цы|| = 1“ 1Ьа>
Скалярное произведение в W? (й) определяется формулой
(и, 0)2,m С2 u{k>v{tt)dx,
а Ь=°
а норма — |
|
\V# |
(Ь |
т |
|
|Mbn = Q |
'E y*''?**) |
Для прямоугольника QT, |
кроме гильбертовых пространств L2 (Qr) |
|
и W\ (QT) со скалярными произведениями соответственно |
||
(и, V)QT = j uvdxdl =s Jг jь uvdxdt |
||
(норма I • IQJ.) и |
Qf |
0 a |
|
|
|
QT |
|
|
(норма |•|Q|), рассматриваются еще и следующие. |
||
Подпространство №2.0 |
(Qr) |
пространства W Q (QT), плотным мно |
жеством в котором являются гладкие функции, равные нулю вблизи
сторон х = |
а, х = Ь. Иными словами, №2,0 (QT) состоит |
из элементов |
|||||||
u£W\ (QT), |
для которых и (a, t) = |
и (Ь, 0 = |
0 при |
t £ [0, 71. Гиль |
|||||
бертово пространство |
№2 ° (Qr), состоящее |
из функций |
и (х, |
f) £ |
|||||
£(L2 (QT), имеющих обобщенные производные-^- £ L2 |
(Qf)- |
Скалярное |
|||||||
произведение |
в этом пространстве |
определяется равенством |
|
||||||
|
|
(и, v)l4 = J (ии + |
-^г - а г ) dxdt' |
|
|
|
|
||
|
|
|
QT |
|
|
|
|
|
|
а норма |
обозначается |
так: |•||<$. |
|
|
|
|
|
||
Через |
о |
|
обозначено |
подпространство |
пространства |
||||
Щ'и будет |
|||||||||
№2 ° (QT), состоящее из функций и (х, t) £ W?° (QT), равных |
нулю |
на |
|||||||
сторонах х = |
а, х = b прямоугольника Qr- |
|
|
|
|
|
|||
Приведем ряд функциональных неравенств, которые будут неод |
|||||||||
нократно |
использоваться в дальнейшем. |
|
|
|
|
|
|||
Неравенство треугольника для любой пары и, v элементов про |
|||||||||
странства |
S3 |
|
ИИ+ и||в<||“ ||» + IО |в. |
|
|
|
|
||
|
|
|
|
|
|
|
В дальнейшем везде для обозначения понятия «любой» будем употреб лять символ V.
Неравество Коши
|(ы, V)H К (| м|н |М|н при Vu,v£H .
Неравенство Гельдера
справедливо для V и € L„ (Q), v £ Lg (Q) при - у + |
= 1 , р, q > 1 . |
Пусть |
Ж |
и |
33х — два пространства |
и М — множество |
элементов |
||||||||||
из 33. Если |
каждому элементу и £ М cz |
33 |
поставлен |
в соответствие |
|||||||||||
элемент w = |
Аи £ Жь |
то принято считать, что на М определен опе |
|||||||||||||
ратор Л, отображающий М в 33х. Множество |
М называют |
областью |
|||||||||||||
определения оператора 4 , и мы будем обозначать ее через D (А). Мно |
|||||||||||||||
жество А (А) всех элементов вида w = |
Аи называется областью значе |
||||||||||||||
ний оператора. Будем считать, что А действует в |
33, если Ж = Жь |
||||||||||||||
иначе оператор А действует из 33 в 33!. |
|
|
|
|
|
|
|||||||||
В дальнейшем всегда будет предполагаться, что D (А) — линей |
|||||||||||||||
ное множество и, как правило, оно плотно в 33. |
Оператор А называет |
||||||||||||||
ся линейным, если для любых элементов |
и, |
v £ D (А) |
и любых |
веще |
|||||||||||
ственных чисел 2ц \i выполняется равенство |
|
|
|
|
|
||||||||||
|
|
|
|
А (Ки + |
рп) = |
ХАи + |
\JLAV. |
|
|
|
|
||||
Отметим, что оператор, для которого |
|
элементы |
области |
значений |
|||||||||||
Д (Л) £ Жх — вещественные числа, |
называют функционалом. |
|
|||||||||||||
Приведем некоторые определения важнейших классов операторов |
|||||||||||||||
(не только |
линейных). |
|
|
|
|
|
|
|
u0£D |
|
|
||||
1. Оператор Л называют непрерывным в точке |
(Л), |
если |
|||||||||||||
из I ип — и0 1 |
0 (ип£ D (Л)) |
следует, |
что |Лип— Ли01| |
0. Иног |
|||||||||||
да это записывается следующим образом: |
|
|
|
|
|
|
|||||||||
|
|
|
lim |
Аип = Аи0У u0^D (Л), |
un£D(A). |
|
|
|
|||||||
|
|
|
un-*uQ |
|
|
|
|
|
|
|
|
|
|
|
|
Если |
оператор |
Л непрерывен |
в |
каждой |
точке |
множества |
М ^ |
||||||||
^ D (Л), |
то |
считается, |
что он непрерывен |
на М. |
|
|
|
|
2. Оператор Л называется ограниченным, если он преобразует каж дое ограниченное множество из D (Л) в ограниченное множество из
А (Л). |
33 в ЭЗх, яв |
Линейный непрерывный оператор Л, отображающий |
|
ляется ограниченным, и для него справедливо неравенство |
|
Ha||©t<H f|H |© , Уа б Ж, |
|
где число |Л |определяется соотношением ||Л||= sup |
|Аи Ц©, и на- |
II и||£=1 |
|
зывается нормой оператора Л. Верно и обратное утверждение: линей ный ограниченный оператор — непрерывен.
3. Оператор Л удовлетворяет условию Липшица при ограниченных
аргументах, |
если для любого |
заданного с > |
0 существует |
константа |
||
К = К (с) |
такая, |
что |
|
|
|
|
|
|
|Аи — Av ||©, < К {с) I и — v I© |
|
|||
для любых и, v £D |
(А) таких, |
что |и ||©^ |
с, |
|v ||©^ с. |
банахову |
|
Напомним определение пространства, |
сопряженного к |
пространству.
Пространство всех непрерывных линейных (и, следовательно, ограниченных) функционалов, определенных на банаховом простран стве 33, называется сопряженным с 33 банаховым пространством и
обозначается Ж*. За норму элемента ср £ Ж* принимают норму |
|ср | |
2 8— 1728 |
17 |
функционала <р (и), определенного на D (<р) <=. 33, т. е.
|ф Ц®. = 1ф ||* = SUp |ф(ы)|зз||ф|.
11ы/|©=1
При этом, как указывалось ранее, для линейного ограниченного функ
ционала ср |
(и), |
и £ D (ф) d S3, |
справедливо |
неравенство |
|
|
|
|||||
|
|
|
|
1ф («)К 1 1 ф 11Н1э - |
|
|
|
|
|
|||
Значение линейного функционала |
ф £ 93* в точке и £ S3 |
будем |
за |
|||||||||
писывать |
в виде |
как ф (и), так и (ф, |
и): Очевидно, |
|
|
|
|
|||||
|
|
|
|
|<Ф, и>К||фЦы||<в. |
|
|
|
|
|
|||
Поскольку |
35* |
является банаховым |
пространством, |
можно |
говорить |
|||||||
о пространстве (33*)* = S3**, сопряженном с 33*. Для |
каждого элемен |
|||||||||||
та и £ 33 |
существует |
единственный |
элемент |
а** £ 33**, |
удовлетво |
|||||||
ряющий |
соотношению |
|
|
|
|
|
|
|
|
|||
|
|
|
(и**9и*) = |
(и*9и), V a * £ 3 3*, |
|
|
|
|
||||
при ЭТОМ |U !’В = |
II и * * |
||в**. |
|
|
и £ 33 |
можно |
отождествить с |
|||||
Таким |
|
образом, каждый элемент |
||||||||||
указанным |
элементом |
и** £ 33** |
и |
рассматривать |
33 как |
подпро |
||||||
странство |
пространства 33**, т. |
е. |
33 с : 33**. Если 33 = |
33**, то |
ба |
нахово пространство 33 называется рефлексивным.
Примером рефлексивного пространства является гильбертово про странство. Напомним в этой связи известную теорему Ф. Риса.
Теорема. Любойлинейный непрерывныйфункционал I (и) вгильбер товом пространстве Н имеет вид
1{и) = (и, и)н,
где v — некоторый элемент из пространства Н, однозначно определя емый функционалом I (и); при этом |/ (и) |= |v ||.
Приведем еще несколько определений различных классов опера торов.
4. Оператор Л, действующий из 33 в 33*, называется монотонным на множестве М с= 33, если
(Аи — Av, и — ц ) ^ 0 для V и, v£M,
истрого монотонным, если выполняется строгое неравенство при всех
иФи.
5.Оператор А называется сильно монотонным (с постоянной мо нотонности у), если
{Au — Avy u — v)^y\u — и||в, у > 0 , u,v£M.
Коснемся еще некоторых сведений о дифференцируемости абстракт ных функций, в частности дифференцируемости операторов.
Пусть / (/) — абстрактная функция вещественного аргумента t£ £ [а, Ыу значения которой при каждом значении t являются элемента ми пространства 33: / (/) £ 33, а^. t^L Ь.
Функция f (f) называется дифференцируемой в точке /0 £ [а, 6], если существует такой элемент ф £ $8, что
|
|
|
j "д Г У ^0 + |
ДО |
f (/0)1 — Ф |
о |
|
|
|
||||
при At -*■ 0. Элемент ф Называется производной |
функции f (t) в точке |
||||||||||||
t0 и обозначается |
ф = /' (/0). |
|
|
|
|
|
|
|
|
||||
Функция дифференцируема на отрезке [а, Ь\, если она дифферен |
|||||||||||||
цируема в каждой его точке. Если при этом производная /' |
(0 непре |
||||||||||||
рывна, т. е. [|f' (t + |
А^) — /' |
(0 | |
0 при At -> |
0, то |
функция |
f (f) |
|||||||
называется непрерывно дифференцируемой. |
|
|
D (Л), |
|
|||||||||
Пусть имеется оператор А с областью определения |
плот |
||||||||||||
ной в банаховом пространстве 58, и |
пусть |
и0£ D (А) |
— некоторая |
||||||||||
фиксированная |
точка. |
Если |
существует такой |
линейный |
оператор |
||||||||
AUlt, |
что при |
всех |
v £ 58, для |
которых |
и0 + |
tv £ D (Л), |
справед |
||||||
ливо |
равенство |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim — |
[Л (и0 + |
tv) — А (ы0)1 = Aufi, |
|
|
|
|||||
|
|
|
t-+0 1 |
|
|
|
|
|
|
|
|
|
|
то ЛЫрназывается производной Гато оператора А в точке и0. |
|
|
|||||||||||
Производная |
Гато |
аналогично |
определяется для |
функционала |
|||||||||
F (и). Здесь важным для дальнейшего изложения (см. гл. V) |
оказыва |
||||||||||||
ется |
понятие |
градиента функционала. Определим его. |
|
|
|
Пусть в банаховом пространстве 33 определен нелинейный функци онал F (и), область D (F) определения которого линейна и плотна в 33.
Пусть для элементов и из линейного множества М a D (F) предел
lim ^ ( « + f t * - f ( “> =Fu(v)
есть линейный непрерывный (ограниченный) функционал над и. Тог да для Vu £ М производная Fu (у) является элементом сопряжен ного пространства S3*. Следовательно, можно написать
Fu (v) = (Fu, v) = (Аи, v), D (А) = М,
где |
А — оператор, который ставит в соответствие каждому элементу |
и £ |
М с= si* элемент Аи = Fu (у) £ 93 *. |
Оператор Л, определенный указанным образом, называется гради ентом функционала F (и), a F (и) — потенциалом оператора А.
Между ними существует соотношение |
[9] |
|
|
1 |
|
|
|
F (и) = F (и0) -f- J (A (uQ |
1 (и— UQ))9 ^ |
ио> dt9 |
|
о |
|
|
|
справедливое, если и9 и0£ D (Л). |
|
(Л), то, |
положив и0 = 0, |
Если нулевой элемент принадлежит D |
|||
получим |
|
|
|
F(u) = Ц{A (tu), |
u)di + |
const, |
|
о |
|
|
|
2* |
19 |
Приведем несколько определений, относящихся к свойствам функ
ционала. |
|
заданный в нормированном пространстве, на |
||||||
Функционал F (и), |
||||||||
зывается возрастающим, если F (и )-> + о о , тогда и только |
тогда, |
|||||||
когда I и | |
о о . |
называется полунепрерывным |
снизу |
(сверху) |
||||
Функционал F (и) |
||||||||
в точке и0, если по данному е > |
0 можно найти |
такое |
б > |
0, |
что из |
|||
I и — и0|< |
б следует |
F (и) — F (и0) > |
— в (F (и0) — F (и) > |
— в). |
||||
Это свойство можно сформулировать и так: функционал F (и) в точке |
||||||||
и0 полунепрерывен |
снизу |
(сверху), |
если |
lim |
Т7 (ип) ^ |
F (и0) |
||
___ |
|
|
|
|
^ 0 |
|
|
|
(lim F (ип) < F (M 0)). Функционал F называется слабо |
полунепрерыв- |
|||||||
ип-*и<' |
|
|
|
|
F (и0) справедливо |
|||
ным снизу в точке и0, если соотношение lim F (ип) |
при условии, что ипслабо сходится к и0. Функционал полунепрерывен на некотором множестве, если он полунепрерывен в любой точке этого множества.
Функционал F |
(и) непрерывен в точке и0, если по заданному в > |
||
> 0 можно найти такое б > 0, что при |и — и01|< |
б обязательно |
||
|F (и) — F (и0) |< |
в, и функционал непрерывен на некотором множе- |
||
стве, если он непрерывен в каждой точке этого множества. |
Функции |
||
онал непрерывен тогда и только тогда, когда он одновременно |
полуне- |
||
прерывен сверху и снизу. |
полезную для |
||
Приведем теорему В. И. Казимирова [64], весьма |
установления полунепрерывности функционалов широкого класса. Здесь она фор мулируется для частного случая функционала
1
F (и, р) = § f (х, и, р) dx, и = и (х), Р = -^ -.
О
Теорема 1.1. Пусть
F{u, р )= \ f(x, и, p)dx,
О
где функция f (х, и, р) определена при х £ (0, 1) и прилюбых значениях переменных и, р. И пусть во всей области своего определенияфункция
{обладает следующими свойствами:
1)функция / (х, и, р) — непрерывна вместе с производной
2)функция f (х, и, р) — неотрицательна;
3)справедливо неравенство
f (х, и, рг) — f (х, и, р2) — (рх — р2) |
(х, и, рг) > О |
при любых х £ (0, 1), и, р1( р2.
Если ип (х) сильно сходится к и0 (х) в норме некоторого простран ства Lm(0, 1), 1 < m < о о , а рп (х) в том же пространстве слабо схо дится к р0 (х), то
lirn F (ип, рп) ^ F (иа, Ро).
П-+0О