Jump to content

Линейное дифференциальное уравнение

В математике линейное дифференциальное уравнение — это дифференциальное уравнение , которое определяется линейным полиномом от неизвестной функции и ее производных, то есть уравнение вида где a 0 ( x ) , ..., a n ( x ) и b ( x ) — произвольные дифференцируемые функции , которые не обязательно должны быть линейными, а y ′, ..., y ( н ) являются последовательными производными неизвестной функции y переменной x .

Такое уравнение представляет собой обыкновенное дифференциальное уравнение (ОДУ). Линейное дифференциальное уравнение также может быть линейным дифференциальным уравнением в частных производных (ЧДУ), если неизвестная функция зависит от нескольких переменных, а производные, входящие в уравнение, являются частными производными .

Виды решения

[ редактировать ]

Линейное дифференциальное уравнение или система линейных уравнений, в которой соответствующие однородные уравнения имеют постоянные коэффициенты, могут быть решены в квадратурах , что означает, что решения могут быть выражены через интегралы . Это справедливо и для линейного уравнения первого порядка с непостоянными коэффициентами. Уравнение второго порядка и выше с непостоянными коэффициентами, как правило, не может быть решено в квадратурах. Для второго порядка алгоритм Ковачича позволяет определить, существуют ли решения в виде интегралов, и вычислить их, если таковые имеются.

Решения однородных линейных дифференциальных уравнений с полиномиальными коэффициентами называются голономными функциями . Этот класс функций стабилен относительно сумм, произведений, дифференцирования , интегрирования и содержит множество обычных функций и специальных функций, таких как показательная функция , логарифм , синус , косинус , обратные тригонометрические функции , функция ошибки , функции Бесселя и гипергеометрические функции . Их представление с помощью определяющего дифференциального уравнения и начальных условий позволяет алгоритмизировать (над этими функциями) большинство операций исчисления , таких как вычисление первообразных , пределов , асимптотического разложения и числовых оценок с любой точностью и сертифицированной границей ошибки.

Основная терминология

[ редактировать ]

Высший порядок вывода , который появляется в (линейном) дифференциальном уравнении, - это порядок уравнения. Член b ( x ) , не зависящий от неизвестной функции и ее производных, иногда называют постоянным членом уравнения (по аналогии с алгебраическими уравнениями ), даже если этот член является непостоянной функцией. Если постоянный член является нулевой функцией , то дифференциальное уравнение называется однородным , так как оно представляет собой однородный многочлен от неизвестной функции и ее производных. Уравнение, полученное заменой в линейном дифференциальном уравнении постоянного члена нулевой функцией, представляет собой связанное однородное уравнение . Дифференциальное уравнение имеет постоянные коэффициенты только постоянные функции , если в качестве коэффициентов в соответствующем однородном уравнении фигурируют .

А Решением дифференциального уравнения является функция, удовлетворяющая уравнению.Решения однородного линейного дифференциального уравнения образуют векторное пространство . В обычном случае это векторное пространство имеет конечную размерность, равную порядку уравнения. Все решения линейного дифференциального уравнения находятся добавлением к конкретному решению любого решения соответствующего однородного уравнения.

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

[ редактировать ]

Базовый дифференциальный оператор порядка i — это отображение, которое отображает любую дифференцируемую функцию в ее i -ю производную или, в случае нескольких переменных, в одну из ее частных производных порядка i . Обычно его обозначают в случае одномерных функций и в случае функций n переменных. Основные дифференциальные операторы включают производную порядка 0, которая является тождественным отображением.

Линейный дифференциальный оператор (сокращенно в этой статье как линейный оператор или просто оператор ) представляет собой линейную комбинацию основных дифференциальных операторов с дифференцируемыми функциями в качестве коэффициентов. Таким образом, в одномерном случае линейный оператор имеет вид [1] где a 0 ( x ), ..., a n ( x ) — дифференцируемые функции, а целое неотрицательное число n — это порядок оператора (если a n ( x ) не является нулевой функцией ).

