WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

   Добро пожаловать!

Pages:     | 1 || 3 | 4 |   ...   | 13 |

1.3. Проверьте фундаментальность последовательности функций {xn} из метрического пространства L2[0, 1] и докажите, что xn n=в L2[0, 1], n.

1.4. Докажите, что следующие множества являются линейными пространствами:

1) множество непрерывных на отрезке [0, 1] функций, удовлетворяющих граничным условиям f(0) = 0, f(1) = 0;

2) множество непрерывно дифференцируемых на отрезке [0, 1] функций, удовлетворяющих граничным условиям f (0) = 0, f (1) = 0;

3) множество непрерывных на отрезке [0, 1] функций, для которых f(x) dx = 0.

1.5. Докажите, что следующие множества являются линейными пространствами:

1) множество l2 числовых последовательностей, суммируемых с квадратом: x = {xk} l2, если x2 сходится;

k=1 k k=2) множество L2[a, b] функций, определенных и интегрируемых с b квадратом по Лебегу на отрезке [a, b]: f(x) L2[a, b], если f2(x) dx a сходится.

1.6. Докажите, что следующие множества не являются линейными пространствами:

1) множество непрерывных на отрезке [0, 2] функций, принимающих значение f(1) = 1;

2) множество непрерывно дифференцируемых на отрезке [0, 1] функций, удовлетворяющих граничным условиям f (0) = 1, f (1) = 1;

3) множество непрерывных на отрезке [0, 1] функций, для которых f(x) dx = 1.

1.7. Предполагая, что функции 1, x, x2 линейно независимы, докажите, что функция f(x) = x не принадлежит линейной оболочке функций (x) = 1 + x и (x) = 1 + x2.

1.8. Пусть N нормированное пространство. Покажите, что метрика, порожденная нормой (x, y) = x - y, обладает следующими свойствами:

1) инвариантностью относительно сдвига: (x + z, y + z) = (x, y);

2) однородностью: ( x, y) = || (x, y).

1.9. Пусть l2 линейное пространство суммируемых с квадратом числовых последовательностей x = {xk}. Докажите, что выражение k= x2 задает норму для x l2.

k k=1.10. Пусть N линейное пространство квадратных матриц размера (nn): A = (ai,j), i, j = 1,... n с обычным правилом для сложения матриц и умножения матрицы на число. Докажите, что max|aij| яв1 i,j n ляется нормой в N.

1.11. Пусть C[a, b] нормированное пространство непрерывных на отрезке [a, b] функций с нормой f = max |f(x)|. Докажите, что в a x b C[a, b] не выполняется равенство параллелограмма:

2 2 2 f + g + f - g = 2 f + 2 g.

1.12. Пусть H пространство со скалярным произведением. Докажите неравенство Коши Буняковского |(x, y)| (x, x) (y, y).

1.13. Пусть H пространство со скалярным произведением. Докажите, что функция x = (x, x) удовлетворяет аксиомам нормы.

1.14. Пусть H гильбертово пространство. Покажите, что норма, порожденная скалярным произведением, удовлетворяет равенству па2 2 2 раллелограмма: x + y + x - y = 2 x + 2 y.

1.15. Пусть l2 множество суммируемых с квадратом числовых по следовательностей x = {xk}. Докажите, что выражение xkyk k=k=задает скалярное произведение для x, y l2.

1.16. Пусть H гильбертово пространство. Докажите, что если векторы x = 0 и y = 0 ортогональны, то они линейно независимы.

1.17. Докажите, что следующие функции образуют ортогональную систему в гильбертовом пространстве L2(, ), в котором скалярное произведение задано правилом (f, g) = f(x) g(x) (x) dx, где (x) 0;

1) sin kx, k = 1, 2,..., = (0, ), (x) = 1;

2) eim, m = 0, ±1, ±2..., = (0, 2), (x) = 1;

1 dl l 3) Pl(x) = x2 - 1 – полиномы Лежандра, l = 0, 1, 2,..., 2l l! dxl = (-1, +1), (x) = 1;

m dm 4) Plm(x) = 1 - x2 Pl(x) – присоединенные функции Леdxm жандра 1-го рода (m 0), l = 0, 1, 2,..., = (-1, +1), (x) = 1;

5) J(zkx), k = 1, 2,..., = (0, 1), (x) = x. Здесь J(x) – функции Бесселя 1-го рода порядка, zk – k-й корень уравнения J(z) = 0.

1.18. Докажите, что оператор : U L2[a, b] линейный:

d 1) f(x) = (x) f(x), где (x) L2[a, b] задана; U множество dx непрерывно дифференцируемых функций на отрезке [a, b];

b 2) f(x) = K(x, y) f(y) dy, где K(x, y) L2 ([a, b] [a, b]) и a U = L2[a, b].

1.19. Докажите, что оператор : L2[a, b] L2[a, b] не является линейным:

1) f(x) = f2(x);

2) f(x) = f(x) + 1.

1.20. Пусть оператор : L2[0, 1] L2[0, 1] действует по правилу f(x) = (x)f(x), где (x) – заданная непрерывная функция. Докажите, что оператор является непрерывным.

1.21. Пусть K(x, y) L2 ([a, b] [a, b]). Докажите, что интегральный оператор Фредгольма : L2[a, b] L2[a, b], действующий по правилу b (x) = K(x, y) (y) dy, a является непрерывным.

1.22. Пусть U множество непрерывно дифференцируемых функций на отрезке [a, b] и оператор : U L2[0, ] действует по правилу f(x) = f (x).

Докажите, что оператор не является непрерывным.

1.23. Докажите, что единичный оператор : l2 l2 является непрерывным, но не является вполне непрерывным.

1.24. Пусть M конечномерное подпространство нормированного пространства N. Докажите, что любой линейный ограниченный оператор : N M является вполне непрерывным.

1.25. Пусть оператор : U L2[a, b] действует по правилу f(x) = -f (x).

Докажите, что оператор является неотрицательным и симметричным, если U множество дважды непрерывно дифференцируемых функций из L2[a, b], удовлетворяющих граничным условиям:

1) f(a) = 0, f(b) = 0 ;

2) f (a) = 0, f(b) = 0 ;

3) f (a) = 0, f (b) = 0.

Ответы и указания к главе 1.1. 1) Указание. Справедливость аксиом метрики 1 и 2 для (f, g) очевидна. Необходимо проверить неравенство треугольника, опираясь на свойства модуля и максимума.

2) Указание. Справедливость аксиом метрики 1 и 2 для (f, g) очевидна. Необходимо проверить неравенство треугольника, опираясь на неравенство Коши Буняковского b b b f(x) g(x) dx f2(x) dx g2(x) dx a a a (см. задачу 1.12. ).

1.2. Указание. Рассматривая (xk, yk), необходимо применить неравенство треугольника, последовательно используя точки x и y, а затем учесть сходимость последовательностей {xk} и {yk}.

1.3. Указание. Чтобы проверить определение фундаментальной последовательности, необходимо вычислить (xm, xn) = (xm - xn)2 dx и доказать, что предел при m, n равен нулю. Аналогично, сходимость xn 0 в L2[0, 1] означает сходимость к нулю (xn, 0) = = x2n dx при n.

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

1.5. Указание. При доказательстве того, что сумма элементов также суммируема (интегрируема) с квадратом, можно использовать элементарное числовое неравенство 2ab a2 + b2.

1.6. Указание. Достаточно показать, например, что сумма элементов не является элементом указанного множества.

1.7. Указание. Предполагая тождество (x) + (x) f(x) и пользуясь линейной независимостью функций 1, x, x2, получить систему уравнений для коэффициентов и и показать, что она несовместна.

1.8. Указание. Необходимо непосредственно воспользоваться определением метрики, порожденной нормой.

1.9. Очевидно, аксиомы нормы 1 и 2 выполнены. Для проверки аксиомы 3 воспользуемся неравенством Коши Буняковского (см. задачу 1.12. ):

| xk yk| x2 yk = x · y.

k k=1 k=1 k=Запишем x - y = (xk - yk)2 = x2 - 2 xkyk + yk k k=1 k=1 k=1 k=2 x + 2 x y + y = ( x + y )2.

Отсюда следует, что аксиома 3 также выполняется.

1.10. Указание. Справедливость аксиом нормы 1 и 2 для max|aij| оче1 i,j n видна. Необходимо проверить аксиому 3, используя свойства модуля и максимума.

1.11. Указание. Достаточно привести контрпример, используя в качестве f(x) и g(x) линейные функции.

1.12. Пусть x, y H. Для всех R справедливо (x + y, x + y) 0.

Раскрывая скалярное произведение, получим квадратичное по неравенство (x, x) + 2 (x, y) + 2 (y, y) 0.

Оно выполняется для всех, только если дискриминант отрицателен или равен нулю: 4(x, y)2 - 4(x, x)(y, y) 0. Отсюда следует неравенство Коши Буняковского |(x, y)| (x, x) (y, y).

