Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Оптическая информатика. Конспект лекций [Электронный ресурс] (90

.pdf
Скачиваний:
3
Добавлен:
15.11.2022
Размер:
450.74 Кб
Скачать

21

Т.е. получен более простой, чем для разложения по плоским волнам, вид оператора распространения.

Условие сведения интеграла связывающего комплексную амплитуду поля U0(x,y) в плоскости z=0 с комплексной амплитудой U(x,y,z) в плоскости z с использованием плоских волн к интегралу Кирхгофа (интегралу сферических волн) следующее:

 

 

k >>

1

или

 

>>

1

R >> λ

(2.11)

 

 

R

 

λ

R

Тогда

H (x, y, z) = −

ikz exp(ikR )

и получаем:

 

 

 

 

 

 

 

 

R

 

 

R

 

U(x, y, z) = ∫ ∫U0(x',y ')H (x x ',y y ',z )dx

−∞

где R =

(x x')

+ (y y ') + z

2

.

2

2

 

 

ik

exp(ikR) z

'yd ='−

 

∫ ∫U0 x ( y',

')

 

d x'dy ', (2.12)

 

 

−∞

R

R

 

 

 

 

 

Параболические волны

Рассмотрим сферическую волну:

 

exp(ik

 

 

)

S (x, y, z) = A

x 2 + y2 + z2

 

 

 

 

 

x 2

+ y2 + z2

 

 

в точке (x,y,z), достаточно близкой к оси z, но далекой от начала координат (см.

Рис. 6) .

Рис. 6

В этом случае можно считать, что x 2 + y2 << z . Тогда

 

 

 

 

 

 

 

 

 

x 2 + y2

 

R =

 

= z 1 +

x 2 + y2

= z

 

,

где θ =

<< 1

x 2 + y2 + z2

1 + θ

z2

z2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

22

можно разложить в ряд Тейлора:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

q

 

q2

 

 

 

q

 

x 2

+ y2

 

 

 

 

 

R = z 1 + q = z 1+

 

+

 

+...

» z 1

+

 

= z +

 

 

 

(2.14)

 

 

 

 

 

 

 

 

2 8

 

 

 

2

 

 

 

2z

Подставляя в сферической волне в фазу R = z +

x 2 + y2

 

, а в амплитуду R=z

 

 

 

 

 

 

 

 

 

 

 

2z

 

 

 

 

фазу подставляем более точную аппроксимацию, так как она гораздо сильнее меняется от z), получаем:

 

A

 

x2 + y2

 

 

P( x, y, z) ≈

 

 

exp(ikz)exp ik

 

 

(2.15)

 

 

 

 

z

 

2z

 

 

 

 

 

 

аппроксимацию Френеля сферической волны –

параболическую волну.

Приближение Френеля играет важную роль в теории дифракции.

Параксиальное (параболическое) волновое уравнение.

При рассмотрении пучков когерентного света от лазера, мод свободного пространства или гауссовых пучков, или любых других световых полей с небольшой расходимостью всегда можно выделить из комплексной амплитуды быстро меняющуюся от z составляющие. Считаем что ось z выбрана вдоль направления распространения:

U(x,y,z) = E(x,y,z) exp(ikz).

(3.1)

где E(x,y,z) - медленная меняющаяся от z составляющая, exp(ikz) - быстро меняющаяся от z составляющая, k - волновое число.

Если далее подставить (3.1) в уравнение Гельмгольца (1.3) (будет рассмотрено на практике):

[Ñ2 + k 2 ]U (x, y, z) = 0 ,

то получим уравнение для медленно меняющейся по z амплитуды E(x,y,z) :

 

 

 

 

Ñ2 E(x, y,z) +2ik

E(x, y,z)

+

2E(x, y,z)

= 0

(3.2)

 

 

 

 

z

z2

где Ñ2 =

2

+

2

- поперечный лапласиан.

 

 

 

 

x2

y2

 

 

 

 

Пусть медленно меняющаяся амплитуда удовлетворяет условию

 

 

 

 

 

 

23

2E(x, y,z)

 

<<

2k

 

E(x, y,z)

 

(3.3)

 

 

 

z2

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

тогда вместо (3.2) получим параболическое (или параксиальное) уравнение распространения света

Ñ2 + 2ik

E (x, y, z) = 0 . (3.4)

z

24

Операторы распространение в свободном пространстве.

1) Разложение по плоским волнам (точное)

F(u, v, z) = ∫∫

−∞

(

f (x, y) ∫∫expikz

−∞

1-α 2 - β 2 )exp(ik[α(u - x) + β(v - y])dα d β d x d y

выполняется при условии α2 + β2 < 1 .

М.б. реализовано через два преобразования Фурье:

 

 

 

 

 

F(u, v, z) = ∫∫ ∫∫ f (x, y) exp(-ik[αx + βy])exp(ikz

 

 

 

)exp(ik[αu + βv])dα d β d x d y =

1-α2 - β 2

 

−∞

−∞

 

 

 

 

 

 

 

 

 

 

 

1-α2 - β 2 )exp(ik[αu + βv])dα d β =

= ∫∫

∫∫ f (x, y) exp(- ik[αx + βy])d x d y exp(ikz

−∞

−∞

 

 

 

 

 

 

 

= Á−1

{g(α, β ) ×exp(ikz

 

)}, где g(α, β ) = Á{f (x, y)}

1-α2 - β 2

2) Разложение по сферическим волнам (интеграл Кирхгофа)

 

 

 

z

 

exp(ikR)

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где R =

(x u)

2

+ ( y v)

2

+ z

2

(точное)

F(u, v, z) = −

 

 

f (x, y)

 

 

 

ik

 

d x d y ,

 

 

 

−∞∫∫

 

 

 

 

 

 

 

 

 

 

R2

 

R

 

 

 

 

 

 

 

 

 

 

выполняется при условии α2 + β2 < 1 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

ik

 

 

exp(ikR)

 

z

 

 

 

 

 

 

 

При k >>

 

 

 

F(u, v, z) = −

∫∫ f (x, y)

 

d x d y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

−∞

 

 

R

 

 

R

 

 

 

 

 

 

25

3) Разложение по параболическим волнам (преобразование Френеля):

 

 

 

 

 

((x u)2

+ (y v)2 ) d x d y ,

F(u, v, z) = −

ik

exp(ikz) ∫∫ f (x, y) exp

ik

z

 

 

 

−∞

2z

 

выполняется при условии

 

 

<< z .

 

 

(x u)2 + ( y v)2

 

М.б. реализовано через преобразование Фурье:

 

ik

 

 

ik

 

2

 

2

ik

 

2

 

2

 

 

ik

 

F(u, v, z) = -

 

 

exp(ikz) exp

 

(u

 

+ v

 

) ∫∫ f (x, y) exp

 

(x

 

+ y

 

) exp -

 

(xu + yv) d x d y =

z

 

 

 

 

 

 

z

 

 

 

2z

 

 

 

 

−∞

2z

 

 

 

 

 

 

 

 

 

 

ik

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= Á f (x, y) exp

 

 

(x2

+ y2 )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4) Преобразование Фурье:

 

