Научная статья на тему 'О полноте одной пары биортогонально сопряженных систем функций'

О полноте одной пары биортогонально сопряженных систем функций Текст научной статьи по специальности «Математика»

CC BY
189
74
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
СОБСТВЕННЫЕ ЗНАЧЕНИЯ / EIGENVALUES / СОБСТВЕННЫЕ ФУНКЦИИ / СОПРЯЖЕННАЯ ЗАДАЧА / ADJOINT PROBLEM / ПОЛНАЯ СИСТЕМА ФУНКЦИЙ / COMPLETE SYSTEM OF FUNCTIONS / EIGENFUNCTIONS

Аннотация научной статьи по математике, автор научной работы — Гималтдинова Альфира Авкалевна, Курман Ксения Владимировна

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

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

On the completeness of a pair of biorthogonally conjugated systems of functions

In this paper we studied the spectral problem for an ordinary second order differential equation on a finite interval with a discontinuous coefficient of the highest derivative. At the ends of the segment the boundary conditions of the first kind are given. We found eigenvalues with their asymptotic behavior as the roots of the transcendental equation. The system of eigenfunctions is the trigonometric sine on one half of the segment, and the hyperbolic sine on the other. The system of eigenfunctions is not orthogonal in the space of square integrable functions. The corresponding biorthogonal system of functions was built as a solution to the dual problem. In the proof of the completeness of the biorthogonal system we used well known Keldysh theorem about the completeness of the eigenfunctions system of a nonselfadjoint operator.

Текст научной работы на тему «О полноте одной пары биортогонально сопряженных систем функций»

Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки. 2015. T. 19, № 1. С. 7—18

ISSN: 2310-7081 (online), 1991-8615 (print) doi: http://dx.doi.org/10.14498/vsgtu1385

Дифференциальные уравнения и математическая физика

УДК 517.927.25

0 ПОЛНОТЕ ОДНОЙ ПАРЫ БИОРТОГОНАЛЬНО СОПРЯЖЕННЫХ СИСТЕМ ФУНКЦИЙ* *

А. А. Гималтдинова1, К. В. Курман2

1 Поволжская государственная социально-гуманитарная академия,

Россия, 443099, Самара, ул. М. Горького, 65/67.

2 Башкирский государственный университет, Стерлитамакский филиал,

Россия, 453103, Стерлитамак, ул. Ленина, 47 a.

Аннотация

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

Ключевые слова: собственные значения, собственные функции, сопряженная задача, полная система функций. doi: http://dx.doi.org/10.14498/vsgtu1385

При доказательстве единственности решения краевых задач для дифференциальных уравнений в частных производных можно применять метод

© 2015 Самарский государственный технический университет.

Образец для цитирования

Гималтдинова А. А.,КурманК. В. О полноте одной пары биортогонально сопряженных систем функций // Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2015. T. 19, № 1. С. 7-18. doi: 10.14498/vsgtu1385.

Сведения об авторах

Альфира Авкалевна Гималтдинова (к.ф.-м.н., доц.; [email protected]; автор, ведущий переписку), докторант, каф. математики и методики обучения.

Ксения Владимировна Курман ([email protected]), аспирант, каф. математического анализа.

* Настоящая статья представляет собой расширенный вариант доклада [1], сделанного авторами на Четвёртой международной конференции «Математическая физика и её приложения» (Россия, Самара, 25 августа - 1 сентября 2014).

7

Гималтдинова А. А., Курман К. В.

В. И. Ильина [2], использующий полноту в L2 соответствующей системы собственных функций. Таким методом, например, исследована задача Дирихле для уравнений смешанного типа с одной линией изменения типа в прямоугольной области в работах [3,4].

При изучении задачи Дирихле для уравнения Лаврентьева—Бицадзе с двумя линиями изменения типа

Lu = (sign x)uxx + (sign y)uyy = 0

в прямоугольной области D = {(x,y) £ R2 | —1 < x < 1, —a < y < в}, a, в > 0, возникает следующая спектральная задача.

Задача. Найти значения X = у2 £ C и соответствующие функции X(x), удовлетворяющие условиям:

(signx)X" + XX = 0, x £ (—1, 0) U (0,1), (1)

X(0 + 0)= X(0 — 0), X'(0 + 0)= X'(0 — 0), X(1) = X(—1) = 0. (2)

