, а в частности, экспонента — единственное решение дифференциального уравнения с начальными данными . Кроме того, через экспоненту выражаются общие решения однородных дифференциальных уравнений.
Экспонента определена на всей вещественной оси. Она всюду возрастает и строго больше нуля.
Определенное таким образом выражение на вещественной оси будет совпадать с классической вещественной экспонентой. Для полной корректности построения необходимо доказать аналитичность функции , то есть показать, что разлагается в некоторый сходящийся к данной функции ряд. Покажем это:
Сходимость данного ряда легко доказывается:
.
Ряд всюду сходится абсолютно, то есть вообще всюду сходится, таким образом, сумма этого ряда в каждой конкретной точке будет определять значение аналитической функции . Согласно теореме единственности, полученное продолжение будет единственно, следовательно, на комплексной плоскости функция всюду определена и аналитична.
Аналогично экспонента определяется для элемента произвольной ассоциативной алгебры.
В конкретном случае требуется также доказательство того, что указанные пределы существуют.
Экспоненту от квадратной матрицы (или линейного оператора) можно формально определить, подставив матрицу в соответствующий ряд:
Определённый таким образом ряд сходится для любого оператора с ограниченной нормой, поскольку мажорируется рядом для экспоненты нормы Следовательно, экспонента от матрицы всегда определена и сама является матрицей.
Другой контент может иметь иную лицензию. Перед использованием материалов сайта WikiSort.ru внимательно изучите правила лицензирования конкретных элементов наполнения сайта.
2019-2024 WikiSort.ru - проект по пересортировке и дополнению контента Википедии