УДК 535.42
ТЕОРЕТИЧЕСКИЙ АНАЛИЗ ДЕЙСТВИЯ ФРАКСИКОНА С БОЛЬШОЙ ГЛУБИНОЙ ФОКУСА В РАМКАХ ВОЛНОВОЙ МОДЕЛИ
© 2014 А.В. Устинов
Институт систем обработки изображений РАН, г.Самара
Поступила в редакцию 04.10.2014
В ряде предшествующих работ проводилось исследование действия фраксикона в рамках различных моделей. Данная статья завершает этот цикл и посвящена рассмотрению фраксикона с показателем, большим двух. Показано, что такой оптический элемент не имеет теневой области, что позволяет получить очень большую глубину фокуса.
Ключевые слова: фраксикон; метод стационарной фазы; глубина фокуса.
ВВЕДЕНИЕ
Первоначально [1] под аксиконом понимался любой оптический элемент с осесимметричной формой, который преобразует свет от точечного источника, расположенного на оптической оси, в отрезок на этой же оси. Позднее аксиконом (классическим) стал называться элемент, имеющий линейную зависимость фазовой функции от радиуса - конический аксикон [2]. Кроме него имеется много других осесимметричных оптических элементов, отличающихся свойствами формируемого светового отрезка.
Одним из таких оптических элементов, точнее, классом элементов, является фраксикон [3]. Понятие фраксикона появилось при анализе тандема из двух оптических элементов линзы и ак-сикона - линзакона [4, 5] - как дифракционного элемента, выполняющего аналогичное действие. В данном случае имеется в виду формирование вдоль оптической оси конического распределения интенсивности - сужающегося или расширяющегося при удалении от оптического элемента [6].
Фазовая функция фраксикона пропорциональна степенной функции от радиуса, причём показатель степени g может быть любым положительным числом, в том числе и дробным, чем и объясняется название элемента. Линейный акси-кон и параболическая линза являются частными случаями. Мы употребили слово "класс", так как действие фраксикона существенно зависит от диапазона, в котором лежит величина показателя.
Действие фраксикона ранее рассматривалось в ряде работ. В [7] проведён геометро-оптический анализ фраксикона; в [8] анализировалось действие фраксикона в волновой параксиальной модели; в [9-12] были рассмотрены фраксиконы с показателями Y < 2 в волновой непараксиальной модели.
Устинов Андрей Владимирович, ведущий программист лаборатории лазерных измерений. E-mail: [email protected]
Таким образом, для логического завершения описания действия фраксикона осталось лишь рассмотреть в волновой непараксиальной модели случай показателя у >2, что и будет сделано в настоящей статье. Геометро-оптический анализ показывает, что такой элемент имеет сколь угодно большую глубину фокуса (с тенью до начала фокального отрезка). Такая глубина обеспечивается параксиальной областью оптического элемента, в то время как начальный, самый яркий участок фокального отрезка формируется его непараксиальной областью.
Нужно отметить, что фазовые оптические элементы с высокими показателями степени используются для кодирования волнового фронта с целью увеличения глубины поля изображающей системы [13-16], а также для уменьшения влияния хроматических аберраций [17, 18].
1. ОБЩИЕ СООТНОШЕНИЯ ДЛЯ КОМПЛЕКСНОЙ АМПЛИТУДЫ НА ОПТИЧЕСКОЙ ОСИ
В непараксиальном скалярном варианте амплитуда поля на оси при падении произвольного радиально-симметричного пучка вычисляется по формуле
U(0,0, z) = -z\ E0(r)
exp h
¡Яг2 + z21 (
ik -
1
sir2 + z2
rdr .(1)
Функция пропускания фраксикона определяется формулой ещ>(-1агг), в которой к = 2п/2; а = (ка0)г, а0 - безразмерный коэффициент, определяющий степень фокусировки. При падении на фраксикон плоской волны единичной амплитуды распределение на оси в приближении тонкого оптического элемента вычисляется по формуле (1) с Е0(г) = ехр(Чагг). Для вычисления интегралов такого вида часто применяется метод стационарной фазы. Однако при
этом появляется (вполне объяснимое) неправильное поведение приближённого решения вблизи плоскости элемента: нарушение равенства Иш(г ^ 0)и(0,0, г) = Е0(0). Такого неприятного эффекта можно избежать, если произвести в (1) интегрирование по частям, что в результате даёт [9]:
и(0,0, г) = Е0(0)ехр (¡кг) - £0(Я)ехр(гкл/Я2 + г2 )^-=г+
(¡ь/7+7) (2)
r exp E0(r)
о
vr
-dr.
Здесь предельное равенство выполняется независимо от погрешности вычисления интеграла. При E0(r) = const получаем известное точное решение [19]. Для случая E0(r) = exp(-iarr) получим [12]:
U(0,0,z) = exp(kz)-exp\-i(kaR)r + ikslR2 + z2 J-R
+z
-i/(kao)rzj-
exp |^-i(ka0r)r + ik4r
(3)
(ro )max 7 '
1
^max k (a )1/(Y-1).
(5)
Если (r0)max >R , то вблизи оптического эле-
Я (кЯ)21 мента вплоть до г = Я ■———--1 будет тень от
V
наличия входного зрачка.
Формула (3) верна при любом значении у, но при вычислении по методу стационарной фазы начинает проявляться различие свойств подынтегральной функции в разных диапазонах значений у. Элемент с показателем, не большим двух уже рассматривался ранее [9-12]. При вычислениях использовались свойства неявной функции зависимости стационарной точки от расстояния. Само уравнение одно и то же для любого у, но свойства функции в разных диапазонах различны. Функция г(г0) имеет вид:
2 Л 4-2у 2
г = -5-57 г0 г0 . (4)
Г а/ ^
Так как 4 -2у < 0, вид графика существенно отличается от диапазонов 0 < у < 1 и 1 < у < 2 (рис. 1). При заданном г всегда есть одна стационарная точка г0, поэтому естественной тени нет, что содержит противоречие с геометро-оптической теорией, где естественная тень появляется на границе полного отражения [7]. Отметим, что в диапазоне 1 < у < 2 такое противоречие отсутствует. Величина стационарной точки не превосходит величины (г0)тах, соответствующей г = 0:
Рис. 1. Функция зависимости стационарной точки г0 и расстояния ъ
2. ЧАСТНЫЕ ПРИМЕРЫ И ПРИБЛИЖЕНИЯ ДЛЯ СЛУЧАЯ БОЛЬШИХ И МАЛЫХ РАССТОЯНИЙ ОТ ОПТИЧЕСКОГО ЭЛЕМЕНТА
Для более точного представления о поведении амплитуды желательно иметь (хотя бы приближённое) явное решение уравнения (4). В области у > 2 оно разрешимо алгебраически при двух значениях: у= 2,5 и у= 3.
При у =2,5 имеем уравнение г03 + г2г0 =—^.
6,25а0к
Оно проще, чем аналогичное уравнение при у =0,5, так как уже имеет каноническую форму кубического уравнения, но решение всё равно громоздко. Поэтому для уяснения свойств решения ограничимся значением у =3, при котором будет более простое уравнение.
При у =3 имеем уравнение
(6)
0 0 9a06k4
имеющее решение
2г02 =7г4 + 4/(9а06к4) - г2. (7)
В выражения других величин, используемых в методе стационарной фазы:
A(ro) =
r
kz2
(8)
f'(r>) = 6(ka)3ro-- 2
(o2 + z2 )
по причине громоздкости значение стационарной точки подставлять в общем случае не будем (подставим только в приближениях, позволяющих упростить формулы).
Подставив в (3) у =3, по методу стационарной фазы получим:
2
r
0
и(0,0, г) = игр - 3/(ка0)3 г •
• А(Го)ехр[-//(Го)]]2/|/"(Го) • Iехр(/<2)Л . (9)
л
Следует отдельно упомянуть о правомерности применения метода стационарной фазы, особенно классического, в данном диапазоне у > 2. Дело в том, что модуль подынтегральной функции в (3) возрастает с увеличением г . Но можно доказать, что ширина лепестков убывает быстрее, чем увеличивается их высота. При замене переменной гг = у факт сходимости интеграла в бесконечных пределах становится очевидным, поэтому все наши рассуждения корректны.
При определённых приближениях формулы (7), (8) можно упростить. Это возможно в двух случаях. Заметим, однако, что окрестность максимума амплитуды не попадает в области применимости этих случаев.
Случай I. Если г не слишком мало, по крайней мере, если 4 / (9а06к4г4) □ < 1 /2 , что эквивалентно кг > ^8/\/3а03/2 (при а0 = 0,01 г > 154,52, при а0 = 0,001 г > 48862 ), имеем следующие приближения:
г02 и 1/(9а06к4г2), А(Г>) и 1/(9а6к4г3), /"(/,) и к/г.
(10)
и(0,0,г) И игр -/ехр[-/(/,)]■
42
за3^)3-
ехр ((<2 ), (11)
где /1 и-
3л/2а03(кг)3
/ 2 иК — .
12 г
Случай II. Теперь, наоборот, пусть г достаточно мало, тогда более точно должно выполняться неравенство 9а06к4г4 /4 □ < 1/2 , что эквивалентно (кг) < -^2Д/3а03/2 (при а0 = 0,01 это даёт г < 109,32 ). В этом случае формулы (7), (8) также можно упростить:
г02 и 1/(3а03к2) - г2/2,
А(г0) и 1/(^а03/2к) - кг2 • (373/4)а03/2, (12)
/"(г0) и 2л/3а03/2к2 - к4г2 • (373/4)а09/2 • (1 + а/2).
Как видим, выражения всё же достаточно длинные. Но при более жёстких условиях их можно ещё упростить. Так как перед интегралом в (3) и (9) уже есть множитель г , заменим все величины в (12) значениями, получающимися при г = 0; это можно сделать при кг < 1/\/ба03/2 (при а0 = 0,01 г < 652, при а0 = 0,001 г < 20552 ). Подставив в (11), получим
<2
и (0,0, г) и и р -/ехр [-/(/3) ]а,/4(кг) • | ехр ( )Л, (13)
где /1 и-
413а
< 2',
К -
43а32к
•^3а03/4к явля-
ются постоянными числами. То есть величина добавки к ир пропорциональна (кг).
Последнее, применённое в (13), приближение верно и для произвольного у . При г = 0 уравнение (4) легко решается (см. (5)) при любом у; граница малости г , аналогичная кг < 1/\/ба03/2 приводится ниже.
Выпишем требуемые для вычисления величины в явном виде:
1
1
к (К)1'
.Г-2
АОг);
/' (г.) иГ(у- 1)(каГгГ2.
(14)
Тогда можно получить выражение, обобщающее (13):
и(0,0,г) и и р -/ехр[-//(г,)]
— )2|>-1) (кг) • [ ехр (2 , (15) </-14 <1 формулы для <1, <2 писать не будем, важно, что это постоянные числа.
Посмотрим теперь, можно ли обобщить приближение не очень малого г , применённое в (10), (11). Можно показать, что (10) можно получить, не имея точного решения, а выбросив в исходном уравнении (4) слагаемое г02. Если мы сделаем это при произвольном у, то получим обобщение (11). Ниже мы приведём границу большого г , аналогичную кг > -^8Д/3а03/2. В результате полу-
чим
г0г-2 и 1/(уаг0кг~1 г), А(Го) и <-1/г, /" (Го) и к (г- 2)/ г.
и(0,0, г) и ир - / ехр [-/(/,)] •
(16)
72
(г<)
1/(>-2)
2(г-2) Л
| ехр (и2 )
(кг)2
(17)
где <1 и -
Г-2
а
1/(Г-2)
(кг)
<2 и (Г~ 2) •
Всё слагаемое с интегралом убывает пропорционально 1/г(^-1)/(^-2) , с ростом у показатель степени г приближается к единице. Получаем, что по порядку убывания интегральное слагаемое приближается к краевому игр. Это вполне естественно, если учесть предельную форму оп-
Г
тического элемента, при которой сечения г = г0 и г = я становятся практически одинаковыми по своим свойствам.
Вид зависимости от кх в (15) и (17) показывает, что правый край максимума амплитуды должен быть достаточно пологий, а левый резкий, что согласуется с геометро-оптическим рассмотрением.
Попытаемся найти границы, когда х можно считать достаточно малым или достаточно большим при произвольном у.
Малые г . Неравенство кх < 4^/л/3а03'2 , при котором верны формулы (12), нельзя получить для других у, так как оно получено из явного алгебраического решения. А для неравенства кх < 1/\/ба03/2 , определяющего верность (13), можно найти аналог и, таким образом, сказать, когда верны (14), (15). Запишем (4) в следующем виде:
ч2у-2
rT2 + z2rY = (г0)Г . (18)
Значение стационарной точки из (14) получается, если подставить х = 0. Это не очень влияет на корень уравнения, если верно неравенство х2 < (Го)т*/2 или
1
кх < -
42(а )1Л>-1). (19)
Например, при у = 4, а0 = 0,01 будет х < 32,92 , а при у = 4,а0 = 0,001 будет х < 7092 .
Большие г . Приближение (16) получено удалением в исходном уравнении (4) слагаемого г02 , что означает удаление г02г-2 в (18). Корень уравнения мало изменяется, если верно неравенство
(Г.)
2у-2 \ 2у-4
^^ 1 < 1/ 8 или
Y-2
.>2(7-1)
kz > ■
1/(Y-1) .
(20)
kzmm = -
42
"max ГГ -5/о
V3a
(21)
при а0 = 0,01 имеем хшах и 105,62 , а при а0 = 0,001 имеем хшах и 33382 .
Для произвольного у можно аналогично приравнять (15) и (17). Получим
kz„„„ =
Y-2
(у- 1)з?-4
(уао )
1/( Y 1) ,
(22)
в частных примерах имеем при у = 4, а0 = 0,01 хшЖ = 61,22, а при 7 = 4, а = 0,001 х^ = 1319,62. Заметим, что во всех трёх примерах хшах совсем немного меньше значения, среднего между границами приближений для малого и большого х (средние равны соответственно 109,752; 34702; 632; 13572). Для у=3 позиция максимума также близка к "мягкой" границе малого х (когда верны равенства (12)) - 109,32.
Само значение максимума, очевидно, будет (по модулю) с избытком и без вне-интегральных слагаемых равно
г 1
и(0,0,хшах) = 42Пехр[-г/(г,)]^- (<^ . (23)
При у =3 получаем
и(0,0, хшах) = 42П ехр [-г/(г)] • 20 (3а0 ), а при у =4 будет
_ -1 1
и(0,0, хшах) = 42Пехр [-г/(г)] • 3~8 (4«04).
Для у =3 можно попытаться найти другое приближение. Используя равенства (9) и (12),
находим максимум дроби Г0|) . В самом пер-
\/ (г0)
вом приближении (с недостатком) получаем
= -
"max _ ГГ з/2
3v3a0
, при а0 = 0,01 имеем z и 61,32.
0 max
Например, при у = 4, а0 = 0,01 будет х > 93,12 , а при у = 4, а0 = 0,001 будет х > 20052 .
В (13) при интеграле имеется возрастающая величина (кх), а в (11) - убывающая величина (кх) ~3/2. Поэтому, если приравнять модули коэффициентов при интеграле (формально применить классический м.с.ф.), то получим некоторое, возможно, грубое приближение для положения максимума амплитуды хшах. В итоге получим
Это даже меньше границы приближения (15) -652 . Значение максимума при этом равно
__^ 99
и(0,0,хшах) = л/2Лехр[/0)]223~а3/4 , что почти в три раза меньше значения с избытком.
3. РЕЗУЛЬТАТЫ ЧИСЛЕННОГО МОДЕЛИРОВАНИЯ
В данном разделе приведены результаты моделирования, основанного на прямом расчете выражения (1) методом численного интегрирования. В табл. 1 показаны расчеты при 2 = 1 мкм для у = 3 и у = 4 при а 0 = 0,01, а в табл. 2 для а 0 = 0,001. Радиус оптического элемента R выбирался так, чтобы период краевой зоны не был менее длины волны, а также, чтобы не было тени от входного зрачка. Для этого радиус должен быть не менее 92 2 и 46,5 2 в табл. 1, и 2906 2 и 1003 2 в табл. 2, значение минимального радиуса вычислено по формуле (5).
Визуальное наблюдение графиков интенсивности изтабл. 1и 2 позволяет сделать следующие выводы: - вид распределения вдоль оси качественно соответствует геометро-оптическому.
2
Таблица 1. Расчеты для у = 3 и у = 4 при а „ = 0,01
Параметры и
вид фазы фраксикона
Распределение вдоль оптической оси, г/2
у = 3, а, = 0,01, К =95 2
1000
600
200
50 100 150 200 250 300
у = 4,ао=0,01,/г=50А.
300 200 100
50
100 150 200 250
300
Таблица 2. Расчеты для у = 3 и у = 4 при а 0 = 0,001
Параметры и вид центральной части фазы фраксикона_
Распределение вдоль оптической оси, г/2
у = 3, а, = 0,001, К =30002
30000
20000
10000
1000 2000 3000 4000 5000 6000 7000
у — 4, осо — 0?001, /?=10002
5000
3000
1000
1000 2000 3000 4000 5000 6000 7000
- упомянутое после формулы (4) утверждение об отсутствии тени скорее формальное, чем количественное, так как интенсивность в этой области очень мала.
- приближение малого расстояния почти не применимо, так как оно справедливо в области очень малой интенсивности; в то же время приближение большого расстояния применимо в большой области, которая начинается с места, где интенсивность падает примерно вдвое по сравнению с максимумом.
- вычисленные по (22) позиции максимумов всегда получаются больше, чем найденные численно, причём для более слабого (с меньшим а 0) элемента относительная погрешность больше (32.5% против 20%). Хотя такая погрешность не очень мала, мы всё же можем говорить о хорошем согласии с теорией, так как погрешность теоретического значения изначально предполагалась не очень малой.
ЗАКЛЮЧЕНИЕ
В работе рассмотрено действие фраксикона с показателем степени Y >2 в непараксиальной модели. Для частного значения Y =3 получено приближённо-аналитическое выражение для комплексной амплитуды на оптической оси, а для других значений показателя - выражения, достаточно точные вблизи оптического элемента и вдалеке от него. В последнем случае приведены границы расстояний, начиная с которых эти выражения применимы. Получены приближенные значения для положения и величины максимума амплитуды. Результаты позволяют сделать вывод о том, что качественно имеет место согласие с геометро-оптической моделью, а для положения фокуса имеется и количественное согласие с результатами численного моделирования.
СПИСОК ЛИТЕРАТУРЫ
1. McLeodJ.H. The axicon: a new type of optical element //
Journal of the Optical Society of America. 1954. V.44.
P. 592-597.
2. Fujiwara J. Optical properties of conic surfaces. I.
Reflecting cone // Journal of the Optical Society of
America. 1962. V.52. P. 287-292.
3. Хонина С.Н., Волотовский С.Г. Фраксикон - дифракционный оптический элемент с конической фокальной областью // Компьютерная оптика. 2009. Т.33. №4. С. 401-411.
4. Lensacon / V.P. Koronkevich , I.A. Mikhaltsova, E.G. Churin, Y.I. Yurlov // Applied Optics. 1995. V. 34(25). P. 5761-5772.
5. The lensacon: nonparaxial effects / S.N. Khonina, N.L. Kazanskiy, A.V. Ustinov, andS.G. Volotovskiy // Journal of Optical Technology. 2011. V. 78 (11). P. 724-729.
6. Fractional axicon as a new type of diffractive optical element with conical focal region / S.N. Khonina, A.V. Ustinov, S.G. Volotovsky // Precision Instrument and Mechanology. 2013. Vol. 2 (4). P. 132-143.
7. Устинов А.В., Хонина С.Н. Геометро-оптический анализ обобщённой рефракционной линзы // Известия Самарского научного центра РАН. 2012. Т.14. №4. С. 28-37.
8. Устинов А.В., Хонина С.Н. Обобщённая линза: анализ осевого и поперечного распределения / А.В. Устинов, С.Н. Хонина // Компьютерная оптика. 2013. Т.37. №3. С. 307-315.
9. Устинов А.В., Хонина С.Н. Анализ дифракции плоского пучка на рассеивающем фраксиконе в непараксиальном режиме // Компьютерная оптика. 2014. Т.38. №1. С. 42-50.
10. Устинов А.В., Хонина С.Н. Расчёт дифракции плоской волны на рассеивающем дробном аксиконе с учётом затухающих волн // Известия Самарского научного центра РАН. 2014. Т. 16. №4. С. 34-41.
11. Устинов А.В., Хонина С.Н. Анализ дифракции лазерного излучения на аксиконе с числовой апертурой выше предельной // Компьютерная оптика. 2014. Т.38. №2. С. 213-222.
12. Устинов А.В., Хонина С.Н. Фраксикон как гибридный элемент между параболической линзой и линейным аксиконом // Компьютерная оптика. 2014. Т.38. №3. С. 402-411.
13. Dowski E.R., Cathey W.T. Extended depth of field through wavefront coding // Appl. Opt. 1995. Vol. 34. P. 1859-1866.
14. Extending the imaging volume for biometric iris recognition / R. Narayanswamy, G.E.Johnson, PEX. Silveira and H.B. Wach //Appl. Opt. 2005. Vol. 44. P. 701-712
15. Хонина С.Н. Фазовая аподизация изображающей системы с целью увеличения глубины фокуса в когерентном и некогерентном случаях // Компьютерная оптика. 2012. Т. 36. № 3. С. 357-364
16. Khonina S.N., Demidov A.S. Extended depth of focus through imaging system's phase apodization in coherent and incoherent cases // Optical Memory and Neural Networks (Allerton Press). 2014. Vol. 23(3). P. 130-139.
17. Extended depth of field and aberration control for inexpensive digital microscope systems / S.C. Tucker, W.T. Cathey and E.R. Dowski // Opt. Express. 1999. Vol. 4(11). P. 467-474.
18. Control of chromatic focal shift through wavefront coding / H. Wach, E.R. Dowski and W.T. Cathey // Appl. Opt. - 1998. - Vol. 37. - P. 5359-5367.
19. Dubra A., Ferrari J.A. Diffracted field by an arbitrary aperture / / American Journal of Physics. 1999. Vol. 67(1). P. 87-92.
THEORETICAL ANALYSIS OF FRAСXICON WITH GREAT DEPTH OF FOCUS IN FRAME OF WAVE MODEL
© 2014 A.V. Ustinov
Images Processing Systems Institute of the RAS, Samara
In a number of previous studies a fracxicon action is surveyed under different models. This article concludes this cycle and is devoted to the fracxicon with power greater than two. It is shown that such an optical element does not have a shadow area, which gives a very large depth of focus. Key words: fracxicon; the method of stationary phase; depth of focus.
Andrey Ustinov, Leading Programmer of the Laser Measurements Laboratory. E-mail: [email protected]