Геомагнетизм и аэрономия, 2019, T. 59, № 6, стр. 801-809

Классификация гармонических функций во внешности единичного шара. Применение для описания внешнего магнитного поля Земли

П. М. Ахметьев 1*, А. В. Петров 2**

1 Институт земного магнетизма, ионосферы и распространения радиоволн им. Н.В. Пушкова РАН (ИЗМИРАН)
г. Москва, г. Троицк, Россия

2 Московский институт электроники и математики им. А.Н. Тихонова (МИЭМ НИУ ВШЭ)
г. Москва, Россия

* E-mail: pmakhmet@mail.ru
** E-mail: alexandr.petrov.357@gmail.com

Поступила в редакцию 13.03.2019
После доработки 26.04.2019
Принята к публикации 23.05.2019

Полный текст (PDF)

Аннотация

Предметом исследования являются магнитные поля внутреннего источника в недрах Земли, наблюдаемые на поверхности планеты или с орбиты спутника. Мы исследуем пространство всех гармонических функций g во внешней шаровой области, которые задаются в виде рядов в стандартном базисе. Функции убывают на бесконечности, и на граничной сфере их градиенты ортогональны заданному полю направлений, причем поле направлений само задается градиентом той или иной базисной функции  f. Результаты могут быть использованы при решении общей задачи, когда не предполагается, что функции  f и g на граничной сфере зависят от двух сферических координат. Конкретные вычисления получены лишь в предположении, что ни g, ни  f не зависят от координаты долготы. Уточняются известные результаты, когда функции  f является дипольной или квадрупольной гармоникой, и получен новый результат, если  f – октупольная гармоника.

1. ВВЕДЕНИЕ

Магнитное поле, которое было измерено на поверхности Земли или на орбите спутника, является суперпозицией вкладов различных источников. В данной работе мы рассматриваем случай полей внутреннего источника.

В 1832 г. Гаусс открыл метод измерения магнитного поля, однако на практике часто удается измерять исключительно наклонение (угол отклонения вектора поля локальной горизонтали), а также склонение (направление горизонтальной составляющей). В других случаях удается измерить только модуль вектора магнитного поля, но не удается проводить полное измерение. Ряд современных работ посвящены проблеме восстановления поля по известным данным его направления на поверхности [Kaiser, 2010, 2012; Kaiser and Neudert, 2010; Khokhlov et al., 2006; Khokhlov, 2013; Akhmetev, 2013] (Задача А). Проблема восстановления поля по направлениям возникает при интерпретации палеомагнитных записей данных: информация о направлениях более надежна, чем информация об интенсивности. Другая часть посвящена проблеме восстановления поля во внешней области по значению его модуля на сферической граничной поверхности [Backus, 1970; Khokhlov et al., 1997, 1999] (Задача Б). Для современных измерений проблема связана с простотой измерения модуля и со сложностью измерения направлений поля.

В перечисленных работах достигнут значительный успех в решении проблемы. Тем не менее, математический аппарат в 3D Задаче А сложен (уравнения в бесконечномерном пространстве неопределенных коэффициентов), и общие условия существования и единственности решений не ясны. В Задаче Б был получен красивый и прозрачный результат, он формулируется в терминах дополнительных данных о магнитном экваторе (о кривой точек с нулевой вертикальной компонентой поля на сферической поверхности внешней шаровой области). Тем не менее, даже при наличии полных сведений о магнитном экваторе проблема не решена, так как необходимо сформулировать дополнительные условия на потенциал во внешней области, что показано в работах [Khokhlov et al., 1997, 1999; Khokhlov, 2013]. Эти условия формулируются так, что часть внешних потенциальных магнитных полей с конечной магнитной энергией им не удовлетворяют.

Теперь представим математическую формулировку задачи классификации, как в работах [Backus, 1970; Ахметьев и Хохлов, 2004]. Положение точки M в сферической системе координат задается тройкой чисел (r, θ, φ), где r – расстояние от начала координат до точки M; φ – угол, изменяющийся в пределах [0, 2π), образованный проекцией радиус-вектора точки M на плоскость (0xy) с положительным направлением оси (0x), между положительным направлением оси (0z) и радиус-вектором точки.

Пусть в этой системе координат заданы гармонические функции f(r, θ, φ), g(r, θ, φ) с областями определения во внешней шаровой области r ≥ 1. Функции f, g ограничены на своей области определения и продолжаются внутрь в некоторую большую внешнюю шаровую окрестность шара меньшего радиуса. Следующее определение продиктовано результатами [Backus, 1970], которые служат основой работы. Две такие функции (f, g) образуют пару Бакуса, если в каждой точке сферы r = 1 выполнено условие

(1)
$({\text{grad}}(f),{\text{grad}}(g)) = 0.$

Задача классификации всех функций g при заданной f, удовлетворяющих условию (1) значительно проще Задач А, Б. Мы считаем, что 3D Задача (1) допускает полное решение, это сформулировано в заключении в виде гипотезы. С другой стороны, считается понятным и известным, что задача напрямую связана с Задачами А, Б. Поэтому полное решение задачи (1) может привести к прогрессу, если речь идет высокоточных моделях магнитного поля. В Задаче A, в частности, возможна переформулировка результатов для конфигурационных пространств магнитных измерений (с учетом парных и тройных пространственных корреляций наблюдаемого магнитного поля). В Задаче Б возможно уточнение погрешности в измерениях магнитного экватора для потенциальных полей сложной структуры.

Подход к задаче в данной работе может быть использован для решения задач восстановления магнитного поля Солнца. По постановке задача восстановления магнитного поля Солнца отличается, поскольку речь в ней идет не о потенциальных магнитных полях, а о бессиловых магнитных полях. К тому же весьма желательно в условиях магнитостатического равновесия, по меньшей мере, учитывать, что плазма разрежается с увеличением радиуса.

Рассмотрим специальный случай 3D задачи (1), при упрощающем предположении

(2)
$f = f\left( \theta \right).$
В общем случае должно быть
(3)
$f = f(\theta ,\varphi ) = P_{n}^{m}\cos (\theta )\sin (m\varphi ).$
В задаче (1), (2) также предположим, что g = g(θ) не зависит от долготы.

Главная трудность в задаче (1), (3) связана с двойной рекурсией по n и m при нахождении коэффициентов базиса для функции g. Аналог этой задачи рассмотрен в 2D-задаче, где рекурсии по n нет. В работе взята гармоника, добавлено возмущение и показано, что при рекурсии по m не возникает бесконечных рядов. Это означает, что и для 3D-задачи в главном слагаемом рекурсии нет зависимости рядов от m. Результаты решения 2D-задачи значительно помогут при решении 3D-задачи (1).

