Задача дирихле для уравнения смешанного типа второго порядка 2007 Т. А. Сафонова 1


Download 225.94 Kb.
Pdf ko'rish
Sana10.12.2020
Hajmi225.94 Kb.
TuriЗадача

254

Вестник СамГУ — Естественнонаучная серия. 2007. №6(56).

УДК 517.956.4

ЗАДАЧА ДИРИХЛЕ ДЛЯ УРАВНЕНИЯ СМЕШАННОГО

ТИПА ВТОРОГО ПОРЯДКА

© 2007

Т.А. Сафонова



1

В работах С.Г. Пяткова, И.Е. Егорова, С.В. Пяткова и других поставлены

и исследованы новые задачи для уравнений смешанного типа. В этой ста-

тье рассматривается задача Дирихле для уравнения смешанного типа. При

этом используется метод Фурье, причем разложение неизвестной функции

проводится по собственным функциям одной неклассической спектральной

задачи.

1. Постановка задачи Дирихле



Исследуем разрешимость задачи Дирихле для уравнения смешанного типа

Lu

sgn xu



tt

− u



xx

sgnx f (xt), −1 < < 1, 0 < T.

(1)

u(

−1, t) = u(1, t) = 0, 0 < T,

(2)

u(0

+, t) = u(0−, t), u



x

(0

+, t) = u





x

(0

−, t), −1 < < 1,



(3)

u(x

, 0) = u(xT) = 0, −1 < < 1,

(4)

где


(x

t) ∈ L

2

((

−1, 1), H



0

). H

0

L



0

(

−1, 1) — пространство с индефинитной метри-



кой [2]

(u

v)

0

=



+

1

−1



sgnxuvdx

.

Пусть однородное уравнение (1) имеет решение вида



u(x

t) = X(x)T(t). Подста-

вим

в уравнение (1) и поделим обе части на u

XT. Получим обыкновенные

дифференциальные уравнения

X



(x)



+ λsgn xX(x) = 0,

−1 < < 1,



T



(t)



+ λT(t) = 0,

0

T,

где

λ = const.



2. Решение одной спектральной задачи

В дальнейшем будем пользоваться свойствами собственных значений и соб-

ственных функций спектральной задачи:

X



(x)



+ λsgn xX(x) = 0,

−1 < < 1,

(5)

1

Сафонова Татьяна Афанасьевна (safonovata@mail.ru), Институт математики и информати-



ки Якутского государственного университета имени М.К. Аммосова, 677011, Россия, г. Якутск,

ул. Кулаковского, 48.



Задача Дирихле для уравнения смешанного типа второго порядка

255


X(

−1) = X(1) = 0,

−1 < < 1,

(6)


X(0

+) = X(0−),



X



(0



+) = X



(0



−),

−1 < < 1,

(7)

где (7) — условия склеивания. Решив спектральную задачу, получим собственные



функции. Собственные функции, соответствующие

λ > 0, будут иметь вид:

ϕ

+

k



(x)

=

⎧⎪⎪



⎪⎪⎪⎪⎪

⎪⎪⎪⎪⎪



⎪⎪⎩

sin


λ

+



k

(1

− x)



cos

λ



+

k

> 0,



sh

λ



+

k

(1

x)



ch

λ



+

k

< 0,



k

= 1, 2, . . . ,

собственные числа удовлетворяют уравнению

− tg


λ = th


λ. Собственные функ-

ции, соответствующие

λ < 0:


ϕ



k

(x)

=

⎧⎪⎪



⎪⎪⎪⎪⎪

⎪⎪⎪⎪⎪



⎪⎪⎩

sh



−λ



k

(1

− x)



ch

−λ





k

> 0,

sin



−λ





k

(1

x)



cos

−λ





k

< 0,



k

= 1, 2, . . . ,

собственные числа удовлетворяют уравнению

− tg


−λ = th


−λ.