k

 

ik

 

G(u,v) =

 

∫ ∫ g(x, y) exp −

 

( xu + yv) d xd y = {g(x, y)}

 

 

 

f

−∞

 

f

 

1D случай

Точное:

F(u, z) =

−∞

 

 

α 2 < 1

 

f (x) exp(ikz

1-α2 )exp[ikα(u - x)]dα d x ,

−∞

 

 

 

или

 

 

H1(1) (kR)

 

 

 

 

exp(ikR)

 

 

 

 

 

 

 

ikz

kR→∞

 

ik

 

 

 

 

 

 

 

 

 

 

 

 

2

 

2

 

F(u, z) =

 

 

f (x)

 

d x

¾¾¾® z

-

 

 

f (x)

 

 

 

d x ,

R =

(x -u)

 

+ z

 

,

2

 

 

 

 

 

 

 

 

 

−∞

R

 

 

 

−∞

R R

 

 

 

 

 

 

H1(1) (x) - функция Ханкеля

Интеграл Френеля:

 

 

 

 

ik

 

 

 

 

 

ik

 

 

2

 

 

 

 

 

F(u, z) = -

 

 

exp(ikz) f (x) exp

 

(x -u)

 

d x , x u << z

z

 

 

 

 

 

−∞

 

2z

 

 

 

Преобразование Фурье:

 

 

 

 

 

 

 

 

 

k

 

ik

G(u) =

 

 

g(x)exp -

 

xu d x = Á{g(x)}

 

 

 

 

f

 

−∞

 

f

 

26

Итерационный подход к расчету ДОЭ

Развитие данного подхода связано с постоянным повышением быстродействия средств вычислительной техники, а также с высоким качеством ДОЭ, рассчитанных с помощью данного подхода. Хорошо исследованы вопросы, связанные с условиями сходимости и применимости итерационных процедур. На риc. 1 представлена в самом общем виде схема организации итерационного процесса расчета функции пропускания ДОЭ:

 

 

Наложение

 

 

 

Обратное

 

Tn( x )

ограничений в

 

 

 

преобразование

 

 

 

фокальной

 

 

 

Фурье или

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Прямое

 

 

 

Наложение

 

