Bloch oscillations sustained by nonlinearity

We demonstrate that nonlinearity may play a constructive role in supporting Bloch oscillations in a model which is discrete, in one dimension and continuous in the orthogonal one. The model can be experimentally realized in several fields of physics such as optics and Bose-Einstein condensates. We demonstrate that designing an optimal relation between the nonlinearity and the linear gradient strength provides extremely long-lived Bloch oscillations with little degradation. Such robust oscillations can be observed for a broad range of parameters and even for moderate nonlinearities and large enough values of linear potential. We also present an approximate analytical description of the wave packet’s evolution featuring a hybrid Bloch oscillating wave-soliton behavior that excellently corresponds to the direct numerical simulations.

The celebrated phenomenon of Bloch oscillations 1, 2 (BOs) was originally proposed for electrons in crystals in the presence of homogeneous electric fields which give rise to a potential that varies linearly in the field direction. After a long lasting debate about the actual existence of BOs, see, e.g., refs 3, 4, rigorous upper bounds for the interband tunelling rates could be established and the effective Hamiltonians that lead to BOs and their frequency-domain counterpart the Wannier-Stark ladder could be justified, see, e.g., ref. 5 and references therein. In the early 1990s BOs were first observed experimentally in electrically-biased semiconductor superlattices using optical interband excitation with femtosecond laser pulses 6,7 . A few years later, also for atoms in optical lattices 8 and for coupled waveguides 9 BOs have been realized. This proves that BOs can be considered in a broader context as a fundamental effect that may occur in systems which support wave propagation in media with periodically-varying parameters and with a linear potential.
The physical understanding of BOs comes from the band-gap structure of the underlying periodic linear potential and can be viewed as a Bloch mode "motion" along the dispersion curve 1,10 . In addition to the existence of the band-gap structure such an interpretation requires the linear gradient to be small (otherwise it cannot be accounted in terms of the adiabatic theorem and must be considered in leading order). Thus by its nature BO is a linear phenomenon and it is common belief that nonlinearity plays a destructive role which makes it impossible to observe BOs at long times (or propagation distances, depending on the particular physical context) even without dephasing processes. This was first reported in ref. 11 and later on confirmed experimentally in optics using arrays of Kerr-type waveguides 12 and furthermore in Bose-Einstein condensates (BECs) loaded in optical lattices [13][14][15] , where only a few oscillations were detected. The main reason which suppresses long-living nonlinear BOs was discussed in ref. 16 and originates from the modulation instability of Bloch waves at different edges of the band gap, where the effective mass (effective dispersion) changes its sign: Bloch waves are stable and unstable at the opposite edges provided the nonlinearity remains constant 17 . This understanding has led to several suggestions of rather complicated spatial 18,19 and temporal 20, 21 nonlinear management techniques which could support long-lived BOs. All of such proposals are based on the idea of changing the sign of the effective nonlinearity synchronized with the change of the sign of the effective mass in a way that their product remains of the same sign during the evolutions. This requires controlled modification of the system's properties.
Considering BOs as a broader concept, namely as the periodic evolution of systems obeying a discrete translational invariance and being subject to a linear gradient, they exist even in strongly nonlinear systems and in the presence of an arbitrary large gradient, if the system is exactly integrable. This has been obtained analytically 22,23 and numerically 24 for integrable discrete nonlinear Schrödinger equations (known also as the Ablwitz-Ladik model 25 ), as well as for its integrable generalizations 26 . While the mathematical reason for the exact periodic motion of such systems consists in their exact integrability, the physical explanation relies on the property of a specific nonlocal nonlinearity in such models which leads to stable Bloch modes at both band edges 16 .
In the integrable models the phenomenon of BOs is not restricted to small amplitudes of the linear potential. When the potential strength becomes large enough the pulses become practically localized in space since the amplitude of BOs can become less than the width of the pulse. A similar non-spreading behavior of wave packets can be also observed in non-integrable models at large nonlinearities 27 . On the other hand, when the strength of the nonlinearity increases, the non-integrable models show other types of behavior like the transient phenomenon of single-site trapping followed by explosive spreading and subdiffusion of the wave packet 28 .
So far, no non-integrable systems with a constant nonlinearity coefficient, which support long-living BOs, have been proposed. Here, we fill this gap and introduce and analyze a physically-relevant non-integrable model which does show BO dynamics persisting for long times at considerable nonlinearities and linear gradients. As it is demonstrated below, balance between the effects of the nonlinearity and the dispersion can be achieved in systems that contain an additional dimension besides the dimension corresponding to the direction of the linear gradient. This balance may result in the existence of very stable oscillatory motion of discrete-continuous soliton-like wave packets.

