О решениях однородной задачи Шварца в виде вектор-полиномов второй степени Текст научной статьи по специальности «Математика»

УДК 517.95

DOI: 10.14529/mmph190305

О РЕШЕНИЯХ ОДНОРОДНОЙ ЗАДАЧИ ШВАРЦА В ВИДЕ ВЕКТОР-ПОЛИНОМОВ ВТОРОЙ СТЕПЕНИ

В.Г. Николаев

Новгородский государственный университет имени Ярослава Мудрого, г. Великий Новгород, Российская Федерация E-mail: vg14@inbox.ru

Рассмотрена однородная задача Шварца для вектор-функций, аналитических по Дуглису. Данные функции являются решениями однородной эллиптической системы в частных производных первого порядка, которая зависит от матрицы с комплексными коэффициентами. Предполагается, что определитель комплексной части этой матрицы отличен от нуля. Показано, что реальная часть функции, аналитической по Дуглису, будет решением некоторой однородной системы второго порядка в частных производных. Зная решение задачи Дирихле для данной системы, можно построить решение задачи Шварца, соответствующее исходной матрице. Нужное решение задачи Дирихле ищем в виде вектор-полинома второй степени с линейно зависимыми компонентами. После подстановки такой функции в полученную систему уравнений в частных производных получаем однородную вещественную алгебраическую систему. Эта система имеет ненулевые решения только в том случае, когда ее определитель равен нулю. Приравнивая к нулю соответствующий определитель, получаем алгебраическое уравнение с двумя переменными. Далее доказывается основная теорема о том, что существование произвольного ненулевого вещественного решения данного алгебраического уравнения является необходимым и достаточным условием существования соответствующего исходной матрице решения однородной задачи Шварца в виде вектор-полинома второй степени. В заключение статьи построен пример.

Ключевые слова: матрица; J-аналитическая функция; вектор-полином; квадратичная форма; эллипс; система алгебраических уравнений.

1. Постановка задачи

Пусть все собственные числа n X n -матрицы J имеют ненулевые комплексные части.

Определение 1. [1-3] Аналитической по Дуглису (A. Douglis), или J-аналитической с матрицей J, назовем комплексную n -вектор-функцию ф = ф(z) е С1 (D), которая в области D с R2 удовлетворяет уравнению

d-l-J-^ = 0. (1)

dy dx

Определение 2. Будем говорить, что функция ф(z) соответствует матрице J, если выполнено уравнение (1).

Как показано в [1], система уравнений в частных производных первого порядка (1) является эллиптической. Рассмотрим для системы (1) следующую однородную задачу Шварца [2, 3].

Пусть конечная область D с R2 ограничена контуром Г. Требуется найти J-аналитическую с известной матрицей J в области D вектор-функцию ф(z) е С(D), для которой выполнено граничное условие

R^( z)lr =0. (2)

Очевидными решениями задачи (2) являются постоянные функции ф(z) = ic, где c е Rn . Если n = 1, то частным случаем J-аналитических функций при J = i будут скалярные голоморфные функции [4]. Для них задача (2), как известно [4], имеет только постоянное (или тривиальное) решение ф(z) = ic, где c е R. Но при n > 2 ситуация кардинально меняется -задача (2) может иметь решения в виде вектор-полиномов. Приведем пример.

Пример 1. Пусть

f-i 4 ^

J = v 1 3i V II

2чЛ

-4i (х2 + у 2) х2 + 3y2 -1 - 2xyi

(3)

Матрица J в (3) имеет кратное собственное число Х = 7. Здесь вектор-полином второй степени ф(z) будет функцией, J-аналитической с данной матрицей J, что проверяется

непосредственной подстановкой в (1). При этом Яе ф(z) |г = 0 на эллипсе х2 + 3у2 = 1. В пункте 3 приведен общий метод построения аналогичных примеров.

Замечание 1. Сложность задачи (2) состоит именно в конечности области В. Если В неограничена, то построение нетривиальных решений задачи (2) не представляет каких-либо трудностей. Например, пусть п = 1, J = 7, /(z) = z2 -1 = х2 - у2 -1 + 2ху7. Тогда Яе /(z) |г = 0 на гиперболе Г: х2 - у2 = 1.