2. РЕШЕНИЕ ДЛЯ ДИПОЛЯ, КВАДРУПОЛЯ И ОКТУПОЛЯ

Прежде чем рассмотреть новый результат, когда f является октупольной гармоникой, объясним случай дипольной и квадрупольной гармоник. Методы решения задачи для дипольной и квадрупольной гармоник идентичные, однако результаты существенно различны. Зная, что скалярное произведение градиентов двух гармонических функций равно 0, ряда. В итоге вычислим неизвестную функцию g в виде ряда коэффициентов, причем количество свободных коэффициентов зависит от порядка выбранной гармоники f.

2.1. Диполь

Предположим, что мы рассматриваем пары Бакуса, для которых функция f имеет простой вид и задана по формуле:

(4)
$f = {{r}^{{ - 2}}}P_{2}^{0}(\theta ),$
где $P_{1}^{0}(\theta )$ = cos(θ) полином Лежандра порядка n = 1 с модой m = 0.

Предположим, что вторая функция g задана в виде ряда, коэффициенты an которого следует искать:

(5)
$g(\theta ,r) = \sum\limits_{n = 0}^\infty {{{a}_{n}}{{r}^{{ - n - 1}}}P_{n}^{0}(\theta ).} $

Пусть для простоты a0 = 1, первое слагаемое r–1$P_{0}^{0}(\theta )$ имеет порядок n = 0 с модой m = 0. Такой случай, правда, не соответствует потенциалу магнитного поля, но он вычислительно самый простой и требуется для цели классификации решений. Из результатов [Ахметьев и Хохлов, 2004] вытекает следующая формула.

Грубая формула для линейной рекурсии дипольной гармоники.

Справедливо равенство: a2n+ 1 = 0; a2n = ${{\left( { - \frac{1}{3}} \right)}^{n}}$ + + O(n–1),

где O – символ эквивалентности для бесконечно малых последовательностей.

Уточним этот результат, докажем следующую формулу.

Точная формула для линейной рекурсии дипольной гармоники.

Значения коэффициентов с четными номерами n = 2k, n ≥ 0 связаны соотношением:

${{a}_{n}} = - 3\frac{{4{{n}^{2}} + 13n + 3}}{{4{{n}^{2}} + 11n + 6}}{{a}_{{n + 2}}}.$

Замечание 1. Важно заметить, что при n = 0 добавочное слагаемое к a2не является малым, но не приводит к резонансу в рекурсивной последовательности коэффициентов. С другой стороны, решения, построенные по главному приближению из грубой формулы для диполя и точное решение, построенное в точной формуле для диполя, на порядок различаются. Ниже в грубой формуле для квадруполя, которая имеет физический смысл, мы также проанализировали это различие.

Доказательство грубой формулы для диполя.

Для произвольных функций f, g на пересечении областей их определения справедливо соотношение:

$\Delta \left( {f,g} \right) = 2\left( {{\text{grad}}\left( f \right),{\text{grad}}\left( g \right)} \right) + \Delta \left( f \right) + \Delta \left( g \right).$
Здесь ∆ – оператор Лапласа, который определен по формуле:
$\frac{{{{\partial }^{2}}}}{{{{{(\partial x)}}^{2}}}} + \frac{{{{\partial }^{2}}}}{{{{{(\partial y)}}^{2}}}} + \frac{{{{\partial }^{2}}}}{{{{{(\partial z)}}^{2}}}}.$
Если функции f, g гармонические, то равенство упрощается:
$\Delta \left( {f,g} \right) = 2\left( {{\text{grad}}\left( f \right),{\text{grad}}\left( g \right)} \right),$
поскольку ∆(f) = 0, ∆(g) = 0. Поэтому условие (1) переписывается, с учетом равенства (5) в следующей форме:

(6)
$\sum\limits_{n = 0}^\infty {{{a}_{n}}\Delta ({{r}^{{ - n - 3}}}\cos (\theta )P_{n}^{0}(\theta ))} .$

Мы будем вычислять значение оператора Лапласа в сферической системе координат. Известно, что

(7)
$\Delta (\rho (r)h(\theta ,\varphi )) = \frac{1}{{{{r}^{2}}}}\left[ {\frac{\partial }{{\partial r}}\left( {{{r}^{2}}\frac{{\partial \rho }}{{\partial r}}} \right) + {{\Delta }_{{\theta ,\varphi }}}(h(\theta ,\varphi ))} \right],$
где ∆θ, φ – некоторый оператор второго порядка по переменным θ и φ, явная формула которого нам не понадобится.

Известно, что

(8)
$\cos (\theta )P_{n}^{0}(\theta ) = \frac{1}{2}P_{{n - 1}}^{0}(\theta ) + \frac{1}{2}P_{{n + 1}}^{0}(\theta ) + O({{n}^{{ - 1}}}),$
если n ≥ 2.

Для n = 1

(9)
$\cos (\theta )P_{1}^{0}(\theta ) = \frac{1}{2}P_{2}^{0}(\theta ).$

Для n = 0

(10)
$\cos (\theta )P_{0}^{0}(\theta ) = P_{1}^{0}(\theta ).$
Подставим (8) в (6). Получится уравнение
(11)
$\sum\limits_{n = 1}^\infty {{{a}_{n}}\Delta ({{r}^{{ - n - 3}}}(P_{{n - 1}}^{0}(\theta ) + P_{{n + 1}}^{0}(\theta ))) = 0,} $
причем считаем, что слагаемыми порядка O(n−1) пренебрегаем и, кроме того, если n = 0 или n = 1, пользуемся уравнениями (9), (10).

Сгруппируем слагаемые, содержащие гармоники $P_{{2i}}^{0}(\theta )$ одинакового порядка 2i = n + 1. Получим:

$\sum\limits_{n = 1}^\infty {\Delta \sin (\varphi )} {\kern 1pt} [{{a}_{n}}{{r}^{{ - n - 3}}}P_{{n + 1}}^{0}(\theta ) + {{a}_{{n + 2}}}{{r}^{{ - n - 5}}}P_{{n + 1}}^{0}(\theta )] = 0.$

Значения оператора Лапласа, примененного ко всему ряду, очевидно, эквивалентно равенству нулю каждого слагаемого этого ряда. Поэтому получим бесконечную цепочку уравнений:

${{a}_{n}}\Delta {{r}^{{ - n - 3}}}P_{{n + 1}}^{0}(\theta )\sin (\varphi ) + {{a}_{{n + 2}}}\Delta {{r}^{{ - n - 5}}}P_{{n + 1}}^{0}(\theta ) = 0,$
которая должна выполняться при всех четных значениях n = 0, 1. При нечетных такая ненулевая цепочка не существует, иначе первое уравнение (9) не выполняется. Вычислим значение оператора Лапласа при помощи (7). Cоотношение будет использовано лишь при r = 1, поэтому получим:

(12)
$\begin{gathered} ({{a}_{n}}( - n - 3)( - n - 2) + {{a}_{{n + 2}}}( - n - 5)( - n - 4))P_{{n + 1}}^{0}(\theta ) + \\ + \,\,({{a}_{n}} + {{a}_{{n + 2}}}){{\Delta }_{{\theta ,\varphi }}}(P_{{n + 1}}^{0}(\theta )) = 0. \\ \end{gathered} $

Воспользуемся равенством:

(13)
$\begin{gathered} ({{a}_{n}}( - n - 2)( - n - 1) + {{a}_{{n + 2}}}( - n - 2)( - n - 1))P_{{n + 1}}^{0}(\theta ) + \\ + \,\,({{a}_{n}} + {{a}_{{n + 2}}}){{\Delta }_{{\theta ,\varphi }}}(P_{{n + 1}}^{0}(\theta )) = 0, \\ \end{gathered} $
которое получается применением оператора Лапласа к гармонической функции

$({{a}_{n}}{{r}^{{ - n - 2}}}P_{{n + 1}}^{0}(\theta ) + {{a}_{{n + 2}}}{{r}^{{ - n - 2}}}P_{{n + 1}}^{0}(\theta )).$

Вычтем (13) из (12). При этом вновь пренебрегаем слагаемыми порядка O(n−1), получим равенство:

$2n{{a}_{n}} + 6n{{a}_{{n + 2}}} = 0.$

Это равенство запишем в более удобной форме:

${{a}_{n}} = \left( { - 3} \right){{a}_{{n + 2}}}.$

Грубая формула для диполя доказана.

Доказательство точной формулы для диполя

Для того, чтобы найти остаточное слагаемое, сравним уравнения (10) и (11) из работы [Ахметьев и Хохлов, 2004] при m = 0:

$\begin{gathered} \cos (\theta )P_{n}^{0}(\cos (\theta )) = \\ = \frac{n}{{2n + 1}}P_{{n - 1}}^{0}(\cos (\theta )) + \frac{{n + 1}}{{2n + 1}}P_{{n + 1}}^{0}(\cos (\theta )), \\ \end{gathered} $
$\begin{gathered} \cos (\theta )P_{n}^{0}(\cos (\theta )) = \\ = \frac{1}{2}(P_{{n - 1}}^{0}(\cos (\theta )) + P_{{n + 1}}^{0}(\cos (\theta ))) + O\left( {\frac{1}{n}} \right). \\ \end{gathered} $

Разница между этими уравнениями даст значение $O\left( {\frac{1}{n}} \right){\text{:}}$

$O\left( {\frac{1}{n}} \right) = \frac{1}{2}\frac{1}{{2n + 1}}(P_{{n - 1}}^{0}(\cos (\theta )) + P_{{n + 1}}^{0}(\cos (\theta ))).$

Подставив остаточный коэффициент в уравнения (12), (13), получим:

$\left( {{{a}_{n}}( - n - 3)( - n - 2)\left( {1 + \frac{1}{{4n + 2}}} \right)} \right. + {{a}_{{n + 2}}}( - n - 5) \times $
$\begin{gathered} \times \,\,( - n - 4)\left. {\left( {1 - \frac{1}{{4n + 2}}} \right)} \right)P_{{n + 1}}^{0}(\theta ) + \\ + \,\,\left( {\left( {1 + \frac{1}{{4n + 2}}} \right)} \right.{{a}_{n}} + \left( {1 - \left. {\left. {\frac{1}{{4n + 2}}} \right){{a}_{{n + 2}}}} \right)} \right. \times \\ \end{gathered} $
$ \times \,\,( - (n + 2)(n + 1))P_{{n + 1}}^{0}(\theta ) = 0,$
$\begin{gathered} ({{a}_{n}}({{n}^{2}} + 5n + 6)\left( {1 + \frac{1}{{4n + 2}}} \right) + \\ + \,\,{{a}_{{n + 2}}}({{n}^{2}} + 9n + 20)\left( {1 - \frac{1}{{4n + 2}}} \right) + \\ \end{gathered} $
$ + \,\,{{a}_{n}}\left( {1 + \frac{1}{{4n + 2}}} \right)( - {{n}^{2}} - 3n - 2) + {{a}_{{n + 2}}}\left( {1 - \frac{1}{{4n + 2}}} \right) \times $
$ \times \,\,( - {{n}^{2}} - 3n - 2))P_{{n + 1}}^{0}(\theta ) = 0,$
$\begin{gathered} ({{a}_{n}}({{n}^{2}} + 3n + 2) + {{a}_{{n + 2}}}( - {{n}^{2}} - 3n - 2) + \\ + \,\,{{a}_{n}}( - {{n}^{2}} - 3n - 2) + \\ + \,\,{{a}_{{n + 2}}}( - {{n}^{2}} - 3n - 2))P_{{n + 1}}^{0}(\theta ) = 0. \\ \end{gathered} $

Вычтем (12) из (13):

$\begin{gathered} {{a}_{n}}\left( { - 2n - 4 - \frac{{{{n}^{2}} + 5n + 6}}{{4n + 2}} + \frac{{{{n}^{2}} + 3n + 2}}{{4n + 2}}} \right) + \\ + \,\,{{a}_{{n + 2}}}\left. {\left( { - 6n - 18 + \frac{{{{n}^{2}} + 9n + 20}}{{4n + 2}} + \frac{{ - {{n}^{2}} - 3n - 2}}{{4n + 2}}} \right.} \right) = 0, \\ \end{gathered} $
$2{{a}_{n}}\frac{{4{{n}^{2}} + 11n + 6}}{{4n + 2}} + 6{{a}_{{n + 2}}}\frac{{4{{n}^{2}} + 13n + 3}}{{4n + 2}} = 0,$
${{a}_{n}} = - 3\frac{{4{{n}^{2}} + 13n + 3}}{{4{{n}^{2}} + 11n + 6}}{{a}_{{n + 2}}}.$

Таким образом, ответ существенно изменился, по меньшей мере, для небольших n. Точная формула для диполя доказана.

2.2. Квадруполь

Целью этого раздела является обобщение формул для диполя на случай, когда функция f определена главной квадрупольной гармоникой

(14)
$f = {{r}^{{ - 3}}}P_{2}^{0}(\theta ).$