Собственные функции образуют ортогональную систему в пространстве

H

0

.



Спектральные задачи такого рода встречаются в работах [1, 2, 5]. Полнота функ-

ций


ϕ



k

, ϕ

+

k



в пространстве

H

0

доказана в работе [2].



3. Метод Фурье решения краевой задачи

Общее решение задачи (1)–(4) будем искать в виде:



u(x

t) =

*

k



=1

T

+

k

(t)

ϕ

+



k

(x)

+



*



k

=1

T



k

(t)

ϕ



k



(x)

.

(8)



Далее считаем, что

f

H

0

, где



H

0



— подпространство, образованное функциями

ϕ



k

при


k

= 1, 2, 3.... Подставим (8) в уравнение (1) и после некоторых преобразо-

ваний получим два дифференциальных уравнения:

T

+


k

(t)

+ λ

+

k



T

+

k

(t)

f

+

k

(t)

,

T

−


k

(t)

+ λ



k



T



k

(t)

= 0.


Учитывая условия (4), для положительных собственных значений получим:

T

+


k

(t)

+ λ

+

k



T

+

k

(t)

f

+

k

(t)

,

(9)


T

+

k

(0)

T



+

k

()

= 0.

(10)


Общее решение уравнения (9) будем искать в виде:

T

+

k

(t)

a



k

cos


)

λ

+



k

t

b



k

sin


)

λ

+



k

t

.

Из условий (10) найдем коэффициенты



a

k

,

b



k

. При этом общее решение будет

иметь вид

T

+

k

(t)

=

1



λ

+



k

+

t

0

f

+

k

(

τ) sin


)

λ

+



k

(t

− τ)dτ−

sin



λ

+



k

t

λ



+

k

sin


λ

+



k

T

+

T

0

f

+

k

(

τ) sin


)

λ

+



k

(T

− τ)dτ.


256

Т.А. Сафонова

Для отрицательных собственных значений:



T

−


k

(t)

+ λ



k



T



k

(t)

= 0,


(11)

T



k

(0)

T





k

()

= 0.

(12)


Спектральная задача (11), (12) будет иметь нулевое решение

T



k

(t)

= 0.


Обоснование метода Фурье состоит в исследовании того случая, когда ряд (8)

сходится в норме того или иного функционального пространства [3, 4]. Исследуем

равномерную сходимость ряда (10)для любого

t

∈ [0, T] по норме пространства H



s

:

u(xt)

2

s

=



*

k

=1

|T



+

k

(t)

|

2



+

k

|

s

+



*



k

=1

|T





k

(t)

|

2

|−λ





k

|

s

.

Пусть выполнены условия



sin

)

λ



+

k

T

| δ


0

> 0


(13)

для любого натурального к.

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

H

1

при



t

∈ [0, T], для этого достаточно проверить, что равномерно сходится на [0, T] сле-

дующий ряд:

*



k

=1







1

,



λ

+

k

+

t

0

f

+

k

(

τ) sin



)

λ

+



k

(t

− τ)dτ−



sin

λ

+



k

t

,

λ



+

k

sin


λ

+



k

T

+

T

0

f

+

k

(

τ) sin


)

λ

+



k

(T

− τ)dτ






2



+

k

| 


 2

*



k

=1







+

t

0

f

+

k

(

τ) sin


)

λ

+



k

(t

− τ)dτ






2

+



+

2

δ



2

0



*

k

=1







+

T

0

f

+

k

(

τ) sin


)

λ

+



k

(T

− τ)dτ






2

.



(14)

По неравенству Гельдера имеем






+

t

0

f

+

k

(

τ) sin



)

λ

+



k

(t

− τ)dτ








2





+

t

0

f



+

k

(

τ)|dτ





2

T



+

T

0

f



+

k

(

τ))



2

d

τ.

(15)



В силу равенства Парсеваля

*



k

=1

f



+

k

(

τ))



2

=   (τ)

