logo search
Shpory_-_Vsyo (1)

12. Теорема о равенстве нулю вронскиана линейно-зависимых функций (необх. Усл. Л.З.).

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

C 1y1(x0) + C2y2(x0) + … + Cnyn(x0) = y0

C1y1’(x0) + C2y2’(x0) + … + Cnyn’(x0) = y0

…………………………………………..

C1y1(n-1)(x0) + C2y2(n-1)(x0) + … + Cnyn(n-1) (x0) = y0(n-1)

(, где y1, y2, yn - ФСР C1 ,C2 ,…,Cn- const)

Определителем этой системой является определитель Вронского

Теорема: (Необходимое условие линейной зависимости функции, но не являются достаточным)

Если функции y1, y2, … ,yn - линейно зависимы и имеют производные до (n-1) порядка, то их определитель Вронского тождественно равен 0.

Док-во:

Т.к. y1, y2, … ,yn - линейно зависимы, то

α1y1 + α2y2 + …+ αnyn = 0 на (a,b), при чём не все α = 0.

Продифференцируем равенство (n-1) раз и получим линейную однородную систему уравнений

α1y1 + α2y2 + …+ αnyn = 0

α1y1 + α2y2 + …+ αnyn = 0

α1y1’’ + α2y2’’ + …+ αnyn’’ = 0 =>

……………………………..

α1y1(n-1) + α2y2(n-1) + …+ αnyn(n-1) = 0

W[y1, y2, … ,yn ] = 0