Главная > Анализ в классах разрывных функций и уравнения математической физики
НАПИШУ ВСЁ ЧТО ЗАДАЛИ
СЕКРЕТНЫЙ БОТ В ТЕЛЕГЕ
<< Предыдущий параграф Следующий параграф >>
Пред.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
След.
Макеты страниц

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

Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике

ДЛЯ СТУДЕНТОВ И ШКОЛЬНИКОВ ЕСТЬ
ZADANIA.TO

7. Теоремы Фредгольма.

Здесь будут сформулированы и доказаны основные теоремы о разрешимости задачи А в предположении сильной эллиптичности

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

Напомним, что задача А и сопряженная задача А были сформулированы в п. 2. Наряду с ними мы будем рассматривать соответствующие однородные задачи, т. е. такие, для которых функции и а также функционалы равны нулю. Эти задачи будем обозначать о соответственно. Так как функция являющаяся решением задачи , удовлетворяет граничному условию (2.3) и принадлежит пространству то по определению пространства

(см. п. 2) эта функция принадлежит последнему. Поэтому ясно, что задача А о может быть сформулирована следующим образом.

Задача Найти функцию и, принадлежащую пространству и удовлетворяющую уравнению

для всех функций принадлежащих пространству

Совершенно аналогично может быть сформулирована сопряженная однородная задача.

Задача Найти функцию принадлежащую пространству и удовлетворяющую уравнению

для всех функций и, принадлежащих пространству

Мы можем теперь сформулировать основные теоремы.

Теорема 1. Для разрешимости задачи А при любой функции и любом функционале необходимо и достаточно, чтобы соответствующая однородная задача о имела только нулевое решение.

Теорема 2. Однородные задачи имеют конечные и равные между собой числа линейно-независимых решений.

Теорема 3. Для разрешимости задачи А при заданной функции и заданном функционале необходимо и достаточно, чтобы выполнялось равенство

для всех решений задачи

Аналогичные теоремы, сформулированные и доказанные впервые для интегральных уравнений Фредгольмом, и, как было потом обнаружено, справедливые и для более широкого класса уравнений, называются теоремами Фредгольма.

Перейдем к доказательству их. Начнем с теоремы 2. Пусть и есть решение задачи . В силу определения пространства (см. п. 4) функция есть также элемент пространства Поэтому для любых имеет место (5.8). Следовательно, на основании (7.1)

Это равенство можно записать также в виде

Ввиду произвольности мы получаем отсюда

Но оператор I вложения пространства в пространство является вполне непрерывным оператором Следовательно, I есть также вполне непрерывный оператор, действующий из пространства в пространство (см. п. III.4.2). Далее, как показано в п. 5, оператор В есть ограниченный оператор, действующий из в Следовательно, оператор есть вполне непрерывный оператор, действующий в пространстве так как он является произведением вполне непрерывного на ограниченный оператор (см. п. III.4.2).

Итак, мы показали, что каждое решение задачи рассматриваемое как элемент пространства является решением уравнения (7.6) с вполне непрерывным оператором.

Проведя рассуждение в обратном порядке, т. е. переходя от (7.6) к (7.5), (7.4) и (7.1), мы получим, что каждое решение и уравнения (7.6), если его рассматривать как элемент пространства является решением задачи

Отсюда сразу следует, что пространство решений задачи конечномерно и его размерность совпадает с размерностью пространства

решений уравнения (7.6). При этом мы воспользовались второй теоремой Фредгольма для уравнений с вполне непрерывным оператором (см. приложение).

Мы можем провести точно такие же рассуждения для задачи При этом мы получим равенство (7.4), где есть решение задачи рассматриваемое как элемент пространства — произвольный элемент пространства Из (7.4) следует равенство

Ввиду произвольности получаем отсюда

Таким образом, каждое решение задачи рассматриваемое как элемент пространства является решением уравнения (7.8), и обратно, каждое решение уравнения (7.8), рассматриваемое как элемент пространства является решением задачи

Но уравнение (7.8) является сопряженным к (7.6). Поэтому, пользуясь второй теоремой Фредгольма для уравнений с вполне непрерывными операторами, мы можем утверждать, что пространство решений задачи конечномерно и его размерность совпадает с размерностью пространства решений задачи Теорема 2 доказана.

Перейдем к доказательству третьей теоремы. Пусть задача разрешима и —ее решение. Рассмотрим функцию

Эта функция принадлежит пространству Далее, для любой функции принадлежащей на основании (2.5) получаем

Если есть решение задачи то по определению решения Отсюда и из (7.10) получаем (7.3). Необходимость условия (7.3) для разрешимости задачи доказана.

Перейдем к доказательству достаточности этого условия. Ясно, что есть линейный ограниченный функционал в пространстве (по элементу Поэтому

есть также линейный ограниченный функционал в пространстве Но так как нормы в пространствах эквивалентны (см. п. 4), то есть также линейный ограниченный функционал в пространстве По теореме об общем виде линейного функционала в гильбертовом пространстве (см. п. III.2.4) существует такой элемент что

при

Пусть для любого решения задачи имеет место равенство (7.3). Тогда из (7.11) и (7.12), рассматривая как элемент пространства получим

Учитывая связь между решениями задачи и уравнения (7.8), указанную при доказательстве теоремы 2, мы можем заключить, что равенство (7.13) выполняется для всех решений уравнения (7.8). На основании третьей теоремы Фредгольма для уравнений с вполне непрерывными операторами (см. п. 8.2), примененной к уравнению

мы заключаем, что это уравнение имеет решение Умножим скалярно на произвольный элемент пространства Тогда с учетом (7.12) и (7.11) будем иметь

Применяя теорему п. 5, получим

Это равенство остается справедливым, если считать функциями из Положим Получим

Так как то и поэтому

Равенства (7.17) и (7.18) означают, что и есть решение задачи А. Таким образом, мы доказали разрешимость задачи А. Теорема 3 доказана.

Докажем первую теорему. Она фактически является следствием второй и третьей. Действительно, пусть задача имеет только нулевое решение. Тогда по второй теореме мы можем сделать тот же вывод и для задачи Поэтому на основании третьей теоремы имеет место разрешимость задачи А при всех и всех

Обратно, пусть имеет место разрешимость задачи А при всех есть решение задачи Положим Тогда по третьей теореме

для любого Но это значит, что Таким образом, задача имеет только нулевое решение. В силу второй теоремы задача о имеет также только нулевое решение.

Итак, все три теоремы Фредгольма доказаны.

В качестве примера применения этих теорем вернемся к задаче, рассмотренной в п. 6. Мы видим, что при выполнении условия (6.8) всюду на 5 и (6.14) на множестве положительной меры однородная задача имеет только нулевое решение. Теперь мы можем утверждать на основании первой теоремы Фредгольма, что решение задачи (6.5) существует при всех В частности, ясно, что это имеет место, когда имеет вид (6.4), а функция суммируема в квадрате на 5. Таким образом, задача (6.1), (6.2) разрешима (в обобщенном смысле) для любой функции

В случае (6.15), как было показано, однородная задача имеет одно линейно-независимое решение (произвольную константу). В рассматриваемом случае однородная задача совпадает с сопряженной однородной задачей. По третьей теореме Фредгольма легко понять, что необходимым и достаточным условием разрешимости задачи (6.1), (6.2) при является обращение в нуль интеграла (6.16).

1
Оглавление
email@scask.ru