1. Introduction
Photonic crystals (PC) are periodic structures with variation of the refractive index in one, two or three spatial dimensions. The dynamic development of experimental and theoretical works on photonic crystals has been launched by Yablonovitch [1],[2] and John [3] publications, although the idea of periodic structures had been known since Rayleigh [4].
The main properties of photonic crystals stem from the existence of frequency ranges for which the propagation of electromagnetic waves in the medium is not permitted. These frequency ranges are commonly known as photonic band gaps and give the ability to modify the structure parameters, e.g., group velocity, coherence length, gain, and spontaneous emission. Photonic crystals’ properties are beneficial for both passive and active devices. This Chapter is devoted especially to the latter.
1.1. Two-dimensional photonic crystal lasers
Photonic structures are becoming more and more important component of light generating devices. They are used in lasers as mirrors [5],[6], active waveguides [7], coupled cavities [8], defect microcavities [9],[10], and the laser active region [11].
Lasers with defects within two-dimensional photonic crystals are known for their high finesse [12] and very low threshold [13].
Photonic crystal band-edge lasers allow to obtain edge [11] and surface emission [14],[15] of coherent light from large cavity area. These devices are able to emit single mode, high-power electromagnetic radiation by utilizing the presence of band-edge in the photonic band structure [16],[17]. They also allow to control the output beam pattern by manipulation of the structure geometry [18],[19], provide low threshold [20], and beams which have small divergence angle and can be focused to a size less than the wavelength [21]. Recently, the operation of PC lasers as an on-chip dynamical control of the emitted beam direction have been demonstrated [19],[22].
The photonic crystal structures lasing wavelengths span from terahertz [23]-[25], through infrared [26],[27] to visible [21],[28],[29].
1.2. Modeling of photonic crystal lasers
Laser action in photonic crystal structures has been theoretically studied and centered on the estimation of the output parameters e.g., [30],[31], and models describing light generation processes e.g.,[32]-[34]. The most general semi-classical model of light generation in photonic structures is presented in [34], where the description of one-, two-, and three-dimensional structures is given.
Theoretical analysis of photonic crystal lasers based on two-dimensional plane wave expansion method (PWEM) [15],[35]-[37] and finite difference time domain method (FDTD) [35],[38]-[40] confirm experimental results. Nevertheless these methods suffer from important disadvantages, i.e., plane wave method gives a good approximation for infinite structures, whereas finite difference time domain method is suited for structures with only a few periods and consumes huge computer resources for the analysis of real photonic structures. Therefore these methods are not very convenient for design and optimization of actual photonic crystal lasers. Hence, different, less complicated methods of analysis of two-dimensional photonic crystal lasers are being developed. These methods are meant to effectively support the design process of such lasers. They are based on a coupled-wave theory (CWT) [15],[41] and focused on square and triangular lattice photonic crystals e.g., [32],[33],[42]-[48]. Most of the works e.g., [32],[42]-[46] contain a mathematical description and numerical results of the threshold analysis of two-dimensional (2-D) square and triangular lattice photonic crystal laser with TM and TE polarization. They introduce general coupled mode relations for a threshold gain, a Bragg frequency deviation and field distributions, and give calculation results for some specific values of coupling coefficients. Further, in [42] the effect of boundary reflections has been investigated, and it has been shown that the mode properties can be adjusted by changing refractive index or boundary conditions. In, [46], the achievements of these works were summarized and supplemented with the analysis for the wide range of coupling coefficient. These studies concerned structures which were infinite in the direction normal to the 2D PC plane. This approach was improved and presented in [47], where a three-dimensional (3D) couple wave model was shown. This theory addressed some key issues in a modeling of threshold operation of surface-emitting-type PC lasers, i.e. the surface emission and the in-plane higher-order coupling effects. It has also been further developed to incorporate finite-size effects, and presented in [48]. Some other works such as for example [33],[44],[45],[49] present an above threshold analysis of 2D PC lasers. They illustrate gain saturation effect and describe the impact of structure parameters on the system efficiency.
In all of the cited works non have given much attention to simultaneous index and gain coupling. Thus in addition to the works already mentioned, this Chapter aims to remind crucial points of CMT and to show 2D coupled-wave analysis for structures with gain and index coupling. The study includes square and triangular lattice structures with TE and TM polarization of light.
The subsequent parts of this chapter include structure definition (Section 2), threshold analysis (Section 3), where 2D coupled-wave theory is reminded (Section 3.1), coupled-wave equations are shown (Section 3.2), and numerical analysis is performed (Section 3.3). The perspectives are sketched in Section 4, and finally conclusions are given in Section 5.
2. Structure definition
The Chapter describes two-dimensional photonic crystals which are characterized by the relative permittivity ε and gain α. Both parameters depend on the two-dimensional spatial structure of the medium. The cross-sections of discussed structures are schematically shown in Figure 1.