В работе [5] изучена похожая задача, найдена система собственных функций и исследована на полноту, только коэффициент при старшей производной в дифференциальном уравнении был кусочно-постоянным с положительными значениями.

Ранее в работе [6] доказана полнота и базисность в L2(0,1) одной системы разрывных собственных функций для оператора второго порядка с постоянным коэффициентом при старшей производной, но с нелокальными условиями.

Уравнение (1) можно записать в виде X" + X(sign x)X = 0, то есть имеем задачу с условиями сопряжения во внутренней точке для уравнения со знакопеременной весовой функцией.

В работе [7] изучались спектральные задачи для обыкновенных дифференциальных операторов второго и четвёртого порядка с условиями сопряжения во внутренней точке и с кусочно-постоянным весовым коэффициентом, но система собственных функций не исследована на полноту.

В работе [8] рассмотрены спектральные задачи с незнакоопределенной весовой функцией для самосопряжённого эллиптического оператора, приведены примеры из математической физики, иллюстрирующие возникновение таких задач.

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

Решениями уравнения (1), удовлетворяющими условиям (2), являются функции

X( ) = J C cos yx + C2 sin yx, x > 0,

(x) = ( Ci ch yx + C2 sh yx, x < 0,

где Ci, C2 — произвольные постоянные, у является решением уравнения

tg у = — th у. (3)

Лемма 1. Уравнение

tg(az) = — th(bz), a, b £ R, a, b> 0, (4)

8

О полноте одной пары биортогонально сопряженных систем функций

имеет счётное множество корней, состоящее из нуля, простых попарно противоположных действительных и попарно противоположных чисто мнимых корней, для которых справедливо асимптотическое представление

Jl),(2)

zk

z(3),(4)

zk

±i

±(—4a + ak+°(e-2nkb/“l),

-4 + nk + O(e~2nka/b)), k e N. 4b b v

Доказательство. Очевидно, z = 0 является корнем уравнения (4). Пусть далее z = 0, z = x + iy, x,y e R.

1. Пусть y = 0. Найдём корни уравнения

tg(ax) = — th(bx). (5)

Рассмотрим x > 0, т. к., очевидно, корни попарно противоположны. Из графиков функций tg(ax) и — th(bx) видно, что уравнение имеет ровно по одному корню в каждом из интервалов

7Г 7Г , 7Г ,

—-—I— k < xk < — k, k = 1,2,--

2a a a

Рассмотрим tg тогда

a|xk —1— 2a + ak

= — ctg(axk) =

th(bxk)

поэтому

Пусть

7Г 7Г

axk + 2 — nk ^ ^,

7Г 7Г ,

xk ^ —-—I— k при k

4a a

7Г 7Г 7 ,7 x

xk = —^ + -k + e(k),

4a a

.

1 при k ^ to,

где limk^TO e(k) = 0. Подставим их в уравнение (5):

