close

Вход

Забыли?

вход по аккаунту

?

Периодические решения уравнения обобщённых аналитических функций с отклоняющимся аргументом.

код для вставкиСкачать
ДОКЛАДЫ АКАДЕМИИ НАУК РЕСПУБЛИКИ ТАДЖИКИСТАН
2014, том 57, №8
МАТЕМАТИКА
УДК 517.956.2
Д.С.Сафаров, Г.М.Мисоков
ПЕРИОДИЧЕСКИЕ РЕШЕНИЯ УРАВНЕНИЯ ОБОБЩЁННЫХ
АНАЛИТИЧЕСКИХ ФУНКЦИЙ С ОТКЛОНЯЮЩИМСЯ АРГУМЕНТОМ
Курган-Тюбинский госуниверситет им. Н.Хусрава
(Представлено академиком АН Республики Таджикистан З.Д.Усмановым 25.09.2013 г.)
В работе предлагается метод нахождения периодических решений для уравнения обобщённых аналитических функций с отклоняющимся аргументы.
Ключевые слова: уравнение – аналитическая функция – отклоняющийся аргумент.
На плоскости С рассмотрим уравнение вида
wz  a  z  w  z   b  z  w  z  h1   c  z  w  z  h2   f  z  ,
(1)
где z  x  iy, w  u  i , 2 z   x  i y , a  z  , b  z  , с  z  , f  z   заданные непрерывные функции,
h1 , h2  некоторые комплексные числа.
Уравнение (1) в случае h1  h2  0 изучено в [1]. Когда в (1) все входящие являются вещественными, мы получим обыкновенное дифференциальное уравнение с отклоняющимся аргументом,
которое в более общем случае исследовано в [2].
1. Предположим, что коэффициенты и правая часть уравнения (1) – однопериодические
функции с периодом , ( Re  0) и пусть R – фундаментальная область группы
Sk  z  k, k  0, 1, 2,
Будем строить однозначные однопериодические решения уравнения (1) с периодом  , в
смысле И.Н.Векуа [1].
Определение 1. Однопериодическое решение уравнения (1) с периодом , допускающее в
конечной части плоскости в качестве особых точек лишь конечное число полюсов, а при приближении z к концевым точкам R стремится к конечному или бесконечному значению, будем называть
обобщенным решением. Когда множество полюсов решения пусто и при стремлении z к концевым
точкам полосы R стремится к конечному значению, то решение называется регулярным.
Будем предполагать, что коэффициенты уравнения (1) непрерывны на R и в окрестности
бесконечно удалённой точки удовлетворяют условиям
a( z ) 
M1
z

, b( z ) 
M2
z

, c( z ) 
M3
z

, f ( z) 
M4
z

,   2,
(2)
Адрес для корреспонденции: Сафаров Джумабой Сафарович. 735140, Республика Таджикистан, г. КурганТюбе, ул. Айни, 67, Курган-Тюбинский государственный университет. E-mail: Safarov-5252@mail.ru
653
Доклады Академии наук Республики Таджикистан
2014, том 57, №8
где M1 , M 2 , M 3 , M 4  постоянные.
Все однопериодические обобщённые решения уравнения
wz  A  z  w  z   F  z 
(3)
найдены в работе В.И.Показеева и Д.С.Сафарова [3].
Основным инструментом исследования является интеграл вида
1
 z    ∬ H  t, z   H  t, z0  f t  dR ,

R
где
H  t, z  

1
1
1 

 

,
t  z k   t  z  k k 
k 0
a f  z   непрерывная однопериодическая функция, удовлетворяющая на концах полосы R условию
F ( z) 
Доказано, что интеграл
 z
M4
z

,  2.
является непрерывным и ограниченным на R однопериодиче-
ским решением уравнения
wz  f  z  , z  R .
(4)
Как в [3], будем считать, что однопериодическое обобщённое решение уравнения (1) имеет в
области R порядок не выше   S1  S2 ,   1  2  m , если оно в точках z j  R имеет полюсы
и на концах полосы R порядков S1 и S2 соответственно. В работе [3] доказано, что все однопериодические решения уравнения (4), имеющие в R порядок не выше   S1  S2 , определяются формулой
  z 

 z    z  
2 i
S
Sz
1

d l 1
C jl l 1 H  z, z j    CS e 
 z   
dz
j 1 l 1  l  1 !
S  S
m j
l 1
1
2
где C jl  произвольные постоянные.
При исследовании уравнения (1) будем рассматривать два случая:
m  h2 / h1   0 или m  h2 / h1   0 .
654
,
(5)
Математика
Д.С.Сафаров, Г.М.Мисоков
Теорема 1. Пусть в уравнении (1) h1 , h2 кратны  и a, b, c, f удовлетворяют условиям (2).
Тогда уравнение (1) при любой правой части имеет в R однопериодические решения порядков не
выше   S1  S2 и они даются формулой


