Научная статья на тему 'Краевая задача для уравнения высокого четного порядка'

Краевая задача для уравнения высокого четного порядка Текст научной статьи по специальности «Математика»

CC BY
109
31
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
СОБСТВЕННЫЕ ЗНАЧЕНИЯ / СОБСТВЕННЫЕ ФУНКЦИИ / РАВНОМЕРНАЯ СХОДИМОСТЬ / ФУНКЦИЯ ГРИНА / НЕРАВЕНСТВО БЕССЕЛЯ / EIGENVALUES / EIGENFUNCTIONS / UNIFORM CONVERGENCE / GREEN'S FUNCTION / BESSEL INEQUALITY

Аннотация научной статьи по математике, автор научной работы — Иргашев Бахром Юсупханович

В данной работе спектральным методом изучается краевая задача в прямоугольной области для модельного уравнения высокого четного порядка. Решение получено в виде бесконечного ряда по собственным функциям одномерной спектральной задачи.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

BOUNDARY PROBLEM FOR EQUATIONS OF HIGH-EVEN ORDER

As it is well known, Fourier method is one of the classical methods of studying boundary value problems for second-order equations. Recently, the spectral method researchers have begun to use it not only for the construction of solutions of boundary value problems for higher-order equations, but also to justify the uniqueness of the solution. In this paper we consider the boundary value problem in a rectangular region for a high even-order equation. Using the method of energy integrals shows the unique solvability of the problem. The solution is sought by separation of variables (Fourier method) to give two-dimensional boundary value problems for ordinary differential equations. According to the variable y we have the problem on eigenvalues and eigenfunctions for a high even-order equation. The asymptotic behavior of the eigenvalues is taken. In order to obtain some necessary estimates, the spectral problem is reduced to an integral equation by constructing the Green’s function. Next, the Bessel inequality is used. The paper also shows the possibility of expansion of boundary functions in the system of eigenfunctions. Next, the boundary value problem is solved for an ordinary differential equation of even order in the variable x. The general solution of the differential equation is found. To find the unknown constants an algebraic equation is solved and an estimate for the decision itself and its derivatives is otained. The formal solution of the boundary value problem is obtained in the form of an infinite series in eigenfunctions. To prove the uniform convergence of the last series composed of the partial derivatives, first using Cauchy-Bunyakovsky inequality, the series consisting of two variables is decomposed into two one-dimensional series, and estimates for the Fourier coefficients are used.

Текст научной работы на тему «Краевая задача для уравнения высокого четного порядка»

www.volsu.ru

МАТЕМАТИКА

DOI: http://dx.doi.oig/10.15688/jvolsu1.2016.3.1

УДК 517.953 ББК 22.161.6

КРАЕВАЯ ЗАДАЧА ДЛЯ УРАВНЕНИЯ ВЫСОКОГО ЧЕТНОГО ПОРЯДКА

Бахром Юсупханович Иргашев

Кандидат физико-математических наук, старший преподаватель кафедры высшей математики,

Наманганский инженерно-педагогический институт

bahrom_irgashev@inbox.ru

просп. Дустлик, 12, 160103 г. Наманган, Республика Узбекистан

Аннотация. В данной работе спектральным методом изучается краевая задача в прямоугольной области для модельного уравнения высокого четного порядка. Решение получено в виде бесконечного ряда по собственным функциям одномерной спектральной задачи.

Ключевые слова: собственные значения, собственные функции, равномерная сходимость, функция Грина, неравенство Бесселя.

о <м

Введение

Одним из основных методов решения краевых или спектральных задач в прямоугольной области для модельных уравнений в частных производных, содержащих производную четного порядка, является метод разделения переменных (метод Фурье). Этим методом решены многие классические задачи для модельных уравнений 2-го порядка. В последнее время этим методом часто пользуются также для решений краевых задач и доказательств единственности для уравнений высоких четных порядков (см.: [2; 3] и др.). В данной работе метод Фурье используется для решения краевой задачи для модельного уравнения произвольного четного порядка.

Основные результаты

^ В области О = х, у) : 0 < х, у < 1} для уравнения Э

