О ПОТЕНЦИАЛЬНОСТИ ДИСКРЕТНЫХ СИСТЕМ

Обложка


Цитировать

Полный текст

Аннотация

Основная цель данной статьи—исследование потенциальности дискретной системы, полученной из
системы вида C(t, u)u_ (t) + E(t, u) = 0 с непрерывным временем. Введено определение потенциальности
соответствующей дискретной системы. Получены необходимые и достаточные условия потенциальности
относительно заданной билинейной формы. Изложен алгоритм построения соответствующего функционала—аналога действия по Гамильтону. Дан иллюстрирующий пример.

Полный текст

  1. Предварительные сведения

    Рассмотрим следующую краевую задачу:

    N (u) C (t, u) u˙ (t) + E (t, u) = 0, 0 < t < l, (1.1)

    u (0) = a1, u (l) = a2, (1.2)

    ( 1 2

    2n)T

    где C (t, u) — заданная матрица [Cµν (t, u)]2n×2n; u =

    T

    u , u , · · · , u

    — неизвестная вектор-функция;

    E (t, u) = (E1 (t, u) , E2 (t, u) , · · · , E2n (t, u))

    ; a1, a2 R2n.

    Предположим, что Cµν (t, u) : [0, l] × R2n R и Eµ (t, u) : [0, l] × R2n R — заданные непрерывнo

    дифференцируемые функции.

    Запишем систему (1.1) в виде

    A (u) + E (t, u) = 0,

     

    image

    1Публикация выполнена при поддержке Программы стратегического академического лидерства РУДН.

    Вестник Самарского университета. Естественнонаучная серия. 2021. Том 27, № 3. С. 74–82

    Vestnik of Samara University. Natural Science Series. 2021, vol. 27, no. 3, pp. 74–82 75

     

    где A — оператор, определяемый дифференциальными выражением

    A (u) C (t, u) u˙ (t) .

    Пусть область определения D (A) оператора A состоит из непрерывно дифференцируемых вектор-

    функций на (0, l) — пространство X, удовлетворяющих граничным условиям (1.2).

    Разобьем [0, l] на m равных частей узлами tk = (k = 0, 1, · · · , m), где τ = m1l. Введем операторы сужения [1]

    Tpu (t) = (u1 (t1) , · · · , u2n (t1) , u1 (t2) , · · · , u2n (t2) , · · · ,

    T

     

    · · · , u1 (tm

    1) , · · · , u2n (t

    m1) )

    (столбец высоты p = 2n (m 1)). Такие столбцы образуют линейное пространство, которое будем обо-

    значать Xp. Для up = Tpu (t) зададим сферическую норму

    1

    (

     

    l m1 2n ) 2

     

    k

     

    где uµ = uµ (tk ).

    u

     

    up=

    ∑ ∑

    m

    k=1 µ=1

    image

    µ 2

    | k |

    , (1.3)

    Заменим в дифференциальном операторе A

    1

    image

    C (t, u) u˙ (t) τ C

     

    1,k

    1

    image

    (uk+1 uk ) + τ C

     

    2,k

    (uk uk1) ,

    где uk = u (tk ); C1,k = C1,k (tk , uk ) , C2,k = C2,k (tk , uk , uk

    µν

     

     

    1) — матрицы [C1,k ]

    2n×2n

    , C

     

    [ 2,k ]

    µν

    2n×2n,

    удовлетворяющие равенству C1,k + C2,k = C (tk , u (tk )) + o (τ ). Дифференцируемые функции

    C1,k

    2,k

    1,k

    2,k

    = (1γµν )

     

    µν и Cµν можно выбрать разными способами, например, Cµν = γµν Cµν (tk , uk ); Cµν =

    2 (Cµν (tk , uk ) + Cµν (tk , uk1)), а γµν — некоторое число из [0, 1].

    1

     

    1

     

    Тогда можем записать в Xp следующую последовательность приближенных задач, или разностную схему:

    image

    τ

     

    C1,k (uk+1 uk ) +

    image

    τ

     

    C2,k (uk uk

    image

     

    1) + Ek = 0, k = 1, m 1; (1.4)

     

     

    Здесь Ek = E(tk , uk ). Обозначим

    u0 = a1, um = a2. (1.5)

    2n [ 1

    N k

    1,k ν

    ν 1

    ]

    1,k ν ν k

    τ τ

     

    µ =

    ν=1

    и

    Cµν (uk+1 uk ) + Cµν (uk uk1)

    + Eµ

     

    T

    image

    image

    N p (up) (N 1, N 2, · · · , N m1, N 1, · · · , N m1) .

    1 1 1 2 2n

    В книге [2] получены необходимые и достаточные условия самосопряженности системы дифференци- альных уравнений вида (1.1) с непрерывным временем, а также разработаны методы приведения этой системы к форме уравнений Биркгофа с непрерывным временем.

    В работах [3; 4] получены дискретные аналогии уравнения Биркгофа путем дискретизации пфаф- фиана. Однако вопрос о необходимых и достаточных условиях потенциальности дискретных систем и построении соответствующих функционалов в литературе, насколько нам известно, пока не исследовал- ся. Рассматриваемые в настоящей статье вопросы восходят к идеям монографии [5].

    Для дальнейшего нам понадобится понятие потенциальности дискретного оператора.

     

  2. Критерий потенциальности дискретного оператора

     

    image

    p

     

    Обозначим через N

    image

    image

    первую производную Гато оператора N p и положим D (N p) =

    image

    image

    image

    image

    image

    p

     

    = {up Xp; u0 = a1, um = a2} , D (N ) = {hp Xp; h0 = hm = 0}.

    image

    image

    Определение 2.1. Дискретный оператор N p : D (N p) Rp называется потенциальным в области

    image

    p

     

    D (N p) относительно билинейной формы ⟨·, ·⟩ : Xp ×Xp R, если существует функционал FN

    такой, что

    : Xp R,

    [

    ]

    FNp

    up + εhp

    FNp [up]

    ( ) ( )

    image

    lim

    ε0 ε

    image

    image

    image

    image

    image

    N

     

    p

     

    = N p (up) , hp, up D N p

    , hp D .

    image

    При этом будем говорить, что система (1.4), (1.5) является потенциальной в области D (N p) отно-

    image

    image

    image

    image

    сительно заданной билинейной формы, а FNp [up] — потенциал оператора N p (up).

    Савчин В.М., Чинь Ф.Т. О потенциальности дискретных систем

    76Savchin V.M., Trinh P.T.On discrete systems with potential operators

     

    Теорема 2.1(критерий потенциальности оператора). Пусть дифференцируемый по Гато оператора

    image

    image

    image

    image

    N p : D (N p) Rp и билинейная форма

    ⟨·, ·⟩ : Xp × XpR

     

    ( )

    image

    image

    image

    N

     

    p

     

    такие, что для любых фиксированных элементов up D (N p) , hp, gp D

    функция φ (ε)

    image

    image

    image

    image

    image

    image

    ≡ ⟨N p (up + εhp) , gp⟩ ∈ C1[0, 1]. Тогда для потенциальности оператора N p в односвязной области D (N p)

    относительно заданной билинейной формы необходимо и достаточно, чтобы выполнялось условие

    image

    image

    image

    image

    image

    image

    N hp, g = N g , hp. (2.1)

     

    При этом

    p p p p

    1

    ( 0

    0

     

    0

     

    ( ))

    FNp [up] =

    N p

    0

    up + λ

    up up

    , up updλ, (2.2)

    image

    image

    p

     

    где u0 D (N p) — фиксированный элемент.

    Доказательство можно получить, используя общий критерий потенциальности оператора [6].

    image

    Для дальнейшего изложения введем в Xp скалярное произведение

     

    l

    m1 2n

    ∑ ∑ µ µ

    (up, vp) = m

     

    k=1 µ=1

    uk vk . (2.3)

    image

    image

    image

    image

     

    Теперь Xp превращено в евклидово пространство, причем (up, up) = up 2.

    µ

     

    Сначала найдем первую производную Гато оператора N k

     

    ( )k

    N hp

     

    2n { 1

    1,k (hν

    ν ) +

    1 C2,k (hν

    ν ) +

    p =

    µ

    ν=1

    Cµν

    τ

    k+1 hk

    image

    τ µν

    k hk1

    2n [ 1 C1,k

    C2,k

    + µν hσ (uν

    uν ) + 1

    µν hσ (uν uν ) +

     

    σ=1

    image

    k

     

    τ ∂uσ k

    image

    k+1 k

    k

     

    τ ∂uσ k k

    k1

    µν

     

    1 C2,k

    + hσ

    (uν uν

    ]} 2n

    ) +

    ∂Ek

    µ hσ .

     

    Обозначим

    image

    k 1

     

    τ ∂uσ

    k1 k

    k1

     

    σ=1

    image

    k

     

    ∂uσ k

     

    Nhp =

    ( ( )1

    N hp

    ( )2

    , N hp

    , · · · ,

    ( )m1

    N hp

    ( )1

    , N hp

    , · · ·

    p p 1 p 1

    p 1 p 2

    · · · ,

    ( )m1 )T

    N hp .

    Используя формулу (2.3), получаем

    p 2n

    l

    m1 2n

    k

    m1 2n

    image

    (N hp, g ) =

    ∑ (N hp)

    gµ =

    [W 1,k + W 2,k ] ,

    image

    p p m

    p

    k=1 µ=1

    µ k µν

    k=1 µ,ν,σ=1

    µνσ

    l

    m1 2n

    k

    m1 2n

    image

    (N g , hp) =

    ∑ (N g )

    hµ =

    [W 3,k + W 4,k ] ,

    где

    image

    p p m

    k=1 µ=1

    p p µ k

    µν

    k=1 µ,ν,σ=1

    µνσ

    µν = Cµν (hk+1 hk ) gk + Cµν (hk hk1) gk ,

    1,k

    W 1,k

    1,k ν

    2,k

    ν µ 2,k

    ν ν µ

    2,k k

    W 2,k

    ∂Cµν hσ ν

    ν µ ∂Cµν hσ ν ν

    µ ∂Cµν hσ ν ν

    µ l Eµ hσ µ

    image

    u u g +

     

    µνσ =

    k

     

    ∂uσ

    ( )

    image

    k k k1 k uσ

     

    k k+1 k k

    k

     

    ∂uσ

    image

    k1 k k1 k m ∂uσ

     

    (u u ) g +

    k1

    image

    (u u ) g +

    k

    k gk ,

    µν = Cµν (gk+1 gk ) hk + Cµν (gk gk1) hk ,

    1,k

    W 3,k

    1,k ν

    2,k

    ν µ 2,k

    ν ν µ

    2,k k

    W 4,k

    ∂Cµν gσ ν

    ν µ ∂Cµν gσ ν ν

    µ ∂Cµν gσ ν ν

    µ l Eµ gσ µ

    image

    u u h +

     

    µνσ =

    k

     

    ∂uσ

    u u h +

     

    ( )

    image

    k k+1 k k

    k

     

    ∂uσ

    ( )

     

    image

    k1

     

    k1 k k1 k m ∂uσ

     

    k k k1 k uσ

    ( )

    image

    (u u ) h +

    k

    k hk .

    image

    image

    N

     

    Здесь hp, gp — произвольные элементы из D

    p

     

    . Поскольку

     

    W 1,k

    1,k 2

    2,k

    4,k

    4,k

    µν = Wνµ , Wµνσ = Wνσµ, Wµνσ = Wµσν ,

    Вестник Самарского университета. Естественнонаучная серия. 2021. Том 27, № 3. С. 74–82

    Vestnik of Samara University. Natural Science Series. 2021, vol. 27, no. 3, pp. 74–82 77

     

    то

    m1 2n

     

    m1 2n [

    image

    image

    (N hp, g ) =

    [W 1,k + W 2,k ] =

    C1,k (hµ

    hµ) gν + C2,k (hµ hµ

    ) gν +

    p p

     

    C1,k

     

    k=1 µ,ν,σ=1

    νµ

     

    C2,k

    νσµ

     

    k=1 µ,ν,σ=1

    νµ

     

    C2,k

    k+1 k k

    νµ k

     

    l

    k1 k

    ∂Ek ]

    + νσ hµ (uσ

    k k k1 k uµ

     

    o ν νσ hµ σ σ

     

    ν νσ hµ

    1 k k1 k m ∂uµ

     

    o σ ν

    ν hµ ν ,

    k

     

    ∂uµ k

    k+1 uk ) gk +

    k

     

    ∂uµ

    (u u ) g +

    k1

    k (u u ) g +

    k

    k gk

    m1 2n

    m1 2n [

    image

    image

    (N g , hp) =

    [W 3,k + W 4,k ] =

    hµ

    C1,k (gν

    gν ) + C2,k (gν gν ) +

    p p µν

    k=1 µ,ν,σ=1

    µσν

    k µν

    k=1 µ,ν,σ=1

    k+1 k

    µν k

    k1

    C1,k

    + µσ gν (uσ

    uσ ) +

    C2,k

    µσ gν (uσ uσ

    C2,k

    ) + µσ gν

    (uσ uσ

    ) + l

    ∂Ek ]

    µ gν .

    image

    k

     

    ∂uν k

    k+1 k

    image

    k

     

    ∂uν k k

    ∂u

     

    k1

    image

    ν k1

    k1 k

    k1

    image

    k

     

    m ∂uν k

    k

     

    Ввиду произвольности элементов hµ

    из критерия потенциальности (2.1) получаем

    2n [

     

    C1,k1 ν

     

    1,k ν

     

    2,k ν

     

    2,k+1 ν

     

    ∂C

     

    1,k

    image

    νσ

    (uσ

     

    ∂C

     

    2,k

    image

    • ν νσ

      (uσ σ ν

       

      ν,σ=1

      νµ gk1 Cνµ gk + Cνµ gk Cνµ gk+1 +

      k

       

      ∂uµ

      k+1 uk ) gk +

      k

       

      ∂uµ

      k uk1) gk +

      C2,k+1

      l ∂Ek ]

      2n [

      + νσ (uσ

    • ν ν ν

    1,k ν

    ν 2,k ν ν

    k

     

    ∂uµ

    k

     

    k+1 uk ) gk+1 + m ∂uµ gk

    =

    ν,σ=1

    Cµν (gk+1 gk ) + Cµν (gk gk1) +

    C1,k

    + µσ gν (uσ

    uσ ) +

    C2,k

    µσ gν (uσ uσ

    C2,k

    ) + µσ gν

    (uσ uσ

    ) + l

    ∂Ek ]

    µ gν ,

    image

    k

     

    ∂uν k

    k+1 k

    image

    k

     

    ∂uν k k

    ∂u

     

    k1

    image

    ν k1

    k1 k

    k1

    image

    k

     

    m ∂uν k

     

    2n [

     

    ∂C1,1

    image

    image

    k = 2, m 2, µ = 1, 2n,

    ∂C2,1

    C1,1 ν

    2,1 ν

    2,2 ν

    νσ (uσ

    • ν νσ

      (uσ σ ν

       

      ν,σ=1

      image

      νµ g1 + Cνµ g1 Cνµ g2 +

      1

       

      ∂uµ

      image

      2 u1 ) g1 +

      1

       

      ∂uµ

      1 u0 ) g1 +

      ∂C

       

      2,2

      + νσ

      (uσ uσ ) gν + l

      ∂E1 ]

      ν gν =

      2n [

      C1,1 (gν gν ) + C2,1gν +

      image

      1

       

      ∂uµ 2

      image

      1

       

      1 2 m ∂uµ 1

      ν,σ=1

      µν 2 1

      µν 1

      C1,1

      ∂C2,1

       

      l E1 ]

      + µσ gν σ

    • µσ ν σ

    • µ ν

    1

     

    ∂uν

    2n

    1 (u2 u1 ) +

    [

    1

     

    ∂uν

    1

     

    g1 (u1 u0 ) + m ∂uν g1

    , µ = 1, 2n,

    C1,m2 ν

    1,m1 ν

    2,m1 ν

    ∂C1,m1

    ν,σ=1

    νµ gm2 Cνµ gm1 + Cνµ gm1+

    ∂C2,m1

    l ∂Em1 ]

    image

    ∂uµ

    image

    m um1) gm1 +

    ∂uµ

    (um1 um2) gm1 + m ∂uµ

    gm1 =

    + νσ

    (uσ

    =

    σ

     

    2n [

    ν νσ

    1

    C1,m1 ν

    o σ ν

     

    2,m1 ν ν

    ν ν

    image

    m1

    ν,σ=1

    ∂C1,m1

    µν gm1 + Cµν (gm1 gm2) +

    ∂C2,m1

    g

     

    +

     

    µσ

    image

    ∂u

     

    ν m1

    u

     

    u

     

    g

     

    u

     

    u

     

    +

     

    +

     

    ν ( σ

    m1 m

    o )

    m1

    µσ

    image

    ∂u

     

    ν m1

    ν m1

    ( σ

    m1

    o )

    m2

    ∂C

     

    2,m1

    + µσ gν

    (uσ

    uσ

    ) + l

    µ

     

    ∂Em1

    gν

    ]

    , µ = 1, 2n.

    image

    ν m2

    ∂u

     

    m2

    m1

    m2

    image

    m 1

     

    m ∂uν

    m1

    k

     

    Ввиду произвольности элементов gν

    2n

    отсюда находим условия

    2,k

    C1,k1

    2,k

    ∂Cνσ

    (uσ σ

    image

    νµ + Cµν =

     

    σ=1

    ∂u

     

    µ k1

    image

    image

    k

     

    k uk1) (k = 2, m 1, µ, ν = 1, 2n) , (2.4)

    C1,k

    2,k

    1,k

    2,k

    l Ek

    l ∂Eµ

    image

    ν

     

    k

     

    νµ + Cνµ + Cµν Cµν + m ∂uµ m ∂uν =

    k

     

    [( ∂C2,k

    2,k ) ( σ

    σ )] (

    )

    (2.5)

    =

     

    2n

    σ=1

    µσ

    image

    ∂uν

    k

     

    ∂Cνσ

    k

     

    ∂uµ

    uk uk1

    k = 1, m 1, µ, ν = 1, 2n ,

    2n ( C1,k

     

    C1,k )

     

    σ=1

    µσ

    k

     

    ∂uν

    image

    νσ

    k

     

    ∂uµ

    = 0 (k = 1, m 1, µ, ν = 1, 2n) . (2.6)

    Савчин В.М., Чинь Ф.Т. О потенциальности дискретных систем

    78Savchin V.M., Trinh P.T.On discrete systems with potential operators

     

    Таким образом, выше доказана следующая теорема.

    image

    Теорема 2.2. Система (1.4) является потенциальной в области D (N p) относительно билинейной

    формы (2.3) тогда и только тогда, когда выполняются условия (2.4) – (2.6).

    image

    Остается вопрос построения функционала — потенциала оператора N p — аналога действия по Гамиль- тону.

     

  3. Построение действия по Гамильтону

    image

    image

    При выполнений условий (2.4) – (2.6) искомый функционал FNp может быть построен по формуле (2.2). К этому вопросу можно подойти по-другому. Ищем потенциал оператора N p в виде

     

    l

    m1 ( 2n uν ν

    FNp [up] = m

    R

     

     

    k=0

    k

    ν

    ν=1

    image

    k+1 uk k )

    τ B

    , (3.1)

    image

    где Rν (t, u) : [0, l] × R2n R (ν = 1, 2n), B (t, u) : [0, l] × R2n R — неизвестные непрерывно дифференци-

    руемые функции, a Rk = Rν (tk , uk ), Rk = (Rk , Rk , . . . , Rk

    ) , Bk = B (tk , uk ) (k = 1, m 1).

    ν 1 2 2n

    Из определения потенциальности имеем

    [

    ]

    m1 2n

     

    k ν ν

     

    ν ν k

    FNp

    up + εhp

    FNp [up]

    l ∑ ∑

    ( ∂Rν

    u u

    hk+1 hk µ)

    image

    image

    lim =

    ε0 ε m

     

    k=0 µ,ν=1

    h

     

    µ

    image

    k

     

    ∂uµ k

    k+1

    τ

    image

    ν

     

    k + Rk

    τ

    ∂B

    k

     

    ∂uµ hk =

    l m1

    2n ( ∂Rk uν

    ν Rk

    k1

    ∂Bk )

    image

    = ∑ ∑

    m

    ν

    ∂uµ

    k+1 uk

    image

    τ

    µ Rµ

    image

    hµ

     

    τ ∂uµ k =

    k=1 µ,ν=1 k k

    l

    m1

    2n ( uν uν

    uν uν )

    = (N m(um), hm) =

    C1,k

    k+1

    k + C2,k k

    k1

    k hµ

    image

     

    image

    m

    k=1 µ,ν=1

    image

    µν τ

    image

    τ

     

    µν + Eµ k .

    k

     

    Считая, что элементы hµ

    произвольные, отсюда получаем

    2n k ν ν

     

    k k1

     

    2n ν ν ν ν

    ∂Rν uk+1 uk

    Rµ Rµ

    ∂Bk

    ( 1,k uk+1 uk

    2,k uk uk1 ) + Ek

    image

    ∂uµ

    image

    image

    image

    τ τ ∂uµ =

    Cµν

    image

    τ + Cµν τ µ

    ν=1 k

    k ν=1

    (3.2)

    image

    (k = 1, m 1, µ = 1, 2n) .

    Сравнивая левую и правую части тождеств (3.2), находим

     

    C1,k

    ν

     

    ∂Rk

    image

    image

    (k = 1, m 1, µ, ν = 1, 2n) , (3.3)

     

    Rk k1

    image

    k

     

    µν = ∂uµ

    2n ν ν

    µ Rµ

    ∂Bk

    2,k uk uk 1

    τ ∂uµ =

    Cµν

    + Eµ (k = 1, m 1, µ = 1, 2n) . (3.4)

    image

    image

    τ

     

    k

    image image

    k ν=1

    µ

     

    Если существуют функции Rk , удовлетворяющие этим условиям, то отсюда следует, что

    ( Rk

     

    k1

    ) ∂Rk1

    µ Rµ

    ∂Bk

    µ

    ∂uσ

    k1

    image

    image

    k

     

    τ ∂uµ

    = uσ =

    k1

    = (2n

    2,k u uk1 + Ek )

    1 2,k

    2n Cµν

    .

     

    u u

    ∂uσ

    k1

    В силу условий (2.4) имеем

    ν ν

    image

    k

     

    ν=1 Cµν τ

    µ = τ Cµσ

    2,k

    + ν=1 ∂uσ

    k1

    ν ν

    k k1

    image

    τ

    2n C2,k

    C2,k

    µν (uν ν

    1,k1

    ∂u

     

    µσ +

     

    ν=1

     

    σ k1

    k

     

    k uk1) = Cσµ .

    Таким образом, получаем C1,k = ∂Rν . Значит, условия (3.3) являются следствием условий (3.4).

    image

    k

     

    µν uµ

    Итак, чтобы определить функции Rk , Bk , нужно решить следующую систему уравнений:

    Rk k1

    2n ν ν

    µ Rµ

    ∂Bk

    2,k uk uk 1

    τ ∂uµ =

    Cµν

    + Eµ , (k = 1, m 1, µ = 1, 2n) .

    image

    image

    τ

     

    k

    image image

    k ν=1

    Укажем некоторые частные случаи, для которых можно решить эти уравнения относительно Rk , Bk .

    Вестник Самарского университета. Естественнонаучная серия. 2021. Том 27, № 3. С. 74–82

    Vestnik of Samara University. Natural Science Series. 2021, vol. 27, no. 3, pp. 74–82 79

    • Путь существуют функции Φ1 (tk , uk ) , Φ2 (tk , uk ) такие, что

      µ µ

      2n

      C2,k (uν ν 1 2

      Тогда

      µν

      ν=1

      k uk1) = Φµ (tk , uk ) + Φµ (tk1, uk1) .

      image

      Rk = Φ2 (tk , uk ) , µ = 1, 2n,

      µ

      µ

      2n 1 [

      Φ1 (k, λuk ) + Φ2 (k, λuk )]

      k

       

       

      Bk = uµ

      µ=1 0

      image

      µ

       

      Ek (tk , λuk ) + µ µ

      τ

      dλ.

      µν

       

    • Путь C2,k

    зависят только от k. Тогда

    2n

    C2,k (uν ν

    [

     

    2n

    ( 2,k+1 ν

    2,k ν

    ν 2,k+1

    ]

    2,k .

    Получаем

    µν

    ν=1

     

    k uk1) =

    2n

     

    ν=1

    Cµν uk Cµν uk1) uk (Cµν Cµν )

    Rk

    image

    2,k+1 ν

    µ =

     

    ν=1 2n

    Cµν uk , µ = 1, 2n,

    1 [ 2n

     

    C2,k+1

    C2,k ]

    Bk = uµ

    Ek (tk , λuk ) λuν

    µν µν

    dλ.

     

    0

     

    k µ

    µ=1

    image

    k τ

    ν=1

    image

    Таким образом, приходим к действию по Гамильтону FNp .

     

  4. Пример

Рассмотрим систему уравнений движения точки единичной массы в среде с сопротивлением, про- порциональным квадрату скорости [7]

 ( 0 1 ) ( x˙

2

 

) + ( Ky

)

= 0,

1 0 y˙ y

(4.1)

(x (0) , y (0)) = (ϕ1, ϕ2) ,

(x (1) , y (1)) = (ϕ3, ϕ4) ,

где x˙ = y скорость частицы, K — постоянный коэффициент.

Запишем разностную схему этой системы

 

)

 