1
w  z   e ( z )   z   ∬f  t  e   z  H1  t , z  dR  , (6)
 R


где   z  определено в формуле (5),
  z 
 a  t   b  t   c t   H t, z  dR,
1
∬
R
1
H1  t, z   H  t, z   H  t , z0  , z0  R.
Доказательство. Пусть выполнены условия теоремы и h1  k1, h2  k2, k1, k2  целые числа. Тогда функция
  z  
 a t   b t   c t   H t, z  d 
1
∬
R
1
является периодической с периодом  и
z  a t   b t   c t  .




Кроме того,  z  h j   z  k j    z  j , j  1,2 .
Теперь, разыскивая решение уравнения (1) в виде
w  z   e  z v  z  ,
где v  z   искомая периодическая по  функция, для v  z  получим уравнение вида (4), то есть
vz  e  z  f  z  .
Легко видеть, что если w  z  имеет в R порядок не выше   S1  S2 , то функция v  z  также
имеет этот порядок. Поэтому имеет место формула (6).
В частности, для регулярных решений уравнения (1) получим


1
w  z   e  z  с  ∬e   z  f  t  H1  t , z  dR  ,
  R

где с  произвольная постоянная.
Таким образом, задача отыскания однопериодических решений уравнения (1) в случае, когда
h1 , h2 кратны , является нётеровой.
655
Доклады Академии наук Республики Таджикистан
2014, том 57, №8
2. Пусть теперь a  z  , b  z  , c  z  , f  z   непрерывные двоякопериодические функции с ос-
 2 
  0 . Обозначим через Ω  фундаментальную область группы
 1 
новными периодами 1 ,2 , m 
Sk1k2  z   z  k11  k22 , k1k2  0, 1, 2, 3,,
с вершинами 0,1 ,1  2 ,2 .
Определение 2. Двоякопериодическое решение уравнения (1) с периодами 1 ,2 будем на-
 2 
  0, если оно допускает в 
 1 
зывать обобщённым решением с основными периодами 1 ,2 , m 
особые точки типа полюса и удовлетворяет уравнению (1) почти всюду в  \ 0 , 0  множество
полюсов решения (1) в  . В случае 0    пустое множество, обобщённое решение называется
регулярным.
Будем говорить, что обобщённое двоякопериодическое решение (1) в области Ω имеет порядок не выше  ,   1  2  m , если оно в точках z j имеет полюсы порядков не выше  j .
Двоякопериодические решения уравнения (3) исследованы в работах [4,5]. Как в [5], класс
обобщённых двоякопериодических решений уравнения (1) с периодами 1 ,2 порядка не выше 

обозначим через Wp1, , p  2, Wp1  пространство Соболева. Как следует из работы [5], для существо
вания решений уравнения (3) из класса Wp1, , p  2, при непрерывном двоякопериодическом, с периодами 1 ,2 , функции F ( z ), необходимо и достаточно, чтобы существовала квазиэллиптическая
функция Ф( z ) с периодами 1 ,2 и полюсами в точках z1 , z2 ,, zm не выше порядка  такая, что
m
1
 ResФ( z)    ∬F  z  d  .
k 1
z  zk

При этом все решения (4) представимы в виде
w  z   Φ  z   T F    z  
m j
1
Φ  z   C  C jk 
j 1 k 1
F  t    t  z  d t  ,
∬

k 1
 z  z  , j
где C , C jk  произвольные постоянные,   z   дзетта-функция Вейерштрасса,
m
C
j 1
j

1
F  z d .
∬
Ω
656
(7)
Математика
Д.С.Сафаров, Г.М.Мисоков
Из результатов работ [4] и [5] получим.
Теорема 2. Пусть в уравнении (1) h1 и h2 соответственно кратны 1 и 2 , Im 2 / 1   0 ,
A0 
1
 a  b  c  d    ,    m11  m22 ,
∬

m1m2  целые числа  .

p  2 необходимо и достаточно,
Тогда для разрешимости уравнения (1) в классе W p1, ,
чтобы существовала квазиэллиптическая функция   z 
с периодами 1 ,2
и полюсами
z1 , z2 ,, zm не выше  и такая, что
m
1
 ResФ( z)    ∬e
k 1
z  zk
dt T A
f t  d  ,

где
T A 
 a t   b t   c t    t  z  d  ,
1
∬

и постоянная d удовлетворяет уравнению
ed1 1A0  ed2 2 A0  1 ,
 
1 ,2  циклические постоянные,  j  2  j  , j  1, 2 . При этом любое решение (1) из класса
2

