Дипломная работа: Похідна Фреше та похідна Гато

Дипломная работа: Похідна Фреше та похідна Гато




💣 👉🏻👉🏻👉🏻 ВСЯ ИНФОРМАЦИЯ ДОСТУПНА ЗДЕСЬ ЖМИТЕ 👈🏻👈🏻👈🏻




























































Дніпропетровський національний університет
Об’єктом дослідження є похідні Фреше та Гато.
Мета роботи – дослідити похідні Фреше та Гато у різних просторах.
Методи дослідження – методи функціонального аналізу.
Результати досліджень можуть бути застосовані при вивченні спеціальних курсів.
Ключові слова: ДИФЕРЕНЦІЙОВНІСТЬ, ПОХІДНІ ФРЕШЕ ТА ГАТО, ЛІНІЙНИЙ НОРМОВАНИЙ ПРОСТІР.
The graduation research of the fourth year student Lisnyak Ludmila (DNU, Faculty of Mechanics and Mathematics, Department of Mathematical Analysis) deals with Freshe’s and Gato’s derivatives. The work is interesting for student and post- graduate student.
Деякі задачі, які виникають в функціональному аналізі, носять суттєво нелінійний характер, вони приводять до необхідності розвивати поряд з “лінійним” і “нелінійний” функціональний аналіз, а саме вивчати нелінійні функціонали й нелінійні оператори в нескінченновимірних просторах. До нелінійного функціонального аналізу відноситься така класична область математики як варіаційне числення, підвалини якого буди закладені ще в XVII-XVIII століттях в роботах Я. Бернуллі, Л. Ейлера, Ж. Лагранжа. Але в цілому нелінійний функціональний аналіз являє собою нову область математики, поки ще далеку від свого завершення. В роботі викладено деякі початкові поняття, які відносяться до нелінійного функціонального аналізу, а саме до теорії диференціювання, і деякі застосування цих понять.
Визначення похідної Фреше, яке нині загальноприйняте, вперше з’явилось в лекціях К. Вейерштраса (1861). В кінці 19 століття це визначення почало входити до підручників. Але до моменту, коли М. Фреше почав розробку нескінченновимірного аналізу, класичне нині визначення диференціала було настільки не загальноприйнятим, що й сам Фреше вважав, що визначений ним диференціал на нескінченновимірному просторі є новим поняттям і в скінчено вимірному випадку. Тепер термін вживається тільки при розгляді нескінченновимірних відображень.
Визначення варіації Гато було введено в 1913-14 роках Р. Гато (R.Gateaux). Для функціоналів класичного варіаційного числення це визначення було дано Ж. Лагранжем.
Нехай – сукупність усіх відображень з в ( – лінійні топологічні простори), і – деяка топологія в . В залежності від вибору в можна отримати різні визначення похідних. Якщо обираємо – топологію поточкової збіжності, то отримаємо диференційовність по Гато. Якщо банахові простори, а топологія в є топологією рівномірної збіжності на обмежених множинах в , то приходимо до диференційовності по Фреше.
В розділі 1 ми розглянемо різні означення похідної відображення лінійних нормованих просторів та деякі їх застосування.
Нехай X та Y – лінійні нормовані простори, G – відкрита множина простору X. Відображення (функція, оператор) називається диференційовним за Фреше в точці , якщо існує неперервний лінійний оператор , такий, що для будь-якого , яке задовольняє умові ,
де , якщо в смислі збіжності за нормою в просторі Y.
Головна частина , яка лінійно залежить від , приріст називається диференціалом Фреше відображення f в точці x та позначається , а вираз називається остачею приросту.
Таким чином, та приріст оператора записується у вигляді
Лінійний оператор називається похідною Фреше відображення в точці та позначається . Тобто, .
Відображення, диференційовне в кожній точці множини G називається диференційовним на G.
Доведемо, що похідна диференційованого відображення визначається однозначно. Нехай – інший неперервний лінійний оператор такий, що
якщо . Покладемо , де – довільний ненульовий елемент простору X. Якщо , то і ми знаходимо
В силу лінійності та це означає, що
тобто . Оскільки оператори та в нулі дорівнюють нулю, то при будь-яких . Однозначність визначення похідної доведено.
Приклад 1. Нехай відображення , де і відкрито.
Тоді наведені вище означення диференційовності відображення і похідної співпадають з означеннями диференційовності та похідної векторної функції векторного аргументу. В цьому випадку є лінійним оператором, який визначається матрицею , де – координатні функції відображення .
Приклад 2. Нехай – гільбертов простір, і . Нехай спочатку . Тоді
де при . Із рівностей (1) та (2) випливає, що
Оскільки , то при . Таким чином, диференційовна в будь-якій ненульовій точці простору і
Нехай тепер . Тоді . Покажемо, що не існує елемента такого, що при всіх достатньо малих
де при . Якщо б це було так, то також
де при . Але тоді з рівностей (3) та (4) випливає при , що неможливо.
Таким чином, відображення не диференційовне за Фреше в точці .
Приклад 3. Нехай і , де ядро неперервне в квадраті , – функція двох змінних, визначена в полосі і неперервна в цій області. Тоді – функція, визначена на і яка приймає значення в цьому ж просторі.
Припустимо, що функція не тільки неперервна, але й має частинну похідну , рівномірно неперервну в полосі .
Тоді – диференційовна функція. А саме, для довільної функції маємо
При , тобто при рівномірно на , також рівномірно на , оскільки функція, неперервна в замкненій обмеженій області , рівномірно неперервна в цій області. Тому
Таким чином, диференційовна за Фреше і
Приклад 4. Якщо і границя існує, то диференційовне в точці і . Дійсно, в цьому випадку , де при , і диференційованість очевидна.
Множина відображень, визначених в околі точки , які приймають значення в просторі Y та диференційовних в точці , є лінійною системою , а також оператор диференціювання є лінійним, тобто
випливає, що функція , диференційовна в точці , неперервна в цій точці.
Обернене твердження не вірне (приклад 2).
Якщо – лінійний неперервний оператор, що діє з X в Y, то для будь-якого маємо . Дійсно, тоді при всіх
звідки й випливає наведене твердження.
Слід зазначити, що відображення та , які мають область визначення в одному і тому просторі, діють в різні простори, а саме , а . Якщо диференційовне всюди на G, то , .
Теорема 1 (про диференційовність композиції відображень). Нехай – лінійні нормовані простори й задані відображення , де , – відкрита множина; , де , – відкрита множина. Якщо множина не порожня , відображення диференційовне в точці , а диференційовне в точці , то складне відображення диференційовне в точці і
Доведення. Насамперед, якщо достатньо мале, то в силу відкритості множин та й неперервності відображень і відповідно в точках та , точки і не вийдуть за границі множин та . Далі маємо
Оскільки диференційовне в точці , то
Вираз є лінійним оператором по , і залишається довести, що , якщо .
Перший доданок справа прямує до нуля, оскільки , якщо . Прямування до нуля другого доданка можна довести так. Оскільки диференційовне в точці , то , якщо . Тому для будь-якого знайдеться , таке, що , якщо . В свою чергу, в силу неперервності в точці для даного знайдеться таке, що , якщо . Далі, оскільки диференційовне в точці , то знайдеться таке, що , якщо . Нехай . При маємо
і оскільки довільне, то це означає, що , якщо .
Приклад 5. Розглянемо відображення , диференційоване на відкритій множині , і точки такі, що . Тоді функція , визначена рівністю
Приклад 6. Нехай відображення диференційоване на і – лінійний неперервний оператор. Тоді – відображення, диференційовне на , і .
Наступна теорема є аналогом теореми Лагранжа про скінченні прирости дійсних функцій дійсних аргументів.
Теорема 2 (про скінченні прирости). Нехай відображення диференційовне на і відрізок цілком входить до . Тоді
Доведення. Розглянемо відображення , де . Це відображення неперервне на як композиція неперервних відображень та , і в силу теореми 1 диференційовне всередині , при цьому
Тому для будь-якого лінійного функціоналу дійсна функція дійсного аргументу неперервна на і диференційовна принаймні всередині . Тобто, за теоремою Лагранжа
Нехай – функціонал з нормою, що дорівнює одиниці, і такий, що . Тому
Для відображень лінійного нормованого простору окрім похідної Фреше можна ввести ще одне поняття похідної.
Нехай задано відображення і – одиничний вектор простору , який визначає певний напрямок. Границя
якщо вона існує, називається похідною відображення за напрямком (або похідною Гато) і позначається .
Якщо фіксований довільний ненульовий вектор , то часто говорять про похідну за напрямком , розуміючи під цим границю відношення при умові, що вона існує; цю границю позначають . Ясно, що , де – одиничний вектор напрямку , тобто .
Зауваження. Похідна Фреше і похідна за напрямком є елементами різної природи: є лінійний оператор з X в Y, в той час як є елементом простору Y.
Якщо відображення диференційовне в точці за Фреше, то воно диференційовне в цій точці за будь-яким напрямком :
Обернене твердження невірне (див. приклад 2, відображення )
Це відображення диференційовне в нулі за будь-яким напрямком, оскільки при маємо
звідки випливає, що існує і дорівнює 1. В той самий час відображення не диференційовне за Фреше в точці .
Умови, коли з диференційовності за напрямком випливає диференці-йовність за Фреше, будуть розглянуті нижче.
Для відображень, які мають похідні за напрямками, також має місце аналог теореми Лагранжа. Проте, перш ніж формулювати та доводити цю теорему, наведемо одну лему з теорії функцій дійсної змінної.
Лема 1. Нехай дійсна функція дійсної змінної t визначена і неперервна на відрізку і має на проміжку праву похідну . Якщо , , то
Доведення. Доведемо праву нерівність. Припустимо, що вона не вірна, тобто . Тоді найдеться достатньо мале таке, що все ще виконується нерівність
Розглянемо функцію . Ця функція неперервна на і в силу (7). Оскільки
і , то при , які достатньо близькі до . Тому на інтервалі знайдуться точки, в яких перетворюється на нуль. Нехай – найбільший з коренів рівняння . Ясно, що . Тоді для , звідки для всіх таких маємо
Таким чином, , що суперечить означенню числа .
Наслідок 1. Якщо в умовах леми , то
Наслідок 2. Якщо при виконанні умов леми додатково неперервна на інтервалі , то неперервно диференційовна на .
Доведення. Нехай і настільки мале, що . Покладемо
Оскільки і прямують до при , то з попередньої нерівності випливає, що похідна
існує та неперервна по , оскільки така права похідна .
Теорема 1. Нехай відображення неперервне на , і відрізок цілком належить . Якщо диференційовне за напрямком у всіх точках відрізку , то
де – довільний неперервний лінійний функціонал на просторі . Функція неперервна на , має на праву похідну . Дійсно, нехай і . Маємо
Теорема 2. Якщо відображення неперервне в і диференційовне в кожній точці цієї множини за будь-яким напрямком , а похідна неперервна по і рівномірно відносно неперервна по , то
Доведення. Покажемо, що в умовах теореми лінійно залежить від h. Фіксуючи точку , при довільних достатньо малих h, kÎX і довільному розглянемо функцію
двох дійсних змінних t і t. Використовуючи умови теореми і наслідок 2 з леми 1, можна показати в достатньо малому околі точки (0,0) функція має неперервні частинні похідні
В силу теореми про диференціювання композиції функцій маємо
Але , звідки з урахуванням рівностей (8) та (9) отримуємо
Оскільки довільне, то , і лінійність доведено.
неперервна на [0,1) і має на [0,1) неперервну похідну
Для довільного, але фіксованого обираємо так, щоб і
Оскільки лінійний і неперервний (за умовою) відносно h оператор, то , де . Далі, в силу неперервності по x рівномірно відносно h, знаходимо
Поняття, проміжне між похідною Фреше і похідною за напрямком, є похідна по підпростору. Нехай дано відображення і – підпростір . Якщо для існує неперервний лінійний оператор такий, що для будь-якого , яке задовольняє умові ,
то відображення f називається диференційовним в точці x по підпростору X 0
і позначається . Якщо X – пряма сума підпросторів X 1
та X 2
і похідні відображення f по підпросторам X 1
та X 2
в точці існують, то вони називаються частинними похідними відображення f в цій точці і позначаються і .
Лема. Якщо і відображення має в околі точці частинні похідні і , неперервні в цій точці, то відображення f диференційовне в точці за Фреше і
Має місце обернене до леми твердження, причому
Поняття частинних похідних і попередні результати безпосередньо узагальнюються на випадок, коли X – пряма сума будь-якого скінченого числа підпросторів.
Зауваження. Оскільки в силу відповідності простори і є ізоморфними, а з метриками, які породжені нормами
є ізометричними, то все вище наведене для частинних похідних переноситься на відображення виду: де .
Нехай тепер і, як завжди, відкрите, так що де , . Якщо “координатні функції” диференційовні в точці , то диференційовне в цій точці і . Дійсно,
Ці результати розповсюджуються на випадок відображень, які приймають значення в декартовому добутку будь-якого скінченого числа просторів.
1. Довести, що похідна Фреше диференційовного в точці відображення визначається єдиним чином.
Нехай , – дві похідні Фреше в точці x, тоді
Це прямування до нуля нетривіально, тобто
Тобто, похідна Фреше диференційованого відображення визначається єдиним чином.
2. Довести, що якщо оператор f диференційовний за Фреше в точці x, то f неперервний в цій точці.
3. Довести, що якщо , то (нульовий оператор).
Нехай оператор диференційовний за Фреше, тобто
Нехай , тоді ( – нульовий оператор)
, звідки (нульовий оператор, який діє на h).
4. Довести, що похідною Фреше лінійного неперервного відображення є саме це відображення.
Нехай оператор диференційований за Фреше, тобто
5. Нехай f, g – два неперервних відображення з X в Y. Довести, що якщо f та g диференційовні за Фреше в точці x, то відображення f+g та cf, де c-const, також диференційовні в цій точці, причому
6. Нехай , де – дійсний гільбертів простір. Знайти похідну Фреше в точці x.
7. Знайти похідну Фреше функціонала в точці x дійсного гільбертова простору.
8. Знайти похідну Фреше відображення .
9. Знайти похідну Фреше відображення .
10. Знайти похідну Фреше відображення .
11. Знайти похідну Фреше відображення .
12. Задано відображення . Довести, що .
13. Задано відображення . Довести, що .
14. Задано відображення . Довести, що .
15. Знайти похідну Фреше відображення .
16. Довести, що необхідною і достатньою умовою диференційовності за Фреше відображення в точці x є диференційовність ( в звичайно-му сенсі) функції багатьох змінних в точці .
Необхідність. Нехай відображення диференційовне за Фреше в точці x: .
Функція в точці називається диференційовною, якщо
Достатність. Нехай відображення диференційовне в звичайному сенсі: . Перевіримо лінійність та обмеженість по h. Адитивність та однорідність для скалярного добутку вірні, тому лінійність є.
17. Знайти похідну Фреше відображення в точці :
18. Нехай і , де – стандартний базис в . Знайти похідну Гато .
Якщо , то відображає в . Дійсно, позначимо , ряд збігається, тоді збігається й ряд , так що для довільного .
Обираємо за напрямок одиничного вектора орт і знаходимо
19. Якщо відображення диференційовне за Фреше, то воно диференційовне за Гато. Обернене твердження в загальному випадку невірне. Наприклад, в просторі розглянемо функцію
Дослідимо функцію на неперервність в точці (0,0):
Якщо , то і . Тобто неперервна в точці (0,0).
Тобто, відображення диференційовне за Гато.
– функція двох змінних, покладемо , нехай і розглянемо
тобто відображення не диференційне за Фреше.
20. Якщо диференціал Гато є обмеженим функціоналом, то він називається градієнтом функціонала і позначається .
Нехай Н – дійсний гільбертів простір, . Обчислити .
За теоремою про загальний вигляд лінійного функціонала в Н знаходимо, що
21. Нехай Н – дійсний гільбертів простір, . Обчислити .
За теоремою про загальний вигляд лінійного функціонала в Н знаходимо, що
22. Нехай Е – нормований простір. норма диференційовна за Гато. Розглянемо функціонал . Обчислити норму функціонала .
З одного боку , з іншого боку – . Отже, , тобто .
Переходячи до , нерівність зберігається:
23. Довести, що градієнт норми є непарним оператором, тобто довести співвідношення: .
24. Нехай , де неперервна за обома аргументами і неперервно диференційовна за другим аргументом, а – неперервна функція. Знайти похідну Фреше в точці .
25. Знайти похідну Фреше наступних відображень в заданих точках:
26. Нехай , де неперервна за всіма аргументами і двічі неперервно диференційовна за третім аргументом. Знайти похідну Фреше в точці .
27. Знайти похідну Фреше наступних відображень в заданих точках, користуючись задачею 26.
28. Нехай , де неперервна за всіма аргументами і неперервно диференційовна за другим та третім аргументами. Знайти похідну Фреше в точці .
29. Знайти похідну Фреше наступних відображень в заданих точках, користуючись задачею 28.
30. Нехай , де – неперервна за всіма аргументами й неперервно диференційовна за всіма аргументами, починаючи з другого. Знайти похідну Фреше функціонала , де – нормований простір неперервно диференційовних на n-вимірних вектор функцій з нормою
31. Нехай на нормованому просторі задані функціоналів, диференційовних за Фреше в деякій точці . Нехай , тобто . Знайти похідну Фреше відображення в точці , якщо .
32. Нехай задано відображення . Знайти похідну Фреше.
33. Нехай задано відображення . Знайти похідну Фреше
34. Нехай задано відображення . Знайти похідну Фреше
1. Люстерник Л.А., Соболев В.И. Элементы функционального анализа, 2 изд., М., 1965.
2. Колмогоров А.Н., Фомин С.В. Элементы теории функций и функционального анализа, 4 изд., М., 1976.
3. Леви П. Конкретные проблемы функционального анализа, пер. с франц., М., 1967.
4. Березанский Ю.М., Ус, Шефтель Функциональный анализ