^ Я 2тп Я 2пи

* = Н) + Н) яуп =0 о>

изучим следующую краевую задачу.

Задача П. Найти регулярное решение уравнения (1) в области О, удовлетворяющее следующим краевым условиям:

D'u(х, 0) = ф,(х), 5 = 0,n -1, Dru(x,1) = (x), r = 0,n -1,

D>(0, y) = Xk (У), k = 0, m -1, D>(1, у) = тг (y), l = 0,m -1

где

ф, , v,e с 4m [0;1],

ф<*) (0) = ф,") (1) = y,k) (0) = y,k' (1) = 0, k = 0, m -1, k = 2m,3m -1, 5 = 0, n -1,

X,,x, e С4n [0;1],

x(k) (0) = x(k) (1) = x(k) (0) = x(k) (1) = 0,k = 0, n -1,k = 2n,3n -1,5 = 0, m -1

Единственность решения поставленной задачи показывается методом интегралов энергии. Решение ищется в виде разложения в бесконечный ряд по собственным функциям одномерной спектральной задачи. Показывается равномерная сходимость полученного ряда и рядов, составленных из частных производных по обоим переменным до порядков, входящих в уравнение (1).

Перейдем к обоснованию полученных результатов. Покажем единственность решения поставленной задачи. В силу линейности уравнения достаточно показать, что однородная задача имеет только тривиальное решение. Действительно, пусть и(х, у) удовлетворяет уравнению (1) с однородными граничными условиями. Рассмотрим тождество uL[u] = 0. Тогда имеем:

