2007 Компьютерная оптика, том 32 №1

СОГЛАСОВАНИЕ И ИССЛЕДОВАНИЕ МЕТОДОВ, ОСНОВАННЫХ

НА ДИФФЕРЕНЦИАЛЬНОМ И ИНТЕГРАЛЬНОМ ОПЕРАТОРАХ РАСПРОСТРАНЕНИЯ
ЛАЗЕРНОГО ИЗЛУЧЕНИЯ В СРЕДЕ С МАЛЫМИ НЕОДНОРОДНОСТЯМИ
Стрилец А.С., Хонина С.Н.
Самарский государственный аэрокосмический университет им. С.П. Королева
Институт систем обработки изображений РАН
Аннотация
В данной работе рассмотрено распространение монохроматических световых пучков в сре-
де с малыми неоднородностями показателя преломления, в частности в среде с параболиче-
ским профилем показателя преломления. Проведено обоснование метода моделирования
распространения светового пучка в параболическом волокне, основанного на его распро-
странении в однородной среде через периодическую последовательность тонких линз. С
помощью предельного перехода к бесконечному числу линз, находящихся на бесконечно
малых расстояниях друг от друга, получен интегральный оператор распространения в пара-
болической среде в параксиальном приближении, проведен анализ его свойств. Проведено
исследование действия параксиального интегрального оператора на моды Гаусса – Лагерра.

1. Распространение линейно поляризованного

∂2
монохроматического светового пучка в E ( x, y, z ) = − ∇ ⊥2 + k02 n 2 ( x, y ) E ( x, y, z ) , (4 )
неоднородной среде ∂z 2

1.1. Среда с малыми неоднородностями ∂2 ∂2

где ∇ 2⊥ = + 2 - поперечный лапласиан.
показателя преломления ∂x 2
∂y
Рассмотрим неоднородную диэлектрическую Представим решение уравнения (4) в виде

{ }
⌢
среду. Напряженность электрического поля E ( x, y, z ) = exp ±iAz E0 ( x, y ) , (5 )
E = E ( r ) распространяющегося в ней монохрома- ⌢
тического светового пучка описывается векторным где A - некоторый дифференциальный оператор;
( ±i ) ⌢ p p
p
уравнением ∞
{ }
⌢
exp ±iAz ≡ ∑ A z - операторная экспонен-
( )
∇ 2 E + ∇ ∇ ln n 2 , E + k02 n 2 E = 0 , (1 ) p =0 n!
та; E0 ( x, y ) - распределение комплексной амплиту-
где n = n ( r ) - показатель преломления среды; r -
ды в начальной плоскости на расстоянии z = 0 ; знак
радиус-вектор; k0 =
2π
- волновое число; λ 0 - дли- « + » соответствует распространению волны в по-
λ0 ложительном направлении оптической оси.
на волны в свободном пространстве. Подставляя соотношение (5) в уравнение Гельм-
⌢

При условии
( ) ≪1
δ n2
(где δ означает измене-
гольца (4) можно получить, что для оператора A
справедливо соотношение
n2 ⌢
ние, неоднородность), которое должно выполняться A2 = ∇ 2⊥ + k02 n 2 ( x, y ) . (6 )
на расстояниях порядка длины волны, вторым сла- Далее рассмотрим среду с малыми поперечными
гаемым в уравнении (1) можно пренебречь [1]. Та- неоднородностями показателя преломления
ким образом, уравнение (1) переходит в уравнение
Гельмгольца n ( x , y ) = n0 + δ n ( x , y ) , (7 )

∇ 2 + k02 n2 ( r ) E ( r ) = 0 . (2 ) где n0 - некоторое среднее значение показателя

В рамках скалярной теории рассматриваются ли- преломления; δn ( x, y ) - функция, описывающая не-

нейно поляризованные световые пучки. Для них однородность среды.
⌢
справедливо скалярное уравнение Гельмгольца Соотношение (6) для оператора A можно пере-
∇ 2 + k02 n2 ( r ) E ( r ) = 0 . (3 ) писать в виде

 δn ( x, y ) 
2
Далее рассмотрим среду, показатель преломле- ⌢
A2 = ∇ 2⊥ + k 2 1 +  , (8 )
ния которой не зависит от расстояния на оптической n0
 