Figure 1.
a) Square and b) triangular lattice photonic structures cross sections. (pairs εa, αa and εb, αb are relative permittivity and gain of rods and background material, respectively, a - lattice constant, L - cavity length).
From this point on, since photonic structures resemble the microscopic nature of crystals, a crystallography terminology will be used, see e.g., [49]. Throughout this Chapter only 2-D photonic crystals with a square, and hexagonal (also referred to as triangular) symmetry will be discussed, as it is depicted in Figure 1. The periodic pattern is created by cylinders called rods or holes. The structures in Figure 1 a) and b) are constrained in the xy plane by the square region of length L, and are assumed to be uniform and much larger than the wavelength in the z direction. The permittivity and gain of the rods and background material are represented by εa, αa and εb, αb, respectively. The number of periods in the xy plane is finite, but large enough to be expanded in Fourier series with small error. Schemes in Fig. 1 a) and 1 b) illustrate two spatial distributions of rods for two-dimensional photonic crystal, respectively, with square and triangular lattice.
Schemes in Figure 2 a) and Figure 3 a) show a view of photonic crystal cross sections in xy plane with cylinders arranged in square or triangular lattice with period a, and with depicted primitive vectors a1 and a2.

Figure 2.
A schematic view of a) a square lattice photonic crystal with primitive vectors; and b) its representation in reciprocal space with reciprocal primitive vectors.

Figure 3.
A schematic view of a) a triangular lattice photonic crystal with primitive vectors; and b) its representation in reciprocal space with reciprocal primitive vectors.
Figure 2 b) and Figure 3 b) show the reciprocal lattices corresponding, respectively, to the real square and triangular lattices. In the described case, the nodes of a two-dimensional structure can be expressed by (e.g., see [50])
where a1 and a2 are primitive vectors, l1 and l2 are arbitrary integers,
In general, the reciprocal vectors can be written in the following form:
where h1 and h2 are arbitrary integers, b1 and b2 are the primitive vectors of the two-dimensional reciprocal space, which are expressed by the following equations:
where
The areas of primitive cells are
Using Equations (3) and the expressions for square and triangular lattice primitive vectors and primitive cell areas the reciprocal primitive vectors are described by the following formulas:
and
The spatial arrangement of periodic rods for the infinite two-dimensional square or triangular lattice can be expressed by the function:
in terms of relative permittivity, and by
in terms of gain. In Equations (6) and (7), function S
specifies the location of rods in the structure, O is the area of the xy plane defined by the cross section of the rod, which symmetry axis intersects the plane at the point
In the next section an analysis based on the coupled mode theory is shown. It is conducted in the frequency domain, thus the relative permittivity as well as gain have to be Fourier transformed to fit reciprocal space [37],[51]. Functions (6) and (7) are now, respectively, written in the following form
and
where
In next parts of this Chapter four different cases are analyzed. Two of them are dedicated to the square lattice cavities with TE and TM polarization, and two remaining to the triangular lattice structures also with TE and TM polarization. For the purpose of this work, it is assumed that there is no gain in the background material, i.e.,
The threshold analysis of the photonic crystal laser operation for the defined structures is shown in the next section.
3. A threshold analysis
3.1. 2D Coupled-wave model for 2D PC cavity
The electromagnetic wave behavior in the two-dimensional periodic system can be described by the set of scalar wave equations. Depending on the polarization of light it is easier to choose one specific field component, since then the set of equations may be reduced to a single one. Thus, the scalar wave equations for the electric and magnetic fields Ez and Hz, respectively, are written in the following forms [37],[51]:
for TM polarization, and
for TE polarization.
In Equations (10) and (11) the constant k is given, correspondingly by [42]
and [32]
In the expressions for
The periodic variation in the refractive index and gain is included as a small perturbation and appears in as the coupling constant
In the above equation, plus sign refers to TM polarization (Equation (12)), while minus sign refers to TE polarization (Equation (13)). For the simplicity, it is set that
In the two-dimensional system which is not confined in the third direction, in the vicinity of the Bragg wavelength only some of the diffraction orders contribute in a significant way. In general, a periodic perturbation produces an infinite set of diffraction orders. Keeping this in mind, the Bragg frequency orders have to be cautiously chosen. The Bragg frequency corresponding to the
In Equations (10) and (11) electric and magnetic fields for the infinite periodic structure are given by the Bloch modes, [15],[37]:
and
where the functions
In a finite two-dimensional structure, the amplitude of each plane wave is not constant, so
3.2. Coupled-wave equations
3.2.1. Square lattice – TM polarization
For square lattice photonic crystal cavity in the case of TM polarization, it is assumed that at the center point of the Brillouin zone the most significant contribution to coupling is given by the electric waves which fulfill the condition

