Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Lektsii_DU_prof_Gromak__chast_2

.pdf
Скачиваний:
12
Добавлен:
01.03.2016
Размер:
803.88 Кб
Скачать

Глава 1. Линейные дифференциальные уравнения

21

касательной к траектории. Сила N уравновешивается сопротивлением стержня, и таким образом, вся система сил эквивалентна f . Очевидно jfj = P sin x = mg sin x . Так как для положительных углов x касательная составляющая f направлена в от-

рицательную сторону, то

f = mg sin x . Очевидно, что S := AM = xl; т.е., x = sl .

Тогда по второму закону Ньютона имеем

 

 

 

 

 

 

m

d2s

= f = mg sin

s

или

d2s

+

g

sin x = 0

(10.5)

dt2

 

l

dt2

l

Для малых отклонений имеем sin x x и тогда имеем уравнение гармонического осциллятора (10.2) с !2 = gl .

Пусть сопротивление среды R пропорционально скорости. В этом случае

R= v;

> 0 . Знак ” ” показывает, что сила R направлена противоположно

скорости v . Тогда уравнение движения принимает вид

 

 

 

 

 

 

 

 

 

 

 

 

 

 

d2s

ds

(10.6)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+ 2n

 

 

 

 

 

 

+ !2x = 0;

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dt

dt

 

где 2n =

 

 

 

. Характеристическое уравнение (10.6) имеет вид r2 + 2nr + !2 = 0 и с

 

 

 

m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

корнями r1;2 = n p

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n2 !2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

I. (большое сопротивление). Тогда движение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x(t) = C1er1t + C2er2t

 

представляет собой апериодическое и не имеет колебательного характера

 

 

x

x

 

 

 

 

 

 

 

 

 

 

 

x

 

 

6

 

 

 

 

 

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

-

 

 

 

 

-

 

 

 

-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

t

t

 

нет локального

 

 

один локальный

один локальный

 

экстремума

 

 

 

максимум

минимум

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рис.10.1

 

 

II. n2 !2 < 0 (малое сопротивление). Тогда движение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x(t) = Ae nt sin(p

 

 

t + )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

!2 n2

является квазипериодическим (затухающим) (Рис. 10.2)

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

T

-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

-

t

Рис.10.2

T -квазипериод, T = p 2

!2 n2

2q! t возрастает с ростом t (см.

Глава 1. Линейные дифференциальные уравнения

22

III. n2 !2 = 0 . Движение определяется

 

x(t) = (C1 + C2t)e nt

и не является колеблющимся (Рис. 10.1)

Задача 3. (Вынужденные колебания без учета сопротивления среды).

Пусть при условиях задачи 1 на груз действует периодическая сила Q sin pt , где Q и p - постоянные. Тогда пренебрегая массой пружины и сопротивлением среды, находим уравнение движения

d2s

+ !2x = q sin pt;

(10.7)

2

dt

 

 

где q = mQ . Это неоднородное уравнение. Общее решение однородного уравнения имеет вид

xодн = A sin (!t + ):

(10.8)

Найдем частное решение (10.7).

1. p 6= ! (частота вынужденных колебаний не совпадает с частотой собственных колебаний системы). Тогда находя решение в виде x = a cos !t + b sin !t находим

 

 

=

q

sin pt:

 

(10.9)

 

x

 

 

 

 

!2 p2

 

Таким образом, закон движения представляется общим решением

 

x = A sin (!t + ) +

 

q

sin pt:

(10.10)

 

 

 

!2 p2

2. p = ! (частота вынужденных колебаний совпадает с частотой собственных колебаний системы). Явление резонанса.

Будем искать частное решение уравнения

 

 

 

 

 

 

 

 

y• + !2y = qei!t

(10.11)

в виде

y = btei!t . Тогда b =

q

. Следовательно, (10.11) имеет частное решение

 

 

 

 

 

 

 

 

2i!

 

 

= Imy = Im

q

tei!t =

qt

cos !t .

 

x

 

2i!

2!

 

Таким

образом, закон движения системы в резонансном случае имеет вид

 

 

 

 

 

 

 

 

 

 

 

 

 

x = A sin (!t + )

q

(10.12)

 

 

 

 

 

cos !t

 

 

 

 

2!

Таким образом, амплитуда вынужденных колебаний рис. 10.3).

