Нужно спроектировать управление, оценить область притяжения (устойчивости) для нелинейной системы, оценить робастность - как минимум.
Кроме того. если матрица A зависит от времени, то метод собственных чисел вообще не является критерием. Например, Re(k) могут быть < 0 в любой момент времени, но при этом система может быть неустойчивой. А уравнение Ляпунова в этом случае работает.
Устойчивость означает, что при малом возмущении начальных условий траектория меняется слабо.
Здесь в статье проделан вывод уравнения Ляпунова, соответственно дан ответ на вопрос, откуда оно взялось
Потому что это система линейных диффуров, в окрестности равновесия любая механическая система так описывается приближенно (вдали от окрестности уже нелинейная становится). Если у нас система нелинейная - надо ее линеаризовать, т.е. разложить в ряд Тейлора в окрестности равновесия. И тогда получить такую систему из нелинейной, и дальше по алгоритму
Энергия в кавычках, потому что можно брать не только кинетическую энергию, а в принципе любую подходящую квадратичную функцию. Обычно берут кинетическую энергию, но в некоторых случаях удобнее что-то еще.
Материал про линеаризацию тогда чуть позже ночью добавлю и вставлю в статью.
Это не так. Вам нужно какой-то интеграл продифференцировать по параметру, например. И придется для этого уметь доказывать, что подынтегральная функция равномерно непрерывна.
Для применения многих методов, например, нужно уметь доказывать равномерную сходимость или равномерную непрерывность. А чтобы это сделать - нужно знать и понимать теоремы.
У исчисления Хевисайда тоже есть границы применимости.
Тут непонятно, чем это лучше просто условия. Ведь если брать 2 модуля и сравнивать if .. else..., то получается гораздо проще. По вашей формуле тоже придется условную конструкцию писать, но она гораздо сложнее. Если же этого не делать, то "меньшим" тогда считается то число, которое находится "слева" от другого относительно линии разреза функции корня на комплексной плоскости, что вообще-то совсем другое, чем выбор минимального по модулю.
То есть фактически вы делаете ровно то же самое сравнение модулей, чтобы выбрать, какой из листов функции корня использовать. Вы предлагаете:
Да я тут посмотрел, у Кудрявцева много доказательств по Гейне. А в книге Куранта по анализу используется тот же подход точек сгущения, и определение предела как единственной точки сгущения последовательности (за которое меня тут и в других местах некоторые комментаторы сильно обругали) для доказательства теорем про последовательности, а для теорем про непрерывные функции - совмещение этого подхода с пределом по Гейне.
Так что какие-то элементы того, что предлагаю, отыскать можно в разных местах. У Куранта, к сожалению, так доказаны только некоторые теоремы.
Пеано хорош тем, что он очень простой, Лагранжа хорош тем, что повсеместно используется в вычислительной математике.
Да, нужно мотивацию определений давать. Но когда мы говорим про вводные темы, аксиомы, основания, там мотивация в том, чтобы строго рассуждать и не ошибаться.
Насколько я понимаю, причины исторические, потому что когда всё это создавалось и начало проникать в вузы, все были одержимы "арифметизацией анализа" и изгнанием геометрических рассуждений ради достижения строгости. А потом люди, которым именно такое изложение нравится, стали воспроизводиться. При этом были еще куда более радикальные представители. Например, Эдмунд Ландау
Надо сказать, что на данный момент положительных отзывов на стиль изложения намного больше, чем отрицательных. Сегодня вот в личке только пришел и на фэйсбуке хвалили сильно недавно. Они идут потоком, а такие негативные единичны.
Однако я согласен с тем, что с количеством эпитетов перебор получился. Стиль будет подкорректирован в любом случае.
Это всё в первую очередь вопрос тонкой настройки промпта + самостоятельной вычитки и коррекции получившегося. ИИ выступает тут как ускоритель работы (по сути - бесплатный ассистент). Идеи мои, настройки промптов мои, я пишу ИИ что надо писать, он оформляет хорошо, иллюстрации делает, текст генерирует и структурирует, и тому подобное.
А еще эти тексты уже принесли доход. Ко мне обратились 2 человека как клиенты на репетиторство, и написали, что им очень нравится стиль, вдохновляет, мечтают, чтобы вот все учебники так писали, и чтобы так преподавали.
Потому что приближенное решение - это тоже решение. Во многих задачах подобные методы называются решением.
Это тоже самое, что пытаться как-то подобрать икс в уравнении, а потом говорить что нашел решение.
Ну не совсем, тут не как-то, а гарантированно сходимся к решению с некоторой точностью. Уравнение с иксом можно тоже дихотомией решать, например. И это будет решением в том же самом смысле.
Сейчас репетиторство очень сильно распространено во всех возрастных нишах и студенты не исключение. Основные мои клиенты в последние годы - это дети, сдающие ЕГЭ по информатике, и дети из матшкол, которым нужна помощь по программе (обычно с геометрией проблемы или олимпиадной математикой).
Студенты МФТИ каждый год обращаются. В подавляющем большинстве случаев - из-за математического анализа, еще немного с физикой и теормехом бывают.
У меня математический анализ лекции вел Иванов и семинары тоже он. На лекциях он просто писал огромный лес из кванторов на всю доску, один в один со своего учебника. Но семинары вел иначе - очень доходчиво объяснял всю теорию и задачи.
Впоследствии я понял, что такие лекции просто бессмысленные, а заниматься переписыванием чужого леса из кванторов довольно бесполезно, даже если тебе более-менее понятно, что происходит. В МФТИ сложнее воспринимать математический анализ, чем студентам мехмата МГУ, насколько я понимаю, потому что
1) курс ничуть не проще мехматовского
2) мало задач на доказательства, а теорию спрашивают на всех сдачах. Очень сложно усвоить абстрактную теорию, не доказывая самостоятельно.
Насчет этого
В начале первого семестра было порядка двух месяцев введение в теорию множеств и математическую логику, так что кванторы нам были достаточно понятны и не только.
Это очень хороший подход. К сожалению, сейчас такого нигде не встретить, студентам практически сразу везде дают определение предела, состоящее из трех кванторов.
Гиперссылки внутри Википедии то набросаю. Пока нужно с контентом разобраться.
Для этого нужно функцию V считать по полной системе, беря ее на основе квадратичной формы, построенной на основе линеаризованной.
Я сейчас составляю вводный кусок с физикой, там покажу тогда этот пример сразу.
Допишу это в статью тоже ночью сегодня.
Или, например, допустим собственные числа чисто мнимые, тогда метод собственных чисел для исходной нелинейной системы вообще ничего не гарантирует.
Нужно спроектировать управление, оценить область притяжения (устойчивости) для нелинейной системы, оценить робастность - как минимум.
Кроме того. если матрица A зависит от времени, то метод собственных чисел вообще не является критерием. Например, Re(k) могут быть < 0 в любой момент времени, но при этом система может быть неустойчивой. А уравнение Ляпунова в этом случае работает.
В начале тогда допишу, как получается система
. из линеаризации конкретной физической системы.
Ну я думаю это излишне, а для понимания статьи устойчивость достаточно понимать приблизительно. Это скорее просто в тему систем линейных диффуров.
Устойчивость означает, что при малом возмущении начальных условий траектория меняется слабо.
Здесь в статье проделан вывод уравнения Ляпунова, соответственно дан ответ на вопрос, откуда оно взялось
Потому что это система линейных диффуров, в окрестности равновесия любая механическая система так описывается приближенно (вдали от окрестности уже нелинейная становится). Если у нас система нелинейная - надо ее линеаризовать, т.е. разложить в ряд Тейлора в окрестности равновесия. И тогда получить такую систему из нелинейной, и дальше по алгоритму
Энергия в кавычках, потому что можно брать не только кинетическую энергию, а в принципе любую подходящую квадратичную функцию. Обычно берут кинетическую энергию, но в некоторых случаях удобнее что-то еще.
Материал про линеаризацию тогда чуть позже ночью добавлю и вставлю в статью.
Это не так. Вам нужно какой-то интеграл продифференцировать по параметру, например. И придется для этого уметь доказывать, что подынтегральная функция равномерно непрерывна.
Для каждого интеграла нужно отдельно доказывать.
Для применения многих методов, например, нужно уметь доказывать равномерную сходимость или равномерную непрерывность. А чтобы это сделать - нужно знать и понимать теоремы.
У исчисления Хевисайда тоже есть границы применимости.
Интересен вопрос, где такое может пригодиться.
Тут непонятно, чем это лучше просто условия. Ведь если брать 2 модуля и сравнивать if .. else..., то получается гораздо проще. По вашей формуле тоже придется условную конструкцию писать, но она гораздо сложнее. Если же этого не делать, то "меньшим" тогда считается то число, которое находится "слева" от другого относительно линии разреза функции корня на комплексной плоскости, что вообще-то совсем другое, чем выбор минимального по модулю.
То есть фактически вы делаете ровно то же самое сравнение модулей, чтобы выбрать, какой из листов функции корня использовать. Вы предлагаете:
А не будет ли проще сделать так:
Да я тут посмотрел, у Кудрявцева много доказательств по Гейне. А в книге Куранта по анализу используется тот же подход точек сгущения, и определение предела как единственной точки сгущения последовательности (за которое меня тут и в других местах некоторые комментаторы сильно обругали) для доказательства теорем про последовательности, а для теорем про непрерывные функции - совмещение этого подхода с пределом по Гейне.
Так что какие-то элементы того, что предлагаю, отыскать можно в разных местах. У Куранта, к сожалению, так доказаны только некоторые теоремы.
Пеано хорош тем, что он очень простой, Лагранжа хорош тем, что повсеместно используется в вычислительной математике.
Да, нужно мотивацию определений давать. Но когда мы говорим про вводные темы, аксиомы, основания, там мотивация в том, чтобы строго рассуждать и не ошибаться.
Насколько я понимаю, причины исторические, потому что когда всё это создавалось и начало проникать в вузы, все были одержимы "арифметизацией анализа" и изгнанием геометрических рассуждений ради достижения строгости. А потом люди, которым именно такое изложение нравится, стали воспроизводиться. При этом были еще куда более радикальные представители. Например, Эдмунд Ландау
https://booknik.ru/today/all/simvoly-landau/
https://disk.yandex.ru/i/Ija0BkGtHvJgMw
Надо сказать, что на данный момент положительных отзывов на стиль изложения намного больше, чем отрицательных. Сегодня вот в личке только пришел и на фэйсбуке хвалили сильно недавно. Они идут потоком, а такие негативные единичны.
Однако я согласен с тем, что с количеством эпитетов перебор получился. Стиль будет подкорректирован в любом случае.
Это всё в первую очередь вопрос тонкой настройки промпта + самостоятельной вычитки и коррекции получившегося. ИИ выступает тут как ускоритель работы (по сути - бесплатный ассистент). Идеи мои, настройки промптов мои, я пишу ИИ что надо писать, он оформляет хорошо, иллюстрации делает, текст генерирует и структурирует, и тому подобное.
А еще эти тексты уже принесли доход. Ко мне обратились 2 человека как клиенты на репетиторство, и написали, что им очень нравится стиль, вдохновляет, мечтают, чтобы вот все учебники так писали, и чтобы так преподавали.
Потому что приближенное решение - это тоже решение. Во многих задачах подобные методы называются решением.
Ну не совсем, тут не как-то, а гарантированно сходимся к решению с некоторой точностью. Уравнение с иксом можно тоже дихотомией решать, например. И это будет решением в том же самом смысле.
Итерациями решать много раз прямую задачу - это один из часто используемых методов решения обратной задачи.
Сложность решения обратных задач в том, что обычно вообще нет никаких формул, которые их решают непосредственно.
Спасибо за столь обстоятельный ответ.
Сейчас репетиторство очень сильно распространено во всех возрастных нишах и студенты не исключение. Основные мои клиенты в последние годы - это дети, сдающие ЕГЭ по информатике, и дети из матшкол, которым нужна помощь по программе (обычно с геометрией проблемы или олимпиадной математикой).
Студенты МФТИ каждый год обращаются. В подавляющем большинстве случаев - из-за математического анализа, еще немного с физикой и теормехом бывают.
У меня математический анализ лекции вел Иванов и семинары тоже он. На лекциях он просто писал огромный лес из кванторов на всю доску, один в один со своего учебника. Но семинары вел иначе - очень доходчиво объяснял всю теорию и задачи.
Впоследствии я понял, что такие лекции просто бессмысленные, а заниматься переписыванием чужого леса из кванторов довольно бесполезно, даже если тебе более-менее понятно, что происходит. В МФТИ сложнее воспринимать математический анализ, чем студентам мехмата МГУ, насколько я понимаю, потому что
1) курс ничуть не проще мехматовского
2) мало задач на доказательства, а теорию спрашивают на всех сдачах. Очень сложно усвоить абстрактную теорию, не доказывая самостоятельно.
Насчет этого
Это очень хороший подход. К сожалению, сейчас такого нигде не встретить, студентам практически сразу везде дают определение предела, состоящее из трех кванторов.
В формуле написан.