оси z , то есть n = n ( x, y ) , где x , y и z - декарто-
где k = k0 n0 - волновое число в однородной среде с
вы координаты.
Перепишем уравнение (3) показателем преломления n0 .

33
Согласование и исследование методов, основанных на дифференциальном и интегральном операторах … А.С. Стрилец, С.Н. Хонина

Согласно [2-5] при условии малой неоднородно- распределению комплексной амплитуды, получен-
δn ( x, y ) ному с помощью интеграла Френеля
сти ≪ 1 справедлива следующая аппрокси- ∞ ∞
ik
n0 E ( x, y, z ) = − exp {ikz} ∫ ∫ E0 ( ξ, η) ×
мация 2πz −∞ −∞
(12 )
δn ( x, y )  ik  2 
⌢ ⌢
× exp  ( x − ξ ) + ( y − η )   d ξd η.

12 2
A ≈ Aapp = ∇ ⊥2 + k 2  + k . (9 )
n 0
 2z  
Можно показать, используя (5) и (9), что для све- Далее перейдем к рассмотрению среды с парабо-
товых пучков, распространяющихся на небольшие лической зависимостью показателя преломления –
расстояния δz в положительном направлении опти- важного частного случая неоднородной среды.
ческой оси справедливо соотношение 1.2. Среда с параболической зависимостью показа-
 δz  теля преломления
E ( x, y , δz ) ≈ exp i ∇ ⊥2 + k 2   ×
12

 2  Для показателя преломления градиентного пара-

× exp {iδz χ ( x, y )} ×
болического волокна справедливо соотношение
(10 )
 
 δz 12
× exp i ∇ ⊥2 + k 2   E0 ( x, y ) + O δz 3 . ( )
r2
n2 ( r ) = n02 1 − 2∆ 2
r0
(
 = n0 1 − α r ,
2 2 2
) (13 )
 2   
Результатом действия первой дифференциальной где r = x 2 + y 2 - радиус цилиндрической системы
экспоненты на начальное распределение комплекс-
координат; n0 - показатель преломления на оптиче-
 δz 12
ной амплитуды exp i ∇ 2⊥ + k 2   E0 ( x, y ) явля- ской оси волокна; r0 - характерный радиус волокна;
 2  ∆ - параметр дисперсии показателя преломления
ется распределение, формируемое при распростра-
2∆
нении светового пучка в однородной среде с показа- среды; α = - константа, определяющая кри-
1 r0
телем преломления n0 на расстоянии δz от визну профиля показателя преломления.
2
начальной плоскости. Умножение распределения Известно [6, 7], что решением уравнения Гельм-
комплексной амплитуды на выражение гольца (3), конечным на оптической оси, в цилин-
exp {iδzχ ( x, y )} эквивалентно действию некоторого
дрических координатах является суперпозиция мод
Гаусса – Лагерра (ГЛ)
тонкого оптического элемента на проходящий через m
 r   r2 
Ψ n ,m ( r , ϕ, z ) = Cn ,m   Lnm  2  ×
него световой пучок. Этот оптический элемент из-
 σ0   σ0 
меняет волновой фронт на величину
φ ( x, y ) = δz χ ( x, y ) . (14 )
 r  2

Таким образом, многократное использование ап- × exp  − 2  exp (imϕ ) exp ( ±iβ n, m z ) ,
проксимации (10) с точностью до погрешности  2σ0 
( )
O δz 3 эквивалентно моделированию распростра- где r , ϕ , z - цилиндрические координаты; n - неот-
нения светового пучка через периодическую систе- рицательное целое число, m - целое число;
му одинаковых тонких оптических элементов с
функцией пропускания τ ( x, y ) = exp {iz χ ( x, y )} в
1 dn
{ }
Lmn ( ξ ) = e ξξ − m n e− ξξ n + m - многочлены Лагер-
n! dξ
ра.
однородной среде с показателем преломления n0 .
В выражении (14) входят следующие параметры:
1
Первый элемент расположен на расстоянии δz от 1) σ 0 =
1
- эффективный радиус фундамен-
2
kα
начальной плоскости, два соседних элемента распо-
тальной моды;
лагаются на расстоянии δz друг от друга.
2α
Отметим также, что в приближении Френеля
справедлива аппроксимация
2) βn ,m = k 1 −
k
( 2n + m + 1) - постоянная рас-

