In this chapter, we remove one assumption that has been implicit since the beginning of this book, namely the unidimensional aspect of the cavity. We now take into account the transverse variation of the field in the resonant cavity. In dealing with transverse effects, there are two possible approaches, very much like in the multimode optical bistability (OB) studied in Chapter 6. One possibility is to project the Maxwell–Bloch equations on a suitable basis. In the introduction of Chapter 6, the difficulty of selecting this suitable basis was explained for 1-D cavities. This difficulty is amplified by the transverse dimensions, especially because of the lateral boundaries. The other approach is to derive global equations (that are still partial differential equations) for slowly varying amplitudes. They are generally variants of well-known nonlinear partial differential equations of mathematical physics, and therefore a large number of results are directly available. However, when transferring results from another domain to optics, some care must be exercised because the relevant domains of parameters are not always compatible. The classic example is the canonical set of parameters for the Lorenz equations that includes b = γ ║ /γ ⊥ = 8/3 whereas for atomic transitions the upper bound of b is 2. The reader will find a wealth of results, mostly for the modal expansions, in the special issues and reviews [1]–[4]. A review more specifically oriented toward the global amplitude equations is found in [5] and a mathematical study of these equations is presented in [6].
In this chapter, we remove one assumption that has been implicit since the beginning of this book, namely the unidimensional aspect of the cavity. We now take into account the transverse variation of the field in the resonant cavity. In dealing with transverse effects, there are two possible approaches, very much like in the multimode optical bistability (OB) studied in Chapter 6. One possibility is to project the Maxwell–Bloch equations on a suitable basis. In the introduction of Chapter 6, the difficulty of selecting this suitable basis was explained for 1-D cavities. This difficulty is amplified by the transverse dimensions, especially because of the lateral boundaries. The other approach is to derive global equations (that are still partial differential equations) for slowly varying amplitudes. They are generally variants of well-known nonlinear partial differential equations of mathematical physics, and therefore a large number of results are directly available. However, when transferring results from another domain to optics, some care must be exercised because the relevant domains of parameters are not always compatible. The classic example is the canonical set of parameters for the Lorenz equations that includes b = γ ║ /γ ⊥ = 8/3 whereas for atomic transitions the upper bound of b is 2. The reader will find a wealth of results, mostly for the modal expansions, in the special issues and reviews [1]–[4]. A review more specifically oriented toward the global amplitude equations is found in [5] and a mathematical study of these equations is presented in [6].
In the previous chapters we considered the Maxwell–Bloch equations with the boundary condition appropriate for a unidirectional ring cavity and calculated the stationary solutions for laser and optical bistability, respectively. Next, we showed that the exact stationary solutions simplify appreciably in the low-transmission limit. In this chapter we want, first of all, to apply the low-transmission approximation on the dynamical equations directly, beyond the stationary case. We start from the Maxwell–Bloch equations (4.35)–(4.37) and the boundary condition (8.36). The latter is complex and includes the retardation Δ t and some parameters such as the transmissivity and reflectivity coefficients T and R , the input field y and the cavity detuning δ 0 . We introduce a transformation of the coordinates z and t and a transformation of the variables F and P [121–123]. As a result, the boundary condition reduces to a simple periodic boundary condition, and the electric-field equation incorporates the parameters which previously appeared in the boundary condition. The virtue of the periodic boundary condition is that it allows one to expand the electric field in terms of modal amplitudes and to recast the field equation in the form of a set of time-evolution equations for the modal amplitudes. All of this is shown in Section 12.1. In Section 12.2 we apply the low-transmission approximation and the Maxwell–Bloch equations assume a form that is a generalization of a set of equations commonly used in the literature to describe the ring laser [124]. Together with the Bloch equations for the atomic variables, the modal equations provide a model that lends itself ideally to a numerical resolution of the equations. In Section 12.3 we show that, if we assume that only the resonant cavity mode is active, this model reduces to a simple single-mode model consisting in three coupled ordinary differential equations, which will be analyzed in Part II of this book. Next, in the same section we derive the single-mode model in a more direct way, without passing through the multimodal equations.
We derive reduced field equations describing two cases of optical cavities driven by an external coherent field, taking into account the influence of transverse effects. For the passive-cavity case, we focus on the transistor characteristic and the onset of optical bistability. We prove that, depending on the sign of the detuning, different equations are needed. A global description of the field is possible in terms of a generalized Ginzburg-Landau equation, unless the detuning is finite and positive. That case requires a modal expansion. Furthermore, the good-cavity limit is regular, implying the same differentiation according to the sign of the detuning. For the active-cavity case, the same dependence on the sign of the detuning is found. A global description is obtained only for negative detunings. The good-cavity limit is described by a unique equation for all detunings.
Of the Lorenz-type instabilities expected in optical systems, the single-mode instability in optical bistability has been the subject of detailed theoretical and experimental work by our groups. A treatment employing the plane-wave and mean-field limits of the Maxwell-Bloch equations predicts a rich variety of higher-order bifurcations including period doublings and intermittency.1 An extension of this work to include the transverse dependence of the intracavity field reveals no significant qualitative differences between the plane-wave theory and the Gaussian beam theory as regards the stability boundaries obtained from a linearized analysis.2 The instability persists in the presence of a Gaussian transverse profile and the boundaries are not radically modified compared with those obtained from the plane-wave theory. However, numerical integration of the Maxwell-Bloch equations in the single transverse mode approximation does not show the wealth of higher-order dynamic states present in the plane-wave case. An experimental investigation of optical bistability for two-level atoms in a single transverse, single longitudinal mode cavity exhibits limit cycle oscillation with stability boundaries that agree well with the boundaries obtained from the work in Ref. 2. However, for the range of values C < 300, |Δ| < 5, |θ| < 50, X ~ 102, the experimental results do not show the diversity of higher dynamic states expected from the plane-wave theory, in agreement with our numerical results. In addition the measurements support the existence of a single transverse mode oscillation. The sum of our theoretical and experimental work provides a quantitative statement for the role of the transverse effects in optical instabilities.
Nonlinear optics is a fairly young science, having taken off with the advent of the laser in 1960. Nonlinear optics (NLO) deals with the interaction of electromagnetic waves and matter in the infrared, visible, and ultraviolet domains. The frontiers of NLO are somewhat blurred, but microwaves and γ-rays are clearly outside its domain. This book is entirely devoted to a study of NLO in a resonant cavity and when the quantum nature of the electromagnetic field is not of prime importance. More precisely, we study those aspects of cavity NLO in which fluctuations in the number of photons and atoms are not relevant. This particular area of optics is dominated by the Maxwell–Bloch equations, which constitute its paradigm in the sense of T. S. Kuhn. The status of the Maxwell–Bloch equations is quite peculiar. From a fundamental viewpoint, they describe the laws of evolution of the first moments of a density operator, which verifies the von Neumann equation. However, to account for the finite lifetime of the atoms and of the field in the necessarily lossy cavity, some legerdemains have to be introduced to obtain the Maxwell–Bloch equations. Stated more explicitly, the von Neumann equation for a large but finite system does not explain irreversibility, whereas the Maxwell–Bloch equations fully include the irreversible decay of the atoms and of the cavity field. This problem is not specifically related to optics but reflects the general failure of statistical mechanics to explain convincingly the irreversible evolution of macroscopic systems.
In Chapters 8–13 we always assumed that the nonlinear medium is contained in a unidirectional ring cavity. The case of a Fabry–Perot cavity (Fig. 8.1) is substantially more complex because the interference of the two counterpropagating fields gives rise to a standing-wave pattern that modulates the population difference and the atomic polarization to form gratings with a spatial frequency equal to the inverse of the half-wavelength and its harmonics. Therefore the atomic variables exhibit, in addition to the slow spatial variation which characterizes the envelopes, also a fast spatial variation on the wavelength scale, and the coexistence of these two spatial scales poses a highly nontrivial problem that must be treated with care. In Chapters 9 and 11 we solved exactly the Maxwell–Bloch equations with the ring-cavity boundary conditions for both the active and the passive configuration. Exact solutions of this kind have been obtained also for the equations and boundary conditions of a Fabry–Perot cavity [117–119]. However, for the sake of simplicity we will pass directly to models that are valid in the low-transmission approximation. Again for the sake of simplicity, in this chapter we assume that n B = 1, so that the light velocity in the empty part of the cavity is the same as that in the atomic sample. By following the same line of reasoning as that which we pursued in Chapter 12, in Section 14.1 we introduce a spatial transformation of the electric-field envelopes, which leads to boundary conditions without parameters, while the parameters present in the boundary conditions of the original variables appear in the envelope equations. As in the ring-cavity case, this approach allows one to introduce the cavity modes in a natural way, and to derive a set of modal equations coupled to the equations for the atomic variables. Sets of equations of this kind are common in the laser literature, but are not derived from the true boundary conditions for the cavity.
In Chapters 27 and 28 we discussed the topic of optical spatial pattern formation in planar cavities. In this chapter, instead, we consider the case of ring cavities with spherical mirrors, on the basis of the discussion of transverse modes in Chapter 26. In the first section we derive, first of all, a set of modal equations to be coupled with the atomic equations, with a configuration similar to that of the modal equations of Chapter 12, with the difference that now transverse modes are included in addition to longitudinal modes. This provides an extremely complex context, and therefore in the following we focus on the case of quasi-planar cavities, in which it is possible, by introducing the low-transmission and single-longitudinal-mode approximations, to derive a single-longitudinal-mode model that represents, in the framework of cavities with spherical mirrors, the counterpart of the single-longitudinal-mode model for planar cavities discussed in Chapter 27. In Section 29.2 we consider the simplest configuration, in which only the fundamental Gaussian transverse mode is assumed to have negligible losses, so that it is possible to consider a single-mode model that includes only the Gaussian mode. This is precisely the model considered in Section 24.3.1 for the comparison with experimental data concerning the single-mode instability of optical bistability. We calculate the stationary curve, and in the laser case we demonstrate the validity of the mode-pulling formula also in this configuration. In the following section we consider, instead, the general case in which several transverse modes of a laser are involved and demonstrate that the modal equations admit multimodal stationary intensity states, a configuration that is not possible in the case of longitudinal modes, at least in the low-transmission approximation. In this phenomenon, which we call cooperative frequency locking , the modes agree a common oscillation frequency that is given by the average of the (mode-pulled) modal frequencies, with weights given by the modal intensities. Numerical and experimental evidence of cooperative frequency locking is provided.