6

 

 

 

 

2q! t

 

 

 

-

XXXX

 

 

 

qXXX

XX

2! t

 

Рис.10.3

Глава 1. Линейные дифференциальные уравнения

23

Упражнение 10.1. Исследовать движение системы состоящей из двух связанных пружин с коэффициентами k1 = 4mN ; k2 = 2mN , с грузами m1 = 2кг; m2 = 1кг и одним закрепленным концом (см. рис. 10.4).

 

 

 

2кг

 

 

 

1кг

 

 

 

 

 

AA

 

AAA

 

 

 

 

 

 

 

 

 

 

 

 

Рис. 10.4

 

 

11 Линейные уравнения Эйлера и Чебышева

1. Рассмотрим некоторые линейные уравнения, приводящиеся к линейным с посто-

янными коэффициентами.

 

 

 

 

 

 

 

Линейным уравнением Эйлера называется уравнение вида

 

x(n) + a1

1

x(n 1)

+ a2

1

x(n 2)

+ : : : + anx = 0;

(11.1)

 

2

 

t

 

t

 

 

где aj 2 C; j = 1; 2; : : : ; n . В (11.1) t = 0 – особая точка. Теорема существования и единственности выполнена для каждого из интервала I1 = (1; 0) и I2=(0; +1) . Положим t = e . Тогда

xt0 = x0 t0 = e x0

 

 

 

 

d

 

 

xt002 =

 

(e x0 )e = (x002

x0 )e 2

(11.2)

dt

: : :

= (x n + : : : + ( 1)n 1(n 1)! x0

)e n

xtn

(n)

 

 

(n)

 

 

Таким образом, подставляя (11.2) в (11.1), получаем линейное уравнение относи-

тельно

x( ) с постоянными коэффициентами, фундаментальная система которого

состоит из функций вида e

и me . Следовательно, ФСР исходного уравнения

(11.1) состоит из функций вида t и (ln t)mt .

 

 

 

2. Уравнением Чебышева называются уравнения вида

 

 

 

x00

 

 

t

 

x0

+

 

n2

 

x = 0:

(11.3)

 

 

1

 

t2

1

 

t2

Здесь

точки

t=1; t= 1

особые.

Интервалы однозначной

разрешимости

I1=(1; 1);

I2=( 1; 1); I3=(1; +1) . Положим в (11.3) t = cos . Тогда

 

1

1

 

cos

(11.4)

xt0 = x0

 

 

; xt002 = x002

 

x0

 

sin

sin2

sin3

Подставляя (11.4) в (11.3), находим x00 + n2x = 0 . Откуда

x = C1 cos n + C2 sin n или x = C1 cos (n arccos t) + C2 sin (n arccos t) . Частное решение

Tn := cos n arccos t

при n 2 N представляtт собой полином n -ой степени, который называется полиномом Чебышева.

Упражнение 11.1. Доказать, что Tn – полином n -ой степени.

Глава 1. Линейные дифференциальные уравнения

24

12Общие свойства линейных уравнений второго порядка

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

x00 + p(t)x0 + q(t)x = 0;

где p(t); q(t) : (a; b) ! C и непрерывны.

1. Каноническая форма. Пусть в (12.1) x = (t)y . Тогда имеем

y00 +

z 0

+ p y0 +

00

+ p 0

+ q y = 0:

 

 

 

 

 

 

 

 

Положим = e 12 R p(t)dt . Тогда уравнение (??)eq12.2) принимает вид

y00 + I(t)y = 0;