Figure 4.
Schematic cross section of square lattice photonic crystal laser active region with the four basic waves involved in coupling for TM polarization.
Equation (17) in general describes infinite structures. It is possible to take into account the fact that the structure is finite by using the space dependent amplitudes, e.g., [42]. Thus, the electric field given by Equation (17) in the finite periodic structure can be expressed in the following way:
In Equation (19)
Using derived earlier reciprocal lattice vectors and Fourier expansions of spatial dependences of the square lattice PC with circular rods, the coupling coefficients κ(G) (Equation (16)) can be written as:
Combining Equations (12) and (19) with Equation (10), and assuming the slow varying electromagnetic field, one can get the set of coupled mode equations [42]:
where
is the Bragg frequency deviation. Coupling coefficients
defines eigenmodes of the photonic structure. The analysis of this solution is given in Section 3.3.
3.2.2. Square lattice – TE polarization
In the 2D square lattice PC-like resonator with TE polarization the coupling process in the most significant way involves magnetic waves satisfying following conditions:

Figure 5.
Schematic cross section of square lattice photonic crystal laser active region with the eight basic waves involved in coupling for TE polarization.
Similarly as it was stated in the case of TM polarization, the equation for magnetic field (18) describes modes for infinite structure, and the finite dimensions of the structure are introduced by spatial dependence of magnetic field amplitudes [32]. Thus, the magnetic field (18) is written in the following form:
In Equation (29)
In Equations (30)-(33), the spatial dependence of four magnetic field components
In contrast to TM polarization, in Equations (30)-(33), the coupling coefficient responsible for coupling in perpendicular direction
defines structure eigenmodes at lasing threshold i.e. in the linear case.
3.2.3. Triangular lattice - TM polarization
In the simple approximation scenario the coupling process in the triangular lattice photonic crystal cavity with TM polarization involves waves satisfying following condition:

Figure 6.
A schematic cross section of a triangular lattice photonic crystal laser active region with the six basic waves involved in the coupling for TM polarization.
The space dependent amplitudes for electric field
In Equation (38),
In Equations (39)-(44), like in the case of square lattice,
These coefficients describe strength and direction of the coupling of the waves, e.g., the coupling of
defines structure eigenmodes at lasing threshold.
3.2.4. Triangular lattice – TE polarization
The simple approximation of coupling process in 2D triangular lattice PC with TE polarization includes waves satisfying the same condition as it was shown for TM polarization, i.e.,

Figure 7.
A schematic cross section of a triangular lattice photonic crystal laser active region with the six basic waves involved in the coupling for TE polarization are shown.
The magnetic field amplitudes
In Equation (49),
where the coupling coefficients
and have the same physical meaning like it was described in the TM polarization case. The boundary conditions for the square region of PC with triangular symmetry are written as:
3.3. Numerical analysis of the PC laser threshold operation
3.3.1. Square lattice – TM and TE polarization
Figure 8 shows enlarged areas of square lattice photonic crystal dispersion characteristics for the first four modes (A,B,C,D) in the vicinity of
In each plot, i.e., Figure 8 a) and Figure 8 b), the pairs of degenerate modes: B,C for TM polarization and C,D for TE polarization are marked. These modes have the same frequency at the

Figure 8.
An enlarged area of a square lattice photonic crystal dispersion curves for the first four modes in the vicinity of Γ point. Square lattice, a) TM polarization, and b) TE polarization.
In Figure 8 each of the marked points (A,B,C,D) represents a mode, which is characterized by: Bragg frequency deviation
In order to assign appropriate points A,B,C,D to the obtained numerical values, it was necessary to use the analytic expressions for the Bragg frequency deviation. These expressions are not affected by the gain modulation, and have the following form:
in case of TM polarization, and
in case of TE polarization.
The numerical solution of Equations (23)-(26) and (30)-(33) for the wide range of coupling coefficient is divided into two stages. In the first phase the gain expansion coefficients
The obtained solutions were grouped:

Figure 9.
Electromagnetic field distributions corresponding to a)A, b)D, c)B, and d) C points from Figure 8 a), respectively. Square lattice, TM polarization.

Figure 10.
Electromagnetic field distributions corresponding to a) A, b) B, c) C, and d) D points from Figure 8 b), respectively. Square lattice, TE polarization.
Figure 9 and Figure 10 show the field distributions
In each case (TM and TE polarization), the doubly degenerate modes are orthogonal and show saddle-shaped patterns. The slight discrepancies arise from numerical inaccuracy. All non-degenerate modes are similar and exhibit Gaussian-like pattern, and this suggests that these modes should more efficiently use the photonic cavity. These modes (A) also have lower threshold, Figure 11.