Wp1, , p  2 имеет вид
w z  e
 dt T A


  z   T edt T A f ( z )  ,


где Ф( z ) имеет вид (7) .
Доказательство. Пусть h1  k11 , h2  k22 , k1 , k2  целые числа. Будем искать решение (1)
в виде
w z    z e
 T  A z  dz
,
(8)
где A  z   a  t   b  t   c  t  , и число d как в теореме,
1
T  A  z    ∬ a  t   b  t   c  t    (t  z )d  ,

Ω
  z   искомая двоякопериодическая функция с периодами 1 ,2 . Подставляя (8) в (1) и используя
свойства функции g  z   T A  z  [5], получим уравнение вида (4)
657
Доклады Академии наук Республики Таджикистан
2014, том 57, №8

T A dz
 f  z e 
,
z
(9)

причём   z  Wp1, , p  2 . Поэтому если Ф( z ) имеет вид (8) и
m
m
 Res Ф( z)  C j1 
k 1
z  zk

j 1
то функция 1  z   Φ  z   T f ( z )e 
T Abz
1
f  z e
∬
T A bz
d ,
Ω
 удовлетворяет уравнению (9) и имеет порядок не выше
 , тогда для разности   z   1  z  получим
 1

0 ,
z z
отсюда имеем   z   1  z   const.
Так как Φ  z  содержит произвольную постоянную, то, подставляя в (8)

  z   Φ  z   T f ( z )e
A Abz
,
получим утверждение теоремы.
Теорема 3. Пусть выполнены условия теоремы 2 и A0  . Тогда уравнение (1) при любой

правой части имеет решение из класса Wp1, , p  2 и они представимы в виде
w z  e
 T A


1
T A  (  z  A0 )
  z    ∬f  t  e  (  A ) (t  z ) d t  ,

0


здесь функция   z  имеет вид
j
m

 ( z  a1 ) 
 k 1
  z 
z  z j  ,

C  C1  z  a1   C jk
 ( z  b1 ) 
j 1 k 1

где
b1  a1  A0 , b1  z j  , j  1,2,, k ,   z   сигма-функция Вейерштрасса, постоянные
C,C1 ,C jk связаны условиями
m
m j
j 1
j 1 k 1
C1  C j1  0, C  C1  b1  a1   C jk 
k 1
b  z   0 .
1
j
Поступило 25.09.2013 г.
658
Математика
Д.С.Сафаров, Г.М.Мисоков
Л И Т Е РАТ У РА
1. Векуа И. Н. Обобщенные аналитические функции. – М., 1959, 628 с.
2. Эльсгольц Л.Э., Норкин С.Б. Введение в теорию дифференциальных уравнений с отклоняющимся
аргументом. – М., 1971, 296 с.
3. Показеев В.И., Сафаров Д.С. Простые обобщенные аналитические функции, автоморфные относительно элементарных групп. – Изв. АН РТ. Отд. физ.-мат. и хим. наук, 1991, №4 (120),
с.3-8.
4. Показеев В.И., Сафаров Д.С. Простые обобщенные аналитические функции, автоморфные относительно элементарных групп (двоякопериодические решения). – Изв. АН РТ. Отд. физ.-мат. и
хим. наук, 1992, №4 (4), с.15-21.
5. Сафаров Д.С. Двоякопериодические обобщённые аналитические функции и их приложения. –
Душанбе: Дониш, 2012, 190 с.
Љ.С.Сафаров, Ѓ.М.Мисоќов
ЊАЛЊОИ ДАВРИИ МУОДИЛАЊОИ ФУНКСИЯЊОИ АНАЛИТИКИИ
УМУМИКАРДАШУДА БО АРГУМЕНТИ ФАРЌКУНАНДА
Донишгоњи давлатии Ќурѓонтеппа ба номи Н.Хусрав
Дар маќола методи ёфтани њалњои даврии муодилањои функсияњои аналитикии умумикардашуда бо аргументи фарќкунанда нишон дода шудааст.
Калимањои калидї: муодила – функсияи аналитикї – аргументи фарќкунанда
D.S.Safarov, G.M.Misokov
PERIODICAL SOLUTIONS THE EQUATIONS OF THE GENERALIZED
ANALYTIC FUNCTIONS WITH DEVIATING ARGUMENTS
N.Khusrav Qurgantyube State University
In the paper method of finding the periodical solutions of the generalized analytic functions with deviating arguments is proposed .
Key words: equation – analytic function – deviating arguments.
659
Документ
Категория
Без категории
Просмотров
15
Размер файла
577 Кб
Теги
решение, уравнения, аналитическая, отклоняющимся, функции, обобщённой, аргументы, периодических
1/--страниц
Пожаловаться на содержимое документа