Этот случай исследован в работе [Ахметьев и Хохлов, 2004]. Ищем вторую функцию пары в виде ряда (5). В этом ряду коэффициенты a2n = 0. Первый коэффициент a1 = 1 выбирается ненулевым нормированным. Случай a0 = 1, конечно, возможен и этот случай доставляет решение с четными номерами коэффициентов. Этот случай интересен для классификации, но не соответствует никакому физическому решению, поскольку здесь, как и в аналогичном примере для диполя, который был рассмотрен выше, нарушается равенство нулю магнитного потока через сферическую поверхность.

Грубая формула линейной рекурсии для квадруполя

Пусть f определена формулой (14).

1. Последовательность коэффициентов решения a1, a3, a5, a7, … при любом первом коэффициенте a1оценивается по абсолютному значению геометрической прогрессией со знаменателем λ = $ - \frac{1}{{\sqrt 5 }}.$

2. Последовательность коэффициентов a1, a3, a5, a7, … главного приближения определяет гармоническую функцию g по формуле (5), причем на сфере радиуса r = 1 выполнено асимптотическое уравнение (1). Более того, a2n+ 1вычисляется по формуле a2n+ 1 = $\left( {\lambda _{1}^{n} + \lambda _{2}^{n}} \right){{a}_{1}},$ где λ1, λ2суть корни уравнения (20).

Нахождение остаточного коэффициента для квадруполя

$\begin{gathered} \left( {\frac{3}{2}{{{\cos }}^{2}}(\theta ) - \frac{1}{2}} \right)P_{n}^{0} = \\ = \frac{1}{8}(3P_{{n - 2}}^{0} + 2P_{n}^{0} + 3P_{{n + 2}}^{0}) + O\left( {\frac{1}{n}} \right), \\ \end{gathered} $
где

$\begin{gathered} O\left( {\frac{1}{n}} \right) = \frac{{4(3 - 12n)}}{{2(16{{n}^{2}} - 4)}}P_{{n - 2}}^{0} + \frac{{12}}{{2(8{{n}^{2}} + 8n - 6)}}P_{n}^{0} + \\ + \,\,\frac{{12(4n + 5)}}{{8(4{{n}^{2}} + 8n + 3)}}P_{{n + 2}}^{0}. \\ \end{gathered} $

Доказательство грубой формулы для квадруполя

Пользуясь формулой, аналогичной формуле (11), для квадруполя имеем

(15)
$\begin{gathered} \sum\limits_{n = 0}^\infty {{{a}_{n}}\Delta \left( {{{r}^{{ - n - 4}}}\left( {\frac{3}{8}P_{{n - 2}}^{0}(\theta ) + } \right.} \right.} \\ \left. {\left. { + \,\,\frac{2}{8}P_{n}^{0}(\theta )\frac{3}{8}P_{{n + 2}}^{0}(\theta ) + O\left( {\frac{1}{n}} \right)} \right)} \right) = 0. \\ \end{gathered} $
Отсюда собираем коэффициенты при an, an + 2, an + 4 (индексы в $O\left( {\frac{1}{n}} \right)$ меняются аналогичным образом):
(16)
$\begin{gathered} {{a}_{n}}\Delta \left( {{{r}^{{ - n - 4}}}\left( {\frac{3}{8}P_{{n - 2}}^{0}(\theta ) + \frac{2}{8}P_{n}^{0}(\theta ) + } \right.} \right. \\ \left. {\left. { + \,\,\frac{3}{8}P_{{n + 2}}^{0}(\theta ) + O\left( {\frac{1}{n}} \right)} \right)} \right), \\ \end{gathered} $
(17)
$\begin{gathered} {{a}_{{n + 2}}}\Delta \left( {{{r}^{{ - n - 6}}}\left( {\frac{3}{8}P_{n}^{0}(\theta ) + \frac{2}{8}P_{{n + 2}}^{0}(\theta ) + } \right.} \right. \\ \left. {\left. { + \,\,\frac{3}{8}P_{{n + 4}}^{0}(\theta ) + O\left( {\frac{1}{n}} \right)} \right)} \right), \\ \end{gathered} $
(18)
$\begin{gathered} {{a}_{{n + 4}}}\Delta \left( {{{r}^{{ - n - 8}}}\left( {\frac{3}{8}P_{{n + 2}}^{0}(\theta ) + \frac{2}{8}P_{{n + 4}}^{0}(\theta ) + } \right.} \right. \\ \left. {\left. { + \,\,\frac{3}{8}P_{{n + 6}}^{0}(\theta ) + O\left( {\frac{1}{n}} \right)} \right)} \right). \\ \end{gathered} $
Применим ∆ к (16), (17), (18) и соберем коэффициенты при $P_{{n + 2}}^{0}$ и умножим уравнение на 8. Получим
$\begin{gathered} \left( {3 + \frac{{3(4n + 5)}}{{2(4{{n}^{2}} + 8n + 3)}}} \right){{a}_{{n - 2}}}( - n - 4)( - n - 3) - \\ - \,\,3{{a}_{n}}( - n - 3)( - n - 2) + \\ \end{gathered} $
$\begin{gathered} + \,\,\left( {2 + \frac{3}{{4{{n}^{2}} + 4n - 3}}} \right){{a}_{n}}( - n - 6)( - n - 5) - \\ - \,\,2{{a}_{{n + 2}}}( - n - 3)( - n - 2) + \\ \end{gathered} $
$\begin{gathered} + \,\,\left( {3 + \frac{{3 - 12n}}{{8{{n}^{2}} - 2}}} \right){{a}_{{n + 2}}}( - n - 8)( - n - 7) - \\ - \,\,3{{a}_{{n + 4}}}( - n - 3)( - n - 2) = 0. \\ \end{gathered} $
Используя найденные выше выражения (без учета $O\left( {\frac{1}{n}} \right)$), соберем коэффициенты при an, an + 2, an + 4, приравняем сумму к 0, используя равенство (11):

(19)
$6{{a}_{n}} + 12{{a}_{{n + 2}}} + 30{{a}_{{n + 4}}} = 0.$

Пусть an + 4 = λ2, an + 2 = λ, an = 1, тогда получим:

(20)
$5{{\lambda }^{2}} + 2\lambda + 1 = 0.$

Найдем корни этого уравнения:

${{\lambda }_{{1,2}}} = \frac{{ - 1 \pm 2i}}{5}.$

Грубая формула для квадруполя доказана.

