диаметрально противоположные точки
АНТИПОДЫ — диаметрально противоположные точки сферы. Имеются следующие теоремы Ворсу к а [1] о б А. 1) При любом отображении сферы в евклидово пространство найдутся А. с общим образом. 2) Каждое отображение сферы в себя, при к ром образы А. являются А.,… … Математическая энциклопедия
МАТЕРИАЛИЗМ — (от лат. materialis вещественный) многозначная идея, которой чаще всего придается один или некоторые из следующих смыслов. 1. Утверждение относительно существования или реальности: только материя существует или является реальной; материя является … Философская энциклопедия
Проективная плоскость — Проективная плоскость двумерное проективное пространство. Проективная плоскость отличается важной ролью, которую играет т. н. аксиома Дезарга, в проективных пространствах больших размерностей являющаяся теоремой. Проективная плоскость… … Википедия
Геометрия Римана — Не следует путать с Риманова геометрия. Геометрия Римана (эллиптическая геометрия) одна из трёх «великих геометрий» (Евклида, Лобачевского и Римана). Если геометрия Евклида реализуется на поверхностях с постоянной нулевой гауссовой… … Википедия
Сферическая геометрия — Большой круг всегда делит сферу на две равные половины. Центр большого круга совпадает с центром сферы … Википедия
Теорема Борсука — Улама классическая теорема алгебраической топологии. Если задана непрерывная функция , где сфера в мерном евклидовом пространстве, то существуют такие две диаметрально противоположные точки , что … Википедия
Гиперповерхность — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей. Гиперповерх … Википедия
ПСИХОПАТИИ — (от греч. psyche душа и pathos страдание) представляют собой своеобразное сочетание характерологических черт у людей , находящихся на границе между душевной б нью и здоровьем. В основе такого сочетания, по Крепелину, лежит «смешение… … Большая медицинская энциклопедия
ТРАНСФИНИТНЫЙ ДИАМЕТР — компактного множества характеристика d=d(E)компактного множества Ена комплексной плоскости, служащая геометрии, интерпретацией емкости этого множества. Пусть Е компактное бесконечное множество плоскости z. Величина где [ а, b]=|а b| евклидово… … Математическая энциклопедия
философия физики — ФИЛОСОФИЯ ФИЗИКИ одна из центральных областей философии естествознания, занятая вопросами строения и функций физико математических теорий, фундаментальными понятиями наук о неживой природе (пространство, время, масса, сила, энергия и… … Энциклопедия эпистемологии и философии науки
ГОСТ Р 54814-2011: Светодиоды и светодиодные модули для общего освещения. Термины и определения — Терминология ГОСТ Р 54814 2011: Светодиоды и светодиодные модули для общего освещения. Термины и определения оригинал документа: 3.5 бин (bin): Ограниченный диапазон параметров светодиода, используемый для подразделения множества светодиодов на… … Словарь-справочник терминов нормативно-технической документации
Всегда ли прямая линия — самое короткое расстояние между двумя точками?
Нет, прямая линия не всегда является самым коротким расстоянием между двумя точками. Наименьшее расстояние между двумя точками зависит от геометрии объекта/поверхности. Для плоских поверхностей линия действительно является кратчайшим расстоянием, но для сферических поверхностей, таких как Земля, расстояния по большому кругу на самом деле представляют собой самое короткое расстояние.
В раннем возрасте всех нас учили, что «линия — это наикратчайшее расстояние между двумя точками». Однако, что если бы кто-то сказал вам, что эта почтенная во времени поговорка не совсем верна.
Как оказалось, это утверждение лишь отчасти правдиво. Самое короткое расстояние между двумя точками на самом деле зависит от геометрии рассматриваемого объекта.
Если бы мы жили на плоской земле (чего у нас нет), то да, прямая линия была бы наименьшим расстоянием между точками A и B. Однако, Земля — это приблизительная сфера, а наименьшее расстояние между двумя точками на поверхности сферы — это дуга, известная как «расстояние по большой окружности».
Большое расстояние круга
Большое расстояние круга не новая концепция; на самом деле, многие из вас уже видели это в действии.
Люди, которые путешествовали по воздуху или только проверяли маршруты полета, вероятно, заметили, что рейсы не следуют прямым путем, а вместо этого берут изогнутый маршрут к месту назначения. Изогнутые маршруты не используются для того, чтобы выкопать более глубокую яму в карманах пассажиров, а используются потому, что на самом деле они являются самым коротким расстоянием между любыми двумя заданными точками на нашей планете.
Эти изогнутые маршруты часто сбивают с толку, так как маршруты очерчены на плоской двухмерной карте, где прямая линия может показаться наименьшим расстоянием. Однако ни одна двумерная карта Земли не является точной.
Чтобы дать вам понять суть, наша любимая Земля является трехмерным пространством и лучше всего представлена с помощью модели глобуса. Однако, когда пытаешься сравнять сферу с прямоугольной формой, как это делают большинство карт, на первый план выходит вековая дилемма искажений. Большинство прямоугольных карт торгуют формами страны, размерами, промежуточными расстояниями и даже легитимной информацией для удобства понимания.
Представьте, что вы хотите улететь из кишащих крысами глубин Нью-Йорка в город любви, Париж. На глобусе кратчайшее расстояние между двумя городами было бы дугой примерно 3630 миль, но та же самая дуга, когда она проецируется на 2D-карту, превращается в прямую линию, измеряющую приблизительно 3750 миль.
Чтобы убедиться в этом самим, откройте Google Maps на соседней вкладке и найдите Нью-Йорк. Найдя его, щелкните правой кнопкой мыши на именном теге и выберите «измерить расстояние». Затем уменьшите масштаб или прокрутите немного вправо, чтобы найти Париж, и нажмите на него. Следующее расстояние будет представлять собой кривую, представляющую собой кратчайшее расстояние между двумя городами. Нажмите в любом месте на этой кривой, чтобы сделать ключевую фигуру, и перетащите её немного на юг, чтобы преобразовать кривую в прямую линию. Вы можете использовать несколько ключевых кадров, чтобы составить прямую линию между двумя точками. После этого сравните размеры кривой и прямой линии (и приготовьтесь к тому, что ваша реальность будет разрушена!).
Разница между двумя числами (3,750 – 3,630 = 120 миль) может показаться несущественной, но, учитывая тот факт, что Boeing 747 потребляет в среднем 5 галлонов топлива на милю полета, самолет потребует дополнительных (5 галлонов/км × 120 миль =) 600 галлонов (2250 литров), чтобы пройти дополнительное расстояние, что является большим делом и добавит к стоимости билетов на самолет.
Расстояние большого круга в математических терминах
Говоря чисто математическим языком, большой круг (также известный как геодезические сферы) — это любой круг, нарисованный на сфере, центр которой совпадает с центром сферы, и таким образом делит сферу на две равные половины. Проще говоря, большой круг — это самый большой круг, который можно вырезать из сферы. Малый круг, с другой стороны, это когда центр круга и сферы не совпадают.
Представьте себе (или просто посмотрите на рисунок ниже), разрезая землю вдоль экватора или полюсов. Результирующие полушария в обоих случаях будут равны, и грани этих полушарий будут иметь тот же диаметр и центр, что и сама сфера (Земля).
Для любых двух не диаметральных точек (положений) на сфере (Земле) существует только один уникальный большой круг, тогда как для диаметральных точек на сфере можно нарисовать бесконечное число больших кругов. Эти точки делят окружность на две дуги; меньшая дуга представляет собой истинное кратчайшее расстояние между двумя точками и называется расстоянием большого круга.
На приведенном ниже изображении точки P и Q являются двумя не диаметральными точками, а дуга PQ представляет собой кратчайшее расстояние между ними (расстояние большого круга). Точки u и v, с другой стороны, известны как противоположные или диаметрально противоположные точки и разделяют большой круг на две идентичные дуги.
Вычисление расстояния большого круга между любыми двумя точками на поверхности сферы требует использования сферической тригонометрии, и хотя мы, возможно, не были знакомы с существованием больших расстояний круга еще в наши школьные годы, всеобщая ненависть к синусам и косинусам хорошо известна.
Здесь d-расстояние большого круга, r-радиус сферы (Земли) и термин cos -1 (cos σ 1 .cos σ 2 .cos (λ1 – λ2) + sin σ 1 .sin σ 2) — центральный угол, под которым расположены две точки с координатами σ 1, λ 1 и σ 2, λ 2 соответственно.
Как уже говорилось ранее, большие круги находят свое основное применение в дальних путешествиях, в частности в воздушной и морской навигации. Искривленный характер больших окружных расстояний, дополненный вращением нашей планеты, заставляет пилотов и моряков постоянно корректировать свой курс. Поэтому большое расстояние по окружности разбивается на «линии Румба», которые представляют собой постоянное направление.
Сказав все это, даже большие расстояния по кругу не представляют собой истинное кратчайшее расстояние между двумя заданными местоположениями. Расстояния большого круга рассчитываются исходя из предположения, что Земля является идеальной сферой, но планета представляет собой более плоскую сферу с различными значениями радиуса в направлении экватора и полюсов. Значения большого круга, таким образом, имеют допуск около ± 5%.
Тем не менее большие расстояния по окружности сыграли огромную роль в дальних поездках за последние несколько лет и будут продолжать делать это, экономя топливо авиакомпаний и экономя деньги путешественников!
Трехмерный мир, в котором мы не живем
Еще древние греки превратили математику из эмпирической науки в дедуктивную, потребовав вывода доказательств ее утверждений из основных понятий и исключив ссылку на опыт в качестве аргумента.
Чистая математика исследует формы и отношения в отвлечении от материального содержания. Ее непосредственным предметом оказываются, например, не те или иные тела шарообразной формы, а «идеальный шар», не те или иные совокупности предметов и даже не отдельные числа, а целые числа вообще и т. п.
Однако при всей абстрактности этой науки никто из математиков, по-видимому, не сомневался в том, что все их понятия, теоремы и формулы выражают реальные количественные и пространственные отношения. Математическая геометрия была теорией реального пространства, как позже механика явилась теорией движения
Математика — наука, изучающая
количественные и пространственные
формы и отношения действительности
Академик А. Д. Александров
Окружающий нас мир трехмерен. Мы привыкли к этой мысли с рождения — каждый человек знает, что такое высота, длина и ширина, три основных измерения окружающего нас пространства. В зависимости от традиций, принятых в разных странах, размеры предметов измеряют в метрах, футах, ли, лье и других эталонных единицах длины. Для наших дальнейших рассуждений выберем немного необычную единицу длины. Ею будет служить один световой год (1 св. г.), т. е. расстояние, проходимое лучом света за один календарный год. В традиционных мерах длины это составляет невообразимую величину — примерно 9,46•10 12 километров.
Если из окружающего нас пространства мысленно вырезать куб с ребром, равным 1 св. году, то внутри благополучно разместится дом, в котором мы живем, земной шар, Солнечная система… В общем, все, что необходимо для нормальной жизни человека. Для удобства назовем рассмотренный нами куб единичным кубом. А теперь отметим следующий очевидный факт. Несмотря на громадные размеры, наш единичный куб — лишь мельчайшая частица окружающего мира.
Такой воображаемый единичный куб можно вырезать в любой другой точке пространства. При этом можно утверждать, что два куба, вырезанные в разных точках пространства, окажутся одинаковыми. Это и есть основная идея так называемого евклидова многообразия, согласно которой любая его точка окружена кубом соответствующих размеров. Более точно можно сформулировать следующее определение. Трехмерным евклидовым многообразием называется множество М 3 , любая точка которого является центром куба, полностью состоящего из точек данного множества.
Кстати сказать, в этом определении размеры самого куба не задаются — вовсе не обязательно использовать кубы больших размеров. С таким же успехом можно утверждать, что каждая точка содержится в кубе, ребро которого не превосходит по длине, скажем, один микрон (10 —6 см).
Все сказанное выше кратко можно выразить следующими словами: окружающий нас мир является трехмерным евклидовым многообразием. А теперь попробуем ответить на следующий вопрос: как устроен мир за пределами единичного куба, в котором находится наш дом — наша Солнечная система?
Трехмерный тор и другие
Если на минуту вообразить, что окружающее нас пространство бесконечно по всем направлениям, то ответ на вопрос о строении окружающего нас мира даст следующая теорема Адамара:
«Бесконечно протяженное по всем направлениям трехмерное евклидово многообразие М 3 совпадает с евклидовым пространством E 3 ».
Евклидово пространство Е 3 с прямоугольной системой координат всем хорошо известно, поэтому не будем подробно останавливаться на изучении его свойств.
Для того же, чтобы сделать наши рассуждения более содержательными и интересными, предположим другой вариант: окружающий нас мир замкнут, т. е. имеет конечные размеры и не имеет края. Другими словами, зададимся вопросом, как устроены замкнутые трехмерные евклидовы многообразия, или, другими словами, евклидовы формы. Полный ответ на этот вопрос дает теорема, доказанная Дж. Вольфом (1982):
Существует ровно десять трехмерных евклидовых форм. Причем шесть из них представляют собой ориентируемые, а остальные четыре — неориентируемые многообразия.
Все евклидовые формы строятся схожим образом, единственное — для построения некоторых из них нужно использовать куб, а для других — правильную шестиугольную призму.
Первой и наиболее известной евклидовой формой является своеобразный аналог знакомого всем двухмерного тора — трехмерный тор. Обозначим это множество (куб с попарно отождествленными гранями) через Т 3 . Еще одной евклидовой формой является так называемый скрученный трехмерный тор, обозначенный соответственно как Q 3 . А теперь проведем простой физический эксперимент, который покажет, что многообразия Т 3 и Q 3 различны, причем оба отличаются от евклидова пространства Е 3 .
Для этого в центре грани А трехмерного тора поместим космический корабль, летящий со скоростью света, и заставим его стартовать в вертикальном направлении. Ровно через год космический корабль, продолжая двигаться по прямой, вернется в исходную точку. Теперь эта точка будет находиться в центре грани А’, которая, по условию, отождествлена с гранью А. В результате эксперимента обнаружим, что в трехмерном торе Т 3 существует замкнутая прямая линия l длиной в один световой год.
Поставим еще один аналогичный эксперимент. Заставим космический корабль стартовать из точки у, лежащей в грани А на расстоянии 1 км от ее центра. Через год корабль благополучно вернется в точку у. Вывод из второго эксперимента — через точку у проходит замкнутая прямая длиной 1 световой год, параллельная прямой l.
Теперь оба описанных эксперимента проведем в скрученном торе Q 3 . Первый эксперимент даст абсолютно тот же самый результат, что и ранее. Однако во втором эксперименте он будет совершенно иным. Корабль, стартующий из точки у, через один год достигнет точки z, которая лежит в грани А’—А и диаметрально противоположна точке у относительно центра этой грани. Полет по прямой продолжится и продлится еще один год, по истечении которого корабль вернется в точку у.
Таким образом, в Q 3 через точку у проходит замкнутая прямая длиной 2, параллельная прямой l. Следовательно, многообразия Т 3 и Q 3 различны, и оба отличаются от пространства Е 3 , в котором нет замкнутых прямых линий.
Следующая евклидова форма — заполненная бутылка Клейна (многообразие К 3 ) — в отличие от предыдущих является неориентируемой. Докажем это. Для этого повторим эксперимент с космическим кораблем, стартующим из центра грани А, но дополнительно снабдим нос корабля пропеллером, с постоянной скоростью вращающимся по часовой стрелке (если наблюдать за ним из кабины пилота). Предположим, что запас топлива у корабля достаточно велик и пропеллер будет вращаться в течение года вплоть до того времени, когда корабль, завершив путешествие по замкнутой прямой l, вернется в исходную точку. В момент, когда корабль вновь окажется в точке старта, пилот с удивлением обнаружит, что пропеллер вращается против часовой стрелки! (Конечно, имеются в виду те часы, которые пилот забыл на старте.) Последнее означает, что многообразие К 3 — неориентируемо и, следовательно, отличается от построенных ранее евклидовых форм Т 3 и Q 3 .
В заключение заметим, что размеры Солнечной системы (ее диаметр равен примерно 124•10 9 км) малы по сравнению с размерами многообразий, построенных выше на основе линейного куба. Она может быть расположена как внутри Т 3 , Q 3 , К 3 , так и в любой другой евклидовой формы. При этом для вычисления расстояний, не превосходящих 1 св. год, мы можем пользоваться обычной евклидовой геометрией и даже не догадываться о том, что окружающий нас мир замкнут. В настоящее время человечество не располагает космическими кораблями, летающими со скоростью света. Это означает, что сейчас невозможно осуществить глобальные эксперименты, подобные описанным выше, и, наконец, установить, в каком же из евклидовых миров мы живем.
Многообразные многообразия
Как уже было замечено, все рассмотренные выше многообразия обладают евклидовой геометрией. Что это означает и какие еще геометрии существуют?
Наиболее известными и употребимыми в общечеловеческой практике являются евклидова, сферическая и гиперболическая геометрии. Напомним, что сферическую геометрию иногда называют геометрией Римана, а гиперболическую — геометрией Лобачевского. В трехмерном пространстве, кроме трех указанных, существует еще пять так называемых синтетических геометрий.
В соответствии с тем, какие геометрические законы действуют на трехмерном многообразии, будем называть его соответственно евклидовым, сферическим, гиперболическим или синтетическим.
Евклидовы многообразия мы уже рассмотрели выше. Что до остальных, то более двадцати лет назад У. Терстон (1978) доказал замечательную теорему: почти все трехмерные многообразия являются гиперболическими, то есть подчиняются законам геометрии Лобачевского. За этот результат в 1983 году он был удостоен Филдсовской премии — самой престижной награды для математиков.
Сферические многообразия бывают как трехмерные, так и многомерные (Вольф, 1982). В пространстве любой размерности существует конечное число типов таких многообразий. Синтетических многообразий очень мало (Thurston, 1978; Dunbar, 1981; Терстон, 2001) в отличие от оставшегося класса гиперболических многообразий. Последний неисчерпаемо широк и классификация его к настоящему времени не завершена.
Сферические многообразия
Все трехмерные сферические многообразия — ориентируемы. Это означает, что по какой бы замкнутой траектории не летал космический корабль с непрерывно вращающимся пропеллером, по возвращении в точку старта его пропеллер вращается в ту же сторону, что и в момент старта.
Простейшим сферическим многообразием является трехмерная сфера S 3 . Ее можно определить как границу четырехмерного шара или, что то же самое, как множество точек в пространстве Е 4 , удаленных от центра на одинаковое расстояние. С помощью стереографической проекции можно установить взаимно однозначное и взаимно непрерывное соответствие между точками трехмерной сферы S 3 и точками множества Е 3 + <∞>, полученного добавлением к привычному нам евклидову пространству Е 3 бесконечно удаленной точки ∞. Таким образом можно считать, что S 3 = Е 3 + <∞>.
Вторым примером сферического многообразия служит трехмерное проективное пространство Р 3 . Его можно легко представить себе в виде шара, диаметрально противоположные точки которого отождествлены.
Третий, и пожалуй, самый нетривиальный пример сферического многообразия — сферическое пространство додекаэдра Пуанкаре или, для краткости, сфера Пуанкаре.
Сфера Пуанкаре удивительным образом связана с самыми различными разделами математики — геометрией, топологией, теорией групп, теорией катастроф, теорией узлов и другими (Кирби, Шарлеман, 1982).
Все остальные сферические многообразия, получаемые по единой схеме, представляют собой так называемые линзовые и призматические пространства.
Гиперболические многообразия
Первое трехмерное замкнутое гиперболическое многообразие было построено немецким математиком Ф. Лебеллем в 1931 г. Однако построение его было достаточно сложным, поэтому двумя годами позже Х. Зейферт и К. Вебер предложили элегантную конструкцию гиперболического пространства додекаэдра.
С точки зрения математики наиболее сложная часть проблемы построения состоит в доказательстве существования этого гиперболического додекаэдра в пространстве Лобачевского. Положительный ответ на этот вопрос дает фундаментальная теорема Е. М. Андреева (1970), в которой сформулированы необходимые и достаточные условия для существования выпуклых гиперболических многогранников. Эта теорема служит одним из краеугольных камней современной теории гиперболических многообразий, созданной У. Терстоном.
Конструируем многообразия из многогранников
Рассмотрим прямоугольный многогранник Р, все двугранные (и плоские) углы которого равны 90°. В евклидовом пространстве в качестве такого многогранника можно взять куб, в сферическом — тетраэдр, а в гиперболическом — шестиугольную призму Лебелля, боковая поверхность которой состоит из 12-ти пятиугольников.
Из теоремы Андреева следует, что любой многогранник, у которого нет треугольных и четырехугольных граней, а в каждой вершине сходится ровно по три ребра, может быть реализован как прямоугольный многогранник в пространстве Лобачевского. Шестиугольная призма Лебелля, очевидно, удовлетворяет этим условиям.
Для построения гиперболических многообразий используется способ, заключающийся в окраске смежных граней многогранника в разные цвета и последующего отождествления соответствующих граней, окрашенных в один цвет, у нескольких одинаковых экземпляров многогранников. Такой способ построения многообразий был впервые реализован Ф. Лебеллем (Loebell, 1931) для шестиугольной призмы, японским математиком М. Такахаши (Takahashi, 1985) — для правильного прямоугольного додекаэдра и А. Ю. Весниным (1987) — для произвольного прямоугольного многогранника Р.
При этом отметим, что все многообразия, построенные по окраске многогранника в четыре цвета, ориентируемы. Однако доказано, что окрашивая грани многогранника Р в пять, шесть или семь цветов, по аналогичной схеме можно построить и неориентируемые многообразия (Mednykh, 1992).
Всего существует 230 замкнутых трехмерных евклидовых орбифолдов — по числу кристаллографических групп, открытых в конце прошлого века русским ученым Е. С. Федоровым. Строение евклидовых орбифолдов было полностью описано в докторской диссертации У. Данбара, защищенной в 1981 г. в Принстонском университете — крупнейшем математическом центре мира.
Сферические орбифолды
Сингулярным множеством сферических орбифолдов может служить так называемый рациональный узел или зацепление. Им может оказаться также заузленный граф, из каждой вершины которого выходит по три ребра. В частности, сингулярным множеством сферического орбифолда будет являться скелет тетраэдра (ребра + вершины), расположенный в трехмерной сфере.
Недавно австралийцами профессором К. Ходжсоном и его учеником Д. Хеардом создана компьютерная программа, позволяющая вычислять объемы заузленных графов, вложенных в трехмерную сферу (Hodgson and Heard, 2005). Полная классификация трехмерных орбифолдов во всех геометриях, кроме гиперболической, сделана в работах У. Данбара. Как и в случае многообразий, гиперболическая геометрия является наиболее богатой, и полное описание орбифолдов в ней до сих пор не получено.
Гиперболические орбифолды
Из теоремы Монтезиноса следует, что каждое трехмерное многообразие может быть превращено в гиперболический орбифолд, если внутрь его поместить подходящее сингулярное множество. Поскольку существует бесконечно много различных многообразий, отсюда следует, что существует также бесконечно много гиперболических орбифолдов.
Один из простейших гиперболических орбифолдов — трехмерная сфера с сингулярным множеством Борромеевы кольца с индексом сингулярности 4. Другой пример — сильно заузленный тетраэдр, все ребра которого имеют индекс сингулярности два. Доказательство таких фактов обычно достаточно сложно и может быть проведено с помощью теорем о геометризации, полученных У. Терстоном, его учениками и последователями. Общий принцип доказательства состоит в следующем: если орбифолд не является евклидовым, сферическим или синтетическим и удовлетворяет некоторым простым геометрическим условиям, то он — гиперболический.
Изменения, произошедшие в математике за последние более чем полтора века, не только необозримо расширили ее содержание, но и изменили его принципиально. В предмет математики сейчас входит любая структура, которую можно исследовать путем логического рассуждения с достаточной строгостью и богатством выводов. Найдет ли она применение и прообраз в действительности — это уже вопрос не к математике.
Комментарий физика:
Понятно, что фактически наибольшее развитие получают те теории, которые находят существенные применения в самой математике и тем более за ее пределами. Хотя опыт развития науки уже достаточное число раз показал, как самые отвлеченные теории находили потом чрезвычайно существенные приложения. Но для самой чистой математики это в принципе безразлично. Лучше всего творческое кредо новой математики выразил создатель теории множеств Г. Кантор, гордо зявив: «Сущность математики. в ее свободе».
Винберг Э. Б. О неевлидовой геометрии, Соросовский образовательный журнал, № 3, 1996, С. 104—109.
Тёрстон У. Трехмерная геометрия и топология, М: МЦНМО, 2001 (Перевод с англ. под ред. О. В. Шварцмана).
Hodgson C., Heard D. Computer program “Orb”, August 2005, http://www.ms.unimelb.edu.au/
Работа поддержана грантом РФФИ (№ 06-01-00153) и INTAS (№ 03-01-3663)
Автор и редакция выражает искреннюю благодарность Н. В. Абросимову (вед. инженеру Института математики им. С. Л. Соболева СО РАН, студенту 6-го курса НГУ), оказавшему неоценимую помощь при подготовке публикации