Название: Похідна Фреше та похідна Гато
Раздел: Рефераты по математике
Тип: дипломная работа
Добавлен 23:50:32 27 декабря 2010 Похожие работы
Просмотров: 19
Комментариев: 17
Оценило: 2 человек
Средний балл: 5
Оценка: неизвестно   Скачать

Срочная помощь учащимся в написании различных работ. Бесплатные корректировки! Круглосуточная поддержка! Узнай стоимость твоей работы на сайте 64362.ru
Привет студентам) если возникают трудности с любой работой (от реферата и контрольных до диплома), можете обратиться на FAST-REFERAT.RU , я там обычно заказываю, все качественно и в срок) в любом случае попробуйте, за спрос денег не берут)
Да, но только в случае крайней необходимости.

Дипломная работа: Похідна Фреше та похідна Гато
Реферат по теме Свадебные обряды Китая
Курсовая работа: Экономическая характеристика научно-производственных комплексов (НПК) России
Реферат: Петровское уголовное законодательство
Реферат: От доисторических Венер к Богине-Матери
Контрольная работа по теме Ринок олійних культур
Курсовая работа по теме Планирование потребности в производственных ресурсах предприятия
Отчет по практике по теме Разработка программного продукта 'Отдел кадров завода'
Сочинение Нравственная Проблематика
Реферат по теме Техника в системе культуры
Практическая Работа Государство
Курсовая работа по теме Казначейське обслуговування
Курсовая работа по теме Система конституционного права
Контрольная Работа Простое Осложненное Предложение 8 Класс
Эссе На Тему Мой Любимый Казахстанский
Как Правильно Оформить Рисунок В Курсовой Работе
Курсовая работа по теме Юридическая специальность: Прокурор
Напишите Эссе На Тему Природа Мое Богатство
Реферат: Зовнішня політика України. Її сучасні пріоритети
Техника Выполнения И Разновидности Подтягиваний Реферат
Сочинение Зачем Человеку Нужен Язык 5 Класс
Доклад: «Повесть временных лет» о происхождении русского государства
Научная работа: Развитие воли у человека
Курсовая работа: Анализ маркетингового плана ООО "Баркас"

Report Page