Сравним коэффициенты an + 2 для точного решения и для решения без $O\left( {\frac{1}{n}} \right).$ Начнем с n = –3. Тогда a–1 = 0, a1 = 1. По индукции найдем следующие коэффициенты (см. табл. 1). Видим, что второй ряд не имеет резонансов, но сходится на порядок медленнее первого.

Таблица 1.  

Сравнение коэффициентов an + 2 для точного решения (строка 2) и его главного приближения (строка 1)

n 1 3 5 7 9 11 13
Без $O\left( {\frac{1}{n}} \right)$ –0.400 –0.0390 0.0960 –0.0300 –0.0070 0.0090 –0.0020
С $O\left( {\frac{1}{n}} \right)$ –1.183 0.2768 0.1899 –0.1517 0.0151 0.0324 –0.0174

Замечание. Скорость сходимости решения в грубой формуле для диполя выше, чем скорость сходимости решения в грубой формуле для квадруполя.

2.3. Октуполь

Целью раздела является обобщение грубых формул для диполя и квадруполя на случай, когда функция f определена главной октупольной гармоникой

(21)
$f = {{r}^{{ - 4}}}P_{3}^{0}(\theta ).$
Ищем вторую функцию пары в виде ряда (5), предположим, что a2k = 0, a1 ≠ 1.
$\begin{gathered} \sum\limits_{n = 1}^\infty {{{a}_{n}}{{r}^{{ - n - 5}}}\left[ {\frac{5}{2}{{{\cos }}^{3}}\theta - \frac{3}{2}\cos (\theta )} \right]P_{n}^{0}(\theta ) = } \\ = f(\theta ,r)g(\theta ,r). \\ \end{gathered} $
Рассмотрим и распишем только левую часть, т.к. левая часть останется неизменной. Вынесем cos(θ) за скобки и умножим $P_{n}^{1}(\theta )$ на выражение в скобках

$\begin{gathered} \sum\limits_{n = 1}^\infty {{{a}_{n}}{{r}^{{ - n - 5}}}{\text{cos}}(\theta )} \left( {\frac{1}{2}\cos (\theta )} \right. \times \\ \left. { \times \,\,\left[ {\frac{5}{2}P_{{n - 1}}^{0}(\theta ) + \frac{3}{2}P_{{n + 1}}^{0}0(\theta )} \right] - \frac{3}{2}P_{n}^{0}} \right). \\ \end{gathered} $

После применения cos(θ) к выражению под квадратными скобками и сокращений подобных членов получаем:

$\sum\limits_{n = 1}^\infty {{{a}_{n}}{{r}^{{ - n - 5}}}\cos (\theta )} \left( {\frac{5}{2}P_{{n - 2}}^{0}(\theta ) - \frac{2}{8}P_{n}^{0}(\theta ) + \frac{5}{8}P_{{n + 2}}^{0}(\theta )} \right).$

Далее применим аналогичный прием умножения cos(θ) и умножим на 16

(22)
$\begin{gathered} \sum\limits_{n = 1}^\infty {{{a}_{n}}{{r}^{{ - n - 5}}}[5P_{{n - 3}}^{0}(\theta ) + 3P_{{n - 1}}^{0}(\theta ) + } \\ + \,\,3P_{{n + 1}}^{0}(\theta ) + 5P_{{n + 3}}^{0}(\theta )]. \\ \end{gathered} $
Далее применяем ∆ при r = 1 и приравняем к 0:
$\begin{gathered} \sum\limits_{n = 1}^\infty {{{a}_{n}}\Delta } ({{r}^{{ - n - 5}}}[5P_{{n - 3}}^{0}(\theta ) + 3P_{{n - 1}}^{0}(\theta ) + \\ + \,\,3P_{{n + 1}}^{0}(\theta ) + 5P_{{n + 3}}^{0}(\theta )]) = 0. \\ \end{gathered} $
Распишем ряд подробнее, собрав слагаемые при $P_{{n + 3}}^{0}(\theta ){\text{:}}$
$\Delta \left( \begin{gathered} 5{{a}_{{n - 3}}}P_{{n + 3}}^{0}{{r}^{{ - n - 4}}} + \\ + \,\,3{{a}_{{n - 1}}}P_{{n + 3}}^{0}{{r}^{{ - n - 6}}} + \\ + \,\,3{{a}_{{n + 1}}}P_{{n + 3}}^{0}{{r}^{{ - n - 8}}} + \\ + \,\,5{{a}_{{n + 3}}}P_{{n + 3}}^{0}{{r}^{{ - n - 10}}} \\ \end{gathered} \right) = 0.$
Применение оператора Лапласа дает нам следующее уравнение:
$\begin{gathered} 5{{a}_{{n - 3}}}( - n - 4)( - n - 3) - 5{{a}_{{n - 3}}}( - n - 3)( - n - 2) + \\ + \,\,3{{a}_{{n - 1}}}( - n - 6)( - n - 5) - 3{{a}_{{n - 1}}}( - n - 3)( - n - 2) + \\ + \,\,3{{a}_{{n + 1}}}( - n - 8)( - n - 7) - 3{{a}_{{n + 1}}}( - n - 3)( - n - 2) + \\ + \,\,5{{a}_{{n + 3}}}( - n - 10)( - n - 9) - 5{{a}_{{n + 3}}}( - n - 3)( - n - 2) = 0. \\ \end{gathered} $
Приведем уравнение к следующему виду:
(23)
$\begin{gathered} {{a}_{{n + 3}}} + \frac{3}{7}{{a}_{{n + 1}}} + \frac{9}{{35}}{{a}_{{n - 1}}} + \frac{1}{7}{{a}_{{n - 3}}} = 0, \\ {{a}_{{n + 3}}} = - \frac{3}{7}{{a}_{{n + 1}}} - \frac{9}{{35}}{{a}_{{n - 1}}} - \frac{1}{7}{{a}_{{n - 3}}}. \\ \end{gathered} $
Ниже выпишем коэффициенты в отдельную матрицу (26).

Пусть an + 3 = λ3, an + 1 = λ2, an – 1 = λ1, an + 3 = = λ0 = 1. Тогда запишем уравнение в виде:

(24)
${{\lambda }^{3}} + \frac{3}{7}{{\lambda }^{2}} + \frac{9}{{35}}\lambda + \frac{1}{7} = 0.$
Найдем корни и получим собственные значения

(25)
${{\lambda }_{{{\kern 1pt} 1}}} = - 0.494,\,\,\,\,{{\lambda }_{{2,3}}} = 0.033 \pm i\left( { - 0.537} \right).$

В ряду (23) коэффициенты a2n = 0. Первые два коэффициента a1, a3 выбираются произвольными. Запишем эти коэффициенты в виде вектор-столбца:

