Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги из ГПНТБ / Теория ветвления и нелинейные задачи на собственные значения

..pdf
Скачиваний:
8
Добавлен:
24.10.2023
Размер:
9.31 Mб
Скачать

60

И. Т А Д Ж Б А Х Ш

8. Заключение

Некоторые доказательства, приведенные в работе [7], на которой основана эта лекция, здесь изменены.

9. Приложение: случай п = 1 х)

С. Антман

В этом приложении с помощью элементарных результатов гло­ бальной дифференциальной геометрии показано, что не существует деформированного кольца, удовлетворяющего граничному усло­ вию (2.4) и имеющего только одну ось симметрии, т. е. что кривизна k, периодическая с периодом 2л/п, не может иметь наименьшим периодом.

Исследуя дифференциальное уравнение (2.17) для произвольных значений р и ß, можно показать (методами фазовой плоскости, напри­ мер), что периодические решения (2.17) имеют вид, показанный на

о

Рис. 4.

рис. 4, т. е. функция ѵ ограничена в полосе ^ ѵ ^ ѵ2, симметрична относительно своих точек касания с прямыми ѵ = ѵх и ѵ = ѵ2 и vs обращается в нуль только на этих прямых.

Таким образом, мы видим, что наименьший период функции ѵ равен

2я (-^-) , где N — число экстремумов ѵ на интервале длины 2я. Для

любой замкнутой кривой N должно быть равно самое меньшее двум. Применим теперь теорему Джексона [8]:

Т е о р е м а Е (теорема о двух вершинах). Гладкая замкнутая кривая, кривизна которой имеет ровно два экстремума, состоит точно из двух простых петель, каждая из которых содержит экстре­ мум кривизны. (Поэтому такая кривая не может быть простой.)1

1) См. также Antman St., Existence of solutions of the equilibrium equations for nonlinearly elastic rings and arcs, Indiana Univ. Math. J., 20, № 3 (1970), 281—302; The shape of buckled nonlinearly elastic rings, ZAMP, 21, № 3 (1971), 422—438.^— Прим, nepee.

I V . Ф О Р М Ы И З Г И Б А У П Р У Г И Х К О Л Е Ц

61

Примеры кривых, кривизна которых имеет ровно два экстремума, даны на рис. 5.

Изменение угла наклона касательной в петле рис. 6,я равно я + ос, а для петли на рис. 6,6 оно равно Зя — а. Исследование двойной точки (рис. 7) показывает, что исходящие из нее простые петли должны иметь характер петель рис. 6. Поэтому полное изменение угла для

оо

 

(а)

{*>)

(с)

 

 

 

 

 

 

 

 

Рис.

5.

 

 

кривой, кривизна которой

имеет

только два экстремума,

состоит

из различных сумм чисел +

(я + а) и +

(Зя — а). Так как

полное

изменение угла

не зависит от а, оно не может быть равно ± 2 я , и поэ­

тому при п = 1

граничное условие (2.4)

выполняться не может.

Этот результат легче доказать, если рассматривать только простые гладкие замкнутые кривые, поскольку тогда можно применить теоре­ му о четырех вершинах [8]: каждая такая кривая имеет по крайней

мере четыре точки, в которых кривизна достигает экстремума. Для задачи об изгибе кольца это физически обоснованное ограничение.

Ясно, что если ограничение (2.4) ослабить следующим образом:

Ѳ (s + 2я) = Ѳ (s) + 2ят,

(9.1)

то многообразие решений нашей граничной задачи значительно рас­ ширится. В частности, рис. 5,я соответствует т = 0, а рис. 5,6 т = 2. Физическую реализацию рис. 5,а можно получить, поворачивая один из концов тонкой полоски бумаги на угол 2я и приклеивая его к дру­ гому концу. (Это не лист Мёбиуса.) Получающаяся форма кольца показана на рис. 8,я.

Интересно отметить, что'полоску рис. 8,я можно превратить в поло­ ску рис. 8,6 которую можно рассматривать как физический аналог рис. 5,6.

62

И. Т А Д Ж Б А Х Ш

Другие возможные решения краевой задачи (2.15), (9.1), (2.7) суть

Ѳ = ms.

(9.2)

Это тривиальные решения, соответствующие ненагруженной форме, состоящей из т петель (как на рис. 8,Ь, где имеется две петли). Если допустить такие решения, то характеристический график р как функ­ ции от некоторой нормы k будет состоять не только из ветвей, образую­ щихся от k = 1, но и из ветвей, порожденных k = Мт. При этом

