CC BY
40
Из (74) следует, что в пространстве 12 последовательность а(п) (п = 1, 2,...) слабо сходится к а, а (3('п (п = 1,2,...) слабо сходится к в. Отсюда и из теоремы 9 [6, с. 219] следует утверждение теоремы.
Работа выполнена при финансовой поддержке РФФИ (проект 10-01-00270) и гранта Президента РФ для государственной поддержки ведущих научных школ (проект НШ-4383.2010.1)
Библиографический список
1. Аллахвердиев, Дж.Э. Об одной задаче оптимального управления в гильбертовом пространстве / Дж.Э. Аллахвердиев, Н.К. Аллахвердиева // Дифференциальные уравнения. - 1977. - Т. XIII, № 12. - С. 2124-2134.
2. Аллахвердиева, Н.К. Необходимое и достаточное условие оптимальности для некоторой задачи управления системой, описываемой дифференциально-операторным уравнением / Н.К. Аллахвердиева // Вопросы математической кибернетики и прикладной математики. - Баку: ЭЛМ, 1980. - Вып. 4. - С. 44-54.
3. Гохберг, И.Ц. Введение в теорию линейных несамо-
сопряженных операторов / И.Ц. Гохберг, М.Г. Крейн. - М.: Наука, 1965. - 448 с.
4. Крейн, С.Г. Линейные дифференциальные уравнения в банаховом пространстве / С.Г. Крейн. - М.: Наука, 1967. - 464 с.
5. Васильев, Ф.П. Методы решения экстремальных задач / Ф.П. Васильев. - М.: Наука, 1981. - 399 с.
6. Люстерник, Л.А. Элементы функционального анализа / Л.А. Люстерник, В.И. Соболев. - М.: Наука, 1965. - 519 с.
УДК 514.133+514.17
КОНЕЧНЫЕ ЗАМКНУТЫЕ 3(4)-КОНТУ1 РАСШИРЕННОЙ ГИПЕРБОЛИЧЕСКОЙ ПЛОСКОСТИ
Л.Н. Ромакина
Саратовский государственный университет, кафедра геометрии E-mail: romakinaln@mail.ru
Введены в рассмотрение конечные замкнутые n-контуры расширенной гиперболической плоскости H2. Подробно исследованы топологические и метрические свойства конечных замкнутых 3(4)-контуров. Получены аналоги предложения Паша. Доказано: существование двух типов 4-контуров; выпуклость простого 4-контура.
Ключевые слова: конечный замкнутый n-контур, простой 4-контур, внутренность конечного замкнутого контура, выпуклый замкнутый конечный контур.
Finite Closed 3(4)-Loops of Extended Hyperbolic Plane
L.N. Romakina
Saratov State University, Chair of Geometry E-mail: romakinaln@mail.ru
This article considers finite closed n-loops of the extended hyperbolic plane H2. The paper deals with topological and metric properties of the finite closed 3(4)-loops. Pasha statement analogues have been also obtained. We proved the existence of two types 4-loops and convexity of the plain 4-loop.
Keywords: finite closed n-loop, plain 4-loop, interior of afinite closed isotropic loop, convex finite closed loop.
ВВЕДЕНИЕ
1. Расширенной гиперболической плоскостью Н2 называют проективную плоскость с фиксированной на ней овальной линией 7 [1], линию 7 в этом случае называют абсолютом плоскости Н2. Все точки линии 7 называют бесконечно удаленными, или несобственными. Внутренняя область относительно овальной линии 7 является полной плоскостью Лобачевского, а на множестве всех внешних относительно абсолюта точек, образующих так называемую идеальную область плоскости Лобачевского, можно построить различные геометрии. Каждую прямую плоскости Н2 по наличию общих с абсолютом точек можно отнести к одному из трех типов. Прямые, пересекающие абсолют в двух действительных точках, называют гиперболическими, в двух мнимо сопряженных точках — эллиптическими, а касательные к абсолюту называют параболическими, или изотропными прямыми. В работе [2] на прямых указанных типов с помощью точек абсолюта введены понятия: направление, луч, отрезок, квазиотрезок, середина отрезка и квазиотрезка, квазисередина отрезка. Ослабляя строгость определений, приведем те из них, которые будут использованы в данной работе.
Проективная прямая является замкнутой, поэтому для точек на ней имеют место те же отношения порядка, что и для точек, например, окружности евклидовой плоскости. Единственным инвариантом для точек проективной прямой является сложное, или ангармоническое, отношение четырех точек.
Начнем с параболических прямых. Так как именно параболическими являются все прямые евклидовой плоскости, то нам нужно лишь описать известные отношения средствами проективной геометрии. Сопровождая следующие рассуждения рис. 1, прямые будем изображать замкнутыми линиями 1.
Пусть на параболической прямой 1 (рис. 1, а) точка К принадлежит абсолюту. Удаление точки К меняет топологию прямой 1, но сохраняет связность. Так что теперь любая точка А прямой 1 разделяет прямую на две части. Получаем два направления на прямой 1, два луча с началом в точке А. Любые две точки А и В прямой 1 разделяют ее на три пересекающиеся не более чем в одной точке части, две из которых — лучи АК и ВК. Третью часть называют отрезком АВ. Или более строго: отрезком АВ параболической прямой 1 называют множество, состоящее из точек А, В и всех точек Х прямой 1, разделяющих с абсолютной точкой прямой 1 пару точек А, В.
Разделенность (неразделенность) пар А, В и X, К точек прямой 1 соответствует неравенству (АВХК) < 0 ((АВХК) > 0), где (АВХК) — сложное отношение четырех данных точек. Положение точки X отрезка АВ параболической прямой 1 (рис. 1, а) можно характеризовать неравенством (АВХК) < 0, а точки У луча ВК — неравенством (АУВК) < 0.
Эллиптическая прямая не имеет общих действительных точек с абсолютом, поэтому как и проективная прямая является замкнутой. Любые две точки А и В эллиптической прямой 1 (рис. 1, б) разбивают множество всех точек этой прямой, за исключением точек А и В, на два непустых непересекающихся множества, каждое из которых называют отрезком эллиптической прямой с концами в точках А и В .На рис. 1, б изображены два отрезка эллиптической прямой АХВ, АУВ. Если К1, К2 — абсолютные мнимо сопряженные точки эллиптической прямой 1, то для каждой пары точек А, В на прямой 1 найдется единственная пара действительных точек 51, 52, гармонически разделяющая и пару А, В, и пару К1, К2: (5152АВ) = -1, (^1^2К1 К2) = -1. Точки 51, 52 принадлежат различным отрезкам, определенным точками А и В. Если точка 51 (52) принадлежит отрезку АХВ (АУВ), в этом случае (51ХАВ) > 0 ((52УАВ) > 0), ее называют серединой этого отрезка.
Гиперболическая прямая имеет две действительные абсолютные точки. Поэтому как гипербола евклидовой плоскости она состоит из двух связных частей, называемых ветвями.
Пусть на гиперболической прямой 1 (рис. 1, в) с бесконечно удаленными точками К1, К2 точки А и В принадлежат одной ветви: (АВК1К2) > 0. Тогда эти точки разделяют ветвь на три пересекающиеся не более чем в одной точке части: луч АК1, луч ВК2 и отрезок АВ. Отрезком АВ гиперболической прямой 1 называют множество, состоящее из точек А, В одной ветви и всех точек Х прямой 1, разделяющих с каждой абсолютной точкой прямой 1 пару точек А, В. Условие принадлежности точки Х отрезку АВ можно записать неравенством (АВХК1) < 0.
Если АВ — отрезок гиперболической прямой 1, то на 1 существует единственная пара действительных точек 51, 52, гармонически разделяющая пары точек А, В и К1, К2: (5152АВ) = — 1, (5152К1К2) = —1. Одна из точек 51, 52 принадлежит отрезку АВ, ее называют серединой отрезка АВ. Другая точка принадлежит ветви прямой 1, не содержащей точек А и В, ее называют квазисерединой отрезка АВ.
Если точки А и В принадлежат различным ветвям гиперболической прямой 1 с несобственными точками К1, К2, то они делят прямую 1 на две части. Одна из частей содержит точку К1, другая — точку К2. Каждую часть называют квазиотрезком гиперболической прямой с концами в точках А и В.
а
б
Рис. 1
в
2. Пусть Ai, A2, ..., An — такая упорядоченная последовательность действительных точек расширенной гиперболической плоскости H2, что каждая прямая A1A2, A2A3, . .., An-1 An, AnA1 является изотропной. Совокупность всех отрезков A1A2, A2A3, . .., An-1 An, AnA1 соответствующих изотропных прямых назовем замкнутым конечным n-контуром или кратко: n-контуром. Точки A1, A2, ..., An назовем вершинами, прямые A1A2, A2A3, ..., An-1 An, AnA1 — сторонами, а отрезки A1A2, A2A3, ..., An-1 An, AnA1 — ребрами n-контура. Ребра, имеющие общую вершину, и вершины, принадлежащие одному ребру, назовем смежными ребрами, вершинами соответственно.
Точку плоскости H2 назовем особой точкой n-контура, если она является общей точкой несмежных ребер данного n-контура.
Замкнутый конечный контур назовем простым, если он не имеет особых точек. В противном случае контур будем называть составным.
Точку плоскости H2 назовем внутренней относительно n-контура, если она не принадлежит данному n-контуру, и каждая прямая, проходящая через эту точку, имеет с n-контуром, по крайней мере, две общие точки.
Непустое множество всех внутренних относительно n-контура точек плоскости H2 назовем внутренностью данного контура. Обозначение: int F — внутренность контура F.
По определению конечный замкнутый n-контур не содержит бесконечно удаленных точек, а каждая его сторона касается абсолютной овальной квадрики плоскости H2, следовательно, каждая его точка является внешней по отношению к абсолюту. Не каждая прямая плоскости H2, в отличие от любой прямой евклидовой плоскости или плоскости Лобачевского, разделяет плоскость на части, поэтому используемое в указанных геометриях определение выпуклого многоугольника как многоугольника, все точки которого принадлежат одной полуплоскости относительно каждой из сторон, для многоугольников плоскости H2, в частности для изотропных контуров, неприменимо. Кроме того, любые две точки плоскости H2 могут определять: отрезок параболической прямой; два отрезка эллиптической прямой; отрезок или квазиотрезок гиперболической прямой плоскости H2. С учетом этого, корректируя известное определение евклидовой геометрии, можно ввести следующее определение выпуклого замкнутого конечного контура плоскости H2.
Пусть замкнутый конечный контур F плоскости H2 обладает внутренностью. Будем говорить, что отрезок (квазиотрезок) принадлежит внутренности контура F, если каждая точка отрезка (квазиотрезка) является внутренней относительно данного контура.
Замкнутый конечный контур F плоскости H2 назовем выпуклым, если для любых двух его внутренних точек существует отрезок или квазиотрезок с концами в этих точках, принадлежащий внутренности данного контура.
В данной работе установлено, что из всех замкнутых конечных 3(4)-контуров выпуклым является только каждый простой 4-контур, конечный замкнутый 3-контур не обладает внутренностью. Получены аналоги предложения Паша: для 3-контуров — утверждения 2), 3) теоремы 1, для 4-контуров — утверждения 4)-6) теоремы 2.
1. КОНЕЧНЫЕ ЗАМКНУТЫЕ 3-КОНТУРЫ ПЛОСКОСТИ H2
Теорема 1. Пусть ABC — конечный замкнутый 3-контур плоскости H2. Выполняются следующие утверждения:
1) не существует точек, внутренних относительно контура ABC;
2) любая прямая плоскости H2 имеет с контуром ABC, по крайней мере, одну общую точку;
3) если некоторая прямая не содержит вершин контура ABC и пересекает два его ребра, то она пересекает и третье ребро контура.
Доказательство. На проективной плоскости любую овальную линию можно задать уравнением
Проективный репер плоскости Н2, уравнение абсолютной линии 7 в котором имеет вид (1), назовем каноническим.
В каждом каноническом репере плоскости Н2 первые две вершины и единичная точка принадлежат линии 7, а третья вершина является полюсом прямой, соединяющей две первые вершины.
x1x2 — x3 = 0.
2
(1)
Каждое ребро данного контура ABC — отрезок изотропной прямой. Не теряя общности рассуждений, вершину A3 канонического репера R = (Ai, A2, A3,E} плоскости H2 совместим с точкой A, а вершины Ai, А2 — с несобственными точками сторон АВ и АС соответственно (рис. 2). Единичную точку E репера R поместим в точку касания прямой BC с линией y. В присоединенном репере R вершины данного контура имеют координаты A(0 : 0 : 1), B(2 : 0 : 1), C(0 : 2 : 1), а его стороны заданы уравнениями AB : x2 =0; AC : x1 = 0; BC : x1 + x2 - 2x3 = 0.
Пусть M(m1 : m2 : m3) — произвольная точка плоскости H2. Покажем, что существует прямая, проходящая через точку M и пересекающая данный контур в единственной точке. Выберем некоторую точку на прямой BC, не принадлежащую отрезку BC, например, точку T(1 : 3 : 2). Точка T принадлежит лучу CE, не содержащему точку B, так как
(.ВТСЕ) = -2 < 0. Рис 2
Прямая MT в репере R задана уравнением:
x1(3m3 — 2m2) + x2(2m1 — m3) + x3 (m2 — 3m1) = 0 и пересекает прямые AB и AC соответственно в точках
Bq(3m1 — m2 : 0 : 3m3 — 2m2), Co(0 : 3m1 — m2 : 2m1 — m3).
Для четверок точек A, B, Bo, Ai и A, C, Co, A2 имеем
3mi — m2
(ABB0A1) =
3(m1 + m2 — 2m3)'
(ACCo A2) =
— (3m1 — m2) m1 + m2 — 2m3
Следовательно, числа (ABB0A1) и (ACC0A2) разных знаков, т.е. одна и только одна из точек B0, C0 принадлежит ребру данного 3-контура. Таким образом, для каждой точки плоскости H2 найдется содержащая ее прямая, пересекающая любой замкнутый конечный 3-контур в единственной точке, т. е. никакая точка плоскости H2 не является внутренней относительно 3-контура. Первое утверждение доказано.
Для доказательства второго и третьего утверждений произвольной прямой a присвоим в репере R координаты (a1 : a2 : a3). Тогда точки пересечения прямой a сторонами данного контура имеют координаты
ABПa = T1(—a3 : 0 : a1), ACПa = T2(0 : —a3 : a2), BCПa = T3(a3 + 2a2 : —a3 — 2a1 : a2 — a1).
Знаки чисел /1 = (ABT1A1), /2 = (ACT2A2), /3 = (BCT3E) определяют принадлежность точек T1, T2, T3 соответствующим ребрам данного контура. Если прямая a не содержит вершин контура ABC (иначе второе утверждение теоремы очевидно), то числа /1, /2, /3 определены и /1 /2/3 = 0. Так как в репере R
h = (ABT1A1) =
a3
/2 = (ACT2A2) =
a3
2a1 + a^ 2a2 + a3'
то возможны только следующие наборы знаков чисел /1, /2, /3:
/3 = (BCT3 E) = —
2a1 + a3 2a2 + a3'
/1 + + — —
/2 + — + —
/3 — + + —
Каждый возможный набор знаков содержит «минус», значит, хотя бы одна из точек Т1, Т2, Т3 принадлежит ребру контура. И ни один набор не имеет точно два «минуса», т.е. принадлежность контуру двух и только двух точек из Т!, Т2, Т3 невозможна. Таким образом, прямая а имеет с
контуром ABC, по крайней мере, одну общую точку и если она пересекает какие-либо два ребра контура ABC, то она пересекает и третье его ребро. Теорема 1 доказана.
Отметим, что 3-контур не имеет инварианта фундаментальной группы G преобразований плоскости H2, поэтому все 3-контуры G-эквивалентны.
2. КОНЕЧНЫЕ ЗАМКНУТЫЕ 4-КОНТУРЫ ПЛОСКОСТИ H2
Вершины (ребра) замкнутого конечного 4-контура назовем противоположными, если они не являются смежными.
Прямые, соединяющие противоположные вершины замкнутого конечного 4-контура, назовем диагональными прямыми данного контура.
Теорема 2. Пусть р — множество всех замкнутых конечных 4-контуров расширенной гиперболической плоскости. Справедливы утверждения:
1) любой контур в р или простой, или составной с двумя особыми точками;
2) диагональные прямые каждого контура из р неизотропные и взаимно ортогональные, они различных типов (гиперболического типа) тогда и только тогда, когда контур простой (составной); диагонали простого (составного) контура из р пересекаются в их середине (квазисередине);
3) прямая, содержащая точки пересечения противоположных сторон контура из р, является гиперболической (эллиптической) тогда и только тогда, когда контур является простым (составным);
4) каждая прямая пересекает, по крайней мере, два ребра любого составного контура из р; если прямая имеет с составным контуром из р единственную общую точку, то эта точка для контура является особой;
5) каждая прямая, не содержащая вершину простого контура из р, либо не имеет с этим контуром общих точек, либо пересекает точно два ребра контура;
6) если изотропная прямая пересекает ребро простого контура из р, то она пересекает и противоположное ему ребро;
7) любой простой контур из р является выпуклым;
8) каждая точка на ребре простого контура F из р однозначно определяет два простых контура Fi, F2 из р так, что int Fi П int F2 = 0 и int F = int Fi U int F2;
9) любой составной контур F из р имеет внутренность, не является выпуклым и его можно представить в виде объединения двух простых контуров Fi, F2 из р так, что int Fi П int F2 = 0 и int F = int Fi U int F2.
Доказательство. Пусть ABCD — некоторый контур из р. Присоединим к нему канонический репер R = {Ai,A2, A3,E}, используемый при доказательстве теоремы 1, следующим образом.
Совместим вершину A3 с точкой A, а вершины Ai и A2 — с несобственными точками прямых AB и AD соответственно. Тогда конечным точкам B и D можно присвоить координаты B(b : 0 : 1), D(0 : d : 1), где bd = 0, так как точки B и D не совпадают с точкой A. Некоординатные изотропные прямые, проходящие соответственно через точки B и D, имеют в репере R уравнения
BC : 4xi + b2x2 - 4bx3 = 0, CD : d2xi + 4x2 - 4dx3 = 0.
Следовательно, вершина C задана в репере R координатами (4b : 4d : 4 + bd).
Несобственные точки прямых AB, BC, CD, DA имеют в репере R соответственно координаты
K = Ai (1:0:0), Кз(Ь2 :4:2b), K*(4 : d2 : 2d), Ki = A2 (0:1:0), (2)
а точки пересечения противоположных сторон данного контура — координаты
AB П CD = P (4:0: d), BC П AD = N (0:4: b). (3)
Определим принадлежность точек P и N ребрам данного контура. Используя координаты (2), (3), получаем
4 bd
(ABK2 P) = (CDK4 P) = (CBK3N) = (ADKiN) = .
По условию bd = 0. Если bd = 4, то прямая BD является изотропной, и точка C принадлежит абсолютной квадрике. Но контур ABCD — конечный, следовательно, bd = 4. Поэтому возможны только два случая.
1. Имеет место неравенство
bd < 4. (4)
Тогда все числа (ABK2P), (CDK4P), (CBK3N), (ADK1N) больше нуля, и, следовательно, ни одна из точек P и N не принадлежит контуру ABCD. Контур ABCD является простым (рис. 3).
2. Выполняется неравенство
bd > 4. (5)
Тогда все числа (ABK2P), (CDK4P), (CBK3N), (ADK1N) меньше нуля. Следовательно, каждая из точек P, N принадлежит одновременно двум противоположным ребрам данного контура, т. е. контур является составным с особыми точками P, N (рис. 4).
Рис. 3
Рис. 4
Таким образом, каждый контур из р является либо простым, либо составным с двумя особыми точками. Первое утверждение доказано.
Уравнения диагональных прямых каждого контура ABCD из р имеют вид
AC : dx1 — bx2 = 0, BD : dx\ + bx2 — bdx3 = 0. (6)
Пусть Zac и Zbd — значения квадратичной тангенциальной формы ф = 4X1X2 — X2, соответствующей заданию (1) абсолюта плоскости H2, от координат (6) прямых AC и BD. Тогда Zac = —4bd, ZAC = 4bd — b2d2. Числа ZAC, ZBD отличны от нуля, так как bd = 0, bd = 4. Знак числа ZAC (ZBD) определяет тип прямой AC (BD). Числа Zac и Zbd одного знака, отрицательные, только при bd > 4, следовательно, прямые AC и BD принадлежат одному типу, гиперболическому, тогда и только тогда, когда контур ABCD является составным. В противном случае, при условии (4), соответствующем простому контуру из р, одна из диагональных прямых контура является гиперболической, другая — эллиптической.
Квадратичной тангенциальной форме ф = 4X1X2 — X2 соответствует билинейная тангенциальная форма Ф = 2X1Y2 + 2X2Yi — X3Y3. Координаты прямых AC и BD (6) сопряжены относительно формы Ф, следовательно, диагональные прямые AC и BD ортогональны.
Точка O пересечения диагоналей контура ABCD в репере R имеет координаты O(b : d : 2), а несобственные точки L1)2 (Z1¡2) прямой AC (BD) — координаты
Li,2(b : d : ±Vbd), Z^(b2d — 2b ± b^bd(bd — 4) : 2d : bd ±y/bd(bd — 4)).
Если bd > 4, точки Ь1)2, Z1í2 — действительные, если bd < 4, точки одной из пар Ь1)2, Z1í2 являются действительными, другой — мнимо сопряженными.
Непосредственная проверка дает: (OAL1L2) = (COL1L2), (OBZ1Z2) = (DOZ1Z2). По лемме 1 [2, с. 94] на прямой AC (BD) найдется единственная точка O такая, что пара точек O, O
гармонически разделит пару точек А, С (В, Д). Согласно определению при М > 4 (М < 4) точка О является квазисерединой (серединой) диагоналей данного составного (простого) контура АВСД.
Второе утверждение теоремы доказано.
Прямая РЖ, заданная в репере Я уравнением йх + Ьх2 + 4х3 = 0, является гиперболической (эллиптической) только при М < 4 (М > 4), т.е. тогда и только тогда, когда контур АВСД простой (составной). Доказано утверждение 3).
Зададим произвольную прямую а в репере Я координатами (а1 : а2 : а3). Полагая, что прямая а не проходит через точку А, примем а3 = 1. Точки пересечения сторон контура АВСД прямой а имеют в репере Я координаты
АВ П а = Т1 (-1 : 0 : а1), ВС П а = Т2(Ь2 + 4а2Ь : -4 - 4а1Ь : 4а2 - а1 Ь2),
СД П а = Гз(4 + 4а2й : -й2 - 4а1^ : а2^2 - 4а1), АД П а = Т(0 : -1 : а2).
Найдем выражение чисел /1 = (ЛВК2Т1), /2 = (ВСК3Т2), /3 = (СДК4Т3), /4 = (ЛДК1Т4) через параметры Ь, й, фиксированные числа для каждого данного контура АВСД, и координаты а1, а2 прямой а:
4(Ьа1 + 1) + 4(йа2 + 1) + М - 4
/1 = Ьа1 + 1,
/4 = йа2 + 1,
/2 =
/з =
(4 - М)(6а1 + 1) 4(Ьа1 + 1) + 4(йа2 + 1) + М - 4
(7)
(8)
(4 - М)(йа2 + 1)
Если прямая а не содержит вершин контура АВСД, то числа /1, /2, /3, /4 определены и каждое из них отлично от нуля.
Рассмотрим отдельно варианты для составного и простого контуров из р. 1. Контур АВСД — составной, имеет место неравенство (5).
Предположим, что прямая а не пересекает какие-либо два ребра контура АВСД. Эти ребра могут быть либо смежными, либо противоположными. Пусть для начала прямая а не пересекает смежные ребра АВ и АД, тогда ее координаты а1, а2 удовлетворяют системе неравенств
Ьа1 + 1 > 0, йа2 + 1 > 0.
(9)
При условиях (5), (9) числа /2, /3 меньше нуля, следовательно, прямая а пересекает ребра ВС и СД. По условию прямая а не проходит через вершину С, следовательно, точки ее пересечения с ребрами ВС и СД различные, т. е. а имеет с контуром две общие точки.
Пусть теперь прямая а не пересекает два противоположных ребра данного составного контура, например, ребра АВ и СД. Тогда числа /1, /3 больше нуля. В данном случае при М > 4 это возможно лишь при /4 < 0. Но тогда /2 < 0. Значит, прямая а пересекает ребра АД и ВС. Прямая а будет иметь с контуром одну общую точку только в случае совпадения точек ее пересечения ребрами АД и ВС. Это возможно, так как указанные ребра имеют общую особую точку N.
Итак, каждая прямая пересекает, по крайней мере, два ребра составного контура из р, и если прямая имеет с составным контуром из р единственную общую точку, то эта точка для контура является особой. Доказано утверждение 4).
2. Контур АВСД — простой, выполняется неравенство (4).
Тогда согласно представлениям (7), (8) для чисел /1, /2, /3, /4 возможны только следующие наборы знаков:
/1 + + - - + - +
/2 + + - + - + -
/з + - + + - - +
/4 + - + - + + -
Таким образом, для каждого простого контура из р существуют прямые, пересекающие его, и прямые, не имеющие с ним общих точек. Каждый из наборов, содержащий знак «минус», содержит
точно два «минуса». Поэтому если прямая, не содержащая вершину простого контура из р, пересекает ребро контура, она пересекает точно два его ребра. Доказано утверждение 5).
Если прямая а является изотропной, то ее координаты (а! : а2 : 1) обращают квадратичную тангенциальную форму , определяющую абсолют плоскости Н2, в нуль. Следовательно, числа /!, /2, /3, /4 из (7), (8) для изотропной прямой а можно записать в виде
/i = bai + 1, /2 =
/4 = da2 + 1,
/3 =
4(da2 + 1) 4 - bd '
4(bai + 1)
(10)
(11)
4 - bd
Так как для простого контура ABCD имеет место неравенство bd < 4, то числа в парах /1, /3 и /2, /4 из (10), (11) одного знака. Следовательно, если прямая a пересекает ребро AB (BC) контура, то она пересекает и противоположное ему ребро CD (DA). Утверждение 6) доказано.
Далее. Пусть ABCD — простой контур из р и AB П CD = P, BC П AD = N (рис. 5). Условимся обозначать через Wx ту часть плоскости H2, определенную изотропными прямыми, проходящими через точку X, которая не содержит точек абсолюта. Покажем, что контур ABCD имеет внутренность и
int (ABCD) = Wp П Wn .
(12)
Рис. 5
Пусть точка М принадлежит множеству Шр П . Прямые АВ и СВ разделяют изотропную прямую ВС на две части: отрезок ВС и объединение лучей ВК3, СК3. Отрезок ВС не содержит бесконечно удаленных точек, следовательно, полностью принадлежит множеству Шр. Отрезок АВ также принадлежит множеству Шр. Поэтому для каждой точки М из Шр прямая МР пересекает и отрезок ВС, и отрезок АВ. Аналогично, для каждой точки М из прямая МЖ пересекает и отрезок АВ, и отрезок СВ. Таким образом, для любой точки М из ШР П на отрезках АВ, ВС, СВ, ВА существуют попарно различные точки " = АВ П МЖ, "2 = ВС П МР, "3 = СВ П МЖ, = ВА П МР. По условию контур АВСВ — простой, следовательно, точки Р и N ему не принадлежат, т. е. (Р"!АВ) < 0, (Р"3СВ) < 0, (Ж"2ВС) < 0, (Ж"4АВ) < 0. Отсюда следует, что прямые МР и МЖ разделяют каждую из следующих пар прямых: МА и МВ, МВ и МС, МС и МВ, МВ и МА. В силу этого точки А и С (В и В) принадлежат одной части С! (С2) плоскости Н2, определенной прямыми МР и МЖ. Точки V!, "3 ("2, "4) лежат на прямой МЖ (МР), поэтому ломаные "4А"! и "2С"3 ("1В"2 и "3В"4) полностью принадлежат части С! (С2).
Каждая прямая 1, проходящая через точку М, целиком лежит либо в части С!, либо в части С2. В первом случае 1 пересекает и ломаную "4А"!, и ломаную "2С"3, во втором — каждую из ломаных "!В"2, "3В.
Итак, любая прямая, проходящая через точку множества Шр П Шм, пересекает данный простой контур АВСВ в двух точках, т. е. Шр П = Ш (АВСВ).
Покажем, что точки плоскости Н2, не принадлежащие множеству Шр ПШм, не являются внутренними относительно контура АВСВ. Предположим, что точка К не принадлежит множеству ШрПШм. Тогда К не принадлежит хотя бы одному из множеств Шр, Шм, например, не принадлежит множеству Шр. В этом случае прямая КР принадлежит дополнению множества Шр до Н2. Так как отрезки ВС и АВ целиком лежат во множестве Шр, прямая КР эти отрезки не пересекает. Но прямая КР не пересекает и отрезки АВ, СВ, так как Р не принадлежит контуру. Итак, для каждой точки плоскости Н2, не принадлежащей множеству Шр ПШм, найдется прямая, не имеющая с данным контуром общих точек. Следовательно, если точка не принадлежит множеству Шр П Шм, то она не является внутренней относительно данного контура. Таким образом, имеет место равенство (12).
Согласно построению множества Шр, Шн не содержат точек абсолюта, следовательно, каждая внутренняя точка относительно контура АВСД является внешней по отношению к абсолютной линии.
Докажем, что простой контур АВСД — выпуклый.
Пусть М и Т — внутренние относительно контура АВСД точки. Тогда М е ШР П Шн и Т е Шр П Шн.
Обозначим Х1 и Х2 точки пересечения прямой МТ прямыми АВ и СД соответственно. Рассмотрим возможные варианты.
1. Прямая МТ — изотропная. Пусть Б — несобственная точка прямой МТ. По построению множество ШР не содержит точек абсолюта, следовательно, Б е ШР. Так как М е ШР и Т е ШР, каждая из точек М и Т разделяет с Б пару точек Х1, Х2:
(МБХ1Х2) < 0, (ТБХ1Х2) < 0. (13)
Пусть Х — произвольная точка отрезка МТ параболической прямой, тогда пара точек Х, Б разделяет пару точек М, Т:
(ХБМТ) < 0. (14)
При условиях (13), (14) имеет место неравенство (ХБХ1Х2) < 0, т.е. Х принадлежит отрезку Х1Х2 параболической прямой МТ. Следовательно, Х е Шр. Аналогично можно показать, что Х е Шн. Таким образом, Х — внутренняя относительно контура АВСД точка.
2. Прямая МТ — гиперболическая. Точки М и Т являются внешними по отношению к абсолюту, поэтому определяют отрезок гиперболической прямой. Пусть Б0 — середина, а Б — квазисередина отрезка МТ. Тогда так как точки М и Т принадлежат множеству ШР, то Б0 е ШР, а Бе ШР, следовательно,
(МБХ1Х2) < 0, (ТБХ1Х2) < 0. (15)
Для каждой точки Х отрезка МТ выполняется неравенство (ХБ0МТ) > 0, откуда следует, что (ХБМТ) < 0. С учетом неравенств (15) имеем (ХБХ1Х2) < 0, т. е. Х е Шр. Рассуждая аналогично, получим Х е Шн. Следовательно, каждая точка отрезка МТ является внутренней относительно контура АВСД.
3. Если прямая МТ эллиптическая, то точки М и Т определяют на ней два различных отрезка, обозначим их М01Т и М02Т. Так как обе точки М и Т принадлежат множеству Шр , то пара точек М, Т не разделяет пару точек Х1, Х2: (МТХ1Х2) > 0. Следовательно, точки Х1 , Х2 принадлежат одному из отрезков, определенных точками М и Т, например, отрезку М01Т. Тогда М02Т с ШР. Аналогично заключаем, что М02Т с Шн. Следовательно, М02Т с т^АВСД).
Показали, что какова бы ни была прямая МТ, существует отрезок, соединяющий точки М, Т и принадлежащий внутренности данного контура. По определению контур АВСД выпуклый. Утверждение 7) доказано.
На ребре АВ простого контура АВСД выберем некоторую точку К. Через К проходят две изотропные прямые, одна из них совпадает со стороной АВ контура, другую обозначим к. Согласно утверждению 6) прямая к пересекает ребро СД данного контура (пусть к П СД = £), тогда по утверждению 5) прямая к не пересекает ребра ВС и ДА. Следовательно, отрезок АВ (СД) является объединением отрезков АК и КВ (С£ и £Д) и контуры р = АКЬД, Р2 = КВСЬ являются простыми. Таким образом, точка К однозначно определяет два простых контура Р2 из р.
Пусть АВ П СД = Р, ВС П АД = N, К£ П АД = V, К£ П ВС = 7. Тогда по условию (12) для контуров р, Р2 получаем:
Щ Р = ШР П , Ш ^2 = ШР П Ш. (16)
Так как контуры Р2 — простые, точки V, 7 прямой К£ не принадлежат отрезку К£, следовательно, эти точки не принадлежат множеству Шр. Точка N не принадлежит простому контуру Р, т. е. также не принадлежит множеству Шр. Поэтому
Шр П (Шу П Ш) = 0. (17)
Равенства (16), (17) приводят к условию int F П int F2 = 0.
Прямые NV, NJ и VJ изотропные, поэтому
Wv U Wj = Wn U (Wv П Wj). (18)
Учитывая равенства (16), (18), (17), (12), получаем int F U int F2 = int F. Доказано утверждение 8).
Пусть теперь F = ABCD — составной контур, где AB П CD = P, ВС П AD = N. По утверждению 4) каждая прямая пересекает хотя бы два ребра составного контура из р, и если прямая имеет с составным контуром из р только одну общую точку, эта точка является для контура особой. Пусть l — произвольная прямая, проходящая через особую точку P (N). Если l принадлежит множеству WP (Wn), то она пересекает ребра ВС и AD (AB и CD), также принадлежащие этому множеству, следовательно, l имеет с контуром еще хотя бы одну общую точку. Если l принадлежит множеству WP (WN), дополнению множества WP (WN) до плоскости H2, то l пересекает дополнения отрезков ВС и AD (AB и CD) до содержащих их прямых. Следовательно, P (N) — единственная общая точка прямой l и контура ABCD. Таким образом, каждая прямая, проходящая через любую точку M множества Wp П Wn, имеет с контуром не менее двух общих точек, и для каждой точки K, не принадлежащей множеству Wp П Wn , найдется прямая (KP, KN), пересекающая контур в единственной точке. Следовательно, для составного контура ABCD также имеет место равенство (12).
Точка P (N) разбивает каждый из отрезков AB и CD (BC и AD) на два отрезка:
AB = AP U PB, CD = CP U PD, BC = BN U NC, AD = AN U ND. (19)
Очевидно, контуры Fi = APCN и F2 = BPDN (см. рис. 4) принадлежат р. По утверждениям 2), 3) диагональные прямые AC и BD контура F гиперболические, а прямая PN эллиптическая. Тогда контуры Fi и F2 в силу утверждения 2) являются простыми. Докажем, что int Fi П int F2 = 0 и int F = int Fi П int F2.
Предположим, что существует точка M: M е int F1 и M е int F2. Тогда любая прямая m, проходящая через точку M, пересекает каждый простой контур F1, F2 в двух точках. Полагая, что прямая m не содержит особых точек P и N, общих для контуров F1, F2, получим четыре различные точки пересечения прямой m ребрами контуров F1, F2. Прямая m не может пересечь некоторую прямую дважды, поэтому при разложениях (19) m пересекает каждое ребро контура F.
В то же время, какова бы ни была точка M плоскости H2, найдутся проходящие через нее прямые, имеющие с данным контуром из р менее четырех общих точек. Действительно, если S — несобственная точка какой-либо стороны контура, то прямая MS не пересекает, по крайней мере, одно из ребер данного контура. Пришли к противоречию. Следовательно, int F1 П int F2 = 0.
Пусть точка M принадлежит множеству int F1 (int F2), тогда каждая проходящая через M прямая пересекает контур F1 (F2) в двух точках X, Y. Но имеют место равенства (19), т. е. все ребра контуров Fi, F2 полностью принадлежат контуру F. Поэтому X е F, Y е F. Следовательно, M е intF. Итак,
int Fi U int F2 с int F. (20)
Обратно. Противоположные стороны контуров Fi (F2) пересекаются в точках B, D (A, C). По ранее доказанному
int F = WP П WN, int F1 = WB П WD, int F2 = WA П WC. (21)
Пусть M е int F, или
M е Wp П Wn . (22)
Предположим, что M е int Fi U int F2, т.е. M е int Fi и M е int F2. Тогда на основании равенств (21) M не принадлежит хотя бы одному из множеств Wb , Wd и хотя бы одному из множеств Wa, Wc. Допустим, что
M е Wa и M е Wb . (23)
Тогда точка М принадлежит дополнениям множеств Ша и Шв до плоскости Н2: М е Ша и М е Шв. Следовательно,
МеША П ТШв. (24)
Через точки А и В проходят три изотропные прямые АВ, АЖ, ВЖ, две из которых (АЖ, ВЖ) определяют множества и . По построению каждое из множеств Ша, Шв содержит абсолютную квадрику, следовательно, ША П Шв С . Поэтому из условия (24) следует условие: М е . Но тогда М е . Пришли к противоречию с условием (22). Следовательно, допущения (23) не имеют места. Аналогично исключаем условия: М е ША и М е ; М е Шс и М е Шв; М е Шс и М е . Получаем противоречие предположения М е ^ и int В2 с условием М е int В. Откуда следует, что ^В С int и int Р2. Учитывая условие (20), приходим к утверждению теоремы: М В = М и int Р2.
Остается доказать, что составной контур АВСВ из р не является выпуклым.
По построению каждая точка прямой РЖ, за исключением точек Р и N, является внутренней относительно контура АВСВ. Выберем на прямой РЖ точки Т, Ь, разделяющие пару точек Р, Ж. Тогда каждый из отрезков, определенных точками Т, Ь на эллиптической прямой РЖ, содержит точку Р или Ж, т.е. не принадлежит полностью множеству т^АВСВ). Следовательно, контур АВСВ не является выпуклым. Теорема 2 доказана.
Замечание 1. Случаям простого и составного контуров из р соответствуют принципиально различные положения на абсолютной линии 7 несобственных точек К1, К2, К3, К4 последовательно взятых сторон АВ, ВС, СВ, ВА контура. Действительно, пусть X = К1К2 П К3К4, У = К2К3 П К1К4. В используемом каноническом репере Я точки К1, К2, К3, К4 заданы координатами (2), поэтому точки X и У имеют координаты X(—6 : d : 0), У(26 : 2^ : М). Точка X является внутренней (внешней) относительно линии 7 при 6d < 0 ^ > 0), а точка У является внутренней (внешней) относительно 7 при условии 6d е (0; 4) ^ е (—го;0) и (4;+го)). Внутренними относительно 7 точки X, У одновременно быть не могут. Остаются два варианта:
1) одна из точек X, У внутренняя, другая — внешняя относительно абсолюта ^ < 4, АВСВ — простой изотропный контур);
2) обе точки X, У — внешние относительно линии 7 ^ > 4, АВСВ — составной изотропный контур).
В первом случае разделены или пары точек К1, К2 и К3, К4 (рис. 3), или пары точек К2, К3 и К4, К1; во втором — никакая пара соседних точек из К1, К2, К3, К4 не разделена (рис. 4).
Замечание 2. Пусть АВСВ — простой контур. По утверждению 2) теоремы 2 диагональные прямые АС и ВВ различных типов. Предположим, что прямая АС (ВВ) — эллиптическая (гиперболическая). Тогда 6d < 0.
Пусть М(1 : т2 : т3) — некоторая точка плоскости Н2. Непосредственная проверка показывает, что при 6d < 0 прямые МР: (4т3 — d) : —4т2), МЖ(4т3 — 6т2 : 6 : —4) одновременно являются эллиптическими тогда и только тогда, когда одновременно эллиптическими (гиперболическими) являются прямые МА(т2 : 1 : 0), МС^т3 + 6dm2 — 4т2 : 4 + 6d — 46 + т3 : 46т2 — 4d) (МВ(т2 : 6т3 — 1 : —6т2), МВ^т3 — т2 : 1 : — d)).
Поэтому на основании равенства (12) получаем
^ (АВСВ) = Ша П Шс, ^ (АВСВ) = Шв П Шд.
Замечание 3. С проективной точки зрения на плоскости Н2 простое отношение трех точек А, В, С параболической прямой I с несобственной точкой К есть число £ = — (АВСК), инвариантное относительно преобразований фундаментальной группы С плоскости Н2. Если (АВСК) = —£, говорят, что точка С делит отрезок АВ параболической прямой в отношении £: (АВ,С) = £.
При доказательстве утверждения 1) теоремы 2 определены числа (АВК2Р), (СВК4Р), (СВК3Ж), (АВК1Ж), равные в используемом каноническом репере Я отношению ^. Учитывая, что К1, К2, К3, К4 — несобственные точки сторон изотропного контура АВСВ, получаем:
4
(АВ, Р) = (СВ, Р) = (СВ, Ж) = (АВ, Ж) = ——4 = А-
Определяя А, условимся в простых отношениях трех точек первой указывать ту вершину ребра 4-контура, которая принадлежит диагональной прямой эллиптического типа.
Таким образом, число А является инвариантом конечного замкнутого 4-контура относительно группы G и равно отношению, в котором точки пересечения противоположных сторон контура делят его ребра, принадлежащие данным сторонам. При А < 0 (А > 0) конечный замкнутый 4-контур является простым (составным).
Покажем, что любые два 4-контура плоскости H2 с равными инвариантами AG-эквивалентны. Пусть ABCD и A'B'C'D' — конечные замкнутые 4-контуры плоскости H2, для которых имеют место равенства:
(AB, P) = (CD, P) = (CB, N) = (AD, N) = А0,
(A'B',P') = (C 'D' ,P') = (C 'B',N') = (A'D' ,N') = А0,
где Р = AB П CD, N = AD П BC, P' = A'B' n C'D', N' = A'D' n B'C'.
Несобственные точки сторон AB, AD и BC (A'B, A'D' и B' C') обозначим Ai, A2 и E (A1, A'2 и E') соответственно. Выберем проективные реперы R0 = {A1,A2,A,E} и R' = {Ai,A'2,A',E'}. По основной теореме о проективных преобразованиях существует единственное проективное преобразование f, которое репер R0 переводит в репер R'. Так как первые две вершины и единичная точка реперов R0 и R' принадлежат абсолюту, то уравнение абсолютной овальной линии y в каждом выбранном репере имеет вид (1). Следовательно, линия y инвариантна относительно преобразования f, т.е. f входит в фундаментальную группу G преобразований плоскости H2.
Изотропные прямые l1, l2, l с несобственными точками A1, A2, E переходят при f в изотропные прямые li, l'2, l' с несобственными точками A1, A'2, E' соответственно. Так как B = l1 n l, B' = l[ n l', N = l2 n l, N' = l'2 nl', то f (B) = B', f (N) = N'. Пусть f (C) = Cx. Тогда (CxB',N') = (CB, N) = А0. Но простое отношение (C'B',N') также равно А0, т.е. (C1B',N') = (C'B',N'). Следовательно, C1 = C'. Аналогично можно показать, что f (D) = D'. Поэтому f (ABCD) = A'B'C'D'. Таким образом, контуры ABCD и A'B'C'D' G-эквивалентны.
Теорема 3. Если простые 4-контуры F1, F2, ..., Fn, n e N, соответственно с инвариантами
AI, А2, ..., Ап образуют разбиение простого 4-контура F с инвариантом А, то
|Д| = П 1Д*1- (25)
i=i
Доказательство. Пусть в каноническом репере R контур F задан координатами своих вершин: A(0 : 0 : 1), B(b : 0 : 1), C(4b : 4d : 4 + bd), D(0 : d : 1). Тогда несобственные точки прямых AB, BC, CD, DA имеют в репере R координаты (2), а точки пересечения противоположных сторон данного контура — координаты (3).
Применим метод математической индукции.
1. На стороне, например, AB, контура F выберем точку T(t : 0 : 1). Согласно утверждению 8) теоремы 2 точка T определяет разбиение контура F на простые контуры F1 = ATT'D и F2 = TBCT'. Выразим модуль инварианта А контура F через модули инвариантов Ai, А2 контуров F1, F2. Так как в репере R
4 4 4 dt
А = -(ABPK2) = , = -(ATPK2) = , А2 = -(TBPK2) =
bd - 4 v ^ dt - Г v 4 - bd'
то при n = 2 теорема справедлива:
|Д| = |Ai||A2 (26)
2. Предположим, что формула (25) верна для n = к, к е N, т. е. имеет место равенство
к
|Д| = П IAI, (27)
i=i
где Д1, Д2, ..., Дк — инварианты простых 4-контуров соответственно F1, F2, ... , Fk, удовлетворя-
-ч к
ющих равенствам: 1) (V p,q = 1, к) int Fp П int Fq = 0; 2) U int Fp = int F.
p=i
3. Докажем справедливость формулы (25) для п = к + 1. Разобьем некоторый контур Р., ] = 1, к, на контуры Р.1, Р2 соответственно с инвариантами А1, А2. По формуле (26) А1 = |А1||А2|. Поэтому
к+1
в силу предположения (27) |А| = |А1 ||Д21 ■ ■ ■ |А.-111А111А211А.+11 ... |Ак|, т. е. |А| = П |Аг|.
г=1
Теорема 3 доказана. Библиографический список
1. Розенфельд, Б.А. Геометрия групп Ли. Симметриче- 2. Ромакина, Л.Н. Геометрии коевклидовой и копсев-
ские, параболические и периодические пространства / доевклидовой плоскостей / Л.Н. Ромакина. - Саратов:
Б.А. Розенфельд, М.П. Замаховский. - М.: МЦНМО, Научная книга, 2008. - 279 с. 2003. - 560 с.
УДК 517.984
ОБ АНАЛОГЕ
ТЕОРЕМЫ ЖОРДАНА - ДИРИХЛЕ ДЛЯ РАЗЛОЖЕНИЙ ПО СОБСТВЕННЫМ ФУНКЦИЯМ ОДНОГО КЛАССА ДИФФЕРЕНЦИАЛЬНО-РАЗНОСТНЫХ ОПЕРАТОРОВ
В.А. Халова
Саратовский государственный университет, кафедра дифференциальных уравнений и прикладной математики
E-mail: HalovaVA@info.sgu.ru
В статье получен аналог теоремы Жордана - Дирихле о сходимости разложений по собственным функциям оператора Ly = ay' (x) - y' (1 - x) с граничным условием
U(y) = ay(0) + by( 1) - (у,ф) = 0.
Ключевые слова: теорема Жордана - Дирихле, резольвента.
On Analogue of Jordan - Dirichlet Theorem about the Convergence of the Expansions in Eigenfunctions of a Certain Class of Differential-Difference Operators
V.A. Khalova
Saratov State University,
Chair of Differential Equations and Applied Mathematics E-mail: HalovaVA@info.sgu.ru
An analogue of Jordan - Dirichlet theorem is established of convergence of the expansions in eigen functions of the operator Ly = ay' (x) - y' (1 - x) with the boundary condition
U(y) = ay(0) + by(1) - (y,<p) = 0.
Key words: Jordan - Dirichlet theorem, resolvent.
Рассматривается оператор
£у = ау'(х) - у'(1 - х), х е [0,1], а2 = 1, (1)
с граничным условием
и(у)= ау(0)+ Ьу(1) - (у,р)=0, (2)
1
где у'(1 - х) = у(£)|^=1-ж, а, Ь — заданные постоянные, (у, = / у(£)^(£) е С[0,1].
5 о
В настоящей статье для разложений по собственным и присоединенным функциям (в дальнейшем с.п.ф.) оператора (1)-(2) установлен аналог теоремы Жордана - Дирихле из теории тригонометрических рядов Фурье [1, с. 121-122]. Данная работа продолжает исследования функционально-
дифференциальных и интегральных операторов с операторами отражения. В работе [2] такой резуль-
1
тат был получен для оператора дифференцирования у'(х) с краевым условием / у(£) = 0, где
о
— функция ограниченной вариации, имеющая скачки в точках 0 и 1. В работе [3] аналог теоремы Жордана - Дирихле установлен для разложений по с.п.ф. оператора
£у = ву'(х) + у'(1 - х), х е [0,1], в2 = 1,