д2mu = _^(! &u_д2m-1-'uЛ =дХ äX7 dx2m-1-' у

d2nu д (д'и д2n-1-'u ^

+

(-1)"

( д

ду n ду l i_0 дх' ду

i r\. ,2n-1-''

+ (-1)"

чдх У ( д nu^2

1суп у

uL [u ]=it S

д ( »=| ä'u д2m-1-'u ^ д (^ ä'u д2n-1-'u }

дх 1£0 дх' дх2m-1-' у

+

s-

ду 1t0 ду' ду2n-1-'

+

+

(-1)n

( -\И Л

д u

\дх" у

+

(-1)n

д u

су"

= 0.

Проинтегрируем последнее выражение по области О, применяя формулу Грина и учитывая нулевые граничные условия, получим

дmuY, , гг(дnu^2

+ J ЛхЛу = 0,

äXm

0 0 V ^ У

отсюда вытекает, что и (х,у) = 0. Решение задачи О будем искать в виде:

u (х, у ) = v (х, у) + w (х, у),

u

2

2

где

¿М = 0,

х,0) = х,(х), ^ = 0,п -1,

х,1) тг(х), г = 0,п -1,

(2)

D;v(0, У) = 0, k = 0, т -1,

Dxv(1, у) = 0, I = 0, т -1,

Ь[ м>] = 0,

Dsw(x,&) 0, 5 = 0, п -1,

Drw(х,1) = 0, г = 0, п -1,

(3)

DкM0, у) = Фа (у), k = 0, т -1 DXw(1, у) = уг (у), I = 0, т -1.

Задачи (2) и (3) решаются одинаковым методом, поэтому достаточно решить одну из них, например задачу (2). Будем решать задачу (2) методом разделения переменных.

V (х,у ) = X (х у (у).

Подставляя в (2), имеем

(-1)"

X(2т)

X

V (2п)

=(-1)п^=Я> 0

отсюда получим следующую задачу Штурма - Лиувилля для нахождения собственного значения и собственной функции по переменной у:

V (2п)( у ) = (-1)п к¥ ( у ), Я> 0,

V(к)(0) = V{к>(!) = 0, k = 0, п -1

(4)

Теорема 1. Для собственных значений задачи (4), при к ^ +<х> имеем следующее соотношение:

Хк «I —ь як I , если п - четно; Хк «(як)2п, если п - нечетно.

2

Доказательство. Изучим сначала случай, когда п четно (п = 2т). Имеем следующую задачу:

\У(4 т)( у ) = к¥ (у), Я> 0,

[у{к) (0) = V(к ] (1) = 0, к = 0,2т -1.

(5)

Характеристическое уравнение ц4" = Я имеет ровно 4т различных корней, они имеют вид:

I—,, л як _

Цк = тК + /Рк), ак = cosek, Рк = Slnek, 9к = —> к = 0,4т -1,

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

ц0 = 4тХ, цп = / 4тХ, а к > 0, к = 0, т -1 Общее решение уравнения (5) имеет вид

V (х) = ^ ( у) + 72 ( у),

где

1 (y) = c^y + § e4m^aky (ck cos4IXpky + c2k sin4IXpky) + c3cos4IXy

k=1 2m—1

(y) = c4V^ + ¿ (c4kcos4IXpky + c5ksin4IXpky) + c6sin4IXy,

k=m+1

ск - произвольные постоянные. Для производных порядкар имеем формулу

p г m—i

Yp) = X4m Г c0e4^y + X e^ [cfcos(4IXpky + pQk ) + c2ksin (4m[xpky + pQk)

+X^cos I VXy + -p I,

k=1

+

p f 2m—1 r

Yp) = X4m Г (—1) p c0e-4mXy + X e кУ Lkcos (^y + ) + c5ksin (^y + pQt)

k=m+1

+

+X4m sin ^4 фХу + ^ p j.

Удовлетворив граничным условиям, получим систему уравнений для нахождения ck, основной определитель системы имеет вид:

Д =

A B C D

где

A =

1

cos01

cos0„

О sin01

cos0„

1 cos(2m—1)01 . cos(2m—1)0m—1 sin(2m—1)01 . . cos(2m—1)0m

B=

1 —1

co0

OCS0,.

sm0„,

О sirá

(—1)m1 ccs(2m—1)0m+1 . cos(2m—1)02m—1 sin(2m—1)0ц . . sin(2m—1)0

C = (C1 C2),

где

(0 4 mlX „4mX«1

C =

e 'cosa.

4 m¡X 4 "X«1

e ^cosa,

4 mx 4 mXa, e v e v ^cosa,

e4m/X«m—1cosam—1,0 ^ e4m/Xam—1cosa„, ,,

e4iX«m—1cosa

ti— 1, 2 m— 1

2

1

1

1

1

О

e

= ^к + Ре

к 1 -Р"к>

с2 =

а •

е

^па

1,0 1,1

е'^-^та

47Гат 1

е т-181па

7-1,0 7-1,1

е4т/ГaIs1nc1

е4 ^та.

со8а„

со8а„

со8а„

D '( Dl D2),

где

D1 '

- е

4 ^Г

е4 тГа га+1С0§ ^

т -

е4 а т +1 с о 8 а,

(- 1)

2т-! е-е4тГат+1С08а

е4 тГа 2"-1 с о 8 а ,

е4 2"-1 с о 8 а ,

е4 2"-1 с о 8 а

2 т - 1,2 т - 1

4 "г а т + 1 •

е т+181п а,

Я 2 =

4 "г а

4 тга

181п а ,

181п а ,

4 ТрГа

181п а ,

181п а

81п а,

81п а,

4 тга

181п а

2 т -1,2 т -1

81п а,

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Найдем выражение, содержащее самую большую положительную степень экспоненты, при вычислении детерминанты А оно имеет вид

4тг

Ы1е

А т-1 1 1+2 2 ар Р=1

С08

4"г ,

ааа N - некоторая постоянная, не зависящая от Г, тогда сам определитель А выглядит так:

4"гГ 1+2тг-1а р 1 I Р'1 Р Л

А(Г) = Л^е

С08

тг+о

' 4т/гГ1+2т-1ар-ат-1 ^

е ^ Р=1

, при Г ^ да.

(7)

Так как собственные значения задачи (5) суть нули определителя А(Г) системы, то, учитывая (7), имеем следующую асимптотику собственных значений Гк

I— л

V Г ~ — + кк при к ^ +да.

При п нечетном (п = 2т + 1), сделав аналогичные вычисления и выкладки, будем иметь

4т+2Гк « лк при к ^ +да.

Теорема доказана.

Задача (4) эквивалентна следующему интегральному уравнению

^к (У Н-О" Г \ G (у, §Ук (§) *

(8)

е

е

е

е

е

е

где О( у, §) - функция Грина, которая удовлетворяет следующим условиям: 1. При у Ф § является решением задачи

в2° ' 0

2п

ду

д д О

(0,§) =-(1,§) = 0,' = 0,п -1

ду' V ду' V

2. Непрерывна вплоть до производной (2п - 2)-го порядка.

4. О( у, §) = О(§, у).

Теорема 2. Функция Грина имеет вид

О( §)=__{о (^§), 0 < у <§

(y,§)_ (2п-1)! [О2(у,§), §<у<1

где

п-1 п-к-1

о (у, §)=(1 -§)пуп 2 2 (-1)к ск-си+у-^ ]+к,

к=0 ]=0

о2 (у, §)=(1 - у)п §п2 2 (-1)4^-1+,§п-к-1 у+к.

к=0 у=0

Доказательство. Будем искать функции Ог (у,§), О2 (у,§) в виде

О (у, §) = (1 - §)п уп (уп-р (§) + уп-2р (§) + ... + уРп-2 (§)+Рп-1 (§)),

О2 (у,§) = (1 - у)п §п (§п-р (у) + §п-2РР (у) + ... + §Рп-2 (у) + Рп-1 (у)),

где

п-к-1

к

рк (у )= 2 < у+'.

]=0

Выполнение условий 1 и 4 очевидно, для выполнения условий 2, 3 подберем Р (у) так, чтобы выполнялось тождество

О (у,§)-О2(у,§) = (у-§)2п-1. (9)

В тождестве (9) рассмотрим производные по § до порядка (п - 1) включительно, в точке § = 0 и приравняем коэффициенты при одинаковых степенях у.

=)р,

д РО.

д§

2 (у,0) = 0, для р = 0, п -1,

дР (у -Г-'(у,0)=(-1)р (2п -1)1 уп-.-р. (Ю)

д§р ^ ' У ' (2п -1 -р)! 1 7

Рассмотрим теперь функцию

^(у,§) = у2п-1 (1 -^Р (§), ^ = у2"-1 У((1 -*)")('}Р0(р-7ср,

ЯЬ j=0

((1 ^)(j )=(-1)j (1 , ((1 ))=(-1)j (п^^Т)!, р р- j)(0 )=( р - j )'а р- j,

^(у 0)=у2п-1 у (-1)7 —р--п— (р - Т)\а0 к =

^р ) у ¿1 ) у!( р - Т), (п - к р 7 р-к

= у2п-1 У (-^ТТпТар-т = у2п-1 р!УУ (-1)) сп,а°р-т. (11)

Т=0 п Т)! )=0

Приравняв коэффициенты при одинаковых степенях у в соотношениях (10) и (11), получим систему уравнений для нахождения коэффициентов а)., ) = 0, п — 1

а 0С0 = 1 "0*- п 1

(-1)1 а0С +(-1)0 а10Сп0 = 0

(-1)2 а0С2 +(-1)1 а°Сп +(-1)0 аС = 0

(- 1)п-1 а^С;-1 + (- 1)п-2 а°С;-2 +... + (-1)0 а1С1 = 0

где

п!

Ст =, П!

п т!(п-т)!

используя формулу из [3]

С0Ст .-С1Ст-1 , +... + (-1)тС0 ,Ст = 0, (12)

п п+т-1 п п+т-2 V / п-1 п

получим решение системы в виде

а0 = С)

Итак,

р оо=у С)+)-7.

)=0