где инвариант I(t) := 12 p0 14 p2 + q .

Пример 12.1. Рассмотрим уравнение Бесселя

 

1

+ 1

n2

x = 0; при n =

1

 

x00

+

 

x0

 

 

; t > 0

t

t2

2

(12.1)

(12.2)

(12.3)

(12.4)

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Положим в (12.4) x = p

 

. Тогда имеем y00 +y = 0 с ФСР (sin t; cos t) . Следователь-

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

sin t

cos t

 

 

 

 

 

 

 

 

 

 

2

 

 

но, ФСР уравнения (12.4) с n = 2

 

 

p

 

;

p

 

 

. Умножая ФСР на

 

, получим

t

t

так называемые функции Бесселя

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

I1=2 = r

2 sin t

 

 

 

= r

2 cos t

 

 

 

 

 

 

 

 

 

 

 

p

 

; I 1=2

 

 

p

 

 

:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

t

 

 

 

 

 

2. Самосопряженная

форма.

Умножим

(12.1)

 

 

на

(t) .

Тогда

имеем

y00+ py0+ qy=0 . Выбираем так, чтобы

p

= 0 ,

т.е

= eR p(t)dt .

Тогда

уравнение (12.1) перепишется в форме ( y0)0 + qy = 0 , которую называют самосопряженной.

3.Понижение порядка. Пусть

x1

- частное решение (12.1). Тогда подстановка

R

 

 

уравнения, т.е. y

определяется линейным

x = x1 y(t)dt понижает порядок

 

уравнением первого порядка

 

 

 

 

 

y0

+ 2

x10

+ p y = 0:

(12.5)

x1

Упражнение 12.1. Доказать, что если для уравнения L(x) = 0 известно m частных линейно-независимых решений x1; : : : ; xm; 1 m < n , то порядок уравнения можно понизить на m .

4. Связь с уравнением Риккати. Положим в уравнении (12.1) xx0 = y(t) , где y = y(t) - новая искомая функция. Тогда z(t) определяется уравнением Риккати

y0 + y2 + py + q = 0:

(12.6)

Глава 1.

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

 

 

 

 

 

 

25

Справедливо

 

 

и

обратное

 

утверждение:

 

 

любое

 

уравнение

Риккати

y0=P (t)y2+Q(t)y+R(t) можно свести к линейному

уравнению

второго

порядка

заменой y =

 

1

xx0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P

(t)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5. Связь между решениями. Пусть x1 и

 

x - решения уравнения (12.1). То-

гда по формуле Лиувилля-Остроградского W (t) =

 

x1

x

 

= Ce R p(t)dt или

 

x10

x0

 

x

x0

 

x0

x =

x

 

0 x2

= Ce p(t)dt

или

 

 

 

 

 

 

 

 

 

 

 

1

 

 

1

 

x1

 

1

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z

x12 e R p(t)dtdt + C1x1:

 

 

 

 

(12.7)

 

 

 

 

 

 

 

 

 

 

x = Cx1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом, если x1 - решение, то x2 = x1

R

1

e R

p(t)dt

dt также решение.

 

x12

 

 

13Интегрирование линейных уравнений при помощи степенных рядов

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

 

 

x00 + p(t)x0 + q(t) = 0;

(13.1)

в котором коэффициенты p(t); q(t)

голоморфны в точке t0 2 (a; b)

так что

1

1

 

XX

p(t) =

pj(t t0)j; q(t) =

qj(t t0)j

(13.2)

 

j=0

j=0

 

Тогда, согласно теореме Коши, уравнение (13.1) имеет единственное решение, голоморфное в точке t = t0 и принимающее в этой точке вместе со своей производной любые наперед заданные значения x0 и x00 , т.е решение вида

1

 

Xk

 

x = x0 + x00 (t t0) + Ck(t t0)k;

(13.3)

=2

 