$\left( \begin{gathered} 0 \hfill \\ {{a}_{1}} \hfill \\ {{a}_{3}} \hfill \\ \end{gathered} \right).$
Коэффициент a−1 = 0, потому что отрицательный индекс запрещен.

Чтобы вычислить остальные коэффициенты, строим матрицу, назовем ее A. Она строится следующим образом: все строки, кроме последней заполняются единицами и нулями по принципу единичной матрицы, смещенной на один столбец вправо. Последняя строка заполняется коэффициентами при an − 3, an − 1, an + 1 из уравнения (23):

(26)
$A = \left( {\begin{array}{*{20}{c}} 0&1&0 \\ 0&0&1 \\ { - \frac{1}{7}}&{ - \frac{9}{{35}}}&{ - \frac{3}{7}} \end{array}} \right).$
Строим вектор-столбец, n ≥ 1, n – нечетное: $\left( \begin{gathered} {{a}_{{n + 2}}} \hfill \\ {{a}_{{n + 4}}} \hfill \\ {{a}_{{n + 6}}} \hfill \\ \end{gathered} \right)$

при помощи умножения вектора-столбца $\left( \begin{gathered} {{a}_{n}} \\ {{a}_{{n + 2}}} \\ {{a}_{{n + 4}}} \\ \end{gathered} \right)$ на матрицу (26) слева. Последовательность коэффициентов a1, a3, a5, a7, определена.

Интересным фактом является то, что ряды с четными номерами коэффициентов образуют решение, но это решение не определяет магнитный потенциал.

Данное уравнение (23) является разностным линейным уравнением, которое можно записать c помощью матрицы (26). Этот случай является простейшим в теории разностных уравнений.

Сформулируем результат.

Грубая формула линейной рекурсии для октуполя

Пусть f определена формулой (21). Последовательность коэффициентов a1, a3, a5, a7, … решения при любом первом коэффициенте a1оценивается по абсолютному значению геометрической прогрессией со знаменателем λ, причем λ = −0.538.

Последовательность коэффициентов a1, a3, a5, a7, … определяет гармоническую функцию g, которая служит главным приближением точного, по формуле (5). При этом на сфере радиуса r = 1 выполнено уравнение (1) в асимптотическом смысле.

3. 2D-ЗАДАЧА

Главная трудность в задаче (1) связана с двойной рекурсией по n и m при нахождении коэффициентов базиса для функции g. Проанализируем это в аналогичной 2D-задаче, где рекурсии по n нет. Для f, заданной одной гармоникой, наш результат был ранее получен в [Kaiser and Neudert, 2004] другим способом.

Далее к гармонике f добавлено дополнительное возмущение и показано, как изменится решение g. Результатом является то, что при рекурсии не возникает бесконечных рядов. Это означает, что и для 3D задачи в главном слагаемом рекурсии нет зависимости рядов от m. Результаты решения 2D-задачи значительно помогут при решении 3D-задачи (1).

3.1 . Коэффициенты функции пары Бакуса

Имеется Гармоника f = cos(nφ)rn, ищем функцию g с ортогональным градиентом, которая задается уравнением на коэффициенты A, B:

(27)
$\begin{gathered} g(A,B) = A{\text{cos}}((n - k)\varphi ){{r}^{{ - (n - k)}}} + \\ + \,\,B{\text{cos}}((n + k)\varphi ){{r}^{{ - (n + k)}}}. \\ \end{gathered} $

Функции f, g составляют пару Бакуса и являются гармоническими во внешнешнем единичном круге. Значит, ∆(fg) = 0 на окружности единичного радиуса. Оператор Лапласа для полярных координат имеет вид:

$\Delta {\kern 1pt} f = \frac{1}{r}\frac{\partial }{{\partial r}}\left( {r\frac{{\partial f}}{{\partial r}}} \right) + \frac{1}{{{{r}^{2}}}}\frac{{{{\partial }^{2}}f}}{{\partial {{\varphi }^{2}}}}.$

Формула произведения fg имеет вид:

$\begin{gathered} fg = A{\text{cos}}((n - k)\varphi ){{r}^{{ - 2n + k}}}{\text{cos}}(n\varphi ) + \\ + \,\,B{\text{cos}}((n + k)\varphi ){{r}^{{ - 2n - k}}}{\text{cos}}(n\varphi ). \\ \end{gathered} $
Рассмотрим подробнее умножение косинусов:
$\begin{gathered} \cos ((n \pm k)\varphi )\cos (n\varphi ) = \\ = \frac{1}{2}\cos ((2n \pm k)\varphi ) + \cos (k\varphi )). \\ \end{gathered} $
Далее применяется оператор Лапласа:

$\begin{gathered} \frac{{{{\delta }^{2}}(fg)}}{{\delta {{r}^{2}}}} = {{( - 2n + k)}^{2}}\frac{A}{2}(\cos (2n\varphi - k\varphi ) + \\ + \,\,\cos ( - k\varphi )){{r}^{{ - 2n + k}}} + \\ \end{gathered} $
$ + \,\,{{( - 2n - k)}^{2}}\frac{B}{2}(\cos (2n\varphi + k\varphi ) + \cos (k\varphi )){{r}^{{ - 2n - k}}},$
$\begin{gathered} \frac{{{{\delta }^{2}}(fg)}}{{\delta {{\varphi }^{2}}}} = - \frac{A}{2}{{(2n - k)}^{2}}\cos ((2n - k)\varphi ){{r}^{{ - 2n + k - 2}}} - \\ - \,\,\frac{A}{2}\cos ( - k\varphi ){{r}^{{ - 2n + k - 2}}}{{k}^{2}} - \\ \end{gathered} $
$\begin{gathered} - \frac{B}{2}{{(2n + k)}^{2}}\cos ((2n + k)\varphi ){{r}^{{ - 2n - k - 2}}} - \\ - \,\,\frac{B}{2}\cos (k\varphi ){{r}^{{ - 2n - k - 2}}}{{k}^{2}}. \\ \end{gathered} $

Правые части следует прировнять к 0. По условию r = 1, поэтому

${{( - 2n + k)}^{2}}{\kern 1pt} \frac{A}{2}\cos \left( {2n\varphi - k\varphi } \right) + {{( - 2n + k)}^{2}}{\kern 1pt} \frac{A}{2}\cos ( - k\varphi ) - $
$ - \,\,\frac{A}{2}{{(2n - k)}^{2}}(\cos (2n - k)\varphi ) - \frac{A}{2}\cos ( - k\varphi ){{r}^{{ - 2n + k - 2}}}{{k}^{2}} + $
$\begin{gathered} + \,\,{{( - 2n - k)}^{2}}\frac{B}{2}\cos (2n\varphi + k\varphi ) + \\ + \,\,{{( - 2n - k)}^{2}}\frac{B}{2}\cos (k\varphi )) - \\ \end{gathered} $
$ - \,\,\frac{B}{2}{{(2n + k)}^{2}}\cos ((2n + k)\varphi ) - \frac{B}{2}\cos (k\varphi ){{k}^{2}} = 0.$

