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.
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.
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 this chapter we outline the general scenario for optical temporal instabilities, starting from the standard Maxwell–Bloch equations. With the exception of Section 22.7, in Part II we will always consider the ring-cavity configuration because only in the case of the ultrathin-medium case considered in Section 22.7 is the treatment of instabilities in Fabry–Perot cavities not substantially more complicated than that in the ring-cavity configuration. Some authors have introduced special approaches in order to study temporal optical instabilities, exploiting the concepts of gain and of dispersion, which are natural in optical systems and therefore help our intuition. In particular, a hint of the mechanism that produces instabilities in optical systems is offered by the so-called “weak-sideband” approach or “gain-feedback approach” [245–249], whose validity can be justified rigorously with the help of the linear-stability analysis [250]. The central point of this method is the response of the system to a weak probe passing through a collection of two-level atoms driven by a strong field [251–253]. If the strong signal with carrier frequency ω 0 saturates the medium, we can find regions of the frequency axis, which are far removed from the carrier frequency of the signal, where the weak probe can experience gain instead of absorption even if the medium has no population inversion. In this book we follow the approach of [250], which is rigorously rooted in the linear- stability analysis and, in addition, establishes a general, useful and, in a sense, surprising connection between single-mode and multimode instabilities. We classify as single-mode a temporal instability that involves the resonant mode only, and classify as multimode a temporal instability that involves only off-resonance cavity modes. The discussion in this chapter is mainly focussed on this connection. In Section 20.1 the multimodal equations derived in Section 12.2 are reformulated by introducing a modal expansion also for the atomic variables. In this way one obtains a complex hierarchy of equations that couple the modal amplitudes for the field and for the atomic variables.
Three elements, introduced in Part I of the book, play a key role in the book itself. The first is the derivation of the Maxwell–Bloch equations, which is carried out in Chapters 2–4. In particular the derivation of the field-envelope equation, discussed in Section 3.1, is explained with special care. The derivation is based, of course, on the slowly varying envelope approximation and on the paraxial approximation. In textbooks these two approximations are usually discussed separately and rather briefly. We show that the two approximations are intimately connected, and only in this way it is possible to demonstrate that, while the second-order derivatives with respect to time and to the longitudinal coordinate z can be neglected, the second-order derivatives with respect to the transverse coordinates x and y must be kept. It is also possible to demonstrate that the term ∇ ( ∇ · E ) in the Maxwell wave equation for the electric field can indeed be neglected. An additional bonus of this approach is that, once one has shown in detail the derivation of the envelope equation in the simplest context, it becomes straightforward to generalize it to the more complex cases of frequency dispersion in the background refractive index (Section 5.4) and of quadratic and cubic nonlinearities (Chapters 6 and 7). The second key element is the use of a multiple limit in the parameters, which in the literature is called the mean-field limit or uniform-field limit, whereas in this book we prefer to name it more precisely the low-transmission limit . This plays a central role when we derive modal equations and single-mode models from sets of equations with propagation. In this way one avoids, for example, steps like the phenomenological introduction of a damping term in the field equation(s) to describe the escape of photons from the cavity, and derives the damping from the boundary conditions of the cavity in a transparent way (Chapters 12 and 14).
In the first section we discuss the stationary solutions for a laser with an injected signal, the active counterpart of the optical bistability analyzed in Chapter 11. Next, in Section 13.2 we consider another very interesting system, namely a laser with a saturable absorber, a free-running laser in which the optical cavity contains a passive medium in addition to the active medium. The single-mode model for this system can be constructed by combining the single-mode models for the free-running laser and for optical bistability. The discussion is then focussed on its stationary states. In Section 13.3 we return to the single-mode model for optical bistability and, by introducing an appropriate “cubic limit” on the parameters in play, we derive a cubic model for dispersive optical bistability with two-level atoms. The stationary equation for such a model formally coincides with that derived and discussed for a Kerr medium in Section 11.2. In the last section we start from the equations for a quadratic nonlinear medium in the degenerate configuration derived in Chapter 6 and combine them with the appropriate boundary conditions for the two field envelopes in play, assuming that the quadratic medium is contained in a ring cavity as happens in an optical parametric oscillator or in second-harmonic generation in a cavity. Next, by introducing the low-transmission limit and the single-mode limit we derive a two-mode model that describes the dynamics of a degenerate optical parametric oscillator or of second-harmonic generation in a cavity. Finally, for the case of a parametric oscillator we illustrate extensively the stationary solutions of the equations. A laser with an injected signal From a technical point of view, this system is interesting because of the possibility of stabilizing the frequency and the phase of separate lasers by taking advantage of the known affinity of nonlinear oscillators to lock onto a periodic forcing element. In 1972 Spencer and Lamb [125] predicted the possibility of bistable behavior in a laser with an injected signal before the surge of interest in optical bistability in the passive configuration.
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.
With the exception of Chapter 1, up to this point we have considered cavityless optical systems. With this chapter, instead, we start focussing on the case that the atomic medium is located in an optical cavity. We describe in detail the case of a unidirectional ring resonator, the boundary condition which characterizes it and the relations between its output fields and the intracavity field (Sections 8.1–8.3). We discuss the transmission of an empty cavity (Section 8.4) and of a cavity that contains a linear medium (Section 8.5). Optical cavities An optical cavity or optical resonator is formed by at least two mirrors, appropriately arranged in such a way that the radiation beam follows a closed path. The beam splitters allow the radiation to escape from the cavity (output) and allow one to inject radiation into the cavity (input). In order to confine the radiation transversally with respect to the direction of propagation, the mirrors are usually spherical (see Fig. 1.2). The case of cavities with spherical mirrors will be described in Part III of this volume. On the other hand, an analytical treatment of the problems is possible only within the plane-wave approximation which we will use in the remainder of Part I and in Part II. In accord with this, we assume here that the mirrors are planar. The two most common types of optical resonator are the Fabry–Perot cavity and the ring cavity . The planar Fabry–Perot cavity consists in two beam splitters in a parallel configuration as shown in Fig. 8.1. Within the cavity there are two counterpropagating fields, E F propagating in the forward direction and E B propagating in the backward direction with respect to the input field E I . Because we have derived the Maxwell–Bloch equations for the unidirectional configuration, in this and the following chapters we focus on the case of a ring cavity, which allows unidirectionality. The Fabry–Perot case will be considered in Chapter 14.