Основы теории делимости. Основная теорема теории чисел. Алгоритм Евклида и цепные дроби. Разложение числа в цепную дробь, страница 11

По теореме 32 любая разность в (*) можно записать в виде функции.

(*) <=> f(x+k)+P1(x)f(x+k-1)+P2(x)f(x+k-2)+…+Pk(x)f(x)-Q(x)=0

f(x+k)+ Sks=1 Ps(x)f(x+k-s)=Q(x) (1)        Если Q(x)=0  (1*)

D3f(x)+3Df(x)+2f(x)=0

f(x+3)+3f(x+2)=0

Лемма:  Любое решение такого уравнения k-го порядка определяется набором k функций

{f0, f1,…,fk-1}

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

?????????

Теорема: 33

Если f1(x), f2(x)…fp(x) – решение (1*), то их линейная комбинация, тоже решение (1*) j(x)=Spi=1 Cifi(x)

f(x+k)+Sks=1 Ps(x)f(x+k-s)=0

P0(x)=1

Sks=1 Ps(x)f(x+k-s)=0

Sks=1 Ps(x)j(x+k-s)= Sks=1 Ps(x) Spi=1 Cifi(x)= Spi=1 Ci Sks=1 Ps(x) fi(x)

Sks=1 Ps(x) fi(x)=0

Теорема: 34

Известно k решений (1*): f1(x),…,fk(x)

D[f1(0),…,fk(0)]¹0

  fij=fj(i-1)

f(x)=Ski=1Cifi(x)

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

Если функция представлена в виде f(x)=Ski=1Cifi(x), то по теореме 33 она является решением.

Пусть f(x) – решение, по лемме существуют {f0, f1…fk-1}

Рассмотрим {j(x)=Ski=1Cifi(x)}

Выберем j(x) такую, что она совпадает с f(x) в k точках {f0, f1…fk-1}

j0= j(0)= C1f11+C2f12+…+Ckf1k=f0

…….

jk-1= j(k-1)= C1fk1+ C2fk2+…+Ckfkk=fk-1

Получаем систему линейных уравнений с определителем ¹0 => существует тривиальное решение => можно найти Ci , т.е. любое решение представимо в таком и только таком виде f(x)=Ski=1Cifi(x)

Определение:

Набор решений уравнения (1*) {f1(x)…fk(x)}

Называется линенонезависимым, если линейная комбинация для любых Сi

Ski=1Cifi(x)=0   при S |Ci|¹0

????

Теорема: 35

Если {f1(x)…fk(x)} … ЛНЗ, то D[…]¹0 (Теорема 34)  (Обратное неверно)

Теорема: 36

Рассмотрим уравнения (1), (1*):

Их общее решение можно представить в виде суммы частного решения (1) и общего решения (1*)

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

Пусть известно решение (1) f*(x) и набор решений {f1(x),…,fk(x)}, т.е. известны все решения (1*)

D[f1(0)…fk(0)]

Тогда: f(x)=f*(x)+Ski=1Cifi(x)

Очевидно, что любая функция представленная в таком виде, является решением (1), f(x+k)=SkS=1Ps(x)f(x+k-s)=Q(x)

Рассмотрим произвольное решение (1) f(x)=f*(x)+j(x)

Подставим f(x) в (1): Sks=0P(x)[f*(x+k-s)+j(x+k-s)]=Q(x)

Sks=0P(x)×f*(x+k-s)+Sks=0P(x)×j(x+k-s)]=Q(x)   и Sks=0P(x)×f*(x+k-s)=Q(x)  =>  Sks=0P(x)×j(x+k-s)]=0

Частный случай: Линейные рекуррентные однородные уравнения порядка k с постоянными коэффициентами

F(x+k)+a1f(x+k-1)+…+akf(x),  aiÎR

Будем искать решения в виде f(x)=lx

lx+k+lx+k-1×a1+…+lxak=0  :   lx¹0

lk+lk-1×a1+…+ak=0  - характеристическое уравнение, линейного рекуррентного однородного уравнения порядка k.

Теорема: 37

Если все корни характеристического уравнения различны {l1,l2,…,lk: li¹lj}, то линейно независимое решение линейного рекуррентного однородного уравнения порядка k представимо в виде.

{l1x,l2x,…,lkx}

=

=(l1,l2,…,lk)x×Pi>j(li-lj)

Доказательство:  (от противного)

Пусть существуют не тривиальные Ci : Ski=1Cifi(x)=0   "x=0,1,…,k-1

lx¹0, если lk=0, то по теореме Виета для характеристических уравнений

ak=l1…lk  =>  lk=0

f(x+k)+a1f(x+k-1)+…+ak-1f(x+1)=0,  т.е. если lk=0, то уравнение ?????????

f(x+k)+a1f(x+k-1)+…+akf(x)=0

lk+a1lk-1+…+ak=0  -  существует k корней

{l1x,l2x,…,lkx }

C1l1x+C2l2x+…+Cklkx

Если все корни различны.

Пусть существует liÎC   li=r eij=r(cos j+i Sin j)=>

существует ljÎC   lj=`li =r(cos j-i Sin j)  (если вещественные коэф)

Cilix,Cjljx – можно заменить на

Сi rx(cos xj), Сj rx(sin xj),  а система решений останется линейно независимой

Теорема: 38

Пусть lk+a1lk-1+…+ak=0   имеет корни различной кратности

l1 – p1; l2 – p2 ; … ; ln – pn

p1+p2+…+pn=k

Любой корень дает столько решений, какова его кратность

Пример: l1={l1x, xl1x, x2l1x,…, xP1-1l1x,

l2x, xl2x, x2l2x,…, xP2-1l2x,

….        …         …   …

lnx, xlnx, x2lnx,…, xPn-1lnx}

Чтобы решить однородное уравнение:

1)  Найти характеристическое уравнение

2)  Найти все его корни

Нахождение частного решения неоднородного уравнения

Частный случай : правая часть многочлен.

f(x+k)+a1f(x+k-1)+…+akf(x)=Q(x)

lk+a1lk-1+…+ak=0  (*)

Q(x)=C0+C1x+…+Cnxn

Пусть первый корень кратности S уравнения (*)  S>=0