1.13. Указание. При проверке аксиомы 3 необходимо использовать неравенство Коши Буняковского (см. задачу 1.12. ).

1.14. Указание. Необходимо непосредственно воспользоваться определением нормы, порожденной скалярным произведением.

1.15. Указание. При доказательстве сходимости ряда xkyk можно k=использовать указание к задаче 1.5. Аксиомы скалярного произведения проверяются непосредственно.

1.16. Рассуждая от противного, предположим, что x + y = 0, где хотя бы одно из чисел или отлично от нуля. Умножая равенство скалярно на x, получим (x, x) = 0 = 0.

Умножая равенство скалярно на y, получим, что и = 0. Следовательно, предположение о линейной зависимости несправедливо.

1.17. 1) (sin kx, sin mx) = sin kx sin mx dx = km, 1, k=m, где km = 0, k =m.

2) eim, eim = ei(-m+m )d = 2 mm.

3) Рассмотрим скалярное произведение полиномов Лежандра:

1 1 dl dl l l Pl, Pl = Pl(x) Pl (x) dx = x2-1 x2-1 dx.

2l+l l! l ! dxl dxl -1 -Предполагая, что l l, проинтегрируем по частям:

dl dl l l x2 - 1 x2 - 1 dx = dxl dxl - dl-1 dl dl-1 dl +l l l l = x2-1 x2-1 - x2-1 x2-1 dx.

dxl-1 dxl dxl-1 dxl +-1 -Внеинтегральный член здесь равен нулю, поскольку выражение dl-l x2 - 1 содержит множитель x2 - 1. Повторяя интегрироваdxl-ние по частям l раз, получим dl dl l l x2 - 1 x2 - 1 dx = dxl dxl - dl-l d2l l l = (-1)l x2 - 1 x2 - 1 dx = dxl-l dx2l - dl-l l = (-1)l (2l )! x2 - 1 dx.

dxl-l -При l > l, в силу предыдущего рассуждения, интеграл равен нулю.

При l = l имеем 1 dl l l x2 - 1 dx = (-1)l(2l)! x2 - 1 dx.

dxl -1 -Вычислим 1 l l l-Il = x2 - 1 dx = x x2 - 1 - 2l x2 - 1 x2dx = --1 -= -2l (Il + Il-1).

Получим рекуррентное соотношение и найдем 2l 2l (2l - 2) (2l l!)Il = - Il-1 = (-1)2 Il-2 =... = (-1)l I0, 2l + 1 (2l + 1)(2l - 1) (2l + 1)! где, очевидно, I0 = 2. Собирая найденные результаты, получим Pl, Pl = ll.

2l + dm 4) Введем обозначение Pl(m)(x) Pl(x) и найдем скалярное проdxm изведение присоединенных функций Лежандра с одинаковым индексом m:

m Plm, Plm = 1 - x2 Pl(m)(x) Pl(m)(x) dx = -m = 1 - x2 Pl(m)(x) Pl(m-1)(x) (1.1) -d m - Pl(m-1)(x) 1 - x2 Pl(m)(x) dx.

dx -Здесь произведено интегрирование по частям; внеинтегральный член обращается в ноль. Найдем уравнение для m-й производной полиномов Лежандра Pl(m)(x). Полиномы Лежандра удовлетворяют уравнению d2 d 1 - x2 Pl(x) - 2x Pl(x) + l(l + 1) Pl(x) = 0.

dx2 dx Дифференцируя его m раз, получим 1-x2 Pl(m+2)(x)-2x (m+1) Pl(m+1)(x)+[ l(l+1)-m(m+1)] Pl(m)(x) = 0.

Домножим это уравнение на 1 - x2 m и запишем d m+1 m 1-x2 Pl(m+1)(x) + [l(l + 1) - m(m + 1)] 1-x2 Pl(m)(x) = 0.

dx Заменяя в этом выражении m на m - 1, найдем d m m-1-x2 Pl(m)(x) = - [ l(l + 1) - m(m - 1)] 1-x2 Pl(m-1)(x).

dx Подставляя это выражение в интеграл (1.1), получим рекуррентное соотношение по m:

m-Plm, Plm = [ l(l+1)-m(m-1)] 1-x2 Pl(m-1)(x) Pl(m-1)(x) dx = -= (l + m)(l - m + 1) Plm-1, Plm-1.