Сгруппировав слагаемые, получаем

$\frac{{\cos (k\varphi )}}{2}(A(4{{n}^{2}} - 4nk) + B(4{{n}^{2}} + 4nk)) = 0.$

Это выражение равно 0 тогда и только тогда, когда выражение в скобках равно 0. Разделим его на 4n.

$An - Ak + Bn + Bk = 0,$
$A(n - k) + B(n + k) = 0,$
$A = - \left( {n + k} \right),\,\,\,\,B = n--k.$

Найдены коэффициенты для g. Размерность пространства решений равна 2N − 1. Результат совпадает с результатом в работе [Kaiser and Neudert, 2004] Теорема 3.1. Коэффициенты A, B определено с точностью до общего множителя σ:

(28)
$A = - \left( {n + k} \right)\sigma ,\,\,\,\,B = \left( {n - k} \right)\sigma .$
В следующем разделе будет найден множитель σ в более общей задаче.

3.2. Возникновение возмущения

В этом разделе будет построено g, если к f добавлена еще одна гармоника:

$g = {{g}_{0}} + {{g}_{1}}a + {{g}_{2}}{{a}^{2}},$
$f = {\text{ }}{{f}_{0}} + {\text{ }}{{f}_{1}}a.$

В этой формуле g, найденная в предыдущем разделе переобозначена через g0, сама функция f переобозначена через f0; предполагается, что

$m > n,\,\,\,\,a \ll 1.$

Для нахождения целого ряда для g, необходимо найти g1, g2. Для этого достаточно использовать равенство a∆(f1g0) + a∆(f0 g1) = 0. Для нахождения g2 достаточно использовать равенство a2∆(g1 f1) + a2∆(g2  f0) = 0, где g1 найдена на предыдущем шаге, как в разделе 2.

Найдем g1. Известно, что

${{f}_{0}} = {\text{cos}}(n\varphi ){{r}^{{ - n}}},$
${{f}_{1}} = {\text{cos}}(m\varphi ){{r}^{{ - m}}},$
${{g}_{0}} = A{\text{cos}}((n - k)\varphi ){{r}^{{ - n + k}}} + B{\text{cos}}((n + k)\varphi ){{r}^{{ - n - k}}}.$
Тогда по аналогии с предыдущим вычислением предположим, что

${{g}_{1}} = \tilde {A}\cos ((m - k)\varphi ){{r}^{{ - m + k}}} + \tilde {B}\cos ((m + k)\varphi ){{r}^{{ - m - k}}}.$

Таким образом, задача сводится к нахождению коэффициентов $\tilde {A},$ $\tilde {B}.$

Найдем далее произведения f1g0