2. Преобразование уравнения (1) к системе второго порядка

Выполним некоторые предварительные преобразования. Запишем п -вектор-функцию ф(z) в виде ф(z) = и(х,у) + 7 у(х, у), где и(х, у), у(х,у) - вещественные п -вектор-функции. Также введем следующие обозначения:

J = А + В7, А,В е ЯпХп, В Ф 0. (4)

Подставим матрицу (4) в уравнение (1), после чего приравняем к нулю действительные и мнимые части в получившемся выражении. Имеем:

^ - А— + В^ = 0, - А — - В^и = 0. (5)

Эу Эх Эх Эу Эх Эх

Выразим из уравнений (5) частные производные функции у = у(х,у) через частные производные функции и = и(х,у) :

,д u

Ш = в-1 А™ -B-1 ^, ^ = (B + AB-1 A)—- AB-1 ^ .

d u

_1 д u

Эх Эх Эу Эу

С учетом условия замкнутости

д д у = д д у Эу Эх Эх Эу из уравнений (6) вытекает следующее равенство:

дх

ду

_Э_

ду

B-1 A - b-1 дх ду

_Э_

дх

.д u

(B + AB-1 A)— - AB-1

дх ду

(6)

(7)

(8)

Применим в (8) операторы дифференцирования, после чего обе части равенства умножим слева на матрицу В. В результате получим следующую однородную п Х п -систему уравнений в частных производных второго порядка:

.Э 2 и

(B2 + BAB-1 A)-

- B • (AB-1 + B-1 A)

д 2 u д 2 u - + -

= 0.

(9)

Эх2 ЭхЭу Эу2

Относительно системы (9) докажем приведенную ниже теорему. Теорема 1. Справедливы следующие два утверждения.

1) Если ф( z ) = и( х, у) + 7 у( х, у) - решение однородной задачи Шварца (2), соответствующее матрице J = А + В7, detВ Ф 0, то функция и(х,у) будет решением однородной задачи Дирихле

и(х, у) |г =0 (10)

для системы (9);

2) если существует решение задачи (10) для системы (9) в виде вектор-полинома и = и(х,у), то можно однозначно восстановить функцию ф = и+ 7 у как решение задачи (2), соответствующее матрице J = А + В7.

Николаев В.Г. О решениях однородной задачи Шварца

в виде вектор-полиномов второй степени Доказательство. Первое утверждение вытекает из алгоритма построения системы (9). Для доказательства пункта 2) заметим, что если функция и(х,у) - решение (9), то она есть решение

дv д V

системы (8). При этом с учетом (8) для функций —, — вида (6) выполнены условия

дx ду

замкнутости (7). Поэтому вектор-функцию v = v(x,y) при заданной функции u = u(x,y) можно покоординатно единственным образом (с точностью до вектор-постоянной) восстановить из уравнений (6).

Так как для полученной функции v( x, у) по построению выполнена пара равенств (6), то для пары функций и(х,у), v(x,у) выполнены равносильные им равенства (5). Следовательно, функция ф = и+ i v соответствует исходной матрице J = A + Bi. При этом по построению выполнено граничное условие (2). Теорема 1 доказана.

3. Общий метод построения решений задачи (2) в виде вектор-полиномов второй степени

Опираясь на теорему 1, получим необходимое и достаточное условие существования решений однородной задачи Шварца в виде вектор-полиномов второй степени.

Замечание 2. Будем называть эллипсом не только кривую Г на плоскости, но также и область K, ограниченную кривой Г, - в зависимости от контекста. Такая договоренность упростит изложение.

Как известно, произвольный эллипс Г с центром в точке (х0, у0) можно задать следующим уравнением:

a(x - Xo)2 + 2с(х - Xo)(y - у,) + Ь(у - Уо)2 -1 = 0, ab - с2>0. (11)