Рис. 8.

решения (9.2) могут превращаться в другие формы, так же как форма рис. 8,а превращается в форму рис. 8,Ь. Было бы полезно рассчитать характеристический график и для такого явления. Эти соображения указывают на многообразие решений, которое может возникнуть при решении нелинейного уравнения.

На этом приложении основана работа [9].

 

 

ЛИТЕРАТУРА

 

 

[1]

Levy М., Memoir

sur iin nouveau cas intégrable

du problème de

l’elastique

[2]

et Типе de ces applications, J. Math. (Liouville),

sec. 3, 7 (1884).

26 (1947),

Carrier G. F., On

the buckling of elastic rings,

J. Math. Phys.,

 

94—103.

 

 

 

[3]Вайнберг M. M., Вариационные методы исследования нелинейных опера­ торов, ГИТТЛ, М., 1956.

[4]Соболев С. Л., Некоторые применения функционального анализа в мате­ матической физике, Изд-во СО АН СССР, Новосибирск, 1962.

[5]Ахиезер Н. И., Лекции по вариационному исчислению, Гостехиздат, 1955.

[6] Henrici

Р., Discrete variable methods in ordinary differential equations,.

Wiley,

New York, 1962.

[7]Tadjbakhsh I., Odeh F., Equilibrium states of elastic rings, J. Math. [Anal. Appl., 18, № 1 (1967), 59—74.

[8]Jackson S. B., Vertices of plane curves, Bull. Amer. Math. Soc., 50 (1944), 564—578.

[9]Antman S., A note on a paper of Tadjbakhsh and Odeh, J. Math. Anal. Appl.r 21 (1968), 132—135.

V

ЗАДАЧА О БИФУРКАЦИИ В ТЕОРИИ СВЕРХПРОВОДИМОСТИ

Ф. Одех

1. Введение и формулировка краевой задачи

Теория сверхпроводимости Гинзбурга — Ландау (см. [1], [2]) описывает поведение сверхпроводящего вещества во внешнем магнитном поле посредством комплексной функции ср (х, у, г), называемой парамет­ ром упорядочения, и векторного потенциала а (х, у, г) вектора маг­ нитной индукции В = V X а. Значение | ср |2 измеряет величину сверхпроводимости. В соответствующих единицах уравнения Гинзбур­ га — Ландау имеют вид

(ik^V + а) • (г’АгѴ + а) ср = ср (1 — I cp I2),

(1.1)

— V X V X а = Це[ф* (і‘&-1Ѵ+ а) ф] — (ф*Ѵф — фѴф*) + а|ф j2.

(1.2)

Здесь k — заданная физическая постоянная, а звездочка означает комплексное сопряжение.

Мы предполагаем, что проводящая среда занимает все простран­ ство, и разыскиваем решения уравнений (1.1) и (1.2), такие, что

 

 

 

 

 

ф = ф (х, у),

 

 

 

 

 

(1.3а)

 

 

 

 

В =

(О, О, В (X,

у)),

 

 

 

 

 

(І.ЗЬ)

 

|ф(* +

іѵ , У + Пѵ) I2 = I ф (X, у)

I2,

V

=

1, 2,

 

(1.3с)

 

 

В (х + £ѵ, У +

4ѵ) = В (х,

у),

V

=

1,

2.

 

(1.3d)

Здесь

(£ь %)

и

(І2, ^г) — независимые

векторы

решетки,

которые

задают «вихревую» структуру на плоскости

(х, у).

Краевая

задача

(1.1)

— (1.3)

соответствует

абрикосовскому смешанному

состоянию.

Пусть П означает элементарную ячейку, т. е. параллелограмм перио­

дов с вершинами (х, у),

(х +

| 1( у + Ці),

+

h

+

| 2, у +

% + tj2),

+

£г> У +

чіг)-

Если

мы

положим

ф =