Пусть L — линейный дифференциальный оператор. Применение L к функции f обычно обозначается Lf или Lf ( X ) , если необходимо указать переменную (это не следует путать с умножением). Линейный дифференциальный оператор является линейным оператором , поскольку он отображает суммы в суммы, а произведение на скаляр — в произведение на тот же скаляр.

Поскольку сумма двух линейных операторов является линейным оператором, а также произведением (слева) линейного оператора на дифференцируемую функцию, линейные дифференциальные операторы образуют векторное пространство над действительными или комплексными числами (в зависимости от характер рассматриваемых функций). Они также образуют свободный модуль над кольцом дифференцируемых функций.

Язык операторов позволяет компактно записать дифференцируемые уравнения: если является линейным дифференциальным оператором, то уравнение может быть переписан

У этого обозначения может быть несколько вариантов; в частности, переменная дифференцирования может появляться явно или нет в y и правой части уравнения, например Ly ( x ) = b ( x ) или Ly = b .

Ядром ядро линейного дифференциального оператора является его векторное ​​как линейное отображение, то есть пространство решений (однородного) дифференциального уравнения Ly = 0 .

В случае обыкновенного дифференциального оператора порядка n из теоремы существования Каратеодори следует, что при очень мягких условиях ядро ​​L является векторным пространством размерности n и что решения уравнения Ly ( x ) = b ( x ) имеют вид где c 1 , ..., c n — произвольные числа. Обычно условия теоремы Каратеодори выполняются на интервале I , если функции b , a 0 , ..., непрерывны an в I и существует положительное действительное число k такое, что | а п ( Икс ) | > k каждого x в I. для

Однородное уравнение с постоянными коэффициентами

[ редактировать ]

Однородное линейное дифференциальное уравнение имеет постоянные коэффициенты, если оно имеет вид где a 1 , ..., a n — числа (действительные или комплексные). Другими словами, он имеет постоянные коэффициенты, если он определяется линейным оператором с постоянными коэффициентами.

Изучение этих дифференциальных уравнений с постоянными коэффициентами восходит к Леонарду Эйлеру , который ввел показательную функцию e х , которое является единственным решением уравнения f ′ = f такого, что f (0) = 1 . Отсюда следует, что n- я производная e сх это с н и сх , что позволяет довольно легко решать однородные линейные дифференциальные уравнения.

Позволять быть однородным линейным дифференциальным уравнением с постоянными коэффициентами (то есть a 0 , ..., a n — действительные или комплексные числа).

Поиск решений этого уравнения, имеющих вид e αx эквивалентно поиску констант α таких, что Выделение e αx (который никогда не равен нулю), показывает, что α должно быть корнем характеристического многочлена дифференциального уравнения, которое является левой частью характеристического уравнения

Когда все эти корни различны , имеется n различных решений, которые не обязательно вещественны, даже если коэффициенты уравнения вещественны. Можно показать, что эти решения линейно независимы , рассматривая определитель Вандермонда значений этих решений при x = 0,..., n – 1 . Вместе они образуют базис векторного пространства решений дифференциального уравнения (т. е. ядро ​​дифференциального оператора).

Пример

имеет характеристическое уравнение Он имеет нули i , i и 1 (кратность 2). Таким образом, основой решения является Реальная основа решения, таким образом,

В случае, когда характеристический многочлен имеет только простые корни , предыдущее обеспечивает полную основу векторного пространства решений. В случае кратных корней для наличия базиса необходимы более линейно независимые решения. Они имеют форму где k — целое неотрицательное число, α — корень характеристического многочлена кратности m и k < m . Для доказательства того, что эти функции являются решениями, можно заметить, что если α является корнем характеристического многочлена кратности m , то характеристический многочлен можно факторизовать как P ( t )( t α ) м . Таким образом, применение дифференциального оператора уравнения эквивалентно применению первого m раз оператора , а затем оператор, у которого P является характеристическим полиномом. По теореме экспоненциального сдвига ,