{ }
  ∇ 2   пространения;
12
exp iz ∇ ⊥2 + k 2  ≈ exp ikz 1 + ⊥2   . (11 ) 1 n!
  2k   3) C n, m = - нормировочная кон-
σ0 π ( n + m )!
Результат действия дифференциального опера-
станта.
тора (11) на распределение E0 ( x, y ) аналогичен

34
2007 Компьютерная оптика, том 32 №1

Для параболической среды функцию χ ( x, y ) из где γ (N1) ( z ) и γ (N2) ( z ) - последовательности, для ко-
выражения (10) можно переписать следующим об- торых справедливы следующие рекуррентные соот-
разом ношения:
δn ( r )
χ (r ) = k
n0
= −k ∆
r2
r02
( )
+ O ∆2 . (15 ) γ (N1)+1 ( z ) = γ ( z ) −
1
1
,
4−
γ (N1) ( z )
 k 2
Известно, что выражение τ ( r ) = exp −i r 
 2f   1  
γ (N +) 1 ( z ) = γ (N ) ( z )  4 − (1)  γ ( z ) − 1 ,
2 2

γ N ( z ) 
является функцией пропускания тонкой круглой со-  
бирающей линзы в параксиальном приближении,  
где f - фокусное расстояние. γ1( ) ( z ) = γ1( ) ( z ) = γ ( z ) .
1 2
(18 )
Таким образом, в случае параболической среды
оптическими элементами являются собирающие Сделав предельный переход: δz → 0 , N → ∞ ,
r2 1 1 N δz = z , можно показать, что справедливы следу-
линзы с фокусным расстоянием f = 0 = 2 . ющие предельные соотношения [8]:
2∆ δz α δz
1  1  α
2. Параксиальный интегральный оператор  2 − (1) → ,
распространения в параболическом волокне δz  γ N ( δz )  tan ( αz )

2.1. Вывод параксиального интегрального операто-
1 α
ра → . (19 )
δz γ N ( δz )
( 2) sin ( α z )
В приближении Френеля для параболической
среды, пользуясь интегралом (12), можно получить Тогда, учитывая эти предельные соотношения,
при условии αr << 1 выражение (10) в интегральной интеграл (16), примет вид
форме ik α
E ( x, y , z ) ≈ − exp {ikz} ×
E ( x, y, δz ) ≈ −
ik 1
exp {ik δz} × 2π sin ( αz )
2πδz γ ( δz )
 ik α  ∞ ∞
 ik  1  2 ∞ ∞ × exp   x 2 + y 2   ∫ ∫ E0 ( ξ, η) ×
 2tan ( αz )
2 
× exp  2 −   x + y  ∫ ∫ E0 ( ξ, η) ×  −∞ −∞
2δz  γ ( δz ) 
  −∞ −∞  ik α 
(20 )
ξ2 + η2   ×
(16 )
 ik  1  2  × exp 
 2tan ( αz )
2 
× exp  2 −  ξ + η   × 
 2δz  γ ( δz )    
ik α
 ik 1  × exp − [ ξx + ηy ] d ξd η.
× exp − [ξx + ηy ] d ξd η + O δz 3 ,( )  sin (αz ) 
 δz γ ( δz ) 
Интеграл (20) является параксиальным операто-
α2 z2 ром распространения светового пучка в волокне с
где γ ( z ) = 1 − . параболическим профилем показателя преломления
4
Можно показать, что после прохождения свето- (13), справедливым при условии α r << 1 .
вым пучком N одинаковых тонких линз его ком- Интеграл (20) имеет такой же вид, что и рас-
смотренный в предыдущей статье [9] интегральный
плексная амплитуда на расстоянии N δz будет опи-
оператор. Эти интегралы различаются коэффициен-
сываться следующим интегральным соотношением
тами в аргументе тригонометрических функций.
ik 1
E ( x, y , N δz ) ≈ − exp {ikN δz} × 2.2. Свойства параксиального интегрального опе-
2πδz γ N ( δz )
( 2)
ратора
 ik  1  2  ∞ ∞ Рассмотрим кратко свойства интеграла (20), до-
