Геодезические на эллипсоиде
Эту статью Инкубатора предлагается удалить. |
Изучение геодезических на эллипсоиде возникло в связи с задачами геодезии, а именно с обработкой сетей триангуляции. Фигура Земли хорошо описывается эллипсоидом вращения, слегка сплющенной сферой. Геодезическая (геодезическая линия) это кратчайший путь между двумя точками на кривой поверхности, на плоскости он обращается в прямую. Таким образом, обработка сети триангуляции на эллипсоиде использует ряд задач сфероидической тригонометрии(Эйлер 1755).
Если рассматривать Землю как сферу, то геодезические являются большими кругами (все из которых замкнуты) и задача сводится к сферической тригонометрии. Однако, Ньютон (1687) показал, что эффект вращения Земли приводит к сжатию, соответственно фигура общается в сплюснутый эллипсоид вращения, в этом случае только экватор и меридианы являются простыми замкнутыми геодезическими. Кроме того, кратчайший путь между двумя точками на экваторе необязательно проходит вдоль экватора. Наконец, если эллипсоид преобразовать в трехосный (с тремя различными полуосями), то только три геодезических линий будут замкнутыми.
Геодезические на эллипсоиде вращения
Есть несколько способов определения геодезических (Гильберт & Кон-Фоссен 1952, С. 220–221). Простое определение — кратчайший путь между двумя точками на поверхности. Однако, в общем случае более полезно определять гедезические как пути с нулевой геодезической кривизной, аналог прямых на искривленной поверхности. Это определение охватывает геодезические, протяженные так далеко по поверхности эллипсоида (несколько больше половины полуокружности) что другие различные маршруты требуют меньшего расстояния. Локально эти геодезические все еще идентичны кратчайшему расстоянию между двумя точками.
К концу 18 века эллипсоид вращения (аналогичен термину сфероид) являлся принятным и используемым приближением фигуры Земли. Обработка сетей триангуляции влечет за собой редукцию всех измерений к референц-эллипсоиду и решению исходной задачи на плоскости как задачи сфероидической тригонометрии (Бомфорд 1952, Гл. 3) (Лейк и др. 2015, §4.5).
Возможно свести все различные геодезические задачи к двум типам. Рассмотрим две точки: точка A с широтой φ1 и долготой λ1 и B с широтой φ2 и долготой λ2 (см Рис. 1). Соединяющая их геодезическая (от A к B) это AB, с длиной s12, у которой есть азимуты α1 и α2 в двух конечных точках.[1] Под двумя геодезическими задачами обычно понимают следующее:
- Прямая геодезическая задача или первая геодезическая задача, в которой, имея исходные A, α1, и s12, определяют B и α2;
- Обратная геодезическая задача или вторая геодезическая задача, в которой даны A и B, и требуется найти s12, α1, и α2.
Как видно из Рис. 1, решение этих проблем включает в себя решение треугольника NAB где дан один угол, α1 для прямой задачи и λ12 = λ2 − λ1 для обратной задачи, а также две его смежные стороны. Для сферы решение этих главных задач сводится к простым задачам сферической тригонометрии, решение которых сводится к формулам для решения сферического треугольника. (См. статью great-circle navigation.)
Для эллипсоида вращения, характерная константа, определяющая геодезическую была найдена Клеро (1735) . А систематическое решение для путей геодезических было дано Лежандром (1806) и Ориани (1806) (а также последующими работами в 1808 и 1810). Полное решение прямой задачи (в комплексе с вычеслительными таблицами и примером вычислений) дал Бессель (1825) .
На протяжении 18 века геодезические, как правило, называли "кратчайшими линиями". Термин "геодезическая линия" был введен Лапласом (1799) :
Nous désignerons cette ligne sous le nom de ligne géodésique [Мы будем называть эту линию геодезическая линия].
Этот термин вошел в английский язык как "геодезическая линия" или "геодезическая", как пример (Hutton 1811),
A line traced in the manner we have now been describing, or deduced from trigonometrical measures, by the means we have indicated, is called a geodetic or geodesic line: it has the property of being the shortest which can be drawn between its two extremities on the surface of the Earth; and it is therefore the proper itinerary measure of the distance between those two points. [Линия, пролегающая в форме, которую мы описали, или выведенная из тригонометрических измерений, как мы указали, называется геодезической или геодезической линией: она имеет свойство быть самой короткой, которую можно провести между двумя пунктами на поверхности Земли; и, следовательно, истинным путем измерения расстояния между двумя этими пунктами.]
В применении к другим областям, термин геодезическая линия, часто сокращается до геодезической, которой было отдано предпочтение.
Этот раздел рассматривает задачу на эллипсоиде вращения (как сплюснутого, так и вытянутого). Задача на трехосном эллипсоиде рассматривается в следующем разделе.
Уравнения для геодезической
Здесь выведены уравнения для геодезической; Данный вывод объединяет уравнения Бесселя (1825) . Йордана & Эггерта (1941) , Багратуни (1962, §15) , Ганшина (1967, Chap. 5) , Краковски & Томпсона (1974, §4) , Раппа (1993, §1.2) , Джекелея (2012) , and Бора & Странга (2012) .
Рассмотрим эллипсоид вращения с экваториальным радиусом a и полярным радиусом b. Определим сжатие f = (a − b)/a, эксцетриситет e = , и второй эксцентриситет e′ = = e/(1 − f). (В большинстве случаев, в геодезии применяется сплюснутый эллипсоид a > b; однако, в теории применяется вытянутый эллипсоид, a < b, причем в этом случае f, e2, и e′2 отрицательные.)
Пусть элементарный отрезок пути на эллипсоиде имеет длину ds. Из Рис. 2 и 3, мы видим что если известен его азимут α, то ds связан с dφ и dλ следующим образом
- (1)
где ρ представляет собой радиус кривизны меридина, R = ν cosφ радиус круга с широтой φ, и ν представляет собой радиус нормального сечения. Следовательно элементарный отрезок равен
или
Где φ′ = dφ/dλ и функция Лагранжа L отражающая зависимость φ от ρ(φ) и R(φ). Длина произвольной линии между (φ1, λ1) and (φ2, λ2) задается
где φ функция от λ удовлетворяющих φ(λ1) = φ1 и φ(λ2) = φ2. Кратчайший путь или геодезическая находится через функцию φ(λ). Это задача в области вариационного исчисления и связана с минимизацией условий. Оно задается с помощью тождества Бальтрами,
Подставляя L и применяя Форм. (1) получим
Клеро (1735) вывел это соотношение, используя геометрическую конструкцию; аналогичный вывод получен Люстерником (1964, §10) .[2] Дифференцируя это соотношение получим
Данное равенство совместно с уравнением (1) приводит к системе обыкновенных дифференциальных уравнений для геодезической
Мы можем выразить R через параметрическую широту β
и соотношение Клеро примет вид
Это синусоидальное правило сферической тригонометрии устанавливающее связь между двумя сторонам треугольника NAB (см. Рис. 4) NA = 1⁄2π − β1 и NB = 1⁄2π − β2 и противолежащими углам B = π − α2 и A = α1.
Для того чтобы найти соотношение для третьей стороны AB = σ12, сферической длины дуги, и прилежащего угла N = ω12, сферической долготы, полезно рассмотреть треугольник NEP, представляющий собой геодезическую, берущую начало на экваторе (см. рис. 5). На этом рисунке элементы, отнесенные к вспомогательной области, приведены с указанными в скобках значениями на эллипсоиде. Величины без индексов относятся к произвольной точке P. E - точка , в которой геодезическая пересекает экватор, используется в качестве начала отчета для σ, s и ω.
Если сторону EP увеличить путем перемещения P в бесконечность (см. Рис. 6), получим
- (2)
Комбинация формул (1) и (2) дает дифференциальное уравнение для s и λ
Соотношение β и φ
дает
таким образом дифференциальное уравнение для геодезической примет вид
Последний шаг состоит в использовании σ в качестве независимого параметра в обоих дифференциальных уравнениях для выражения s и λ в интегральном виде. Применение синусоидальное правила к вершинам E и G в сферическом треугольнике EGP на Рис. 5 дает
где α0 азимут при вершине E. Подставляя в уравнение для ds/dσ и интегрируя получим
- (3)
где
причем вводится ограничение s(σ = 0) = 0. Лежандр (1811, p. 180) указывает на то, что уравнение для s такое же, как уравнение для дуги на эллипсоиде с полуосями b= и b. Для того, чтобы выразить уравнение для λ через σ, запишем
что следует из уравнения (2) и соотношения Клеро. Это позволяет получить
- (4)
причем применяются следующие ограничения: λ = λ0 на пересечении экватора и σ = 0.
Это завершает нахождение длины геодезической с использованием вспомогательной сферы. Использование данного способа позволяет точно сопоставить большой круг с геодезической на эллипсоиде вращения.
Существует также несколько способов аппроксимации геодезических на земном эллипсоиде ( с малым сжатием) (Рапп 1991, §6); некоторые из них описаны в статье о географическом расстоянии. Тем не менее, они, как правило, сопоставимы по сложности точному решению Джекелея (Джекелей 2012, §2.1.4).
Поведение геодезических
На Рис. 7 показаны простые замкнутые геодезические, которые состоят из меридианов (зеленые) и экватора (красный). (Здесь под определением "простая" подразумевается, что геодезическая замыкается без промежуточного самопересечения.) Это следует из уравнений для геодезических, приведенных в предыдущем разделе.
Все остальные геодезические олицентворяются Рис. 8 и 9 которые показывают геодезические начиная от экватора с α0 = 45°. Геодезическа колеблется вокруг экватора. Пересечения экватора называются узлы, а точки максимума и минимума широты называются вершинами; вершины широты задаются: β = ±(1⁄2π − |α0|). Геодезическая совершает одно полное колебание в широте до того, как долгота увеличится на 360 deg. Таким образом, на каждом последующем северном пересечении экватора (см Рис. 8), λ отстает от полного круга экватора приблизительно на 2π f sinα0 (для вытянутого эллипсоида эта величина отрицательна и λ совершает более, чем один полный круг; см Рис. 10). Почти для всех значений α0, геодезическая покроет область эллипсоида между двумя параллелями с максимальной и минимальной широтой (см Рис. 9).
Если эллипсоид достаточно сплюснутый, т.е.,
b⁄a < 1⁄2, возможен еще один вид простых замкнутых
геодезических (Клингенберг 1982, §3.5.19). Две такие геодезические
показаны на Рис. 11 и 12. Здесь
b⁄a = 2⁄7 и экваториальный азимут,
α0, для зеленой (соотв. синей) геодезической задан как
53,175 deg (соотв. 75,192 deg), так что
геодезическая совершает 2 (соотв. 3) полных колебания относительно экватора
на одном круге по эллипсоиду.
На Рис. 13 показаны геодезические (синим) исходящие из A с α1, кратным 15 deg вплоть до то точки, в которой они перестают быть кратчайшими путями. (Сжатие было увеличено до 1⁄10 чтобы подчеркнуть эллипсоидальные эффекты.) Также показаны (зеленым) кривые с построянной s12, которые являются геодезическими окружностями с центром A. Гаусс (1828) показал, что на любой поверхности, геодезические и геодезический круг пересекаются под прямым углом. Красная линия — множество раздела(катлокус), множество точек, которые имеют несколько (в данном случае две) кратчайших геодезических из A. На сфере, катлокус является точкой. На сплющенном эллипсоиде (показанном здесь) он представляет собой сегмент параллели с центром в точке, диаметрально противоположной A, φ = −φ1. Протяженность катлокуса по долготе приблизительно λ12 ∈ [π − f π cosφ1, π + f π cosφ1]. Если A лежит на экваторе, φ1 = 0, это соотношение является точным и, как следствие, экватор является кратчайшей геодезической, только если выполняется условие |λ12| ≤ (1 − f)π. Для вытянутого эллипсоида, катлокус представляет собой сегмент анти-меридиана с центром в точке, диаметрально противоположной A, λ12 = π, и это означает, что меридианные геодезические перестают быть кратчайшими путями при достижении противоположной точки.
Решение прямых и обратных задач
Решение геодезических задач подразумевает проектирование геодезических на вспомогательную сферу и решение соответствующих задач по большому кругу. При решении "элементарного" сферического треугольника NEP на Рис. 5, по правилу Непера получим,
Определение геодезических включает в себя решение интегралов для расстояния, s, и долготы, λ, Ур. (3) и (4) которые, в свою очередь, зависят от параметра α0.
Решение прямой задачи не вызывает сложности, потому что α0 может быть определен непосредственно из заданных величин φ1 и α1.
В случае обратной задачи, λ12 задана; из этого нельзя быстро перейти к эквивалентному сферическому углу ω12, потому что α0 неизвестен. Таким образом, для решения задачи требуется находить α0 итеративно.
В геодезии, где f мал, интегралы раскладываются в ряд (Лежандр 1806) (Ориани 1806) (Бессель 1825) (Гельмерт 1880) (Рэйнсфорд 1955) (Рапп 1993). Для любых f, интегралы (3) и (4) могут быть найдены численно или выражением их в эллиптические интегралы (Лежандр 1806) (Кэли 1870).
Винсенти (1975) предоставляет решения для прямых и обратных задач; они основаны на разложении в ряд до третьего порядка в сжатии и обеспечивают точность около 0,1 mm для эллипсоида WGS84; однако обратный метод не сходится для практически диаметрально противоположных точек. Карни (2013) продолжает разложение до шестого порядка, чего достаточно для обеспечения полной двойной точности для |f| ≤ 1⁄50 и повышает точность решения обратной задачи, так, что она сходится во всех случаях. Карни (2013, addendum) расширил возможности использования эллиптических интегралов, которые могут быть применены к эллипсоидам с произвольным сжатием.
Различные свойства геодезических
Различные задачи, связанные с геодезическими требуют знания об их поведении при возмущении. Это полезно при уравнивании тригонометрии (Элерт 1993), определение физических свойств сигналов, проходящих по геодезической, и т.д. Рассмотрим опорную геодезическую, выраженную как s, и другую геодезическую на малом расстоянии t(s) от первой. Гаусс (1828) показал, что t(s) удовлетворяют уравнению Гаусса-Якоби
где K(s) является Гауссовой кривизной для s. В качестве второго порядка линейного однородного дифференциального уравнения, его решение может быть выражено как сумма двух независимых решений
где
Величина m(s1, s2) = m12 является так называемой уменьшенной длиной, и M(s1, s2) = M12 масштабом геодезической.[3] Их основные определения приведены на Рис. 14.
Гауссова кривизна для эллипсоида вращения:
Гельмерт (1880, Eq. (6.5.1.)) решил уравнение Гаусса-Якоби для этого случая, позволяющим выразить m12 and M12 в интегральной форме.
Как видно из Рис. 14 (верхний подрисунок), разделение двух геодезических, начиная с одно и той же точки с азимутами, различающимися на dα1 представляется как m12 dα1. На замкнутый поверхности, например на эллипсоиде, m12 колеблется около нуля. Точка, в которой m12 обращается в ноль, это точка сопряженная с исходной точкой. Для геодезической между A и B, длиной s12, чтобы быть кратчайшим путем, необходимо удовлетворять условию Якоби (Якоби 1837) (Якоби 1866, §6) (Форсайт 1927, §§26–27) (Блисс 1916), так что нет никакого смысла сопрягать A между A и B. Если это условие не выполняется, то поблизости есть путь (не обязательно являющийся геодезической), который короче. Таким образом, условие Якоби является локальным свойством геодезической и необходимым условием, при котором геодезическая является кратчайшим путем. Необходимые и достаточные условия для того, чтобы геодезическая являлась кратчайшим путем:
- для сжатого эллипсоида, |σ12| ≤ π;
- для вытянутого эллипсоида, |λ12| ≤ π, если α0 ≠ 0; если α0 = 0, то дополнительное условие m12 ≥ 0 требуется, если |λ12| = π.
Конверт геодезической
Геодезические, проведенные из определенной точки A, если они продолжаются после точки разрыва, образуют конверт изображенный на Рис. 15. Здесь геодезические для которых α1 кратен 3 ° Показаны голубым цветом. (Геодезические показаны только для первого прохождения вблизи точки-антипода) Геодезические окружности показаны зеленым цветом; Они образуют на конверте зажимы. Место разреза показано красным цветом. Конверт - это место сопряженных с A точек; точки на конверте могут быть вычислены путем нахождения точки, в которой m12 = 0 на геодезической. Якоби (1891) называет эту звезду рисунком полученным в конверте Астроиды.
За пределами астроиды две геодезические пересекаются в каждой точке. Таким образом там имеются две геодезические линии между точкой А и этими точками. Это соответствует ситуации на той сфере, где есть "короткие" и "длинные" линии по большой окружности между двумя точками. Внутри же астроиды четыре геодезические пересекаются в каждой точке. Четыре таких геодезических показаны на Рис. 16, где геодезические пронумерованы в порядке увеличения длины. (На этом рисунке используется такое же как на Рис.13 положение точки A и изображается в той же проекции.) Две кротчайшие геодезические являются стабильными, т.е., m12 > 0, причем нет другой более короткой линии, соединяющей две точки; другие две нестабильны. Только самая короткая (первая) линия имеет σ12 ≤ π. Все геодезические являются касательными к конверту, который показан зеленым цветом на рисунке.
Астроида (внешне) эволюта геодезических кругов с центром в точке A. Аналогично, геодезические являются эвольвентой астроиды.
Площадь геодезического полигона
Геодезический полигон - это полигон, сторонами которого являются геодезические. Такой полигон можно найти, предварительно вычислив площадь между отрезком геодезической и экваторм, т. е. площадь четырехугольника AFHB на Рис. 1 (Даниельсен 1989). Когда это площадь известна, площадь полигона может быть вычислена путем суммирования областей всех ребер полигона.
Выражение для области S12 в AFHB разработано Сьобергом (2006) . Площадью любой закрытой области эллипсоида можно найти по формуле
где dT элемент площади поверхности, а K - Gaussian curvature. Now the Gauss–Bonnet theorem applied to a geodesic polygon states
where
is the geodesic excess and θj is the exterior angle at vertex j. Multiplying the equation for Γ by R22, where R2 is the authalic radius, and subtracting this from the equation for T gives
where the value of K for an ellipsoid has been substituted. Applying this formula to the quadrilateral AFHB, noting that Γ = α2 − α1, and performing the integral over φ gives
where the integral is over the geodesic line (so that φ is implicitly a function of λ). The integral can be expressed as a series valid for small f (Danielsen 1989) (Karney 2013, §6 and addendum).
The area of a geodesic polygon is given by summing S12 over its edges. This result holds provided that the polygon does not include a pole; if it does, 2π R22 must be added to the sum. If the edges are specified by their vertices, then a convenient expression for the geodesic excess E12 = α2 − α1 is
Геодезические на трехосном эллипсоиде
Решение Якоби
Якоби показал, что геодезические уравнения, выраженные через эллипсоидальные координаты, являются разделяемыми. Вот как он рассказывал о своем открытии другу и соседу Бесселю (Якоби 1839, Письмо к Бесселю),
Позавчера я свел к квадратуре задачу геодезической линии на эллипсоиде с тремя неравными осями. Это самые простые формулы в мире, Абелевы интегралы, которые становятся хорошо известными эллиптическими интегралами, если две оси заданы равными.
Кёнигсберг, 28 декабря '38.
Решение Якоби имеет вид (Якоби 1839) (Якоби 1866, §28)
Как отмечает Якоби "функция угла β равна функции угла ω. Эти две функции представляют собой только Абелевы интегралы..." В решении появляются две константы δ и γ . Обычно δ равно нулю если нижние пределы интегралов в начальной точке геодезической равны и направление геодезической определяется по формуле γ. Однако, для геодезической начинающейся в точке округления мы имеем γ = 0 и δ, определяющую направление в точку округления. Константа γ может быть найдена следующим образом
где α между геодезической и линией с постоянным значением ω. В пределе b → a, что позволяет получить равенство sinα cosβ = const., являющееся знакомым соотношением Клеро. Вывод решения Якоби приведен у Дарби (1894, §§583–584) ; он приводит решение найденное Луивиллем (1846) для общей квадратичной поверхности.
Примечания
- ↑ В данном случае α2 является прямым азимутом в B. Некоторые авторы рассчитывают вместо этого обратный азимут; он находится как α2 ± π.
- ↑ Лаплас (1799a) показал, что частица, вынужденная двигаться по поверхности, при этом не подверженная никаким силам, движется вдоль геодезической по этой поверхности. Таким образом, отношение Клеро является лишь следствием сохранения момента импульса fдля частицы на поверхности вращения.
- ↑ Багратуни (1962, §17) использует термин "коэффициент ковергенции ординат" для масштаба геодезической.
Ссылки