причем ряд (13.3) сходится в области jt t0j < > 0 . При этом радиус сходимости не меньше расстояния от t0 до ближайшей из точек, в которых p(t) или q(t) теряют аналитичность (т.е. особых точек). Выбирая начальные условия решений x1(t); x2(t) так, чтобы

 

x1(t0) x2(t0)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

W (t0) =

x10 (t0) x20 (t0) 6= 0;

x

t

; x

t

) с разложени-

получаем два голоморфных линейно

независимых решения

 

1( )

 

2(

ями (13.3), которые составляют ФСР в области jt t0j < .

 

 

 

 

 

Пример 13.1. Будем искать решения x1(t); x2(t) уравнения

 

 

 

x00 tx = 0

 

 

 

 

 

(13.4)

в виде

 

1

 

 

 

 

 

1

 

 

 

 

 

 

X

 

Xk

 

 

 

 

 

x1 = 1 + Ck(1)tk; x2 = t +

Ck(2)tk

 

 

 

(13.5)

k=2

 

=2

 

 

 

 

 

Глава 1. Линейные дифференциальные уравнения

 

 

 

 

 

 

 

26

так что W [x1(t0); x2(t0)] = 1 6= 0 . Подставляя x1

в (13.4), находим

 

 

 

 

 

 

 

 

t0 :

2

1 C2(1) = 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t :

3

2 C3(1) 1 = 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t2 :

4

3 C4(1) = 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t3 :

5

4 C5(1) C2(1) = 0

 

 

 

 

 

 

 

 

 

 

 

 

 

: : :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

tk 2 : k(k 1)Ck(1) Ck(1)3 = 0

 

 

 

 

 

 

Откуда C(1)=0; C

(1)

=

1

; C(1)=0; C(1)

=0; C(1)

=

C3(1)

=

1

; : : : ; C(1)

=

 

 

1

 

3

 

 

 

 

 

 

 

 

 

2

3!

4

 

 

 

 

5

6

 

 

6 5

 

 

3!5 6

k

 

2 3 5 6:::(3k 1)3k

Следовательно,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t3

 

t6

 

 

 

 

 

 

 

 

 

 

t3k

 

 

 

 

 

Ai(t) := x1 = 1 +

 

 

 

 

+

 

 

 

+ : : : +

 

 

 

+ : : :

2 3

2 3 5 6

2 3 5 6 : : : (3k 1)3k

Аналогично находим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t4

 

t7

 

 

 

 

 

 

 

 

 

 

t3k+1

 

 

 

 

 

Bi(t) := x2 = t +

 

 

+

 

+ : : : +

 

+ : : :

 

3 4

3 4 6 7

3 4 6 7 : : : 3k(3k + 1)

Функции Ai(t); Bi(t) называют функциями Эйри, которые являются целыми функциями t . Общее решение уравнения (13.4) имеет вид x = C1Ai(t) + C2Bi(t) .

14Интегрирование при помощи обобщенных степенных рядов

Выше мы показали, что уравнение Бесселя с индексом n = 1=2

 

1

 

1=4

 

(14.6)

x00

+

 

x0 +

1

 

 

x = 0

t

t2

имеет ФСР вида

rr

 

2 sin t

 

2

 

 

t3

t5

 

J1=2 :=

 

 

p

 

 

 

=

 

t1=2

t

 

+

 

+ : : :

(14.7)

 

 

3!

5!

 

t

 

rr

 

2 cos t

 

2

 

 

 

t2

t4

t6

 

J 1=2 :=

 

 

p

 

 

 

=

 

 

t 1=2

1

 

 

+

 

+

 

: : :

(14.8)

 

 

2!

4!

6!

 

t

 

В уравнении (14.6) точка t = 0 является особой, а решения в окрестности t = 0 (14.6) и (14.7) представлены в виде так называемых обобщенных степенных рядов.

Определение 14.1. Обобщенным степенным рядом по степеням t t0 называется ряд вида

 

 

1

 

 

(t t0)

Xk

(14.9)

 

ak(t t0)k;

 

 

=0

 

где 2 C , а

k1=0 ak(t t0)k; a0 6= 0 - сходящийся степенной ряд. При этом под

комплексной

степенью понимается следующее

 

P

 

 

(t t0) + = e( + ) ln (t t0) = e ln (t t0)e ln (t t0) =

= (t t0) (cos( x ln (t t0)) + sin( x ln (t t0))):

Глава 1. Линейные дифференциальные уравнения

27

Рассмотрим линейное уравнение

 

x00 + p(t)x0 + q(t) = 0:

(14.10)

Определение 14.2. Особая точка t = t0 коэффициентов p(t) и q(t) называется регулярной, если функции (t t0)p(t) и (t t0)2q(t) голоморфные в окрестности t = t0 , то есть уравнение (14.10) в окрестности регулярной особой точки может быть представлено в виде

x00 + t

1 t0

=0 pj(t t0)j!x0

+

(t

1t0)2

j=0 qj(t t0)j!x = 0;

(14.11)

 

 

 

1

 

 

 

 

1

 

 

 

 

Xj

 

 

 

 

X

 

где степенные ряды, входящие в коэффициенты, являются сходящимися в области jt t0j < r; r > 0 .

Заметим, что точка t = 0 для уравнения Бесселя есть регулярная, а точка t = 1 является особой, но не регулярной, т.е. иррегулярной.

В окрестности особой точки решение в виде степенного ряда может не существовать. Однако, справедлива следующая

Теорема 14.1. (Фукс) Пусть t = t0 - регулярная особая точка уравнения (14.10), причем степенные ряды, входящие в коэффициенты (14.11), сходятся в области jt t0j < R , тогда в окрестности t = t0 существует, по крайней мере, одно решение в виде обобщенного степенного ряда (14.9), причем степенной ряд, входящий в (14.9), заведомо сходится в области jt t0j < r; r > 0 .

Пусть t0 = 0 . Тогда, подставляя ряд

1

 

 

Xk

6= 0

(14.12)

x = Cktk+ ; C0

=0

 

 

в уравнение

1

!

1 !

X

 

X

t2x00 + t

pktk x0 +

qktk x = 0;

k=0

 

k=0

получаем систему для определения и Ck :

t0 : ( ( 1) + p0 + q0) C0 = 0

 

 

 

 

 

k 1

 

 

 

 

 

 

 

 

 

 

tk

 

 

k

k

1) +