Figure 11.
The dependence of threshold gain versus Bragg frequency deviation. Square lattice, a) TM polarization and b) TE polarization.
In Figure 11 a) and Figure 11 b), the normalized threshold gain

Figure 12.
The dependence of normalized threshold gain versus normalized coupling coefficient for mode A for Index and Gain Coupled (solid line) and Index Coupled (dashed line) structures. Square lattice, a) TM polarization and b) TE polarization.
The impact of simultaneous gain and index coupling is depicted in Figure 12, where threshold gain for mode A is plotted as a function of coupling coefficient
3.3.2. Triangular lattice — TM and TE polarization
By repeating all the calculations shown for square lattice structures, threshold characteristics for triangular lattice structures are obtained. In Figure 13 enlarged areas of triangular lattice photonic crystals dispersion curves for the first six modes (A,B,C,D,E,F) in the vicinity of

Figure 13.
An enlarged area of dispersion curves of photonic crystal for the first four modes in the vicinity of Γ point. Triangular lattice, a) TM polarization, and b) TE polarization.
Bragg frequency deviation (for points marked as A,B,C,D,E,F in Figure 13) depending on coupling coefficient is analytically expressed in the following form for the TM polarization:
and for TE polarization:
Figure 14 shows the field distributions

Figure 14.
Electromagnetic field distributions corresponding to a)A, b)F, c)B, d)C, e)D, and f)E points from Figure 13 a), respectively. Triangular lattice, TM polarization.
Figure 15 shows the field distributions

Figure 15.
Electromagnetic field distributions corresponding to a)A, b)D, c)B, d)C, e)E, and f)F points from Figure 13 b), respectively. Triangular lattice, TE polarization.
The values of the normalized coupling coefficients for TM and TE polarization are set as follows:
In both discussed cases, all degenerate modes are orthogonal and show similar patterns. For TM polarization, Figure 14, modes B,C are very similar to the non-degenerate mode A. This means that the coupling coefficients, for which they are plotted, have high enough values to achieve strong field confinement. Similar situation is shown for TE polarization, Figure 15, where two pairs of doubly-degenerate modes are comparable to non-degenerate mode. Likewise, it is due to relatively high values of coupling coefficients and mode confinement.
In Figure 16 a), and Figure 16 b) the normalized threshold gain

Figure 16.
The dependence of threshold gain versus Bragg frequency deviation. Triangular lattice, a) TM polarization, and b) TE polarization.
Figure 16 shows similar tendency as in earlier examples of square lattice, i.e., by increasing the values of coupling coefficient the Bragg frequency deviation increases and the threshold gain decreases. Simultaneously, for larger values of coupling coefficient the threshold gain tends to alike values. This fact is due to the growing field confinement in the cavity (all modes become Gaussian-like, e.g., Figure 14 and Figure 15. The difference in the threshold gain values of degenerate modes stems from numerical inaccuracy, and the degenerate modes’ threshold gain values should be averaged.

Figure 17.
The dependence of normalized threshold gain versus normalized coupling coefficient for mode A for Index and Gain Coupled (solid line) and Index Coupled (dashed line) structures. Triangle lattice, a) TM polarization and b) TE polarization.
Figure 17 depicts the impact of simultaneous gain and index coupling. Here, the threshold gain for mode A is plotted as a function of coupling coefficient
Now, as an example of the model utilization let us consider the square lattice PC structure, which schematic cross-section is shown in Figure 1 a). For this structure following parameters are assumed: cavity length L = 50 nm, lattice constant a = 290 nm, and filling factor f = 0.16. The background material has higher permittivity than the rods
4. Perspectives
This Chapter discusses only some problems in threshold operation of 2D PC lasers. Thus, future work should be devoted to further investigation of gain coupling in photonic crystal cavities, e.g., such as comparison of solely index and solely gain coupled structures. Moreover, an above threshold analysis for gain coupled PC laser may apply as well as it did to index coupled structures, e.g., see [44],[45]. Finally, since more and more works on three-dimensional structures are published, it seems interesting to develop coupled wave models for threshold analysis of different symmetries incorporating gain and index modulation.
5. Conclusions
This work presents the systematic studies on the threshold operation of two-dimensional photonic crystal laser. It gives the comprehensive coupled mode description of gain and index coupled photonic crystal laser threshold operation. The calculations are conducted in the wide range of coupling coefficient for all four cases (square and triangular lattice with TM and TE polarization). It has been shown that the nonuniformity of the gain in the low index contrast structures has a strong impact on the threshold gain, by lowering it. Consequently, by inducing gain coupling in the index coupled structure it is possible to lower threshold gain particularly for low index contrast photonic crystals. This outcome helps understand the principles of PC band-edge laser operation and it may be useful in supporting the design process of PC laser structures.