книги из ГПНТБ / Теория ветвления и нелинейные задачи на собственные значения
..pdf200 С, АНТМАН
ограничена в полосе £t ^ ^ £2 и симметрична относительно своих точек касания с прямыми £ = £j и £ = £2. Эти свойства иллюстри руются на рис. 4.
ft
Л(сі)
Рис. 3.
Поэтому из условий (4.8) выводим, что для каждого значения п,
п — 0, 1,2, . . ., может существовать |
одно симметричное решение |
||
при |
|
|
|
2/(2я + |
1 )< |
а < |
1/я, |
одно симметричное решение при |
|
|
|
1/(л + 1) < |
ш < |
2/(2п + 1) |
и два симметричных решения (зеркальные отражения одно другого) при
to = 1/(я + 1).
Если один из нулей £t и £2, скажем £2, по абсолютной величине больше y/ß, то любое решение £ = £ (/), которое касается прямой
К
Рис. 4.
£ = £2, должно быть отброшено, потому что для него нарушается ограничение 1 + б > 0. (Мы уже показали, что оба нуля одновремен но не могут превышать y/ß по абсолютной величине.)
Дополнительные вспомогательные условия (4.4) определяют форму и размеры кривой решения на рис. 4 и ограничивают значения пара метров, для которых такие решения могут существовать.
Заметим, что такой анализ имеет силу для любой функции энергии деформации W, для которой верен рис. 4. Отметим также, что опре деляющие уравнения для материала в этом примере до некоторой сте-
XII. Ф О Р М Ы Р А В Н О В Е С И Я Н Е Л И Н Е Й Н О У П Р У Г И Х С Т Е Р Ж Н Е Й |
201 |
пени искусственны, так как осевое усилие N стремится к конечному пределу —ЕА, когда б -э---- 1.
Хотя мы и получили представление решения задачи § 3, мы не дока зали, что эти решения могут удовлетворять граничным условиям, обеспечивающим равновесие, т. е. мы не показали, что трансцендент ные уравнения для граничных условий можно решить относительно констант интегрирования. В следующих двух параграфах мы обра тимся к этому вопросу существования с более абстрактной точки зре ния. Кроме того, мы снимем ограничения, что К = const, q — = const и W не зависит явно от т.
5. Теоремы существования для нерастяжимых стержней
Мы обобщим некоторые результаты лекции IV, чтобы изучить случай нерастяжимых стержней, для которых справедливо опреде ляющее соотношение
М = W„, W = W (р, т) |
(5.1) |
и условие нерастяжимости материала |
|
6 = 0 ф = ф і ' = 1 . |
(5 .2 ) |
Мы налагаем следующие, вытекающие из физического смысла
задачи ограничения на |
W: |
(5.3) |
|
WW > 0, |
|
IV (р, т) Ж |
I р |“ + V (т), / С > 0 , а > 1. |
(5.4) |
Здесь К и а — постоянные, а у (т) — интегрируемая функция. Смысл неравенства (5.3) обсуждался в конце § 1; (5.4) представляет собой
условие на |
W для большого изгиба. |
Пусть I |
— длина стержня, так что 0 ^ т ^ /. Для простоты пред |
положим, что концы либо шарнирно закреплены, либо жестко защем лены. Для шарнирного конца
ф' задана, |
(5.5а) |
для жестко защемленного конца |
|
Ф задана. |
(5.5Ь) |
Кроме того, предположим, что концы неподвижны. Таким образом,
I |
I |
|
j cos ф (т) dx = A, |
j sin ф (т)[сД= 0. |
(5.6) |
о |
о |
|
Здесь Д — заданное число и А < I. |
|
|
Положим |
|
|
ф = — (ф — Ф), так что р = ф'. |
(5-7) |
2 0 2 |
С. АНТМАН |
|
|
|
Тогда для стержней |
под действием гидростатического давления q |
|||
функционал потенциальной энергии задается в виде |
|
|||
где |
V [ф] = Ѵі + |
qV2, |
(5.8а) |
|
I |
|
|
|
|
|
|
|
(5.8Ь) |
|
|
Vt = j W W |
(т), |
x)dx, |
|
I |
о |
% |
|
|
I |
|
(5.8с) |
||
V 2 = 4t j (xy' — yx') dx = |
\ j |
sin[cp(x) — (p(Q]dCdx |
||
о |
oo |
|
|
Второе равенство в (5.8c) есть следствие (2.5) и (5.2). Функционал Ѵ2 с точностью до аддитивной постоянной пропорционален ориенти рованной площади, ограниченной замкнутой кривой, образованной стержнем в недеформированном и деформированном состояниях (эта кривая может иметь самопересечения).
Методом лекции IV можно показать, что основные уравнения этой задачи являются уравнениями Эйлера для функционала V при усло вии (5.4). Теперь мы докажем несколько теорем существования для задач такого рода, используя некоторые методы функционального анализа, подобные тем, которые описаны в лекции IV.
Нам понадобится пространство Соболева
1Ѵ”’(0, I) = {ф: ф, ф' 6 U (0, /)}, а > 1 |
(5.9) |
(где производные берутся в смысле теории распределений), которое
представляет собой рефлексивное банахово пространство |
с нормой |
I |
|
ІІФІН { j ЦФГ + ІФ' I“! d x y /a. |
(5.10) |
о |
|
Пусть 5 — пространство Банаха, состоящее из тех элементов про
странства |
W(a (0 ,l), которые удовлетворяют граничным условиям |
вида (5.5), |
а Е 0 состоит из тех элементов пространства S, которые |
удовлетворяют равенствам (5.6). Эти пространства можно построить при помощи пополнения.
Нам понадобятся следующие теоремы.
Т е о р е м а А. Слабо полунепрерывный снизу функционал на огра ниченном слабо замкнутом непустом множестве рефлексивного про странства Банаха достигает там своего минимума.
Т е о р е м а В. Если F —F{ и , т), |
и = («і, . . . , uN) |
и гессиан |
матрицы Fuu положительно определен, то функционал |
j .F(u, x)dx |
|
слабо полунепрерывен снизу в W£' (0, |
I). |
о |
|
XII. Ф ОР МЫ |
Р А В Н О В Е С И Я Н Е Л И Н Е Й Н О У П Р У Г И Х |
С Т Е Р Ж Н Е Й |
203 |
||
Т е о р е м а |
С |
(Соболев). Пространство W(dy (0, |
I) |
можно |
ком |
пактно вложить |
в пространство Банаха С (0, |
I) |
непрерывных |
||
функций с максимум-нормой. |
|
|
|
||
Т е о р е м а |
D. Если хп -> х слабо в пространстве Банаха В { |
||||
и ВJ компактно вложено в пространство Банаха В 2, |
то хп -> х силь |
||||
но в В 2. |
|
|
|
|
|
Доказательство этих теорем можно найти в [3] и [4]. Сформулируем и докажем некоторые подготовительные леммы.
Л е м м а |
1. Ѵі |
<х>, когда ]| ф || -^- <х>. |
|
|
|||
Доказательство |
непосредственно следует из |
(5.4). |
|||||
Л е м м а |
2. Функционал Ѵг слабо |
полунепрерывен снизу. |
|||||
Это вытекает из (5.3) |
и теоремы В. |
|
|
|
|||
|
3. Функционалы Ѵ2, |
I |
|
I |
sin cp (т) dx слабо |
||
Л е м м а |
j cos(p(x)dT, |
j |
|||||
непрерывны на S. |
|
|
о |
|
о |
|
|
|
|
|
|
|
|
||
Доказательство |
этой |
леммы |
дано |
в лекции |
IV и опирается |
||
на теоремы С и D. |
|
|
|
|
|
|
|
Л е м м а |
4. ЛТ = |
sup Ѵ2 [^l и т = inf Ѵ2[ф] — конечные числа. |
Это утверждение непосредственно следует из классической изопе риметрической задачи.
Определим многообразие
Е 2 (R) = {ф: Ѵ2 [ф] = R, |
т С Ж М ) . |
(5.11) |
Л е м м а 5. Множества Е 0 и Е 0 [} |
Е 2 не пусты. |
|
Доказательство этой леммы мы получим, построив элементы каждого из этих множеств. Это возможно, так как А <С /. Мы опускаем эти построения.
Теперь мы можем доказать следующие теоремы существования.
Т е о р е м а |
1. |
Для произвольного |
фиксированного |
q |
существует |
|
элемент ф0 из Е 0, |
который доставляет функционалу |
V [ф] абсолют |
||||
ный минимум на Е 0. |
|
|
|
|
||
Д о к а з а т е л ь с т в о . Из лемм |
1 |
и 4 вытекает, |
что V -> оо, |
|||
когда II ф II -> |
со. |
Следовательно, нужно |
только найти |
минимум V |
на некотором ограниченном подмножестве множества Е 0. Из лемм 2
и 3 следует, что V слабо полунепрерывен снизу на Е0. |
Из |
леммы |
3 |
вытекает, что Е0 слабо замкнуто, а лемма 5 утверждает, |
что Е 0 |
не |
|
пусто. Таким образом, выполняются предположения |
теоремы |
А, |
|
и наша теорема доказана. |
|
|
|
204 |
|
С. АНТ МАН |
Т е о р е м а |
2. |
Для каждого R, т < . R < М, существует элемент |
из Е о Г) |
который доставляет функционалу Vt [ф] абсолютный |
|
минимум на Е 0 |
f) |
Е 2. |
Доказательство аналогично доказательству теоремы 1 и опускается. Справедлива также следующая теорема о регулярности:
Т е о р е м а 3. Если в дополнение к (5.3) и (5.4) функция W (р, б) удовлетворяет условию
I Wß I < const (I р I“ + 1), |
(5.12) |
то минимизирующие функции ф0 и ф2 из теорем 1 и 2 дважды непрерыв но дифференцируемы на [0, I] и являются классическими решениями уравнений Эйлера.
Д о к а з а т е л ь с т в о . Из теорем С и D вытекает, что ф0 и ф2 непрерывны. Этот факт вместе с условиями (5.3), (5.4), (5.12) дает нам возможность применить теорию Тонелли из вариационного исчис ления, которая и приводит к утверждению теоремы 3.
Теперь обратимся к случаю растяжимого стержня.
6. Теоремы существования для растяжимых стержней
По аналогии с (5.3) и (5.4) потребуем, чтобы матрица
|
|
Лѵ; |
была положительно определенной |
( 6. 1) |
|||
и чтобы выполнялась оценка |
|
|
|
||||
W (р, 8, |
т) |
(I р I“ + |8 р) + |
у (т), К > 0, а > 1, ß > |
I, (6.2) |
|||
где К, а |
и ß — постоянные, а у (т) — интегрируемая функция. Пред |
||||||
положим, что в обозначениях |
(5.7) |
|
|||||
|
|
ф или ф' задано на каждом конце. |
(6.3) |
||||
В соответствии с (5.6) имеем |
|
|
|||||
I |
|
|
|
|
I |
|
|
j |
[1 + |
б (т)] cos cp (т) dx = |
A, |
j [1 +6(т)] sin ср (т) dr = 0, |
(6.4) |
||
о |
|
|
|
|
о |
|
|
где А < |
I и А — заданное число. Положим |
|
|||||
и потребуем, |
чтобы |
а' = |
8 = s' — 1 |
(6.5) |
|||
а (0) |
= |
б (0) = 0. |
(6.6) |
||||
|
|
|
Функционал потенциальной энергии растяжимого стержня, нахо дящегося под действием гидростатического давления q, дается выра жением
U [ф, о! = Ui [ф, a] + qU2 [ф, a], |
(6.7а) |
XII. Ф О Р М Ы Р А В Н О В Е С И Я Н Е Л И Н Е Й Н О У П Р У Г И Х С Т Е Р Ж Н Е Й |
205 |
где
I
U i= J №(ф', ст', T)dx, (6.7b) 0
l |
X |
u 2= 4 “ j [1 + a ' 001 J [1 + a ' (Ю1 sin [ф (т) — Ф (€)] dl dx. (6.7c)
о0
Уравнения Эйлера для U при условиях (6.3) и (6.4) представляют собой не что иное, как основные уравнения, о которых шла речь в § 2.
Пусть 5 — банахово пространство пар (ф, а), причемф £ №£'(0.
а 6 ^эи(0.0 иф удовлетворяет условиям (6.3), а а — условиям (6.6)1). Пусть Е 0состоит из тех элементов пространства 5, которые удовлетво ряют равенствам (6.4).
Уравнение (6.2) показывает, что имеет место
Л е м м а 5. Ut -у оо, когда IIФ II + || сг || ->- оо.
Здесь и далее || ф || и || а || означают нормы ф и а в соответствую щих пространствах Соболева. Из условия (6.1) и теоремы В следует,
что |
имеет место |
Ui — слабо полунепрерывный снизу |
функционал. |
||||||
Л е м м а 6. |
|||||||||
|
|
Функционалы |
U2, |
I |
а' (т)] cos [ф (т) — Ф (т)] dx |
||||
|
Л е м м а 7. |
j [ 1 |
|||||||
I |
|
|
|
|
|
о |
|
|
|
|
|
|
|
|
|
|
|
||
и j |
[1 + a ' (т)] sin [ф (т) — Ф (т)] dx слабо непрерывны на S. |
||||||||
о |
|
|
|
|
|
|
|
|
|
|
Д о к а з а т е л ь с т в о . |
Мы рассмотрим лишь функционал |
|||||||
|
|
|
|
I |
|
|
|
|
|
|
F [ф, |
a] = |
j |
[1 + |
а ' (т)] sin [ф (т) — Ф (т)]dx; |
||||
|
|
|
|
о |
|
|
|
|
|
доказательство для двух других функционалов аналогично. |
|||||||||
|
Пусть (ф„, 0П) |
(ф, |
о) слабо. Ввиду теоремы Рисса об общем виде |
||||||
линейного функционала это означает, |
что 2) |
|
|
||||||
|
|
I |
|
|
|
I |
|
|
|
|
|
j [фЛ1 + |
Фп'П']<Л ->- j |
[фті + |
ф'гі']сіт, |
(6.8) |
|||
|
|
о |
I |
|
|
о |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
[OnZ+ o'nZldx-* ^{oZ + 0%']dx |
(6.9) |
|||||
|
|
|
и |
|
|
и |
|
|
|
х) Разумеется, S — банахово пространство только в том случае, когда условия (6.3) однородны. Второе условие (6.6) не обязательно выполняется, так как 6 6 ig и 6 (0) не определено. То же самое относится и к условию (6.6)
вслучае, когда задается функция ф.— Прим. ред.
2)Вопрос об общем виде линейного функционала на пространстве Собо
лева |
исследован в работах М. 3. Соломяка [7], [8].—ЧІрим. ред. |
206 |
|
|
С. Л НТ МА Н |
|
|
|
|
||
для произвольных функций ' ПЕ^а'(0, /) и £Е№1и (0, I), |
где |
1 / a - f - |
|||||||
+ 1/а' = |
1 и l / ß + l / ß ' = l . |
Далее, имеем |
|
|
|
||||
|
|
I |
|
|
|
|
|
|
|
^[ф , а] — /Дфп, |
оп]= j sin [ф(т) — Ф (т)]-[а' (т) — а'п (т)] dx + |
|
|||||||
|
I |
о |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ j [1 + |
o'n] {sin [ф (г) — Ф (т)] — sin [ф„ (т) — Ф (т)]} dx. |
(6.10) |
|||||||
|
о |
|
|
|
|
|
|
|
|
Исследуем второй интеграл в (6.10). Абсолютная величина этого |
|||||||||
интеграла меньше, чем |
|
|
|
|
|
|
|
||
I |
|
|
|
|
|
|
|
|
|
2 j ) l + o - ; ( T ) | sin-g-(ф(т) |
фц(т)) X |
|
|
|
|||||
о |
|
X cos--- Y1 (Ф ('г) + ф„ (т) — 2Ф (т)) dx<i |
|
||||||
|
|
|
|||||||
j I 1 + а ; (т) 11ф (т) — фп (т) I |
|
|
|
|
|
||||
|
|
^ I шах I 1 + |
Оп (т) I шах | ф (т) — ф„ (т) |. |
(6.11) |
|||||
|
|
|
*Т |
|
|
X |
|
|
|
Согласно теоремам С и |
D, |
последний член в |
(6.11) |
стремится |
|||||
к нулю х). |
|
|
|
|
|
|
|
|
|
Теперь рассмотрим первый интеграл из (6.10). Пусть в уравне |
|||||||||
нии (6.9) |
выбрана функция £, |
обладающая свойством |
|
|
|||||
|
|
|
I |
|
|
|
|
|
|
|
|
|
j £(т) dx = 0. |
|
|
(6. 12) |
|||
|
|
|
Ü |
|
|
|
|
|
|
Тогда, |
интегрируя (6.9) |
по частям, |
имеем |
|
|
|
|||
|
I |
|
|
|
|
X |
|
|
|
|
( [а' |
(т)-< г;(т)][£ ' (X )- |
J s o d s J dx |
0. |
|
(6.13) |
|||
|
о |
|
|
|
|
о |
|
|
|
Выберем в качестве £ (т) любое гладкое решение линейного урав |
|||||||||
нения |
|
|
|
|
|
|
|
|
|
|
|
Г (г) — S (т) = |
~ |
sin [ф (т) — Ф (т)], |
|
|
(6.14) |
удовлетворяющее условию (6.12) *2). Тогда можно отождествить (6.13)
с первым интегралом из (6.10). Таким |
образом, первый интеграл |
из (6.10) также стремится к нулю при |
со. Итак, функционал F |
слабо непрерывен, ч. т. д. |
|
х) Вместо последнего выражения в (6.11) (которое вообще не ограничено) следует написать (I + / 1/а [| о'п ||7 ) шах | ф (т) — фп (т) |, где первый множи-
X
тель ограничен, а второй исчезает при я-*- оо.— Прим. ред.
2) Интеграл (6.13) совпадает с первым интегралом в (6.10), если функцию £, подчинить, кроме (6.12), требованию (0) = sin [ф (0) — Ф (0)1.— Прим. ред.
XII. Ф О Р М Ы |
Р А В Н О В Е С И Я |
Н Е Л И Н Е Й Н О У П Р У Г И Х С Т Е Р Ж Н Е Й |
2 0 7 |
Т е о р е м а 4. |
Пусть ß > 2 |
(ß определено в (6.2)). Тогда для про |
извольного фиксированного q существует элемент (iß0, о0) из £ 0, кото
рый доставляет функционалу U [iß, er] абсолютный минимум |
на Е 0. |
|||||||
Д о к а з а т е л ь с т в о . |
Из |
условия, |
наложенного |
на |
ß, |
сле |
||
дует, что U |
оо, когда II iß II + |
II о II -V 0. Поскольку Е 0, как нетруд |
||||||
но показать, |
не пусто, |
оставшаяся часть доказательства |
проводится, |
|||||
как в случае теоремы 1. |
|
|
|
|
|
|
||
Т е о р е м а 5. Пусть |
|
|
|
|
|
|
||
|
Е 2 (R) = |
{(iß, |
а): U2 [iß, |
а] = R}. |
|
(6.15) |
||
Тогда для каждого числа R |
существует элемент (iß2, а 2) |
из Е 0 П |
Е 2, |
|||||
который доставляет |
1Д [iß, ст] |
абсолютный минимум на Е 0 f| |
£ 2. |
Д о к а з а т е л ь с т в о . Из простых геометрических рассмотре ний можно вывести, что множество Е 0 П Ег не пусто. Остальное полу чается, как при доказательстве теоремы 1.
Т е о р е м а 6. Если в дополнение к (6.1) и (6.2) функция W (р, S, т) удовлетворяет неравенству
I Г* И - I Wb К const (I р I“ + I 6 |ß + 1), |
(6.16) |
то минимизирующие функции (iß0, а 0) и (iß2, а 2) из теорем 4 и 5 дважды непрерывно дифференцируемы на [0, 1\ и являются классическими решениями уравнений Эйлера.
Доказательство следует доказательству теоремы 3, и мы его опускаем.
В теореме 4 мы предположили, что ß больше 2, тогда как в теоре ме 5 такое ограничение не было необходимо. Это предположение имеет простой физический смысл, что лучше всего объяснить на примере.
Рассмотрим |
расширение |
кругового кольца |
внутренним |
давлением |
|||
q > |
0. |
Предположим, что |
W не зависит от |
т и |
что |
(0, 6) = 0, |
|
1Е6 |
(р, |
0) = |
0. Пусть недеформированный радиус |
равен |
1. Мы ищем |
условия, при которых кольцо может быть в равновесии в форме кру
гового кольца радиуса R |
1. Легко видеть, что величины |
|
|
iß = 0, М = |
0, 6 = |
R — 1, N = qR |
(6.17) |
удовлетворяют уравнениям |
(2.1), |
(2.2), первому уравнению |
(2.3) |
и условиям периодичности. Если требуется, чтобы (6.17) было реше
нием, то должно удовлетворяться второе |
уравнение |
(2.3): |
|
|
|
qR = Гб (0, R - |
1). |
|
(6.18) |
Если |
мы изобразим левую часть (6.18) как функцию от |
R — 1, |
||
то получим семейство прямых, пересекающих ось |
R — 1 |
в точке |
||
R — 1 = |
—1, которые параметризуются при помощи углового коэф |
фициента q. График правой части (6.18) как функции R — 1 дает
единственную кривую, |
которая ведет |
себя |
подобно (R — l)ß_1 при |
|
больших R. Если ß ^ 2, то существует, |
очевидно, |
некоторое значение |
||
q*, такое, что кривая |
N = W& (0, R — 1) |
не |
пересекает кривых |
2 0 8 |
С. АНТМАН |
N = qR при q > q*. С другой стороны, мы видим, что для любого R имеется q, заданное посредством (6.18), для которого равенства (6.17) дают решение. Таким образом, кольцо может находиться в равнове сии при произвольно большом внутреннем давлении только в том случае, если материал является достаточно «жестким» при растяжении. Итак, два различных закона связи напряжений с деформациями, которые можно считать в существенном эквивалентными при малых деформациях (например, если осевое усилие N пропорционально мере деформации 6: N = f (р,)8, или N пропорционально напряжению
материала: N = -|-/(р,) Цб + I)2 — 1]), дают совершенно разные
результаты для больших деформаций. К подобным выводам приходят также и для мембран (см. [5]). Можно ожидать, что этот механизм действует при граничных условиях (6.3) и (6.4).
Заметим, между прочим, что этот же графический анализ сохранит силу для кольца при внешнем давлении, если допустить отрица тельные значения q. В этом случае если (6.17) должно быть решением для всех отрицательных q, то величина W& (р, 6') должна стремиться к —оо, когда 6 приближается к —1.
7. Заключение Теоремы § 6 и 7 обеспечивают существование «предпочтительных»
решений. Это простейшие теоремы такого рода. |
Более тонкие |
||
результаты можно |
получить, используя |
технику, |
рассмотренную |
в лекциях VI и VII, |
а также в литературе |
к ним. Вопросы ветвления |
можно исследовать методами лекций VI и VII или при помощи метода Пуанкаре, примененного в лекциях II и IV, в сочетании с методами лекции XI. В тех задачах, где можно определить «тривиальное» реше ние, для доказательств существования нетривиальных решений можно применить методы лекции IV.
Эта лекция частично основана на работах [1] и 16].
ЛИТЕРАТУРА
11] Antman S., General solutions for plane extensible elasticae having nonlinear stress-strain laws, Quart. Appl. Math., 26 (1968), 35—47.
12] Tadjbakhsh I., The variational theory of the plane motion of the extensible elastica, Int. J. Eng. Sei., 4 (1966), 433—450.
{3] Вайнберг M. M., Вариационные методы исследования нелинейных опера торов, Физматгиз, М., 1956.
{4] Соболев С. Л., Некоторые применения функционального анализа в мате матической физике, изд-во ЛГУ, 1950.
15] Green А. Ё. and Adkins J. Е., Large elastic deformations, Oxford, 1960.
[6]Antman S., Equilibrium states of nonlinearly elastic rods, J. Math. Anal. Appl. (to appear).
[7*]Соломяк M. 3., О пространствах, сопряженных к пространствам С. Л. Со болева, ДАН СССР, 143, № 6 (1962), 1289—1292.
{8*]Соломяк М. 3., О разрешимости некоторых интегральных тождеств, Ученые записки Ленинградского пед. ин-та им. Герцена, 238 (1962), 141 —148.
X I I I
НЕЕДИНСТВЕННОСТЬ ПРЯМОУГОЛЬНЫХ РЕШЕНИЙ ЗАДАЧИ БЕНАРА
Поль Г. Рабинович
1.Введение
Вэтой лекции мы рассмотрим задачу Бенара, которая среди других задач о конвекции является относительно простой. Мы хотим дать мате матическое описание следующего идеализированного эксперимента. Бесконечный горизонтальный слой вязкой жидкости заключен между двумя твердыми идеально проводящими стенками и первоначально находится в покое. Между стенками поддерживается постоянный градиент температуры, причем нижняя стенка теплее верхней. Если градиент температуры мал, жидкость остается в покое, и теплопере дача в жидкости осуществляется только путем теплопроводности. Однако если градиент температуры станет больше некоторого критиче ского значения, жидкость приходит в движение, которое не зависит от времени и называется конвекционным потоком. Теперь теплопере дача осуществляется как путем теплопроводности, так и путем кон векции. В реальных экспериментах в жидкости возникают регулярные ячеистые образования и движение имеет место лишь внутри ячеек [1], [2]. Оказывается, что форма ячеек сильно зависит от формы сосу да [2].
Описанному явлению можно дать простое качественное объясне ние. Около дна жидкость от нагревания расширяется, и плотность
еепадает. Поэтому она стремится подняться. Однако, будучи вязкой, жидкость оказывает сопротивление этой выталкивающей силе. Если градиент температуры мал, то вязкие силы доминируют и жидкость остается в покое, а тепло передается только путем теплопроводности. Если же критическое значение градиента температуры превышено, выталкивающая сила становится достаточно большой, чтобы преодо леть силы вязкости жидкости, и начинается конвекция.
Первые эксперименты в этой области были проведены Бенаром. В его опыте жидкость имела свободную верхнюю границу, и Бенар обнаружил, что ячейки имеют форму шестиугольников [2]. Позднее, однако, было показано [3], что этот эффект связан в первую очередь с поверхностным натяжением, которым в рассматриваемой здесь задаче можно пренебречь.
Мы хотим показать, что описанные выше явления конвекции могут быть получены математически из уравнений движения жидкости. Решение, соответствующее чистой теплопроводности, легко находится, и оно существует для всех значений градиента температуры. Таким образом, с математической точки зрения задача ставится как задача
1 4 - 0 1 2 8 5