p

 

 

k

 

q

C

 

 

P

 

 

n

q

 

C

 

0;

 

: ((

+

)( +

 

 

0

( +

 

) +

 

0) k + Pn=0

(

 

k n(

 

+ ) +

 

k n)

 

n =(14.13)

где k = 1; 2; : : : . Так как C0

6= 0 , то для определения имеем так называемое

определяющее уравнение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f0( ) := ( 1) + p0 + q0 = 0:

 

 

 

 

 

(14.14)

Заметим, что здесь p0 = limt

 

0 tp(t) , q0

= limt

!

0 t2q(t) . Коэффициент при Ck

имеет

вид

 

 

 

 

 

!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f0( + k) := ( + k)( + k 1) + p0

( + k) + q0:

 

 

 

(14.15)

Пусть 1 и 2 корни определяющего уравнения. Если разность 1 2 не есть целое число, то f0( 1+k) 6= 0; f0( 2+k) 6= 0 ни при каком целом k > 0 , а значит, указанным методом можно построить два линейно независимых решения

1

1

 

 

X

Xk

 

 

x1 = t 1

Ck(1)tk; x2 = t 2

Ck(2)tk

(14.16)

k=0

=0

 

 

Глава 1. Линейные дифференциальные уравнения

28

Если же разность 1 2 2 Z , то указанным методом можно построить одно решение в виде обобщенного степенного ряда. Зная это решение, с помощью формулы Лиувилля - Остроградского можно найти второе решение

Z

R

x2(t) = x1(t) x1 2(t)e p(t)dtdt:

15 Уравнение Бесселя

В качестве примера приложения обобщенных степенных рядов рассмотрим уравнение Бесселя.

x00 +

1

x0

+

t2 2

x = 0

(15.1)

 

 

 

t

 

t2

 

имеющее широкие приложения в задачах физики и техники.

В уравнении (15.1) t = 0 является регулярной особой точкой. Решение в окрестности точки t = 0 будем искать в виде

 

n

 

 

 

Xk

6= 0

(15.2)

x = t

cktk; c0

 

=0

 

 

Тогда для определения q имеем определяющее уравнение

 

( 1) + 2 = 0;

(15.3)

имеющее при 6= 0 два различных корня 1 = ; 2 = . Коэффициенты Ck для q1 = в (15.2) определяются из системы

8

(: : :+ 1)2 2)C1 = 0

 

 

 

 

 