$\begin{gathered} {{f}_{1}}{{g}_{0}} = A{{r}^{{ - n + k - m}}}\frac{1}{2}(\cos ((n - k - m)\varphi ) + \\ + \,\,\cos ((n - k + m)\varphi ) + \\ \end{gathered} $
$\begin{gathered} + \,\,B{{r}^{{ - n - k + - m}}}\frac{1}{2}(\cos ((n + k - m)\varphi ) + \\ + \,\,\cos ((n + k + m)\varphi ) = \\ \end{gathered} $
$\begin{gathered} = \frac{1}{2}A{{r}^{{ - n + k - m}}}\cos ((n - k - m)\varphi ) + \\ + \,\,\frac{1}{2}{{r}^{{ - n - k - m}}}B\cos ((n + k - m)\varphi ). \\ \end{gathered} $

Так как r = 1, после применения оператора Лапласа получим:

(29)
$\begin{gathered} \Delta ({{f}_{1}}{{g}_{0}}) = \frac{1}{2}A\cos ((n - k - m)\varphi )(4mn - 4km) + \\ + \,\,\frac{1}{2}B\cos ((n + k - m)\varphi )(4km + 4mn). \\ \end{gathered} $

По аналогии находим произведение f0  g1:

$\begin{gathered} {{f}_{0}}{{g}_{1}} = \frac{1}{2}\tilde {A}{{r}^{{ - m + k - n}}}\cos ((n - m + k)\varphi ) + \\ + \,\,\frac{1}{2}\tilde {B}{{r}^{{ - n - m - k}}}\cos ((n - m - k)\varphi ). \\ \end{gathered} $
Так как снова r = 1, после применения оператора Лапласа получим:
(30)
$\begin{gathered} \Delta ({{f}_{0}}{{g}_{1}}) = \frac{1}{2}\tilde {A}\cos ((n - m + k)\varphi )(4mn - 4kn) + \\ + \,\,\frac{1}{2}\tilde {B}\cos ((n - m - k)\varphi )(4kn + 4mn). \\ \end{gathered} $
Найдем сумму результатов из (29), (30) и приравняем к нулю
$\begin{gathered} A{\text{cos}}((n - k - m)\varphi )(mn - km) + \\ + \,\,\tilde {B}\cos ((n - m - k)\varphi )(kn + mn) + \\ + \,\,B\cos ((n + k - m)\varphi )(km + mn) + \\ + \,\,\tilde {A}\cos ((n - m + k)\varphi )(mn - kn) = 0. \\ \end{gathered} $
Сгруппируем слагаемые, исходя из одинаковых показателей косинусов, и приравняем к нулю. Получим 2 равенства, из которых сможем найти коэффициенты для g1:
$A(mn - km) + \tilde {B}(kn + mn) = 0,$
откуда выразим $\tilde {B},$ подставив A, которое мы подсчитали выше.
$\tilde {B} = \frac{{({{n}^{2}} - {{k}^{2}})m}}{{(m + k)n}}.$
$B(km + mn) + \tilde {A}(mn - kn) = 0,$
откуда выразим $\tilde {A},$ подставив B, которое мы подсчитали выше.

$\tilde {A} = \frac{{({{n}^{2}} - {{k}^{2}})m}}{{(m - k)n}}.$

Отсюда получаем формулу для g1:

$\begin{gathered} {{g}_{1}} = \frac{{({{n}^{2}} - {{k}^{2}})m}}{{(m - k)n}}\cos ((m - k)\varphi ){{r}^{{ - m + k}}} + \\ + \,\,\frac{{({{n}^{2}} - {{k}^{2}})m}}{{(m + k)n}}\cos ((m + k)\varphi ){{r}^{{ - m - k}}}, \\ \sigma = \frac{{({{n}^{2}} - {{k}^{2}})m}}{{({{m}^{2}} - {{k}^{2}})n}}. \\ \end{gathered} $

Имеется g1 f1 + g2  f0 = 0. Для того, чтобы найти g2, докажем сначала, что ∆(g1 f1) = 0. Перепишем g1 через σ:

$\begin{gathered} {{g}_{1}} = \sigma \left( {m + k} \right){\text{cos}}\left( {\left( {m - k} \right)\varphi } \right){{r}^{{ - m + k}}} + \\ + \,\,\sigma \left( {m - k} \right){\text{cos}}\left( {\left( {m + k} \right)\varphi } \right){{r}^{{ - m - k}}}, \\ \end{gathered} $
${{f}_{1}} = {\text{cos}}\left( {n\varphi } \right){{r}^{{ - n}}}.$

Тогда при g1 получим следующие коэффициенты:

$A{\text{*}} = - (m + k)\sigma ,\,\,\,\,B{\text{*}} = (m - k)\sigma .$

Но эти коэффициенты отличаются от (28) только заменой n на m. Значит, что ∆(g1f1) = 0. А так как f0 ≠ 0, значит, что g2 = 0.

Таким образом, получаем, что ряды f, g содержат лишь конечное число ненулевых слагаемых:

$f = {\text{cos}}(n\varphi ){{r}^{{ - n}}} + a{\text{cos}}(m\varphi ){{r}^{{ - m}}},$
$g = {{g}_{0}} + a{{g}_{1}}.$

4. ВЫВОДЫ

При решении задачи (1), (2) показано, что с ростом порядка гармоники f сходимость ряда коэффициентов главного приближения произвольного решения g увеличивается, число параметров, определяющих решение, тоже увеличивается. Этот результат нам представляется новым, он открывает новые перспективы при построении высокоточных моделей внешнего магнитного поля Земли.

По сравнению с результатами работы [Ахметьев и Хохлов, 2004] рассмотрен случай, когда f октуполь. Октупольная гармоника имеет вид: f = = r–4$P_{3}^{0}(\theta ).$ Вычисляется асимптотически точное приближение для функций g (это приближение мы назвали главным), в виде коэффициентов ряда. Само вычисление ряда главного приближения мы назвали грубой формулой рекурсии (например, как при переходе от точной формулы для диполя к грубой формуле для диполя). При вычислении была составлена матрица A, полученная из уравнения (23). В ряде, который вытекает из формулы (23), главного приближения первые коэффициента произвольные, остальные рекурсивно вычисляются.

Коэффициенты ряда главного приближения оцениваются геометрической прогрессией со знаменателем λ1 = 0.538. В аналогичной оценке для квадруполя, которая была известна ранее, главное приближение оценивается геометрической прогрессией с меньшим знаменателем (от квадруполя до октуполя знаменатель прогрессии уменьшился на 0.205).

Итак, при упрощающем предположении (2), что данные и решение зависят лишь от радиуса r и широты θ, нами предложен способ восстановления потенциала магнитного поля во внешней шаровой области по известным значениям поля направлений на сфере единичного радиуса, которому ортогонален искомый потенциал grad(g).

Полученные результаты носят пока незавершенный характер и предполагают явное построение примера, решающего 3D-задачу (1), (3) без упрощающего предположения (2). В рамках предлагаемого подхода возможно, на наш взгляд, явное построение примера в направлении поиска общего решения проанализирована 2D-задача с зависимостью данных и решения от радиуса r и долготы φ. Это позволило сформулировать новую гипотезу, которая может быть сформулирована следующим образом.

Пространство решений в 3D-задаче (1), (3) вычисляется переходом от точноых решений к главным приближениям Зависимость решений g по угловой координате φ задается конечным анзацем и требует лишь линейной рекурсии по n, как в грубых формулах для диполя, квадруполя и октуполя, и не требует рекурсии по m (см. 2D-задачу из Раздела 4. При переходе от главных приближений к точным решениям добавляются быстро сходящиеся асимптотические ряды по присоединенным полиномам Лежандра.

Список литературы

  1. Ахметьев П.М., Хохлов А.В. О классификации гармонических функций во внешности единичного шара с известным модулем градиента на границе области, различающая которых зависит от широты // Математические заметки. С. 182–191. 2004.

  2. Ахметьев П.М. Приложение сингулярной теории в статистике палеомагнитных данных // Геомагнетизм и аэрономия. Т. 53. № 6. С. 804–808. 2013.

  3. Петров А.В. Классификация гармонических потенциалов во внешности единичного шара. Дифференциальные уравнения и смежные вопросы математики // Тр. VIII приокской науч. конф. Коломна-Константиново, 10–11 июня 2016 г. Отв. ред. О.Н. Бирюков. Коломна: изд-во ГСГУ. С. 114–118. 2016.

  4. Backus G. Non-uniqueness of the external geomagnetic field determined by surface intensity measurements // J. Geophys. Res. V. 75. P. 6339–6341. 1970.

  5. Kaiser R. Uniqueness and nonuniqueness in the non-axisymmetric direction problem // Q.J. Mech. Appl. Math., August 2012. P. 55–71. 2012.

  6. Kaiser R. The geomagnetic direction problem: The two-dimensional and the three-dimensional axisymmetric cases // SIAM J. Math. Anal. V. 42. P. 701–728. 2010.

  7. Kaiser R., Neudert M. A non-standard boundary value problem related to geomagnetism // Q. Appl. Math. V. 62. P. 423–457. 2004

  8. Khokhlov A. How can one find Earth’s magnetic field from incomplete measurements of it? https://www.researchgate.net/publication/293091759. 2013.

  9. Khokhlov A., Hulot G., Bouligand C. Testing statistical paleomagnetic field models against directional data affected by measurement errors // Geophys. J. Int. V. 167. P. 635–648. 2006.

  10. Khokhlov A., Hulot G., Le Mouel J.-L. On the Backus Effect – I // Geophys. J. Int. V. 130. P. 701–703. 1997.

  11. Khokhlov A., Hulot G., Le Mouel J.-L. On the Backus Effect – II // Geophys. J. Int. V. 137. P. 816–820. 1999.

  12. Khokhlov A., Hulot G., Le Mouel J.-L. Uniqueness of mainly dipolar magnetic fields recovered from directional data // Geophys. J. Int. V. 129. P. 347–354. 1997.

Дополнительные материалы отсутствуют.