и, таким образом, после 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 с постоянными коэффициентами можно записать где a 1 , ..., a n — действительные или комплексные числа, f — заданная функция от x , а y — неизвестная функция (для простоты « ( x ) » в дальнейшем будет опущено).

Существует несколько методов решения такого уравнения. Выбор лучшего метода зависит от природы функции f , которая делает уравнение неоднородным. Если f представляет собой линейную комбинацию экспоненциальной и синусоидальной функций, то формулу экспоненциального отклика можно использовать . Если, в более общем смысле, f представляет собой линейную комбинацию функций вида x н и топор , х н cos( ax ) и x н sin( ax ) , где n — неотрицательное целое число, а a — константа (которая не обязательно должна быть одинаковой в каждом члене), то метод неопределенных коэффициентов можно использовать . В еще более общем плане метод аннулятора применяется, когда f удовлетворяет однородному линейному дифференциальному уравнению, обычно голономной функции .

Самый общий метод — вариация констант , который представлен здесь.

Общее решение ассоциированного однородного уравнения является где ( y 1 , ..., y n ) — базис векторного пространства решений, а u 1 , ..., un произвольные константы. Метод вариации констант получил свое название от следующей идеи. Вместо того, чтобы рассматривать u 1 , ..., un y как константы, их можно рассматривать как неизвестные функции, которые необходимо определить, чтобы сделать решением неоднородного уравнения. Для этого добавляются ограничения которые подразумевают (по правилу произведения и индукции ) для i = 1, ..., n – 1 и

Заменяя в исходном уравнении 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 , его можно переписать и проинтегрировать: где k — произвольная константа интегрирования и является первообразной f . любой Таким образом, общее решение однородного уравнения имеет вид где с = е к — произвольная константа.

Для общего неоднородного уравнения полезно умножить обе части уравнения на обратную величину e Ф решения однородного уравнения. [2] Это дает Как правило произведения позволяет переписать уравнение как Таким образом, общее решение где c — константа интегрирования, а F — любая первообразная f (изменение первообразной приводит к изменению константы интегрирования).

Решение уравнения Соответствующее однородное уравнение дает то есть

Деление исходного уравнения на одно из этих решений дает То есть и Для начального состояния мы получаем частное решение

Система линейных дифференциальных уравнений

[ редактировать ]

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

Произвольное линейное обыкновенное дифференциальное уравнение и систему таких уравнений можно преобразовать в систему линейных дифференциальных уравнений первого порядка добавлением переменных для всех производных, кроме высшего порядка. То есть, если появляются в уравнении, их можно заменить новыми неизвестными функциями которые должны удовлетворять уравнениям и для я знак равно 1, ..., k – 1 .

Линейная система первого порядка, имеющая п неизвестных функций и п дифференциальных уравнений, обычно может быть решена относительно производных неизвестных функций. Если это не так, то это дифференциально-алгебраическая система , а это другая теория. Поэтому рассматриваемые здесь системы имеют вид где и — функции от x . В матричной записи эту систему можно записать (опуская " ( x ) ")

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

Позволять быть однородным уравнением, связанным с приведенным выше матричным уравнением.Его решения образуют векторное пространство размерности n и, следовательно, являются столбцами квадратной матрицы функций которого , определитель не является нулевой функцией. Если n = 1 , или A — матрица констант, или, в более общем смысле, если A коммутирует со своей первообразной , то можно U равным экспоненте B . выбрать Фактически в этих случаях В общем случае для однородного уравнения не существует решения в замкнутой форме, и приходится использовать либо численный метод , либо метод аппроксимации, такой как расширение Магнуса .

Зная матрицу U , общее решение неоднородного уравнения имеет вид где матрица-столбец – произвольная константа интегрирования .

Если начальные условия заданы как решение, удовлетворяющее этим начальным условиям, есть

Высший порядок с переменными коэффициентами

[ редактировать ]

