ЧИСЛЕННЫЕ МЕТОДЫ КОМПЬЮТЕРНОЙ ОПТИКИ
ДИФРАКЦИОННЫЙ РАСЧЕТ ФОКУСАТОРОВ В ФОКАЛЬНЫЕ КРИВЫЕ В РАМКАХ ЭЛЕКТРОМАГНИТНОЙ ТЕОРИИ
С.И. Харитонов, Л.Л. Досколович, О.И. Петрова*
Институт систем обработки изображений РАН Самарский государственный аэрокосмический университет *Тольяттинский государственный университет
Аннотация
Рассмотрен расчет дифракционных оптических элементов для формирования фокальных кривых в рамках асимптотического подхода. В криволинейных координатах получено простое выражение для функции эйконала. Приведены расчеты поля от фокусаторов в кольцо и отрезок.
1. Постановка задачи фокусировки в фокальные кривые
Данная работа посвящена решению обратных задач дифракционной оптики. Ограничимся рассмотрением пропускающих дифракционных оптических элементов, освещаемых плоской электромагнитной волной. Рассмотрим общий случай постановки обратных задач дифракции в рамках электромагнитной теории.
Пусть монохроматическая электромагнитная волна, описываемая четырехкомпонентным бивектором Ж (х1, х2, х3) - падает на дифракционный оптический элемент (ДОЭ) [1]. Для описания энергетических характеристик электромагнитного поля в области регистратора [1] вводятся две физических величины.
\М=+НН *) (1)
- объемная плотность энергии,
£ = — Яе Г Е х Н * ] (2)
8п 1 -1
- вектор Умова-Пойтинга,
где с - скорость света в вакууме,
Е -напряженность электрического поля,
Н - напряженность магнитного поля.
Для вектора Умова-Пойтинга справедлива теорема
8- йіу Яе Г Е (ю), Н *(ю)] = = —— Е (ю) Е* (ю)( є *(ю)-є (ю)) -
16”. _ (3)
-ГГ- Н (ю) Н *(ю)(ц*(ю) - ц(ю)) -
16п
-Яе^1ТЕ*(ю))-Яе^2у*тН*(ю)^ .
Для непоглощающей среды выражение приобретает вид: йіу Яе I = 0, где I = — ГЕ, Н* - - ком-
8л1- л
плексный вектор Пойнтинга.
В интегральной форме:
ф 1й£ = 0. (4)
£
В случае, когда регистратор представляет собой плоскость, перпендикулярную оси х3 , удобно ввести скалярную величину, равную проекции вектора Умова-Пойтинга на нормаль к плоскости регистратора.
Введем в пространстве четырехкомпонентных векторов функций м понятие скалярного произведения. Введем скалярное произведение таким образом, чтобы оно не зависело от координаты 2, и в то же время произведение вектора самого на себя было пропорционально потоку вектора Умова-Пойтинга. Для этого запишем уравнения Максвелла в обычной форме для поля Е1Н1 и для комплексно сопряженного поля
гоґЕ1 = іАИ1
гоґН. = -ікЕ
. . (5)
гоґ Е 2 = -ікН 2
гоґ Н*2 = ікЕ*2
вычитаем второе уравнение из первого и, используя известную формулу векторного анализа
Н*2гоґЕу - Е1гоґН*2 = ікН1Н*2 - ікЕ1Е*2
Е*2і'оШ1 - Н1 гоґ Е*2 = -ікЕ1Е*2 + ікН1Н*2 (6)
йіу[а,Ь] = Ьгоґа - агоґЬ , получаем следующее выражение
йіу[Е1 ,Н*2 ] - йіу[Н1 ,Е*2 ] = 0 (7)
или
йіу ([Е1,Н*2 ] + [Е*2,Н1 ]) = 0.
Далее, используя теорему Остроградского-Гаусса и учитывая условия излучения (с целью зану-ления интеграла по боковой поверхности), получаем
Ц ([Еі (x, у, ^), Н*2 (x, у, 2)] +
+ [Е*2 ^, у, І1), Ні (^ у, І1)]) йxйy =
= Я ([Еі (x, У, ^2), Н*2 (^ у, Г2)] +
+[Е*2 (x, у, і2), Н1 (x, у, 22)]) йxйy.
Запишем выражение (8) в следующем виде Ц Ат ((x, у, ))ОВ* (x, у, )йxйy =
= Я АТ ((^ У, і2 ))^В* (x, у, 2 2 )йxйy,
(8)
(9)
где
о =
' 0 0 0 1 ^
0 0 -1 0
0 -1 0 0
V 1 0 0 0,
или
(10)
Я ( А( х, у, 72), В( х, у, 22)) ёхёу =
= Я (А( х, У, 2), В( х, у, 2!)) ёхёу,
где < А, В >= (Ат) ОВ - псевдоскалярное произведение в пространстве четырехкомпонентных матриц-столбцов. Формула означает, что оператор распространения сохраняет скалярное произведение
< А о В >= 8-Л < А, В > йxйy .
(11)
т. е. является в пространстве с данным скалярным произведением унитарным оператором. Это свойство сохранения скалярного произведения можно использовать для решения обратных задач дифракции. Это в значительной мере упрощает вычисление градиента функционала невязки по аналогии с тем, как это делается в случае скалярного приближения [2]. Кроме того, наличие сохраняющейся величины можно использовать для контроля правильности решения прямой задачи дифракции.
Обратная задача фокусировки состоит в расчете параметров области модуляции по заданному распределению интенсивности или объемной плотности в области регистратора. Расчет параметров области модуляции сводится к расчету функции микрорельефа или к расчету распределения показателя преломления. Точное решение обратной задачи во многих случаях не существует, поэтому практически во всех случаях будем искать приближенное решение. Данную задачу можно решать в различных приближениях. Анализ приближений в случае решения обратной задачи дифракции совпадает с решением прямой задачи дифракции.
В данной работе при рассмотрении обратных задач дифракции на оптическом элементе будут использоваться следующие приближения
1. В области 1 распространение излучения будет описываться с помощью интеграла Кирхгофа-Котлера. В некоторых задачах вместо падающей
волны задается распределение источников электромагнитного поля.
2. В области подложки и области модуляции (область 2 и 3) будет использовано приближение, основанное на асимптотических методах, рассмотренных в работе [3].
3. В области 4 будет использоваться расчет поля, основанный на вычислении интеграла Кирхго-фа-Котлера.
В рамках асимптотической теории расчет параметров области модуляции разбивается на два этапа.
1. Расчет функции Ф( х, у);
2. Расчет профиля оптического элемента внутри зоны.
Приведенная формулировка обратных задач представляет собой наиболее общую постановку обратных задач фокусировки электромагнитного излучения, поэтому ниже рассмотрим частный случай постановки, когда геометрические лучи, выходящие с поверхности оптического элемента, сходятся на некоторой кривой, расположенной в плоскости регистратора х3=/. Параметрические уравнения кривой имеют вид:
х1 = х = X (|)
х2 = у = У (I)
(13)
где 4 натуральный параметр. Согласно геометрической теории фокусаторов [2] все лучи, приходящие в данную точку на фокальной кривой, лежат на круговом конусе. Ось конуса совпадает с касательной к фокальной кривой. Угол раствора конуса меняется от точки к точке.
Уравнение конуса световых лучей имеет вид
((^ - X(|))X'(I) + (^ - ¥(|))¥'(|)) = = с2(|) ((^ - X(|))2 +
+(^ - ¥(|))2 + (^ - /)2),
(14)
где с(4) - косинус угла раствора конической поверхности.
Для решения прямой и обратной задачи фокусировки в произвольную фокальную кривую удобно ввести криволинейную систему координат, связанную с лучами. Для дальнейшей работы необходимо ввести систему криволинейных координат в плоскости, непосредственно прилегающей к области модуляции. Связь между криволинейными координатами в области ДОЭ (4, п) с декартовыми (и, V) имеет вид
и = X (I) + /2 +п2 X '(І)-п¥ '(I) (15)
V = ¥ (|) + а(!)4 /2 +п2 ¥ '(І) + ^ '(I), (16)
где
а(|) =
с(|)
лЯ-с2(|) '
(17)
Координатные линии данной системы координат образованы пересечением кругового конуса и
плоскости (в случае, когда плоскость регистратора и дифракционного оптического элемента параллельны, это будут гиперболы). Система координат не является ортогональной. Связь криволинейных координат 4і, Пі с декартовыми x, у в области фокальной кривой
x = X (І) ± а(|) X' (|)П1 -п¥' (I) (18)
у = ¥ (|) ± а(І)¥' (|)п + пX' (І). (19)
Отметим, что последние соотношения описывают связь координат не на всей плоскости, а только в окрестности фокальной кривой. Для того, чтобы ввести криволинейные координаты на всей плоскости регистратора необходимо ввести понятие линейного продолжения фокальной кривой. Линейное продолжение описывается формулами
x = X (I) + X ' (О(І-О) (20)
где
у = ¥ (I) + ¥' (ОЙ-0),
I = ^, если I є [0,1]
I = 0 , если I < 0 I =I ,если I >I
(21)
(22)
(23)
(24)
Теперь, используя понятие линейного продолжения, мы сможем ввести локальные координаты не только в окрестности фокальной кривой, но и в окрестности граничных точек.
Для характеристики распределения электромагнитной энергии вдоль фокальной кривой введем несколько билинейных по векторам электрического и магнитного поля величин
/1(|) =< ж (X(I), У (I)) о Ж(X(I), У (I)) > характеризует распределение интенсивности на геометрической кривой,
12(0 =}< м (Л!, п), п))<
-5
м((п), x2(|, п)) > йп
(25)
представляет собой линейную плотность распределения энергии вдоль фокальной кривой,
!з(0 =1 Р(п) < м(x1(!, п), x2(|, п)) с
-5
м((п), x2(!, п)) > йп
(26)
характеризует измеряемое воздействие, например, тепловое.
Задача состоит в отыскании параметров области модуляции по одной из известных функций
/1(0,12(0,1з(0 .
Термин измеряемое воздействие требует разъяснения. Если электромагнитное излучение падает на поверхность материального объекта, то данная поверхность за счет поглощения электромагнитной энергии будет нагреваться (именно этот эффект используется в технических приложениях). Однако
повышение температуры в данной точке будет зависеть не только от плотности потока электромагнитной энергии в данной точке, но и от значения в соседних точках. Кроме того, любой измерительный прибор устроен таким образом, что измеряет не величину интенсивности в точке, а среднее значение интенсивности в некоторой окрестности. Наиболее простая связь наблюдаемой величины с интенсивностью светового поля - линейный интегральный оператор. Вид функции Е(Р) зависит от физического процесса, на котором основано действие данного измерительного прибора. Постановка и решение поставленных задач существенно отличаются от методов решения задач фокусировки с помощью итерационных алгоритмов, а также методов, основанных на минимизации соответствующего функционала в банаховом пространстве, так как в этом случае необходимо вместо интегральной характеристики распределения электромагнитной энергии вдоль кривой задавать распределение энергии в ее окрестности. Следует отметить, что во многих технических задачах, связанных с фокусировкой лазерного излучения, профиль распределения интенсивности поперек фокальной кривой не является существенным входным параметром задачи.
В геометрическом приближении задача расчета фокусаторов лазерного излучения сводится к отысканию функции эйконала. Функция эйконала находится из уравнения наклонов [2]
дФ =_____________X(Км, V)) - и____________
ди у1(Х(Км, V)) - и)2 +(У (Км, V)) - V)2 + /2
(27)
дФ
¥(Ки, V)) - V
^ (Ки, V)) - и)2 +(¥(Ки, V)) - V)2 + /2
(28)
и,У - декартовые координаты в плоскости, непосредственно прилегающей к плоскости оптического элемента;
Ки, V) - определяет соответствие между точками на фокусаторе и точками на фокальной кривой.
В криволинейной системе координат уравнение наклонов представляется в виде
дФ
а; :
,, ° + а' Ш /2 +п2) (30)
+ а2 (I)' '
дФ 4\ + а 2Й) (31)
-д~- I 2 2 П. (31)
дп 4/ +П2
Функцию эйконала можно восстановить по известной формуле из теории потенциала
Ф£, п) = }
г( ґ)
уі1 + а2 (ґ)
йґ+ ^1 + а2 (^/2 +п2 . (32)
Отметим, что вид функции эйконала зависит от функции а(0, которая определяет зависимость угла раствора конуса от натурального параметра вдоль
фокальной кривой. Данная функция определяет линейную плотность энергии вдоль фокальной кривой.
2. Асимптотический расчет светового поля вблизи фокальной кривой
Рассмотрим монохроматическую электромагнитную волну, падающую на дифракционный оптический элемент, который описывается функцией эйконала Ф(м^).
В рамках электромагнитной асимптотической теории [1], поле в плоскости, непосредственно прилегающей к области модуляции на дифракционном оптическом элементе, имеет вид
ж(х,у, 2) = ^ Жп(х,у, 2)ехр(этФ(х,у)) (33)
п=-да
В матричном виде интеграл Кирхгофа-Котлера имеет вид [1]
1к г ехр (кг)
Ж (х) = — т (х, х')Ж (х'№
4п •
(34)
В данном пункте рассмотрим поле вблизи каустической кривой. Для записи будем использовать введенные ранее криволинейные координаты. В данном параграфе будут использованы компоненты векторов, записанные в декартовых координатах. Подставляем (34) в (33) и получаем представление поля в виде суммы интегралов, каждый из которых можно вычислить с помощью метода стационарной фазы. Использование асимптотических методов позволяет избежать громоздких вычислений.
Ж (х, у, /) =
= £■
ехр (к уп , пп,й Il, П1)) (I й, V')
^п^(Уп УП,пп-(^п,т)2) (35)
5 R(|n’s', пп’*', I
Т (хЙ1, П1), у (|„ пД и (Г"', '), , п"'"))
Жп (и(|п’й, пп’Й), v(|n•f', пп’Й)).
Стационарная точка находится из решения системы нелинейных алгебраических уравнений
дУ п (Г*', п”"', Il, П1) д|
дУ п (ГД, пп"', Il, П1) дп
= 0
= 0.
(36)
(37)
где
Уп(|п|1,П1) = nФ(|,п) + R(|,п^П1), (38)
R = ^|{x(0Л, П1) - и (I, п) +(, П1) - V (I, п) + /2 . (39)
Предположим, что каустическая кривая формируется в основном за счет члена в разложении (34) с номером п=1. Это означает, что для точек, лежащих непосредственно на фокальной кривой (т.е. П1=0), система уравнений, определяющих стационарную точку, имеет неединственное решение. Более того, множество стационарных точек образует линию, совпадающую со слоем на фокусаторе. От-
метим, что в этом случае
(у^Упп-Оп*,)2 )=°>
и метод стационарной фазы становится неприменимым. В этом случае для расчета электромагнитного поля вблизи фокальной кривой будем использовать асимптотические методы вычисления интегралов, аналогичные методам, рассмотренным в работе [4].
Для вычисления интеграла Кирхгофа-Котлера разложим функцию Уп, ^ п1) в ряд по степеням (|-|0 с точностью до квадратичных членов.
У1 (I, п, Il, п1) = Уl(Il, п, Il, п1)+
+У1 (Il, п, Il, пОЙ-^) + (40)
+УГ(І1, п, |„ п1)^^2°1^-+5,
где к 5 << п .
Разложение это справедливо, так как световое поле в окрестности фокальной кривой в точке с параметром ^1 формируется световым потоком, проходящим в окрестности соответствующего слоя. Размер окрестности определяется из условия
X
X < —. 2
чУ''(І1, п, І1, пО,
Для использования этого разложения достаточно, чтобы условие к5 << п выполнялось только в этой окрестности.
УЙ1, п, IX, п1) =
ддl^2+^^дv ЬШ (и - *))+й (V - у)'1-Г^д?'12
R
(41)
д2Ф
У1(І1, п, І1, п1) =
ди
Д
(и - х )]+(1|(- у ))+R
дФ
д|
(42)
R
у l(Il, п, І1, п1) =
|■1
=-[■
а(р)й I
о д/а2(|) +1
+п, |1, п1).
-/^ 4а 2(|1)+1+
(43)
В случае, когда точка наблюдения лежит непосредственно на фокальной кривой, выражения для производных приобретают простой вид
у 1 (|1, п, |1,0) = -[
0
УГ(|„ п, |„0) =
а(^ |
М|) +1 1
(44)
(Vа2(|1)+1) V/2+п2
а'(|1) пС (|1)
(45)
(V а2 (|1) +1 )3 7а^^л//7^
г
+
где С(|)- кривизна фокальной кривой в данной точке.
В окрестности фокальной кривой функцию У (|1, п, |1, п1) с точностью до линейных членов по переменной п1 можно представить в виде следующего разложения
У1 (I, п, |„ п1) = У1(|1, п, |„0) +
+ д^1 ^1, п, І1, 0) п1 +
дп1
+УКІ1, п, І1, 0)
(46)
(І-І1)2
2
где
ду1(І1, п, І1,0) + а(І1)
дЛ1
л/1 + а 2(І1)
(47)
V1+а 2(І1^/ 2+п2
Интеграл по переменной | легко вычисляется
с помощью метода стационарной фазы [3].
Далее вычисляя интеграл по переменной п , получаем выражение для поля на фокальной кривой. В результате удалось свести вычисление двойного интеграла от быстроосциллирующей функции к вычислению однократного интеграла от гладкой функции. Полученные выражения удобно использовать для инженерных расчетов.
Пример: фокусировка излучения в тонкое кольцо В качестве примера рассмотрим вычисление поля от фокусатора в тонкое кольцо в окрестности каустики. В этом случае фокальная кривая описывается параметрическими уравнениями
у = Я БІЙ
Я
(48)
(49)
В данном случае а(І) = 0, и гиперболические слои вырождаются в прямые лучи, выходящие из начала координат.
Система криволинейных координат области фокусатора имеет вид
и = (Я - п) С0Б
Я
V = (Я-п)БІп| Я
(50)
(51)
(52)
якобиан преобразования
И -I
3 (п) = ^г •
Рассмотрим в разложении член с п = 1. Остальные интегралы можно вычислить с помощью метода стационарной фазы.
Разложение функции У в окрестности слоя и фокальной кривой имеет вид
+Т1СІ1, п,І1,0)
дп1
(І-І1)2
2,
у; (І1, п, І1, 0) =
= 1 п
/+п
Я0л// 2 +"Л2
дУ1(І1, п, І1, 0)
дп1
(53)
(54)
(55)
Подставляя полученные выражения в интеграл Кирхгофа-Котлера и интегрируя по переменной |, получаем следующее выражение для п = 1
^(К, п1, /) =
=1
Т(X(|1, п1 XУ(І1,п1), и(І1, п), V(|1,п)),
Я(І1, п, І10) м (и (І1, п), V (І1, п)) х
_ (
(56)
V
2п(Я-п))/ 2 +п2
кЯ0
ехр
-ікпп1
й п
Анализируя полученное выражение, отметим, что в распределение электромагнитного поля в фокальной плоскости не является радиально - симметричным и линейно поляризованным, несмотря на наличие этих типов симметрий в падающем пучке.
В параксиальном приближении +п2 * /. В этом случае исчезает влияние поляризации освещающего пучка на распределение поля в фокальной плоскости вблизи фокальной кривой. Электромагнитное поле становится линейно поляризованным (при наличии линейной поляризации падающего пучка) и радиально симметричным.
В параксиальном приближении Тп (Р) = 5п,1, Ех = Иу , Еу = Их = 0 (если падающая волна линейно поляризована вдоль оси х), и составляющая вектора Умова-Пойтинга вдоль оси распространения излучения имеет вид
9R
I (п1) = I (0)
Р (I) =
(
БІп д
соб д
д
4(Я -п1)
с (|д|К
Р (д),
(57)
■5 (№
2д
1/2
(58)
д =
д д
кЯ/ п1
- ~~Г ’
21 д|
I (0) =
9п/Я
(59)
Л
п
Rf - радиус фокусатора, £(|), С(|) - интегралы Френеля.
При малых п1 из предыдущей формулы получаем где
I (п1) = I (0) | 1 - Ц д2 + 0(д4)
При больших п1 9Я
(60)
I(П1) = I (0)
4(Я-щ)д2
( У/2Г
А (61)
1 -
21 д|.
8ш| д| + С0§ |д| + ^ + 0(\ д\^2)
Выражение для поля вблизи фокального кольца совпадает с выражением, полученным ранее в работе [5], что подтверждает справедливость предложенного метода расчета поля в окрестности фокальной кривой.
Пример: фокусировка излучения в отрезок.
В случае фокусировки излучения в отрезок, расположенный перпендикулярно оси 2, параметрические уравнения имеют вид -- в x = —+ ^
У = 0,
(62)
криволинейные координаты в плоскости фокусатора имеют следующий вид
--
и=—^+|+а(І)4/ 2 +п2
(63)
v = п, (64)
криволинейные координаты в области фокусировки
(65)
у =п1 , (66)
якобиан преобразования
1 + а'(І)4/ 2 +п2
X = -- + |1 ± а(|1)п1:
(67)
Разложение функции У в окрестности слоя и фокальной кривой имеет вид
У1(|, п, |1, п1) = У1(|1, п, |1,0) +
+ дУ1(І1, п, І1, 0) п +
“Т - 'І1
дп1
+Ч'Г(І1, п, І1,0)
(68)
(І-І1)2
2
^1(І1, п, І1, 0) = -Н
0
а(|)й |
а2(|)+1
(69)
(\1а2(|1)+1) V/2 +п2
+ а’ (І1)
(V а 2(І1) +1 )3 ду1 (І1, п, І1,0) = +а (І1)
дп1 ^1 +а2 (І1) ^1 +а2 (І1У/2 +п2
(71)
Подставляя полученные выражения в интеграл Кирхгофа-Котлера и интегрируя по переменной |,
получаем следующее выражение при п = 1
»!(|1, п1, /) =
Г /
= ехр
ік
V V
у(, п, !1,0)--^a(Sl|п!_ т/1 + »2(І1>
//
, г Т(X(|1, пl), У(|1, пl), и (|и п), V(|1, п»,
4 I
-і Я(І1, п, І10)
м (и (І1, п), v(!l, п)) X
(72)
1
2пл//2 +п2 (Vа2 (|1) +1)
ехр
к
-ікпп1
^41 + а2 (|1) ^+а'(|1^ у2 +п"
й п
Легко проверить, что в параксиальном приближении выражение для поля совпадает с известным выражением для интенсивности поля, представленным в работе [4].
Из приведенных примеров видно, что в обоих случаях двойной интеграл от быстроосциллирую-щей функции сводится к однократному интегралу.
3. Дифракционная коррекция фазовой функции фокусаторов в фокальную кривую Расчет фокусаторов, приведенный в работах [2, 6] производился в приближении геометрической оптики. В этом приближении кривая представляет собой полосу, имеющую нулевую ширину. Распределение энергии в этом случае характеризуется линейной плотностью. Понятие линейной плотности является математической абстракцией и не учитывает дифракционные эффекты. В данном разделе предлагается метод расчета фокусатора в произвольную фокальную кривую, основанный на понятии интенсивности вдоль геометрической кривой. Расчет проводится на основе дифракционной аппроксимации оператора распространения для четырехмерного бивектора. При этом предполагается, что поле в плоскости, непосредственно прилегающей к ДОЭ, рассчитывается в асимптотическом
X
приближении. Будем также предполагать, что поле вблизи фокальной кривой формируется в основном за счет члена с п = 1 в асимптотическом разложении. Остальные члены в указанном разложении описывают дефокусированные изображения и не вносят значительного вклада в распределение интенсивности в окрестности каустической кривой, хотя и приводят к снижению контраста изображения и уменьшению дифракционной эффективности.
Пусть лазерное излучение
Ж (х, у) = ГЖ0+е + /Х+* .
(73)
падает на фокусатор [1]. Согласно методу, изложенному в предыдущем пункте, поле в фокальной плоскости вблизи фокальной кривой представляется в следующем виде
тъ /) = у-х 4п
<ехр
( (т(5;.п,5,0)-*Щ^ '
V*+»2(§1>
т(х(§*, пЛ у(§^ п*Х и (§^ пХ К§^ П))
1к
V V
х| ,-------------------------
-да ^(£,2(§1) +1)(/2 + "Л2)
хи*(м (§р п), у(§!, п)) х
2п
к У"(, п, §1,0 )
ехр
-/кпп!
^ (§р п) П,
ч7п2 + /^1+°2 (§1)
J (§р п) = 1 +
+а'(§1 )л//2 +п2 - пС(§1) (1 + а2 (п))
^(§1, п, §1,0) = -| ЧТС1, п, §1,0) =
л/« 2(§) +1! 1
(Vа2(§1)+1) VУ2 +"л2
а '(§1) пС (§1)
(^/ а2(§1) +1) л/а2 (§1) +17У 2 +п2
т (х(§1, п1), У(§1, п1),и(§1, п), ^(§1, п),) =
-г0 г 0 -г0 уг0 х г20х - 1
0 -г0 г у О 2г - г0 хг0 у
г0 уг0 х 1 - г 20х -г0 г 0
г20у - 1 -г0хг0 у 0 -г0г
г0 у =
-а(§1^ /2 +п2 X '(§1) + пГ '(§1)
Vа2 (§1)+;л/у 2 +п2
-а(§1^ /2 +п2 У Ч§1> -пХ '(§1) •у/а 2(§1) + ^ у2 +п2
(74)
(75)
(76)
(77)
(78)
(79)
(80)
/
•\/а 2(§1)+;л//2 +п2 И1(м (§1, п), v(§l, п)) = = (т1е(и,V) (оБ9Iе - БШ91*)х х((+е (а1,0)) + +т11' (и,v)(sin91е - СОБ91*) ((+е (а;, 0))),
( д,Фл
,ЗФ,
V и У
(82)
(83)
а1 = соб9 диФ(и,V) + sin9 д„Ф(и,V),
д^д§Ф-д^дпФ
д„Ф = -
д Ф = -
J (§, п)
д»идпФ-дпи д»Ф
(84)
J (§, п)
Анализ полученных результатов показывает, что плотность потока электромагнитной энергии в окрестности фокальной кривой явно зависит от переменных §1, п1, а(§1), а'(§1), т.е. имеет вид
I = I(§1, п1, а(§1), а'(§1)).
(85)
Выражение (85) можно использовать для решения обратной задачи, рассматривая его как дифференциальное уравнение относительно функции а(§1). Вопрос о существовании решения задачи фокусировки сводится к двум задачам:
1. задача существования решения дифференциального уравнения;
2. возможность восстановления функции эйконала по функции а(§1).
По первому вопросу можно с определенностью сказать, что не существует в общем случае теоремы существования для нелинейных дифференциальных уравнений, не разрешенных относительно старшей производной, поэтому мы ограничимся параксиальным приближением. Предположим, что падающая волна линейно поляризована и вектор поляризации направлен вдоль оси х . В этом случае бивектор электромагнитного поля определяется только одной компонентой Ег
Ех =
ехр
к
2п/
( ( §
1к
а(§)й? §
К§1 )п1
л/а2(§) +1 ^ + а2 (§1)
УУ
-1к пп1
<(а 2 (§1)+1)х
да
<{ 1е (ип),v(§l,п))ехР г 2/ ч
-да V /А+ а (§1)
( + а'(§1 (/-пС(а2 (§1) +1)) ^п.
+
г0 х =
Вектор Умова-Пойтинга в этом случае пропорционален |Ех |2.
В параксиальном приближении а2<<1, и предыдущая формула приобретает вид
_ ( ( §1 лл
Ех = . I--------ехр
2п/ Р
ік
V V 0
х|іе ((4і, п), у(^1, п) )ехр ^“/^х (87)
х(і + а'(4і)/-ПС)1/2 ап.
Для определения функции а(4)получаем интег-ро-дифференциальное уравнение
Іі(4і) =
= А
| Iе ^йі, пХ п))(^^ а (§і)-пС )1/2 ап
(88)
или
I2&) = Ах
х! | Г (С4і,п),п))ехРІ" ікппі
-8 -да V л
(89)
'(1 + а(§1 )./-пС)1/2 ап
а пп
где А - нормировочная константа
В качестве примера рассмотрим фокусатор в произвольную фокальную кривую, имеющий круглую апертуру с радиусом, и освещаемый равномерным пучком.
В данном случае удобно ввести новую систему криволинейных координат. Связь между декартовыми и криволинейными координатами имеет вид
и = а (4) X '(4) -ц7 '(4), (90)
V = а (4)7 '(4)+цх '(4).
(91)
связь между новой и старой системой координат имеет вид
(X' (4) X (4)+7 '(4)7 (4)) (4) - X (4) ц = п + ------------------------------------, (92)
м- і 7,(4)
а (4) = х '(4) х (4)+7 '(4)7 (4)+а(4) /. (93)
В этом случае, вычисляя интегралы, входящие в (85), получаем
Іі(4і) = А х
(а'(4і)+4я2 - а2(4і) с(4і))3'2- (94)
зс (4і)
(а’(4і) -4я2 - а2(4і) с(4і))
Выражение представляет собой асимптотику для поля на геометрической кривой. Простой вид позволяет использовать его в инженерных расчетах для оценки качества работы фокусаторов и для тестирования численных алгоритмов расчета электро-
магнитных полей. Полученное выражение можно представить в виде ряда
ск
Іі(4і) = 9П /
<Х ВЪ
(я2 - а2(4і))с(4і) а (4і)
(95)
Удерживая в разложении первый член, полу-
чим
іі(4і) =
ск
9п2 /
(а'(4і))в2і (я2 - а2 (4і)),
(96)
дифференциальное уравнение для определения функции а (41) (93)
іі(4і) = а (а’(4і))в2і (я2 - а2 (і))
с граничными условиями
а (0) = -я, а (і) = я.
(97)
(98)
Уравнение разрешено относительно старшей производной, и теорема существования и единственности доказана.
Теперь для того, чтобы доказать существование решения задачи фокусировки, необходимо проверить условия корректности введения криволинейной системы координат в плоскости фокусатора. Для того чтобы ввести криволинейную систему координат, достаточно, чтобы в пределах фокусатора якобиан преобразования был отличен от нуля
й' (§) + пС(§) =0 при п2 + й2 > Я2
или
с (4) <
а (4)
4я2 - а2 (4)'
(99)
Следует отметить, что это условие аналогично условию отсутствия пересечения слоев в области фо-кусатора. Подставляя выражение для производной, получаем условие разрешимости задачи фокусировки
I (§1)
с (4) <
а (я2 - а2(4і))3
(і00)
Следует отметить, что условие (100) есть аналог теоремы существования, изложенной в работах других авторов [7]. В заключении распространим изложенный метод на случай, когда вместо интенсивности на геометрической фокальной кривой задана нелокальная характеристика. Пренебрегая в формуле (89) членами, содержащими произведение Сц, получаем простое выражение для вычисления интенсивности электромагнитного поля вблизи фокальной кривой
Іаці(4l,п)1/2ехР І гкппі Ііе (4,п)
/
(і0і)
2
2
3/2
2
Рассмотрим случай, когда входной пучок имеет гауссово распределение
( / л2/еч , „2\ Л
Iе (I, п) = exp
-(d (I) + п2)
(І02)
Учитывая, что мы имеем дело с фокальными кривыми с небольшой кривизной, разложим 3 (§1, п)12 в ряд Тейлора по степеням пС с?*)/й '(§1)
((§,,пГ-('а))Е4,(^Л, (103)
подставляя это разложение в (101) и учитывая свойства преобразования Фурье, получим
I п,) =
ck
І6п2 f
і if# I' да- (-^ й
или
d п exp
I п,) =
-/^пп, і (-п2
f ) exp I a2
ck
16n2 f
sd(K)
2
exp
d 2(^i)
D ~
(І04)
d'(^i)k У дпі
<X 4» exp п
2
a2 D2
где D =
2/
ka2
При учете двух первых членов выражение приобретает вид
IЙ1, п.) = x
1 16n2 f
2d '(I.) x exp |------I exp
( 1 a2 D2
D x
(І05)
i - A
d '(I1)k У a2D
Для характеристики распределения электромагнитной энергии вдоль кривой введем нелокальную характеристику
є) = II^nl)dп, .
(І06)
Полагая 9(|1,s)=const, получаем дифференциальное уравнение, разрешенное относительно производной.
Полученные формулы можно использовать для инженерных расчетов при оценке качества фокусировки. При c(K)=0 кривая вырождается в отрезок, и выражение переходит в формулу, приведенную в работе [8].
Заключение
В рамках электромагнитной теории впервые получены асимптотические выражения для интенсивности светового поля вблизи фокальной кривой. Приведены примеры для фокусировки в кольцо и отрезок. На основании полученных выражений предложен метод коррекции геометрооптических фазовых функций фокусаторов.
Литература
1. Харитонов С.И. Серафимович П.Г. Асимптотические методы расчета поля, формируемого ДОЭ в рамках электромагнитной теории // Компьютерная оптика, 1999, т. 19, с. 33-39.
2. Методы компьютерной оптики // Под ред. В.А. Сойфера. М., Физматлит, 2000 г., 688с.
3. Федорюк М.В. Асимптотика: интегралы и ряды. // М., Наука. 1987 г.
4. Голуб М. А., Досколович Л.Л., Казанский Н.Л., Сисакян И.Н., Сойфер В.А., Харитонов С.И. Дифракционный расчет интенсивности светового поля вблизи фокальной линии // Компьютерная оптика, Вып.10-11. 1992, С.122-127.
5. Голуб М.А., Казанский Н.Л., Сисакян И.Н., Сойфер В.А., Харитонов С.И. Дифракционный расчет оптического элемента, фокусирующего в кольцо // Автометрия, 1987, N 6, с.8-15.
6. Golub M.A., Sisakyan I.N., Soifer V.A. Infra-Red Radiation Focusators // Optics and Lasers in Engineering, 1991, vol.15, N 5, p.297-309.
7. Гончарский А.В., Попов В.В., Степанов В.В. Введение в компьютерную оптику.- М.: изд-во МГУ, 1991, 309 с.
8. Голуб М.А., Досколович Л.Л., Сисакян И.Н., Сойфер В.А., Харитонов С.И. Дифракционные поправки при фокусировке лазерного излучения в отрезок // Оптика и Спектроскопия, 1991, т.71, N 6, с.1069-1073.
x