Реферат: Некоторые Теоремы Штурма
Предположим, что u1 (t)>0 при t1 <t2 <t3 и утверждение неверно: например, u2 (t)>0 при t1 £ t£t2 . Умножая (p1 (t)u¢)¢+q1 (t)u=0, где u=u1 , на u2 , а (p2 (t)u¢)¢+q2 (t)u=0, где u=u2 , на u1 , вычитая и интегрируя по [t1, t2 ], получаем:
p(t)(u1 ¢u2 -u1 u2 ¢)³0, при t1 £t£t2 , где p=p1 =p2 . Это означает, что (u1 /u2 )¢³0; поэтому u1 /u2 >0 при t1 <t£t2 , т.е. получается, что u1 (t2 )>0 чего быть не может.
Решение:
(p1 (t)u¢)¢+q1 (t)u=0, u=u1
(p1 (t)u1 ¢)¢+q1 (t)u1 =0.
Умножим левую часть равенства на u2 , получим:
u2 (p1 (t)u1 ¢)¢+q1 (t)u1 u2 =0.
Во втором уравнении проделаем соответствующие операции:
(p2 (t)u¢)¢+q2 (t)u=0, u2 =u
(p2 (t)u2 ¢)¢+q2 (t)u2 =0.
Умножим левую часть равенства на u1 , получим:
u1 (p2 (t)u2 ¢)¢+q2 (t)u1 u2 =0.
Вычитаем из первого уравнения второе, получим:
u2 (p1 u1 ¢)¢+q1 u1 u2 -u1 (p2 u2 ¢)¢-q2 u1 u2 =0, p=p1 =p2
u2 (pu1 ¢)¢+q1 u1 u2 -u1 (pu2 ¢)¢-q2 u1 u2 =0
(u2 (pu1 ¢)¢-u1 (pu2 ¢)¢)+u1 u2 (q1 -q2 )=0
Упростим это уравнение,
u2 (p¢u1 ¢+pu1 ¢¢)-u1 (p¢u2 ¢+pu2 ¢¢)+u1 u2 (q1 -q2 )=0
Раскроем скобки, получим:
p¢u1 ¢u2 + pu1 ¢¢u2 - p¢u1 u2 ¢-pu1 u2 ¢¢+u1 u2 (q1 -q2 )=0.
Сравнивая с формулой (2.2), получаем:
(p(u1 ¢u2 -u1 u2 ¢))¢+u1 u2 (q1 -q2 )=0
(p(u1 ¢u2 -u1 u2 ¢))¢-u1 u2 (q2 -q1 )=0
(p(u1 ¢u2 -u1 u2 ¢))¢=u1 u2 (q2 -q1 )=0.
Проинтегрируем это уравнение по [t1 ,t], получим:
[p(u1 ¢u2 -u2 ¢u1 )]¢dt = u1 u2 (q2 -q1 )dt, где
u1 u2 >0, q2 -q1 ³0. Значит p(u1 ¢u2 -u1 u2 ¢)³0.
Т.о.(u1 /u2 )¢³0 Þ u1 /u2 >0.
Упражнение 3.2. с) Проверьте, что вещественные решения u(t) ¹0 уравнения u¢¢+m/t2 u=0 (1/17) имеет не более одного нуля при t>0, если m£, и эти решения имеют бесконечно много нулей при t>0, если m>. В последнем случае множество нулей имеет две предельные точки t=0 и t=¥.