Линейное обыкновенное уравнение первого порядка с переменными коэффициентами решается в квадратурах , т. е. выражается через интегралы . Это не относится к заказу как минимум два. Это основной результат теории Пикара-Вессио , которая была инициирована Эмилем Пикаром и Эрнестом Вессио и чьи недавние разработки называются дифференциальной теорией Галуа .

Невозможность решения в квадратурах можно сравнить с теоремой Абеля–Руффини , которая утверждает, что алгебраическое уравнение степени не ниже пятой, вообще говоря, не может быть решено в радикалах. Эта аналогия распространяется на методы доказательства и мотивирует название дифференциальной теории Галуа .

Как и в алгебраическом случае, теория позволяет решить, какие уравнения можно решить в квадратурах, и, если возможно, решить их. Однако для обеих теорий необходимые вычисления чрезвычайно сложны даже на самых мощных компьютерах.

Тем не менее, случай второго порядка с рациональными коэффициентами был полностью решен алгоритмом Ковачича .

Уравнение Коши – Эйлера

[ редактировать ]

Уравнения Коши – Эйлера являются примерами уравнений любого порядка с переменными коэффициентами, которые можно решить явно. Это уравнения вида где — постоянные коэффициенты.

Голономные функции

[ редактировать ]

, Голономная функция также называемая D-конечной функцией , — это функция, которая является решением однородного линейного дифференциального уравнения с полиномиальными коэффициентами.

Большинство функций, которые обычно рассматриваются в математике, являются голономными или частными голономными функциями. Фактически, голономные функции включают в себя многочлены , алгебраические функции , логарифмы , показательную функцию , синус , косинус , гиперболический синус , гиперболический косинус , обратные тригонометрические и обратные гиперболические функции , а также множество специальных функций, таких как функции Бесселя и гипергеометрические функции .

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

Полезность концепции голономных функций вытекает из следующей теоремы Цейльбергера. [3]

Голономная последовательность это последовательность чисел, которая может быть сгенерирована рекуррентным соотношением с полиномиальными коэффициентами. Коэффициенты ряда Тейлора в точке голономной функции образуют голономную последовательность. И наоборот, если последовательность коэффициентов степенного ряда голономна, то этот ряд определяет голономную функцию (даже если радиус сходимости равен нулю). Существуют эффективные алгоритмы для обоих преобразований, то есть для вычисления рекуррентного соотношения из дифференциального уравнения и наоборот . [3]

Отсюда следует, что если представить (в компьютере) голономные функции с помощью их определяющих дифференциальных уравнений и начальных условий, большинство вычислительных операций над этими функциями может выполняться автоматически, например, производная , неопределенный и определенный интеграл , быстрое вычисление рядов Тейлора (спасибо рекуррентного соотношения на его коэффициенты), вычисление с высокой точностью с сертифицированной границей ошибки аппроксимации, пределы , локализация особенностей , асимптотическое поведение на бесконечности и вблизи особенностей, доказательство тождеств и т. д. [4]

См. также

[ редактировать ]
  1. ^ Gershenfeld 1999, p.9
  2. ^ Мотивация: по аналогии с выполнением техники квадратов мы записываем уравнение как y ′ − fy = g и пытаемся изменить левую часть, чтобы она стала производной. В частности, мы ищем «интегрирующий коэффициент» h = h ( x ) такой, что умножение на него делает левую часть равной производной hy , а именно hy ′ − hfy = ( hy )′ . Это означает, что h ′ = − f , так что h = e −∫ f dx = и Ф , как в тексте.
  3. ^ Jump up to: а б с Зейлбергер, Дорон. Голономный системный подход к тождествам специальных функций . Журнал вычислительной и прикладной математики. 32.3 (1990): 321–368.
  4. ^ Бенуа А., Чизак Ф., Даррасс А., Герхольд С., Меззаробба М. и Салви Б. (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
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 25dc2cb2bc69d5d437c3756b3df151a6__1720701780
URL1:https://arc.ask3.ru/arc/aa/25/a6/25dc2cb2bc69d5d437c3756b3df151a6.html
Заголовок, (Title) документа по адресу, URL1:
Linear differential equation - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)