Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ.docx
Скачиваний:
3
Добавлен:
16.11.2019
Размер:
55.91 Кб
Скачать

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ, МОЛОДЕЖИ И СПОРТА УКРАИНЫ

ДОНЕЦКИЙ НАЦИОНАЛЬНЫЙ УНИВЕРСИТЕТ

Кафедра дифференциальных уравнений

Специальность математика

КУРСОВАЯ РАБОТА

на тему:

“ВАРИАЦИОННЫЕ НЕРАВЕНСТВА В Rn

Выполнила

студентка группы 3-Д

Плантова О.А.

Руководитель

Ковалевский А.А.

ДОНЕЦК 2011

СОДЕРЖАНИЕ

ВВЕДЕНИЕ……………………………………………………………………....3

1.Неподвижные точки……………………………………………..…………………4

2.Свойства проекций на выпуклое множество………………………………….....7

3. Первая теорема о вариационных неравенствах………………………………..10

4. Вариационные неравенства…………………………………………..………….12

5. Некоторые задачи, приводящие к вариационным неравенствам…………….…15

СПИСОК ИСПОЛЬЗУЕМЫХ ИСТОЧНИКОВ…………….…………........17

ВВЕДЕНИЕ

Задачи, которые могут быть сформулированы в виде вариационных неравенств, возникают естественным образом в различных приложениях (механических, экономических и многих других) и известны достаточно давно. С середины 60-х г. теория вариационных неравенств развивается очень активно и по различным направлениям.

В данной работе рассматривается вопрос о вариационных неравенств в Rn

  1. Неподвижные точки

Определение 1.1.

Пусть F : A → A — отображение множества А в себя. Элемент x A называется неподвижной точкой F, если F(x)=x.

Пусть S-метрическое пространство с метрикой d.

Определение 1.2

Отображение F : S→S называется сжимающим, если для некоторого α, 0 ,

d(F(x),F(y)) αd(x,y), x,y S. (1.1)

если допускается α=1, то отображение F называется нерастягивающим

Теорема 1.1.(принцип сжимающих отображений)

Пусть S — полное метрическое пространство и F : S → S — сжимающее отображение. Тогда у F существует единственная неподвижная точка.

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

  1. Существование.

Возьмем произвольную точку x0 S. Положим

x1=F(x0), x2=F(x1), ….xn=F(xn-1).

Получили последовательность x0, x1,….xn. Докажем ее сходимость. Так как S – полное метрическое пространство, то достаточно будет показать фундаментальность этой последовательности ,

ε>0 Nε− натуральное, такое что n,m> Nε выполняется неравенство d(xn,xm)<ε

d(x2,x1)=d(F(x1),F(x0))≤αd(x1,x0)

d(x3,x2)=d(F(x2),F(x1))≤αd(x2,x1)≤α2d(x1,x0)

………………………………………………..

d(xn+1,xn)=d(F(xn),F(xn-1))≤αnd(x1,x0).

Получили последовательность неравенств.

d(x2,x1) ≤αd(x1,x0)

d(x3,x2) ≤α2d(x1,x0)

………………………

d(xn+1,xn) ≤αnd(x1,x0).

Возьмем n, m (n>m)

d(xn,xm)≤d(xm,xm+1)+d(xm+1,xm+2)+….+d(xn-2,xn-1)+d(xn-1,xn)≤

≤αmd(x1,x0)+αm+1d(x1,x0)+….+αn-2d(x1,x0)+αn-1d(x1,x0)≤

≤(αmm+1+…+ αn-2+ αn-1)d(x1,x0)=

= d(x1,x0)<ε

По определению {xn}-фундаментальная последовательность, т.е. существует предел последовательности x*.(xn→x*).

Переходя к пределу в равенстве xn+1=F(xn) при n→∞, получим, что x*=F(x*), из этого следует, что x*-неподвижная точка.

  1. Единственность.

Пусть отображение F имеет две неподвижные точки x* и y, т.е. F(x*)=x* и F(y)=y. По определению сжимающего отображения имеем:

d(x*,y)=d(F(x*),F(y)) αd(x*,y) (1-α)d(x*,y) 0, так как α<1, то 1-α>0, а по определению метрики d(x*,y)≥0, отсюда d(x,y)=0 x*=y.

Теорема доказана.

Обозначим через Rn действительное евклидово пространство размерности n≥1.

Определение 1.3.

Ретрактом пространства X называется подпространство A этого пространства, для которого существует непрерывное отображение F : X → A , такое что F(x)=x для всех x A.

Теорема 1.2. (Брауэра)

Пусть F – непрерывное отображение замкнутого шара Σ Rn в себя. Тогда у F существует, по крайней мере, одна неподвижная точка.

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

Так как не существует ретракции шара на его границу, доказательство будет строиться от противного.

Пусть F:Σ→Σ не имеет не подвижных точек. Построим на его основе ретракцию шара на его границу. Для каждой точки x рассмотрим прямую, проходящую через точки x и F(x)( она единственная так как по предположению неподвижных точек нет). Пусть r(x) –точка пересечения прямой с границей шара, причем х лежит между F(x) и r(x). r(x) –непрерывное отображение Σ на ∂Σ. Если x ∂Σ, то r(x)=x. Поэтому r- требуемая ретракция. Пришли к противоречию.

Теорема доказана.