( п \ , ( nb nbk , .

tg(— 4+4k + a4 =—th(— 4a + ar+b£).

1

Обозначим

nb nbk

— a—1 = N

4a a

тогда последнее равенство приводится к виду

(1 — tg(ae))(l + th s ■ th(be)) = (1 + tg(ae))(th s + th(be)). Используя асимптотические равенства

tg x = x + o(x), th x = x + o(x) при x ^ 0,

9

Гималтдинова А. А., Курман К. В.

th s =

1 - e-2s

1 + e-2s

после преобразований получим

1

32- = 1 — 2e 2s + o(e 2s) при s

+rc>,

e(k) = - eb(-2nk+n/2)/a + o(e-2nfc6/“).

Тогда

или

Xk

= — — + -k + - e6(-2nk+n/2)/“ + o(e л~ '■ a

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

—2nk<

П П .

Xk = —A + - k + O(e-2nkb/a).

4 a a

2. При x = 0 получим tg(aiy) = — th(biy) или th(ay) = — tg(by), откуда найдём

yk = — 4b + Ik + O(e-2nka/b).

3. Докажем, что исходное уравнение не имеет других корней. Пусть z = = x + iy, x = 0, y = 0.

Используя формулы

. . sin2x + i sh2y . sh2x + i sin2y

tg(x + iy) =-----—' t~~A~ , th(x + iy) = y

cos 2x + ch 2y

ch 2x + cos 2y

из (4) получим

sh2bx

ch 2bx + cos 2by sin 2by

sin 2ax

cos 2ax + ch 2ay sh2ay

cos 2ax + ch 2ay ch 2bx + cos 2by ’

Очевидно, x = nn/(2a), y = nm/(2b), n,m G Z, тогда из последней системы получим уравнение

sh(2bx) sin(2by)

sin2ax sh2ay

Пусть 2ax = t, 2ay = z, b/a = k, рассмотрим уравнение

sh(kt) sin(kz)

(6)

k sin t

Докажем, что для функции

f (t) =

k sh z

sh(kt) k sin t

неравенство |f (t)| > 1 справедливо для всех t G R\{nn}.

1. Пусть t G (0, п), тогда sin t > 0. Для функции fi(t) = sh(kt) — k sin t имеем f1 (t) = k(ch kt — cos t) > 0, т. е. f1(t) > f1(0) = 0, поэтому

sh(kt)

sh(kt) > k sint или --------- > 1.

k sin t

10

О полноте одной пары биортогонально сопряженных систем функций

2. Пусть t £ (п, 2п), тогда sin t < 0. Для функции f2(t) = sh(kt) + k sin t справедливо f2(t) = k(chkt + cost) > 0, т. е. f2(t) > f2(n) = shnk, поэтому

sh(kt) > —k sin t + sh nk > —k sin t или

sh(kt) k sin t

> 1.

Аналогично можно показать выполнение неравенства |f (t)| > 1 на всех промежутках (пп, (п + 1)п), п ^ 2, а в силу чётности функции f (t) оно справедливо и при отрицательных t.

С другой стороны, для функции

g(z)

sin(kz) k sh z

справедливо |g(z)| < 1 при y £ R\{0}, что доказывается аналогично.

Таким образом, уравнение (6) не имеет корней.□

В силу леммы 1 уравнение (3) имеет счётное множество отличных от нуля корней и , причём для положительных ^ справедливо асимптотическое представление

^ = —П + nk + O(e-2nk), k £ N.

Тогда постоянная Л может принимать значения Л& = > 0 и Л& = —^| < 0,

и решениями задачи (1), (2) будут соответственно функции

ХА*)

sin[^fc(x - 1)] cos

sh[^fc (x + 1)] ch ;

x > 0, x < 0,

XX®)

sh[^fc(x - 1)] ch ;

sin[^fc (x + 1)] cos

x > 0, x < 0.

Легко убедиться, что система (X^^x), xk2)(x)} неортогональна в пространстве L2[—1, 1]. Поэтому рассмотрим сопряжённую задачу:

sgnx ■ Z" + d ■ Z = 0, x £ (—1, 0) U (0,1),

Z (0 — 0) = —Z (0 + 0), Z'(0 — 0) = —Z' (0 + 0), Z (—1) = Z (1)=0.

Её решениями являются функции

ZX (x)

sin[^fc (x — 1)] cos

sh[^fc (x + 1)] ch ,

x > 0, x < 0,

Zk2)(x)

sh[^fc (x — 1)] ch

sin[^fc (x + 1)] cos ,

x > 0, x < 0.

Система {Z^; Z^} является биортогонально сопряжённой к системе

{Х(1); Х(2)}, в чём можно убедиться по определению, вычислив соответствующие интегралы.

Лемма 2. Система {Z(1), Z(2)} полна в пространстве L2[—1,1].

11

Гималтдинова А. А., Курман К. В.

Доказательство проводится аналогично работе [5] на основании работы [9].

Рассмотрим оператор L, порождённый дифференциальными операциями IX = —X" при x £ (-1, 0) и IX = X" при x £ (0,1) на множестве функций, абсолютно непрерывных вместе со своей первой производной на [—1, 0), (0,1] и удовлетворяющих условиям (2).

Рассмотрим оператор L — XI = L—j2I, где Л £ C не является собственным значением оператора L, и обратим его.

Пусть функция X £ D(L) почти всюду на G = (—1,1) является решением уравнения

IX — j2X = f (x), f £ L2(G). (7)

Найдём фундаментальную систему решений однородного уравнения, соответствующего (7):

Xi(x) = exp(ijx), X2(x) = exp(—ijx), x £ (—1,0),

X3(x) = exp(jx), X4(x) = exp(—jx), x £ (0,1).

