УДК 517.968.23
DOI: 10.14529/mmph180306
о неустойчивости решении однородной краевой
задачи римана для квазигармонических функций в круговых областях
К.М. Расулов, Ш.С. Ханкишиева
Смоленский государственный университет, г. Смоленск, Российская Федерация E-mail: [email protected]
Рассматривается краевая задача типа задачи Римана (задача сопряжения) в классах кусочно квазигармонических функций. Подробно исследуется однородная задача типа задачи Римана в классах кусочно квазигармонических функций второго рода в круговых областях. В частности, в указанном случае для однородной задачи типа задачи Римана разработан явный метод решения, логическая суть которого состоит в сведении решения рассматриваемой однородной задачи к последовательному решению обычной однородной задачи Римана для аналитических функций и двух линейных дифференциальных уравнений Эйлера второго порядка. Кроме того, установлена неустойчивость решений искомой однородной задачи по отношению к изменению величины радиуса рассматриваемой круговой области, а также построена полная картина её разрешимости при различных значениях индекса задачи и величины радиуса круговой области. Доказано, что основной причиной неустойчивости решений однородной задачи типа Римана в классах кусочно квазигармонических функций второго рода в круговых областях по отношению к изменению величины радиуса рассматриваемой круговой области является тот факт, что число линейно независимых аналитических решений однородных дифференциальных уравнений Эйлера, к которым редуцируется исследуемая задача типа Римана, существенным образом зависит от величины радиуса рассматриваемой круговой области.
Ключевые слова: краевая задача типа Римана; кусочно квазигармоническая функция; дифференциальное уравнение Эйлера; круговые области; радиус круговой области.
1. Постановка задачи. Рассмотрим на плоскости комплексного переменного z = x + iy область T +, ограниченную замкнутым гладким контуром L, причем для определенности будем считать, что точка z = 0 принадлежит T + . Пусть T- = C \ (T + u L).
В дальнейшем в основном будем пользоваться определениями и обозначениями, принятыми в работе [1].
В работе [1] была сформулирована краевая задача типа задачи Римана (короче, задача pn) в классе кусочно квазигармонических функций произвольного рода n.
Из результатов [1; 2] следует, что если носителем краевых условий является окружность Lr = {t: = r}, r > 0, то задача pn допускает решение в явном виде. Основной целью настоящей
заметки является установление неустойчивости решения однородной задачи р° в круге
T+ = {z : |z| < r} по отношению к изменению величины радиуса r , причем ради краткости далее
т о
ограничиваемся рассмотрением случая n = 2 , т. е. исследованием задачи р2 .
2. О явном решении задачи р° в круговых областях. Пусть T= {z : |z| < r}, Lr = {t: |t| = r},
T- = C \ (Tr+ u Lr). Далее рассматривается следующая задача р° : требуется найти все ограниченные на бесконечности кусочно квазигармонические функции W(z) = {W+(z), W- (z)} второго рода с линией скачков Lr, принадлежащие классу Q2 (T±) n H(2) (Lr) и удовлетворяющие на Lr условию
_W + (t) = G(t)W- (t),_(1)
W + (z) = ~ +p+(z), (2)
Расулов К.М., О неустойчивости решений однородной краевой задачи Римана
Ханкишиева Ш.С. для квазигармонических функций в круговых областях
где G(t) - заданная на Lr функция, G(t) е H(Lr) и G(t) Ф 0 на Lr.
Поскольку (см. [1; 2]) при n = 2 квазигармонические функции W + (z) и W (z) можно представить соответственно в виде
d 2j+ (z) 6 z dj+ (z) + f _z Л 2 1 + zz dz ^ 1 + zz
W (z) = j - -«L + 12f-U j (z), (3)
dz 1 + zz dz ^ 1 + zz )
где j± (z) е A(T±) n H2(Lr), то решения W(z) = {W + (z), W- (z)} краевой задачи p° будем искать в виде (2) и (3).
В силу того, что на Lr = {t: |t| = r} имеет место соотношение t = r2/1, то с учетом (2) и (3)
краевое условие (1) можно переписать так:
2 d2j+ (t) 6r2 dj+ (t) 12r4 +/4 t2 V 7 -1-+-TV j (t) =
dt2 1 + r2 dt (1 + r2)2
f 2 dV(t) 6r2 dj~(t) 12r4 ^
t —^^ -1-- +-— j (t)
dt2 1 + r2 dt (1 + r 2)2^W
(4)
= G(t)
t e Lr.
Y±(z) = z —--z_ ,-+ --p±(z), ze T- , (5)
Далее введем в рассмотрение следующие функции:
2 d2p- (z) 6r2 dp±(z) 12r4 • ----|--
1 + r 2 dz (1 + r 2 ) 2
а p± (z) - аналитические компоненты искомой кусочно квазигармонической функции W(z) . Ясно, что функция Y(z) = {Y+ (z), Y-(z)} является кусочно аналитической функцией с линией скачков Lr = {t: |t| = r}. С помощью функций (5) краевое условие (4) можно записать в виде
Y+(t) = G(t)Y-(t), t e Lr, (6)
где Y± (t) = lim Y± (z).
z®teLr
Таким образом, получили однородную краевую задачу Римана (6) относительно ограниченной на бесконечности кусочно аналитической функции Y(z) = {Y+(z), Y-(z)} (см., например, [3, с. 106]).
В случае c = IndG(t) < 0 (см., например, [3, с. 110]) краевая задача (6) неразрешима (т. е.
имеет лишь тривиальное решение Y± (z) ° 0). Если же С — 0, то задача (6) безусловно разрешима и её общее решение можно задавать формулой:
Y±(z) = X±(z)Px(z), ze T±, (7)
где X(z) = {X+(z),X-(z)} - каноническая функция задачи, а Pc(z) = m0 + mz + ... + ßxzc - произвольный многочлен степени не выше С.
Предположим, что С = IndG(t) < 0 . Тогда Y± (z) ° 0 и, следовательно, в силу (5) аналитические функции p+ (z) и p~ (z) должны удовлетворять соответственно линейным однородным дифференциальным уравнениям Эйлера 2 -го порядка следующего вида:
j2,„+/_\ ¿-2 т ,Л+/_\ п„4
-^ . 2 V +~-^Р+ (z) = 0, ze T+, (8)
d2p+ (z) _ 6r2 dp (z) 12r 1 + r2 dz (1 + r2)
:2 (<£> - z.irjzl+.J^ p- (Z) = 0, z e T;. (9)
dz2 1 + r2 dz (1 + r2)2 r
Допустим, что однородные дифференциальные уравнения Эйлера (8) и (9) разрешимы в классах А(Т+) п Н(2)(Х) и А(Т-) п Н(2)(Х) соответственно. Тогда общее решение искомой за-
дачи р\ можно найти по формуле
W (z) =
d( +2(г) +12^—^— 12р + (г), ге Т+,
dz 1 + zz dz ^ 1 + zz) (10)
+12^—^— 12 ф ~ z е Т;, dz 1 + zz dz ^ 1 + zz )
где (р + (z) и ф: (z) - общие решения дифференциальных уравнений (8) и (9) соответственно.
Если же % = ) > 0, то в силу (5) и (7) аналитические компоненты р+ (z) и <р~ (z) иско-
мой кусочно квазигармонической функции Ж(z) = [Ж + (z), Ж- (z)} должны удовлетворять соответственно линейным неоднородным дифференциальным уравнениям Эйлера 2 -го порядка:
22 ( : ^(М +-+Т-р+ « = «р^), Xе т;, (1,)
dz2 1 + г2 dz (1 + г2)2 ^
г2 (М - ^(А + (г) = X' (Щ,). 'е Тг". (12)
dz2 1 + г2 dz (1 + г2)2 ^
В случае разрешимости неоднородных дифференциальных уравнений (11) и (12) в классах А(Т+) п Н (2)(Х) и А(Т-) п Н (2)(Х) соответственно, общее решение исходной задачи р° также можно найти по формуле (10), где ф + (z) и ф: (z) - общие решения неоднородных дифференциальных уравнений (11) и (12) соответственно.
Из приведенных выше рассуждений вытекает справедливость следующей теоремы.
Теорема 1. Если % = МС(^) < 0 и Тг+ = {г : ^ < г}, то решение задачи р\ в классе
Q2 (Тг±) п Н(2) (Ьг) квазигармонических функций второго рода сводится к решению двух однородных уравнений Эйлера 2-го порядка вида (8) и (9) в классах аналитических функций А(Т+) п Н(2)(Ь) и А(Т-) п Н(2)(Ь) соответственно. Если же % = МС^) > 0 и Т* = {р : ^ < г}, то решение задачи р\ в классе Q2(T±) п Н (2)(Хг) квазигармонических функций
второго рода сводится к последовательному решению однородной задачи Римана (6) для аналитических функций и двух неоднородных уравнений Эйлера 2-го порядка вида (11) и (12) в классах аналитических функций А(Т+) п Н('Т)(Ь) и А(Т~) п Н('Т)(Ь) соответственно.
3. О неустойчивости решений задачи р° в круговых областях по отношению к изменению величины радиуса рассматриваемой области. Как видно из формулы (10), при фиксированном значении % = ) число линейно независимых (над полем С) решений однородной
краевой задачи р2 определяется числом линейно независимых решений однородных дифференциальных уравнений Эйлера (8) и (9).
Далее покажем, что при различных значениях величины радиуса г рассматриваемого круга Т* = { : < г}, дифференциальные уравнения (8) и (9) будут иметь различное число линейно
независимых (над полем С) решений, принадлежащих классу ^(Тг+) п Н(2) (Ьг). Для этого, во-первых, покажем, что однородное дифференциальное уравнение (8) будет иметь ненулевые решения, принадлежащие классу А(Тг+) п Н('Т)(ЬГ), лишь при следующих трех значениях радиуса
г: г = 1, г = 72-л/3 и г = V2 + л/3 . В самом деле, нетрудно проверить (см. также [4, с. 136]), что общее решение дифференциального уравнения Эйлера (8) задается в виде
„2.
1+7r2-41+14r 2 +r4 1+7r2+-/1+14r2 +r4
j+ (z) = C1z 2(1+r2) + C2 z 2(1+r2) , (13)
Расулов К.М., О неустойчивости решений однородной краевой задачи Римана
Ханкишиева Ш.С. для квазигармонических функций в круговых областях
где С1, С2 - произвольные комплексные постоянные. ^ , .. 1 + 7 г2— V 1 + 14г2 + г4
Так как функция щ(г) =-—-—- принимает целые неотрицательные значения
лишь при г = л/2 + 43 и г = 1 (юДл/2 + л/3) = 2 и ю1(1) = 1), то при С1 Ф 0 (С2 = 0) функция вида (13) может принадлежать классу А(Тг+) п Н(2)(Ьг) только при г = 1 или г = д/2 + л/3 . . , /ч 1 + 7г2 + V1 + 14г2 + г4
Аналогично, функция ю2 (г) =---—- принимает целые неотрицательные
значения лишь при г = т]2 — л/3 и г = 1 (причем ю2 (д/2 —У3) = 2 ; ю2(1) = 3), а значит при С2 Ф 0 (С1 = 0) функция вида (13) может принадлежать классу А(Тг+) п Н(2)(Ьг) лишь при г = 1 или
г = 7 2 — л/3 .
Таким образом, если г = 1, то общее решение однородного дифференциального уравнения (8), принадлежащее классу А(Тг+) п Н (~Т)(ЬГ), задается в виде
ф+ (z) = С1 г + С2 г3, (14)
где С1 , С2 - произвольные комплексные постоянные.
Если же г = V2 — л/3 или г = д/2+ л/3 , то общее решение дифференциального уравнения (8), принадлежащее классу А(Тг+) п Н (2)(Ьг), можно задавать в виде
ф+(г) = Сг2, (15)
где С - произвольная комплексная постоянная.
Далее методом степенных рядов нетрудно убедиться, что однородное дифференциальное уравнение (9) ни при каком значении параметра г е (0, + ¥ не имеет нетривиальных решений,
принадлежащих классу А(Т") п Н(2) (Ьг).
Таким образом, при г Ф 1 и г Фу] 2 ±л/3 и с < 0 однородные дифференциальные уравнения (8) и (9) не имеют ненулевых решений. Значит, в этом случае однородная задача р2 неразрешима (т. е. она не имеет ненулевых решений).
Если г = 1 и с < 0, то искомая однородная задача р° разрешима и ее общее решение зависит
от двух произвольных комплексных постоянных. Если же г =л]2 + л/3 или г = V2 — л/3 и с< 0 ,
то однородная задача р° также разрешима, но ее общее решение зависит в данном случае лишь от одной произвольной комплексной постоянной.
Предположим теперь, что С — 0 . Тогда в силу (5) и (7) аналитические компоненты ф+ (г) и ф— (г) искомой кусочно квазигармонической функции Ж(г) = [Ж + (г), Ж— (г)} должны удовлетворять соответственно линейным неоднородным дифференциальным уравнениям 2 -го порядка вида (11) и (12).
Так как при г Ф 1 и г Ф V2±л/3 и С — 0 соответствующие (11) и (12) однородные дифференциальные уравнения неразрешимы в классах А(Тг±) п Н(2)(Ьг), то (в случае их разрешимости) неоднородные дифференциальные уравнения (11) и (12) будут иметь единственные решения. Но поскольку правые части данных дифференциальных уравнений линейно зависят от с +1 произвольных комплексных постоянных, то в данном случае общие решения этих уравнений будут содержать не более % +1 произвольных комплексных постоянных. Следовательно, в рассматриваемом случае решение искомой задачи р° также линейно зависит не более чем от с +1 произвольных комплексных постоянных.
Если г = 1 и %>0, то общее решение соответствующего (11) однородного дифференциального уравнения (8) задается формулой (14). Следовательно, в этом случае общее решение (р + (z) неоднородного уравнения (11) может линейно зависеть не более чем от % + 3 произвольных комплексных постоянных. Поэтому (в силу (10)) в этом случае общее решение задачи р^ линейно зависит не более чем от % + 3 произвольных комплексных постоянных.
Если же г = д/2 + л/3 или г = и % > 0 , то общее решение соответствующего (11) од-
нородного уравнения (8) задается формулой (15). Значит, в этом случае общее решение (р + (z) неоднородного уравнения (11) может линейно зависеть не более чем от % + 2 произвольных комплексных постоянных. Следовательно, общее решение задачи р° в этом случае также может линейно зависеть не более чем от % + 2 произвольных комплексных постоянных.
Итак, установлена справедливость следующей теоремы.
Теорема 2. Если % > 0, то для разрешимости однородной задачи р° в классе квазигармонических функций второго рода в круге Тг+ = {^ : ^ < г} необходимо и достаточно, чтобы линейные дифференциальные уравнения (11) и (12) были разрешимы в классах функций A(Tг+) п Н('Т)(ЬГ) и А(Т~) п Н(2)(Хг) соответственно. Причем общее решение задачи , задаваемое формулой (10), будет линейно зависеть не более чем от l произвольных комплексных постоянных, причем
% +1, если г Ф1, г Ф V2±>/3, l = лХ + 3, если г = 1,
% + 2, если г =-\12.
Если %< 0 и г Ф 1, г Ф V2±л/3 , то однородная задача р° неразрешима.
Если % < 0 и г = 1, то однородная задача р° безусловно разрешима, и её общее решение, задаваемое формулой
W (z) =
6z (C1 + 3C2 z2) + I z I2 C + C 3j е T+
6C2 z--1-=-+ 12l"--\ "lC1 • z + C2 • z j z е T1 ,
1 + zz V, 1 + zz J (16)
0, z е Т1:,
линейно зависит от двух произвольных комплексных постоянных С1, С2, т. е. l = 2.
Если же % < 0 и г = V2±л/3 , то однородная задача р20 безусловно разрешима, и её общее решение, задается в виде
W(z) =
2C-— +12| —-— I • Cz2, zе T
1 + zz ^ 1 + zz
0, z е T
2
r
и зависит от одной произвольной комплексной постоянной С, т.е. I = 1.
На основании теоремы 2 можно сделать несколько важных выводов. Во-первых, из этой тео-
, 0
ремы следует, что в случае г = 1 картина разрешимости задачи р2 имеет «резонансный» характер, так как при изменении радиуса круга Тг+ = {: ^ < г} в пределах интервала
< г < *\/ 2 + -у 3, именно при г = 1, задача р° имеет наибольшее число линейно независимых решений. Аналогичный характер картина разрешимости задачи р^ имеет при г = и г =7 2 + л/3 .
+
Расулов К.М., О неустойчивости решений однородной краевой задачи Римана
Ханкишиева Ш.С. для квазигармонических функций в круговых областях
Наконец, пусть Ж(г1; г) и Ж(г2; г) - решения задачи р° в областях Т* = {г : |г| < гх) и Т= {г : |г| < г2 ) соответственно. Как видно из утверждения теоремы 2, если, например, % < 0 ,
г1 = 1 и г2 е (1; + 73) , то для любого достаточно малого положительного числа е при условии |г2 — г^ < е может случиться, что |ж(г2; г) — Ж(г1; г)| > е, так как в рассматриваемом случае
Ж (г ; г) ° 0 , а Ж (г ; г) определяется формулой (16). Значит, решения задачи р° неустойчивы по
отношению к изменению границы рассматриваемой круговой области.
Таким образом, из теоремы 2 вытекает следующее важное утверждение.
Следствие. Решения краевой задачи р^ неустойчивы по отношению к изменению границы круговой области.
Литература
1. Расулов, К.М. Об одном методе решения краевой задачи типа Римана в классах квазигармонических функций произвольного рода / К.М. Расулов // Известия Смоленского государственного университета, 2015. - № 2/1. - С. 159-168.
2. Расулов, К.М. О краевой задаче типа Римана квазигармонических функций в круге неединичного радиуса / К.М. Расулов, Ш.С. Ханкишиева // Материалы XVII международной научной конференции «Системы компьютерной математики и их приложения». - Смоленск: Издательство СмолГУ, 2016. - Вып. 17. - С. 211-216.
3. Гахов, Ф.Д. Краевые задачи / Ф.Д. Гахов. - М: Наука, 1977. - 640 с.
4. Коддингтон, Э.А. Теория обыкновенных дифференциальных уравнений / Э.А. Коддингтон, Н. Левинсон. - М.: Изд-во иностранной литературы, 1958. - 474 с.
Поступила в редакцию 24 ноября 2017 г.
Bulletin of the South Ural State University Series "Mathematics. Mechanics. Physics" _2018, vol. 10, no. 3, pp. 52-58
DOI: 10.14529/mmph180306
ON THE INSTABILITY OF SOLUTIONS OF THE HOMOGENEOUS BOUNDARY VALUE PROBLEM OF RIEMANN TYPE FOR QUASIHARMONIC FUNCTIONS IN CIRCULAR DOMAINS
K.M. Rasulov, Sh.S. Khankishieva
Smolensk State University, Smolensk, Russian Federation E-mail: [email protected]
We consider the boundary value problem of Riemann type (the conjugation problem) in the classes of piecewise quasiharmonic functions. A homogeneous problem of a Riemann type problem in the classes of piecewise quasiharmonic functions of the second kind in circular domains is studied in details. In particular, in this case a clear solution method is developed for a homogeneous problem of Riemann type, the logical essence of which consists in reducing the solution of the homogeneous problem under consideration to a sequential solution of the common homogeneous Riemann problem for analytic functions and two second-order linear differential Euler equations. Moreover, instability of the solutions of the homogeneous problem is determined with respect to the change in the radius value of the considered circular domain, and a complete picture of its solvability for different values of the index of the problem and the radius of the circular domain is constructed. It is proved that the main reason for the instability of the solutions of a homogeneous problem of Riemann type in classes of piecewise quasiharmonic functions of the second kind in circular domains with respect to the change in the radius value of the considered circular domain is the fact that the number of linear independent analytic solutions of homogeneous differential Euler equations, to which the desired Riemann type problem is reduced, depends
essentially on the radius of the considered circular region. In this paper we use the methods of the theory of functions of a complex variable, the theory of integral equations, and the analytic theory of differential equations.
Keywords: the boundary value problem of Riemann type; piecewise quasiharmonic function; differential equation of Euler; circular domains; radius of a circular domain.
References
1. Rasulov K.M. On the Method of Solution of the Riemann Type Boundary Value Problem in Classes of Quasiharmonic Functions of Arbitrary Genus. Izvestiya Smolenskogo gosudarstvennogo uni-versiteta, 2015, no. 2/1, pp. 159-168. (in Russ.).
2. Rasulov K.M., Khankishieva Sh.S. O kraevoy zadache tipa Rimana kvazigarmonicheskikh funktsiy v kruge needi-nichnogo radiusa (On a boundary-value problem of Riemann type of quasiharmonic functions in a circle of a non-unitary radius). Materialy XVII mezhdunarodnoy nauchnoy konfer-entsii "Sistemy komp'yuternoy matematiki i ikh prilozheniya" (Proc. XVII international scientific conference "Computer mathematics systems and their applications"), Smolensk, Izdatel'stvo SmolGU Publ., 2016, Issue 17, pp. 211-216. (in Russ.).
3. Gakhov F.D. Kraevye zadachi (Boundary value problems). Moscow, Nauka Publ., 1977, 640 p. (in Russ.).
4. Koddington E.A., Levinson N. Teoriya obyknovennykh differentsial'nykh uravneniy (Theory of Ordinary Differential Equations). Moscow, Izd-vo inostrannoy literatury Publ., 1958, 474 p. (in Russ.).
Received November 24, 2017