Файл: Власов, А. Г. Методы расчета эмиссионных электронно-оптических систем.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 24.10.2024
Просмотров: 80
Скачиваний: 0
Таким образом, управление потоком осуществляется подбо
ром поверхностных зарядов, минимизирующих функцию Т пт( \ характеризующую суммарное отклонение от заданных по направ лению скоростей в момент времени t + т At. Тем же методом можно вместо поверхностной плотности зарядов подобрать рас пределение потенциала на некоторой поверхности, формирующее заданную форму потока.
Однако общая задача поиска нелокального минимума функцио нала (390) при большом числе независимых параметров очень сложна. Поэтому целесообразно рассмотреть некоторые частные возможности ее численного решения. При малом числе «больших частиц» (в предельном случае одна частица) достаточно найти такое же количество свободных параметров \ к, чтобы вывести частицы на заданные траектории на первых шагах интегрирования уравнений движения. На этом этапе задача не представляет значительных трудностей. Пусть в момент времени t — tk найдена
система зарядов (і = 1, 2, . . ., k —• 1), которая минимизи рует энергию Т пк{ ~1), определяемую формулой (393). Найдем
систему зарядов, минимизирующую Т {к).
Достаточное для этого условие (выполняющее и более сильное требование, чтобы движение каждой частицы происходило по за данной траектории) записывается следующим очевидным образом:
|
пГ >(Д + |
At) = n<m) (tk) + |
п Г At - |
|
q A t |
|
m = 1, 2, 3, ... , k, (394) |
|
д г |
|
|
|
|
|
|
где |
di'ds — оператор |
дифференцирования по дуге траектории; |
|
гм |
— расстояние между і-м зарядом |
и m-й частицей. |
Обозначив все члены, не зависящие от искомых величин ДН£ через ßm и введя обозначение
q A t
перепишем условие (394) как систему алгебраических уравнений
для определения |
зарядов |
Д£г |
|
k |
a m[ Д£. = |
ßm> m = 1, 2, 3, .. ., k. |
|
V |
(395) |
||
/ 7 2 = 1 |
|
|
|
Решая подобную систему на каждом шаге интегрирования уравнений движения при соответствующем возрастании числа
1 5 2
частиц, можно поверхностные заряды, формирующие поток задан ной формы, определить как функцию времени.
При большом числе частиц система (395) может оказаться неустойчивой, в связи с чем требование (394), как и раньше, целесообразно выполнять, минимизируя среднее квадратичное отклонение от нуля, чтобы число зарядов было меньше числа частиц.
От предыдущего этот метод отличается тем, что позволяет выбирать оптимальную функцию осуществляя локальный поиск малых приращений Д£г вблизи минимума, уже найденного ранее.
Таким образом, данный метод является линеализацией более общего метода нелокального поиска, изложенного в начале пара
графа. |
Эта линеализация позволяет экстраполировать функции |
\ і (0. |
сокращая время расчета. |
666
ЗАКЛЮ ЧЕНИЕ
Нами рассмотрены методы расчета эмиссионных систем в клас сическом и в нерелятивистском приближении, а также при сравни тельно малых плотностях тока в пучке. Хотя эти методы предна значены для инженерных расчетов электромагнитных линз и для теоретического исследования их свойств, имеющего чисто приклад ной характер, мы во всех случаях, когда это удавалось, пытались строго формулировать математическую постановку задачи расчета. Ценность такой постановки состоит в том, что она позволяет опре делять границы применимости метода и точно очерчивает возмож ности его использования.
То обстоятельство, что рассмотрение вопроса велось в рамках нерелятивистского приближения электродинамики и классиче ской механики, оправдано сравнительно малыми скоростями и плотностями частиц, небольшой разрешающей силой приборов, а также ограниченностью нашей задачи — мы не рассматривали переходные физические процессы, связанные с эмиссией электро нов и поглощением их в веществе экрана. Иными словами, мы оста новились только на методах технического расчета линз и не иссле довали физические процессы преобразования изображения. Не рас сматривались также вопросы, связанные с флюктуациями элек тронного потока, а следовательно, и с «шумами», возникающими при приеме изображения. Вся эта группа вопросов имеет большое
значение |
при использовании |
импульсных эмиссионных систем |
|
в |
качестве фоторегистраторов |
быстропротекающих процессов, |
|
и |
часто |
диктует применение методов квантовой механики. |
Рассмотрены главным образом оптические свойства эмиссион ных систем. Из изложенного материала ясно, что при исследова нии этих свойств требуются наиболее точные методы. Таким обра зом, использованный при изложении материала подход обосновы вается достаточным количеством специфических и малоисследо ванных трудностей, возникающих уже на стадии инженерного расчета эмиссионных систем. Рассмотренные общие методы допу скают многочисленные конкретные приложения, хотя они и тре буют большой технической работы, связанной с конкретизацией
154
аппарата, математическими выкладками и, наконец, программиро ванием. Многие из таких прикладных разработок уже осуще ствлены на практике. Опыт, накопленный в процессе этой работы, представляет немалый интерес, но освещение его в этой книге ввиду ее небольшого объема пришлось существенно ограничить.
На основе изложенных в книге методов создан ряд унифици рованных программ, оправдавших себя при инженерном расчете катодных линз. Опубликованный материал может послужить для дальнейшей унификации расчетов в этой области.
Методы расчета эмиссионных систем должны, по-видимому, развиваться в направлениях релятивистского решения прямой задачи, решения обратной задачи для плотных нестационарных потоков, исследования физического процесса образования изобра жения в каскадах усиления, исследования помех при регистрации слабых сигналов, систематизации исследований по теоретическому восстановлению сигналов путем анализа аппаратной функции, систематизации исследований по выяснению влияния погрешно стей изготовления электродов на параметры изображения.
ДОКАЗАТЕЛЬСТВОТЕОРЕМЫГЛАВЫI П Р И Л О Ж Е Н И Е 1
Теорема. Пусть G — ограниченная, вообще говоря, многосвязная область в пространстве Rs, с границей, состоящей из конечного числа простых поверх ностей Жордана. _
Тогда любую функцию U, гармоническую в G и непрерывную в G, можно аппроксимировать в метрике С (G) функциями Un (п = 1, 2, 3, . . .), гармони
ческими в G, так чтобы:
1)G =э G;
2)всякая компонента связности CG содержала внутреннюю точку;
3)всякая компонента связности CG содержала какую-либо компоненту
связности CG. |
|
|
|
|
|
|
|
|
||
|
Доказательству теоремы предпошлем две леммы. |
А' £ Rn; | А—А' | < 1); |
||||||||
|
Лемма 1. |
Пусть К — компакт в |
R n; |
точки А, |
||||||
причем т} — окрестность точки А, |
не пресекающаяся к К; |
пусть, далее, ср (х) = |
||||||||
= q \ x — А' |
I для |
всех |
х £ |
К; |
тогда для |
любых т, |
б > 0 существуют точки |
|||
Blt |
В2, ■• •, |
Вп и числа |
qlt |
q2..........qn — такие, что |
| |
— А | <( о и |
||||
|
|
|
|
|
|
|
|
< X |
(396) |
|
|
|
|
|
|
|
|
|
|
||
для |
всех X из К- |
|
|
Возьмем произвольную точку х, принадлежащую |
||||||
|
Д о к а з а т е л ь с т в о . |
|||||||||
компакту К, |
и рассмотрим функцию |
|
|
|
|
|||||
|
|
|
Ф* (У) = |
■ А - у |
А' — А |
|
|
|||
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
А ' - А 1 |
|
|
||
|
Ясно, что ф* (h) — ср (х) |
при h -- |
\ А' |
— А |. |
|
|
||||
|
Разложим функцию ф* в ряд Тейлора в окрестности нуля |
|||||||||
|
|
ф (X) (Л) = |
|
|
|
|
ф !Г*т+1) (ѳ) |
|
||
|
|
|
|
|
R k - (Nxi -(- 1) ! |
ѳ " - + 1 . |
||||
|
При 0 ^ |
Ѳ ^ |
R |
|
|
|
|
|
|
|
|
|
|
|
ф ^ Л+1) (Ѳ) |
Nxz+l |
|
|
|||
|
|
|
|
|
+ 1) ! |
|
|
156
Таким образом
4 A)(0) |
Rk |
(397) |
Ѣ (h) — J kl |
|
|
k=o |
|
|
В силу непрерывной зависимости функции ф* от параметра последнее не равенство будет иметь место для всех х' из некоторой окрестности точки х. Та ким образом, для любого х £ К существует его окрестность Ѵх — такая, что неравенство (397) верно для всех х' £ Ѵх с некоторыми Nxx. Эти окрестности образуют открытое покрытие компакта К ■Выделив из него конечное подподкры-
тие ѴХ1, ѴХ2, . . ., Ѵхп и взяв Nx = max (NX1X, . . ., Nxkx), получим
Ф* (h) —
k=o
hk |
V X £ K- |
Легко увидеть, что для |
любого k и любого б )> |
0 существуют точки Вкх, |
|||||||||||
Вкг, ■■•> Вкк+1 и числа qkx, |
qkz, |
■■•. |
Чкк+i — такие, |
что | А — Ви |
I < б |
и |
|||||||
|
Ф* (h) |
|
|
Qki |
< 2 Щ ’ |
* Х^ К’ |
|
|
|
(398) |
|||
|
k=0 (х — Вы |
|
|
|
|||||||||
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
||||
откуда следует утверждение леммы. |
область |
в |
пространстве |
Rn\ |
пусть, |
||||||||
Лемма 2. |
Пусть G — ограниченная |
||||||||||||
далее, | и А |
принадлежат |
одной |
компоненте связности CG; ш (х) |
= |
ql\ х — || |
||||||||
для всех X £ |
G; тогда для любых е, р ]> О существуют точки §і, |
І 2, |
■■., |
и |
|||||||||
числа qx, q2, |
. . ., дң — такие, что ] | j — А | <( |
р (k = |
1, 2..........N) |
и |
|
|
|||||||
|
Ф |
|
|
4k |
< |
E. |
|
|
|
|
(399) |
||
|
|
\ X— \k I |
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
||
Д о к а з а т е л ь с т в о . |
Соединим |
точки | |
и |
А |
спрямляемым |
путем |
L, |
||||||
не пересекающимся с G. |
что ri-окрестность L не пересекается |
с G. |
|
|
|||||||||
Существует т] — такое, |
|
|
|||||||||||
Существуют точки А 0, Ах, А 2, |
. . ., Ат, лежащие на L, Л 0 = |
£, Ат = А — |
|||||||||||
такие, что | Ак — Ак+Х | </ т|/2 |
(k = |
0 , 1 ,2 ..........от — |
1). |
|
|
|
|
А х |
|||||
Положим |
б = min (т|/2, |
р); т = |
г/т. |
Применим к функции ф и точкам |
и А 2лемму 1. Получим функции ф,-2 = |
q i j | х — Ві2 | — такие, что \ А 2 — В,-2 | < |
||
< б (і = |
1, 2.......... ;г2) и |
т |
Ф«'* < г/т. |
Ф - £ |
|||
|
|
г=і |
|
К каждой из полученных функций ф,-2 и к точкам В,-2 и /43 снова применим |
|||
лемму 1, |
с %— г/m-rfi и с тем же б. В результате получим функции |
Фіз = |
Яіз . |
Из — В/з I< б (*'■= 1, 2, . . ., п3); |
|
I X В/з I |
|
|
|
|
«2 |
п 3 |
8 |
|
|
< |
|
|
|
m |
|
|
1=1 |
І=1 |
|
157
Продолжая данный процесс, мы на т-ы. шаге получим искомые точки Ij, g2, ■■-,%п и числа qlt q%, . . ., q,v, для которых справедливы неравенства (398) и (399). Лемма доказана.
Приступим к доказательству теоремы.
Возьмем функцию U, гармоническую в G и непрерывную в G, и произволь ное е > 0.
Рассмотрим произвольное непрерывное продолжение функции U на все пространство R3.
Введем последовательность областей
Gn= X
X (Д B3-, р (X, О) <
и последовательность функций Un, являющихся решениями задач Дирихле
для областей Gn с граничными условиями /„ — U JâG .
|
Как показано в работе [31 ], \\Un — U ||с |
0 при л -> оо; следовательно, |
|||||||
существует п — такое, |
что |
ЦП — £/„||с |
0 |
|
|
||||
. |
|
|
|||||||
|
Отметим, |
что р (<3GnG) = |
1/п О |
0; |
поэтому Un можно приблизить равно |
||||
мерно по X £ G функциями вида |
|
|
|
|
|
||||
|
|
|
|
|
|
|
Qi |
|
|
|
|
|
|
|
|
\х — Аі I |
|
|
|
так, |
чтобы |
|
|
|
|
|
|
|
|
|
|
|
і ! ^ - |
ф ||с (G) < |
в |
|
|
||
|
|
|
У ' |
|
|
||||
|
Все точки Ai £ G; |
поэтому по свойствам 2 и 3 области G существуют точки Аі |
|||||||
вместе со своими окрестностями Ѵі , содержащиеся в CG, — такие, что А ий,- (і = |
|||||||||
r= 1, 2..........п) |
принадлежат одной компоненте связности CG. |
|
|
||||||
(г = |
Применим |
лемму 2 к функциям |
Фг(х) = |
9г/\ хі — У | и точкам |
Л; |
и A-t |
|||
1,2,. . ., л), докажем существование точек \ ц и чисел q^ (/ = 1,2,. |
. ., |
л) — |
|||||||
таких, что |
|
|
|
|
|
|
|
|
|
|
Фі |
|
|
|
с (G) |
і — 1, 2, . . . , «. |
|
|
|
|
|
|
|
|
|
|
|
Ссылка на неравенства (396), (397) и (399) завершает доказательство тео ремы.
Замечание 1. Если А = ÖG П dG Ф Л, то на Un можно наложить условие
Un ІА = U [д .
Замечание 2. При решении осесимметричной задачи Дирихле можно в слу чае осесимметричности G потребовать и осесимметричности Un.
Замечание 3. |
Если |
В с |
dö\dG и В — замкнутое множество, не совпадаю |
щее с ÖG, то на |
Un можно |
наложить условие ІІп \ в = ф, где ф — какая-либо |
|
непрерывная функция. |
|
|
|
Из замечаний 1 и 2 |
следует полнота координатной системы функций, приве |
||
денной в формуле (17). |
|
|
158