Escolar Documentos
Profissional Documentos
Cultura Documentos
– Derivation
Coupled modes
Motivation
We have found that Fourier propagation in free space,
Bloch modes in multi-layer media and modal propagation
in waveguides are all variations of the eigenmode
expansion method. The only requirement was that we
could solve the wave equation for a set of modes that
propagated into the material with only an eigenvalue e-j β z.
We have shown that these functions must form a complete,
orthogonal set and thus any field can be broken down into
a set of amplitudes (aka “transformed into the eigemode
basis”) and propagated arbitrarily far using the eigenvalue
spectrum, β.
Coupled modes
Foundation
Recall the solution for propagation in a homogeneous space
E ( t, x, y, z ) = F −1
txy {F txy ⎡⎣ E ( t, x, y,0 ) ⎤⎦ e
Solutions of Booker quartic
(
− jkz ω ,kx ,ky z )
}
We then let there be a inhomogeneous perturbation:
! ! ! ! ! !
(
D = ε 0ε H ∗t E + PIH ) where
! !
PIH ( t, r ) = ε 0ε IH ( t, r ) ∗t E ( t, r )
resulting in the inhomogeneous wave equation
Unperturbed wave equation Perturbation driving scattering
! 1 ∂2 ! ∂2 !
∇ × ∇ × E + 2 2 ε H ∗E = − µ0 2 PIH (t , x, y, z )
c ∂t ∂t
and we then used the method of “undetermined coefficients” in which the amplitudes
of the unperturbed eigenfunctions are allowed to vary with distance:
E ( t, x, y, z ) = F { ε (ω , k , k , z ) e ( }
!
−1 )
− jkz ω , kT z
txy x y
Which yielded an ordinary DE for the variation of these amplitudes with distance z:
dε dε !
{ (t, x, y, z )} e
2 2
k
− 2 jk =− F 0
P jkz z
dz 2
dz εz
0
txy IH
Coupled modes
Set up and notation
To get the k-space (aka “Born”, “undepleted pump”, “first-order perturbation”,
“single scattering limit”) solution, we assumed a) slowly varying envelopes such
that
Envelope of the field (e-j kz z factored out)
d2 ε d
<< 2k z
ε
aka “modal amplitudes” of the plane wave modes.
dz 2 dz
and b) that the incident field was unperturbed such that
! ! !
PIH (t , r ) ≈ ε 0ε IH (t , r )∗t E 0 (t , r )
which allowed us to write the simple DE for the envelope of the diffracted (aka
“scattered”, “first perturbation term”) field
dε1
2 jkz = k02 Ftxy {ε IH ( t, x, y, z ) ∗t E 0 ( t, x, y, z )} e jkz z
dz
Total incident field (has plane-wave carrier)
First, let’s write the FT as a general transform to a set of eigenfunctions of the wave
equation: Amplitudes of modes Eigenfunction of WE, inc bound
E (t , x, y ) = ∫∫∫ε (ω ′, k x′ , k ′y )Ψ (t , x, y;ω ′, k x′ , k ′y )dω ′ dk x′ dk ′y
= ε (ω , k , k )
x y
Orthogonality of modes
ε (ω , k , k ) = Ψ (t , x, y;ω , k , k ) E (t , x, y )
x y x y Expansion of E(t,x,y) in modes Ψ
Coupled modes
Typical applications
The functions Ψm(t,x,y) + Ψ(t,x,y;w,kx,ky) are the complete set of
eigenmodes of the “unperturbed” system. Examples:
Ftxy { E } = Ψ E = ∫∫∫ E ( t, x, y, z ) e (
− jω t+ j kx x+ky y )dtdxdy
The projection into these modes generally has no simple numerical form such as the
FFT
ε m = Ψm (t , x, y ) E and ε (ω, k , k ) = Ψ (t , x, y;ω, k , k ) E
x y x y
1 1
m=0 m=1
N=1.59488 N=1.57961
E [AU]
E [AU]
0 0
-10 -5 0 5 10 -10 -5 0 5 10
x [µm] x [µm]
Coupled modes
Derivation (1)
We can thus rewrite our first-order DE for the amplitudes with the
notation changes
Single subscript m represents the
ε m = Ψm (t , x, y ) E discrete mode numbers plus all of the
the continuous radiation modes.
kz ⇒ β
as Inhomogeneous polarization created
d εm
by total field E and inhomogeneous
εIH projected
2 j βm = −k02 Ψm ε IH E e jβ m z dielectric perturbationinto mode Ψm
dz
There’s no new physics in this yet. Note that the only approx is the
SVEA. The equation states that the amplitude of the mth mode of the
electric field grows in proportion to the polarization field generated by the
total electric field E projected onto the mth mode, Ψm. The trouble is, we
still don’t know the evolution of the total field E. Let’s approximate E as
a discrete sum of a finite number of eigenmodes with amplitudes that are
allowed to vary in z:
E (ω , x, y, z ) ≈ ∑ ε i (z )Ψi (ω , x, y )e − jβ i z
Same method used for k-
space derivation
i
and substitute this into our equation for the envelope of mode m, above
d εm
dz
=−j
k02
∑
2β m i
Ψm ε IH Ψi ε (z )e (
i
j β m − β i )z
ENVELOPE
FORM OF CM
= − j ∑ κ m ,i (z )ε i (z )e j (β m − β i )z
EQUATIONS
i
k02
where the mode coupling constant κ is defined κ m,i (z ) ≡ Ψm ε IH Ψi
2β m
Robert R. McLeod, University of Colorado 342
• Coupled modes ECE 6006 Numerical Methods in Photonics
– Derivation
Coupled modes
Derivation (2)
If the perturbation εIH is independent of z then κm,i is a constant. It would
be nice to have only ordinary, constant coefficient differential equations
in this case. Thus, the coupled mode equations are usually written in
terms of the field amplitude with the plane-wave carrier included:
u m ( z ) ≡ ε m ( z ) e − jβ m z
which puts the coupled-mode equations in their FIELD form:
d um k02
= − jβ mum (z ) − j ∑ κ m ,i (z )ui (z ) κ m , i (z ) ≡ Ψm ε IH Ψi
dz i≠m
2β m
d εm
= − j ∑ κ m ,i (z )ε i (z )e j (β m − β i )z ENVELOPE FORM
dz i
• Each modal envelope is driven by all the others through a complex coupling
coefficient
κ m , i ( z )e
j (β m − β i )z
• If this coefficient is real and constant in z, the envelope εm will grow linearly
with distance, assuming the envelope εi is undepleted. This is our k-space
solution.
• For self coupling (κm,m) the coupled field is in quadrature with the incident, so
the amplitude is conserved but the phase changes, essentially changing βm.
• To be real and constant, the perturbation must be Bragg matched (aka
“conserve momentum”, “phase-matched”)
! ! !
κ m,i ( )
z ∝e − j (β m − β i )z or K = k Diff − k Inc which is Bragg matching
1+ γ 2 κ
Coupling vs. distance
1
I0
I / I0(0)
Zc
γ=0
I1
γ=1
0 γ=10
0 1 2 3 π
zg
Robert R. McLeod, University of Colorado 344
• Coupled modes ECE 6006 Numerical Methods in Photonics
– Solutions
k0 Ψ0 (x − 5µm) ε IH (x ) Ψ0 (x + 5µm)
κ (z ) ≡
2 N eff Ψ0 Ψ0
Normalization
1
NA = δε = 0.173
V = 4.36 = .0002329 µm -1 Via numerical
integration
Ψ0 (x )
N eff = 1.50914
π
Zc = = 6.745 mm
2κ
0
-10 -5 0 5 10
x [µm]
Ψ0 (x − 5) cos(κ z ) − Ψ0 (x + 5) sin(κ z )
0
20
20
Slight inaccuracy of
coupled modes:
ε IH (x )
modes isolated
guides are slightly
narrower than those
10
10
of the 2-guide
system, which will
x [μm]
overestimate the
coupling length.
00
Assumption of
coupled modes is
that coupling is -10
-10
Coupled mode
vs. BPM
Create two appropriate slab guides in 1+1 D BPM. Let’s assume we
don’t have a general mode solver around, so we’ll use the analytic result
of the variational technique to pick the best Gaussian to launch:
ρ 4
r0 = = = 2.18 µ m
V −1 4.36 − 1
Expect V/(π/2)+1 = 3 modes. Z c ≈ 6.9 mm
“Fuzz” is higher-order excitation.
It’s odd, so excited some m=1.
20
2 10
⎛ x −5 µ m ⎞
−⎜⎜ ⎟⎟
⎝ 2.18 µ m ⎠
e
x [µm]
0
Higher order
modes are more
tightly confined
and thus coupling -10
distance is
predicted to be
longer.
-20
0 2 4 6 8 10
Robert R. McLeod, University of Colorado
z [mm] 346
• Coupled modes ECE 6006 Numerical Methods in Photonics
– Solutions
Coupled mode
vs. Eigenmode expansion
Use single slab waveguide solver to find properties of both guides
E [AU]
0
-3 0
-15 -10 -5 0 5 10 15 -15 -10 -5 0 5 10 15
x [µm] x [µm]
ΨS (x)e− jk0 NS z + ΨAS (x)e− jk0 N AS z
20
20
k 0 N A Z c − k 0 N AS Z c = π
∴
λ0 10
10
Zc = = 6.651 mm
2 ΔN
x [µm]
This solution is 00
exact. Note
however it
depends on
accuracy of N -10
-10
quite critically.
-20
-20
00 2
2 44 6
6 8
8 10
10
z [mm]
Robert R. McLeod, University of Colorado 347
• Coupled modes ECE 6006 Numerical Methods in Photonics
– Solutions
I0,4
• Similarly, if these coupled modes
I1,3
were plane waves in a volume
0
hologram, we could write for β
0 2 4 6 8 and κ analytically.
z κ
I/I0
I1,5
I0,5
I2,6
I2,4
I3,5
I0,8
I1,7
0 0
0 5 10 15 0 5 10 15
z κ
z κ
These should be periodic on a longer distance scale.
I (5 mm)
0
I/I0 , δn
0
-60
-60 -40 -20 0 20 40 60
x [µm]
0 1 2 3 4 5
z [mm]
I/I0 , δn
0
-60 -40 -20 0 20 40 60
x [µm]
-60
0 1 2 3 4 5
z [mm]
Robert R. McLeod, University of Colorado 349
• Coupled modes ECE 6006 Numerical Methods in Photonics
– Solutions
1+ γ 2 ⎝ 2 ⎠
I diff (z ) ≡ u diff (z )
2
=
sin 2 (g z ) (β inc − β diff ) 2
γ ≡
1+ γ 2 κ
If the coupling is weak (κ << 1) these become
cos 2 (g z ) + γ 2 γ2
I inc (z ) = ⎯κ⎯
⎯→ 2 = 1 Incident is not depleted
1+ γ 2 →0
γ
sin 2 (g z ) (g z ) = (κ z )2
2
Diffracted field grows
I diff (z ) ≡ u1 (z )
2
= ⎯⎯ ⎯
κ →0
→ linearly with z
1+ γ 2 γ2
which is the k-space solution
k-1
0.1 ko
K β
I/I0
0.01 k1
k2
0.001
0 100 200 300 400 500
z [µm]
⎛ 2π ⎞ ⎛ λ ⎞
λ0 = 1 µm, Λ = 5 µm, n = 1.5 + .01 cos⎜ x ⎟,θ inc = sin −1 ⎜ ⎟
1 ⎝ Λ ⎠ ⎝ 2Λ ⎠
0.001
0 100 200 300 400 500
z [µm]
Robert R. McLeod, University of Colorado 351
• Coupled modes ECE 6006 Numerical Methods in Photonics
– Solutions
u0
0.1
I/I0
u1
0.01
z
0.001 u2
0 100 200 300 400 500
z [µm]
kx
⎛ 2π ⎞ ⎛ λ ⎞
λ0 = 1 µm, Λ = 10 µm, n = 1.5 + .05 cos⎜ x ⎟,θ inc = sin −1 ⎜ ⎟
1 ⎝ Λ ⎠ ⎝ 2Λ ⎠
k-1
ko
0.1 K β
I/I0
k1
0.01 k2
0.001
0 100 200 300 400 500
z [µm]
⎛ 2π ⎞ ⎛ λ ⎞
λ0 = 1 µm, Λ = 10 µm, n = 1.5 + .01 cos⎜ x ⎟, θ inc = sin −1 ⎜ ⎟ As δn increases, coupling
1 ⎝ Λ ⎠ ⎝ 2Λ ⎠
length Zz decreases,
suppressing Bragg
0.1 mismatching of higher
orders. Note breakdown
I/I0
of basic periodicity in δn
0.01 = .01 case, left.
0.001
0 100
200 300 400 500
z [µm]
Robert R. McLeod, University of Colorado 352
• Summary ECE 6006 Numerical Methods in Photonics
≈
ε ( z + Δz ) − ε ( z − Δz )
m m
2Δz
ε ( z + Δz ) = ε ( z − Δz ) − 2 jΔz∑ ε ( z )κ ( z ) e (
m m i m,i
j β m − β i )z
i≠m
This allows us to advance the envelope of the modal fields in z. We need to keep
at least two space steps (z and z – Δz). Let’s first try this for a small number of
waveguide modes…
• Exact solution from previous (solid lines), FD solution with Δz = 1 µm, points.
• Execution time for 500 iterations in Mathematica = 0.11 seconds
⎛ 2π ⎞ ⎛ λ ⎞
λ0 = 1 µm, Λ = 10 µm, n = 1.5 + .01 cos⎜ x ⎟, θ inc = sin −1 ⎜ ⎟
⎝ Λ ⎠ ⎝ 2Λ ⎠
1
0.1
I/I0
0.01
0.001
0 100 200 300 400 500
z [µm]
k02
κ m ,i ( z ) ≡ Ψi ε IH Ψm
2k z , m
k02 ( ) ( )
∫∫ e ε IH (x, y, z )e
− j k x ,i x + k y ,i y j k x ,m x + k y ,m y
= dx dy
2 k z (k x ,m , k y ,m )
k02 ( )
j (k x ,m − k x ,i )x + j k y ,m − k y ,i y
= ∫∫ e ε IH (x, y, z )dx dy
2 k z (k x ,m , k y ,m )
k02
= ε IH (k x ,m − k x ,i , k y ,m − k y ,i , z )
2 k z (k x ,m , k y ,m )
This is an intriguing equation. Let’s compare to the forward k-space equation from
earlier.
! !
ε (k , k , L) = − j
1
x y
k02 L
2 k 2 − kx2 − ky2
ε IH ( kDiff − kInc )ε 0
We see, again, that the object can be decomposed into a set of gratings via the FT.
Each of those gratings scatters the incident field into the diffracted if and only if
momentum is conserved. That is
! ! ! ! ! !
k Obj = kDiff − kInc kDiff = kInc + k Obj
The main difference with the coupled mode approach is that we are letting each
infinitesimal layer z diffract, changing the magnitude of the envelopes
Robert R. McLeod, University of Colorado R.K. Kupka, J. Opt. Soc. Am. A, V12, N2, Feb 1995, pg 404 355
• K-space BPM ECE 6006 Numerical Methods in Photonics
K-space BPM
Let’s plug this coupling constant for the complete set of Fourier envelopes into the
coupled-mode equations
(
d ε kx,m , ky,m , z ) =−j
dz
∑ ∑ κ (k x,m , ky,m , kx,i , ky,i , z )ε ( k x,i )
, ky,i , z e (
j kz ,m −kz ,i )z
kx ,i ky,i
i≠m
∑ ∑ ε (k )ε ( k )
k02
, ky,i , z e (
j kz ,m −kz ,i )z
=−j − kx,i , ky,m − ky,i , z
(
2kz kx,m , ky,m ) kx ,i ky,i
i≠m
IH x,m x,i
(
d u k x,m , k y,m , z ) = − jk ( k )( ) ) ( ) ( )
k02
, k y,m u k x,m , k y,m , z + j ε IH kx , ky , z ∗kx ,ky u kx,i , ky,i , z
dz
z x,m
(
2kz k x,m , k y,m
which now looks remarkably like our k-space equation except the field amplitudes
are allowed to vary in the propagation direction. Note that we can’t quite implement
the entire process as a convolution. If we could, then it would be possible to
transform back to real space and use multiplication.
In summary, we see that every plane wave component i scatters into every other
plane wave component m with a strength proportional to the Fourier transform of the
inhomogeneity evaluated at k x ,m − k x ,i and z.
kx kx
ki ki
ε IH (k x ,1 − k x ,i , z )
kz kz
k1 k1 ε IH (k x , 2 − k x ,i , z )
k2 k2
k z ,i − k z , 2
Robert R. McLeod, University of Colorado 356
• K-space BPM ECE 6006 Numerical Methods in Photonics
K-space BPM
Algorithm
For convenience, write the sum on the RHS as a single subscript i. We can then
formulate the equation as a matrix multiply.
!
ε(
d km , z )
dz
=−j
k02
∑
2kz,m i
(
ε IH kx,m − kx,i , ky,m − ky,i , z )ε ( j ⎡ k −k ⎤ z
)
kx,i , ky,i , z e ⎣ z ,m z ,i ⎦
This is our typical transcendental problem. Consider a small step in z such that the
envelopes on the RHS do not significantly change that is, make the Born
approximation but only for a finite step in z. Perform the integral in z and cast it as
a Fourier transform via the same trick used for the k-space derivation:
! ⎧ ⎡ z- ( z ′ + Δz / 2 ) ⎤ ⎫ Assumed constant
( )
ε IH k, z ′ ≡ F xyz ⎨ε IH ( x, y,z ) rect ⎢
⎣ Δz ⎥⎬
⎦
so taken outside FT
⎩ ⎭ integral
! !
ε( ) (
km , z ′ + Δz = ε km , z ′ − j ) k02
2kz,m i
( ) ( )
∑ ε IH kx,m − kx,i , ky,m − ky,i , kz , z′ kz =kz ,m −kz ,i ε kx,i , ky,i , z′
! ! ! ! !
(
= ε km , z ′ − j ) k02
2kz,m i
∑ ( ) ( ) ( )
ε IH km − ki , z ′ ε kx,i , ky,i , z ′ = ε km , z ′ − j κ ε ki , z ′( )
Phase matching for two cases |εIH(Kx,Kz)|
kx kx
! !
km km
Kz [1/µm]
kz kz
! !
km ki
! !
ki km
357
Robert R. McLeod, University of Colorado Kx [1/µm]
• K-space BPM ECE 6006 Numerical Methods in Photonics
! !
!
nIH ( r ) = δ n cos K ⋅ r( )
! !
!
( ) ( )
!! !!
ε IH ( r ) = 2n0δ n cos K ⋅ r = n0δ n e − jK⋅r
+e jK⋅r
!
( ) ( ) (
ε IH k, z ′ = n0δ n Δz δ ( kx ± K x )δ ky ± K y sinc ( kz ± K z ) Δz2 e ( z z )
j k ±K z ′
)
In BPM implementation using fields, final exp(j kz z) term dropped.
Kz
2π Δz
Kx
k x k0
k z k0
Robert R. McLeod, University of Colorado 358
• K-space BPM ECE 6006 Numerical Methods in Photonics
K x k0
!
! k +1 !
K x 2k0 k1
K
! !
θ1 K k0
kz kz
θ0
! !
−K x 2k0 k0 ! −K
k −1
− K x k0
K x k0
K x 2k0
− K x k0 K x k0 = 0.213
k x,i / k0
− K x 2k0
Robert R. McLeod, University of Colorado 359
• K-space BPM ECE 6006 Numerical Methods in Photonics
Incident beam =
Gaussian with w0
= 200 mirons
E ( kx , z )
λ0 = 532 nm
n0 = 1.5 Diffracted
L = 500 µm
δ n = λ0 cos
2L
θ0
= 5.3066 × 10 −4
Λ = 2.5 µm
θ 0 = sin −1 ( λ0 2n0 Λ ) Incident
δ x ≈ 1µ m
δ z = 2.5 µ m
kx
!
k1
!
θ1 K
kz
θ0
!
k0
PInc ≠ 0
η = sin 2 ⎜ 1+ ⎜ ⎟ ⎟ ⎜ cosθ ⎜⎝ 2κ ⎟⎠ ⎟
1+
⎝ cosθ i cosθ d cosθ d ⎝ 2κ ⎠ ⎠ ⎝ d ⎠
1.0
kL
2p
0.6 pê2
pê4
h
0.4
0.2
0.0
-10 -5 0 5 10
cosqi Dk
kx
cosqd k
K x 2k0 !
k1
! Z Bragg mismatch for angular tuning
θ1 K
kz Δk = n0 k0 ⎡⎣ cos (θ 0 + δθ ) − cos (θ 0 ) + cos (θ 1 + δθ ) − cos (θ 1 ) ⎤⎦
θ 0
!0
−K x 2k0 k
πδn
κ=
cosθ 1λ0
1.0
kL
2p
0.6 pê2
pê4
h
0.4
0.2
0.0
-10 -5 0 5 10
cosqi Dk
cosqd k
Matches k-space in
weak limit
k-space still
reasonably
accurate at 100%
efficiency
!
k1
θK
θ 1
! kz
K
!0 θ
0
tan θ K = K z K x k x,i / k0
⎛ λ ⎞ ⎛K ⎞
θ 0 = − sin −1 ⎜ 0 ⎟ − tan −1 ⎜ z ⎟
⎝ 2nΛ ⎠ ⎝ Kx ⎠
Grating efficiency now correct with grating slant.
⎛ λ ⎞ ⎛K ⎞
θ 1 = + sin −1 ⎜ 0 ⎟ − tan −1 ⎜ z ⎟
⎝ 2nΛ ⎠ ⎝ Kx ⎠
Solves 1/cos(θ) problem of BPM
!
ε IH ( ) (
k, z ′ = n0δ n Δz δ ( kx ± K x )δ ky ± K y sinc ( kz ± K z ) ) (Δz j( kz ±K z )z ′
2 )e
! ⎡ 2π 2π ⎤
K=⎢ , ⎥
⎣ 2.5 µ m 25 µ m ⎦
δ z = 2.50 µ m
δ z = 1.25 µ m
! ! ! !
ε( km , z ′ + Δz )=ε( )
km , z ′ − j
k02
(
∑ IH m − ki , z′
2kz,m i
ε k )ε ( k x,i , ky,i , z ′ )
Born approximation
Perturbation series will add power proportional to z step size.
This problem is worse for dense coupling (e.g. waveguide).
Robert R. McLeod, University of Colorado 366