- •35. Почленне інтегрування і диференціювання.
- •36. Ряд Тейлора. Розклад в ряд Тейлора
- •37. Функція багатьох змінних. Границя, неперервність. Повторні і подвійні границі.
- •37. Функція багатьох змінних. Границя, неперервність. Повторні і подвійні границі
- •38 Частинні похідні. Похідна за напрямом. Градієнт. Рівність змішаних
- •38 Частинні похідні. Похідна за напрямом. Градієнт. Рівність змішаних
- •Похідна за напрямом
- •39. Диференційовність ф-ції багатьох змінних. Достатні умови
- •39. Диференційовність ф-ції багатьох змінних. Достатні умови диференційовності
- •40.Повні метричні простори. Повнота простору с[a,b].
- •41. Нормовані простори: озн., основні прик., звязок з метричними просторами, повнота.
- •42.Евклідові простори: означення, осн.Прик., зв'язок з нормованими просторами, нерівність Коші – Буняковського.
35. Почленне інтегрування і диференціювання.
Теорема1. Якщо функції , неперервні на і ряд (1) збігається на проміжку цьому проміжку рівномірно, то інтеграл від суми ряду (1) представляється у вигляді (2).
Довед. Проінтегрувавши тотожність на проміжку , одержимо: . Таким чином сума членів ряду (2) відрізняється від інтеграла додатковим членом . Для доведення (2) потрібно довести, що (3). В силу рівномірності ряду (1), для будь-якого знайдеться номер такий, що при для всіх . Тоді що і доводить (3).
Теорема2. Якщо послідовність функцій, неперервних на , збігається до граничної функції рівномірно на , то . Цю рівність ще можна записати так: .
Теорема3. Нехай функції , визначені на і мають в ньому неперервні похідні . Якщо в цьому проміжку не тільки ряд (1), але і рівномірно збігається ряд, який складається із похідних: (4), то і сума ряду (1) має на похідну, причому (5).
Доведен. Позначимо через суму ряду (4). Використовуючи теорему 1, про інтегруємо ряд (4) почленно від до , одержимо . , тоді . Так, як інтеграл зліва, з неперервності підінтегральної функції, має похідну рівну , то ту саму похідну має і функція , яка відрізняється від інтеграла на сталу. Рівність (5) можна переписати у вигляді: . Таким чином, похідна від суми ряду рівна сумі похідних ряду.
36. Ряд Тейлора. Розклад в ряд Тейлора
Означення. Степеневим рядом називається функціональний ряд
(*)
Члени якого є добутками сталих на степеневі ф-ї(з цілими показниками) від різниці (якщо ,то від самої змінної х).
Сталі називаються коефіцієнтами степеневого ряду.
Означення. Рядом Тейлора для ф-ї, Коли в певному околі точки ф-я має похідні до -го порядку включно, то:
в околі точки наз. степеневий ряд відносно різниці , коефіцієнти якого виражаються через похідні ф-ї у точці так:
Ці коефіцієнти наз. коефіцієнтами Тейлора ф-ї у точці .
Означення. Ф-я, яка в деякому інтервалі може бути подана своїм збіжним рядом Тейлора, наз. аналітичною в цьому інтервалі.
Степеневий ряд (*) наз. Рядом Тейлора.
Розглянемо декілька важливих прикладів розкладів ф-й в ряди Тейлора:
▲ Маємо
,
де , , . Отже,
, де .
Доведемо, що при . Числовий ряд з загальним членом (М-будь-яке число) збігається, в чому можна переконатися за ознакою Даламбера: . Значить, загальний член ряду повинен прямувати до нуля.
Отже, внаслідок довільності М ряд
Збігається до будь-якого х, тобто на всій осі Ох. Цей ряд наз. експоненціальним. ■
2)
3)
4)
5)
6)
37. Функція багатьох змінних. Границя, неперервність. Повторні і подвійні границі.
Нехай маємо змінних , спільні значення яких можуть вибиратися довільно із деякої множини точок - вимірного простору :ці змінні наз. незалежними. Якщо точку позначимо через , то функцію наз. Функцією цієї точки і позначають: . Нехай в деякій множині точок - вимірного простору задано функцій від змінних : (1).Припустимо, що якщо точка міняється в межах множини , то - вимірна точка , яка їй відповідає з координатами (1) не виходить за межі вимірної множини , де визначена функція - складена функція від незалежних змінних .
Арифметичні операції , які повторно застосовують до незалежних змінних , приводять до цілих многочленів таких виглядів:
і - це ціла раціональна і дробова раціональна функції.
Нехай точка - точка скупчення множини . Тоді із завжди можна виділити таку послідовність (1): , яка відрізняється від , яка б збігалася до .
Нехай в даній множині визначена функція . Тоді функція має своєю границею число при прямуванні змінних до , якщо яку б не виділити із послідовність (1) точок, відмінних від і збіжних до , числова послідовність , яка складається із відповідних значень функції, завжди збігається до . Позначають так: .
Сформулюємо дане означення “на мові ”: кажуть, що функція має своєю границею число , якщо для будь-якого числа існує таке число , що якщо , то .