Обращение Лагранжа — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
м (rollbackEdits.php mass rollback)
 
Строка 1: Строка 1:
{| class="wikitable" align="center" style="color: red; background-color: black; font-size: 56px; width: 800px;"
 
|+
 
|-align="center"
 
|'''НЕТ ВОЙНЕ'''
 
|-style="font-size: 16px;"
 
|
 
24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян.
 
 
Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием.
 
 
Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей.
 
 
Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить.
 
 
''Антивоенный комитет России''
 
|-style="font-size: 16px;"
 
|Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению.
 
|-style="font-size: 16px;"
 
|[https://meduza.io/ meduza.io], [https://www.youtube.com/c/popularpolitics/videos Популярная политика], [https://novayagazeta.ru/ Новая газета], [https://zona.media/ zona.media], [https://www.youtube.com/c/MackNack/videos Майкл Наки].
 
|}
 
 
 
'''Обращение Лагранжа''' (англ. ''Lagrange Inversion'') позволяет получить формулу для коэффициентов функции <tex>f(x)</tex>, являющейся решением уравнения <tex>f(x) = xG(f(x))</tex>.
 
'''Обращение Лагранжа''' (англ. ''Lagrange Inversion'') позволяет получить формулу для коэффициентов функции <tex>f(x)</tex>, являющейся решением уравнения <tex>f(x) = xG(f(x))</tex>.
  

Текущая версия на 19:32, 4 сентября 2022

Обращение Лагранжа (англ. Lagrange Inversion) позволяет получить формулу для коэффициентов функции [math]f(x)[/math], являющейся решением уравнения [math]f(x) = xG(f(x))[/math].

Формула обращения Лагранжа

Теорема (об обращении Лагранжа):
Пусть [math]f(s) = \sum\limits_{n=1}^{\infty} {f_n s^n}[/math]. Тогда уравнение [math]T(z) = z f(T(z))[/math] имеет единственное решение [math]T(z) = \sum\limits_{n=1}^{\infty} {t_n z^n}[/math], где [math]t_n = \dfrac{1}{n} [s ^ {n - 1}] (f(s))^n[/math].
Доказательство:
[math]\triangleright[/math]

Во-первых, заметим, что [math]T(z)[/math] — аналитическая функция, а значит она является аналитической в точке [math]0[/math] и конформно отображает окрестность [math]0[/math] в другую окрестность [math]0[/math].

[math]T'(z) = \sum\limits_{n = 0}^{\infty}{ n t_n z ^ {n - 1} }[/math], отсюда следует, что [math]n t_n = [z ^ {n - 1} ]T'(z)[/math].

Воспользуемся интегральной формулой Коши [1]:

[math]n t_n = \dfrac{1}{2i\pi} \int\limits_{0+} {\dfrac{T'(z)}{z ^ n} dz} = \dfrac{1}{2i\pi} \int\limits_{0+} {\dfrac{ds}{(s / f(s))^n}}= [s^{n-1}](f(s))^n[/math]

Отсюда следует искомое: [math]t_n= \dfrac{1}{n}[s ^ {n - 1}] (f(s))^n[/math]
[math]\triangleleft[/math]

Примеры

Числа Каталана

[math]C(z) = z\dfrac{1}{1 - C(z)}[/math], соответствующая функция [math]f(s)[/math] равна [math]\dfrac{1}{1 - s}[/math].

По формуле обращения Лагранжа: [math]c_n = \dfrac{1}{n} [s ^ {n - 1} ] (\dfrac{1}{1 - s})^n = \dfrac {1}{n} [s^{n - 1}] (1 + \dfrac{-n}{1}(-s) + \dfrac{(-n)(-n-1)} {1 \cdot 2} (-s)^2 + \ldots + \dfrac{(-n)(-n-1)\ldots (-n - (n - 1))}{1 \cdot 2 \cdot \ldots \cdot (n - 1)} (-s)^{n - 1} + \ldots) =[/math]

[math]= \dfrac{1}{n} \cdot \dfrac{(2n - 2)(2n - 1) \ldots n}{1 \cdot 2 \cdot \ldots \cdot n} = \dfrac{\dbinom{2n - 2}{n - 1}}{n}[/math]

Формула Кэли

Вычислим число помеченных подвешенных деревьев без порядка на детях с помощью формулы обращения Лагранжа:

[math]T(z) = z \cdot Set(T) = z \cdot exp(T(z))[/math], [math]f(s) = e^s[/math].

Воспользуемся формулой обращения Лагранжа: [math]\dfrac{t_n}{n!} = \dfrac{1}{n} \cdot [s^{n - 1}] e^{ns} = \dfrac{1}{n} \cdot (1 + \dfrac{1}{1!}\cdot ns + \dfrac{1}{2!}\cdot (ns)^2 + \ldots + \dfrac{1}{(n - 1)!}\cdot (ns)^{n-1} + \ldots) = \dfrac{1}{n} \cdot \dfrac{1}{(n - 1)!} \cdot n^{n-1} = \dfrac {n ^ {n - 1}}{n!}[/math]

Из этого следует, что [math]t_n = n^{n- 1}[/math]

См. также

Примечания

Источники информации

  • Philippe Flajolet, Robert Sedgewick. «Analytic Combinatorics» — «Cambridge University Press», 2009 г. — 732-733 стр. — ISBN 978-0521898065