× exp   2 − (1)   x + y 2   ∫ ∫ E0 ( ξ, η) × казательство которых схоже с приведенными в
 2δz  γ N ( δz )   −∞ −∞ предыдущей статье [9] выкладками.
(17 )
 ik   1. Переход к однородной среде: α → 0 .
1  2
× exp   2 − (1)   ξ + η2   × При этом предельном переходе интегральный
2δz  γ N ( δz ) 
    оператор (20) принимает вид интеграла Френеля
(12), описывающего распространение световых
 ik 
× exp  − ( 2)
1
[ (
ξx + ηy ] d ξd η + O N δz 3 , ) пучков в однородной среде в параксиальном
 δz γ N ( δz )  приближении.

35
Согласование и исследование методов, основанных на дифференциальном и интегральном операторах … А.С. Стрилец, С.Н. Хонина

2π В частности, если волновод освещен его соб-

2. Интеграл (20) имеет период zT = . ственной модой ГЛ ( σ = σ 0 ), то выражение (22)
α
На расстояниях кратных четверти периода рас- принимает вид
пределение F ( x, y, z ) = E ( x, y, z ) exp { −ikz} имеет m
 r   r2 
следующие особенности: Ψ n, m ( r, ϕ, z ) = Cn, m   Lnm  2  ×
 σ0   σ0  (23 )
1
1) на расстоянии z = zT распределение  r2 
4 × exp  − 2  exp {iβn ,m z} exp {imϕ} ,
F ( x, y, z ) является преобразованием  2σ0 
Фурье начального распределения;  α 
1 где βn, m = k 1 − ( 2n + m + 1)  .
2) на расстоянии z = zT формируется пе-  k 
2 Полученное выражение (23) практически совпа-
ревернутое распределение − E0 ( − x, − y ) ; дает с точным решением (14). Эти выражения раз-
3 личаются только величиной βn, m .
3) на расстоянии z=
zT распределение
4 Точное значение βn, m описывается следующим
F ( x, y, z ) является обратным преобразо-
2α
ванием Фурье начального распределения; выражением βn, m = k 1 −
k
( 2n + m + 1) .
4) на расстоянии z = zT формируется
Разложив это выражение по формуле Тейлора с
начальное распределение E0 ( x, y ) . учетом α<<1, k>>1 и оставив только два слагаемых,
2.3. Анализ действия параксиального можно получить выражение для величины βn, m из
интегрального оператора соотношения (23).
на моды Гаусса – Лагерра Ниже на рис. 1 приведены графики зависимо-
Рассмотрим действие параксиального интеграла сти эффективного радиуса σ ( z ) из выражения (22)
(20) на моды ГЛ (14) с произвольным начальным фундаментальной моды, распространяющейся в па-
эффективным радиусом σ раболическом волокне, от расстояния z .
E0 ( r , ϕ ) = Ψ n, m ( r, ϕ, 0 ) =
m
 r  m  r2   r2  (21 )
= Cn, m   Ln  2  exp − 2  exp {imϕ} .
σ σ   2σ 
Выкладки, позволяющие получить результат
действия оператора (20) на моды ГЛ (21), аналогич-
ны приведенным в предыдущей статье [9]. Приве-
дем полученный результат
m Рис. 1. Зависимость σ ( z ) σ 0 от величины z zT .
σ  r 
Ψ n, m ( r, ϕ, z ) = Cn, m   × Если начальный эффективный радиус σ мень-
σ ( z )  σ ( z ) 
(22 ) ше, чем эффективный радиус собственной моды во-
 r2   r2  локна σ 0 , то радиус пучка σ ( z ) вначале увеличивает-
× Ln  2 exp iβn, m ( r, z ) − 2 + imϕ  ,
m

 σ ( z)  2σ ( z )
    σ 20