| ф | ехр [і'Ѳ], то

ввиду

однозначности ф изменение фазы ДѲ при обходе контура дй кратно 2я:

ДѲ = — (г/2) [(ф*Ѵф— фѴф*)/| ф \2]-ds = 2пя.

(1.4)

ѳа

 

Условие периодичности (1.3d) показывает, что

 

| [ ( Ѵ Х Ѵ Х а)/| ф I2]-ds = 0.

(1.5)

 

6 4

Ф.

О Д Е Х

 

 

Действуя на (1.2) оператором ф

| ф |-2 ds* и

применяя (1.4)

(1.5),

получаем

аа

 

 

 

 

 

 

 

 

2пк = к <| a-ds = k j

В dx dy = kB

(1-6)

 

ea

 

 

 

Это — условие квантования магнитной индукции; В — среднее функ­ ции В по й.

Вводим новые

переменные: (*', у') =

(ІгВ/2л)1/2(х, у),

(£(,, Лу) =

= (&0/2я )1/2(£ѵ, Л ѵ) .

ф ' = (B/2nk) - 1/2 ф, а' =

(B/2nk) ~1/2а, Я =

2лк (В)~К

Теперь опустим штрихи. Уравнения (1.1), (1.2) принимают вид

[(ІѴ -Г а) • (tV Т" *0 ■— X] ф = ф I ф |2,

0 *7)

— V X V х а = І £ - 2Ее[ф* (іѴ + а) ф].

(1.8)

Сделаем (калибровочное) преобразование

 

 

 

а = А + А0.

 

(1.9)

Так как а — векторный потенциал, мы можем ради удобства нало­ жить соответствующие ограничения на А0 и А. Следующий ряд допол­ нительных условий для (1.7) и (1.8) содержит эти ограничения и усло­ вия периодичности (1-Зс), (1.3d), соответствующие в некотором смысле условиям квантования потока (1.6):

Ао = я (г/, — X, 0),

 

(1.10)

Ѵ*А =

0,

 

 

(1.11)

\ d x d y = 0 ,

 

 

(1.12)

й

 

 

 

 

f f (V X A) d xdy = 0,

 

(1.13)

А(х + £ѵ, г/+ т]ѵ) = А(х, у),

ѵ = 1 ,

2,

(1.14)

Ф -f- У”Ь Лѵ)— ^ x p [^t (Л-Лѵ

У^ѵ)]

ф (-С У)і

V = 1, 2.

(1.15 )

Таким образом, наша краевая задача состоит из уравнений (1.7)— (1.15). Она имеет тривиальное решение ф == 0, А = 0 для произволь­ ных значений параметра X. В следующих двух параграфах мы будем исследовать нетривиальные решения.

2.Бифуркационная задача

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

малый

параметр е так, что тривиальному решению

соответствует

g = 0.

Затем мы перепишем краевую задачу в форме,

допускающей

V. З А Д А Ч А О Б И Ф У Р К А Ц И И В Т Е О Р И И С В Е Р Х П Р О В О Д И М О С Т И

65

применение общей теоремы о неявной функции, которая и обеспечит существование решений для малых, но отличных от нуля е.

Используя (1.9), (1.10), (1.11), запишем (1.7) и (1.8) в виде

—t(£V "Ь А0) *(£Ѵ “Ь Ао) —7,] ф = ф I Ф |2 + 2А-(іѴ + А0) ф -f- А'Аф^

 

 

 

 

 

 

 

 

 

 

 

 

(2.1)

 

 

—V X V X

А =

£r2Re [ф*(£Ѵ +

А + Ао) ф].

(2.2)

 

Введем малый параметр s и положим

 

 

 

 

 

 

 

 

 

ф =

в1/2!)),

А =

га.

 

(2.3)

 

Уравнения (2.1) и (2.2) принимают вид

 

 

 

 

 

(L X) ф =