Пусть ф = и+ i v - решение задачи (2) в виде вектор-полинома второй степени в конечной области D. В этом случае контур Г может быть только эллипсом. Обозначим и = (р1,^.,ри). Тогда каждое из уравнений рх(x,у) = 0,...,ри(x,у) = 0 будет уравнением данного эллипса. Задание эллипса в виде (11) как множества точек на плоскости - единственно с точностью до множителя. Поэтому функции р^(x,у), k = 1,...,и будут с точностью до множителя совпадать с левой частью (11) при одних и тех же параметрах a, c, Ъ.

Для упрощения дальнейших вычислений сделаем замену переменных х = х'+ Х0, у = у'+ У0. Тогда после элементарных преобразований с учетом (1) получим, что функция ф(х',у') = и(х', у') + i v(х',у') будет J-аналитической с той же матрицей J. Но в этом случае компоненты р£(х',у'), k = 1,...,п вектор-функции и = и(х',у') в силу (11) с точностью до множителя примут вид рк (х', у') = ах'2 + 2сх'у' + Ъу'2 -1.

Таким образом, вектор-функцию и(х, у)=Яеф(г), не умаляя общности, можно искать в следующем виде:

u(x, y) =

^ t1 - (ax2 + 2cxy + by2 -1) ^

tn - (ax2 + 2cxy + by2 -1)

ab - c2 > 0. (12)

В (12) числа a,c,b, а также вектор t = (t1,...,tn) - вещественные параметры. Случай t = 0, то есть u = 0, не рассматриваем как вырожденный.

Для нахождения функции u(x,y) подставим (12) в (9). В результате получим следующую однородную n X n -систему линейных алгебраических уравнений относительно вещественных переменных t = (t1,..., tn) с параметрами a, c, b:

[a - (B2 + BAB-1 A) - c - B - (AB-1 + B-1 A) + b - E] - (t)T =0, (13)

где через E обозначена единичная n X n -матрица.

Параметры (a, c,b) для (13) находим из следующего условия. Как известно, однородная система (13) имеет нетривиальное решение тогда и только тогда, когда ее определитель A(a, c, b) равен нулю, то есть

A(a,c,b) = det[a • (B2 + BAB-1 A) — c • B • (AB-1 + B-1 A) + b • E] = 0. (14)

В (14) функция A(a, c,b) - полином степени n от трех переменных. Пусть (a, c, b) - такое

решение (14), что ab — c2 >0. В этом случае квадратичные формы в (12) будут положительно (или отрицательно) определенными и неособыми. Поэтому все компоненты (12) будут задавать один и тот же эллипс.

Подставим ненулевое решение t = t0 алгебраической системы (13) с этими параметрами в (12). Тем самым будет найдено решение u0=u0(х,y) задачи Дирихле (10) для системы дифференциальных уравнений (9) в эллипсе Г: ax2 + 2cxy + by2 = 1.

Далее в силу теоремы 1 по функции u(x, y) можно восстановить восстановить функцию ф( z) как решение задачи (2) в эллипсе Г. С учетом формул (6) ф(z) будет вектор-полиномом второй степени. Сделаем замену переменных х = х' — х0, y = y' — y0. Тогда в силу (1) получим решение ф(х', y') задачи (2), соответствующее той же матрице J. При этом данное решение будет определено в эллипсе Г (11) с произвольным наперед заданным центром (х0, y0). В итоге доказано следующее утверждение.

Лемма 1. Пусть выполнено равенство (14) при ab — c >0. Тогда существует решение ф(z) задачи (2), соответствующее матрице J = A + Bi, detB Ф 0. При этом контур Г — эллипс, а ф(z) есть вектор-полином второй степени.

Преобразуем уравнение (14). Заметим, что если ab — c2 >0, то a Ф 0. Поэтому можно, не умаляя общности, положить в (14) a = 1. Тогда неравенство ab — c2 >0 перепишется в виде b > c2, что равносильно условиям

a = 1, c = c, b = c2 + s2, s Ф 0. (15)

Замечание 3. Так, если s Ф 0, то в (15) допустима так же ситуация c = 0.

С учетом (15) равенство (14) перепишем в следующем равносильном виде:

det[ B 2 + BAB—1A — c • B • (AB—1 + B—1 A) + (c2 + s 2) • E ] = 0, s Ф 0. (16)

Равенство (16) можно рассматривать как алгебраическое уравнение n -й степени относительно вещественной переменной c, где s - вещественный параметр. При этом существенным является условие s Ф 0. Относительно формулы (16) докажем следующее основное утверждение.

Теорема 2. Существование (произвольного) вещественного решения (c, s), где s Ф 0 алгебраического уравнения (16) является необходимым и достаточным условием существования соответствующего данной матрице J = A + Bi е CnXn, det B Ф 0 решения ф(z) однородной задачи Шварца (2) в виде вектор-полинома второй степени.

Доказательство. Достаточность. Пусть (c0, s0), где s0 Ф 0 - вещественное решение уравнения (16). Для этого решения с учетом (15) выполнено условие леммы 1. Поэтому согласно утверждению этой леммы существует искомое решение ф( z) задачи (2).

Докажем необходимость: пусть ф = и+ iv - вектор-полином второй степени, который есть решение задачи (2) в конечной области К с границей Г. В этом случае область К представляет собой эллипс. Обозначим, как и выше, u = (p1v..,pn). Тогда уравнения px =0,...,pn = 0 задают один и тот же эллипс Г = дК. Следовательно, функции pk(х,y), k = 1,...,n совпадают с точностью до множителя с левой частью (11). После замены переменных х = х'+ х0, y = y'+ y0 вектор-функция u^',y') с точностью до обозначения переменных примет вид (12). При этом ф = u+ i v останется J-аналитической с той же матрицей J.

44 Bulletin of the South Ural State University

Ser. Mathematics. Mechanics. Physics, 2019, vol. 11, no. 3, pp. 41-46

Николаев В.Г.

О решениях однородной задачи Шварца в виде вектор-полиномов второй степени

Так как для ф = и+ 7 V выполнено равенство (1), то для и = и(х',у') в силу преобразований пункта 2 справедливо уравнение (9). Подстановка (12) в (9) дает алгебраическую систему (13). Вектор 1 = (1,..,¿п) в (12) по условию ненулевой, так как функция и(х', у') не равна нулю тождественно. То есть вектор 1 является ненулевым решением системы (13). Следовательно, выполнено равенство (14) при аЬ — с2 >0. Таким образом, с учетом подстановки (15) выполнено и равносильное (14) равенство (16) при некоторых (с0,е0), где е0 Ф 0, что и требовалось. Теорема 2 доказана.

4. Применение формулы (16) для построения примера 1

В качестве иллюстрации к теореме 2 построим два решения задачи (2) для матрицы J (3) из примера 1. Они будут определены в разных эллипсах. Имеем:

J =

-i 4 ^ 1 3i

A =

( 0 4 ^ 1 0

B =

(-1 0^ 0 3

det B = -3 Ф 0.

(17)

Выпишем уравнение (16) с учетом конкретных матриц А, В (17), не приводя промежуточные вычисления. При этом для упрощения вычислений положим с = 0:

det[B2 + BAB-1A - с • B • (AB-1 + B-1 A) + (с2 + e2) • E] |c=0 =(-3 + e2) Таким образом, имеем следующую пару решений уравнения (18):

-3 + e2 | = °.

с = 0, b = с2 + e = 3; с = 0, b = с2 + e2 =

1

(18)

(19)

Как показывают вычисления, первой паре (с, Ь) в (19) при а = 1 соответствует ненулевое решение ¿2) = (0,1) алгебраической системы (13). Матрицы J (3) и (17) совпадают. Поэтому при полученных значениях параметров а, с, Ь, ¿2 по функции и(х, у) (12) с помощью алгоритма, описанного при доказательстве пункта 2) теоремы 1, восстанавливается решение ф( 2) (3) задачи (2).

Второй паре (с,Ь) в (19) при а = 1 соответствует ненулевое решение ¿2) = (1,0) системы (13). В данном случае по алгоритму теоремы 1 можно построить функцию

Ф( г ) =