(15.4)

>

 

2 2

 

 

 

 

 

 

 

 

 

<

 

 

 

 

 

 

 

 

 

 

 

 

>

( + k) )Ck + Ck 2 = 0

 

 

 

 

 

 

:

 

 

 

 

 

 

 

 

 

C0

 

Откуда при = имеем C2k+1 = 0 , C2k = ( 1)k

 

 

 

 

: Та-

22kk!( + 1)( + 2) : : : ( + k)

ким образом, в соответствии с теоремой Фукса, имeем решение

 

1

 

 

C0 t2k

 

 

 

 

 

 

Xk

 

 

 

 

 

 

 

 

 

 

 

22kk!( + 1)( + 2) : : : ( + k) =

 

x1(t) := t

( 1)k

 

=0

 

 

 

 

 

 

 

 

 

 

 

1

 

 

C0 2

 

 

t

 

+2k

 

k=0( 1)k k!( + 1)( + 2) : : : ( + k)

2

 

 

 

X

 

 

 

 

 

 

 

 

 

 

 

 

Выберем C0 так, чтобы коэффициенты ряда имели наиболее компактный вид. С

этой целью рассмотрим гамма-функцию, определяемую интегралом

 

 

1

 

 

 

 

 

 

 

 

 

 

(z) := Z0

 

e ttz 1dt; Re[z] > 0;

 

(15.5)

зависящим от параметра z . Эта функция обобщает факториал, так как справедливы свойства: (z + 1) = z (z); (1) = 1 . Следовательно, (k + 1) = k!; k 2 N если

Глава 1. Линейные дифференциальные уравнения

 

 

 

 

 

 

 

29