ся, достигая максимального значения σ max = в точ-
σ
σ04
где σ ( z ) = σ cos 2 (αz ) + sin 2 (αz ) - эффективный π  1
σ4 ках zs = s− , s ∈ ℕ , где формируется Фурье -
α  2 
радиус Ψ n, m ( r , ϕ, z ) ;
образ исходного пучка. Затем он уменьшается, дости-
βn, m ( r, z ) = kz + гая своего начального минимального значения
 π
 σ 2 1  π  σ min = σ0 в точках σ ( z ) , zs = s , s ∈ ℕ . Если же σ
+ ( 2n + m + 1) arctan  2  −  + - функция, α
  σ0 tan ( αz )  2  больше, чем величина σ 0 , то σ ( z ) вначале убывает
 σ2  1 r2
+ 1 − 2  σ20
 σ ( z )  tan ( αz ) 2σ02 до значения σ min = , а затем возрастает, принимая
  σ
определяющая фазовую скорость Ψ n, m ( r , ϕ, z ) . начальное значение.

36
2007 Компьютерная оптика, том 32 №1

Ниже приводятся распределения интенсивно- суперпозиций, распространение которых описыва-

сти Ψ n ,m ( r , ϕ, z )
2 ется формулой (22).
для некоторых пучков ГЛ и их

1 1 3 1
0 zT zT zT zT
8 4 8 2

1
Рис. 2. Распределения интенсивности для моды Ψ0 ,0 ( σ = σ0 ).
2

1 1 3 1
0 zT zT zT zT
8 4 8 2

3
Рис.3. Распределения интенсивности для моды Ψ1,1 ( σ = σ0 ).
2

1 1 3 1
0 zT zT zT zT
8 4 8 2

5 3 7
zT zT zT zT
8 4 8

1
Рис.4. Распределения интенсивности для суперпозиции мод Ψ0 ,0 + Ψ1, −1 ( σ = σ0 ).
2

37
Согласование и исследование методов, основанных на дифференциальном и интегральном операторах …
1 1
0 zT
8 4
5 3
zT
8 4
Рис.5. Распределения интенсивности для суперпозиции мод Ψ 2,0 + Ψ1,2 + Ψ 0,3 ( σ =
3. Заключение
В данной работе проведено исследование рас-
пространения монохроматических линейно поляри-
зованных световых пучков в неоднородной среде и,
в частности, в волокне с параболическим профилем
показателя преломления.
В работе выполнена аппроксимация дифференци-
ального оператора распространения в среде с малыми
неоднородностями, которая позволяет рассматривать
распространение световых пучков в неоднородной
среде как распространение в однородной среде через
систему тонких оптических элементов.
С помощью предельного перехода при бесконеч-
но большом количестве линз, находящихся на беско-
нечно малых расстояниях друг от друга, получен в
приближении Френеля интегральный оператор рас-
пространения световых полей в параболической сре-
де. При анализе параксиального интеграла было
установлено самовоспроизведение поперечного рас-
пределения световых пучков с определённым перио-
дом zT. В пределе при стремлении дисперсионного
параметра волокна к нулю интегральный оператор
переходит в интеграл Френеля, описывающий рас-
пространение светового поля в однородной среде.
Аналитически получен результат действия инте-
грального оператора на моды Гаусса - Лагерра с
произвольным начальным эффективным радиусом.
Если начальный радиус совпадает с радиусом соб-
ственной моды для этого волокна, то полученная ре-
зультирующая функция совпадает с модой ГЛ с
точностью до двух слагаемых в разложении Тейлора
величины βn, m . В случае несовпадения эффектив-
ных радиусов пучок периодически расширяется и
38
А.С. Стрилец, С.Н. Хонина
3 1
zT zT zT
8 2
7
zT zT zT
8
3
σ0 ).
2
сужается, восстанавливаясь на расстояниях, крат-
ных периоду zT .
Благодарности
Работа выполнена при частичной финансовой
поддержке Российско-Американской программы
«Фундаментальные исследования и высшее образо-
вание» (грант CRDF RUX0-014-Sa-06), а также гран-
тов РФФИ № 07-07-97600 и 08-07-99007.
Литература
1. Короленко, П. В. Оптика когерентного излучения. –
М.: Наука, 1997
2. Feit M.D., Fleck J.A. Light Propagation in Graded-Index
Optical Fibers // Appl. Opt., 1978. Vol. 17 (24). PP. 3990-
3998
3. Okoshi T., Kitazawa S. The Beam Propagation Method //
Analysis methods for electromagnetic wave problems.
Editor E. Yamashita, Artech House, 1990. Chapter 10.
4. Huand W. et al. The Finite-Difference Vector Beam
Propagation Method: Analysis and Assesment // J. of
Lightwave Technology, 1992. Vol. 10 (3).
5. Lu Y.Y. Some Techniques for Computing Wave Propaga-
tion in Optical Waveguides // Communications in Compu-
tational Physics, 2006. Vol. 1. PP. 1056-1075.
6. Снайдер А., Лав Д. Теория оптических волноводов. –
М.: Радио и связь, 1987
7. Методы компьютерной оптики / Под ред.
В.А.Сойфера. – М.: Физматлит, 2003. – 688с.
8. Корн, Г. Справочник по математике / Г. Корн, Т. Корн
- М.: Наука, 1977. - 832 с.
9. Стрилец А. С., Хонина С. Н. Исследование распро-
странения лазерных пучков в параболическом оптиче-
ском волокне с помощью интегрального параксиаль-
ного оператора / Компьютерная оптика, 2007. Том 31 -
№ 4. – С.33-39.
 MATCHING AND INVESTIGATION METHODS BASED ON DIFFERENTIAL
