In[31]:=

"ad4m2_1.gif"

Out[31]//MatrixForm=

"ad4m2_2.gif"

In[32]:=

"ad4m2_3.gif"

Out[32]//MatrixForm=

"ad4m2_4.gif"

In[33]:=

"ad4m2_5.gif"

Out[33]=

"ad4m2_6.gif"

In[90]:=

"ad4m2_7.gif"

Out[90]=

"ad4m2_8.gif"

"ref_1.gif"

"ref_2.gif"

Часть II.
Асимптотика решения линейной системы дифференциальных уравнений с возмущённой матрицей коэффициентов.

  Найдём асимптотику решения линейной системы дифференциальных уравнений с возмущённой матрицей используя операторный метод усреднения, изложенный части I (Операторный метод усреднения). Система  имеет вид

"ad4m2_11.gif"

Для простоты вычислений будем рассматривать систему из 2-х уравнений, матрицы A и B 2 ×2 симметричны и матрица A отрицательно определена. Найдём асимптотику решения при ε→0 с точностью до "ad4m2_12.gif"

In[91]:=

"ad4m2_13.gif"

Out[91]//MatrixForm=

"ad4m2_14.gif"

Для простоты вычислений собственные значения – целые числа.

In[92]:=

"ad4m2_15.gif"

Out[92]=

"ad4m2_16.gif"

In[53]:=

"ad4m2_17.gif"

Out[53]//MatrixForm=

"ad4m2_18.gif"

Находим собственные векторы

In[93]:=

"ad4m2_19.gif"

Out[93]=

"ad4m2_20.gif"

Система собственных векторов ортонормирована.

In[94]:=

"ad4m2_21.gif"

Out[94]=

"ad4m2_22.gif"

Находим проэкторы на собственные подпространства:

In[95]:=

"ad4m2_23.gif"

Out[95]=

"ad4m2_24.gif"

Определим функцию, вычисляющюю коммутатор:

In[57]:=

"ad4m2_25.gif"

Определяем нулевую матрицу 2×2

In[58]:=

"ad4m2_26.gif"

Out[58]//MatrixForm=

"ad4m2_27.gif"

Вычисляем матрицы "ad4m2_28.gif" и "ad4m2_29.gif" (k=0,1,2) по формулам, выведенным в части I (Операторный метод усреднения)

In[96]:=

"ad4m2_30.gif"

Out[96]//MatrixForm=

"ad4m2_31.gif"

Проверяем, выполняется ли уравнение (2.7) из части I

In[97]:=

"ad4m2_32.gif"

Out[97]=

"ad4m2_33.gif"

In[98]:=

"ad4m2_34.gif"

Out[98]//MatrixForm=

"ad4m2_35.gif"

"ad4m2_36.gif"

Проверяем выполнение этого уравнения:

In[99]:=

"ad4m2_37.gif"

Out[99]=

"ad4m2_38.gif"

In[100]:=

"ad4m2_39.gif"

Out[100]//MatrixForm=

"ad4m2_40.gif"

Проверяем выполнение уравнения (2.7) из части I

In[101]:=

"ad4m2_41.gif"

Out[101]=

"ad4m2_42.gif"

In[102]:=

"ad4m2_43.gif"

Out[102]//MatrixForm=

"ad4m2_44.gif"

"ad4m2_45.gif"

Проверяем выполнение написанного выше уравнения:

In[103]:=

"ad4m2_46.gif"

Out[103]=

"ad4m2_47.gif"

In[104]:=

"ad4m2_48.gif"

Out[104]=

"ad4m2_49.gif"

In[105]:=

"ad4m2_50.gif"

Out[105]//MatrixForm=

"ad4m2_51.gif"

Проверяем уравнение (2.7) из из части I/

In[106]:=

"ad4m2_52.gif"

Out[106]=

"ad4m2_53.gif"

In[107]:=

"ad4m2_54.gif"

Out[107]//MatrixForm=

"ad4m2_55.gif"

"ad4m2_56.gif"

Проверяем выполнение написанного выше уравнения.

In[108]:=

"ad4m2_57.gif"

Out[108]=

"ad4m2_58.gif"

In[109]:=

"ad4m2_59.gif"

  Матрицы "ad4m2_60.gif" коммутируют между собой.

In[110]:=

"ad4m2_61.gif"

Out[110]=

"ad4m2_62.gif"

  Матрицы "ad4m2_63.gif" антисимметричны:

In[111]:=

"ad4m2_64.gif"

Out[111]=

"ad4m2_65.gif"

Матрицы "ad4m2_66.gif" симметричны:

In[112]:=

"ad4m2_67.gif"

Out[112]=

"ad4m2_68.gif"

Матрицы "ad4m2_69.gif" ортогональны матрицам "ad4m2_70.gif":

In[113]:=

"ad4m2_71.gif"

Out[113]=

"ad4m2_72.gif"

Матрицы "ad4m2_73.gif" принадлежат образу оператора коммутирования "ad4m2_74.gif", поскольку их проэкция на ядро "ad4m2_75.gif" равна нулю:

In[114]:=

"ad4m2_76.gif"

Out[114]=

"ad4m2_77.gif"

In[78]:=

"ad4m2_78.gif"

Out[78]=

"ad4m2_79.gif"

Асимптотика (2.5) из части I

In[115]:=

"ad4m2_80.gif"

Out[115]=

"ad4m2_81.gif"

Определяем унитарное преобразование U(ε) из представления (1.1) части I

In[116]:=

"ad4m2_82.gif"

Out[116]=

"ad4m2_83.gif"

Асимптотика (2.6) из части I

In[117]:=

"ad4m2_84.gif"

Out[117]=

"ad4m2_85.gif"

Правая часть формулы (1.3) части I при "ad4m2_86.gif"

In[118]:=

"ad4m2_87.gif"

Out[118]=

"ad4m2_88.gif"

  Начальные условия Коши для системы дифференциальных уравнений (I).

In[161]:=

"ad4m2_89.gif"

Асимптотическое решение системы (I) с точностью до "ad4m2_90.gif"

In[162]:=

"ad4m2_91.gif"

Out[162]=

"ad4m2_92.gif"

  Проверка выполнения начальных условий:

In[163]:=

"ad4m2_93.gif"

Out[163]=

"ad4m2_94.gif"

Проверка выполнения уравнений:

In[164]:=

"ad4m2_95.gif"

Out[164]=

"ad4m2_96.gif"

Как видим, асимптотика вычислена верно.

Полжим "ad4m2_97.gif"

In[165]:=

"ad4m2_98.gif"

Out[165]=

"ad4m2_99.gif"

При ε→0 (t→∞) траектория системы стремится к нулю.

In[166]:=

"ad4m2_100.gif"

Out[166]=

"ad4m2_101.gif"

"ref_1.gif"

"ref_2.gif"

Spikey Created with Wolfram Mathematica 7.0
Hosted by uCoz