Results
Model and Linear Dynamics. We consider an array of coupled one-dimensional nonlinear waveguides which are subject to a linear potential. Thus our system is effectively two-dimensional with one discrete and one continuous spatial variables. It is described by the coupled nonlinear Schrödinger equations which in dimensionless variables read Here u n (t, x) is the nonlinear field, κ is the coupling between neighbour waveguides, α is the continuous diffraction coefficient, γ is the strength of the linear gradient, and g is the nonlinearity which is considered to be attractive (or focusing, depending on the physical context), i.e., g ≥ 0. Equation (1) describes the light propagation in an array of coupled optical fibers 29 in the presence of a linear gradient of the waveguide effective index. In this case, u n is the dimensionless electric field, the evolution coordinate t needs to be interpreted as the spatial coordinate along the fiber, and x will be the normalized retarded time. Thus Eq. (1) properly describes the evolution of an optical pulse experiencing continuous dispersion together with discrete diffraction in presence of Kerr nonlinearity and a linear gradient of the waveguide effective index. The model defined by Eq. (1) is even more generic. In addition, it also describes an array of coupled quasi-one-dimensional BECs, where u n stands for the dimensionless order parameter in n-th trap minimum. In the experiment the respective traps can be created by deep periodic optical lattices, see, e.g., refs 30, 31. In such a statement the discrete index n numbers the successive minima of the optical lattice and κ characterizes coupling due to the tunneling of atoms between neighbor minima. Such a model can be viewed as extensions of a previous study 32 of two BEC array created by a double-well potential, to the case of a trap created by an optical lattice.
Since BOs were discovered and are usually considered to be purely linear phenomenon, where in one-dimensional settings the nonlinearity plays a destructive role, we start with the linear case and set α = 0.5 and g = 0. In this limit the Cauchy problem defined by Eq. (1) supplied by the initial condition , can readily be solved explicitly (with tilde we denote the linear limit): where J n (·) is the n-th order Bessel function. For the sake of definiteness, in all numerical simulations presented below (except Fig. 6 as it is explictly indicated below) we consider initial conditions having a Gaussian envelope with respect to n and sech-like profiles with respect to x: where w is the characteristic width of the initial wave packet along n-direction, and a 0 characterizes the wave packet amplitude. In Fig. 1 we illustrate the dynamical evolution of the linear solution according to Eqs. (2) and (3). Panel (a) illustrates the oscillations of the wave envelope along the discrete coordinate with the amplitude and the frequency given by the analytic formulas. The significant decrease of the intensity of the field is clearly seen and is explained by the spreading of the envelope along x coordinate [see Fig. 1 In order to characterize the dynamics of the wave-packet both in linear and (below) nonlinear cases we define the average of an arbitrary function f n (x, t) by the formula . This allows us to explore the average positions of the wave along x and n directions, i.e., 〈x〉 and 〈n〉, respectively. Furthermore, we define the deformation parameter characterizing "combined" changes of the wave packet width of the wave packet during the evolution: 2 are the average widths of the wave packet in n and x directions. If deformations with respect to n and x are strongly asymmetric, the parameter Δ is the estimate of the largest deformation of the wave envelope. For the ideal case of totally robust BOs, Δ(t) would be time independent. A growing or decreasing deformation parameter Δ(t) corresponds to increasing deformations of the initial wave packet. The introduced deformation parameter is shown in Fig. 2(a,b). In particular, in full agreement with the evolution shown Fig. 1, the red dashed line in Fig. 2(a) illustrates the very rapid increase of Δ(t) in the linear case corresponding to the absence of long-lived BOs in this regime.
When a focusing nonlinearity is present, an obvious expectation is that it may compensate the diffraction leading to a slower spreading of the wave packet along the x-direction or eventually even to stationary propagation. Thus the nonlinearity would prevent the decay of the beam amplitude. On the other hand, one also expects the destruction of the BOs in the n-direction in the presence of a nonlinearity. However, since the reasons for the decay of BOs in (weakly) nonlinear one-dimensional systems arise from the change of the effective diffraction (effective mass, using in solid state terminology) when a beam moves between the two opposite edges of a band, one may expect that adding an additional direction may weaken this effect and thus stabilize BOs.
Indeed, the dispersion relation associated with the linear case of Eq. (1) at g = 0 is obtained by the ansatz ∼ ω + + u x t e ( , ) n i t qn kx ( ) and reads ω κ = − + k q /2 4 sin ( /2) 2 2 . Thus near the center and the boundary of the Brillouin zone, i.e., at  q 1 and π = +  q q with q 1, respectively, the dispersion relation is given by ω κ ≈ − + k q /2 2 2 and by ω κ κ ≈ − + −  k q /2 4 2 2 . So, at the boundary of the Brillouin zone for a focusing nonlinearity the wave packet will be compressed along both directions since both curvatures are negative. In a continuous homogeneous medium with the parabolic dispersion relation −k 2 /2 − κq 2 and Kerr nonlinearity there exists only the unstable Townes soliton and hence the discreteness preventing the collapse plays a stabilizing role.  On the other hand, at the center of the Brillouin zone the curvatures along k and q directions ( ω ∂ x 2 and ω ∂ q 2 , correspondingly) are of opposite signs. The one associated with discrete variable is positive and results in an effective dispersion tending to destroy the localized wave packet. The amplitude of this dispersive wave packet, however, does not decay as fast as it would happen in the x-independent case, since now the compression of the wave packet along the x-direction may compensate the decay of the wave packet amplitude due to the dispersion. These simple qualitative arguments allow us to suggest that the interplay of the nonlinearity with the discreteness of the model Eq. (1) may enhance the stability of nonlinear BOs allowing them to become long-lived.
Such robustization is indeed shown in Fig. 3(a,b) which displays the evolution of the wave packet for the same input parameters as shown in Fig. 1 except that now the nonlinear coefficient of g = 0.9 is taken into account. Comparing Fig. 3(a,b) to Fig. 1(a,b) clearly demonstrates that the nonlinearity on the one hand prevents the spreading of the wave packet in x-direction and on the other hand leads to the existence of long-lived BOs in the n-direction. Such evolution can qualitatively be understood to arise from the above explained compensation effect. For our parameters, corresponding to the strongly nonlinear case, the period of the BOs is still very well approximated by the formula T = 2π/γ derived for the linear case. In particular, for γ = 0.1 the obtained period of the oscillations of the nonlinear wave packet is ≈62.8 which is very close to the oscillations period of the linear case. The dynamics displayed in Fig. 3 corresponds to almost 50 BO periods over which the wave packet is not significantly distorted.
The robustness of the BOs is also confirmed by Fig. 2(a) which shows that in the presence of the nonlinearity the deformation parameter Δ(t) grows with time very slowly. The long-lived BOs require a certain balance of the system parameters to achieve the underlying compensation between diffraction and focusing. The competing effects of the nonlinearity, strength of linear potential and dispersion, are analyzed in Fig. 2(b) where we study the spread of the wave packet Δ(t) after sufficiently long evolution time, more specifically at t = 3000, for fixed linear gradients γ as function of the strength of the nonlinearity g. For each of the studied γ we observe clear minima at respective values of the nonlinearity. These minima correspond to the optimal relation between the nonlinearity and the linear potential resulting in robust BOs.
In order to get the direct numerical proof of the main result of our paper -the stabilizing effect of the additional dimension -we performed the study of the BOs at different values of the diffraction coefficient α. Indeed, the limit α → 0 meaning negligible diffraction, returns us to the effectively 1D discrete lattice. Since in this limit the nonlinearity has a destructive effect on BOs, it is natural to expect that the optimal parameter Δ(t) for smaller α is achieved at smaller nonlinearity g, and g → 0 at α → 0. This is exactly what we observe on Fig. 2(c). We observe that increasing α results in an almost linear increase of the optimal g, clearly demonstrating that the most robust oscillating regime is achieved when the nonlinearity is balanced by the dispersion. This phenomenon is known to be in the basis of soliton creation in nonlinear systems, and thus allowing us to conjecture that our oscillating object can be viewed as a soliton-like wave packet (see also (6) and the related discussion).
Let us now take a closer look at the compromise between the X-component and N-component of the deformation parameter Δ(t). To this end we fix the system parameters optimized for α = 0.5 and compare the dynamics of Δ(t), N(t) and X(t) for these optimal case with the cases where α = 0.4 and α = 0.6, i.e. for the evolution at non-optimal diffraction. The results are presented in Fig. 4. Blue curves show the indicators pertaining to the optimal value of nonlinear coefficient g = 0.9 for the particular value of α = 0.5. Two different mechanisms affect each of the components. By increasing the diffraction coefficient α = 0.6, while maintaining the nonlinear coefficient g = 0.9, we observe the expected reducing of the wavepacket dispersion N in the "discrete" direction with simultaneous strong increase of the wave packet width X along the continuous directions. Respectively, decreasing the diffraction coefficient α = 0.4 leads to improvement of the mean square width X with simultaneous increase of N. We also note that despite the fact that red and blue curves do not represent optimal cases for the nonlinear regime they still pertain to very robust propagation for a long distance. Figure 5 shows the uncertainty parameter evolution as a function of the evolution time for five different values of nonlinearity parameter g. As we can clearly see all the oscillations are synchronous and this enables us to  conclude that results are consistent with evolution to a certain degree. However closer look at the red g = 1 and blue curves (g = 0.9 is the optimum) show that for some temporal snapshots the red curve outperform the blue one. This means that strictly speaking we do not have a single point as the optimum but rather some small parameter range where system basically shows optimal behavior. For example the graph presented in Fig. 2(c) would experience very minor fluctuations of its optimal points positions if the integration will be stopped at different time point than t = 3000. For the sake of experimental realization having broad range of parameters with performance close to optimal is rather advantageous.
We have also performed additional simulations with input different from that defined by Eq. (3), considering the product of two Gaussians where w is the characteristic width of the initial wave packet along the n-direction, w x is the characteristic width of the initial wave packet along the x-direction, and a 0 characterizes the wave packet amplitude. Figure 6 illustrates the evolution with such an input and demonstrates the convergence to a robust propagation regime after initial radiation emission. Except for the smallest considered gradient of γ = 0.01 we obtain quite broad minima of Δ(t = 3000) as function of g which demonstrates a remarkable robustness of the nonlinear stabilization with respect to change of the nonlinearity. Returning to Fig. 3 increase of the nonlinearity above the optimal value, however, may lead to a breakup of the wave packet with a simultaneous compression in the x-direction. Such a situation is shown in Fig. 3(c,d) with the nonlinear parameter taken g = 1.6, that is much higher than g = 0.9 (the optimal value of the nonlinearity coefficient for the given value of the gradient strength).
The results reported up to here were obtained for relatively moderate γ when the qualitative description could be based on the band-gap structure of the spectrum which results from the underlying linear lattice. Meantime, as an alternative view on BOs, a term with the linear gradient strength in a lattice can be transformed in periodically varying coupling coefficients, by a simple gauge transformation, i.e. by the ansatz of γ ∝ u x t i nt ( , ) exp( ) n 23 . Since such a transformation is not directly related to the zone spectrum, it is natural to explore the possibility of obtaining long-lived nonlinear BOs in the case of a relatively large gradient. Figure 7 clearly demonstrates that it is indeed possible to achieve long-lived BOs in the case of a considerable gradient of γ = 3.
As we mentioned above the wave packet with the optimized parameters, whose dynamics is shown in Fig. 7 and which manifests remarkable stability, can be viewed as a hybrid of a Bloch oscillating wave and a quasi-soliton. This interpretation is supported by an approximate analytical solution of Eq. (1). Such approximate solution is obtained by applying the gauge transformation mentioned above for a wave packet that is smooth as function of n allowing to approximate the differences u n±1 − u n by their Taylor expansion. It reads  Fig. 7(a 2 ,b 2 ), with the numerical results, see Fig. 7(a 1 ,b 1 ), reveals an excellent overlap for a significant number of oscillation periods. For example, an integral characteristics such as the average width of the oscillations predicted by Eq. (6) differs only by about 5% up to t = 100 (corresponding to about 50 oscillation periods) and the precision drops to a difference of about 40 percent at t = 400. The position of the wavepacket is slightly shifted from the center in the course of the evolution in the n-plane, see Fig. 7(a 1 ), but remains fixed in the x-plane, see Fig. 7(b 1 ). The oscillation period predicted by Eq. (5) is similar to that obtained from the direct numerical solution of Eq. (1) as the comparison of the upper and lower insets of Fig. 7(a) demonstrates.

Conclusions
To conclude, we have shown that nolinearity is able to support Bloch oscillations when the system is effectively two-dimensional, being discrete, in one dimension and continuous in the orthogonal direction. We have discovered that there exists an optimal relation between nonlinearity and linear gradient strengths allowing for extremely long lived Bloch oscillations (persisting for dozens of oscillation periods with relative deformation of the pulse shape of only a few percents). Such oscillations can be observed even for moderate nonlinearities and large enough values of linear potential, when the band-gap picture of the underlying linear lattice is not applicable anymore. The robust evolution of wave packets in such regime described by an approximate analytical formula in excellent agreement the direct numerical results. The formula describes an object with hybrid features of typical Bloch oscillating wave and soliton.
For future investigations, it would be interesting to analyze a number of points which have not been in the focus of the present study, e.g., regarding the interplay between dispersive spreading and decay of the initial pulse in a set of quasi-soliton pulse propagating along the continuous coordinate and the possibilities of observing chaotic regimes, and achieving asymptotic regimes.