Resonant quasiperiodic patterns in a three-dimensional lasing medium

Starting from the Maxwell-Bloch equations for a three-dimensional (3D) ring-cavity laser, we analyze stability of the nonlasing state and demonstrate that, at the instability threshold, the wave vectors of the critical perturbations belong to a paraboloid in the 3D space. Then, we derive a system of nonlinear evolution equations above the threshold. The nonlinearity in these equations is cubic. For certain sets of four spatial modes whose vectors belong to the critical paraboloid, the cubic nonlinearity gives rise to a resonant coupling between them. This is a nontrivial example of a nonlinear dissipative system in which the cubic terms are resonant. The equations for the four coupled amplitudes have two different solutions that are simultaneously stable: the single-mode one and a solution in which all the amplitudes are equal, while a certain combination of the phases is pi. The latter solution gives rise to a quasiperiodic pattern in the infinite 3D cavity. We also consider effects of the boundary conditions and demonstrate that if the cavity's cross section is a trapezium it may support the quasiperiodic four-mode state rather than suppressing it. Using the Lyapunov function, we find that for the ring-laser configuration the four-mode state is metastable. However, we demonstrate that for a Fabry-Perot cavity, where diffusion washes out the standing-wave grating, this state is absolutely stable. We also consider a number of more complicated patterns. We demonstrate that adding a pair of resonant vectors, or any number of nonresonant ones, always produces an unstable solution. A set containing several resonant quarters without resonant coupling between them may be stable, but it is less energetically favorable than a single quartet