Аналогичным образом находятся другие неизвестные полиномы Рк (Д). Теорема доказана.

Пусть С11 (у, £) = (- 1)п G (у, £), тогда из (8) имеем

= |Оп (у,(§)d

Як о

По неравенству Бесселя получим

2

^к (у)

V Г у

<

|(Оп(у,§)) й§<да.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

(13)

Расположим собственные значения Гк в порядке их возрастания 0 < Г0 < Г1 < Г2 <... . Зафиксируем Гк и рассмотрим относительно переменной х следующую задачу

хк2т)( х) + (-1)т ГкХк ( х) = 0

хк')(0) = Х'к, ' = 0,т -1

Хк')(1) = Х'к, ' = 0,т -1

(14)

где

X* = IX'(у)Ук(у)dy, Х'к = I(у)Ук (у)йу.

Справедлива следующая теорема.

Теорема 3. Для решения задачи (14) справедлива оценка

х (х )< м (т| (|х 'к|+ы))

Х 'к | +

\'=0

где М - некоторая положительная константа.

Доказательство. Характеристическое уравнение задачи (14) имеет вид

(15)

^т +(-1)т Г = 0,

для решения задачи (15) рассмотрим два случая.

1-й случай. Пусть т - четное, то есть т = 2р, тогда

^ =Гк4р (а, + ),

где

1 + 21

а, = со80,, Р, = 81п0,, 0, =-л, I = 0,4р -1

4 р

причем а, > 0,, = 0, р -1. Общее решение имеет вид

Хк (х ) = X1к (х) + X2к (х),

где

р-1 ,47 (

1

I=0

Х2к (х) = 21 ^ра'х Сз,со8Г4рр,х + с4,81пГ4рр,х

Х1к (х) = 2 еГра,х с,со8Г4рр,х + ^81пГ4рр,х ,

V У

( ± \ ^4рр,х + с^тХ4

=0

V

У

Имеем следующие формулы, которые легко выводятся:

ХЦ >( х ) = Г4р 2 е

^Р-1 А ( ( ^

Г рР,х + Д

V V

+ С2,81п

( ± М

Г рр, х + Л V у у

] = 0,2р -1

с„со8

j , ■ ( í 1 — p—1TZ -

X2f(x) = (-1)jX4pXСз;cos X4pp;x — j0t + c^sin X^ftx — j0t

V v

Í

j = 0,2 p — 1,

//

для нахождения неизвестных коэффициентов е.. удовлетворим граничным условиям:

i p—1,

X (Сиcosj0; + c2/sinj0;) + (—1)j X (C3icosj0i + c4,sinj0i) = Xk4p 1 k

i=0 i=0

( í -L \ í ^ W

p—1

X e

l=0

+(—1)j X

+ c2isin

V v

-X; pa

X 4 ppi + j0i

X m — j0i

l=0

^ ( —

X 4 ppi + j0i

V

+

(16)

p—1 i ( ( -L > f 1

P 1 14 p.

V

+ c4isin

X k4 % — j0i

= X k4 p Te

//

) = 0,2р -1.

В силу единственности решения задачи (14), детерминант системы (16) Д3 отличен от нуля и имеет вид

где

Лз =

AB CD

A =

1

cos0„

cos0

p—1

0

sin0„

sin0

p—1

cos (2 p — 1)0О . cos (2 p —1)0 p—1 sin (2 p — 1)0О . sin (2 p —1)0 p—1

B=

-cos0„

—cos0

p—1

-sin0„

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

-sin0

p—1

(—l)2p1cos(2p—1)0 . (—l)^cos(2p—1)0„ (—1)2p—1sin(2p—1)00 . (— l)2psin(2p—1)0

p—1

C = e

2X4 ppX«

i=0

.0

cosa,

о

.0

cosa cosa „_, sina sina

'p—1 i

cosa0 cosa n—1 sina0 sina

p—1

0

2 p —1

0

cosapp— sina0 p—1

sina

2 p —1 p—1

D=e i=

cosa|0 —0800

oosap^

sina|0

—osa1 ^ —шО

sinap^

—ma

'p—1

(—lf^cosap-4 . (— ^cosa2—-1 (—^map"4 . (— l^W—1

e

1

0

1

1

0

0

а, = Г рр, + Д.

Аналогичные рассуждения и вычисления, как и в вычислении детерминанта при решении задачи (5), дадут нам следующее соотношение

Аз = О

( 1 1 Л

Т~ р-1

2Г4р 2 а,

е '=°

, при к ^-+да. (17)

По правилу Крамера имеем

Аз Аз

С3, = Аз(7+1+2р) , , = 0~р-1, с4, = Аз(/+1+3р) , , = 0~р-1, Аз Аз

где А - определитель, полученный из определителя А3 заменой /-го столбца правой частью системы (16). По формуле Лапласа разложим А по /-му столбцу

А3/ =2р Х(г- 1) кА/ + |+1 г-2 р-l)kAj, (18)

где А - алгебраические дополнения А Учитывая (17) и (18), имеем

У 3/

1 1 I I 1 2т " 1 /I I I |\ I I 1 2т " 1 /\ I I |\

|С1,| <М1е~Хк а 2 (|Хгк| + Ы), ы <М2е~Хк а 2 (Ы + Ы),

г=0 г=0

|С3/| < м3, Ы < М4,

подставляя в решение задачи, получим требуемое неравенство (15).

Случай, когда т - нечетно исследуется аналогично. Теорема доказана. Отметим, что для производных нетрудно получить следующие оценки:

К*)

|ХГ'(х)|<М'^ ("|(Ы + Ы)), ' = 1,2,...,2т-1,

здесь Мя - некоторые положительные постоянные, не зависящие от А^. Итак, решение задачи (2) имеет вид

V(х,у)= 2 Хк(х)7к(у). (19)

к=0

Покажем равномерную сходимость ряда (19).

да да ( "-1/ \1

V(х,у) < 2 \Хк(х)\Ук(у) <М 2 1 \Ук(у) 2 (Xк\ + Ы) 1 = к=0 к=0V '=0 У

("-1 да I / \ I "-1 да I / \ I \

2 2 \Ук(у) X+ 2 2 \Ук(у) 1 'к) (20)

'=0 к=0 '=0 к=0 ) ■

Перестановку рядов будем считать пока формальным. Покажем равномерную и абсолютную сходимость каждого слагаемого в ряде (20). Пусть ' = 0, тогда по неравенству Коши -Буняковского имеем

У Рк (у ) Ы <

к=0

(

У

к=0

^к ( у )

Л2

Як

V -"к у 1

У (ЯкХ0к )2,

к=0

Як Х0к = Як |Х0 (у) Гк (у) dy = (-1)п ^ = (-1)п Ц^у.

0 0 0

Используя неравенство Бесселя, получим

У (якХ0к)2 < }(х02п})2

к=0

1 < да.

(21)

Далее имеем

У ^к (у ) Ы <

к=0

У

к=0

^ (у)

V Як у

У (Як^0к)

к=0

Я к ^0к = Я к к ( у )Гк ( у ) dy = (-1)п Кг]2п ^у = (-1)п 1х02п )Ykdy, 0 0 0

отсюда

У (ЯкХ0к)2 < 1(х02п))2dy <да.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

к=0 0У '

(22)

Аналогично для случаев 5 = 1, 2, ..., т - 1 получим оценки типа (21), (22), отсюда следует абсолютная сходимость ряда (20) и, значит, законность перестановки рядов в (20). Если теперь учесть оценку (13), то получим равномерную и абсолютную сходимость ряда (19). Покажем теперь возможность почленного дифференцирования ряда (19). Формально имеем

= У хк2т)(х^ (у).

Ях к=0 к У ' к '

(23)

Покажем равномерную сходимость ряда (23) (сходимость рядов составленных из частных производных других порядков доказывается аналогично). Имеем

Я 2"у (х, у)

Ях

< У

к=0

хк2т)(х) V(у)=У|ЯкХк(х)|^(у)|< к=0

2

да м т-1 < м У I Гк (у) У Як (х5к + Ы )

к=0V 5=0

I т-1 да I I т-1 да I и

=М| У УЯк^к(у)Хк| +У УЯк^к(у)|х5к

„5=0 к=0 5=0 к=0

(24)

Покажем сходимость каждого слагаемого в (24). Пусть 5 = 0, тогда имеем

УЧ^к (у )Ы <■ к=0

У

к=0

^к ( у )

Як

кУ0 (Я2х0к)

(25)

2

* 1ш = (-1)" Xk }х(02иYdy = Jxq2"Y2n) (y)dy = JXq4"Y (y)dy .

Используя неравенство Бесселя, получим

Д(**Хок)2 ^ 1(х04и))2«У . (26)

Учитывая (13) и (26), получим равномерную сходимость ряда (25). Аналогично доказывается сходимость ряда 2 ^к гк (у) |х0к |. Применяя вышеуказанные рассуждения и вычисления,

к=0

для 5 = 1, 2, ..., т - 1 мы опять получим оценки типа (26). Тем самым мы доказали равномерную и абсолютную сходимость ряда (23). Отметим, что из абсолютной сходимости ряда (23) следует возможность перестановки рядов, которую мы осуществили в (24). Похожим образом доказывается равномерная сходимость рядов, составленных из частных производных по переменной у до 2«-го порядков.

СПИСОК ЛИТЕРА ТУРЫ

1. Виленкин, Н. Я. Комбинаторика / Н. Я. Виленкин. - М. : Наука, 1969. - 328 с.

2. Сабитов, К. Б. Задача Дирихле для уравнений с частными производными высоких порядков / К. Б. Сабитов // Математические заметки. - 2015. - № 97 (2). - С. 262-276.

3. Сабитов, К. Б. Колебания балки с заделанными концами / К. Б. Сабитов // Вестн. Самар. гос. техн. унта. Сер.: Физ.-мат. науки. - 2015. - № 19 (2). - С. 311-324.

REFERENCES

1. Vilenkin N.Ya. Kombinatorika [Combinatorics]. Moscow, Nauka Publ., 1969. 328 p.

2. Sabitov K.B. Zadacha Dirikhle dlya uravneniy s chastnymi proizvodnymi vysokikh poryadkov [The Dirichlet Problem for Higher-Order Partial Differential Equations]. Matematicheskie zametki, 2015, no. 97 (2), pp. 262-276.

3. Sabitov K.B. Kolebaniya balki s zadelannymi kontsami [Fluctuations of a Beam With Clamped Ends]. Vestnik Samarskogo gosudarstvennogo tekhnicheskogo universiteta. Ser. Fiz.-mat. nauki, 2015, no. 19 (2), pp. 311-324.

BOUNDARY PROBLEM FOR EQUATIONS OF HIGH-EVEN ORDER

Bakhrom Yusupkhanovich Irgashev

Candidate of Physical and Mathematical Sciences, Assistant Professor, Department of Higher Mathematics, Namangan Engineering Pedagogical Institute bahrom_irgashev@inbox.ru

Prosp. Dustlik, 12, 160103 Namangan, Republic ofUzbekistan

Abstract. As it is well known, Fourier method is one of the classical methods of studying boundary value problems for second-order equations. Recently, the spectral method researchers have begun to use it not only for the construction of solutions of boundary value problems for higher-order equations, but also to justify the uniqueness of the solution.

In this paper we consider the boundary value problem in a rectangular region for a high even-order equation.

Using the method of energy integrals shows the unique solvability of the problem. The solution is sought by separation of variables (Fourier method) to give two-dimensional boundary value problems for ordinary differential equations.

According to the variable y we have the problem on eigenvalues and eigenfunctions for a high even-order equation. The asymptotic behavior of the eigenvalues is taken. In order to obtain some necessary estimates, the spectral problem is reduced to an integral equation by constructing the Green's function. Next, the Bessel inequality is used. The paper also shows the possibility of expansion of boundary functions in the system of eigenfunctions.

Next, the boundary value problem is solved for an ordinary differential equation of even order in the variable x. The general solution of the differential equation is found. To find the unknown constants an algebraic equation is solved and an estimate for the decision itself and its derivatives is otained.

The formal solution of the boundary value problem is obtained in the form of an infinite series in eigenfunctions. To prove the uniform convergence of the last series composed of the partial derivatives, first using Cauchy-Bunyakovsky inequality, the series consisting of two variables is decomposed into two one-dimensional series, and estimates for the Fourier coefficients are used.

Key words: eigenvalues, eigenfunctions, uniform convergence, Green's function, Bessel inequality.

i Надоели баннеры? Вы всегда можете отключить рекламу.