Применяя его последовательно, получим (l + m)! (l - m + k)! (Plm, Plm) = (Plm-k, Plm-k) = (l + m - k)! (l - m)! (1.2) (l + m)! 2 (l + m)! = (Pl, Pl ) = ll, (l - m)! 2l + 1 (l - m)! где для (Pl, Pl ) использованы результаты предыдущей задачи.

5) Функции Бесселя J(x) удовлетворяют уравнению d2 d x2 J(x) + x J(x) + x2 - 2 J(x) = 0, dx2 dx которое можно привести к виду d d x J(x) + x - J(x) = 0.

dx dx x Производя замену переменной: x z x, где z = zk и z = zm – различные корни уравнения J(z) = 0, получим ДУ для J(zkx) и J(zmx):

d d x J(zkx) + zkx - J(zkx) = 0, dx dx x d d x J(zmx) + zmx - J(zmx) = 0.

dx dx x Умножая первое уравнение на J(zmx), второе на J(zkx) и вычитая из первого уравнения второе, получим d d d d J(zmx) x J(zkx) - J(zkx) x J(zmx) + dx dx dx dx 2 + zk - zm x J(zkx) J(zmx) = 0.

Замечая, что d d d J(zmx) x J(zkx) - J(zkx) x J(zmx) = dx dx dx d d d d = J(zmx) x J(zkx) - J(zkx) x J(zmx), dx dx dx dx найдем 2 zm - zk J(zkx) J(zmx) x dx = d d (1.3) = J(zmx) x J(zkx) - J(zkx) x J(zmx) = dx dx = zk J(zm) J(zk) - zm J(zk) J(zm) = 0, поскольку J(zk) = 0 и J(zm) = 0. Учитывая, что zk = zm, получим J(zkx) J(zmx) x dx = 0.

Замечание. Ортогональными с весом (x) = x на интервале (0, 1) будут также функции J(zkx), k = 1, 2,..., где zk – k-й корень уравнения J(z) + zJ(z) = 0, 0, 0, + > 0. Действительно, рассмотрим уравнения J(zk) + zkJ(zk) = 0, J(zm) + zmJ(zm) = как систему относительно и. Тогда нетривиальные решения 0, 0 существуют только при равном нулю определителе этой системы:

zk J(zm) J(zk) - zm J(zk) J(zm) = 0.

Отсюда, в силу (1.3), следует, что функции J(zkx) ортогональны.

1.18. Указание. Необходимо непосредственно воспользоваться определением линейного оператора.

1.19. Указание. Достаточно показать, например, что (f(x))=f(x) для R.

1.20. Указание. Достаточно показать, что оператор ограниченный.

Для этого можно использовать неравенство Коши Буняковского (см.

задачу 1.12. ), либо неравенство в указании к задаче 1.5.

1.21. Указание. Достаточно показать, что интегральный оператор Фредгольма ограничен. Это можно сделать, используя неравенство Коши Буняковского (см. задачу 1.12. ) и квадратичную интегрируемость ядра K(x, y).

1.22. Указание. Достаточно показать неограниченность оператора на множестве нормированных в L2[a, b] функций sin kx.

1.23. Указание. Непрерывность оператора проверяется непосредственно по определению. Чтобы доказать, что не является вполне непрерывным оператором, достаточно доказать, например, что единичный шар B(0, 1) в l2, являясь ограниченным, не является компактным множеством, и учесть, что : B(0, 1) B(0, 1).

1.24. Указание. Достаточно доказать компактность ограниченного множества в конечномерном пространстве.

1.25. Указание. При доказательстве воспользоваться интегрированием по частям.

Глава Задача на собственные значения для оператора Лапласа Впервые задача на собственные значения встречается в линейной алгебре. Эта задача естественно возникает при рассмотрении важной проблемы приведения квадратичной формы к диагональному виду, что эквивалентно проблеме приведения к диагональному виду симметричной (эрмитовой) матрицы A (соответственно для вещественного или комплексного случая). Хорошо известно, что матрица, в свою очередь, может рассматриваться как линейный оператор в линейном пространстве Rn.

В итоге возникает следующая задача на собственные значения. Дана симметричная матрица A, Aij = Aji, 1 i, j n (соответственно дан линейный оператор ). Требуется найти векторы x Rn и числа R, удовлетворяющие уравнению x = x (2.1) и дополнительным условиям x = 0, |x| = 1. (2.2) Эти условия непосредственно связаны с однородностью уравнения (2.1):

Pages:     | 1 || 3 | 4 |   ...   | 13 |



© 2011 www.dissers.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.