Что такое findslide.org?

FindSlide.org - это сайт презентаций, докладов, шаблонов в формате PowerPoint.


Для правообладателей

Обратная связь

Email: Нажмите что бы посмотреть 

Яндекс.Метрика

Презентация на тему Коммутативность операторов Дункла

Содержание

Докажем, что семейство {Tξ}ξ∈V операторов Дункла является коммутативным относительно композиции.Теорема 4. Для произвольных ненулевых векторов ξ, η ∈ V соответствующие операторы Дункла коммутируют:TξTη = TηTξ. Доказательство. Рассмотрим разность
Коммутативность операторов ДунклаСибряева Екатерина МИнф 51 Докажем, что семейство {Tξ}ξ∈V операторов Дункла является коммутативным относительно композиции.Теорема 4. Для которую перепишем в следующем виде: Очевидно ∂ξ∂η − ∂η∂ξ = 0. Далее, преобразуем выражение Из эквивариантности оператора ∇ вытекает, чтоПоэтому рассматриваемая разность может быть преобразована к выражению которое симметрично относительно векторов ξ и η. Но это означает, что к Преобразуем правую часть последнего равенства: где Рассмотрим сумму Ω1, которую преобразуем, пользуясь инвариантностью скалярного произведения относительно действия группы Коксетера. Получаем Ясно, что при фиксированном β найдется единственный положительный корень α ′, такой Заменяя α ′ на α, окончательно получаем, чтоАналогичные рассуждения показывают, что Меняя в последней сумме α на β и β на α, получаем По тем же причинам, что и выше вместо sαβ можно писать β Но внутренняя сумма в Ω3 равна нулю в силу леммы 2.1, где Спасибо за внимание!
Слайды презентации

Слайд 2 Докажем, что семейство {Tξ}ξ∈V операторов Дункла является коммутативным

Докажем, что семейство {Tξ}ξ∈V операторов Дункла является коммутативным относительно композиции.Теорема 4.

относительно композиции.
Теорема 4. Для произвольных ненулевых векторов ξ, η

∈ V соответствующие операторы Дункла коммутируют:
TξTη = TηTξ.
Доказательство. Рассмотрим разность


Слайд 3 которую перепишем в следующем виде:

которую перепишем в следующем виде:

Слайд 4 Очевидно ∂ξ∂η − ∂η∂ξ = 0. Далее, преобразуем

Очевидно ∂ξ∂η − ∂η∂ξ = 0. Далее, преобразуем выражение

выражение


Слайд 5 Из эквивариантности оператора ∇ вытекает, что


Поэтому рассматриваемая разность

Из эквивариантности оператора ∇ вытекает, чтоПоэтому рассматриваемая разность может быть преобразована к выражению

может быть преобразована к выражению


Слайд 6 которое симметрично относительно векторов ξ и η. Но

которое симметрично относительно векторов ξ и η. Но это означает, что

это означает, что к такому же выражению может быть

приведена и разность



Таким образом, получаем следующее соотношение:

Слайд 7 Преобразуем правую часть последнего равенства:

Преобразуем правую часть последнего равенства:

Слайд 9

где

где

Слайд 11 Рассмотрим сумму Ω1, которую преобразуем, пользуясь инвариантностью скалярного

Рассмотрим сумму Ω1, которую преобразуем, пользуясь инвариантностью скалярного произведения относительно действия группы Коксетера. Получаем

произведения относительно действия группы Коксетера.

Получаем


Слайд 12 Ясно, что при фиксированном β найдется единственный положительный

Ясно, что при фиксированном β найдется единственный положительный корень α ′,

корень α ′, такой что sβα = ±α ′.

Замечая, что во второй сумме корень sβα находится в числителе и знаменателе, имеем

Слайд 14 Заменяя α ′ на α, окончательно получаем, что




Аналогичные

Заменяя α ′ на α, окончательно получаем, чтоАналогичные рассуждения показывают, что

рассуждения показывают, что


Слайд 15 Меняя в последней сумме α на β и

Меняя в последней сумме α на β и β на α,

β на α, получаем Ω1 = Ω2.
Покажем, что

Ω3 = 0. В самом деле, меняя во второй сумме α на β и β на α, и пользуясь инвариантностью скалярного произведения, получаем

Слайд 16 По тем же причинам, что и выше вместо

По тем же причинам, что и выше вместо sαβ можно писать

sαβ можно писать β ′ и считать, что β

′ — положительный корень. И тогда, поскольку sαsβ = ssαβsα,

Слайд 17
Но внутренняя сумма в Ω3 равна нулю в

Но внутренняя сумма в Ω3 равна нулю в силу леммы 2.1,

силу леммы 2.1, где форма


Итак, для произвольных ξ, η



Теорема

доказана!

  • Имя файла: kommutativnost-operatorov-dunkla.pptx
  • Количество просмотров: 118
  • Количество скачиваний: 0