Используя метод вариации произвольных постоянных, получим общее решение уравнения (7) в виде

X(x) = C1Xi(x)+ C2X2(x) +

px

— 1

f (j)

Xi (x)X2(fl — Xi (№(x) X1 (№(j) — X(0X2(0 j

1x

= C1 exp(ijx) + C2 exp(—ijx) +— f (0 sin j(x — j)dj, x £ [—1,0],

j —i

X(x) = C3.Y3(x) + C4Y4W + f f (j) - X3(x№(j)dj =

'' Jx f j X'3{()X,(() — x3(j)xj(j) j

1 1'1

= C3 exp(jx) + C4 exp(—jx) +— f (j)sh j(j — x)dj, x £ [0,1],

j J x

где Ci, C2, C3, C4 — произвольные постоянные. Подставляя найденные функции в условия (2), получим систему уравнений

Ci + C2 — -j

1i

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

f (j) sin( jj)dj = C3 + C4 + - f (j) sh( jj)dj,

i j J 0

Ciij — C2ij + J f(J)cos(jJ)dJ = C3j — C4j — J f(j) ch jjdj,

—i 0

C3e^ + C4e—^ = 0, Cie—* + C2e^ = 0,

которая имеет следующее решение:

C2 =

1 — e2^ ( f0

jA

f (j) cos( jj)dj + / f (j) ch(jj)dj ) +

—i 0

+

1 + e2^ f0 jA

i

f(j) sin(jj)dj + f(j) sh(jj)dj ,

i0

i

12

О полноте одной пары биортогонально сопряженных систем функций

Сз =

1 _ g2iu / г0

дA

f (С) cos(дб)^С + jf f (С)сЬ(дС)^^ -

- i(1 +A ) (/: f(с) sin(^c)dc +^f(с) sh(^c)dc) ,

С4 = -Сз e2», Cl = -С2 e2i»,

где A = (1 + e2»)(1 — e2i») + i(1 + e2i»)(1 — e2»). Тогда решение для x G [-1,0]

имеет вид

1 + e2» /

AT(x) = —A— (J f (С) cos^)dC + ^ f (С) А(дСк) (e-i»x — e2i»+i»x) + f (c) sin(^e)de + jf1 f со sh(^e)d^ (e-i»x — e2i»+i»x) +

+ f f(c)sin(^(x — c))dc (8)

и для x G [0,1] соответственно

1 _ e2*M / /•0

дХТ(х) = ( J 1 f (С) cos^)dc + ^ f (С) А(дСк) (e»x — e2»-»x) —

^ f (С) sin(^c)dc + J f (С) sh(^c)d^ (e»x — e2»-»x) +

+ / f(c)sh(^(C — x))dC. (9)

x

A V 7-1

i(1 + e2i») ^ f0

A

Преобразуем (8) следующим образом:

дВД = A

e—i»x e2i»+i»x -

e-i»x e2i»+i»x fl

rl rx

J f(0(e»? — e2»-»?)d£ + J f(c)sin(^(x — СЖ+

+

A

e-i»x e2i»+i»x pl

0

(1 — e2») J f (С) cos дС^С + (1 + e2») J ^ f (С) sin дС^С

A

lx

l f(C)(e»? — e2»-»«)dC + J f(C)sin^(x — C))dC+

e-i»x e2i»+i»x - rx rx

+-----:--- (1 — e2») J f(C)cosдС^С + (1 + e2») J f(C)sinдС^С

/•0 /-0

A

+

+

e-i»x e2i»+i»x -

A

(1 — e2») / f (С) cos дС^С + (1 + e2») / f (С) sin дС^С

Сгруппируем в последней сумме слагаемые с интегралами от —1 до x, тогда получим

дХ^) =

e-

—i»x e2i»+i»x /*1

e

Т

/ f(0(e»? — e2»-»«)d£+ 0

l

0

0

13

Гималтдинова А. А., Курман К. В.

+

(1 _ е2^)(ещх + е-щх) _ + е2^)(ещх _ е-щх) rx

+

2 A

g—i'x g2i^+i^x

f (£)(e—^? _e2i'+^? )d£+

i-i

A

Г°

(1 _ e2^W f ({)cos ц^£+

х f0

+(1 + e2^W f (£)sin ^d£

х

x e [-1,0]. (10)

Найдём оценку решения цX(x) в полуплоскости 1тц < 0. Пусть ц = ц1 + + *ц2, Ц1,Ц2 e R. Оценим модули выражений из (10) при ц2 < 0. В таблице ниже приведены оценки роста указанных величин для ц > 0 и ц < 0.

№ Выражение Ц1 > 0, Ц2 < 0 Ц1 < 0, Ц2 < 0

1 e—i^x _ e2iu+iux х < 0 Ce—M2(2+x) Ce—'2(2+x)

2 A Ce2'i—2'2 Ce—2'2

3 d“? _ e2'-'?, £ > 0 Ce'l(2—?) Ce'1?

4 /f (£)(e'? _ e2'-'*)d£ Ce2'1 C

5 e2' Ce2'1 Ce2'1

6 dos ц£, sin ц£, £ < 0 Ce'2? Ce'2?

7 f(£) со0ц£ЖA f(£)sin(^£)d£ Ce'2x Ce'2x

8 xx d—i'? _ e2i'+i'?, £ ^ 0 Ce—'2(2+?) Ce—'2(2+?)

9 x f (£)(e—iM? _ e2i'+i'? )d£ Ce—'2(2+x) Ce—'2(2+x)

10 ei'x ± e—i'x, _1 ^ x ^ 0 Ce'2x Ce'2x

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

С учётом полученных оценок можно убедиться, что все слагаемые, входящие в (10), ограничены, более того, являются убывающими. Поэтому для решения (10) справедлива оценка

|цХ(х)| ^ C = const, (11)

равномерная по ц при ц2 < 0 и х e [_1, 0],

Аналогично преобразуем (9) к виду

e/Ux _ e2^—^x fO

цХ(х) =-------A-----J f (£)(e—^? _ e2i'+^?)d£+

A

+ (1 _ e2i^)(e^x + e—^x) _ i(1 + e2iQ(e'x _ e—'x) [1 f (£)(eM? _ ^u?)d£+

+

2A

e^x e2^—^x

A

x

(1 _ e2i^W f (£)ch ^d£_ J 0

x

_ i(1 + e2i') / f(Osh^d£

Jo

, x e [0,1]. (12)

Аналогично найдём оценку решения (12). В следующей ниже таблице приведены оценки роста модулей выражений, входящих в (12), при ц2 < 0 (ц1 > 0

14

О полноте одной пары биортогонально сопряженных систем функций

и у1 < 0). Таким образом, справедлива оценка (11), равномерная по у при У2 < 0 и x £ [0,1].

№ Выражение у 1 > 0, У2 < 0 у 1 < 0, У2 < 0

1 e^x — е2м-мх, x > 0 CeMi (2-x) CeMix

2 A Ce2^i-2^2 Ce-2^

3 e-iu£ — e2, £ < 0 f0 J f (£)(e-iM? — e2i^+i^ )d£ e2iM Ce-£2(2+?) Ce-£2(2+?)

4 Ce-2^2 Ce-2^2

5 Ce-2^ Ce-2^

6 Chy£, sh y£, £ > 0 Cew? Ce-Mi?

7 [ f(£)ch(y£)d£^ f(£)sh(y£)d£ Jx J0 crt — e2M-M?, £ ^ 0 f f (£)И — e2^«)d£ Ce^ix Ce-Mix

8 Ce^l(2-?) Cew?

9 CeMi(2-x) Ce^ix

10 eAx ± e-^x, 0 ^ x ^ 1 CeMix Ce-Mix

Итак, для решения уравнения (7), удовлетворяющего условиям (2), справедлива оценка (11), равномерная по у при у2 < 0 и x £ [-1,1].

Аналогично работе [9] можно установить, что в окрестности каждого собственного значения v оператора L для функции X(x) справедливо представление

' 1 f1 —

X(x) = — -----X(x) / f (£)Z(£)d£ + R(x, Л), (13)

л — v j-i

где X(x), Z(x) — собственные функции операторов L и L*, отвечающие собственному значению v, а R(x, Л) —аналитическая по Л в окрестности точки v функция.

Пусть f (x) —функция из L2(G), ортогональная всем собственным функциям {Z(x)} оператора L*. Согласно (13), главная часть резольвенты оператора L — Л1 обратится в нуль и функция X(x) будет аналитической на всей комплексной плоскости. Но тогда по теореме Фрагмена—Линделефа [10] оценка (11) верна на всей комплексной плоскости (Л), поэтому в силу аналитичности X(x) будем иметь тождество X(x) = 0, x £ G. Тогда из (7) получим, что f (x) =0 на G.

Таким образом, система {Z^, Z^2)} полна в пространстве L2[—1,1]. □

Замечание. Из полноты системы {Z^, Z^} в L2[—1,1] следует замкнутость системы {X^, X^2)} в L2[—1,1].

Благодарности. Работа выполнена при финансовой поддержке Российского фонда фундаментальных исследований (проект № 14-01-97003-а).

ORCID

Альфира Авкалевна Гималтдинова: http://orcid.org/0000-0001-7535-213X

Ксения Владимировна Курман: http://orcid.org/0000-0001-9586-1089

15

Гималтдинова А. А., Курман К. В.

БИБЛИОГРАФИЧЕСКИЙ СПИСОК

1. Гималтдинова А. А., Курман К. В. О полноте одной пары биортогонально сопряженных систем функций / Четвертая международная конференция «Математическая физика и ее приложения»: материалы конф.; ред. чл.-корр. РАН И. В. Волович; д.ф.-м.н., проф. В. П. Радченко. Самара: СамГТУ, 2014. С. 122-123.

2. Ильин В. А. О разрешимости смешанных задач для гиперболического и параболического уравнений// УМН, 1960. Т. 15, №2(92). С. 97-154.

3. Сабитов К. Б. Задача Дирихле для уравнений смешанного типа в прямоугольной области// Докл. РАН, 2007. Т. 413, №1. С. 23-26.

4. Сабитов К. Б., Мелишева Е. П. Задача Дирихле для нагруженного уравнения смешанного типа в прямоугольной области // Изв. вузов. Матем., 2013. №7. С. 62-76.

5. Ломов И. С. Негладкие собственные функции в задачах математической физики // Диффер. уравн.. Т. 47, №3. С. 358-365.

6. Ломов И. С. Пример разрывного оператора, имеющего разрывный сопряженный. Свойство базисности / Задачи математической физики и спектральная теория операторов: Сб. ст. / Научные труды/ Московский энергетический ин-т, Т. 215. М.: МЭИ, 1989. С. 46-50.

7. Митрохин С. И. Спектральная теория операторов: гладкие, разрывные суммируемые коэффициенты. М.: Интуит, 2009. 364 с.

8. Егоров И. Е. Пятков С. Г., Попов С. В. Неклассические дифференциально-операторные уравнения. Новосибирск: Наука, 2000. 336 с.

9. Келдыш М. В. О полноте собственных функций некоторых классов несамосопряженных линейных операторов// УМН, 1971. Т. 26, №4(160). С. 15-41.

10. Гельфанд И. М., Шилов Г. Е. Пространства основных и обобщенных функций. М.: Наука, 1958. 308 с.

Поступила в редакцию 19/XII/2014; в окончательном варианте — 18/II/2014; принята в печать — 25/II/2015.

16

О полноте одной пары биортогонально сопряженных систем функций

Vestn. Samar. Gos. Techn. Un-ta. Ser. Fiz.-mat. nauki

[J. Samara State Tech. Univ., Ser. Phys. & Math. Sci.], 2015, vol. 19, no. 1, pp. 7—18

ISSN: 2310-7081 (online), 1991-8615 (print) doi: http://dx.doi.org/10.14498/vsgtu1385

MSC: 34L10

ON THE COMPLETENESS OF A PAIR OF BIORTHOGONALLY CONJUGATED SYSTEMS OF FUNCTIONS

A. A. Gimaltdinova, K. V. Kurman

1 Samara State Academy of Social and Humanities,

65/67, M. Gorky st., Samara, 443099, Russian Federation.

2 Sterlitamak Branch of Bashkir State University,

47 a, Lenin st., Sterlitamak, 453103, Russian Federation.

Abstract

In this paper we studied the spectral problem for an ordinary second order differential equation on a finite interval with a discontinuous coefficient of the highest derivative. At the ends of the segment the boundary conditions of the first kind are given. We found eigenvalues with their asymptotic behavior as the roots of the transcendental equation. The system of eigenfunctions is the trigonometric sine on one half of the segment, and the hyperbolic sine on the other. The system of eigenfunctions is not orthogonal in the space of square integrable functions. The corresponding biorthogonal system of functions was built as a solution to the dual problem. In the proof of the completeness of the biorthogonal system we used well known Keldysh theorem about the completeness of the eigenfunctions system of a nonselfadjoint operator.

Keywords: eigenvalues, eigenfunctions, adjoint problem, complete system of functions.

doi: http://dx.doi.org/10.14498/vsgtu1385

Acknowledgments. This work has been supported by the Russian Foundation for Basic Research (project no. 14-01-97003-a).

ORCID

Alfira A. Gimaltdinova: http://orcid.org/0000-0001-7535-213X Ksenija V. Kurman: http://orcid.org/0000-0001-9586-1089

© 2015 Samara State Technical University.

How to cite Reference

Gimaltdinova A. A., Kurman K.V. On the completeness of a pair of biorthogonally conjugated systems of functions, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. & Math. Sci.], 2015, vol. 19, no. 1, pp. 7-18. doi: 10.14498/vsgtu1385. (In Russian)

Authors Details

Alfira A. Gimaltdinova (Cand. Phys. & Math. Sci.; [email protected]; Corresponding Author), Doctoral Candidate, Dept. of Mathematics and methods of teaching.

Ksenija V. Kurman ([email protected]), Postgraduate Student, Dept. of Mathematical Analysis.

*This paper is an extended version of the paper [1], presented at the Mathematical Physics and Its Applications 2014 Conference.

17

Гималтдинова А. А., Курман К. В.

REFERENCES

1. Gimaltdinova A. A., Kurman K. V. On the completeness of a pair of biorthogonally conjugated systems of functions, The 4nd International Conference “Mathematical Physics and its Applications”, Book of Abstracts and Conference Materials; ред. I. V. Volovich; V. P. Radchenko. Samara, Samara State Technical Univ., 2014, С. 122-123 (In Russian).

2. Il’in V. A. The solvability of mixed problems for hyperbolic and parabolic equations, Russian Math. Surveys, 1960, vol. 15, no. 1, pp. 85-142. doi: 10.1070/RM1960v015n02ABEH004217.

3. Sabitov K. B. Dirichlet problem for mixed-type equations in a rectangular domain, Dokl. Math., 2007, vol. 75, no. 2, pp. 193-196. doi: 10.1134/S1064562407020056.

4. Sabitov K. B., Melisheva E. P., Russian Math. (Iz. VUZ), 2013, vol. 57, no. 7, pp. 53-65. doi: 10.3103/S1066369X13070062.

5. Lomov I. S. Nonsmooth eigenfunctions in problems of mathematical physics, Differ. Equ., 2011, vol. 47, no. 3, pp. 355-362. doi: 10.1134/S0012266111030062.

6. Lomov I. S. Example of discontinuous operator with a discontinuous adjoint operator. Basis property, Zadachi matematicheskoi fiziki i spektral’naia teoriia operatorov [Problems of Mathematical Physics and Spectral Theory of Operators], Collection of Scientific Papers of Moscow Power Engineering Institute, vol. 215. Moscow, Moscow Power Engineering Inst, 1989, pp. 46-50 (In Russian).

7. Mitrokhin S. I. Spektral’naia teoriia operatorov: gladkie, razryvnye summiruemye koeffitsienty [Spectral Theory of Operators: Smooth, Discontinuous, and Integrable Coefficients]. Moscow, Intuit, 2009, 364 pp. (In Russian)

8. Egorov I. E. Pyatkov S. G., Popov S. V. Neklassicheskie differentsial’no-operatornye uravneniia [Nonclassical differential-operator equations]. Novosibirsk, Nauka, 2000, 336 pp. (In Russian)

9. Keldysh M. V. On the completeness of the eigenfunctions of some classes of non-selfadjoint linear operators, Russian Math. Surveys, 1971, vol. 26, no. 4, pp. 15-44. doi: 10.1070/ RM1971v026n04ABEH003985.

10. Gel’fand I. M., Shilov G. E. Generalized functions, vol. 2, Spaces of Fundamental and Generalized Functions. New York, London, Academic Press, 1968, viii+261 pp.. doi: 10.1016/ B978-1-4832-2977-5.50001-6

Received 19/XII/2014;

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

received in revised form 18/II/2014;

accepted 25/II/2015.

18

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