CC BY
10
ISSN 2686-9667. Вестник российских университетов. Математика
Том 24, № 127 2019
© Фомин В.И., 2019
DOI 10.20310/2686-9667-2019-24-127-324-332 УДК 517.937
Об основном свойстве комплексной операторной экспоненциальной функции комплексного операторного аргумента
Василий Ильич ФОМИН
ФГБОУ ВО «Тамбовский государственный технический университет»
392000, Российская Федерация, г. Тамбов, ул. Советская, 106 ORCID: https://orcid.org/0000-0003-3846-4882, e-mail: vasiliyfomin@bk.ru
About a complex operator exponential function of a complex operator argument main property
Vasiliy I. FOMIN
Tambov State Technical University 106 Sovetskaya St., Tambov 392000, Russian Federation ORCID: https://orcid.org/0000-0003-3846-4882, e-mail: vasiliyfomin@bk.ru
Аннотация. В банаховом пространстве E рассматриваются операторные функции eA , sin B , cos B операторного аргумента из банаховой алгебры ограниченных линейных операторов, действующих из E в E . Для тригонометрических операторных функций sin B , cos B выводятся формулы для синуса и косинуса суммы аргументов, аналогичные скалярному случаю. При доказательстве этих формул используется произведение рядов с операторными членами в форме Коши. Приводится основное операторное тригонометрическое тождество. Для комплексной операторной экспоненциальной функции eZ операторного аргумента Z из банаховой алгебры комплексных операторов доказывается с помощью формул для косинуса и синуса суммы основное свойство показательной функции. Рассматриваются операторные функции eAt, sin Bt, cos Bt, eZt действительного аргумента t G (—го, то) . На эти функции переносятся факты, изложенные для операторных функций операторного аргумента. В частности, приводится групповое свойство операторной экспоненты eZt . Указывается правило дифференцирования функции eZt . Отмечается, что перечисленные выше операторные функции действительного аргумента t используются при построении общего решения линейного дифференциального уравнения n -го порядка с постоянными ограниченными операторными коэффициентами в банаховом пространстве
Ключевые слова: банахово пространство; банахова алгебра; операторная экспоненциальная функция; операторные тригонометрические функции; основное свойство операторной экспоненциальной функции; произведение операторных рядов в форме Коши; основное операторное тригонометрическое тождество
Для цитирования: Фомин В.И. Об основном свойстве комплексной операторной экспоненциальной функции комплексного операторного аргумента // Вестник российских университетов. Математика. 2019. Т. 24. № 127. С. 324-332. DOI 10.20310/2686-96672019-24-127-324-332.
Abstract. Operator functions eA , sin B , cos B of the operator argument from the Banach algebra of bounded linear operators acting from E to E are considered in the Banach space E. For trigonometric operator functions sin B , cos B , formulas for the sine and cosine of the sum of the arguments are derived that are similar to the scalar case. In the proof of these formulas, the composition of ranges with operator terms in the form of Cauchy is used. The basic operator trigonometric identity is given. For a complex operator exponential function eZ of an operator argument Z from the Banach algebra of complex operators, using the formulas for the cosine and sine of the sum, the main property of the exponential function is proved. Operator functions eAt, sin Bt, cos Bt, eZt of a real argument t G (—to, to) are considered. The facts stated for the operator functions of the operator argument are transferred to these functions. In particular, the group property of the operator exponent eZt is given. The rule of differentiation of the function eZt is indicated. It is noted that the operator functions of the real argument t listed above are used in constructing a general solution of a linear n th order differential equation with constant bounded operator coefficients in a Banach space
Keywords: Banach space; Banach algebra; exponential operator function; trigonometric operator functions; exponential operator function main property; the composition of operator ranges in the form of Cauchy; basic operator trigonometric identity
For citation: Fomin V.I. Ob osnovnom svoystve kompleksnoy operatornoy eksponencial'noy funkcii kompleksnogo operatornogo argumenta [About a complex operator exponential function of a complex operator argument main property]. Vestnik rossiyskikh universitetov. Matematika - Russian Universities Reports. Mathematics, 2019, vol. 24, no. 127, pp. 324332. DOI 10.20310/2686-9667-2019-24-127-324-332. (In Russian, Abstr. in Engl.)
Введение
Известно [1-4], что при построении общего решения линейного дифференциального уравнения п -го порядка с постоянными ограниченными операторными коэффициентами в банаховом пространстве используются экспоненциальная и тригонометрические операторные функции действительного аргумента, свойства которых следуют из соответствующих свойств комплексной операторной экспоненциальной функции в2 комплексного операторного аргумента X. В связи с этим актуальна задача детального изучения свойств функции в2 . В данной работе предлагается доказательство основного свойства экспоненциальной функции: в21+22 = в21 в22 , использующее тот факт, что сумма ряда, являющегося произведением двух абсолютно сходящихся рядов с операторными членами, равна произведению сумм перемножаемых рядов.
1. Основные понятия
Пусть Е — банахово пространство; Ь(Е) — банахова алгебра ограниченных линейных операторов, действующих из Е в Е. В целях ясности дальнейшего изложения мате
териала будем обозначать сумму сходящегося ряда ^ Еп, где Еп € Ь(Е), п € Nи{0}.
п=0
те
выражением (в) ^ Еп. Рассмотрим функции д, к : Ь(Е) ^ Ь(Е), определяемые
п=0
суммами абсолютно сходящихся рядов [5, с. 127, с. 132]:
An
f (А) = eA = (s)£ -, (1.1)
n=0 ' (_1)nD 2n+1
g(B) = sinВ = {s)^( ' , (1.2)
n=0
^ (_1)n D 2n
h(B ) = cos В = 2-T • (1.3)
n=0 ( )!
Заметим, что eO = I, sin О = О, cos O = I, кроме того,
sin(—В) = —sin В, cos(—В) = cos В, VB G L(E). (1.4)
Известно [6, с. 41], что при любых А1,А2 G L(E), удовлетворяющих условию А1А2 = А2А1, для операторной экспоненциальной функции (1.1) справедливо равенство
eAl+A2 = eAl • eA2. (1.5)
В дальнейшем нам потребуются два соотношения для операторных тригонометрических функций (1.2), (1.3).
Лемма 1.1. Для любых В1,В2 G L(E), удовлетворяющих условию
В1В2 = В2В1, (1.6)
справедливы формулы
sin(B1 + В2) = sin В1 cos В2 + cos В1 sin В2, (1.7)
cos(B1 + В2) = cos B1 cos В2 — sin В1 sin В2. (1.8)
Доказательство. Покажем справедливость равенства (1.7) (формула (1.8) доказывается аналогично). Рассмотрим ряд, сумма которого определяет левую часть формулы (1.7):
^ (—1)n(Bi + B2)2n+1
^ (2- + 1)' • ( )
n=0
В силу условия (1.6) можно применить бином Ньютона:
2n+1
(В1 + B2)2n+1 = Е ^ln+iB12n+1"sB| =
n s=0 n (1.10)
_ V^ n2k r>2n-2k+1 r>2k , ^ r<2k+1 í?2n-2k R2k+1 = 2^ C2n+1B1 B2 + C2n+1 B1 B2 •
k=0 k=0
Заметим, что
1
-Г
, г<
2к
1
(2п + 1)!2п+1
1 Г 2к+1 (2п +1)!Г2п+1
В силу соотношений (1.9)-(1.12)
(2п - 2к + 1)!(2к)! 1
(2п - 2к)!(2к + 1)!
1.11) 1.12)
^ (-1)п(В1 +Б2)2п+1 ^
п=0
(2п+1)!
п=0
(-1)п
п в2п-2к+1в|к
п в 2п-2к в 2к+1 + ^ ^
к=0 (2п-2к +1)!(2к)! ' (2п-2к)!(2к+1)!
П.13)
Рассмотрим ряды, порождающие правую часть равенства (1.7)
Р ^(-1)пв2п+1, Р = ^
(-1)п в22п
(2п +1)!
п=0
^ (2п)!
п=0
^ (-1)пв22п+
3 = ^ (2п)! . 4 = ^ (2п +1)!
п=0 п=0
Используя произведение рядов в форме Коши, получаем:
РрР2 = (-1)гв2+ (-1)к в2к
п=0 У+к=га
(21 + 1)! (2к)!
или
РР = V , V (-1)1 в* (-1)к в2к+1 34 ^ (2/)! (2к + 1)!
п=0 у+к=га
Р1Р2 = Е(-1)п Е
п=0
к=0
в2п-2к+1в|к
(2п - 2к + 1)!(2к)!
Тогда
Р3Р4 ^(-1)п Е
п=0
к=0
в2п-2кв2к+1
(2п - 2к)!(2к + 1)!
Р1Р2 + Р3Р4 =
те
Е
п=0
(-1)п
те
в12п-2кв22к+1
в2п-2к+1в2к п
(2п - 2к + 1)!(2к)! + Е (2п - 2к)!(2к + 1)!
1.14)
Из соотношений (1.13), (1.14) следует равенство
^ ыт + в > "+1 = Р1Р2 + Р3Р4.
п=0
(2п + 1)!
Тогда в силу того, что сумма ряда, являющегося произведением двух абсолютно сходящихся рядов, равна произведению сумм перемножаемых рядов, получаем:
~ ( - 1)п(Б1 + В2)2п+1 ( ~ ( - 1)"В12га+1 \ Л ^ ( - 1)п В2п\ (5) 2 (Б +1)! = И£ ( «£ ^ +
+ í —1)n В2Л I (s)v (—1)n B2n+1 + l(s)^ (2„)Ml(S)n=0 (2- +1)'
n=0 n=0
т. е. в силу равенств (1.2), (1.3) sin(B1 + В2) = sinB1 cosB2 + cosB1 sinB2. □
В силу равенств (1.7), (1.8)
sin 2B = 2 sin В cos В; cos 2В = cos2 В — sin2 В.
Из соотношений (1.4), (1.7), (1.8) получаем формулы
sin(B1 — В2) = sin B1 cos В2 — cos В1 sin В2;
cos(B1 — В2) = cos B1 cos В2 + sin В1 sin В2.
Тем же способом, каким установлены соотношения (1.7), (1.8), доказываются другие формулы операторной тригонометрии, например, основное операторное тригонометрическое тождество
sin2 В + cos2 В = I, VB G L(E). (1.15)
Можно ввести понятия тангенса и котангенса операторного аргумента. Пусть
Di = {В G L(E)|3 cos-1 В G L(E)},
D2 = {В G L(E)|3 sin-1 В G L(E)},
где cos-1 В = (cos В)-1 и sin-1 В = (sinВ)-1 — обратные операторы соответственно для операторов cos В и sin В. Тогда можно рассмотреть функции ф : D1 ^ L(E), ф : D2 ^ L(E), определяемые формулами
ф(В) = tgB = sin В cos-1 В,
ф(В) = ctgB = cos В sin-1 В.
2. Основные результаты
Рассмотрим банахову алгебру комплексных операторов [7]
CL{E) = [L(E)]2 = L(E) х L(E) = {Z = (A,B)\A,B e L(E)},
которую удобно представить в виде
Cl(e) = {Z = A + JB\A, B e L(E)},
где J = (O, I) — мнимая операторная единица. Напомним, что операция умножения в CL(E) задаётся формулой
(Ai + JBI)(A2 + JB2) = A1A2 - B1B2 + J(AiB2 + B1A2).
Комплексная операторная экспоненциальная функция w : Cl(e) ^ Cl(e) определяется равенством
w(Z) = eZ = eA+JB = eA (cos B + J sin B), (2.1)
в частности, при A = O, получаем операторную формулу Эйлера
eJB = cos B + J sin B. (2.2)
Докажем основное свойство экспоненциальной функции (2.1).
Теорема 2.1. Для любых Z1 = A1 + JB1, Z2 = A2 + JB2 e CL(E), удовлетворяющих условиям
A1A2 = A2 A1, B1B2 = B2B1, A2B1 = B1A2 справедливо равенство
eZl+Z2 = eZl eZ2. (2.3)
Доказательство. В силу условия A1A2 = A2A1 справедливо равенство (1.5). Из условия B1B2 = B2B1 следуют формулы (1.7), (1.8). Тогда, используя условие A2B1 = B1A2, получаем:
eZleZ2 = eAl (cos B1 + J sin B1)eA2 (cos B2 + J sin B2) =
= eAl+A2 [cos B1 cos B2 — sin B1 sin B2 + J (sin B1 cos B2 + cos B1 sin B2)] = = eAl+A2 [cos(B1 + B2) + J sin(B1 + B2)] = eAl+A2+I(Bl+B2) = eZl+Z2.
□
В силу равенств (1.4), (2.2)
e-JB = cos B — J sin B. (2.4)
Заметим, что J 1 = — J. Тогда из соотношений (2.2), (2.4) следуют формулы
sin В = —J (eJB — e-JB) ; (2.5)
cos В = 1 (eJB + e-JB) . (2.6)
Основное операторное тригонометрическое тождество (1.15) можно доказать, используя равенства (2.3), (2.5), (2.6).
Пусть А, В G L(E); А, В фиксированы. Рассмотрим функции ц, v, к: R — L(E), определяемые равенствами
^ -n An
М-) = eAt = (s)£ --Г, (2.7)
n=0 '
(_ 1)n-2n+1 В2n+1
V(-) = sinB- = (s)^( )2- +1)' , (2.8)
n=0
^ ( i \nj-2n td2n
n ^V- (—1)nt2nB к(-) = cosBt = (s)£ ( ))2-)'
(2.9)
n=0
В силу равенства (1.5) для операторной экспоненты (2.7) выполняется известное групповое свойство [6, с. 41]
eA(t+r) = eAteAT, V-,T G R.
В силу тождества (1.15) получаем известное соотношение [8]
sin2 В- + cos2 В- = I, V- G R.
Для операторов В1,В2 G L(E), удовлетворяющих условию (1.6) получаем, в силу равенств (1.7), (1.8), соотношения
sin [(В1 + B2)t] = sin B1t cos B2t + cos B1t sin B2t,
cos [(B1 + B2)t] = cos B1t cos B2t — sin B1t sin B2t.
Пусть Z = А + JB G Cl(e) ; Z фиксирован. Рассмотрим функцию x(-): R — CL(E), определяемую равенством
x(-) = ezt = e(A+JB)t = eAt(cos Bt + J sin Bt). (2.10)
Если действительная и мнимая части оператора Z коммутируют:
АВ = ВА,
(2.11)
то в силу доказанной выше теоремы
eZ(t+r) = , yt,T е r
Напомним [6, с. 41], что производная операторной экспоненты (2.7) выражается фор-
Известно [7], что при выполнении условия (2.11) для производной комплексной операторной экспоненты (2.10) справедливо равенство
[1] В. И. Фомин, "Об общем решении линейного дифференциального уравнения п-го порядка с постоянными ограниченными операторными коэффициентами в банаховом пространстве", Дифференциальные уравнения, 41:5 (2005), 656-660.
[2] В. И. Фомин, "О случае кратных корней характеристического операторного многочлена линейного однородного дифференциального уравнения п -го порядка в банаховом пространстве", Дифференциальные уравнения, 43:5 (2007), 710-713.
[3] В. И. Фомин, "Об одном семействе решений линейного однородного дифференциального уравнения п -го порядка в банаховом пространстве", Актуальные направления научных исследований XXI века: теория и практика, 6:42 (2018), 382-384.
[4] В. И. Фомин, "Об общем решении линейного однородного дифференциального уравнения в банаховом пространстве в случае комплексных характеристических операторов", Вестник Тамбовского университета. Серия Естественные и технические науки, 24:126 (2019), 237-243.
[5] В. А. Треногин, Функциональный анализ, Наука, М., 1980.
[6] Ю.Л. Далецкий , М.Г. Крейн, Устойчивость решений дифференциальных уравнений в банаховом пространстве, Наука, М., 1970.
[7] В. И. Фомин, "О банаховой алгебре комплексных операторов", Вестник Тамбовского университета. Серия: естественные и технические науки, 23:124 (2018), 813-823, б01: 10.20310/1810-0198-2018-23-124-813-823.
[8] В. И. Фомин, "Об основном операторном тригонометрическом тождестве", Современные методы теории краевых задач, Воронежская весенняя математическая школа «Понтря-гинские чтения - ХХХ» (Воронеж, 3-9 мая, 2019), Материалы международной конференции, Издательский дом ВгУ, Воронеж, 2019, 284-285.
[1] V. I. Fomin, "On the general solution of a linear n th-order differential equation with constant bounded operator coefficients in a Banach space", Differential Equations, 41:5 (2005), 687-692.
[2] V.I. Fomin, "On the case of multiple roots of the characteristic operator polynomial of an n th-order linear homogeneous differential equation in a Banach space", Differential Equations, 43:5 (2007), 732-735.
[3] V. I. Fomin, "About a solutions family of a linear homogeneous differential equation of the n th-order in a Banach space", Actual Areas of Research of the 21th Century: Theory and Practice, 6:42 (2018), 382-384 (In Russian).
мулой
Список литературы
References
[4] V. I. Fomin, "About the general solution of a linear homogeneous differential equation in a Banach space in the case of complex characteristic operators", Tambov University Reports. Series: Natural and Technical Sciences, 24:126 (2019), 237-243 (In Russian).
[5] V. A. Trenogin, Functional Analysis, Nauka, Moscow, 1980 (In Russian).
[6] Y. L. Daleckiy , M. G. Kreyn, Stability of Solutions of Differential Equations in a Banach Space, Nauka, Moscow, 1970 (In Russian).
[7] V. I. Fomin, "About a complex operator Banach algebra", Tambov University Reports. Series: Natural and Technical Sciences, 23:124 (2018), 813-823, doi: 10.20310/1810-0198-2018-23-124-813-823 (In Russian).
[8] V. I. Fomin, "About the main operator trigonometric identity", Modern Methods of the Theory of Boundary Value Problems, Voronezh Spring Mathematical School «Pontryagin Readings -XXX» (Voronezh, May 3-9, 2019), Materials of the International Conference, VSU Publishing House, Voronezh, 2019, 284-285 (In Russian).
Информация об авторе
Фомин Василий Ильич, кандидат физико-математических наук, доцент кафедры технической механики и деталей машин. Тамбовский государственный технический университет, г. Тамбов, Российская Федерация. E-mail: vasiliyfomin@bk.ru
ORCID: https://orcid.org/0000-0003-3846-4882
Information about the author
Vasiliy I. Fomin, Candidate of Physics and Mathematics, Associate Professor of Technical Mechanic and Machine Part Department. Tambov State Technical University, Tambov, Russian Federation. E-mail: vasiliyfomin@bk.ru ORCID: https://orcid.org/0000-0003-3846-4882
Поступила в редакцию 15 мая 2019 г. Поступила после рецензирования 26 июня 2019 г. Принята к публикации 23 августа 2019 г.
Received 15 May 2019 Reviewed 26 June 2019 Accepted for press 23 August 2019
