Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
discret.pdf
Скачиваний:
104
Добавлен:
05.06.2015
Размер:
244.41 Кб
Скачать

Рекуррентные соотношения

Задача Фибоначчи

На начало года имеется пара новорожденных кроликов. Через 2 месяца кролики дают потомство и продолжают давать потомство каждый месяц. Сколько пар кроликов

будет к концу года?

 

 

 

 

 

 

 

 

 

1

2

3

4

5

6

7

8

9

10

11

12

1

1

2

3

5

8

13

21

34

55

89

144

 

Рекуррентным

соотношением k-того

порядка будем

называть соотношение

f (n k),

позволяющее

вычислять

члены

последовательности

f (n k 1),

f (n k 2),...,

f (n) с номером n k через k предыдущих.

 

 

 

Последовательность

{ f (n)}

называется

частным

решением

рекуррентного

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

Пример.

f (n 2) 3 f (n 1) 2 f (n)

Будет ли f (n) 2n являться частным решением этого соотношения? 2n 2 3 2n 1 2 2n 3 2n 1 2n 1 2n 2

Следовательно, f (n) 2n - частное решение рекуррентного соотношения.

Общим решением рекуррентного соотношения k-того порядка называется решение, содержащее k произвольных постоянных, путём подбора которых можем удовлетворить любые начальные условия.

Пример.

f (n 2) f (n 1) f (n), f (0) 0, f (1) 1, f (2) 1. f (n) xn - решение будем искать в таком виде.

xn 2 xn 1 xn

 

 

 

 

 

 

 

| : xn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x2

x 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x2

x

1 0 - характеристическое уравнение.

 

 

 

 

 

 

 

 

 

 

 

 

x

1

 

 

 

 

 

 

, x

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

n

 

1

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

,

 

 

 

2

 

 

 

 

 

 

- частные решения.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

n

 

 

 

 

 

 

 

1

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

C

5

C

 

 

5

 

- общее решение.

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

2

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (0) 0 C1 C2

0 C2

 

C1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

C

1

 

 

 

C (

 

 

 

 

 

1

 

 

 

 

1

 

 

f (1) 1 C

 

 

 

 

5

5

 

 

 

 

 

,C

 

 

 

 

 

 

 

 

 

5) 1 C

1

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

2

 

 

1

 

 

 

2

 

 

 

 

 

1

 

 

 

5

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

1

 

 

 

 

 

 

n

1

 

 

1

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (n)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

- формула общего члена последовательности

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

2

 

 

 

 

5

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Фибоначчи.

Линейным однородным рекуррентным соотношением второго порядка с

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

называется соотношение

f (n 2) pf (n 1) qf (n)

(38)

18

x 2 px q (39) - характеристическое уравнение соотношения (38)

Лемма о линейной комбинации решений

Пусть f (n) и g(n) - решения (38), тогда линейная комбинация h(n) Af (n) Bg(n) также является решением (38).

Доказательство.

f (n 2) pf (n 1) qf (n) g(n 2) pg(n 1) qg(n)

Af (n 2) Bg(n 2) Apf (n 1) Aqf (n) Bpg(n 1) Bqg(n) p(Af (n 1)

Bg(n 1)) q(Af (n) Bg(n)) h(n 2) ph(n 1) qh(n)

Теорема о виде общего решения соотношения (38)

Пусть

дано

f (n 2) pf (n 1) qf (n)

и

 

его характеристическое

x2 px q. Тогда:

 

 

 

 

 

 

 

 

 

 

1)

x

x

, x

R, x

2

R f (n) C xn

C

2

xn - общее решение

 

1

 

2

1

 

 

 

 

1

1

 

2

2)

x

x

2

R f (n) xn (C

nC

) - общее решение

 

1

 

 

 

 

1

1

2

 

 

 

 

 

3)

x1,2 r(cos i sin ), x1,2

C f (n) en (C1 cos n C2 sin n ) R

решение

Доказательство.

1) x1 x2 , x1 R, x2 R f (n) xn

уравнение

-общее

xn 2 pxn 1 qxn

| : xn

x2 px q 0

 

x1n , x2n - решения.

По лемме о линейной комбинации C1 x1n C2 x2n также является решением (38).

f(0) A

f(1) B

f(0) C1 C2 A

