Полиограниченность относительно части фазовых переменных решений одной нелинейной управляемой системы в аспекте реализации принципа развивающего обучения
Автор: Щенникова Е.В.
Журнал: Интеграция образования @edumag-mrsu
Рубрика: Математическое образование
Статья в выпуске: 1 (42), 2006 года.
Бесплатный доступ
В данной статье доказана теорема о полиограниченности, т.е. о равномерной ограниченности относительно фазовых переменных x и у и о равномерной ограниченности в пределе относительно фазовой переменной у, решений одной нелинейной управляемой системы. В процессе доказательства теоремы реализуется основной принцип развивающего обучения.
Короткий адрес: https://sciup.org/147136117
IDR: 147136117
Текст научной статьи Полиограниченность относительно части фазовых переменных решений одной нелинейной управляемой системы в аспекте реализации принципа развивающего обучения
Методическое обеспечение формирования математической культуры должно реализоваться с опорой на принципы непрерывности, индивидуальности и поэтапности и способствовать усилению интегративной и методологической сущности фундаментального и прикладного математического знания. Требования к построению методического обеспечения включают в себя непрерывность изучения всех разделов математики и всех компонентов формирования математической культуры, акцент на наиболее значимых в профессиональной деятельности аспектах математической подготовки, обеспечение индивидуализации образовательной траектории в условиях региональной билингвальной языковой среды, регулирование сложности учебного материала как с позиции математики, так и с позиции языка.
В целом проблема формирования математической культуры студента в учебном процессе определяется новой ролью математического знания в постиндустриальном обществе и потребностью в более высоком уровне математической культуры личности, рассматриваемой как компонент ее общей культуры. Этот процесс в регионах должен опираться на взаимосвязь математической культуры и исторически обусловленных национальных особенностей. С точки зрения подготовки по определенной специальности формирование математической культуры должно осуществляться с учетом специфики профессиональной деятельности и ее отражения в профессиональной культуре специалиста.
ПРИМЕЧАНИЯ
-
1 См.: Гессен С. И. Основы педагогики. Введение в прикладную философию / С. И. Гессен. М., 1982.
-
2 См.: Библер В. С. От наукоучения — к логике культуры : Два философских введения в двадцать первый век / В. С. Библер. М., 1990.
-
3 См.: Бахтин М. М. Эстетика словесного творчества / М. М. Бахтин. М., 1979.
-
4 См.: Игнатов С. В. Социально-культурные факторы развития математического знания : авто-реф. дис. ... д-ра пед. наук / С. В. Игнатов. М., 2000.
-
5 См.: Исхакова 3. Л. Современная этноязыковая ситуация в Республике Татарстан / 3. А. Исхакова, Р. И. Зиннурова, Р. М. Мусина. Казань, 2002 ; Исхакова 3. Л. Двуязычие в городах Татарстана (1980—90 гг.) / 3. А. Исхакова. Казань, 2001.
Поступила 19.12.05.
ПОЛИОГРАНИЧЕННОСТЬ ОТНОСИТЕЛЬНО ЧАСТИ ФАЗОВЫХ ПЕРЕМЕННЫХ РЕШЕНИЙ ОДНОЙ НЕЛИНЕЙНОЙ УПРАВЛЯЕМОЙ СИСТЕМЫ В АСПЕКТЕ РЕАЛИЗАЦИИ ПРИНЦИПА РАЗВИВАЮЩЕГО ОБУЧЕНИЯ
В работах В. И. Зубова, В. А. Плиса, В. В. Румянцева, А. С. Озиранера, Т. Иосидзавы1 доказаны теоремы о равномерной ограниченности и равномерной ограниченности в пределе решений нелинейных систем дифференциальных уравнений относительно всех фазовых переменных. В развитие этих результатов в данной работе доказана теорема о полиограниченности, т. е. о равномерной (x, ^-ограниченности и о равномернойу-ограниченности в пределе, решений относительно части переменных одной нелинейной управляемой системы.
В дальнейшем будем писать: решения системы (x, у)-ограничены и равномерно у -ограничены в пределе. Здесь вектор X = (хт, ут, zT)T. Индекс т означает транспонирование. Под нормой вектора будем понимать евклидову норму.
Итак, рассмотрим управляемый динамический процесс, моделируемый системой дифференциальных уравнений dx
= Фг( t, x, y, z), dy
= ф2(t, x, y, z), dx dz
— = Ф 3 ( t , x , y , z ) , dt
где Ф i ( t , x , y , z ) e C ( J + x R m 1 x R m 2 x R m 3 ) ^
—> mimi m, + m4 + m, = n i = 1, 2, 3 9 12 3 9 .
Справедлива следующая теорема.
T е о р е м а. Предположим, что:
-
1) для любой точки ( t о , x о , y о , z о) e
e J + x R m 1 x R m 2 x R m 3 существует единственное решение ( x ( t , t о , x о , y о , z о ), y ( t , t о , x о , z о ), z ( t , t о, x о, y о, z о)) системы (1);
-
2) существует единственное решение системы
c(r ) — непрерывная функция и, кроме того, c(r) > 0 при r > L 1 ;
-
5) существуют постоянная L 2 > 0 , непрерывная функция W ( t , x , z ) , определенная на множестве { 0 < t < ^,| |x|| - L 2 ,||z|| < ~ } , и положительная функция h3 e C ( J + ^ J + ) такие, что
- ai(||x|I) < W(t,x,z) < M|x|I), (2J
|W (t, x, z) - W (t,x,z)| < ^ з (||x||) , (2 2 ) dW ( t , x, z)
------|(2) <-ci(||x|), ||x|| - L2, (2з) где a1(r) и b1(r) — непрерывные возрастающие функции, причем lim a1(r) = ^, c(r) — неотрицательная н^прерывная функция и h3(r) > 0, ci(r) - 0, r - L2, (3i)
lim r ^^
c 1 ( r )
h 3 ( r ) h 1 ( r )
= ^ .
Тогда решения системы (1) равномерно (x, у )-ограничены и равномерно у-ограничены в пределе.
Доказательство. Предположим, что l > max(L1,L2). Тогда существуют q = q(l), q1 = q1(l) такие, что dx
= Ф 1 ( t , x , о, z ), dt
x ( t 0 ) = x o , z ( t 0 ) z 0 ;
a ( q ( l )) > b ( l ) > l ,
-(ТЙ --max - 1
h 1( r ) h 2( r ) r < q ( l )
3) существуют непрерывные функции
для r > q ( l ) , a 1 ( q ( l )) > b 1 ( q 1 ( l )) .
h 1 (||x||) и h(||y||) такие, что
|ф 1( t , x , y , z ) - ф 1( t , x ,о , z )|| < h (|| x |I) h 2( y I)
при ( t ,x, y , z ) e J +x R m x R m x R m 3 ;
4) существуют постоянная L1 и непрерывная функция V(t, x, y, z), определенная на множестве { о < t < +^,||x | < ~, IIy|| - A,zll <^ Ь такая, что а(|М|) < V(t-x, У, z) < b(||y|I), dV (t, x, y, z) dt
I (1) <-c(lly| D, IM - L ,
где a(r ) и b(r) — непрерывные возрастающие функции, причем lim a(r ) = ^ , r ^^
Имеем ||x ( t , t о , x о , y о , z о)|| < q 2 ( l ) , ||y ( t , t о , x о , y о , z о )|| < q ( l ) при t > t 0 , ||x0|| < l , 11^01| < l , ||z0I <^.
Если это не так, то возможны два случая.
Первый случай. Существуют числа 1 2 > t 1 > t0 такие, что
||x ( t 1 , t о , x о , y о , z о)|| = q 1 ( l ) , I x ( t 2 , t о , x о , y о , z о)| = q 2 ( l ) , q 1( l ) < x ( t , t о , x о , y о , z о ) < q 2( l ) , t e (tpt2) , y ( t , t о , x о , y о , z о)|| < q ( l ) , z ( t , t о , x о , y о , z о )|| <^, t e [ t i , 1 2 ) .
Второй случай. Существуют числа 14 > tз > tо такие, что ||y(t3,t0,x0,y0,z0)|| = l, IIУ(t4, t0, x0,У0, z0)11 = q(l), l < |y(t, t0,x0,у0,z0)|| < q(l), tе (13,14),
II x ( t , t 0 , x 0 , У 0 , z 0)1 < q 2 ( l ) , t e [ t 3 , t 4 ) ,
II z ( t , t 0 , x 0 , У 0 , z 0 )11 <~, t > t o .
Во dV (t, x(t)) dt
втором случае имеем
1 (1) < 0 , t е [ t 3, t 4 ] , и, значит,
a ( q ( l )) < V ( t 4 , x ( t 4 ), У ( t 4 ), z ( t 4 )) <
< V ( t 3 , x ( t 3 ), У ( t 3 ), Z ( t 3 )) < b ( I ) .
Но это противоречит тому, что a ( q ( l )) > b ( l ) .
dW ( t , x ( t ), z ( t )) dt
1 (2) <
1 1 +1 < I|y(t)|| < q ( l ). Тогда можно указать число t 5 е [ t 0 , t 0 + T 1 ( l ) ] такое, что ||У (t 5 )|| < L 1 + 1 , т ( l ):: = ( b ( l ) - a i( li + 1))/ m ( l ).
Выбором числа q(l [ + 1) можно добиться того, чтобы ||y(t )|| < q(l j + 1) при t > 1 5 . В результате будем иметь IIy ( t )|| < q ( l 1 + 1) при t > t o + T 1 ( l ) .
Выберем теперь l3 > l2 так, чтобы выполнялось неравенство c2 (r) /(hj (r)h3 (r)) - max l2 (r) > 1
при r < q(l 1 + 1).
Пусть Y = Y(l) есть заданное положительное число, для которого hi(||x| I) h3(||x| b > Y2( p), если только l2 < ||x|| < q2 (l). Тогда для любого t > 10 + t(1 ), для которого l3 < ||x(t)|| < q2(l), будем иметь
W ( t, x (t X z( t)) < - hi( x (t )||) h3(| x(t )||)c 2 (| x (t )||), i /(h (| x (t )|) h 3 (| x (t )|)) - h 2 (|| y (t )|) < y2 (l).(4)
Из (4) следует, что существует число 1 6 е [ t o + T 1 ( l ), t o + T 1 ( l ) + t 2 ( l ) ] такое, что ||x(t, to, xo, y o, zo )|| < l3 ■ Следовательно, (||x( t 6 , t o , x o , y o , z o )|| Л I|y ( t 6 , t o , x o , y o , z o )X < l 4 , ||z(t , t o ,x o , y o , z ol <~ , l4 = max(l3, q(l 1 + 1)).
Поэтому для всех t > t 3 справедливы неравенства
| x ( t , t o , x o , y o , z o)|| < q 2 ( l 4 ) ,
I y ( t , t o , x o , y o , z o )!! < q (l 4 ) .
Таким образом, данные неравенства справедливы для всех t > t o + T 1 ( l ) + t 2 ( l ) , что и доказывает равномерную у-огра-ниченность в пределе решений системы (1), т. е. выполнение условий 1—5, теоремы. Теорема доказана.