{(іѴ +

Ао) -(і'Ѵ +

А0) — Ч Ф = —е/,

(2.4)

 

где

 

 

 

М а = —V

X V

X и = g,

(2.5)

 

/ (ф, а) =

[ ф |2ф + 2а-

(ІѴ +

А0)ф + еа-аф,

(2.6)

 

 

 

 

g (ф, а) =

£“2Re [ф* (іѴ +

А0) ф] +

гк~2а |ф|2.

(2.7)

 

Условия (1.11) — (1.15) сохраняются для а и ф.

что задача (2.4), (1.15)

 

При 8 = 0

можно показать

(см.

[3, § 41),

 

имеет решения для дискретного множества положительных значе­

 

ний

%. Наименьшее

собственное значение Ч

(соответствующее наи­

 

большему В)

есть Ч

= 2я. Этому собственному значению соответст­

 

вует одна или

более собственных функций ф0.

Кратность

зависит от

 

симметрии решетки. Для важных случаев решеток, составленных из

 

квадратов или равносторонних

треугольников, можно показать, что

 

существует только одна собственная функция ф0 (см. [4],

[5]). Мы ог­

 

раничиваемся такими случаями.

 

(1.11) — (1.14) допускает в каче­

 

Для ф = фо и 8 = 0 задача (2.5),

 

стве решения единственную вектор-функцию а0. Таким образом,

 

тройка (Ч, фо, а 0) есть решение задачи (2.4) — (2.7), (1.11) — (1.15) при

 

8 =

0 и, согласно (2.3),

является

просто тривиальным

решением.

 

Для

достаточно

малого

г

мы теперь разыскиваем новые решения

 

этой системы в виде (к, ф, а) =

(Ч +

ер, (е), ф0 + Ѳ (е),

а0+ ß (&)),

 

где Ѳортогональна к ф0. Если

спроектировать (2.4) на

одномерное

 

подпространство

Е 0,

порожденное функцией ф0, то получим

 

0 — ([L — Ч — ер (е)1 [фо +

Ѳ1 +

е/, ф0) =

 

 

 

 

 

=

( [ £ — 4 1 Ѳ, Фо) — е р (е ) (ф о , Фо) +

& ( / , ф 0) .

( 2

Поскольку ([L — Я0] Ѳ, фо) = (Ѳ, [L — 41 ф0) — (Ѳ, 0) =

0, из (2.8)

 

следует, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

И(е) =

(/.

ФоѴІІФоІІ2-

 

(2-9)

 

5 — 0 1 2 8 5

6 6

 

 

Ф. О Д Е Х

 

 

 

 

 

Уравнение (2.9) определяет р (0). Представим / в виде суммы

проекций на Е 0 и его ортогональное дополнение Е±:

 

 

 

 

/ = ( / , Фо)Фо/ІІФоІІ2 + /1 ,

 

 

 

(2.10а)

Согласно (2.9), это эквивалентно равенству

 

 

 

 

/

=

р (е) я|50 +

/-1.

 

 

(2.10Ь)

Подстановка (2.1Ob) в (2.4) дает

 

 

 

 

 

 

 

[L — Я0] Ѳ =

е [рѲ

 

/-Ч.

 

 

(2.11)

Если

через R 0 обозначить

обратный к

сужению оператора

L — Яд

на

(который, очевидно, существует),

то (2.11)

можно

записать

в виде

eR o[р (е) Ѳ +

 

 

 

 

 

Ѳ =

/-И

 

 

(2.12)

(Rо называется псевдообратным к L — Я0). Обращая

(2.5),

получаем

 

 

a

=

M ~ 1g .

 

 

 

(2.13)

Эти обращения включают в себя условия

(1.11) — (1.15). Они

могут

быть записаны явно при помощи разложений по собственным функ­ циям. Наша краевая задача сведена к системе (2.9), (2.12), (2.13).

Чтобы обсудить свойства операторов R 0 и М~х, введем простран­ ства Соболева Щп) (й), состоящие из скалярных или векторных распределений, производные которых вплоть до л-го порядка при­ надлежат L-i (Й). Пространство ИЛ/ДЙ) — гильбертово, с естествен­ ным скалярным произведением и нормой. (Квадрат естественной

нормы есть интеграл по й

от суммы квадратов абсолютных величин

всех производных вплоть

до

порядка л.) Пусть || и ||„

обозначает

норму и в

Тогда имеет место

 

 

Л е м м а

1. Операторы R 0

и М~х суть компактные

операторы

в И^п)(й), удовлетворяющие неравенствам

 

 

 

II Roh IU+ 2

< const

II h lU,

(2.14)

 

II

 

const

IlgIL.

(2.15)

Доказательство этой леммы вытекает из стандартных оценок для однозначно обратимых равномерно эллиптических операторов. Детали мы здесь опустим.

Т е о р е м а 1.

Существует е0 > 0, такое, что для е ^

е0 система

(2.9), (2.12), (2.13)

имеет единственное малое нетривиальное решение.

Д о к а з а т е л ь с т в о .

Пусть ѵ есть тройка (р (е),

Ѳ (е), а (е)),

V 6 S == R X W (t 3)( Q ) X 1К'3)(Й),

где R ■— множество

веществен­

ных чисел. Определим нелинейное отображение

 

 

/ЛТ\

/

р (е) — {ft фо)/II Фо II2

 

N [ѵ (е), е] = | N2 1=1

Ѳ(е) — eR0[р (е) Ѳ+ f]

(2. 16)

\ N 3 /

\

а — 44_1g

V. З А Д А Ч А О Б И Ф У Р К А Ц И И В Т Е О Р И И С В Е Р ХП Р ОВ О ДИ М ОС Т И

67

Оператор N отображает гильбертово пространство 5 X R в S. Исполь­ зуя тот факт, что

N [ѵ (0), 01 = 0, V (0) =

(|т (0), 0, а (0)),

(2.17)

мы хотим показать, что существует ѵ (е), такое, что

 

N [ѵ (е), е] =

0

(2.18)

для достаточно малых г.

 

 

Для этого мы воспользуемся следующей теоремой:

Т е о р е м а (о неявной функции). Пусть X, Y, Z—банаховы про­ странства, и пусть F (х, у) отображает X X Y в Z. Если

i)F (х0, у 0) = О,

ii)F (х, у) имеет непрерывную производную Фреше Fy (х, у) в окре­ стности точки (х0, у о),

iii)оператор [Fy (х0, г/0)1_1 существует и ограничен, то существует

число ео, такое, что при \\х — х0 || ^

е0 уравнение F (х, у) = 0 имеет

единственное непрерывное решение у =

/ (х) с у 0 = f (х0). (Доказатель­

ство этой теоремы можно найти в учебниках по функциональному анализу

Мы отождествим отображение N с F и точки е и ѵ с х и у. Мы долж­ ны показать, что условия (і) — (ііі) теоремы о неявной функции удо­ влетворяются для N. Условие (і) эквивалентно равенству (2.17). Чтобы доказать (іі), мы сначала заметим, что по теореме вложения Соболева [6] норма II • ||з сильнее соответствующей максимум-нормы. Тогда из леммы 1 и того факта, что / Hg — гладкие функции своих аргумен­ тов в максимум-норме, следует, что отображение N ограничено и непре­ рывно дифференцируемо.

Чтобы проверить (ііі), мы вводим линейный оператор

ЛД[ѵ(0), 0] = И

(2.19)

(:

 

где I — тождественный оператор. Пользуясь равенством (2.19), можно показать, что оператор Nv[v (0), 0] обратим. Это завершает доказа­ тельство.

З а м е ч а н и е . При е = 0 уравнение (2.4) имеет решение для дискретного множества собственных значений {Х„}, Кп -> оо. Исполь­ зуя снова метод, который приводит к теореме 1, можно доказать суще­ ствование нетривиальных решений для значений, близких и немного больших, чем каждое из этих собственных значений.х

х) В этой теореме нужно еще предполагать, что отображение F непрерывно в окрестности U точки (х0, t/o)- При этом единственность гарантируется лишь в некоторой окрестности U' cz U точки (х0, у0). См., например, [9].—Прим, рее>„

5 *

68

Ф. О Д Е Х

3. Существование нетривиальных решений для к > к0

В этом параграфе мы применяем прямые методы вариационного исчисления для доказательства существования по крайней мере одного нетривиального решения уравнений Гинзбурга — Ландау (1.7) — (1.15) абрикосовского смешанного состояния для всех к > Ä,0 = 2я. (Таким образом, абрикосовское смешанное состояние возможно для всех значений средней магнитной индукции ниже ее критического значения.)

Уравнения (1.7) и (1.8) представляют собой уравнения Эйлера для функционала свободной энергии

Е{ер, а ]= [ [ | ( і-fa) ф»( — гѴ + а) ф* +

+ -§-|ф|4 — Я |ф |2+ 2 £ 2| V X а |2| dxdy. (3.1)

Пусть и обозначает пару (ср, А), где А — вектор, определенный посредством (1.9). Тогда допустимые функции — это элементы гиль­ бертова пространства Я, состоящего из таких элементов и 6 (Й), которые удовлетворяют (1.11) — (1.15). Обозначим норму таких функ­ ций через II • ||. Мы покажем, что существует нетривиальный элемент и0 из Я, который придает функционалу Е минимум при к > А,0. Наша методика аналогична той, которая была применена в лекции IV.

Л е м м а

2.

Е [и] ->• <х>, когда || и || ->

оо, для всех и, принадлежа­

щих Я (к считается фиксированным).

 

 

 

 

Д о к а з а т е л ь с т в о .

Если норма

|| и || -*• оо, то

по крайней

мере одна из Т2-норм ср, А, Ѵф, V A должна стремиться к оо. Обозначим

такую норму

через

||

• ||L2.

Мы изучим

поведение функционала Е

в каждом случае.

 

оо. Согласно неравенству Коши — Шварца,

Случай

1.

II ф ||ьг

 

 

 

 

 

 

ІІФг ІІІ2<ІІФ 4Ік,-ІШІь2-

 

 

Поэтому

j

j

( т

I

I4 — А, IФ |2

) dx d y -f-

оо, когда || <р \\Ьг-+- оо.

Так

как все

 

а

 

члены

в (3.1)

положительны, отсюда

следует,

что

другие

Е ->- оо,

когда II Ф ILj -*■ оо. Мы можем с этого момента предполагать,

что Иф \\Lt ограничена.

 

 

 

 

 

 

 

Случай 2.

ИѴА

->■ оо. Из (1.10), (1.13) следует, что || V X а ||Ь2=

= ИV X А |І£,2 +

4я2 (^іГ)2 — ^гЛі)- Применение теоремы Грина с уче­

том условий

(1.11)

и

(1.14)

приводит

к

выводу, что

ИVА ||Ь2 =

= IIV X

А ||ь2. Так как другие члены в Е ограничены снизу, отсюда

следует, что £-*- оо,

когда ||ѴА ||Ьг->

оо.

Теперь предположим,

что

Л ѴА ||х,2

также ограничена.

и (1.14)

заключаем, что || А ||Lj огра­

Случай 3.

С учетом

(1.12)

ничена.

 

 

 

 

 

 

 

 

 

 

 

 

 

V. З А Д А Ч А О Б И Ф У Р К А Ц И И В Т Е О Р И И С В ЕР Х П Р О В О Д И М О С Т И

69

 

Случай А. II Ѵф |Il2

°°. Мы можем

представить первый

член

в (3.1) в развернутой форме

 

 

 

( j {| Ѵф I2 —2 Im (ф*а-Ѵф) +

| фа 12}dxdy.

 

 

a

 

 

 

Применение неравенства

Коши — Шварца показывает тогда,

что

Е

се, когда II ѴфІІь,- ^

00• Это завершает доказательство х). Таким

образом, достаточно рассмотреть функционал Е, определенный на огра­ ниченных множествах пространства Н.

Пусть Вт— шар Ии И^

г в гильбертовом пространстве Н.

Для

фиксированного г имеет место следующее утверждение:

 

Л е м м а 3. Функционал Е слабо

полунепрерывен снизу на Вт.

Д о к а з а т е л ь с т в о .

Слабую

непрерывность членов

(3.1),

не содержащих производных, можно доказать методами, которые использовались в лекции IV. Остальные члены в (3.1) при фиксирован­ ных ф и А выпуклы по первым производным от и = (ф, А). Привлекая теорему Морри [7], приходим к выводу, что интегралы от этих членов обязаны быть слабо полунепрерывными снизу.

Т е о р е м а 2. Существует вектор и0, который реализует мини­ мум функционала Е на Н.

Д о к а з а т е л ь с т в о . Так как любой шар ВТ слабо замкнут в гильбертовом пространстве, из лемм 2 и 3 следует, что Е слабо полу­

непрерывен

снизу

на

ограниченном

слабо

замкнутом

множестве

в гильбертовом пространстве Н, и поэтому из теоремы А лекции IV

следует, что Е достигает своего минимума на Вг.

 

Вектор и0 есть слабое или вариационное решение краевой задачи

(1.7) — (1.15).

Теперь

мы докажем

следующую теорему:

Т е о р е м а

3.

Я/ш Я > Я0 мы имеем и0 Ф 0.

 

х) Одного

неравенства

Коши—Шварца

здесь мало. Для доказательства заме­

тим, что средний интеграл /

растет медленнее, чем || Ѵф

Действительно, согласие

неравенству Гёльдера,

он

оценивается по

модулю

величиной 2 || а ||І 4 1| ф ||^ 4 х

X Иф ||£д4 IIѴФ |і£2. Из

предположения об ограниченности || Ѵа ||^2, ||

ф ||La и непре­

рывности вложения W,21) в Z,4,

Z.6 (учитывая также,

что на рассматриваемых клас­

сах функций ||V a ||L2, || Ѵф ||La

эквивалентны

основным

нормам в Wg>), выводим,

что / не превосходит

const • || Ѵф |||^4, ч.

т.

д. Если

привлечь

 

можно доказать,

что Е -*■оо, по-другому

используя

неравенство Коши—Шварца

 

 

 

„..

 

t ^ а«е4

,

3 64/3

а, Ь, в > 0.—Прим. ред.

и числовое неравенство Гельдера ab ^ —----- 1-— —щ

;

Соседние файлы в папке книги из ГПНТБ