2

.

(16)



Ряд (16) по теореме Дини сходится равномерно. Но тогда и проинтегрирован-

ный ряд сходится равномерно. Из неравенства (15) по теореме Вейерштрасса сле-

дует, что ряд (14) сходится равномерно. Отсюда следует, что равномерно сходится

и ряд (8), и



u

∈ C([0, T], H

1

).

Продифференцируем ряд (8) по t, получим ряд



u

t

(x

t) =

*



k

=1

T



+

k



(t)

ϕ

+



k

(x)

,

который равномерно сходится и



u

t

∈ C([0, T], H

0

).


Задача Дирихле для уравнения смешанного типа второго порядка

257


Доказательство аналогично предыдущему.

Далее продифференцируем ряд (8) по



дважды, получим ряд:

u

tt

(x

t) =

*



k

=1

T

+

k



(t)

ϕ

+



k

(x)

.

Покажем равномерную сходимость этого ряда в метрике пространства



H

−1

, если



установим, что равномерно сходится ряд

*



k

=1





f

+

k

(t)

,



λ

+

k

+

t

0

f

+

k

(

τ)sin



)

λ

+



k

(t

− τ)dτ+

+

,



λ

+

k



sin

λ



+

k

t

sin

λ



+

k

T

+

T

0

f

+

k

(

τ)sin



)

λ

+



k

(T

− τ)dτ






2

1



+

k

|



 3



*

k

=1

1



+

k

|

f



+

k

(t)

|

2

+ 3



*

k

=1






+

t

0

f

+

k

(

τ)sin



)

λ

+



k

(t

− τ)dτ






2

+



+

3

δ



2

0



*

k

=1







+

T

0

f

+

k

(

τ)sin



)

λ

+



k

(T

− τ)dτ






2

.



Здесь

λ

+



k

заменим наименьшим

λ

+

1



. Далее, используя неравенство Гельдера и

равенство Парсеваля, аналогично предыдущему получим равномерную сходимость

полученного ряда. Из чего следует, что дважды продифференцированный по

ряд

равномерно сходится и



u

tt

∈ C([0, T], H

−1

).

Решение



u(x

t) ∈ C([0, T], H

1

) 2 C



1

([0


T], H

0

) должно удовлетворять интегрально-



му тождеству

+



T

0

(sgn xu



t

, η


t

)dt

+

+

T



0

(u



x

, η


x

)dt

=

+

T



0

(sgn x f

, η)dt,

(17)


где

η — некоторая функция, такая что

η ∈ = {C([0, T], H

1

)



B

C

1

([0



T], H

0

)



, η(x, 0) = 0, η(xT) = 0}.

Имеем


+

T

0

(sgn xu



t

, η


t

)dt

=

= −


*

k

=1

+

T



0

(sgn x

ϕ

+

k



(x)

, η


t

)

+



t

0

f

+

k

(

τ) cos



,

λ

+



k

(t

− τ)dτ−

sin



,

λ

+



k

t

sin


,

λ

+



k

+

T

0

f

+

k

sin

,

λ



+

k

(T

− τ)dτ

⎟⎟⎟⎟⎟



⎟⎟⎟⎟⎟



dt

.

Далее проинтегрируем по частям в левой части последнего равенства, учитывая,



что

η(x, 0) = 0, η(xT) = 0, получим

+

T



0

(sgn xu



t

, η


t

)dt

=



*



k

=1

+



T

0

(sgn x



ϕ

+

k

(x)

, η)


258

Т.А. Сафонова



f

+

k

(t)

,

λ



+

k

+

t

0

f

+

k

(

τ) sin


,

λ

+



k

(t

− τ)dτ+

+

,



λ

+

k

cos

,

λ



+

k

t

sin


,

λ

+



k

+

T

0

f

+

k

sin

,

λ



+

k

(T

− τ)dτ

⎟⎟⎟⎟⎟



