Jump to content

Формула Лиувилля

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

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

Формулировка формулы Лиувилля

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

Рассмотрим n -мерное линейное дифференциальное уравнение первого порядка

на интервале I вещественной прямой , где A ( t ) для t I обозначает квадратную матрицу размерности n с вещественными или комплексными элементами. Пусть Φ обозначает матричное решение на I , что означает, что Φ( t ) является так называемой фундаментальной матрицей , квадратной матрицей размерности n с действительными или комплексными элементами, а производная удовлетворяет условию

Позволять

обозначим след a A ( s ) = ( i , j ( s ) ) i , j ∈ {1,..., n } , суммы его диагональных элементов. Если след A является непрерывной функцией , то определитель Φ удовлетворяет условию

для всех t и t 0 в I .

Пример приложения

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

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

на открытом интервале I = (0, ∞) . Предположим, что простое решение

уже найден. Позволять

обозначим другое решение, тогда

является решением приведенного выше дифференциального уравнения с квадратной матрицей. Поскольку след A ( x ) равен нулю для всех x I , из формулы Лиувилля следует, что определитель

( 1 )

на самом деле является константой, не зависящей от x . Записав первую компоненту дифференциального уравнения для y , получим с помощью ( 1 ) что

Следовательно, интегрируя, мы видим, что

включая натуральный логарифм и константу интегрирования c 2 . Решение уравнения ( 1 ) для y 2 ( x ) и замена y 1 ( x ) дает

что является общим решением для y . Специальным выбором c 1 = 0 и c 2 = 1 мы восстанавливаем простое решение, с которого начали, выбор c 1 = 1 и c 2 = 0 дает линейно независимое решение. Поэтому,

является так называемым фундаментальным решением системы.

Доказательство формулы Лиувилля.

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

Мы опускаем аргумент x для краткости. По формуле Лейбница для определителей производная определителя Φ = (Φ i , j ) i , j ∈ {0,..., n } может быть вычислена путем дифференцирования одной строки за раз и взятия суммы, т.е.

( 2 )

Поскольку матричное решение Φ удовлетворяет уравнению Φ' = A Φ , мы имеем для каждого элемента матрицы Φ'

или для всей строки

Когда мы вычитаем из i -й строки линейную комбинацию

всех остальных строк, то значение определителя остается неизменным, следовательно,

для каждого i ∈ {1, . . . , n } линейностью определителя по каждой строке. Следовательно

( 3 )

по ( 2 ) и определению следа. Осталось показать, что из этого представления производной следует формула Лиувилля.

Исправить Икс 0 Я . Поскольку предполагается, что след A является непрерывной функцией на I , он ограничен на каждом замкнутом и ограниченном подинтервале I и, следовательно, интегрируем, следовательно,

является четко определенной функцией. Дифференцируя обе части, используя правило произведения, правило цепочки , производную показательной функции и основную теорему исчисления , получаем

из-за производной в ( 3 ). Следовательно, g должна быть постоянной на I , потому что в противном случае мы получили бы противоречие с теоремой о среднем значении (примененной отдельно к действительной и мнимой части в комплексном случае). Поскольку g ( x 0 ) = det Φ( x 0 ) , формула Лиувилля следует из решения определения g для det Φ( x ) .

  • Чиконе, Кармен (2006), Обыкновенные дифференциальные уравнения с приложениями (2-е изд.), Нью-Йорк: Springer-Verlag, стр. 152–153, ISBN  978-0-387-30769-5 , МР   2224508 , Збл   1120.34001
  • Тешл, Джеральд (2012), Обыкновенные дифференциальные уравнения и динамические системы , Провиденс : Американское математическое общество , MR   2961944 , Zbl   1263.34002
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 980501d208b2cab9748aba3a980bae65__1717551060
URL1:https://arc.ask3.ru/arc/aa/98/65/980501d208b2cab9748aba3a980bae65.html
Заголовок, (Title) документа по адресу, URL1:
Liouville's formula - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)