Файл: Ersoy O.K. Diffraction, Fourier optics, and imaging (Wiley, 2006)(ISBN 0471238163)(427s) PEo .pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 28.06.2024

Просмотров: 4789

Скачиваний: 1

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

226 APODIZATION, SUPERRESOLUTION, AND RECOVERY OF MISSING INFORMATION

Figure 14.5. Deconvolution of blurred 2-D signal: (a) Gaussian blurring function, (b) blurred signal,

(c) recovered signal by deconvolution [Courtesy of Schafer, Mersereau, Richards].

Convex set

Nonconvex set

Figure 14.6. Examples of a convex set and a nonconvex set.

EXAMPLE 14.3 Consider the set S3 of all real nonnegative functions uðx; yÞ (such as optical field amplitude) that satisfy the energy constraint

ðð

juj2 ¼ juðx; yÞj2dxdy E

Show that S3 is convex.

METHOD OF PROJECTIONS ONTO CONVEX SETS

227

Solution: Consider u1; u2 2 S3. For 0 l 1. The Cauchy–Schwarz inequality to will be used to write

jlu1 þ ð1 lÞu2j lju1j þ ð1 lÞju2j lE1=2

Hence, the set is convex.

EXAMPLE 14.4 Consider the set S4 of all real functions in S whose amplitudes must lie in the closed interval [a,b], a < b, and a 0, b > 0. Show that S4 is convex. Solution: For 0 l 1, we write

u3 ¼ lu1 þ ð1 lÞu2 la þ ð1 lÞa ¼ a

for the lower bound, and

u3 ¼ lu1 þ ð1 lÞu2 lb þ ð1 lÞb ¼ b

for the upper bound. Hence, u3 2 S0, and S4 is convex.

14.8METHOD OF PROJECTIONS ONTO CONVEX SETS

The method of POCS has been successfully used in signal and image recovery. The viewpoint is that every known property of an unknown signal u is considered as a constraint that restricts the signal to be a member of a closed convex set Si. For M properties, there are M such sets. The signal belongs to S0, the intersection of these sets:

\M

S0 ¼ Si

ð14:8-1Þ

i¼1

The signal restoration problem is defined as projecting v, the corrupted version of u, onto S0.

Let Pi denote the projector for the set Si. Let us also define the operator Ti by

Ti ¼ 1 þ liðPi 1Þ

ð14:8-2Þ

If ui is the fixed-point of Pi in Si, we get

T

u

¼

u

þ lið

P

u

u

Þ ¼

u

ð

14:8-3

Þ

i

i

i

i

i

i

i


228 APODIZATION, SUPERRESOLUTION, AND RECOVERY OF MISSING INFORMATION

Thus, ui is also the fixed point of Ti. It can also be shown that Ti is contractive if 0 < li < 2. lis are called the relaxation parameters. Note that li ¼ 1 makes Ti equal to Pi. Thus, Ti is a more general operator than Pi. Proper choice of li usually speeds up convergence.

Let T be defined by

T ¼ TmTm 1 . . . T1

ð14:8-4Þ

The following can be shown to be true [Stark]:

1. The iterations defined by

u0 arbitrary

ukþ1 ¼ Tuk

converge weakly to a fixed point in S0. Weak convergence means klim ðuk; wÞ ¼

!1

ðu ; wÞ, 8w 2 S0 where ða; bÞ is the inner product of the vectors a and b. Under

k

j

un

u

j ¼

certain conditions, the convergence is strong, meaning lim

0.

!1

2.li can be changed at each iteration. Let lik denote the value of li at iteration k. For every choice of lik, provided that 0 < lik < 2, the iterations defined by

u0 arbitrary

ukþ1 ¼ Tuk

converge weakly to a fixed point u .

Quite often, the POCS algorithm is used when M ¼ 2. This is especially true when one projection is in the signal domain and the other one in the transform domain. This case is shown in Figure 14.7.

uk

Transform

UK

Transform

domain

constraints

uK+1

Space

u ′

Inverse

domain

k

transform

constraints

Figure 14.7. The POCS algorithm in the transform and signal domains.


OTHER POCS ALGORITHMS

229

There are two possible ways to estimate the optimal values of l1k and l2k for fast convergence. In the first case, l1k is first optimized, and T1 is applied. This is followed by the optimization of l2k and the application of T2. In general, it can be shown that for a linear projector lik ¼ 1, and lik 0 otherwise. In the second case, l1k and l2k can be optimized simultaneously so that T ¼ T2T1 results in minimum error [Stark].

14.9GERCHBERG–PAPOULIS (GP) ALGORITHM

The original GP algorithm is a special case of the POCS algorithm, and uses projectors P1 and P2 in the signal and the Fourier domains, respectively [Gerchberg]. Hence

ukþ1 ¼ P2P1uk

ð14:9-1Þ

where P1 and P2 are defined as follows:

Let A be a region in R2, and S1 be the set of all functions in S that vanish almost everywhere (except, possibly, over a point set of measure zero) outside A. P1 is

defined by

P1u ¼ (

u

ðx; yÞ 2 A

ð14:9-2Þ

0

otherwise

Let S2 be the set of all functions whose Fourier transforms assume a prescribed function Vðfx; fyÞ over a closed region B in the Fourier plane. P2 is defined by

Uðfx; fy

Þ ð

fx; fy

2 B

ð14:9-3Þ

P2u $ ( V

ð

fx; fy

fx; fyÞ

=B

Þ ð

Þ2

It can be shown that both S1 and S2 are convex sets.

14.10OTHER POCS ALGORITHMS

In the GP algorithm, the two projection operators P1 and P2 are with respect to the convex sets S1 and S2 discussed above, respectively. Now, we introduce three more projection operators utilizing convex sets.

Consider the set S3 introduced in Example 14.3. Assume u is complex. It can be written as

u ¼ uR þ juI

ð14:10-1Þ


230 APODIZATION, SUPERRESOLUTION, AND RECOVERY OF MISSING INFORMATION

where uR; uI denote the real and complex parts of u, respectively. xþR is also defined as

u

uR > 0

ð14:10-2Þ

uRþ

¼ 0R

otherwise

The projection operator P3 is defined by

P3u

0

uR < 0

E

14:10-3

¼

8 uRþ

uR > 0; ERþ

ð

Þ

>

> p

:

E=ERþuRþ

uR > 0; ERþ > E

<

where ERþ is given by

ERþ ¼ ðð½uRþðx; yÞ&2dxdy

ð14:10-4Þ

and E is the estimated or known energy of the desired image. ERþ is bounded. Consider the set S4 defined in Example 14.4. The projection operator P4 is

defined by

>

a

u x y

< a

P4u

¼

ð

x; y

Þ

ð

Þ

b

ð

14:10-5

Þ

8 u

; uÞx; y

:

ð

Þ

>

x; y

b

< b

u

Finally, consider the subset S5 of all real nonnegative functions in S. S5 can be

shown to be convex. The projection operator P5 is defined by

P

5

u

¼

uR

uR 0

ð

14

:

10-6

Þ

0

otherwise

where u ¼ uR þ juI as before.

Some examples of the applications of the theory presented above is given in the following sections.

14.11RESTORATION FROM PHASE

For the sake of simplicity, the 1-D case will be discussed below. The signal uðxÞ will be assumed to have a compact support ½ a; a&. The known phase of the FT of uðxÞ is fðf Þ. The amplitude of the signal is to be estimated. It can be shown that the necessary condition for uðxÞ to be completely specified by fðf Þ within a scale factor