УДК 514.75
М. В. Кретов1
Дифференцируемое отображение, порожденное комплексами эллиптических параболоидов
В трехмерном эквиаффинном пространстве рассматривается дифференцируемое отображение, порожденное комплексами эллиптических параболоидов. Геометрически охарактеризованы индикатриса и главное направление исследуемого отображения.
В трехмерном эквиаффинном пространстве рассмотрим дифференцируемое отображение
/: С е А3 ^ q е П3,
где С — вершина эллиптического параболоида, q — эллиптический параболоид (образующий элемент) комплекса П3, рассмотренного в работе [1], когда координатные векторы е1 и е2 сопряжены и лежат в касательной плоскости эллиптического параболоида в его вершине, координатный вектор е3 направлен по главному диаметру образующего элемента так,
Поступила в редакцию 27.01.2020 г. © Кретов М. В., 2020
чтобы концы р и Р2 соответственно векторов в1 + е3 и е2 + е3 лежали на параболоиде д, при этом индикатрисы векторов е, (&, ], к,...= 1, 3) описывают линии с касательными, параллельными вектору е1, а точка Р1 принадлежит характеристическому многообразию [2].
Исследование отображения / будем проводить в репере г = {А, ё,}, где А — вершина эллиптического параболоида,
векторы е1 и е2 сопряжены и лежат в касательной плоскости эллиптического параболоида в его вершине, вектор е3 направлен по главному диаметру образующего элемента так, чтобы концы р и Р2 соответственно векторов ё1 + ё3 и е2 + е3 лежали на параболоиде д. При этом уравнение эллиптического параболоида согласно [1] будет иметь вид
(х1)2 + (х2)2 - х3 = 0. (1)
В репере г система уравнений Пфаффа отображения /, как показано в работах [1; 3; 4], будет иметь вид
с = -в1 - в3, с = Лв2,
со = со1 = = с2 = со3 = с2 = со3 = 0, (2)
п1 1 п2 2 п3 1
где в = со , в = со , в = с3.
Отображение / существует и определяется с произволом одной функции одного аргумента [5].
Пусть х& — координаты точки С, тогда согласно работе [6] уравнения отображения / примут вид
а11 = 1 + 2х1 + 2х3 + 3(х1)2 - (х2)2 + (х3)2 + 5Х1 х3 + < 3 >, а22 = 1 - Л2(х2)2 + < 3 > , а33 = -(х3)2 + < 3 >,
а12 = а21 = -Лх + — Лхх--Лх х +< 3 > ,
°13 = °31 =-Ах + 2хх + х ) +< 3>, (3)
а23 = а32 = -Ах2х3 + < 3 >, а1 = -х1 - 2(х1)2 - А(х2)2 + (х3)2 - 2х:х3 + < 3 >, а2 = -х2 + Ах:х2 + < 3 >, а3 = х:х3 + < 3 >,
где символ < 3 > означает совокупность членов порядка малости не меньше трех относительно приращений координат точки области определения.
Теорема. Индикатриса отображения / и конус Ку (0)
главных направлений этого отображения вырождаются в точку, совпадающую с вершиной образующего элемента исследованного в работе [1] комплекса эллиптических параболоидов.
Согласно работе [3] система уравнений индикатрисы I у отображения / имеет вид
х2 = 0, х3 = 0, х:(3х: -2) = 0, х:(2х1 -1) = 0. (4)
По методике, изложенной в работе [6], находим систему уравнений Ку (0) — главных направлений отображения /. Эта
система уравнений имеет вид
х2 = 0, х3 = 0, х1 (3х: + 5х3) = 0, хЧ х1 + х3) = 0. (5)
Из систем уравнений (4) и (5) непосредственно следует утверждение теоремы.
Список литературы
M. V. Kretov1 1 Immanuel Kant Baltic Federal University 14 A. Nevskogo St., Kaliningrad, 236016, Russia kretov1@mail.ru doi: 10.5922/0321-4796-2020-51-9
Differentiable mapping generated by elliptic paraboloid complexes
Submitted on January 27, 2020
In three-dimensional equiaffine space, we consider a differentiable map generated by complexes with three-parameter families of elliptic paraboloids according to the method proposed by the author in the materials of the international scientific conference on geometry and applications in Bulgaria in 1986, as well as in works published earlier in the scientific collection of Differ. Geom. Mnogoobr. Figur. The study is carried out in the canonical frame, the vertex of which coincides with the top of the generating element of the manifold, the first two coordinate vectors are conjugate and lie in the tangent plane of the elliptic paraboloid at its vertex, the third coordinate vector is directed along the main diameter of the generating element so that the ends are, respectively, the sums of the first and third, and also the sums of the second and third coordinate vectors lay on a paraboloid, while the indicatrixes of all three coordinate vectors describe lines with tangents, parallel to the first coordinate vector. The existence theorem of the mapping under study is proved, according to which it exists and is determined with the arbitrariness of one function of one argument. The systems of equations of the indicatrix and the main
directions of the mapping under consideration are obtained. The indicatrix and the cone of the main directions of the indicated mapping are geometrically characterized.
References