( 2 + 1 2 X + — y

3

1 2 Л ■ 1 + — xyi 3

1 ( X 2 + y 2)

3

(20)

Функция (20) соответствует той же матрице J (3), то есть и матрице J (17). Она является решением задачи (2) в эллипсе х2 + 3 у2 =1.

Литература

1. Солдатов, А.П. Функции, аналитические по Дуглису / А.П. Солдатов. - Изд-во НовГУ, 1995. - 196 с.

2. Васильев, В.Б. О задаче Шварца для эллиптических систем первого порядка на плоскости / В.Б. Васильев, В.Г. Николаев // Дифференциальные уравнения. - 2017. - Т. 53, № 10. - С. 13511361.

3. Nikolaev, V.G. A Criterion for the Existence of Nontrivial Solutions to the Homogeneous Schwarz Problem / V.G. Nikolaev // Journal of Mathematical Sciences. - 2016. - Vol. 219, Iss. 2. -pp.220-225.

4. Привалов, И.И. Введение в теорию функций комплексного переменного / И.И. Привалов. -М.: Высшая школа, 1999. - 432 с.

Поступила в редакцию 4 июля 2019 г.

Bulletin of the South Ural State University Series "Mathematics. Mechanics. Physics" _2019, vol. 11, no. 3, pp. 41-46

DOI: 10.14529/mmph190305

ON THE SOLUTIONS OF THE SCHWARTZ HOMOGENEOUS PROBLEM IN THE FORM OF VECTOR POLYNOMIALS OF THE SECOND DEGREE

V.G. Nikolaev

Yaroslav-the-Wise Novgorod State University, Novgorod, Russian Federation E-mail: vg14@inbox.ru

A Schwartz homogeneous problem for vector functions being analytic as per Douglis in the final domain on plane has been considered. The function data are the solutions to a homogeneous elliptic partial-derivatives system of the first order, which depends on the matrix with complex coefficients. It is assumed that the determinant of the complex part of this matrix is different from zero. In the beginning of the article the solution to the problem under consideration is given for a bivariate case in the form of a vector polynomial of the second degree. Further transformations are made to find the general method of building such solutions. It is demonstrated that the real part of the function being analytic as per Douglis will be a solution for a certain homogeneous partial-derivatives system of the second order. Meanwhile, if we know the solution to the Dirichlet problem for this system, we can build the solution to the Schwartz problem, corresponding to the initial matrix. We are searching for the required solution to the Dirichlet problem in the form of a vector polynomial of the second degree with linearly-dependent components. After this function's substitution into the obtained system of partial-derivatives equations, we get a real homogeneous algebraic system. Such system will have nonzero solutions only in case its determinant is equal to zero. By setting the relevant determinant to zero, we get a two-variable algebraic equation. Further on, we prove a fundamental theorem that the existence of a real arbitrary nonzero solution to this algebraic equation is a necessary and sufficient condition of the existence the solution to the Schwartz homogeneous problem in the form of a vector polynomial of the second degree, corresponding to the initial matrix. In the end of the article we give an example of using the fundamental theorem to build two solutions to the studied problem, which correspond to the set matrix.

Keywords: matrix; J-analytic function; vector polynomial; quadratic form; ellipse; system of algebraic equations.

References

1. Soldatov A.P. Funktsii, analiticheskie po Duglisu (Functions being analytic as per Douglis). NovGU Publ., 1995, 196 p. (in Russ.).

2. Vasil'ev V.B., Nikolaev V.G. Schwarz problem for first-order elliptic systems on the plane. Differential Equations, 2017, Vol. 53, no. 10, pp. 1318-1328. DOI: 10.1134/s0012266117100081

3. Nikolaev V.G. A Criterion for the Existence of Nontrivial Solutions to the Homogeneous Schwarz Problem. Journal of Mathematical Sciences, 2016, Vol. 219, Iss. 2, pp. 220-225. DOI: 10.1007/s10958-016-3099-0

4. Privalov I.I. Vvedenie v teoriju finktsiy kompleksnogo peremennogo (Introduction to the theory of functions of a complex variable). Moscow, Vysshaya shkola Publ., 1999, 432 p. (in Russ.).

Received July 4, 2019