![]() |
Главная страница Приемы качественного исследования [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [ 39 ] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90] [91] [92] [93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123] [124] [125] [126] [127] [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157] [158] [159] [160] [161] [162] [163] 5) См. [117, 92, 115]. § 5. Топографическая система Пуанкаре. Функция Ляпунова. Кривые контактов*). Будем предполагать, что начало координат 0(0, 0) является состоянием равновесия системы (а). Рассмотрим семейство аналитических кривых F{x, у)=С, обладающих следующими свойствами: 1) Функция F(x, у) определена и аналитична во всех точках некоторой области G, содержащей начало и не содержащей других состояний равновесия системы. В частности, область G может совпадать со всей плоскостью (х, у), и в этом случае F{x, у) стремится к бесконечности. 2) Fx {х, у) + Fy (ж, у) Ф о, если или у отличны от нуля. 3) f(0, 0)=0, f;(0,0) = 0, f;(0,0) = о,причем точка 0(0,0) является изолированной точкой кривой F{x, i/)=0, т. е. в окрестности этой точки F {х, у) может быть записана в виде F (х, у) = ах + by + сху + Ег {х, у), где ах + by + сху - определенно положительная квадратичная форма (ах + by + сху > о при всех х, у, не равных нулю одновременно) и Рз начинается с членов не ниже третьей степени. При выполнении этих условий кривые F{x, у) = с в области G образуют систему замкнутых кривых, лежащих одна внутри другой и содержащих внутри начало координат. При этом через каждую точку области G проходит только одна кривая. Семейство замкнутых кривых, обладающих указанными свойствами, называется топографической системой Пуанкаре. Если мы подставим в функцию F{x, у) вместо х ш у решение системы (а), т. е. будем рассматривать функцию F{xit), y{t)), а затем продифференцируем ее по t, то получим Fxix(t),y{t))xit) + Fy{xit),y(t))y{t). Подставляя вместо x{t) и y{t) соответственно Р{х, у) и Q{x, yj и предполагая, что x{t), y{t)-любое из решений системы (А), мы получим «производную от функции F{x, у) в силу системы (А)», т. е. = Fx {X, у) Р (х, у) + Fy (X, у) Q [х, у). (ц) Отметим, что геометрическое место точек, в которых правая часть этого выражения обращается в нуль, является геометрическим местом точек, в которых кривые топографической системы касаются траекторий. Действительно, наклон касательной к кривой топографической системы есть - Fx/Fy, а к траектории есть {{х, у)1Р{х, у), и когда правая часть соотношения (11) обращается в нуль, эти наклоны равны. Если при всех значениях X, у ъ некоторой области G, содержащей начало 0(0, 0) (область G может совпадать с областью G или являться частью G), мы имеем Fx {X, у) Р {X, у) + Fy {X, у) Q {х, у) Ф О, то функция F{x, у) называется функцией Ляпунова для системы (А) в области G. Очевидно, в этом случае кривые F{x, у) = С являются замкнутыми кривыми без контакта для траекторий системы (А). Если все траектории пересекают эти кривые при возрастании t, входя в них, т. е. если dF{x, y)/dt<0, состояние равновесия 0(0, 0) является устойчивым состоянием равновесия (его качественный характер будет такой же, как у узла или фокуса). Если все траектории пересекают эти кривые при возрастании t, выходя из них, т. е. dF{x, y)fdt>0, то состояние равновесия неустойчиво. Качественный характер его такой же, как и в предыдущем случае, только направление по траекториям прямо противоположно. Геометрическое место точек, в которых кривые топографической системы касаются траекторий, называется кривой контактов. Уравнение кривой контактов имеет вид Р{х,у) Fx {X, y) + Q {X, у) Fy {X, у) = 0. Если удается выбрать топографическую систему так, чтобы кривая контактов имела изолированную точку в начале координат и не имела ветвей, уходящих в бесконечность, то такая топографическая система оказывается инструментом для улавливания предельных циклов. Предельный цикл (если он существует) должен пересекать кривую контактов, так как предельный цикл непременно касается каких-то кривых топографической системы и поэтому может лежать только межу крайними кривыми (внешней и внутренней), касающимися кривой контактов. Vx + y у -.-1-у..-. I xcosA-ysiirA или Ф = х + у + ах-Ух + усозА = 0. В полярных координатах Ф = г (г -f- а cos ф - cos А) = 0. Следовательно, кривая контактов - окружность. Радиусы крайних кругов топографической системы, касающихся кривой контактов, будут Г1 = cos А - а, Гг = cos А + а. Определим знак dc/dt на кривых r = ri и г = Г2: ==2х + 2у--2(х + у + ах- /ТрсозЛ). В полярных координатах dcjdt = -2г (г + а cos ф - cos А) Если кривая контактов не имеет действительных ветвей, предельные циклы не могут существовать. Пусть F{x, y) = Ci - внутренняя, а F{x, у) = Сг - внешняя кривые, касающиеся кривой контактов. Можно утверждать, что существует по крайней мере один предельный цикл (нечетное число), если между кривыми Ci и d нет особых точек и если производная f-"if+ -z + i? имеет разные знаки на кривых F = С\ и F = Ci [dFldt может обращаться в нуль в отдельных точках). Пример 1 [53]. dx , , жсозД -ysinA „ , sin А -f У cos Д ---<А<-, 0<a<cosA. В качестве топографической системы возьмем семейство окружностей х + у = с. Кривая контактов будет иметь вид J, YT -(-. + [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [ 39 ] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90] [91] [92] [93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123] [124] [125] [126] [127] [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157] [158] [159] [160] [161] [162] [163] 0.0205 |