f(1) C1 x1 C2 x2 B

 

 

1

1

 

 

x2 x1 0 для любых A, B система имеет единственное решение

 

 

 

 

 

x1

x2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2) x1

x2 R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x2 px q 0

 

 

по теореме Виета p 2x ,

q x2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

1

 

 

 

 

f (n 2) 2x f (n 1) x2

f (n)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

Покажем, что f (n) xn

(C nC

)

даёт решение.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

1

2

 

 

 

 

 

 

 

 

 

 

 

 

xn 2 (C (n 2)C

2

) 2x xn 1

(C (n 1)C

2

) x2 xn (C nC

)

 

1

 

 

 

1

 

 

 

 

 

 

 

 

1

1

1

 

 

 

 

1

1

1

 

2

 

xn 2

(2C 2nC

2

 

2C

2

C

nC

) xn 2

(C

C

(n 2))

 

 

1

 

 

 

1

 

 

 

 

 

 

 

 

1

 

2

1

 

1

 

2

 

 

 

 

 

f (0) A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (1) B

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

C1 A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x C

x C

2

B

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

1

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

19

 

 

1

 

0

 

x1 0 f (n) - общее решение.

 

 

 

 

 

 

x1

x1

 

 

 

 

 

 

3) x1,2 C

 

 

 

 

 

x1

r(cos i sin )

 

 

 

x2

r(cos i sin )

 

 

 

xn

r n (cos n i sin n )

1

 

 

 

 

 

 

 

 

 

 

 

 

x2n

r n (cos n i sin n )

 

xn

xn

r n cos n - является решением по лемме о линейной комбинации.

 

1

2

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

xn

xn

r n sin n - является решением по лемме о линейной комбинации.

 

1

2

 

 

 

2i

 

 

 

 

 

 

 

 

 

 

f (n) C r n cos n C

2

r n sin n - покажем, что это и есть общее решение.

 

 

 

 

 

 

1

 

 

 

 

 

C1 A

 

 

 

 

 

 

 

C r cos C

2

r sin B

 

1

 

 

 

 

 

 

 

 

 

10

 

 

r cos

 

 

 

r sin

r sin 0

(если бы

 

sin 0, то

мнимая часть

была

бы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

нулевая) f (n)

- общее решение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Линейным однородным рекуррентным соотношением k-того порядка с

постоянными коэффициентами – это соотношение вида:

 

 

 

 

 

 

 

 

 

 

 

f (n k) a1

f (n k 1) a2

f (n k

2) ... ak f (n)

 

(40)

 

 

 

 

 

 

xk

a1 xk 1

 

a2 xk 2

... ak

 

 

 

(41)

 

-

 

 

характеристическое

уравнение

соотношения (40).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема о виде общего решения соотношения (40)

 

 

 

Пусть

дано

 

 

f (n k) a1

f (n k 1) a2 f (n k

2) ... ak f (n)

и

его

характеристическое уравнение

 

xk

a1 xk 1

a2 xk 2

 

... ak . Тогда общее решение будет

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1)

если

корень

xi R

 

 

кратности

 

m,

 

то

 

ему соответствует

группа

слагаемых

xn (C nC

2

n2C

3

... nm 1C

m

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2) если имеется пара комплексно сопряжённых корней

 

r(cos i sin )

кратности

m,

то

 

 

 

этой

 

 

 

паре

 

 

корней

 

будет

 

соответствовать

 

группа

слагаемых

r n ((C nC

2

n2C

3

... nm 1C

m

)cos n (D nD

2

n2 D

 

... nm 1D

m

)sin n )

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

3

 

 

 

 

 

 

 

 

 

 

 

Пример. Рассмотрим соотношение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (n 6) 5 f (n 5) 7 f (n 4) f (n 3) 2 f (n 2) 4 f (n 1) 8 f (n).

 

 

 

x6 5x5 7x4 x3 2x2 4x 8 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

1, x

2

2, x

3

2, x

4

 

2, x

5

i cos

i sin , x

6

i cos

i sin .

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

2

 

 

 

 

 

2

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (n) ( 1)n C 2n (C

 

nC

 

n2C

 

) C

 

cos

n

C

 

sin

n

 

 

 

 

 

 

2

3

4

5

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

20

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