Tn+1( x )

 

преобразование

 

 

 

ограничений в

 

 

 

Фурье или

 

 

 

фокальной

 

 

 

 

 

 

 

 

 

Рис. 1 Схема организации итерационного процесса

Математическим обоснованием построения итерационного процесса расчета дифракционных оптических элементов служит, как правило, либо последовательное построение проекций на замкнутые множества, соответствующие ограничениям, накладываемым на функцию пропускания элемента в фокальной плоскости и плоскости элемента (H.Stark, A.Levi, 1984), либо широко известная градиентная процедура поиска функции (Воронцов, Сивоконь).

В наиболее простом и часто используемом случае, когда объект задан своим амплитудным распределением, для расчета голографического элемента может быть применена итерационная процедура, известная как процедура уменьшения ошибки Фьенапа (J.R. Fienup, 1984). Заданное амплитудное распределение дополняют какой-либо стохастической или специально рассчитанной детерминированной фазой и осуществляют пересчет в плоскость голограммы. Получившееся амплитудное распределение в плоскости голограммы заменяют на амплитудное распределение освещающего пучка и осуществляют обратный пересчет. Фаза восстановленного объекта является дополнением исходного амплитудного распределения на следующей итерации. Фьенапом было показано, что такая процедура обладает свойством невозрас-

27

тания ошибки.

Отметим, что расчет киноформа можно интерпретировать как результат работы нулевой итерации итерационного расчета фазовой голограммы объекта, заданного амплитудным распределением.

В случае, если исходный объект задан амплитудно-фазовым распределением, итерационная процедура может использоваться для сведения комплексной функции пропускания к фазовой или амплитудной путем итерационного формирования вспомогательных элементов в плоскости восстановления объекта.

ДОЭ, рассчитанные с помощью применения итеративного подхода, обладают высокой энергетической эффективностью и относительно небольшой ошибкой формирования заданного распределения. К недостаткам итерационного подхода можно отнести большие вычислительные затраты, а также то, что после 10-30 итераций работы итерационной процедуры начинается фаза стагнации, когда дальнейшее увеличение числа итераций не приводит к заметному снижению ошибки формирования заданного распределения. Общим недостатком фазовых ДОЭ, рассчитанных с помощью итеративного подхода и киноформа, являются технологические проблемы изготовления, возникающие из-за крайне нерегулярной фазовой структуры этих элементов.

1. Алгоритм уменьшения ошибки

Ниже рассматриваются алгоритмы решения нелинейного интегрального уравнения Френеля, предназначенного для расчета фазовых оптических элементов, формирующих произвольное заданное распределение интенсивности когерентного монохроматического света в некоторой плоскости, перпендикулярной оптической оси.

Свет считается монохроматическим и когерентным, если его можно описать некоторой комплексной функцией, удовлетворяющей уравнению Гельмгольца.

Изучаемые алгоритмы являются адаптивными, т.к. новая оценка искомой функции на каждой итерации выбирается не только в соответствии с требуемой функцией интенсивности, но и в зависимости от предыдущей оценки.

Эти алгоритмы называются также параметрическими, т.к. скорость их сходимости зависит от выбора конкретных значений некоторых весовых или регуляризационных параметров.

В рамках скалярной теории дифракции комплексная амплитуда света в

28

плоскости оптического элемента

W (u,v) = A(u,v)eiϕ(u,v )

связана с комплексной амплитудой света

F(ξ, η) = B (ξ, η)eiψ (ξ,η)

вплоскости наблюдения, в которой формируется требуемое распределение интенсивности I0(ξ,η), через интегральное преобразование [2.70]

 

 

 

 

 

 

 

F (ξ, η) =

ik

eikz ∫∫ W (u,v)H (u − ξ,v − η, z )dudv ,

 

(2.1)

z

 

 

−∞

 

 

 

 

 

 

 

 

 

 

 

 

где H (u − ξ,v − η, z ) = exp

ik

{(u − ξ)2 + (v − η)2 }

(2.2)

 

 

 

 

 

 

 

 

 

 

 

2z

 

 

 

это функция импульсного отклика свободного пространства в приближении Френеля, z - это расстояние между ДОЭ и плоскостью наблюдения, k=2π/λ - волновое число света для длины волны λ . В уравнении (2.1) комплексная амплитуда W(u,v) в приближении тонкого оптического элемента (приближение транспаранта), которое не учитывает рефракцию лучей, равна произведению комплексной амплитуды W0(u,v) освещающего света на собственную функцию пропускания τ(u,v) ДОЭ:

W (u,v) = W 0 (u,v)τ(u, v).

(2.3)

Рис. 2.1 Схема формирования изображения при помощи ДОЭ Ввиду того, что в последующем мы предполагаем рассматривать только

