Заседания семинаров
С. В. Скресанов
Полиномиальные сведения в проблеме изоморфизма групп.
И. С. Борисов, Ю. Ю. Линке
Об одном усилении теоремы Гаека-Шидака.
Аннотация
Доказан аналог теоремы Гаека-Шидака об асимптотической нормальности распределения суммы взвешенных независимых одинаково распределенных центрированных случайных величин с конечным вторым моментом в случае, когда нормирующие коэффициенты этой суммы являются не константами, а случайными величинами.И. В. Кузнецов (ИГиЛ СО РАН, Новосибирск)
Уравнения Навье-Стокса с импульсной правой частью.
Аннотация
В докладе будут рассмотрены уравнения Навье-Стокса для несжимаемой неоднородной жидкости с импульсным воздействием, которое содержит в форме представления аппроксимацию дельта функции Дирака в $t=0$. В докладе будет описан предельный переход по параметру аппроксимации, при котором возникает инфинитезимальный начальный слой. Такие задачи важны как при описании внешних воздействий, так и при описании активных жидкостей, в которых экспериментально доказано возникновение спонтанных потоков за счет внутренних процессов.Е. В. Борисов (ИФИП СО РАН, НГУ)
Натуральный вывод для CWPL.
Аннотация
Кросс-мировая предикация - это приписывание отношений объектам, каждый из которых ассоциирован с некоторым возможным миром. Например, предложение "Джон мог быть выше, чем Мэри, как она есть" приписывает отношение "выше" Джону, каков он в некотором возможном мире $w$, и Мэри, какова она в действительном мире $u$; в этом смысле Джон ассоциирован с $w$, Мэри - с $u$. Для отображения феномена кросс-мировой предикации в модальной логике первого порядка необходима кросс-мировая интерпретация предикатов, т.е. интерпретация, при которой $n$-местному предикату назначаются экстенсионалы не для отдельных возможных миров, а для упорядоченных $n$-ок возможных миров. Одна из логик, основанных на кросс-мировой интерпретации предикатов, была предложена автором; будем называть ее CWPL (crossworld predication logic). В указанных ниже публикациях представлены семантика и табличное исчисление для CWPL. В докладе будет описана семантика и представлено натуральное исчисление для упрощенной версии этой логики. Доклад будет состоять из двух частей.
- Borisov E. V. A Nonhybrid Logic for Crossworld Predication // Logical Investigations. 2023. Vol. 29. No. 2. Pp. 125–147.
- Borisov E. V. A tableau proof theory for CWPL // Logical Investigations. 2025. Vol. 31. No. 1. Pp. 74-96.
И. В. Кузнецов (Институт гидродинамики им. М. А. Лаврентьева СО РАН)
Прямые и обратные задачи для уравнений импульсных волн с сильным затуханием. Гипотетическое приложение в сейсмологии.
Аннотация
Речь пойдет о псевдогиперболических уравнениях или волновых уравнениях с сильным затуханием. Мы сформулируем прямую задачу с источником, аппроксимирующим дельта-функцию Дирака в начальный момент времени. Это означает, что в пределе вторая производная по времени неизвестного решения также является дельта-функцией Дирака, а первая производная по времени имеет разрыв в начальный момент времени. Мы применяем масштабирование для формулировки задачи на бесконечно малом начальном слое и вычисляем зазор в начальный момент для первой производной по времени. Затем мы сформулируем обратную задачу, когда интегральное условие переопределения для производной первого порядка по времени аппроксимирует функцию, разрывную в начальный момент. Это означает, что волновое уравнение содержит неизвестный источник, аппроксимирующий дельта-функцию Дирака. Повторяя процедуру масштабирования, как и для прямой задачи, мы получаем обратную задачу на бесконечно малом начальном слое, что позволяет вычислить зазор в начальный момент для производной первого порядка по времени неизвестного решения. В конце доклада будет представлено гипотетическое приложение к сейсмологии. Принято считать, что землетрясения связаны с теорией хрупкого разрушения. Альтернативный подход основан на генерации нелинейных ударных волн наряду с продольными и поперечными волнами. Поэтому будет кратко рассмотрена природа импульсных источников колебаний.Владимир Иванович Лотов
Об одной модели случайного блуждания с переключениями.
Аннотация
Изучаются свойства траекторий случайного блуждания, у которого снос меняется в соответствии со следующим правилом. Положительный снос сохраняется до момента первого достижения траекторией нижней полуплоскости, после чего происходит переключение на блуждание с отрицательным сносом. Это продолжается до момента первого достижения траекторией верхней полуплоскости, после чего возобновляется блуждание с положительным сносом, и так далее. Подобная конструкция находит приложение в исследованиях некоторых моделей стохастического градиентного спуска. В работе изучаются вопросы конечности экстремумов траектории и последовательных моментов пересечения оси абсцисс.Жарков Денис, младший научный сотрудник ИФЗ РАН
Аналитическое моделирование амплитудных характеристик поверхностных акустических волн в неоднородных геофизических средах (По материалам диссертации на соискание ученой степени кандидата физико-математических наук).
Google Meet
Р. Е. Малыхин (ВолГУ)
Алгоритм нахождения тензора напряжений деформированного тела методом триангуляций пространственных областей.
Аннотация
В докладе будет обсуждаться численный алгоритм расчета тензора напряжений в рамках нелинейной теории упругости методом триангуляций пространственных областей для заданной деформации и его реализация на языке Python. Кроме этого, будет приведен сравнительный анализ полученных результатов численного расчета напряжений с табличными данными для различных видов материалов и для некоторых модельных областей. Доклад будет снабжен соответствующими графиками и иллюстрациями.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