( 0 0 ) ( xk+1 xk

0

 

( yk

) ( xk xk1 )

N p (up) 1 0

y τ y +

yk1 y τ +

image

τ

 

k+1 k 0 0

k yk1

image

τ

( Ky2 )

 

где uk = (xk , yk )T . Поскольку

 

u0 = (ϕ1, ϕ2)T , um = (ϕ3, ϕ4)T ,

+ k

yk

= 0,

C1,k1

2,k

∂C

 

2,k

11

∂C

 

2,k

12

image

12 + C21 ̸= ∂y

то разностная схема непотенциальная.

k1

image

(xk xk1) + ∂y

k1

(yk yk1) ,

С помощью условий (2.4) – (2.6) можно найти матричный вариационный множитель

0

 

( 1 )

image

2

 

Тогда

Mk =

yk .

y2

 

0 1

k

(

0 0 ) ( xk+1 xk )

image

( 0 1

) ( xk xk1 )

( K )

Mk N p (up) =

1 0

y τ y +

image

ykyk1 y τ

+ 1 ,

y

 

2

k

потенциальный оператор и

image

τ

 

k+1 k 0 0

k yk1

image

τ

yk

k k1

1

1 1 k 1

1 1 k k1 k

 

R R = ykyk 1 (yk yk1) = y + y R1 = y ,

Rk

2 = 0 R2 = 0,

2 Rk1 k

∂B k

∂B k

1 k

 

∂xk + yk = K + yk B

= Kxk + ln yk .

Савчин В.М., Чинь Ф.Т. О потенциальности дискретных систем

80Savchin V.M., Trinh P.T.On discrete systems with potential operators

 

Искомый функционал равен

 

l m1 ( x x )

FMk Np [up] = m

 

k=0

k+1

τyk

k + Kxk + ln yk .

В случае непрервыного времени он имеет вид [7]

 

1 ( 1 x )

 

Обозначим

J =

0

image

image

x˙ + y˙ + Kx + ln y

2y 2y2

dt.

image

image

image

  • u1 = (x1 , y1 )T — точное решение задачи (4.1),

    p p p

    image

  • u2

    image

    image

    = (x2 , y2 )T — решение, полученное при переходе к вариационному множителю и дальнейшей

    p p p

    дискретизации функционала,

    image

    image

    image

  • u3 = (x2 , y3 )T — решение, полученное при прямом использовании метода Рунге — Кутта.

p p p

 

image

p

1

image

image

1 p p

Для оценки погрешности решений ui

(i = 2, 3) используем норму 1ui u11 по формуле (1.3).

T

image

2

 

Положим m = 4, K = 1, u0 = (0, 1)T , um = ( 1 , ln 2)

, находим

 

u1(tk ) =

(

ln (1 + tk ),

1 )T

image

.

1 + tk

С помощью Matlab получаем таблицу значений и графики вышеперечисленных решений (рис. 4.1, 4.2).

 

 

Решение

k = 1 (t = 0, 25)

k = 2 (t = 0, 5)

k = 3 (t = 0, 75)

Погрешность

 

u1

6

( 0, 2231 )

0, 8000

( 0, 4055 )

0, 6667

( 0, 5596 )

0, 5714

0

 

u2

6

( 0, 2000 )

0, 8333

( 0, 3667 )

0, 7143

( 0, 5095 )

0, 6250

0, 0329

 

u3

6

( 0, 1800 )

0, 7867

( 0, 3248 )

0, 6528

( 0, 4467 )

0, 5597

0, 0418

 

Значения решений в точках и погрешности решений Solution values at points and solution errors

Таблица

 

Table

 

image

 

image

image

image

Рис. 4.1. Графики решений u1, u2, u3

6 6 6

image

image

image

Fig. 4.1. Graph of solutions u1, u2, u3

6 6 6

Вестник Самарского университета. Естественнонаучная серия. 2021. Том 27, № 3. С. 74–82

Vestnik of Samara University. Natural Science Series. 2021, vol. 27, no. 3, pp. 74–82 81

 

image

 

Рис. 4.2. Зависимость погрешности от количества узлов m

Fig. 4.2. Dependence of the error on the number of nodes m

 

Выводы

Получены разностные уравнения, соответствующие системе вида C(t, u)u˙ (t) + E(t, u) = 0 с непре- рывным временем. Введено понятие потенциальности дискретной системы. Получены необходимые и достаточные условия потенциальности рассматриваемой разностной системы относительно заданной би- линейной формы. Представлен алгоритм построения соответствующего действия по Гамильтону. Дан иллюстрирующий пример.

 

×

Об авторах

В. М. Савчин

Российский университет дружбы народов

Автор, ответственный за переписку.
Email: savchin-vm@rudn.ru
ORCID iD: 0000-0003-3850-6747

профессор, доктор физико-математических наук, Математический институт им. С.М. Никольского

Россия

Ф. Т. Чинь

Российский университет дружбы народов

Email: tr.phuoctoan@gmail.com
ORCID iD: 0000-0002-7707-322X

аспирант, Математический институт им. С.М. Никольского

Россия

Список литературы

  1. [1] Треногин В.А. Функциональный анализ: учебник. 3-е изд. Москва: ФИЗМАТЛИТ, 2002. 488 с. URL: https://booksee.org/book/443580.
  2. [2] Santilli R.M. Foundations of Theoretical Mechanics II. New York: Springer-Verlag New York Inc., 1983. 371 p. URL: http://www.santilli-foundation.org/docs/santilli-69.pdf.
  3. [3] Kong X., Wu H., Mei F. Discrete optimal control for Birkhoffian systems // Nonlinear Dynamics. 2013. Vol. 74. pp. 711–719. DOI: http://doi.org/10.1007/s11071-013-0999-0.
  4. [4] Zhang H., Chen L., Gu S., Liu C. The discrete variational principle and the first integrals of Birkhoff systems // Chinese Physics. 2007. Vol. 16, № 3. pp. 582–587. DOI: http://doi.org/10.1088/1009-1963/16/3/004.
  5. [5] Филиппов В.М., Савчин В.М., Шорохов С.Г. Вариационные принципы для непотенциальных операторов // Итоги науки и техн. Сер.: Соврем. пробл. мат. Нов. достиж. 1992. T. 40 С. 3–176. URL: http://mi.mathnet.ru/rus/intd/v40/p3.
  6. [6] Савчин В.М. Математические методы механики бесконечномерных непотенциальных систем. Москва: РУДН, 1991. 237 c.
  7. [7] Галлиулин А.С., Гафаров Г.Г., Малайшка Р.П., Хван А.М. Аналитическая динамика систем Гельмгольца, Биркгофа, Намбу. Москва: Редакция ж-ла УФН, 1997. 324 с.

Дополнительные файлы

Доп. файлы
Действие
1. JATS XML

© Савчин В.М., Чинь Ф.Т., 2021

Creative Commons License
Эта статья доступна по лицензии Creative Commons Attribution 4.0 International License.

Данный сайт использует cookie-файлы

Продолжая использовать наш сайт, вы даете согласие на обработку файлов cookie, которые обеспечивают правильную работу сайта.

О куки-файлах