k 2 N [ f0g . Для Re[z]

0 гамма-функцию можно определить аналитическим

продолжением (15.5) либо через предел

 

 

 

 

 

 

 

 

 

 

 

(z) = lim

1 2 3 : : : n

nz

 

 

 

 

 

 

 

n!1 z(z + 1) : : : (z + n)

 

 

 

 

 

 

 

Заметим, что в точках z

= 0; z = 1; : : : ; z = n; : : :

гамма-функция обращается в

бесконечность.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Упражнение 15.1. Доказать, что

(z) (1 z) =

 

 

. Эта формула носит

 

 

 

 

 

sin( z)

название формулы дополнения.

 

 

 

 

 

 

 

 

 

 

Выберем C0

1

 

. Тогда решение принимает вид

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

2 ( + 1)

 

 

 

 

 

 

 

 

 

 

 

 

 

1

1

 

 

t

 

+2k

(15.6)

 

J (t) := x1(t) = k=0( 1)k k! ( + k + 1)

2

 

 

 

 

 

X

 

 

 

 

 

 

 

 

 

 

Функция J (t)

называется функцией Бесселя первого рода

го порядка.

Будем искать второе решение, соответствующее второму показателю = . Тогда из системы (15.3)

( 2 + 1)C1 = 0

C2k 1

C2k+1 = (2k 1)( 2 + 2k + 1)

C2k 2

C2k = 22k( + k)

Таким образом, возможны следующие случаи.

I:6= m + 1=2; 6= m; m 2 N[f0g

В этом случае все коэффициенты C2k+1; C2k определяются единственным образом с точностью до выбора C0 . Пусть

 

 

C0 =

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 ( + 1)

 

 

 

 

 

 

Тогда

 

1

 

 

1

 

 

 

 

t

+2k

 

J

 

 

 

 

 

 

 

(t) := x2(t) = k=0( 1)k k! ( + k + 1)

2

(15.7)

 

 

X

 

 

 

 

 

 

 

 

Упражнение 15.2. Доказать, что решения x1; x2

линейно независимые.

Пусть =

2m+1

для некоторого целого

m . Тогда в системе (15.4) имеем урав-

 

2

 

 

 

 

 

 

 

 

 

 

 

нение 0 C2m+1 = 0 . Полагая C2m+1 = 0 , получаем второе решение такое же, как и (15.6).

Пример 15.1. Решить уравнение

 

 

 

 

 

 

 

 

t2x00 + tx0 + (t2

1

)x = 0:

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

 

 

Решение. Это уравнение Бесселя с = 1=2

. Поэтому

 

 

 

 

1

 

1

 

 

t

 

1=2+2k

x1 = J1=2(t) = X( 1)k

 

 

 

 

 

k! (3=2 + k)

2

 

k=0

Глава 1. Линейные дифференциальные уравнения

 

 

 

 

 

 

 

 

 

 

 

 

 

30

Так как (1=2) = p

 

,то (3=2) = (1 + 1=2) = 1 (1=2) = 1 p

 

 

 

 

 

 

 

 

 

 

 

 

 

(1=2 + 2) = 232 p ; : : : ; (21 + k) =

 

1 3 5 72k

 

 

 

 

 

2

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

:::(2k

 

1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следовательно,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

t

 

21 +2k

x1 = J1=2(t) = k=0( 1)k

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

1)p

 

 

=

k!1

 

3

 

 

5

 

7 : : : (2k

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

t2k+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

( 1)k

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= r t k=0

 

(2k + 1)! = r t sin t:

 

 

 

 

Аналогично,

 

 

 

 

X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x2 = J 1=2(t) = r

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

cos t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Общее решение исходного уравнения имеет вид

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x = r

 

 

 

(C1 sin t + C2 cos t)

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Замечание 15.1. Функции Бесселя c =

2m+1 выражаются через элементарные

функции вида

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= r

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

J2 2

 

 

t

(Pm( t ) sin t + Qm( t ) cos t);

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где Pm и Qm полиномы степени m .

Пусть = m; m 2 N . Тогда имеем C2n = C00 = 1 , так как C0 6= 0 . В этом случае второе решение нельзя найти в виде обобщенного степенного ряда. Оно должно содержать логарифм.

Упражнение 15.3. Доказать, что для целого > 0 J = ( 1) J .

В случае целого введем функцию Бесселя порядка второго рода.

Y

(t) = lim Y

"

(t) = lim

( 1)kJ (n ")(t) Jn "

 

" 0

"

!

0

"

 

!

 

 

 

Такой предел существует и Y (t) есть решение уравнения Бесселя. В этом случае общее решение уравнения Бесселя имеет вид

x = C1J (t) + C2Y (t)

16 Колебательный характер решений уравнений

второго порядка. (Введение в теорию Штурма.)

Рассматриваем уравнения

x00 + p(t)x0 + q(t)x = 0;

(16.1)

где p(t); q(t) : (a; b) ! R и непрерывны. Нулями решения x(t) называем вещественные корни уравнения x(t) = 0 .

Теорема 16.1. Все нули ненулевого решения x = x(t) уравнения (16.1), лежащие внутри интервала (a; b) , изолированы.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]