Линейное дифференциальное уравнение
Дифференциальные уравнения |
---|
Объем |
Классификация |
Решение |
Люди |
В математике линейное дифференциальное уравнение — это дифференциальное уравнение , которое определяется линейным многочленом от неизвестной функции и ее производных, то есть уравнение вида
Такое уравнение представляет собой обыкновенное дифференциальное уравнение (ОДУ). Линейное дифференциальное уравнение также может быть линейным дифференциальным уравнением в частных производных (ЧДУ), если неизвестная функция зависит от нескольких переменных, а производные, входящие в уравнение, являются частными производными .
Виды решения [ править ]
Линейное дифференциальное уравнение или система линейных уравнений, в которой соответствующие однородные уравнения имеют постоянные коэффициенты, могут быть решены в квадратурах , что означает, что решения могут быть выражены через интегралы . Это справедливо и для линейного уравнения первого порядка с непостоянными коэффициентами. Уравнение второго порядка и выше с непостоянными коэффициентами, как правило, не может быть решено в квадратурах. Для второго порядка алгоритм Ковачича позволяет определить, существуют ли решения в виде интегралов, и вычислить их, если таковые имеются.
Решения однородных линейных дифференциальных уравнений с полиномиальными коэффициентами называются голономными функциями . Этот класс функций стабилен относительно сумм, произведений, дифференцирования , интегрирования и содержит множество обычных функций и специальных функций, таких как показательная функция , логарифм , синус , косинус , обратные тригонометрические функции , функция ошибки , функции Бесселя и гипергеометрические функции . Их представление с помощью определяющего дифференциального уравнения и начальных условий позволяет алгоритмизировать (над этими функциями) большинство операций исчисления , таких как вычисление первообразных , пределов , асимптотического разложения и числовых оценок с любой точностью и сертифицированной границей ошибки.
Основная терминология [ править ]
Высший порядок вывода , который появляется в (линейном) дифференциальном уравнении, - это порядок уравнения. Член b ( x ) , не зависящий от неизвестной функции и ее производных, иногда называют постоянным членом уравнения (по аналогии с алгебраическими уравнениями ), даже если этот член является непостоянной функцией. Если постоянный член является нулевой функцией , то дифференциальное уравнение называется однородным , так как оно представляет собой однородный многочлен от неизвестной функции и ее производных. Уравнение, полученное заменой в линейном дифференциальном уравнении постоянного члена нулевой функцией, представляет собой связанное однородное уравнение . Дифференциальное уравнение имеет постоянные коэффициенты только постоянные функции , если в качестве коэффициентов в соответствующем однородном уравнении фигурируют .
А Решением дифференциального уравнения является функция, удовлетворяющая уравнению.Решения однородного линейного дифференциального уравнения образуют векторное пространство . В обычном случае это векторное пространство имеет конечную размерность, равную порядку уравнения. Все решения линейного дифференциального уравнения находятся добавлением к конкретному решению любого решения соответствующего однородного уравнения.
Линейный дифференциальный оператор [ править ]
Базовый дифференциальный оператор порядка i — это отображение, которое отображает любую дифференцируемую функцию в ее i -ю производную или, в случае нескольких переменных, в одну из ее частных производных порядка i . Обычно его обозначают
Линейный дифференциальный оператор (сокращенно в этой статье как линейный оператор или просто оператор ) представляет собой линейную комбинацию основных дифференциальных операторов с дифференцируемыми функциями в качестве коэффициентов. Таким образом, в одномерном случае линейный оператор имеет вид [1]
Пусть L — линейный дифференциальный оператор. Применение L к функции f обычно обозначается Lf или Lf ( X ) , если необходимо указать переменную (это не следует путать с умножением). Линейный дифференциальный оператор является линейным оператором , поскольку он отображает суммы в суммы, а произведение по скаляру в произведение по тому же скаляру.
Поскольку сумма двух линейных операторов является линейным оператором, а также произведением (слева) линейного оператора на дифференцируемую функцию, линейные дифференциальные операторы образуют векторное пространство над действительными или комплексными числами (в зависимости от характер рассматриваемых функций). Они также образуют свободный модуль над кольцом дифференцируемых функций.
Язык операторов позволяет компактно записать дифференцируемые уравнения: если
У этого обозначения может быть несколько вариантов; в частности, переменная дифференцирования может появляться явно или нет в y и правой части уравнения, например Ly ( x ) = b ( x ) или Ly = b .
Ядром ядро линейного дифференциального оператора является его векторное как линейное отображение, то есть пространство решений (однородного) дифференциального уравнения Ly = 0 .
В случае обыкновенного дифференциального оператора порядка n из теоремы существования Каратеодори следует, что при очень мягких условиях ядро L является векторным пространством размерности n и что решения уравнения Ly ( x ) = b ( x ) имеют вид
Однородное уравнение с постоянными коэффициентами [ править ]
Однородное линейное дифференциальное уравнение имеет постоянные коэффициенты, если оно имеет вид
Изучение этих дифференциальных уравнений с постоянными коэффициентами восходит к Леонарду Эйлеру , который ввел показательную функцию e х , которое является единственным решением уравнения f ′ = f такого, что f (0) = 1 . Отсюда следует, что n- я производная e сх это с н и сх , что позволяет довольно легко решать однородные линейные дифференциальные уравнения.
Позволять
Поиск решений этого уравнения, имеющих вид e αx эквивалентно поиску констант α таких, что
Когда все эти корни различны , имеется n различных решений, которые не обязательно вещественны, даже если коэффициенты уравнения вещественны. Можно показать, что эти решения линейно независимы , рассматривая определитель Вандермонда значений этих решений при x = 0,..., n – 1 . Вместе они образуют базис векторного пространства решений дифференциального уравнения (т. е. ядро дифференциального оператора).
Пример |
---|
имеет характеристическое уравнение Он имеет нули i , − i и 1 (кратность 2). Таким образом, основой решения является Реальная основа решения, таким образом, |
В случае, когда характеристический полином имеет только простые корни , предыдущее обеспечивает полную основу векторного пространства решений. В случае кратных корней для наличия базиса необходимы более линейно независимые решения. Они имеют форму
и, таким образом, после k + 1 применения .
Поскольку по основной теореме алгебры сумма кратностей корней многочлена равна степени многочлена, количество приведенных выше решений равно порядку дифференциального уравнения, и эти решения образуют базу векторного пространства. решений.
В общем случае, когда коэффициенты уравнения действительны, обычно удобнее иметь основу решений, состоящую из вещественных функций . Такой базис можно получить из предыдущего базиса, заметив, что если a + ib является корнем характеристического многочлена, то a – ib также является корнем той же кратности. Таким образом, реальный базис получается с помощью формулы Эйлера и замены и к и .
Случай второго порядка [ править ]
Однородное линейное дифференциальное уравнение второго порядка можно записать
Если a и b вещественные , существует три случая решений, в зависимости от дискриминанта D = a 2 − 4 б . Во всех трех случаях общее решение зависит от двух произвольных констант c 1 и c 2 .
- Если D > 0 , характеристический полином имеет два различных действительных корня α и β . В этом случае общее решение
- Если D = 0 , характеристический полином имеет двойной корень − a /2 , и общее решение есть
- Если D < 0 , характеристический полином имеет два комплексно-сопряженных корня α ± βi , и общее решение есть который можно переписать в реальных терминах, используя формулу Эйлера как
Находя решение y ( x ), удовлетворяющее y (0) = d 1 и y ′(0) = d 2 , можно приравнять значения приведенного выше общего решения в точке 0 и его производной там к d 1 и d 2 соответственно. В результате получается линейная система двух линейных уравнений с двумя неизвестными c 1 и c 2 . Решение этой системы дает решение так называемой задачи Коши , в которой указаны значения в 0 для решения DEQ и его производной.
Неоднородное уравнение с постоянными коэффициентами [ править ]
Неоднородное уравнение порядка n с постоянными коэффициентами можно записать
Существует несколько методов решения такого уравнения. Выбор лучшего метода зависит от природы функции f , которая делает уравнение неоднородным. Если f представляет собой линейную комбинацию экспоненциальной и синусоидальной функций, то формулу экспоненциального отклика можно использовать . Если, в более общем смысле, f представляет собой линейную комбинацию функций вида x н и топор , х н cos( ax ) и x н sin( ax ) , где n — неотрицательное целое число, а a — константа (которая не обязательно должна быть одинаковой в каждом члене), то метод неопределенных коэффициентов можно использовать . В еще более общем плане метод аннулятора применяется, когда f удовлетворяет однородному линейному дифференциальному уравнению, обычно голономной функции .
Самый общий метод — вариация констант , который представлен здесь.
Общее решение ассоциированного однородного уравнения
Заменяя в исходном уравнении y и его производные на эти выражения и используя тот факт, что y 1 , ..., y n являются решениями исходного однородного уравнения, получаем
Это уравнение и приведенные выше уравнения с 0 в левой части образуют систему из n линейных уравнений относительно u ′ 1 , ..., u ′ n, коэффициенты которых являются известными функциями ( f , y i и их производные). Эту систему можно решить любым методом линейной алгебры . Вычисление первообразных дает u 1 , ..., un , а затем y знак равно u 1 y 1 + ⋯ + u n y n .
Поскольку первообразные определены с точностью до добавления константы, снова обнаруживается, что общее решение неоднородного уравнения представляет собой сумму произвольного решения и общего решения соответствующего однородного уравнения.
Уравнение первого порядка с переменными коэффициентами [ править ]
Общая форма линейного обыкновенного дифференциального уравнения порядка 1 после деления коэффициента при y ′( x ) выглядит следующим образом:
Если уравнение однородно, т.е. g ( x ) = 0 , его можно переписать и проинтегрировать:
Для общего неоднородного уравнения полезно умножить обе части уравнения на обратную величину e − Ф решения однородного уравнения. [2] Это дает
Пример [ править ]
Решение уравнения
Деление исходного уравнения на одно из этих решений дает
Система линейных дифференциальных уравнений [ править ]
Система линейных дифференциальных уравнений состоит из нескольких линейных дифференциальных уравнений, в которых присутствует несколько неизвестных функций. Обычно исследование ограничивается системами, в которых количество неизвестных функций равняется количеству уравнений.
Произвольное линейное обыкновенное дифференциальное уравнение и систему таких уравнений можно преобразовать в систему линейных дифференциальных уравнений первого порядка добавлением переменных для всех производных, кроме высшего порядка. То есть, если появляются в уравнении, их можно заменить новыми неизвестными функциями которое должно удовлетворять уравнениям и для i = 1, ..., k – 1 .
Линейная система первого порядка, имеющая п неизвестных функций и п дифференциальных уравнений, обычно может быть решена относительно производных неизвестных функций. Если это не так, то это дифференциально-алгебраическая система , а это другая теория. Поэтому рассматриваемые здесь системы имеют вид
Метод решения аналогичен методу решения одного линейного дифференциального уравнения первого порядка, но с усложнениями, связанными с некоммутативностью матричного умножения.
Позволять
Зная матрицу U , общее решение неоднородного уравнения имеет вид
Если начальные условия заданы как
порядок с коэффициентами переменными Высший
Линейное обыкновенное уравнение первого порядка с переменными коэффициентами решается в квадратурах , т. е. выражается через интегралы . Это не относится к заказу как минимум два. Это основной результат теории Пикара-Вессио , которая была инициирована Эмилем Пикаром и Эрнестом Вессио и чьи недавние разработки называются дифференциальной теорией Галуа .
Невозможность решения в квадратурах можно сравнить с теоремой Абеля–Руффини , которая утверждает, что алгебраическое уравнение степени не ниже пятой, вообще говоря, не может быть решено в радикалах. Эта аналогия распространяется на методы доказательства и мотивирует название дифференциальной теории Галуа .
Как и в алгебраическом случае, теория позволяет решить, какие уравнения можно решить в квадратурах, и, если возможно, решить их. Однако для обеих теорий необходимые вычисления чрезвычайно сложны даже на самых мощных компьютерах.
Тем не менее, случай второго порядка с рациональными коэффициентами был полностью решен алгоритмом Ковачича .
Уравнение Коши–Эйлера [ править ]
Уравнения Коши – Эйлера являются примерами уравнений любого порядка с переменными коэффициентами, которые можно решить явно. Это уравнения вида
Голономные функции [ править ]
, Голономная функция также называемая D-конечной функцией , — это функция, которая является решением однородного линейного дифференциального уравнения с полиномиальными коэффициентами.
Большинство функций, которые обычно рассматриваются в математике, являются голономными или частными голономными функциями. Фактически, голономные функции включают в себя многочлены , алгебраические функции , логарифмы , показательную функцию , синус , косинус , гиперболический синус , гиперболический косинус , обратные тригонометрические и обратные гиперболические функции , а также множество специальных функций, таких как функции Бесселя и гипергеометрические функции .
Голономные функции обладают несколькими свойствами замыкания ; в частности, голономны суммы, произведения, производные и интегралы голономных функций. Более того, эти свойства замыкания эффективны в том смысле, что существуют алгоритмы вычисления дифференциального уравнения результата любой из этих операций, зная дифференциальные уравнения входа. [3]
Полезность концепции голономных функций вытекает из следующей теоремы Цейльбергера. [3]
— Голономная последовательность это последовательность чисел, которая может быть сгенерирована рекуррентным соотношением с полиномиальными коэффициентами. Коэффициенты ряда Тейлора в точке голономной функции образуют голономную последовательность. И наоборот, если последовательность коэффициентов степенного ряда голономна, то этот ряд определяет голономную функцию (даже если радиус сходимости равен нулю). Существуют эффективные алгоритмы для обоих преобразований, то есть для вычисления рекуррентного соотношения из дифференциального уравнения и наоборот . [3]
Отсюда следует, что если представить (в компьютере) голономные функции с помощью их определяющих дифференциальных уравнений и начальных условий, большинство вычислительных операций над этими функциями может выполняться автоматически, например, производная , неопределенный и определенный интеграл , быстрое вычисление рядов Тейлора (спасибо рекуррентного соотношения на его коэффициенты), вычисление с высокой точностью с сертифицированной границей ошибки аппроксимации, пределы , локализация особенностей , асимптотическое поведение на бесконечности и вблизи особенностей, доказательство тождеств и т. д. [4]
См. также [ править ]
- Ипотека с постоянным погашением
- Преобразование Фурье
- Преобразование Лапласа
- Линейное разностное уравнение
- Изменение параметров
Ссылки [ править ]
- ^ Gershenfeld 1999, p.9
- ^ Мотивация: по аналогии с выполнением техники квадратов мы записываем уравнение как y ′ − fy = g и пытаемся изменить левую часть, чтобы она стала производной. В частности, мы ищем «интегрирующий коэффициент» h = h ( x ) такой, что умножение на него делает левую часть равной производной hy , а именно hy ′ − hfy = ( hy )′ . Это означает, что h ′ = − f , так что h = e −∫ f dx = и − Ф , как в тексте.
- ^ Jump up to: Перейти обратно: а б с Зейлбергер, Дорон. Голономный системный подход к тождествам специальных функций . Журнал вычислительной и прикладной математики. 32.3 (1990): 321–368.
- ^ Бенуа А., Чизак Ф., Даррасс А., Герхольд С., Меззаробба М. и Салви Б. (2010, сентябрь). Динамический словарь математических функций (ДДМФ) . На Международном конгрессе по математическому программному обеспечению (стр. 35-41). Шпрингер, Берлин, Гейдельберг.
- Биркгоф, Гаррет и Рота, Джан-Карло (1978), Обыкновенные дифференциальные уравнения , Нью-Йорк: John Wiley and Sons, Inc., ISBN 0-471-07411-Х
- Гершенфельд, Нил (1999), Природа математического моделирования , Кембридж, Великобритания: Издательство Кембриджского университета, ISBN 978-0-521-57095-4
- Робинсон, Джеймс К. (2004), Введение в обыкновенные дифференциальные уравнения , Кембридж, Великобритания: Издательство Кембриджского университета, ISBN 0-521-82650-0
Внешние ссылки [ править ]
- http://eqworld.ipmnet.ru/en/solutions/ode.htm
- Динамический словарь математических функций . Автоматическое и интерактивное исследование многих голономных функций.