ДИФРАКЦИОННЫЕ ОПТИЧЕСКИЕ ЭЛЕМЕНТЫ, СОГЛАСОВАННЫЕ С МОДАМИ ГАУССА-ЛАГЕРРА
С.Н. Хонина, В.В. Котляр и В.А. Сойфер Институт систем обработки изображений РАН
Аннотация
Разработаны и исследованы итеративные алгоритмы расчета фазового оптического элемента, формирующего световые пучки Гаусса-Лагерра с заданным модовым составом, в том числе одномодовые пучки. Показано, что для эффективного формирования отдельных мод Гаусса-Лагерра можно использовать фазовые элементы, пропускание которых равно знаковой функции от соответствующего обобщенного многочлена Лагерра. Приведены результаты численного моделирования.
Введение
Моды определяются как устойчивые при распространении в волноводной среде световые пучки. Моды не расплываются и не изменяют пространственной структуры в процессе распространения в своей среде, а лишь приобретают фазовый набег [1].
Рассматриваемые моды Гаусса-Лагерра сохраняют свою структуру и в свободном пространстве, изменяясь лишь масштабно.
Актуальной задачей является создание приборов, формирующих эталоны модовых пучков, и приборов, измеряющих модовый состав имеющихся многомодовых пучков. Такие приборы смогут осуществить индивидуальное возбуждение, измерение и обнаружение мод когерентного излучения.
В работах [1-3] в качестве таких приборов рассматриваются дифракционные оптические элементы (ДОЭ), рассчитанные с помощью методов компьютерной оптики. Особый интерес представляют фазовые ДОЭ, имеющие повышенную энергетическую эффективность и многоканальный характер работы, позволяющий сформировать несколько модовых пучков.
В отличие от метода кодирования с пространственной несущей частотой, рассмотренного в [1], и итеративного метода с использованием вспомогательной области, приведенного в [2], в данной работе используется метод, разработанный в [3]. Он состоит в итеративной аппроксимации функции пропускания ДОЭ конечной суммой гауссовых мод. Однако, в [3,4] были рассмотрены только радиально-симметричные моды Гаусса-Лагерра. В данной работе этот метод применен к обобщенным модам Гаусса-Лагерра. Такое расширение метода позволяет с высокой эффективностью формировать модовые пучки, поперечное сечение которых представляет собой заданное изображение.
Кроме того, хотя рассматриваемый метод работает тем лучше, чем больше задействовано мод в пучке, он работоспособен и при формировании одномодового пучка. В этом случае за одну итерацию получается ДОЭ с фазовой функцией, пропорциональной знаковой функции моды. Показано, что для эффективного формирования отдельных мод Гаусса-Лагерра можно использовать фазовые элементы, пропускание которых равно знаковой функции соответствующего многочлена Лагерра.
1. Итеративный алгоритм расчета фазовых формирователей пучков Гаусса-Лагерра
Алгоритм, рассмотренный в [3,4], в случае обобщенных мод Гаусса-Лагерра выглядит следующим образом. Задача состоит в том, чтобы рассчитать фазу <р(х,у) дифракционного оптического элемента, удовлетворяющую соотношению
A (х, y) exp[i j( x, y)] =
N
= II с nm Snm (r,0)
n=0 m£n
(1.1)
в котором Snm (r, 0)- обобщенная функция Га-усса-Лагерра:
/ ч 2Jp(n - m) ( r Лm
Snm (r,0)= V ["I X
X exp[- (r/a )2/2]Lm ("a )2 )exp[± im0]
(1.2)
r2 = X2 + y2, 0= arctgy
x
где V (x) = (-1)m—— [bm+n (x)] - обобщенный мно-
dxm
гочлен Лагерра, A0( x, y)- известная амплитуда освещающего пучка, модули коэффициентов |Cnm| задаются произвольно, а аргументы Cnm являются свободными параметрами задачи. Квадраты моду-
I |2
лей коэффициентов |Cnm| характеризуют энергетический вклад каждой моды в пучок.
Функции Гаусса-Лагерра ортогональны
2Р ¥
J J Snm (r ,0)Sa (r,0)r d r d0 = SnkSml , (1.3)
0 0
ii,n = m
где onm = \ - символ Кронекера.
[0,n Ф m
Для удобства перепишем уравнение (1.1) в полярных координатах (r, 0):
f (r,0) = A0(r,0)exp[ij(r,0)] =
(1.4)
(1.5)
= II с пт %пт (г,0)
п=0 т£п
Тогда коэффициенты в уравнении (1.4) вычисляются по формуле:
Спт = Ц А(г,0)ехрЫг,0)]х
00
х Б*пт (г,0)г а г &0
Предлагаемый итеративный алгоритм основан на последовательном вычислении сумм (1.4) и интегралов (1.5) с помощью алгоритма быстрого преобразования Фурье с наложением соответствующих ограничений. Так, на к-ой итерации рассчитанные коэффициенты С^ заменяются на С(пт) следующим образом
C(k) = D с(k) 1с(k)
nm nm nm nm I
-1
(1.6)
где Бпт - неотрицательные числа, характеризующие распределение энергии между модами. Огра-
m
ничения типа (1.6) характерны для итеративного алгоритма Герчберга-Секстона [5]. Однако, для улучшения сходимости можно применять модификации замены (1.6), вводя некоторый коэффициент адаптивности 0< а £ 1:
C(к) =
nm
или
C (к) =
nm
Dnm -cftcm - Dnm )|x
xcnm |cnkj|_1,(n, m) ей 0 ,(n, m) £ й
[Dnm -cJ\C™\ - Dnm )X
x cnmm\cnrni\~\(n, m) ей , cnmm An,m)£й
(1.8)
где й - множество пар индексов, для которых отличны от нуля числа Бпт.
Таким образом, можно предложить следующий алгоритм для нахождения фазы оптического элемента (р(т,в).
1. Начальная фаза выбирается как случайная величина (0(г,в).
2. Пусть на к-ом шаге по формуле (1.4) получается значение к-ой фазы: (к(г, в). Используя (рк(г,в), из уравнения (1.5) рассчитываются коэффициенты сптт.
3. Затем они заменяются коэффициентами СПт), используя правило (1.6), (1.7) или (1.8).
4. Коэффициенты С^) подставляются в (1.4). В результате получается функция /к(г,в), аргумент которой служит последующей оценкой фазы
(1.9)
/к (г,в)=ц сптт) & пт (г, в),
п=0 т£п
(+1(г ,в) = агм/к (г, в)} Переходим к 2. И так далее. Сходимость алгоритма контролируется по средним отклонениям:
|2Р¥ | 2
SA = i Ц[^0МНfkМ)Рrdrd0\ x
2P¥
x i J J A02 (r,q)r dr d0\
(1.10)
d =
1 |2 I 2
I h [Dnm \СПШ |] I
n=0 m<n
x ill Dim
Ln=0 m<n
Аналогично тому как это сделано в [4], можно показать, что ошибки (1.10) и (1.11) не возрастают:
(1.11)
SA+1) +1) £dCk).
(1.12)
Функции Гаусса-Лагерра являются собственными функциями преобразования Фурье:
Л 2Р¥
— 11Бпт (г, в) ехр[- 1гр соъ) - п)> а г йв = 2р 0 0 , (1.13) \п { .\т
(1.7) =(- 1)n (- i)mSnm (РП)
что позволяет использовать их для эффективного ввода излучения в световые волокна [1]. Так, если мы сформировали световой пучок, сечение которого имеет вид заданного изображения, и который является суперпозицией мод Гаусса-Ла-герра:
N
8 (г,в) = Ц С^пт (г,в), (1.14)
п=0 т£п
то в зоне дифракции Фраунгофера или в фокальной плоскости линзы мы получим следующее изображение:
3(8 (г ,в)}= в(р,у) =
N (1 15)
= ХХЛптС^пт (P, П) '
п=0 т£п
где 3 - обозначение Фурье-преобразования.
Следовательно, если в суперпозиции участвовали только моды с одинаковыми значениями собственных чисел
Лпт = (-1)П (-)т = 1, (1.16)
то вид изображения в сечении пучка не меняется.
Из формулы (1.16) видно, что собственные числа функций Гаусса-Лагерра принимают всего четыре значения:
Лпт = 1: (п = 2к, т = 4/),(п = 2к +1, т = 41 + 2),
Япт = -1: (п = 2к,т = 41 + 2),(п = 2к +1, т = 4/),
Лпт = I: (п = 2к,т = 4/ + 3),(п = 2к +1, т = 4/ +1),
Япт = -: (п = 2к,т = 4/ + 1),(п = 2к +1, т = 4/ + 3), к, / = 0,1,2,...
Более наглядно распределение одинаковых значений собственных чисел в зависимости от номера функции Гаусса-Лагерра приведено в Таблице 1.
(1.17)
00
00
x
N
Таким образом, вполне реально подобрать такую суперпозицию мод Гаусса-Лагерра с одинаковыми собственными значениями, чтобы сформировать некоторое изображение, не меняющее своей структуры при прохождении Фу-
рье-каскада. Заметим, что функции Гаусса-Ла-герра с взаимно противоположной «закруткой» ехр[±т9] имеют одинаковые собственные значения.
Таблица 1. Собственные значения для собственных функций Гаусса-Лагерра
m n 0 1 2 3 4 5 6 7 8 9
0 1
1 i
2 1 -i
3 i 1 -i
4 1 -i i 1
5 i 1 -i i
6 1 -i i 1 -i -1
7 i 1 -i i 1 -i
8 1 -i i 1 -i -1 i 1
9 i 1 -i i 1 -i -1 i
Совокупность мод Гаусса-Лагерра с одинаковыми собственными значениями можно считать модовой группой, так как она также представляет собой собственную функцию преобразования Фурье.
2. Фазовые формирователи одномодовых пучков Гаусса-Лагерра
Понятно, что рассматриваемый метод работает тем лучше, чем больше задействовано членов в сумме (1.4), а следовательно мод в пучке. Имея больше степеней свободы, которыми являются фазы коэффициентов Cnm, мы точнее аппроксимируем желаемую функцию f(r,8), в частности, амплитуду рассчитываемого ДОЭ A0( x, y).
Однако, данный метод работоспособен и при формировании одномодового пучка. В этом случае за одну итерацию (с дальнейшей стагнацией) конструируется ДОЭ с фазой, пропорциональной знаковой функции от многочлена Лагерра:
j(r,e)=argjSnm (r,q)}=
m , »M. . „ (2.1)
2
(l - sgnfc ((r/a )2 )])± imO
Покажем, что такая аппроксимация функции Гаусса-Лагерра является эффективной.
Выражение (2.1) для фазовой функции эквивалентно следующему выражению для амплитуды на участке [-Л,Л], где К - размер апертуры, Иг/а)2:
S„m (t,e) = sgn[IZ (t)]exp(±imq)
(2.2)
Разложим функцию (2.2) по ортогональным многочленам Лагерра с «закруткой»:
s„, (t,e) = Cpm Iqp (t)exp(±iqe) (2.3)
p=0 q<p
и найдем коэффициенты разложения:
^ ^i^ëfïi sgn t ^ (t )] e±ime x
xIqP(t)eTiqe tq e dtde =
JÏEJË] sgn[im (t)]ip (t) • tq e-t d t x (2.4) ï (P!)3 о P
( p - m)! ( P !)3
J sgn [ rn (t)] rp (t ) x
" d t ) = CCpp
m)
Таким образом, ненулевыми являются только коэффициенты с таким же вторым индексом, что и раскладываемая функция Бгт1 (/,9).
Обозначив через 4,п нули многочлена Ь"т ,п) = 0 и считая /0>и=0, представим выражение (2.4) в виде суммы интегралов:
¿-(n,m) = ( P - m)! x ' ( P !)3
n-1
x!
k=0
(-1)k J tm e-t Imp(t)dt
(2.5)
С учетом справочного интеграла [6]:
Г ха е"х Ьап (х)ё X =1 ха+1 е"х (х) (2.6) п
вместо (2.5) получим следующее выражение для коэффициентов разложения (2.3):
A(n,m) = 2 ( P - m)!
^ А (P !)3
! [(-1)k-1(tk ,n )
k=1
m+1 ^-tk,n im+1
1(tk ,n ) ]
(2.7)
0
x
При этом коэффициенты Ср^ с д^от равны нулю.
Рассмотрим пример. Пусть требуется сформировать моду Гаусса-Лагерра Б10((,в). Для этого разместим в плоскости 7=0 фазовый элемент с пропусканием £10 (г) = sgn[¿0 (г)] . Тогда, согласно уравнению (2.7) в пространстве за фильтром сформируется суперпозиция световых мод:
¿10« = IС,™Ь°р (Г) =
Р=1
= 0,736 • ) - 0,184 • 102(г) + +0,020 • 103 (г) - 0,001- 10А (г) +...
(2.8)
Освещая такой фазовый элемент коллими-рованным гауссовым пучком, получим согласно уравнению (1.13) в частотной плоскости световое поле с амплитудой, пропорциональной выражению (а=1 мм):
" "/2 ,
/ е-г2/^п [ />2) ] J 0 (гр)- г а г = 0
= £(-1) РСГе-^21?р (р2) =
р=1
= - е
: [0,736 • ¿0 (р2) + 0,184 • 102 (р2) +
+0,020 • ¿3(р2)+0,001 • ¿°4(р2)+...]
(2.9)
где J0(x) - функция Бесселя.
Отношение энергий световых пучков, описываемых вторым и первым слагаемыми в уравнении (2.9) равно:
¥ Г Т
(0,184)2/е-р2[¿0(р2)]2 рр
_0_■
(0,736)21е-р2 [¿0(р2)]2 •рар
(0,184)2 (2!)2 (0,736)2(1!)2
> 0,25
Таким образом, в первом слагаемом суммы (2.9), описывающем моду Гаусса-Лагерра ¿10(г, 0), содержится более 70% всей энергии светового пучка.
Еще более эффективным способом формирования моды Гаусса-Лагерра 8пт(г, в) является освещение не гауссовым, а плоским световым пучком фазового ДОЭ с пропусканием (а=1 мм):
~пт(г,в)= сш/Я 1 sgn[zm(г2)]ехр(±/'тв) (2.10)
где агс
' 1 ^
V г 0 )
1, г £ г 0 0, г > г
В этом случае значение Я следует выбирать так, чтобы выражение, определяющее эффективность:
Е = -
2р Я 2
/ /~пт (г¿*т (г,в)га гйв
0 0
(2.11)
/Л ~пт (г ,в)\ г а г (в. | /|5пт (г, в)| г а г А0
0 0 0 0
было максимальным.
Рассмотрим пример с модой Гаусса-Лагерра ¿10(?, в). В этом случае выражение (2.11) записывается следующим образом:
2
Е =-4 •
2 •
Л е-г2/2 (1 - г 2 )г а г - / е-г2/2 (1 - г 2 )г а г
Я2
- = (2.12)
-Я V2 (Я 2
1,426 - е-Я /2 Я2 +1
2
Я
и достигает максимального значения Е=0,786 при Я=2,5 мм. Значит, световое поле (2.10) формирует моду Гаусса-Лагерра ¿10(г,в) с эффективностью около 79%.
3. Численные примеры
При численном моделировании использовались следующие параметры: 128 отсчетов по радиусу г и 128 отсчетов по угловой составляющей в, диапазон изменения аргументов ге [0,7мм], ве [0,2р], длина волны 1=0.63 мкм, фокусное расстояние /=100 мм, радиус гауссового пучка в перетяжке а=1 мм. В формулах (1.4) и (3.3) рассматривались члены ряда с номерами п,т £ N=7.
Действие рассчитанных ДОЭ моделировалось с помощью численного преобразования Фурье (1.13).
На рис. 1 представлены результаты формирования моды Гаусса-Лагерра (3,2). Фазовая функция (рис. 1 а) рассчитывалась по формуле (2.10). На рис. 1б показан сформированный таким ДОЭ пучок и для сравнения на рис. 1в приведена эталонная мода Гаусса-Лагерра (3,2). Их радиальные сечения показаны на рис. 1 г (сплошная линия - рассчитанная мода, пунктирная линия - эталонная мода).
Оптимальный радиус апертуры Я определялся из условия максимизации эффективности Е (2.11) сформированного пучка. График зависимости Е от Я для моды Гаусса-Лагерра (3,2) представлен на рис.2. Из графика видно, что оптимальный размер апертуры ДОЭ для формирования моды Гаусса-Лагерра (3,2) равен Я=4,5 мм. При этом эффективность достигает значения 81%.
Проведя аналогичные исследования можно подобрать оптимальный радиус ДОЭ для формирования любой моды. С помощью численного
0
2
р
0
+
моделирования было показано, что фазовые ДОЭ, рассчитанные по формуле (2.10) позволяют формировать одномодовые пучки с эффек-
тивностью 77-81% в зависимости от номера моды. В следующей таблице приведены значения К и Е для нескольких мод.
а) б) в) г)
Рис. 1. Одномодовый пучок: фаза ДОЭ (а); распределения интенсивности в Фурье-спектре для рассчитанной (б) и эталонной (в) мод Гаусса-Лагерра (3,2); интенсивность в радиальном сечении (г) (сплошная линия - расчет, пунктирная линия - эталон).
Таблица 2. Значения оптимального радиуса апертуры ДОЭ К и эффективности Е (а=1 мм).
Номер моды Гаусса-Лагерра (1,0) (2,1) (3,2) (4,2) (5,1)
Оптимальный радиус Я, мм 2,5 4 4,5 4,7 5
Эффективность Е, % 79 77 81 78 77
Е, %
100 -г
80 -60 -40 20 -■ 0
Я, мм
3
3,5
4,5
5,5
Рис. 2. Зависимость эффективности пучка Е от радиуса апертуры Я для ДОЭ, формирующего моду Гаусса-Лагерра (3,2).
Можно предположить, что для суперпозиции мод оптимальным радиусом апертуры ДОЭ
является средний из оптимальных радиусов входящих в суперпозицию мод.
На рис. 3 приведены примеры фазовых ДОЭ (рис. 3а), формирующих многомодовые пучки Гаусса-Лагерра в плоскости пространственного спектра (рис. 3в). Верхняя строка рисунка относится к группе из 5-ти мод: (1,1), (3,1), (4,-3), (5,1), (5,-5), имеющих собственные числа, равные I. Коэффициенты разложения пучков представлены на рис. 3б в полутонах. Нижняя строка рисунка относится к группе из 6-ти мод: (2,0), (3,-2), (3,2), (4,-4), (4,0), (4,4), имеющих собственные числа, равные 1 . Оба пучка являются собственными функциями преобразования Фурье. Для сравнения на рис. 3 г показаны эталонные распределения интенсивности указанных композиций мод.
а) б) в) г)
Рис. 3. Многомодовые пучки: фаза ДОЭ (а); квадраты модулей коэффициентов в разложении (1.1) (б); распределения интенсивности в фокальной плоскости для рассчитанной (в) и эталонной (г) композиции мод Гаусса-Лагерра (верхняя строка для 5-ти модового пучка, нижняя строка для 6-ти модового пучка).
4
5
6
Заключение
В данной работе получены следующие результаты:
- предложен итеративный алгоритм для расчета фазы дифракционных оптических элементов, формирующих многомодовые пучки Гаусса-Лагерра (уравнения (1.4)-(1.9));
- введено понятие групповой моды, как суперпозиции мод Гаусса-Лагерра, не изменяющей своей структуры после прохождения Фурье-каскада (уравнение (1.16));
- показано, что для эффективного формирования одномодовых пучков Гаусса-Лагерра можно использовать фазовые элементы, функция пропускания которых пропорциональна знаковой функции от обобщенного многочлена Лагерра (уравнения (2.1) и (2.10)).
Благодарность
Данная работа поддержана Российским фондом фундаментальных исследований (№ 9601-10021 и 96-15-96026).
Литература
1. Soifer V.A., Golub M.A. Laser beam mode selection by computer generated holograms, CRC Press, Boca Raton, U.S., 1994.
2. Голуб М.А., Павельев В.С., Сойфер В.А., Построение итеративного алгоритма расчета фазовых дифракционных элементов, формирующих заданное одномодовое распределение на основе применения метода обобщенных проекций, Компьютерная оптика, М., МЦНТИ, 1995, вып. 14-15, часть2, с. 85-93.
3. Kotlyar V.V, Nikolsky I.V., Soifer V.A. An algo-
rithm for calculating multichannel formers of Gaussian modes, Optik, 1994, v.98, no.1, pp.26-30.
4. Soifer V.A., Kotlyar V.V., Doskolovich L.L. It-
erative methods for diffractive optical elements computation, Taylor & Francis, London, 1997.
5. J.R. Fienup. Phase retrieval algorithms. A com-
parison. Appl. opt., 1982, v.21, №15, pp. 2758-2769.
6. Прудников А.П., Брычков Ю.А., Марычев О.И., Интегралы и ряды. Специальные функции, М., Наука, 1983