фазовые оптические элементы (если не указано иначе), функция пропускания ДОЭ выбрана в виде:

29

τ(u,v) = eig(u,v ) ,

(2.4)

где g(u,v) - заданная фаза ДОЭ. Для иллюстрации вышеуказанных обозначений следует обратиться к рис. 2.1. Задачу расчета фазовой функции ДОЭ g(u,v) можно свести к решению нелинейного интегрального уравнения

I 0 (ξ, η) =

 

F (ξ, η)

 

 

(u,v)eiϕ( u,v ) H (u − ξ,v − η, z )dudv

 

2

 

 

 

 

 

 

 

 

2 =

∫ ∫ A0

 

,

(2.5)

 

 

 

 

 

 

 

−∞

 

 

 

 

где I0(ξ,η) - заданная интенсивность в области изображения, A0(u,v) - амплитуда освещающего пучка, ϕ(u,v)=g(u,v)+g0(u,v), где g0(u,v) - фаза освещающего пучка. Итеративный метод расчета фазы ϕ(u,v), а в месте с ней фазы g(u,v), состоит в решении уравнения (2.5) методом последовательных приближений. Алгоритм Герчберга-Секстона (ГС), или алгоритм уменьшения ошибки[2.14], включает следующие шаги (см. его схему на рис. 1):

1)выбирается начальная оценка фазы ϕ0(u,v);

2)осуществляется интегральное преобразование функции A0(u,v)exp[iϕ0(u,v)] при помощи уравнения (2.1);

3)результирующая комплексная амплитуда F(ξ,η) в плоскости формирования изображения заменяется на F (ξ, η) по правилу

 

 

(ξ, η) = B0 (ξ,η)F (ξ, η)

 

F (ξ,η)

 

−1 ,

(2.6)

 

F

 

 

где B0 (ξ,η) = I 0 (ξ,η) ;

4) вычисляется преобразование, обратное (2.1) относительно функции

F (ξ, η) :

 

 

 

W (u,v) =

ik

eikz ∫∫

 

(ξ,η)H * (ξ − u,η − v,z )dξdη ;

(2.7)

F

z

 

−∞

 

 

 

 

5) полученная комплексная амплитуда W(u,v) в плоскости ДОЭ заменяется на W (u, v) по правилу:

 

 

 

(u,v)W (u,v)

 

W (u,v)

 

−1

,(u,v) Q ,

 

 

 

 

 

 

 

W

(u,v) = A0

 

 

 

(2.8)

 

 

(u,v) Q

 

 

 

 

 

 

 

 

 

 

0,

 

 

 

где Q - форма апертуры ДОЭ;

30

6) переход к шагу 2).

Эта процедура повторяется до тех пор, пока ошибки δF и δW не перестанут значительно меняться:

δ2

=

 

∫∫[

 

F (ξ, η)

 

B0 (ξ,η)]2 dξdη

 

 

 

 

 

−∞

 

 

 

,

(2.9)

 

 

 

 

 

 

F

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

∫∫ B02 (ξ, η)dξdη

 

 

 

 

 

 

 

 

−∞

 

 

 

 

 

 

 

 

δ2

=

 

∫∫[

 

W (u, v)

 

A0 (u,v)]2 d ud v

 

 

 

 

 

−∞

 

.

(2.10)

 

 

 

W

 

 

 

 

 

 

A02 (u,v)dudv

 

 

 

 

 

 

 

 

∫∫

 

−∞

Алгоритм ГС называют алгоритмом уменьшения ошибки потому, что было показано [4], что ошибки (2.9) и (2.10) с ростом числа итераций не возрастают. Кроме того, было показано, что алгоритм ГС является вариантом градиентного метода [5] или градиентного метода наискорейшего спуска [6], при помощи которого можно минимизировать функционал среднеквадратичного отклонения амплитуды восстановленного изображения от заданного значения

ε0 = ∫∫[

 

F (ξ,η)

 

B0 (ξ,η)]2 dξdη .

(2.11)

 

 

−∞

 

Заметим однако, что процесс сходимости алгоритма ГС характеризуется эффектом стагнации: в ходе нескольких начальных итераций ошибка δF (или

δW) быстро уменьшается, а все последующие итерации не приводят к ее заметному уменьшению. Эффект стагнации показывает, что алгоритм достигает локального минимума функционала (2.11) и в этом смысле он является квазиоптимальным. Чтобы увеличить скорость сходимости процедуры и частично избежать эффекта стагнации, используется целый ряд адаптивных алгоритмов, в которых вводятся некоторые параметры, контролирующие скорость сходимости. Поэтому иногда эти алгоритмы называют параметрическими.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]