1 Introduction
Nonlinear media exhibiting nonlinearities such as Kerr [
1-
3], saturable [
4,
5], and quadratic nonlinearities [
6], and even nonlocal nonlinear media [
8,
9], play a dominant role in light manipulation and can be used to form many types of nonhomogeneous landscapes such as waveguide arrays and photonic crystals. One important structure for light manipulation, which is implemented using linear and nonlinear media, is the periodic lattice. Wave evolution in a combination of both linear and nonlinear periodic lattices exhibits many dynamics [
10-
13]. A light wave guided along the lattices in the paraxial approximation obeys the nonlinear Schrödinger equation (NLSE), in which the linear and nonlinear lattices are represented separately by a usual periodic potential and a periodic pseudopotential. Moreover, the Bose–Einstein condensate (BEC), an ideal test platform for nonlinear science, has been the subject of intense attention and research, which has revealed many novel modes [
14-
16]. The formulation of this model can be changed directly into the form of the Gross–Pitaevskii equation under the mean-field approximation and can be used to discuss matter waves in a BEC that is trapped in a combination of both a linear periodic potential created by an optical or magnetic lattice, and a pseudopotential, which may be induced by periodic modulation of the local nonlinearity provided by properly patterned optical or magnetic fields [
17-
21].
Several works in the past decade have considered a special combination of linear and nonlinear lattices, in which the maxima of the refractive index coincide with the minima of the local strength of the self-focusing nonlinearity and vice versa [
22-
29]. This medium, which features a competing
π-out-of-phase juxtaposed linear potential and nonlinear pseudopotential, may naturally be called an inverted nonlinear photonic crystal (INPC). INPCs reportedly can be fabricated using a technique based on direct laser writing in silica [
30,
31]. It was also predicted that a similar setting could be created in a virtual form using an electromagnetically induced transparency acting on dopant atoms periodically distributed in a passive matrix [
25,
28,
32-
34]. Owing to competition between the linear and nonlinear lattices, solitons in INPCs may feature specific power-dependent properties, such as double symmetry breaking [
23]. Very recently, it was reported that a twisted waveguide pipe, which possesses an inverted nonlinear double-well potential, can support the existence of three types of fundamental modes [
29]. This work found that symmetry breaking among these modes could exhibit properties different from those found in the usual nonlinear rotating double-well system [
35-
41]. Such previous studies on INPCs deal with a system possessing both linear and Kerr (cubic) nonlinear potentials. However, in the counterpart containing only a saturable nonlinearity, INPCs not only naturally embody the inverted restriction of both the linear and Kerr nonlinear potentials if the total power of the field is small (as mentioned below), but also can intrinsically feature different types of power-dependent properties. It has been reported that solitary waves in such types of INPCs are compactons [
24], which switch their center between the linear and nonlinear segments when the total power of the waves varies.
In this work, we study the fundamental modes trapped in a twisted cylindrical-shell waveguide (i.e., a waveguide pipe) carrying a saturated nonlinear double-well potential. To analyze the basic characteristics of this system, we use a one-dimensional NLSE with a potential rotating at a rate of
ω. The waveguide pipe, with a double-well surface structure written into the material of the shell, may be realized by experimental methods in which an SU-8 polymer (a commonly used transparent negative photoresist) is doped by Rhodamine B (RhB, a dye featuring saturable absorption) in the form of
[
42-
45]. The rotation is established by twisting the waveguide pipe with a pitch of
; then azimuthal modulation of the potential is written into the material of the shell in the form of
.
The paper is structured as follows: In Section 2, we build the model, formulate the corresponding system, and present the analytic technique for determining the stability of the modes. The numerical results for stable fundamental modes in the model are presented in Section 3. We discuss and analyze the transitions, symmetry breaking, and symmetry recovery between modes in this section. In Section 4, we present our conclusion.
2 The model
As discussed above, we establish a twisted cylindrical-shell waveguide with a saturated nonlinear double-well potential . Here, A is the amplitude of the nonlinear potential. The propagation dynamics of a probe wave within the waveguide can be described by the underlying 1D scaled nonlinear Schrödinger equation,
where r0, which can be fixed at 1, is the radius of the cylindrical-shell waveguide, ω is the rotation speed of the potential, and σ is the nonlinear parameter. represents the self-focusing/defocusing nonlinearity. When we replace θ with , the equation can be rewritten as
For a narrow toroidal BEC trapped in a rotating potential, the corresponding Gross-Pitaevskii equation written in the rotating reference frame is different from Eq. (2), with the propagation distance z replaced by t. Stationary modes with a real propagation constant (for a BEC, is regarded as the chemical potential) can be found as , where , a complex function, satisfies the following equation:
Further, Eq. (2) conserves the total power (norm) of the field:
The periodic boundary condition, and , makes Eq. (2) invariant with respect to the boost transformation, which allows one to change the rotation speed from ω to for an arbitrary integer N:
hence, the rotation speed may be restricted to the interval . Furthermore, Eq. (2) also admits an additional invariance, relating solutions with opposite signs of the speed: . Combined with the shift , the latter transformation demonstrates that the solutions for the rotation speeds ω and (for ) are equal to each other. Therefore, the speed of rotation can further be restricted to a smaller interval,
which is the so-called first rotational Brillouin zone.
The stability of the stationary modes is investigated through numerical computation of eigenvalues and demonstrated by a real-time simulation with infinitesimal perturbation. The perturbed solutions are imported as the usual form,
where and are the perturbation eigenmodes, and λ is the corresponding eigenfrequency. Substituting Eq. (7) into Eq. (2) and applying linearization, it becomes a linear eigenvalue problem,
where is the single-particle Hamiltonian, and . The underlying solution φ is stable if all the eigenvalues λ are real.
In our model, when the total power of the field is low, the linear and nonlinear potentials, denoted as and , respectively, are π-out-of-phase juxtaposed, which can be determined by polynomial expansion of the last term in Eq. (2) and retention of the first two items, and . For a linear potential, two maxima appear at and (if the potential domain is set to ), and the two minima appear at and . In contrast, for a nonlinear potential, the maxima appear at and , whereas the two minima appear at and 0. As the regions close to the minima of linear or nonlinear potentials dominate the linear or nonlinear propagation dynamics of the probe wave, respectively, we divide the potential domain into four segments: ,, , , and (which is equivalent to for the periodic boundary condition). The former two segments are called linear segments to indicate that the linear effect in these areas is stronger than the nonlinear one. In the latter two segments, which are called nonlinear segments, the nonlinear effect is stronger than the linear one. Depending on the distribution of the linear and nonlinear areas, there are two symmetric axes in the cross section of the twisted waveguide pipe. One crosses and , whereas the other passes through and π. Figure 1 shows a sketch of the twisted waveguide pipe and its cross section.
3 Results and discussion
Stationary fundamental solutions to Eq. (3) are obtained via the imaginary-time propagation (ITP) method [
46,
47]. Three types of fundamental modes are found in this model. One mode is symmetric, and the other two are asymmetric. Both types are identified in the domain
with different inputs, which are listed in Tab. 1 and denoted as SY, ASY-I, and ASY-II, respectively. Typical examples of stable solutions for each mode with a set of parameters
are shown in Fig. 2.
In the SY mode, there are two peaks in the intensity profile centered on and (the two minima of the linear potential VL). Further, for the ASY-II mode, there is only one peak left over in the intensity profile, the center of which is located at or [the center of the peak in Fig. 2(c2) is located at ]. However, the intensity profile of the ASY-I mode is slightly complicated. One or two peaks located around appear in the intensity profile depending on the power of the probe wave. Note that is one of the minima of the nonlinear potential VN. Obviously, there is more power distributed around the minima of the linear potential for both the SY and ASY-II modes, whereas the ASY-I mode has more power near the minima of the nonlinear potential.
The shape of the fundamental modes varies with the total power of the probe wave P. To study the effect of P on the shape, the SY and ASY-I modes are numerically simulated, and their shapes are depicted for a normalized strength. The variation in the shapes of the SY and ASY-I modes for different P are shown in Fig. 3 (the shape variation of the ASY-II mode is not shown here, as this type of mode exists stably only in the lower-power region). For the SY mode, the power tends to appear at the centers of the two peaks with increasing P, whereas for the ASY-I mode, the energy gradually focuses on the location of .
To study the existence and stability of the modes and the transitions between modes, we calculated the distribution of stable fundamental modes with different amplitudes A in the plane (Fig. 4). Different colors indicate diverse regions in which one or more different modes are stable. The meanings of the colors are listed in Tab. 2. These results clearly show that the rotation speed ω and amplitude A of the potential play important roles in the distribution of stable fundamental modes. Note that the saturation effect of the nonlinear potential could be neglected, as P is sufficiently large. Equivalently, the nonlinear effect is notable only in the region with a lower power P. By examining the distribution of the ASY-II mode in Fig. 4, we can conclude that the nonlinear potential contributes more to the survival of the modes with nonbilateral symmetry (the ASY-I and ASY-II modes).
Some results should be noted. First, there are two types of ASY-I mode. The dashed line in Fig. 4 separates these two types. The type with two peaks located on both sides of
exists only below the dashed line, whereas that with a single peak located at
owing to the effect of saturated nonlinearity appears solely above the dashed line (the result can be seen clearly in Fig. 3). Second, by examining the distribution of stable fundamental modes in Fig. 4, we can see that the ASY-II mode is distributed mainly in the lower-energy area, whereas the ASY-I mode is located chiefly in the high-energy area. Finally, as the total power
P increases, the stable ASY-I mode recovers to the SY mode. This phenomenon does not appear in the system with a Kerr nonlinearity and is called symmetry recovery. (A similar symmetry-restoration mechanism was demonstrated earlier in a system with cubic-quintic nonlinearity [
48].) Because of the effect of saturated nonlinearity, high energy neutralizes the nonlinear effect, and the SY mode recovers in the region where the total power is higher than that of the counterpart in the ASY-I mode. Thus, the SY mode is distributed in both the lower- and higher-energy areas.
To investigate the symmetry breaking and symmetry recovery between these modes more clearly, we define the following two characteristics:
which can be used to identify symmetry transitions between the SY, ASY-I, and ASY-II modes. As shown in Fig. 1(b), is actually used to exhibit the difference in the power on either side of the y axis, whereas is set to show the difference in the power on either side of the x axis.
Note that all three of these modes are generated using the same set of parameters, which implies that tristability of these modes exists in the system. Taking Fig. 4(c) for example, the SY, ASY-I, and ASY-II modes all coexist in some regions. Symmetry breaking and symmetry recovery begin at around . The mode transition can be seen more clearly in Fig. 5. The case of in Figs. 5(a) and (b) shows that the first symmetry breaking occurs from the SY mode to the ASY-II mode with increasing total power P. After recovery back to the SY mode, the second symmetry breaking occurs, changing the mode from SY to ASY-I, and finally symmetry recovery occurs again, with the mode transforming from the ASY-I mode to the SY mode. For [shown in Figs. 5(c) and (d)], the processes of symmetry breaking from the SY mode to the ASY-II mode and symmetry recovery from the ASY-I mode to the SY mode are similar to those for , but there is no SY mode between these two transition points. Instead, a second symmetry breaking from the ASY-II mode to the ASY-I mode occurs directly after the first symmetry breaking. The bifurcation diagram, shown in terms of and , demonstrates that symmetry breaking and symmetry recovery in these cases are supercritical, that is, that no two of these stable fundamental modes can survive together. However, for , symmetry breaking and symmetry recovery become subcritical. The branches of the stable SY, ASY-I, and ASY-II modes overlap in this case, which can be seen clearly in Figs. 5(e) and (f).
A similar system with cubic nonlinearity was studied earlier, and symmetry breaking was also considered [
38]. Because the saturable nonlinear potential can be approximately equal to the combination of both the linear and cubic nonlinear potentials in the region with lower energy, as mentioned above, it would clearly be interesting to compare the picture of symmetry-breaking bifurcations obtained in our model with its counterpart studied earlier in that similar system with cubic nonlinearity. We find that the two systems have a similar dynamic of mode transition when
ω is around
; however, they differ when
ω is close to 0. In the region of lower rotation speed, the former system does not have symmetry breaking, but the latter one always has. Thus, the symmetry-breaking scenario is not the same in these two systems.
A more detailed numerical simulation shows that a specific type of unstable ASY-II mode exists near the region of the stable ASY-II mode. Its real-time evolution features Josephson oscillation between the left and right sides of
[shown in Figs. 6(c) and (d)] [
49-
53]. The distribution region of this type of mode with different amplitudes
A is also calculated and is shown in Fig. 7.
As mentioned above, the model considered here is also suitable for a BEC loaded into a toroidal trap. There are also three types of corresponding stable fundamental modes found in this BEC system, which characterize a specific density distribution of the BEC atoms around the trap. These stable modes can survive together in some common region of the plane for a suitable value of A (e.g., ). It would clearly be interesting to identify which mode is most stable. Thus, one horizontal line segment with parameters and is selected to pass through the common region, and the chemical potential of the SY, ASY-I, and ASY-II modes within the line segment is determined, as shown in Fig. 8. We can easily conclude that
which clearly demonstrates that the ASY-I mode is the ground state and should be the most stable among these three types of modes.
4 Conclusion
This work studied the existence and stability of and transitions between several fundamental modes in a rotating waveguide pipe with an inverted saturated nonlinear double-well potential. The solutions of these fundamental modes were obtained using the ITP method, and the stability of the solutions was analyzed by computing the eigenvalues for small perturbations and verified by real-time simulation. This model can be realized by an air-core twisted cylindrical optical waveguide involving linear and nonlinear components of the saturated nonlinear potential with π-out-of-phase modulation. In the temporal domain, we can build a BEC loaded into a toroidal trap and establish a corresponding saturated nonlinear potential under a combination of extra optical and magnetic effects. In this model, three types of fundamental modes were found: the symmetric mode (SY mode), asymmetric mode I (ASY-I mode), and asymmetric mode II (ASY-II mode). To discuss the characteristics of these modes, the azimuthal domain of the ring is divided into four parts, two linear segments and two nonlinear segments, by the saturated nonlinear potential, defined as . The SY mode has double peaks located separately at the center of two linear segments. The ASY-II mode is a single-peak mode, in which the peak is located at the center of either linear segment. The ASY-I mode, however, is a specific structure with one or two peaks located somewhere in the center of one nonlinear segment. Symmetry breaking, symmetry recovery, and transitions among these three modes are greatly influenced by the amplitude of the nonlinear potential, A, and the rotation speed ω. For small values of A, symmetry breaking occurs only between the SY and ASY-I modes, whereas for large values of A, symmetry breaking occurs not only between the SY and ASY-I modes but also between the SY and ASY-II modes. Because the nonlinear potential is a type of saturated potential, the ASY-I mode can transform back to the SY mode if the total power is large enough, which is called symmetry recovery. Moreover, detailed examination revealed a specific type of unstable ASY-II mode. The real-time evolution of the unstable ASY-II mode is characterized by Josephson oscillation between two linear potential wells, and the distribution regions of the unstable ASY-II mode are also depicted for certain values of A. Finally, by considering a model suitable for BECs, the ASY-I mode is identified as the ground state mode.
An interesting extension of this work may be to consider a rotating nonlocal nonlinear potential, such as setting dipolar BECs in a rotating trap, which possesses long-range dipole-dipole interactions [
54-
60] or quadrupole-quadrupole interactions [
61-
63]. Another extension is to consider this model in a discrete form [
64-
66,
68-
75] and to investigate the optical field transmission across a bunch of twisted waveguide pipes.
Higher Education Press and Springer-Verlag Berlin Heidelberg 2017