⎟⎟⎟⎟⎟



dt

=

=



*

k

=1

+



T

0

(sgn x



ϕ

+

k

(x)

, η) f

+

k

(t)dt



*



k

=1

+



T

0

(



λ

+

k

)T

+

k

(t)(sgnx

ϕ

+



k

(x)

, η)dt.

(18)


Рассмотрим равенство

+

T

0

(u



x

, η


x

)dt

=



*



k

=1

+



T

0

T

+

k

(t)(

ϕ



+



k

(x)

, η

x

)dt

,

также, интегрируя его по частям, получим



+

T

0

(u



x

, η


x

)dt

=



*



k

=1

+



T

0

(



λ

+

k

)T

+

k

(t)(sgn x

ϕ

+



k

(x)

, η)dt.

(19)


Сложим (18) и (19), приняв во внимание, что

*



k

=1

f

+

k

(t)

ϕ

+

k



(x)

(xt),

получим



+



T

0

(sgn xu



t

, η


t

)dt

+

+

T



0

(u



x

, η


x

)dt

=

+

T



0

(sgn x f

, η)dt, то есть тождество (17).

В результате получаем следующее:

Теорема. Пусть выполнены условия (13), ∈ L

2

((



−1, 1), H

0

) и f



L

2

((



−1, 1), H

0

),



тогда ряд (8) равномерно сходится и

u(x

t) ∈ C([0, T], H

1

), ряды, полученные из ря-



да (8) однократным и двукратным дифференцированием по

t, также равномерно

сходятся, и



u

t

(x

t) ∈ C([0, T], H

0

), u



tt

(x

t) ∈ C([0, T], H

−1

). u(x



t) удовлетворяет тожде-

ству (17) и является обобщенным решением задачи Дирихле.

Литература

[1]


Бускарова, О.Ф. О методе Фурье для решения параболического уравнения с

меняющимся направлением времени / О.Ф. Бускарова // Научная конферен-

ция студентов и молодых ученых Республики Саха (Якутии): тез. докл. —

Якутск: НИИ ПМиИ ЯГУ, 1997. – С. 7.

[2]

Егоров, И.Е. Неклассические дифференциально-операторные уравнения /



И.Е. Егоров, С.В. Попов, С.Г. Пятков. – Новосибирск: Наука, 2000. – 336 c.

[3]


Ладыженская, О.А. Краевые задачи математической физики / О.А. Лады-

женская. – М.: Наука, 1973. – 408 c.

[4]

Михлин, С.Г. Курс математической физики / С.Г. Михлин. – М.: Наука,



1968. – 576 с.

[5]


Федоров, Ф.М. Граничный метод в задачах с переменным направлением вре-

мени / Ф.М. Федоров // Мат. заметки ЯГУ. – 1995. – Т. 2. – В. 2. – С. 52–60.

Поступила в редакцию 18/

VII/2007;

в окончательном варианте — 18/



VII/2007.

Задача Дирихле для уравнения смешанного типа второго порядка

259


DIRIHLET’S PROBLEM FOR A MIXED TYPE EQUATION

OF THE SECOND ORDER

© 2007

Т.А. Safonova



2

In the works of Egorov I.E., Pyatcov S.G., Popov S.V. [2] and others [1], [5]

new problems for equation of mixed type are proposed. The Dirichlet’s problem

for equation of mixed type is studied in the paper. The common solution of

problem is studied by the Fourier method. The unknown function expansion is

passed by eigenfunctions of the one nonclassical spectral problem.

Paper received 18/

VII/2007.

Paper accepted 18/



VII/2007.

2

Safonova Тatiana Аfanasievna (safonovata@mail.ru), Institute of Mathematics and Informatics,



Yakut State University n.a. M.K. Ammosov, 677011, Yakutsk, Russia.

Download 225.94 Kb.

Do'stlaringiz bilan baham:




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2020
ma'muriyatiga murojaat qiling