ISSN 0868-5886
НАУЧНОЕ ПРИБОРОСТРОЕНИЕ, 2016, том 26, № 4, c. 31-42
ФИЗИКА ПРИБОРОСТРОЕНИЯ
УДК 537.534.7
© А. С. Бердников, И. А. Аверин, Н. К. Краснова, К. В. Соловьёв
ИНТЕГРАЛЬНЫЕ ФОРМУЛЫ ДЛЯ ТРЕХМЕРНЫХ ЭЛЕКТРИЧЕСКИХ И МАГНИТНЫХ ПОТЕНЦИАЛОВ, ОДНОРОДНЫХ ПО ЭЙЛЕРУ С НЕЦЕЛОЧИСЛЕННЫМИ ПОРЯДКАМИ ОДНОРОДНОСТИ
В нашей работе "Бердников А.С., Аверин И.А., Краснова Н.К., Соловьёв К.В. Общие формулы для трехмерных электрических и магнитных потенциалов, однородных по Эйлеру с целочисленным порядком однородности" (см. этот выпуск) мы отметили полезность парадигмы однородных по Эйлеру полей для разработки электронно- и ионно-оптических систем. Нецелочисленные показатели однородности значительно расширяют возможности и гибкость использования таких полей в оптике заряженных частиц, однако общая теория гармонических однородных функций с нецелочисленными порядками однородности в настоящий момент практически отсутствует. Данная работа посвящена рассмотрению интегральных формул, с помощью которых могут генерироваться трехмерные однородные гармонические функции с нецелочисленными порядками однородности, служащие потенциалами для соответствующих электрических и магнитных полей.
Кл. сл.: электрические поля, магнитные поля, однородные по Эйлеру функции, принцип подобия траекторий в оптике заряженных частиц, аналитические решения уравнения Лапласа
ВВЕДЕНИЕ
В этом цикле работ, первой из которых является [1], мы рассматриваем целенаправленное конструирование электронно- и ионно-оптических устройств с желаемыми свойствами, используя математический аппарат функций, однородных по Эйлеру с заданным порядком однородности k. Принцип подобия траекторий [2-7] позволяет использовать электростатические поля, однородные по Эйлеру, как эффективные энергоспектрографы [2-4, 8-11], а магнитостатические поля, однородные по Эйлеру, — эффективные масс-спектрографы [12-15], однако этим отнюдь не ограничиваются перспективы использования полей, однородных по Эйлеру, для создания разнообразных приборов с полезными свойствами. В [1] даны соответствующие определения и рассмотрена общая задача синтеза оптических схем, применяемых для решения задач оптики заряженных частиц, с помощью функций с целочисленным порядком однородности по Эйлеру.
Использование нецелочисленных порядков однородности значительно расширяет как возможности, так и гибкость в применении полей, однородных по Эйлеру, для решения практических задач оптики заряженных частиц [9, 10, 12-14]. К сожалению, в настоящий момент практически отсутствует теория однородных гармонических функций
с нецелочисленными порядками однородности, хотя математическая теория однородных гармонических функций, у которых порядки однородности являются целыми числами, развита вполне удовлетворительно [16, 17].
При переносе этого подхода на область функций с нецелочисленными порядками однородности мы будем опираться на определения и результаты из [1]. Кратко приведем их.
1. Электростатическими полями и магнитоста-тическими полями, однородными по Эйлеру, называются поля, напряженность или индукция которых являются функциями, однородными по Эйлеру в смысле, который придается этому термину в общих курсах математического анализа [18, 19]: при произвольных значениях параметра Л > 0 для напряженности электрического поля Е (х,у, г) выполняется тождество
Е ( Лх, Лу, Лг) = Лк ЧЕ (х, у, г ),
а для индукции магнитного поля В (х, у, г) выполняется тождество
В (Лх,Лу,Лг ) = Лк 4 В (х, у, г )
(число к является порядком однородности соответствующего поля и не обязано быть натуральным или целым числом).
2. Как правило, однородность по Эйлеру электрического или магнитного поля автоматически влечет за собой тот факт, что скалярный потенциал такого поля обязан быть однородной по Эйлеру функцией порядка k :
U (Лx,Лy,Лz) = Лки (х, у, г )
или
Ф (Лх, Лу, Лг) = ЛкФ (x, у, z)
(где E = —VU, B = -УФ ). Исключением являются поля с нулевым порядком однородности, для которых скалярный потенциал кроме однородной функции нулевого порядка может содержать также аддитивную логарифмическую добавку вида
C log ( z + х2 + у2 + z2
3. Все гармонические функции трех переменных, однородные по Эйлеру с нулевым порядком однородности к = 0 , даются формулой Донкина [16, 17, 22-25]:
) [20, 21].
U (х, у, z ) =
= F
у
х + yjx2 + у2 + z2 х + Jх2 + у2 + z2
(1)
а все гармонические функции трех переменных, однородные по Эйлеру с порядком однородности k = -1 даются близкой к ней формулой [16, 17, 22, 23]
U ( х, у, z ) =
1
^х2 + у2 + z2
xF
у
х + у1 х2 + у2 + z2 х + у]х2 + у2 + z2
(2)
где F (р, q) — произвольная функция, удовлетворяющая двумерному уравнению Лапласа д2 F^ др2 + д2 F^ дq2 = 0. Электростатические потенциалы, порождаемые формулой (1), исследовались, например, в работах [24, 25]. Электростатические потенциалы вида (2), насколько известно авторам, до сих пор глубоко не исследовались.
4. (Теорема о дифференцировании однородных гармонических функций) Любая гармоническая функция, однородная по Эйлеру с порядком однородности k, является производной от некоторой гармонической функции, однородной по Эйлеру с порядком однородности k +1:
и (х, у, г) = дЖ (х, у, г)/дх .
То, что производные по любой координате от гармонических функций, однородных по Эйлеру с порядком однородности k +1, будут гармоническими функциями, однородными по Эйлеру с порядком однородности k, является достаточно тривиальным фактом. Однако то, что любая однородная гармоническая функция получается как производная от некоторой однородной гармонической функции старшего порядка, причем для перебора всех функций порядка k достаточно использовать дифференцирование по одной заранее выбранной координате, является неожиданным. Доказательство соответствующей теоремы может быть найдено в [16 (глава IV, §15 и §16)] и, при ослабленных требованиях к гладкости однородных гармонических функций, в [26].
5. (Формула Томсона для трехмерных гармонических функций, называемая также преобразованием Кельвина [27-30]) Если и(х,у,г) — произвольная гармоническая функция, то функция
V ( х, у, z ) =
1
4
xU
х2 + у2 + z2
у
2 2 2 ' 2 2 2 ' 2 2 2 х + у2 + z2 х + у2 + z2 х + у2 + z2
(3)
тоже будет гармонической. Легко убедиться, что если и (х, у, г) — однородная по Эйлеру функция с порядком однородности k, то вычисленная согласно правилу (3) функция V (х, у, г) будет однородной по Эйлеру функцией с порядком однородности (^ -1) . Повторная подстановка (3) осуществляет обратный переход от функции V (х, у, г) к функции и (х, у, г) . Поэтому для каждой гармонической функции, однородной по Эйлеру с порядком однородности k, обязательно существует прототип с порядком однородности (-k -1) , из которого ее можно получить с помощью формулы (3). Для однородных функций и(х,у, г) формула (3) принимает упрощенный вид [31, приложение Б к гл. 1]:
, ,-ч—2к—1
V (х,у, z) = (Vх2 + у2 + z2) U (х,у, z) .
(3а)
При подстановке однородной функции и функция (3а) будет однородной, а ее гармоничность следует из выполнения уравнения Лапласа ихх + иуу + игг = 0 и дифференциального соотношения Эйлера хих + уиу + гиг = Ш [18, 19].
В итоге генерирование общих формул для гармонических функций, однородных по Эйлеру
x
х
z
z
x
z
с целочисленными порядками однородности к, сводится к довольно простой технике:
а) для к = 0 самое общее представление дается формулой (1), а для к = -1 самое общее представление дается формулой (2);
б) для отрицательных и целочисленных порядков однородности к = -2, -3, -4,... общие формулы получаются с помощью дифференцирования формулы (2) нужное число раз по переменной х (теорема о дифференцировании однородных гармонических функций гарантирует, что ни одна гармоническая функция при таком подходе не будет пропущена);
в) для натуральных показателей однородности к = 1,2,3,. общие формулы получаются из общих формул для отрицательных показателей однородности к = -2, -3, -4,... с помощью подстановок Томсона (3), (3а) (обратимость подстановок (3) и (3 а) гарантирует, что у однородной функции порядка к обязательно существует "томсоновский" прототип порядка (-к -1)). В работе [1] подробно
исследуются явные общие формулы такого типа, получаемые при к = -3, -2, -1,0,1,2 .
К сожалению, аналогичной процедуры для нецелочисленных показателей однородности пока не найдено. Теорема о дифференцировании (п. 4) и подстановка Томсона (п. 5) сохраняют свою силу и при нецелочисленных порядках однородности, однако простых общих формул для какого-либо фиксированного нецелочисленного порядка однородности, с которых можно начать описанный процесс генерирования общих формул, пока что не обнаружено. Поэтому целью настоящей работы является получение и исследование интегральных формул общего вида для однородных гармонических функций с нецелочисленными порядками однородности, которые затем могут использоваться для синтеза корпускулярно-оптических систем, функционирующих на базе принципа подобия траекторий [2-7].
ФОРМУЛА УИТТЕКЕРА ДЛЯ ОДНОРОДНЫХ ГАРМОНИЧЕСКИХ ФУНКЦИЙ
В монографии [17], а также в работе [32] приводится следующая интегральная формула для гармонических и однородных по Эйлеру функций:
U (х, y, z ) =
= —Re [ ( 2^ J V
z + IX cos
p + iy sin (p)n h(p)dp, (4)
где h (p) = f (p) + ig (p) — произвольная ком-плекснозначная функция. Предполагается, что эта
формула дает универсальное представление для однородных гармонических функций с натуральными порядками однородности n = 1,2,3,... (универсальность означает, что все однородные гармонические функции с порядками однородности n = 1,2,3,. могут быть представлены в таком виде при подходящем выборе функции h (p)). Кроме того, при произвольных значениях n, не обязательно целочисленных, эта формула, как легко проверить, также порождает однородные гармонические функции, хотя, возможно, и не все имеющиеся однородные гармонические функции соответствующего порядка.
Однако при более пристальном рассмотрении оказывается, что эта формула будет универсальной лишь для тех однородных функций, на которые наложено дополнительное условие, что они являются регулярными (т. е. разложимыми в сходящийся ряд Тейлора) в окрестности начала координат х = y = z = 0 . Также оказывается, что однородные гармонические функции, которые можно получить с ее помощью при n = 1,2,3,., всегда являются линейной комбинацией хорошо известных однородных гармонических полиномов 1,х,y,z,х2 -z2,y2 -z2,..., для получения которых вовсе не требуется использовать формулу Уитте-кера. Для обоснования этого утверждения можно
разложить (z + ix cos p + iy sin p)" в сумму одночленов ~ xky'zn~k-1 cosk psin1 p и убедиться, что после выполнения интегрирования получится однородный многочлен от х, y, z — ведь зависящие
k 1 n-k-1
от х, y, z множители х y z успешно выносятся за знак интеграла.
Тот факт, что однородные гармонические функции, регулярные в начале координат, всегда являются гармоническими полиномами и что такие функции существуют только для натуральных порядков однородности n = 1,2,3,. , является, конечно, весьма полезной информацией. Точно также полезно знать, что формула (4) при нецелочисленных значениях n обеспечит нас если и не всеми существующими в природе однородными гармоническими функциями, то по крайней мере достаточно представительным их множеством. К сожалению, это не решает проблему полного перебора однородных гармонических потенциалов с нецелочисленными порядками однородности при синтезе оптических систем с электрическими и магнитными полями, однородными по Эйлеру.
Примеры однородных гармонических функций с натуральными порядками однородности, которые не являются гармоническими полиномами и, следовательно, которые нельзя выразить с помощью формулы Уиттекера, можно найти в [20,
32, 33]. Также для получения контрпримеров к формуле Уиттекера можно использовать упоминавшиеся выше общие формулы [1] для натуральных порядков однородности n = 1,2,3,___, которые,
как легко проверить, далеко не всегда порождают на выходе именно полиномы. Тем самым, к сожалению, формула Уиттекера не только не решает проблему общих формул для какого-либо фиксированного нецелочисленного порядка однородности, но и для натуральных порядков однородности n = 1,2,3,_ вводит исследователя в заблуждение. Однако ее вполне можно использовать для генерирования отдельных гармонических однородных функций с нецелочисленными порядками однородности.
Как легко видеть, для полного перебора уитте-керовских однородных функций достаточно ограничиться выбором h(ф) = 1, h(ф) = cosтф,
h (ф) = sin тф (т = 1,2,3, _) — такие функции образуют полный линейный базис в пространстве однородных гармонических функций, описываемых формулой Уиттекера. Это не означает, что нет смысла использовать и другие функции h (ф) — с их помощью можно получать компактные аналитические выражения для однородных гармонических потенциалов, которые в противном случае разлагались бы в бесконечный ряд по рассматриваемому линейному базису. Но это означает, что, по всей видимости, множество уиттеке-ровских однородных функций окажется много меньше полного набора однородных гармонических функций с заданным порядком однородности.
ЭТАЛОННЫЕ ПОТЕНЦИАЛЫ, ОДНОРОДНЫЕ ПО ЭЙЛЕРУ С НЕЦЕЛОЧИСЛЕННЫМИ ПОРЯДКАМИ ОДНОРОДНОСТИ
В [1, 24, 25] рассмотрены некоторые полезные алгебраически-дифференциальные формулы, позволяющие вычислять в самом общем виде скалярные потенциалы, являющиеся гармоническими и однородными по Эйлеру функциями с целочисленными (положительными и отрицательными) порядками однородности, рассматриваемыми в [16, 17, 22, 23]. Однако, как показывают примеры [9, 10, 12-14], однородные функции с нецелочисленными порядками однородности обеспечивают гораздо более богатые возможности по оптимальному конструированию соответствующих корпускулярно-оптических систем.
Процедура, описанная в предыдущем разделе, позволяет генерировать общие формулы для произвольных нецелочисленных порядков однородности, если удается найти семейства однородных
функций самого общего вида для порядков однородности -1 < k < 0 . Это можно сделать (см. [20]) с помощью функции Грина для задачи Дирихле трехмерного уравнения Лапласа с границей в виде плоскости г = 0 [34-36].
Далее по отдельности рассматриваются симметричные и антисимметричные относительно плоскости г = 0 однородные гармонические функции, интегральные выражения для которых можно сконструировать с помощью формулы Грина. Произвольную же функцию и (х, у, г) всегда можно представить как сумму симметричной и антисимметричной функций: и = V + Ж , где
V = (и ( х, у, г ) + и ( х, у, - г ))/ 2 — симметричная
по
функция,
W (х, y, z ) =
= (и ( х, у, г )- и ( х, у, - г ))/2 — антисимметричная
по г функция. Поскольку в нашем случае каждая из этих функций по отдельности необходимым и достаточным образом будет и однородной, и гармоничной в силу однородности и гармоничности функции и, то потери общности при таком разложении не происходит.
ЭТАЛОННЫЕ ТРЕХМЕРНЫЕ ГАРМОНИЧНЫЕ ОДНОРОДНЫЕ ФУНКЦИИ, СИММЕТРИЧНЫЕ ПО ПЕРЕМЕННОЙ г
Гармоническая функция V (х, у, г) , однородная по Эйлеру с порядком однородности k, которая является симметричной по переменной г и тем самым обеспечивает условие дV (х, у,0)/дг = 0 вдоль граничной плоскости г = 0, при г > 0 может быть представлена как
(5)
dr,
1 2я
V ( х, у, г ) = — | Ф(у) К (у, х, у, г ) dу, 2ж 0
К (у, х, у, г) =
+Ю к+1
г гг
» / 2 2 \ 3/2
0 (( Г 008 у- х) +( Г 8ту- у ) + г2)
где Ф(у) является произвольной периодической функцией. Интеграл для ядра К (у, х, у, г) в формуле (5), как легко проверить, сходится при к > -2, к < 1 (для наших целей достаточно, что он сходится при -1 < к < 0). В силу того, что интегральное ядро К (у, х, у, г) является сингулярным,
результат интегрирования по формуле (5) не является антисимметричной функцией от г : можно проверить с помощью выделения сингулярных
а
z
слагаемых в окрестности точки x = r cos р, y = r sin р и последующего их интегрирования по аналитическим формулам, что lim V (x, y, z) Ф 0 ,
зато lim dV (x, y, z )/dz = 0, как и должно быть у
симметричной функции от z .
Формула (5) получается из универсальной функции Грина для задачи Дирихле трехмерного уравнения Лапласа с границей в виде плоскости z = 0 [34-36] и представления соответствующего решения уравнения Лапласа в виде
V (x,y, z) = — Ц Vü (x',y')x
(( x - x')2 +(y - y')2 + z2)
32dx'dy', (6)
где V0 (x, y) = V (x, y,0)— значения функции
V (x, y, z) вдоль плоскости z = 0. Формула (5) получается из этого интегрального выражения с помощью подстановки граничного условия
V(x,y,0) = rkФ(р), где r = ^Jx2 + y2 , p = = arctg (y/x), а Ф(р) — произвольная периодическая функция. Это можно сделать, поскольку трехмерная однородная функция трех переменных
V (x, y, z) после подстановки z = 0 превращается
в однородную функцию двух переменных, а любая однородная функция двух переменных соответствующего порядка однородности может быть записана в форме f (x, y) = (^x2 + y2) x
хф( arctg (y/x )) = xkF (y/x) при надлежащем выборе функции Ф(р) [18, 19]. Для гарантии можно проверить, что если V (x, y,0) будет однородной функцией порядка k, то из процедуры восстановления решения уравнения Лапласа в окрестности плоскости симметрии в виде ряда Тейлора по переменной z [37-42] сразу следует, что и V (x, y, z)
необходимым образом будет однородной функцией того же самого порядка. Как легко видеть, при разных выборах функций Ф(р) из формулы (5) получаются существенно разные функции V(x,y,z) , поскольку их поведение V(x,y,0) =
= rk Ф(р) вдоль плоскости симметрии z = 0 будет различным.
Выбор Ф(р) = coskp в формуле (5) приводит
х cos (k arctg (y/x)), а выбор Ф(р) = sin kp приводит к решению V (x, y, z) = (^x2 + y2) х
xsin (k arctg (y/x)) , которые не зависят от пространственной переменной z . С точностью до линейной суперпозиции с постоянными коэффициентами это — единственные гармонические однородные функции заданного порядка, не зависящие от переменной z, т. е. зависящие лишь от двух пространственных переменных x,y [33]. Выбор
Ф(р) = 1, Ф(р) = cos mp, Ф(р) = sin mp (m = 1,2,.) порождает линейный базис в пространстве функций V (x, y, z) , причем можно убедиться, что все базисные функции будут линейно независимы. Конструирование альтернативного линейного базиса для функций V (x, y, z) в виде
квазиполиномов по четным степеням переменной z , который более пригоден для практических приложений, можно найти в [33, 43].
ЭТАЛОННЫЕ ТРЕХМЕРНЫЕ ГАРМОНИЧНЫЕ
ОДНОРОДНЫЕ ФУНКЦИИ, АНТИСИММЕТРИЧНЫЕ ПО ПЕРЕМЕННОЙ z
Гармоническая функция W ( x, y, z), однородная по Эйлеру с порядком однородности k, которая является антисимметричной по переменной z и тем самым обеспечивает условие W (x, y,0) = 0
вдоль граничной плоскости z = 0, при z > 0 может быть выражена как
1 2ж
W(x,y,z) = — J ¥(p)L (p,x,y, z)dp,
L (р, x, y, z ) =
(7)
Í
решению
V ( x, y, z ) = (V x2 + y2 )*
I к +2 (r cosp- x) +(r sinp- y) - 2z2 ^ ((r cos p - x)2 + (r sin p - y)2 + z2)
где ^(p) является произвольной периодической функцией, а интеграл для интегрального ядра L (p, x, y, z), как легко проверить, сходится при k > -3, k < 0 (для наших целей достаточно, что он сходится при -1 <k <0). В силу того, что интегральное ядро L (p, x, y, z) является сингулярным, результат интегрирования по формуле (7) не является симметричной функцией от z. Можно убедиться с помощью выделения сингулярных слагаемых в окрестности точки x = r cos p, y = r sin p и последующего их интегрирования по аналитиче-
z
x
x
к
ским формулам, что lim dW (x, y, z)/& Ф 0, зато limW (x, y, z ) = 0, как и должно быть у антисимметричной функции от z .
Формула (7) получается из формулы (5) при замене k ^ k +1 и дифференцировании по переменной z , поскольку в соответствии с теоремой о дифференцировании однородных гармонических функций гармоническая антисимметричная функция порядка k получается в результате дифференцирования по переменной z гармонической симметричной функции порядка k +1. Выбор ¥0 (у) = a cos (k + 1)у + b sin (k + 1)у приводит к решению W (x, y, z) = 0 (такой выбор соответствует в формуле (5) гармоническим однородным
функциям вида V (x,y) = (yjx2 + y2) x
xcos ((k +1)arctg (y/x)) и V (x,y) = (Jx2 + y2) x
xsin ((k +1)arctg (y/x)), которые не зависят от z
и превращаются в ноль при дифференцировании). За этим исключением при разных выборах функций ¥(у) (с точностью до аддитивных добавок вида ¥0 (у) = a cos (k + 1)у + b sin (k + 1)у) получаются существенно разные функции W (x, y, z) .
Выбор ¥(у) = 1, ¥(у) = cos ту, ¥(у) = = sin ту (т = 1,2,...) очевидным образом содержит в себе линейный базис в пространстве функций W ( x, y, z ), антисимметричных, гармоничных
и однородных по Эйлеру, но не совпадает с ним. Действительно, некоторые получаемые функции будут линейно зависимыми, поскольку подстановка в формулу (7) в качестве ¥(у) результата разложения функций cos (k + 1)у или sin (k + 1)у в ряды Фурье обеспечит тождественный ноль, поскольку других функций ¥(у), при которых (7) обращается в тождественный ноль, нет. Поэтому если в разложении cos (k + 1)у или sin (k + 1)у
в ряд Фурье выделить две произвольные гармоники с ненулевыми коэффициентами и вычеркнуть их из тригонометрического базиса ¥(у) = 1,
¥(у) = cos ту, ¥(у) = sin ту (т = 1,2,.), оставшиеся тригонометрические функции будут порождать полноценный линейный базис для функций вида (7). Конструирование альтернативного линейного базиса для функций W (x, y, z) в виде полиномов по нечетным степеням переменной z, который более пригоден для практических прило-
жений, можно найти в [33, 43].
Комментарий к полученным результатам
Итак, гармоническая функция и (х, у, г), однородная по Эйлеру с порядком однородности к, может быть представлена в виде суммы и (х, у, г) = V (х, у, г) + Ж (х, у, г) , составленной из симметричной по г функции
V ( х, у, г ) = (и ( х, у, г ) + и ( х, у, - г ))/2 и антисимметричной по г функции Ж (х, у, г ) = = (и ( х, у, г )- и ( х, у, - г ))/2. Каждая из функций
V (х,у, г) и Ж(х,у, г) является гармонической
и однородной по Эйлеру с порядком однородности к и может быть выражена с помощью формул (5) или (7). Тем самым сумма выражений (5) и (7), зависящая от двух произвольных функций одного переменного, является самым общим представлением для гармонической функции и (х, у, г) , однородной по Эйлеру с порядком однородности -2 < к < 0 (впрочем, для наших целей достаточно, что эти формулы работают при -1 < к < 0 ).
Интересно, что использование формул (5), (7) при к = -1 в сочетании с формулой (2), в которой сделана циклическая замена переменных у ^ х', г ^ у', х ^ г', позволяет получить любопытные интегральные представления общего вида для четных и нечетных гармонических функций двух переменных.
К сожалению, приведение выражений (5) и (7) и выводимых из них интегральных формул аналогичного типа (см. следующий раздел) к аналитическим выражениям приемлемой сложности даже при простых функциях Ф(у) и ¥(у) сопряжено со значительными техническими трудностями, если к не является целым числом. Необходимость выполнять в формулах (5) и (7) интегрирование по бесконечному интервалу основательно затрудняет их использование для численного расчета соответствующих однородных электрических и магнитных полей. С этой точки зрения использование для синтеза электронно- и ионно-оптических систем с желаемыми свойствами при нецелых значениях к однородных гармонических квазиполиномов [33, 43] с нецелочисленными порядками однородности может оказаться более выгодным решением.
ИНТЕГРАЛЬНЫЕ ФОРМУЛЫ, ПОЛУЧАЕМЫЕ С ПОМОЩЬЮ ДИФФЕРЕНЦИРОВАНИЯ
Формальное дифференцирование выражений (5) и (7) по переменной г позволяет получать ин-
тегральные формулы для гармонических однородных функций с другими порядками однородности. Это связано с тем, что область сходимости интегральных ядер (равная -2 < k < 0 для формул (5) и (7)) при дифференцировании меняется, в частности, потому, что степень k', подставляемая в интегральную формулу перед дифференцированием, должна быть вполне определенным образом связана с порядком однородности k получаемой на выходе гармонической функции и тем самым сингулярность рассматриваемого интегрального ядра будет меняться. Так, после первого дифференцирования получаем формулы
V(x,y,z) = -3- J Ф^)K(p,x,y,z)dp,
2-
K (p, x, y, z ) =
(2z2 -3(rcosp-x)2 -3(rsinp-y)2)
dr;
+Ю z = I rk+3
J
/2 2 \7/2
((r cosp-x) + (r sinp-y) + z2)
1 2—
W ( x, y, z )= — J^(p) L (p, x, y, z) dp,
27l ъ
(8)
L (p, x, y, z ) =
= J,
0
dr
(rcosp-x)2 +(rsinp-y)2 -2z2
(( r cosp-x)2 +( r sinp-y)2 + z2)
с общей областью сходимости -3 < k < 0 .
После второго дифференцирования получаем
3 2—
V ( x, y, z) = 2—— J Ф^) K (p, x, y, z) dp,
0
K (p, x, y, z )= J rk+3 x
0
z(2z2 -3(rcosp-x)2 -3(rsinp-y)2)
x-f2 dr;
((r cosp-x)2 +(r sinp-y)2 + z2)
(9)
W ( x, y, z) = — J ^(p) L (p, x, y, z) dp,
L (p, x, y, z )= J rk+4 x
0
40z4 -3((rcosp-x)2 +(rsinp-y)2 -4z2)
(( r cosp-x)2 +( r sinp-y)2 + z2)
dr
с областью сходимости -4 < k < 0 и т. д. Использование для полученных интегральных формул подстановки Томсона (3), (3а) (возможно, в сочетании с последующим однократным или многократным дифференцированием) дает возможность еще больше разнообразить наборы универсальных интегральных ядер для генерирования симметричных и антисимметричных гармонических функций, однородных по Эйлеру. Одновременно происходит расширение диапазона доступных для вычислений порядков однородности, в том числе и в область положительных значений k .
Однако, как легко видеть, за увеличение диапазона для порядков однородностей, при которых можно использовать интегральные формулы (8), (9) и т. д., приходится платить. Ценой является все возрастающая сингулярность интегральных ядер в окрестности точки z « 0, x « r cos p, y « r sin p
(т. е. для r x2 + y2 , p«arctg(y/x), z «0), а также все большая степень неоднозначности в задании функций Ф^) и ^(p), которая требуется, чтобы получать на выходе различные функции V ( x, y, z ) и W ( x, y, z) .
ГАРМОНИЧЕСКИЕ ФУНКЦИИ С ЛОКАЛЬНЫМИ ОБЛАСТЯМИ ОДНОРОДНОСТИ: НЕРЕШЕННЫЕ ПРОБЛЕМЫ
Чтобы в формулах (5), (7) и им подобных можно было вычислить выражение, используемое в качестве интегрального ядра, необходимо, чтобы на сингулярность подынтегрального выражения в точках г = 0 и г = да были наложены серьезные ограничения. В ситуации, когда требуется, чтобы рассматриваемая гармоническая функция была однородной во всем пространстве, это ограничение является неизбежным. Однако в реальности нужное нам электрическое или магнитное поле требуется не во всем пространстве, а лишь в области, в которой действительно происходит движение заряженных частиц. Соответственно условие однородности и (Лx,Лy,Лz ) = Лки (х, у, z )
требуется обеспечить лишь в некоторой подобласти значений х, у, z , где в каждой точке параметру Л из фундаментального тождества однородности позволено меняться лишь в некотором допустимом диапазоне значений.
Если обнулить функцию и вне интересующей нас области, то, вообще говоря, получим новую функцию с несколькими локальными областями однородности (поскольку функция и (х, у, z) = 0
тоже является однородной). Наличие нескольких локальных областей однородности означает, что когда масштабирование координат выбранной
точки в Л раз слишком велико и выводит рассматриваемую точку пространства из одной области локальной однородности в соседнюю область локальной однородности, то тождество однородности нарушается. Соответственно, если масштабированная траектория заряженной частицы не укладывается целиком в ту же локальную область однородности, что и эталонная траектория, то для нее принцип подобия траекторий не будет выполняться. Если же какая-то траектория пересекает две и более локальных областей однородности (разделенных, например, идеальными сетками), то даже бесконечно близкие к ней траектории, по всей видимости, не будут глобально совпадать с масштабированной версией исходной траектории.
Исключением является случай, когда при преобразовании х ^ Лх, у ^ Лу, г ^ Лг каждая из локальных областей однородности отображается сама на себя (и тем самым оказывается инвариантной при преобразовании подобия). Границами раздела в таком случае служат плоскости и конические поверхности, вообще говоря, криволинейные, с вершиной в начале координат, а каждая локальная область будет являться либо клином, либо конусом, либо их дополнением до целого пространства. В этом случае составленная из отдельных кусочков локально-однородная функция будет глобально однородной, а принцип подобия траекторий сохраняет свою силу.
Искажение структуры поля вне интересующей нас трехмерной области приводит к тому, что граничное значение (х,у) = V(х,у,0), заданное на
плоскости г = 0 и используемое в формуле Грина (6), искажается, вообще говоря, произвольным образом вне некоторой интересующей нас подобласти плоскости г = 0 (являющейся в некотором нестрогом смысле проекцией трехмерной области однородности). При этом использование для стыковки разнородных областей специальных множителей в виде финитных "шапочек" (финитных бесконечно дифференцируемых функций С™ [44])
а> (г
( г ) =
(
ехр
0,
Л
-( г - Г0 )
г - £ < г < г0 + е;
г < г0 - е, г > г0 + е
позволяет сделать переход к новому граничному значению сколь угодно гладким.
Однако следует заметить, что искаженная локально-однородная функция V (х, у, г) уже не может быть выражена с помощью формулы (6), поскольку функция Грина для такой конструкции должна быть иной, учитывающей все имеющиеся
границы раздела, а не только плоскость г = 0 . Соответственно подстановка искаженного граничного условия (х, у) в формулу (6) даст нам какую-
то иную гармоническую функцию. Вообще говоря, в этом случае получаемая по формуле (6) функция больше не обязана являться ни однородной, ни даже локально-однородной, хотя она и останется при этом гармонической. Правда, принцип максимума для гармонических функций [44] гарантирует, что вдали от внесенных нами искажений гармоническая функция меняется мало и тем самым отклонения траекторий заряженных частиц от закона подобия будут незначительны, даже если точное тождество однородности для построенной нами гармонической функции и не выполняется больше.
В частности, можно принудительно обнулить функцию V0 (х,у) = V(х,у,0) вне выбранного нами диапазона г^ < х2 + у2 < г^ . В таком случае интегральные ядра, которые используются в интегральных формулах (5), (7) для однородных функций, будут интегрироваться не по интервалу 0 < г < <х>, а по гораздо более узкому интервалу гтш < г < гтах, где сингулярности интегрируемого выражения в точках г = 0 и г = ™ при выбранном значении параметра к уже не имеют значения. Другим преимуществом перехода к конечному интервалу гтш < г < гтах будет то, что интегрирование по конечной области достаточно просто выполняется численно.
Как результат, при использовании модифицированного граничного условия V0 (х, у) в формуле
(6) на выходе вместо глобально однородной функции получается локально однородная функция, по крайней мере, на границе г = 0 (поскольку и функция V0 (х, у ) = 0, и функция V0 (х, у) = = гкФ(у) являются локально однородными, каждая в свой области). Будет ли полученная функция локально-однородной хотя бы в некоторой окрестности плоскости г = 0 и существуют ли вообще локально-однородные гармонические функции в смысле, который мы придали этому термину?
Достаточно очевидно, что если разделить с помощью концентрических сфер пространство на трехмерные подобласти и задать в каждой подобласти свою собственную однородную гармоническую функцию (предположительно, с одним и тем же порядком однородности), то результирующая конструкция будет в точности локально-однородной и одновременно, по крайней мере, локально-гармонической функцией. (Вообще говоря, разделяющие поверхности могут быть любыми, лишь бы касательные плоскости не проходили через начало координат.) С другой стороны,
2
£
2
Б
такая функция вдоль границ раздела, скорее всего, не будет непрерывной или уж, по крайней мере, не будет непрерывно-дифференцируемой, поскольку на границе стыковки областей однородности вряд ли может выполняться дифференциальное соотношение Эйлера для однородных функций. Соответственно, на границе стыковки областей однородности не будет выполняться и уравнение Лапласа.
Из общих соображений следует, что если локально-однородная функция является локально-гармонической, и если на границах раздела сохраняется как непрерывность самой функции, так и непрерывность нормальной производной (а тем самым и непрерывность дифференциального соотношения Эйлера), то такая функция обязана быть одной и той же однородной гармонической функцией по обе стороны от границы раздела. Тем самым, если мы имеем локально-однородное электрическое или магнитное поле, так что в каждой локальной области тождество однородности выполняется абсолютно точно, то границами раздела между областями однородности обязаны быть электроды (сетки, магнитные полюса, границы катушек с током и т. д.).
Вообще говоря, будет неправильным утверждать, что искажение граничного условия
Уо (XУ) = гкф(р) вне к°львд /1 < X2 + у2 < г^х приводит к тому, что образуется цилиндрическая
локальная область однородности
2 2 2 2 ^ Гпт < X + У < /пах , _ < 2 < +да, внутри которой
выполнено тождество однородности и, как следствие, принцип подобия траекторий. Переход в формулах (5) (и соответственно (7)) от интервала интегрирования 0 < г < да к интервалу интегрирования 0 <а < г <Ь <да разрушает тождество однородности при 2 Ф 0 во всех точках, хотя гармоничность функции, несомненно, сохраняется:
zr
dr ' ф
K (ф, x, у, z) =
b
==h
zr
3/2
dr;
dr =
>(( r cosp-x)2 +(r sinp-y)2 + z2) K' (ф, Ax, Ay, Az) =
= J_AzT+_
J i 2 2 \3/2
«((r cosф-Ax) +(r sinф-Ay) + Az2)
_ _Az (Ar' )k+_
J / 2 2
a а((Аг ' cosф-Ax) +(Ar' sinф-Ay) + Az2)
d(Ar' ) =
Ь A
= Ak J- 2 2 32
aA ((r' cosф- x)2 +(r' sinф- y)2 + z2)
Ф AkK ' (ф, x, y, z )
(здесь следует аккуратно проверить, что при плавающих в зависимости от A верхних и нижних границах интеграла это неравенство действительно выполнено и что интегрирование по ф этот дисбаланс ядра выправить не сможет). С другой стороны, если зафиксировать какие-то эквипотенциальные линии V0 (x, y ) = const, восстановить
в трехмерном пространстве соответствующие эквипотенциальные поверхности и "заморозить" значения потенциала на этих поверхностях-электродах, то каким бы жестким ни было изменение поля с внешней стороны электродов на структуре поля внутри ограниченной электродами области это не будет сказываться. Противоречие между этими двумя утверждениями разрешается, если учесть, что поле, о котором идет речь, уже не может быть выражено с помощью формулы (6): функция Грина для краевой задачи обязана учитывать все имеющиеся границы для рассматриваемой области, тогда как в формуле (6) учитывается только плоскость z = 0 .
Другим аргументом является результат [4, 6], который показывает, что малая вариация правой части дифференциального соотношения Эйлера вдоль рассматриваемой траектории приводит к малым же отклонениям реальных траекторий от геометрических кривых, сконструированных исходя из принципа подобия траекторий. Наконец, принцип максимума для гармонических функций [44] гарантирует, что локальные искажения поля на границе, находящейся вдали от области движения заряженных частиц, приводит к быстро затухающим поправкам, слабо сказывающимся на искажении истинных траекторий заряженных частиц. Поэтому есть веские основания (правда, не являющиеся строгим доказательством) считать, что хотя формально при принудительном обнулении граничного условия V0 (x, y) вне кольца
2 2 2 2 rmin < x + y < rmax мы и разрушаем строгое тождество однородности сразу во всех точках, но поведение реальных траекторий практически не будет отличаться от поведения идеальных траекторий, если граница кольца и порожденные ею трехмерные поверхности разрыва потенциальной функции отстоят достаточно далеко от собственно области движения заряженных частиц.
Как именно выбор кольца r^ < x2 + y2 < rim;ax, а также способа сглаживания перехода от одного
граничного условия V0 (x, y) к другому сказывается на форме и размере трехмерного объема, в котором принцип подобия траекторий сохраняет свою силу с приемлемой точностью, требует отдельного исследования. По-видимому, полезным инструментом при таком исследовании могут быть конструктивные оценки, как именно выбор кольца
2 2 2 2 v
rmin - x + У - rmax сказывается на невязке в правой части дифференциального соотношения Эйлера и как именно невязка в правой части дифференциального соотношения Эйлера сказывается на отклонении соседних траекторий. Также на настоящий момент не известно, к каким именно искажениям электродов и магнитных полюсов, требуемых для создания нужного поля, приводит обнуление условия V0 (x,y) = V(x,y,0) = rkФ(у) вне того или иного кольца r2m - x2 + y2 - r2 (и как
null max v
можно осознанно управлять этим процессом, выбирая оптимальные значения rmln, rmax и сглажи-
a linnу max
вающие множители).
Кроме обнуления функции V0 (x, y) вне кольца
ri2in - x2 + y2 - ri2ax можно дополнительно обнулять ее также и вне сектора <pmm - arctg (y/x)- ymax,
если соответствующая область не представляет интереса с точки зрения движения заряженных частиц. Дополнительную гибкость процессу управления формой электродов или магнитных полюсов придает создание искусственной переходной области между областью с условием V0 (x, y) = V (x, y,0) = rk Ф(у) и областью с условием V0(x,y) = V(x,y,0) = 0, в которой мы имеем возможность варьировать граничное условие V0 (x, y ) = V ( x, y,0) практически произвольным образом.
Как именно можно использовать свободу выбора поведения граничного значения потенциала в переходной области для упрощения формы электродов и магнитных полюсов, остается неисследованной задачей. Другой интересной задачей является конструирование локально-однородных гармонических функций, теория которых на настоящий момент отсутствует. (Локально-однородные гармонические функции не могут быть получены с помощью функции Грина (6) и соответственно с помощью формул (5) и (7), поскольку для такого случая функция Грина должна конструироваться как с учетом границы z = 0, так и с учетом границ, разделяющих между собой отдельные области однородности.)
СПИСОК ЛИТЕРАТУРЫ
1. Бердников А.С., Аверин И.А., Краснова Н.К., Соловьёв К.В. Общие формулы для трехмерных электрических и магнитных потенциалов, однородных по Эйлеру с целочисленным порядком однородности // Научное приборостроение. 2016. Т. 26, № 4. С. 13-30. URL: http://213.170.69.26/mag/2016/full4/Art2.pdf.
2. Голиков Ю.К., Краснова Н.К. Электрические поля, однородные по Эйлеру, для электронной спектрографии // Журнал технической физики. 2011. Т. 81, № 2. С. 915.
3. Голиков Ю.К., Краснова Н.К. Теория синтеза электростатических энергоанализаторов. Санкт-Петербург: Изд-во Политехнического университета, 2010. 409 с.
4. Краснова Н.К. Теория и синтез диспергирующих и фокусирующих электронно-оптических сред. Дис. ... д-ра. физ.-мат. наук. СПб., 2013. 259 с.
5. Голиков Ю.К., Краснова Н.К. Обобщенный принцип подобия и его применение в электронной спектрографии // Прикладная физика. 2007. № 2. С. 5-11.
6. Голиков Ю.К., Краснова Н.К. Аналитические структуры электрических обобщенно-однородных спектрографических сред // Научное приборостроение. 2014. Т. 24, № 1. С. 50-58. URL: http://213.170.69.26/ mag/2014/full1/Art6.pdf.
7. Аверин И.А., Бердников А.С., Галль Н.Р. Принцип подобия траекторий при движении заряженных частиц с разными массами в однородных по Эйлеру электрических и магнитных полях // Письма в ЖТФ. 2016, Т. 42, № 23-24.
8. Краснова Н.К. Двумерные степенные электронные спектрографы с плоскостью симметрии // Журнал технической физики. 2011. Т. 81, № 6. С. 97-103.
9. Аверин И.А. Осесимметричные электростатические электронные спектрографы, использующие однородные по Эйлеру потенциалы с нецелочисленными порядками однородности // Тез. докл. Съезда ВМСО и VIII Всероссийской конференции, 2-17 октября 2015 г., Москва. М.: ВМСО, типография изд-ва "Тро-вант", 2015. 132 с.
10. Аверин И.А. Электростатические и магнитостатиче-ские электронные спектрографы с однородными по Эйлеру потенциалами, характеризуемыми нецелочисленными порядками однородности // Научное приборостроение. 2015. Т. 25, № 3. С. 35-44. URL: http:// 213.170.69.26/mag/2015/full3/Art5.pdf.
11. Аверин И.А., Бердников А.С. Краевые поля бессеточных электронных спектрографов с однородными по Эйлеру электростатическими полями // Успехи прикладной физики. 2016. Т. 4, № 1. С. 5-8.
12. Бердников А.С., Аверин И.А., Голиков Ю.К. Статические масс-спектрографы нового типа, использующие электрические и магнитные поля, однородные по Эйлеру. I // Масс-спектрометрия. 2015. Т. 12, № 4. С. 272-281.
13. Бердников А.С., Аверин И.А., Голиков Ю.К. Статические масс-спектрографы нового типа, использующие электрические и магнитные поля, однородные по Эйлеру. II // Масс-спектрометрия. 2016. Т. 13, № 1.
С. 11-20.
14. Бердников А.С., Аверин И.А. Новый подход к разработке ионно-оптических схем статических масс-спектрографов на основе неоднородных магнитных полей, однородных по Эйлеру // Успехи прикладной физики. 2016. Т. 4, № 1. С. 89-95.
15. Бердников А.С., Аверин И.А. О невозможности двойной фокусировки в комбинированных электрических и магнитных полях, однородных по Эйлеру. // Масс-спектрометрия. 2016. Т. 13, № 1. С. 62-65.
16. Гобсон Е.В. Теория сферических и эллипсоидальных функций. М.: Изд-во иностранной литературы, 1952. 476 с.
17. Уиттекер Э.Т., Ватсон Дж. Курс современного анализа. Ч. 2: Трансцендентные функции. М.: ГИФМЛ, 1963. 516 с.
18. Фихтенгольц Г.М. Курс дифференциального и интегрального исчисления. Т. 1. М.: ФИЗМАТЛИТ, 2001. 616 с.
19. Смирнов В.И. Курс высшей математики. Т. 1. М.: Наука, 1974. 480 с.
20. Бердников А.С., Аверин И.А., Краснова Н.К., Соловьёв К.В. Трехмерные электрические и магнитные потенциалы, однородные по Эйлеру // Вестник Актю-бинского регионального государственного университета им. К. Жубанова. Физико-математические науки. 2016. № 2 (44). С. 147-165.
21. Бердников А.С., Аверин И.А., Краснова Н.К., Соловьёв К.В. Теорема об однородности скалярных и векторных потенциалов у электрических и магнитных полей, однородных по Эйлеру // Успехи прикладной физики. 2016. Т. 4, № 6.
22. Donkin W.F. On the Equation of Laplace's Functions &c. // Philosophical Transactions of the Royal Society of London. 1857. Vol. 147. P. 43-57.
23. Donkin W.F. On the Equation of Laplace's Functions &c. // Proceedings of the Royal Society of London. 18561857. Vol. 8. P. 307-310.
24. Габдуллин П.Г., Голиков Ю.К., Краснова Н.К., Давыдов С.Н. Применение формулы Донкина в теории энергоанализаторов. I // Журнал технической физики. 2000. Т. 70, № 2. C. 91-94.
25. Габдуллин П.Г., Голиков Ю.К., Краснова Н.К., Давыдов С.Н. Применение формулы Донкина в теории энергоанализаторов. II // Журнал технической физики. 2000. Т. 70, № 3. С. 44-47.
26. Бердников А.С., Аверин И.А., Краснова Н.К., Соловьёв К.В. Исследование теоремы о дифференцировании и интегрировании трехмерных электрических и магнитных потенциалов, однородных по Эйлеру // Успехи прикладной физики. 2016. Т. 4, № 6.
27. Thomson W. Extraits de deux Lettres adressées à M. Liouville // Journal de mathématiques pures et appliquées. T. XII. 1847. P. 256-264.
28. Сретенский Л.Н. Теория ньютоновского потенциала. М.-Л.: ОГИЗ-ГИТТЛ, 1946. 318 с.
29. Владимиров В.С. Уравнения математической физики. М.: Наука, 1981. 512 с.
30. Смирнов В.И. Курс высшей математики. Т. 4. Ч. 2. М.:
Наука, 1981. 297 с.
31. Томсон У. (лорд Кельвин), Тэт П.Г. Трактат по натуральной философии. Ч. I. Москва-Ижевск: НИЦ "Регулярная и хаотическая динамика", 2010. 572 с.
32. Голиков Ю.К. Аналитические способы описания гармонических функций // Вестник Актюбинского регионального государственного университета им. К. Жубанова. Физико-математические науки. 2016. № 2 (44). С. 165-181.
33. Бердников А.С., Аверин И.А., Краснова Н.К., Соловьёв К.В. Простейшие аналитические электрические и магнитные потенциалы, однородные по Эйлеру // Вестник Актюбинского регионального государственного университета им. К. Жубанова. Физико-математические науки. 2016. № 2 (44). С. 17-32.
34. Боголюбов А.Н., Левашова Н.Т., Могилевский И.Е., Мухартова Ю.В., Шапкина Н.Е. Функция Грина оператора Лапласа. М.: Физический факультет МГУ, 2012. 130 с.
35. Пикулин В.П., Похожаев С.И. Практический курс по уравнениям математической физики. М.: МЦНМО, 2004. 208 с.
36. Боголюбов А.Н., Кравцов В.В. Задачи по математической физике. М.: Изд-во МГУ, 1998. 350 с.
37. Хокс П., Каспер Э. Основы электронной оптики. Т. 1. М.: Мир, 1993. 480 с.
38. Yavor M.I. Optics of Charged Particle Analyzers // Advances of Imaging and Electron Physics. Elsevier, 2009. Vol. 157. P. 142-144.
39. Страшкевич А.М. Электронная оптика электростатических систем. М.-Л.: "Энергия", 1966. 328 с.
40. Зинченко Н.С. Курс лекций по электронной оптике, 2-e изд. Харьков: Изд-во Харьковского ун-та. 1961.
41. Рустерхольц А. Электронная оптика. М.: Изд-во иностранной литературы, 1952. 263 с.
42. Голиков Ю.К., Уткин К.Г., Чепарухин В.В. Расчет элементов электростатических электронно-оптических систем. Учебное пособие. Л.: Изд-во ЛПИ, 1984. 79 с.
43. Бердников А.С., Аверин И.А., Краснова Н.К., Соловьёв К.В. Квази-полиномиальные трехмерные электрические и магнитные потенциалы, однородные по Эйлеру // Научно-технические ведомости СПбГПУ. Сер. Физические и математические науки. 2016. № 4.
44. Смирнов В.И. Курс высшей математики. Т. 4, ч. 1. М.: Наука, 1974. 336 с.
Институт аналитического приборостроения РАН, г. Санкт-Петербург (Бердников А.С., Аверин И.А.)
Санкт-Петербургский политехнический университет Петра Великого (Аверин И.А., Краснова Н.К., Соловьёв К.В.)
Контакты: Бердников Александр Сергеевич, asberd@yandex. ru
Материал поступил в редакцию: 28.07.2016
ISSN 0868-5886
NAUCHNOE PRIBOROSTROENIE, 2016, Vol. 26, No. 4, pp. 31-42
INTEGRAL EXPRESSIONS FOR 3D ELECTRIC AND MAGNETIC POTENTIALS WHICH ARE UNIFORM IN EULER TERMS AND HAVE NON-INTEGER ORDERS OF UNIFORMITY
1 12 2 2 A. S. Berdnikov , I. A. Averin ' , N. K. Krasnova , K. V. Solovyev
1 Institute for Analytical Instrumentation of RAS, Saint-Petersburg, Russia 2Peter The Great Saint-Petersburg Polytechnic University, Russia
In our previous paper "Universal expressions for 3D electric and magnetic potentials which are uniform in Euler terms" (see this issue) we already noted the usefulness of the paradigma of Euler's uniform fields for designing of electron-optical and ion-optical systems. Non-integer orders of uniformity significantly extends possibilities and flexibility of usage for such fields in charged particle optics. As a result the analytical expressions for the Laplace potentials which are uniform in Euler terms are a useful tool to design optical systems of this type. However, at this moment general theory of harmonic and uniform 3D functions with non-integer order of uniformity is absent. This paper considers particular integral expressions which produces 3D harmonic functions which are uniform in Euler' terms with non-integer orders of uniformity and can be used as potentials of corresponding electric and magnetic fields.
terms functions, similarity principle for charged particle
Keywords: electric fields, magnetic fields, uniform in Euler' trajectories, analytical solutions of Laplace equation
REFERENСES
1. Berdnikov A.S., Averin I.A., Krasnova N.K., Solovyev K.V. [Universal expressions or 3D electric and magnetic potentials which are uniform in Euler terms]. Nauchnoe Pri-borostroenie [Scientific Instrumentation], 2016, vol. 26, no. 4, pp. 13-30. URL: http://213.170.69.26/mag/2016/ full4/Art2.pdf. (In Russ.).
2. Golikov Yu.K., Krasnova N.K. [The electric fields uniform in Euler, for electronic spectrography]. Zhurnal tekhnicheskoj fiziki [Journal of technical physics], 2011, vol. 81, no. 2, pp. 9-15. (In Russ.).
3. Golikov Yu.K., Krasnova N.K. Teoriya sinteza ehlektros-taticheskih ehnergoanalizatorov [Theory of synthesis of electrostatic power analyzers]. Saint-Petersburg, Polytechnical university Publ., 2010. 409 p. (In Russ.).
4. Krasnova N.K. Teoriya i sintez dispergiruyushchih i foku-siruyushchih ehlektronno-opticheskih sred. Diss. dokt. fiz.-mat. nauk [The theory and synthesis of the dispersing and focusing electron-optical environments. Dr. phys. and math. sci. diss.]. Saint-Petersburg, 2013. 259 p. (In Russ.).
5. Golikov Yu.K., Krasnova N.K. [The generalized principle of similarity and its application in electronic spectrogra-phy]. Prikladnaya fizika [Applied physics], 2007, no. 2, pp. 5-11. (In Russ.).
6. Golikov Yu.K., Krasnova N.K. [Analytical structures of electric spectrographs the fields of which are expressed in a uniform generalized form]. Nauchnoe Priborostroenie [Scientific Instrumentation], 2014, vol. 24, no. 1, pp. 50-58. URL: http://213.170.69.26/mag/2014/full1/Art6.pdf. (In Russ.).
7. Averin I.A., Berdnikov A.S., Gall N.R. [The principle of similarity of trajectories at the movement of charged particles with a different masses in electric and magnetic
fields, uniform in Euler]. Pis'ma v ZhTF [Letters in ZhTF], 2016, vol. 42, no. 23-24. (In Russ.).
8. Krasnova N.K. [Two-dimensional sedate electronic spectrographs with the symmetry plane]. Zhurnal tekhnicheskoj fiziki [Journal of technical physics], 2011, vol. 81, no. 6, pp. 97-103. (In Russ.).
9. Averin I.A. [The axisymmetric electrostatic electronic spectrographs using potentials, uniform in Euler, with nonintegral orders of uniformity]. Tez. dokl. S'ezda VMSO i VIII Vserossijskoj konferencii [Theses reports Congress of VMSO and VIII All-Russian conference]. 02-17 october 2015, Moscow, VMSO "Trovant" Publ. 132 p. (In Russ.).
10. Averin I.A. [Electrostatic and magnetostatic electron spec-trographs based on Euler' homogeneous potentials with non-integer orders]. Nauchnoe Priborostroenie [Scientific Instrumentation], 2015, vol. 25, no. 3, pp. 35-44. Doi: 10.18358/np-25-3-i3544. (In Russ.).
11. Averin I.A., Berdnikov A.S. [Regional fields the besse-tochnykh of electronic spectrographs with electrostatic fields, uniform in Euler]. Uspekhi prikladnoj fiziki [Achievements of applied physics], 2016, vol. 4, no. 1, pp. 5-8. (In Russ.).
12. Berdnikov A.S., Averin I.A., Golikov Yu.K. [The static mass spectrogaphs of new type using the electric and magnetic fields uniform in Euler. I]. Mass-spektrometriya [Mass-spectrometry], 2015, vol. 12, no. 4, pp. 272-281. (In Russ.).
13. Berdnikov A.S., Averin I.A., Golikov Yu.K. [The static mass spectrogaphs of new type using the electric and magnetic fields uniform in Euler. II]. Mass-spektrometriya [Mass-spectrometry], 2016, vol. 13, no. 1, pp. 11-20. (In Russ.).
14. Berdnikov A.S., Averin I.A. [New approach to develop-
ment of ion-optical schemes of static mass spectrographs on the basis of the non-uniform magnetic fields uniform in Euler]. Uspekhi prikladnojfiziki [Achievements of applied physics], 2016, vol. 4, no. 1, pp. 89-95. (In Russ.).
15. Berdnikov A.S., Averin I.A. [About impossibility of double focusing in the combined electric and magnetic fields uniform in Euler]. Mass-spektrometriya [Mass-spectrometry], 2016, vol. 13, no. 1, pp. 62-65. (In Russ.).
16. Gobson E.V. Teoriya sfericheskih i ehllipsoidal'nyh funk-cij [Theory of spherical and ellipsoidal functions]. Moscow, Izdatel'stvo inostrannoj literatury, 1952. 476 p. (In Russ.).
17. Uitteker E.T., Vatson G. Kurs sovremennogo analiza. Ch. 2: Transcendentnye funkcii [Course of the modern analysis. Part 2: Transcendental functions]. Moscow, GIFML Publ., 1963. 516 p. (In Russ.).
18. Fihtengolc G.M. Kurs differencial'nogo i integral'nogo ischisleniya. Tom 1 [Course of differential and integral calculus. Vol. 1]. Moscow, Fizmatlit Publ., 2001. 616 p. (In Russ.).
19. Smirnov V.I. Kurs vysshej matematiki. Tom 1 [Course of the higher mathematics. Vol. 1]. Moscow, Nauka Publ., 1974. 480 p. (In Russ.).
20. Berdnikov A.S., Averin I.A., Krasnova N.K., Solovyev K.V. [Three-dimensional electric and magnetic potentials uniform in Euler]. Vestnik Aktyubinskogo regional'nogo go-sudarstvennogo universiteta im. K. Zhubanova. Fiziko-matematicheskie nauki [Bulletin of the Aktyubinsk regional state university of K. Zhubanov. Physical and mathematical sciences], 2016, no. 2 (44), pp. 147-165. (In Russ.).
21. Berdnikov A.S., Averin I.A., Krasnova N.K., Solovyev K.V. [Theorem of uniformity of scalar and vector potentials for the electric and magnetic fields uniform in Euler]. Uspekhi prikladnoj fiziki [Achievements of applied physics], 2016, vol. 4, no. 6. (In Russ.).
22. Donkin W.F. On the Equation of Laplace's Functions &c. Philosophical Transactions of the Royal Society of London, 1857, vol. 147, pp. 43-57.
Doi: 10.1098/rstl.1857.0005.
23. Donkin W.F. On the Equation of Laplace's Functions &c. Proceedings of the Royal Society of London, 18561857, vol. 8, pp. 307-310. Doi: 10.1098/rspl.1856.0075.
24. Gabdullin P.G., Golikov Yu.K., Krasnova N.K., Davydov S.N. [Application of a formula of Donkin in the theory of power-analyzers. I]. Zhurnal tekhnicheskoj fiziki [Journal of technical physics], 2000, vol. 70, no. 2, pp. 91-94. (In Russ.).
25. Gabdullin P.G., Golikov Yu.K., Krasnova N.K., Davydov S.N. [Application of a formula of Donkin in the theory of power-analyzers. II]. Zhurnal tekhnicheskoj fiziki [Journal of technical physics], 2000, vol. 70, no. 3, pp. 44-47. (In Russ.).
26. Berdnikov A.S., Averin I.A., Krasnova N.K., Solovyev K.V. [Research of the theorem of differentiation and integration of the three-dimensional electric and magnetic potentials uniform in Euler]. Uspekhi prikladnoj fiziki [Achievements of applied physics], 2016, vol. 4, no. 6. (In Russ.).
27. Thomson W. Extraits de deux Lettres adressées à
M. Liouville. Journal de mathématiques pures et appliquées, 1847, vol. XII, pp. 256-264.
28. Sretenskij L.N. Teoriya n'yutonovskogo potenciala [Theory of the Newtonian potential]. Leningrad-Moscow, OGIZ-GITTL Publ., 1946. 318 p. (In Russ.).
29. Vladimirov V.S. Uravneniya matematicheskoj fiziki [Equations of mathematical physics]. Moscow, Nauka Publ., 1981. 512 p. (In Russ.).
30. Smirnov V.I. Kurs vysshej matematiki [Course of the higher mathematics], vol. 4, part 2. Moscow, Nauka Publ., 1981. 297 p. (In Russ.).
31. Thomson W. (Lord Kelvin), Teht P.G. Traktat po natu-ral'noj filosofii. Ch. 1 [The treatise on natural philosophy. Part I]. Moscow-Izhevsk, NIC "Regulyarnaya i haoti-cheskaya dinamika" Publ., 2010. 572 p. (In Russ.).
32. Golikov Yu.K. [Analytical ways of the description of harmonious functions]. Vestnik Aktyubinskogo regional'nogo gosudarstvennogo universiteta im. K. Zhubanova. Fiziko-matematicheskie nauki [Bulletin of the Aktyubinsk regional state university of K. Zhubanov. Physical and mathematical sciences], 2016, no. 2 (44), pp. 165-181. (In Russ.).
33. Berdnikov A.S., Averin I.A., Krasnova N.K., Solovyev K.V. [The elementary analytical electric and magnetic potentials uniform in Euler]. Vestnik Aktyubinskogo regional'nogo gosudarstvennogo universiteta im. K. Zhubanova. Fiziko-matematicheskie nauki [Bulletin of the Aktyubinsk regional state university of K. Zhubanov. Physical and mathematical sciences], 2016, no. 2 (44), pp. 17-32. (In Russ.).
34. Bogolyubov A.N., Levashova N.T., Mogilevskij I.E., Mu-hartova Yu.V., Shapkina N.E. Funkciya Grina operatora Laplasa [Green's function of Laplace operator]. Moscow, Faculty of Physics, M.V. Lomonosov Moscow State University, 2012. 130 p. (In Russ.).
35. Pikulin V.P., Pohozhaev S.I. Prakticheskij kurs po urav-neniyam matematicheskoj fiziki [Practical course on the equations of mathematical physics]. Moscow, Moscow Center for Continuous Mathematical Education, 2004. 208 p. (In Russ.).
36. Bogolyubov A.N., Kravcov V.V. Zadachi po matematicheskoj fizike [Tasks in mathematical physics]. Moscow, MSU Publ., 1998. 350 p. (In Russ.).
37. Hoks P., Kasper E. Osnovy ehlektronnoj optiki. Tom 1 [Fundamentals of electronic optics. Vol. 1]. Moscow, Mir Publ., 1993. 480 p. (In Russ.).
38. Yavor M.I. Optics of Charged Particle Analyzers. Advances of Imaging and Electron Physics. Elsevier, 2009, vol. 157, pp. 142-144.
39. Strashkevich A.M. Elektronnaya optika ehlektrostati-cheskih system [Electronic optics of electrostatic systems]. Moscow-Leningrad, Energy Publ., 1966. 328 p. (In Russ.).
40. Zinchenko N.S. Kurs lekcij po ehlektronnoj optike [Course of lectures on electronic optics], Second Edition. Kharkiv, V.N. Karazin Kharkiv National University Publ., 1961. (In Russ.).
41. Rusterhol'c A. Elektronnaya optika [Electron optics]. Moscow, IIL Publ, 1952. 263 p. (In Russ.).
42. Golikov Yu.K., Utkin K.G., Cheparuhin V.V. Raschet
elementov elektrostaticheskich elektronno-opticheskich system. Uchebnoe posobie [Calculation of elements of electrostatic electron-optical systems. Education book]. Leningrad, LPI Publ., 1984. 79 p. (In Russ.).
43. Berdnikov A.S., Averin I.A., Krasnova N.K., Solovyev K.V. [Quasi-polynomial three-dimensional electric and magnetic potentials uniform in Euler]. Nauchno-tekhnicheskie vedomosti SPbGPU. Fiziko-matematicheskie nauki
[Scientific and technical sheets SPbGPU. Physical and mathematical sciences], 2016, no. 4. (In Russ.). 44. Smirnov V.I. Kurs vysshej matematiki [Course of the higher mathematics], vol. 4, part 1. Moscow, Nauka Publ., 1974. 336 p.
Contacts: Berdnikov Alexander Sergeevich, asberd@yandex.ru
Article received in edition: 28.07.2016