AND INTEGRAL OPERATORS OF LASER RADIATION PROPAGATION
IN A MEDIUM WITH SMALL INHOMOGENEITIES
A.S. Striletz1,2, S.N. Khonina1,2
1 S.P. Korolyov Samara State Aerospace University
2 Image Processing Systems Institute оf the RAS

Abstract
We now suggest monochromatic light-beam propagation in a medium with small inhomogenei-
ties of the refractive index, in particular, in the medium with a parabolic profile of the refractive in-
dex. A simulation method is explained for light wave propagation in a parabolic fiber based on its
propagation in a homogeneous media through a periodic sequence of thin lenses. Using a limiting
transition to infinity of lenses, being spaced a differential distance apart, an integral operator of prop-
agation in the parabolic medium with the paraxial approximation is received, and its properties are
analyzed. The action of the paraxial integral operator on Gauss – Laguerre modes is examined.
Keywords: parabolic fiber, integral operator of propagation, paraxial approximation, Gauss –
Laguerre modes.
Acknowledgements: The work was partly supported under the Russian-American Basic Re-
search and Higher Education Program (grant CRDF RUX0-014-Sa-06) and by the Russian Foun-
dation for Basic Research (grants Nos. 07-07-97600 and 08-07-99007).
Citation: Striletz AS, Khonina SN. Review and study of methods based on differential and in-
tegral operators of laser propagation in media with small inhomogeneities [In Russian]. Computer
Optics 2008; 32(1): 33-38.
References
[1] Korolenko PV. Optics of coherent radiation [In Russian]. [6] Snyder A, Love JD. Optical Waveguide Theory [In Rus-
Moscow: “Nauka” Publisher; 1997. sian]. Moscow: “Radio i svyaz’ ” Publisher; 1987.
[2] Feit MD, Fleck JA. Light Propagation in Graded-Index [7] Methods of Computer Optics. Edited by V.A. Soifer [In
Optical Fibers. Appl. Opt. 1978; 17(24): 3990- 3998. Russian]. Moscow: “Fizmatlit” Publisher; 2003: 688.
[3] Okoshi T, Kitazawa S. The Beam Propagation Method. [8] Korn G, Korn T. Mathematical Handbook [In Russian].
Analysis methods for electromagnetic wave problems. Moscow: “Nauka” Publisher; 1977: 832.
Editor Yamashita E. Artech House 1990; 10. [9] Striletz AS, Khonina SN. Propagation of laser vortex
[4] Huand W et al. The Finite-Difference Vector Beam beams in a parabolic optical fiber using an integral par-
Propagation Method: Analysis and Assessment. J. of axial operator [In Russian]. Computer Optics 2007;
Lightwave Technology 1992; 10(3). 31(4): 33-39.
[5] Lu YY. Some Techniques for Computing Wave Propaga-
tion in Optical Waveguides. Communications in Compu-
tational Physics 2006; 1: 1056-1075.