Singular OpticsView this Special Issue
Canonical and Singular Propagation of Ultrashort Pulses in a Nonlinear Medium
We examine the two types of singular behaviors of ultrashort pulses in a nonlinear medium, pulse steepening if the weak longitudinal dispersion is normal and collapse if it is anomalous. Connections with analogous behaviors of wave packets of almost monochromatic waves in strongly dispersive media are discussed.
The drive to achieve ever higher local intensities with finite amounts of energy is the main reason that has led to much interest into the propagation characteristics of ultrashort pulses whose spectrum is broad, and whose widths are no more than several wavelengths of light. A second reason is that they exhibit novel singular behaviors, behaviors which are worth contrasting with those of “rogue” waves, familiar from ocean contexts and the “collapses” associated with the envelopes of almost monochromatic waves associated with singular solutions of equations of nonlinear Schrödinger type. A third reason is the ongoing program of attempting to create suitable conditions under which one might effectively propagate high intensity short pulses over long distances through gases such as the atmosphere.
Our aim in this short paper is to provide a unified mathematical description via a nonlinear partial differential equation that captures both type of singularity while avoiding the usual envelope approximations utilized in the nonlinear optics literature. Many of the ideas and some of the equation derivations, albeit in different formats, have appeared already in the literature; for example, in the recent works of Balakin et al. (BLMS; ) which in turn were informed by results going back to the eighties [2, 3]; the papers of Alterman and Rauch  and Schaffer and Wayne , and the results of Kolesik and Moloney . Indeed, in many cases the authors appeared to be unaware of each other's results. Our goals here are as follows.
We want to show that the series of governing equations (UPPE, an acronym for unidirectional pulse propagation equation) derived by Kolesik and Moloney  directly from Maxwell's equations using a Fourier decomposition of the electromagnetic fields can be reduced by asymptotic analysis to an equation for the dominant electric field in which all wavelength (short, μm) scales have been removed, essentially by averaging over wavelength scales. We call the reduced equation RUPPE. In RUPPE, the electric field varies over distances associated with nonlinearity, diffraction, dispersion, and attenuation. The Fourier representation is particularly valuable because it shows clearly the circumstances in which nonlinearity has long distance cumulative, order one, effects. It will let us see, for example, how, if the pulse is broadband, dispersion in the direction of propagation (longitudinal dispersion) must necessarily be weak. This contrasts with the situation in which the pulse is almost monochromatic with a narrowband spectrum, in which case, with strong dispersion, the propagation equation will be more of nonlinear Schrödinger type.
We show how, by taking the inverse Fourier transform of RUPPE, we arrive at the modified Kadomtsev-Petviashvili equation (MKPI) of type I which is closely related to the equation derived in the early eighties by Kuznetsov for acoustic waves , for which equation with cubic nonlinearity, various “blowup” results were found by Turitsyn and Falkovich , and which is the main equation used by BLMS in their analysis. If is the dominant (either linearly or azimuthally polarized) component of the electric field, then the MKPI equation in nondimensional form is Equation (1) shows how the right going Riemann invariant of the underlying wave equation is deformed over long distances by a combination of nonlinear, diffraction, dispersion, and attenuation influences.
In (1), , and are the nonlinear, dispersion, attenuation, and diffraction distances defined by where and is related to the nondimensional pulse intensity, the linear and nonlinear refractive indices, pulse width, beam width and is the shortest distance (usually or over which changes. The nondimensional coefficients and describe how the real and imaginary parts of the linear susceptibility deviate from constant values. The operator is the Laplacian if the field is asymmetric and linearly polarized and for the azimuthally polarized case.
We explore singular behavior in (1). By singular behavior, we mean that there will be a finite time singularity, namely unbounded growth tending to infinity in a finite time, in either the amplitude or the slope of the electric field. Dispersion, as indeed does dissipation, regularizes the singularity in that either the amplitude or slope becomes very large before the unbounded growth gets arrested. For example, if the singularity is in the slope, the pulse steepens until the dispersion or dissipation terms become sufficiently large so as to bring about a balance between the nonlinear steepening effect, manifested by the time derivative of the electric field cubed and the dissipation or dispersion. If the singularity is in the amplitude, then the arrest is a bit more subtle and involves the property that in two transverse space dimensions the collapsing pulse carries exactly the critical amount of energy (power) required to affect collapse. Any loss, through dissipation or radiative dispersion will have the effect of bringing the power below critical, and then the collapse slowly radiates away in waves. The point of the paper is to emphasize that because dispersion and dissipation are small when applied to the original pulse shape, the pulse will evolve a long way towards the collapse state before being arrested, as indeed our numerics show.
We find that there are two distinct types of singular behavior exhibited by solutions of (1). If the dispersion is normal, namely , then the evolution of the electric field is dominated by the first two terms. The leading part of the pulse (it is the rear part if viewed from a fixed frame of reference) steepens until either dispersion causes the steepening front to form oscillations, or diffusion causes the front to develop a shock. This is the case studied by BLMS . We make a very important point. Unlike KPI, namely where the nonlinearity is quadratic, the MKPI whose behavior in the longitudinal direction satisfies the modified Korteweg-de Vries equation, the difference in signs of nonlinearity and dispersion is crucial. For , the oscillations, which the steepening front produces, never become solitons. They are purely radiative and eventually disperse. Indeed what we show is that they behave rather like normal dispersion does in arresting the collapse of the two dimensional nonlinear Schrödinger equation discussed by us in the mid nineties . Thus, the energy of the oscillating waves spreads into the transverse direction by four-wave resonant interactions. This behavior is clearly seen in our simulations and was extensively reported in the simulations of Kolesik and Moloney . On the other hand, if dispersion is anomalous, , then solitons do form and destabilize into local collapses with an amplitude singularity when diffractive effects become important. By diffractive effects, we are referring to the dispersion brought about by the diffraction term which causes pulses whose carrier wavevector is not quite along the z axis to spread. We show that each collapse follows a self-similar form given by , and , where is the blowup point and follows the maximum of .
We also point out that there is a distinct difference in collapse behavior between the linearly and azimuthally polarized cases but we leave it to a later paper  to report details.
Finally, we briefly describe how, in the case of strong longitudinal dispersion, a much weaker nonlinearity, and an almost monochromatic rather than broadband pulse, (1) takes on nonlinear Schrödinger form with normal () and anomalous () longitudinal dispersion. In that case, the behavior of the electric field envelope follows that discussed by Luther et al. .
2. Derivation of RUPPE and MKPI
To make the presentation as simple as possible and to postpone approximations until absolutely necessary, we start with an azimuthally polarized field , where is the unit vector in the angular direction and is the direction of propagation. The result we obtain for a linearly polarized wave will be almost the same except that it is necessary to include a small electric field component in the propagation direction in order to satisfy the divergence free condition. In addition, the diffraction operator will be the Laplacian rather than .
We take as constitutive relations and We write the Fourier transforms of , the linear and nonlinear susceptibility and to be and , respectively. From Maxwell's equation and , we obtain the exact relation where is the Dirac delta function. Anticipating that we will be taking nonlinearity and diffraction to be small when compared to the linear response , we write as the sum of forward and backward fields. Let where the real part of and make the free choice of a relation between and to be (cf. method of variation of parameters). Then substituting (5) into (4), and adding and subtracting the free choice, we obtain the exact relations: where and an equivalent equation for . These equations are exact. There have been no approximations thus far. Note that the parameters and introduced here and discussed in the following are different from those introduced in (2).
We will now ask how can we approximate solutions to (6), and (7) if their right hand sides are small? Suppose we set . To leading order, and will be independent of but, in order to remove secular terms (terms growing as ) in the iterates , we will have to choose their slow variations and accordingly. So the first task is to identify the secular terms in and . The equation for is where is given in (7) with replaced by . Since, to leading order, and are independent, it is clear that by direct integration from to , the first and third terms on the right hand side of (8) are secular whereas the second and fourth, each of whose fast dependence is , are not. The more interesting discussion involves the nonlinear term one member of which, when integrated from 0 to , is
In order to assess whether this term gives rise to secular behavior, we must ask what is its limiting behavior as becomes large. To answer this, we require a little mathematics. We state two important results. If is an ordinary (measurable) function which is absolutely integrable and is not identically zero over a finite interval in the domain of integration, we know that (the Riemann-Lebesgue lemma) and that where and denotes the Cauchy Principal Value. This means that as long as the amplitudes are ordinary (as opposed to, say, Dirac delta) functions and are absolutely integrable, the nonlinear terms will give a bounded contribution to and be therefore nonsecular unless is identically zero over finite regions of space (note: ). Namely, the nonlinear term will give no cumulative long distance effect unless is identically zero. This occurs only when there is no (at least to leading order) longitudinal dispersion.
This realization makes the propagation of narrow pulses with broadband spectrum for which the Fourier transforms are smooth very different from that of almost monochromatic pulses for which the Fourier amplitudes and are close to Dirac delta functions centered on some finite set of carrier frequencies. In the latter case, the nonlinear term can be secular either because of modal interactions leading to a nonlinear Schrödinger type nonlinearity or resonant interactions leading to coupled wave packets. Namely, if the amplitudes can be Dirac delta functions, the integral (9) becomes a sum and will be equal to at any points in space with where the resonant condition holds. We return to this situation at the end of this section. For now, we focus on the case of narrow pulses for which the Fourier transforms are smooth in and for which (9) is only secular when is (almost) identically zero; namely, when for constant . It should now also be clear that any of the other products in such as those involving with fast behavior never give rise to secular terms. Thus, the interaction between right and left going pulses is small and does not affect their deformations.
We now return to (4) and write as and assume that is small compared to . This small difference will give rise to weak dispersion and attenuation. We recall that since and are real, so that is even in and is odd in . We will then obtain an equation (6) for in which and the susceptibility deviation from will manifest itself as the term on the right hand side of (6). When we now repeat the analysis, we find the only secular terms arising in are those for which all fast dependence on have been removed. To suppress these secular terms in , we allow to be slowly varying. We find the equation we call RUPPE, It says, in effect, that the evolution of the right going Fourier amplitude of the electric field in frequency space travels without deformation on distances of the order of many wavelengths but is distorted over much longer distances by a combination of dispersion and attenuation, diffraction and nonlinearity. It has several very important properties.
2.1. Analogue of the Turitsyn-Falkovich Theorem
In its simplest form, we take constant and ignore . We define the flux, variance, current, and Hamiltonian to be where tends to zero at and .
The azimuthally polarized case demands that the electric field be zero at in order that the magnetic field is zero (strictly speaking, the magnetic field will be very weak and longitudinally polarized but has no azimuthal component.) Then, we can easily show Thus, , and if the constant (in ) is negative at , then the positive definite variance would become negative in a finite distance . The only conclusion is that must develop a singularity before then.
If we include dispersion and ignore attenuation, then for , the case of anomalous dispersion, a similar conclusion holds. For normal dispersion, we will shortly see that a different kind of singularity occurs. It is not known for which class of nonconstant nonlinear susceptibilities , singularities must form.
2.2. The MKPI Equation
The facts that the forward and backward going components can be separated and that is almost constant suggest that we rewrite (10) as an equation for the leading order component of the electric field We note that has its Fourier transform . Then if we take constant, (10) becomes If we further approximate , dimensionless, which is not unreasonable over a large frequency range for air, then (14) becomes We introduce the nondimensional scalings and define then (15) is which is the modified Kadomtsev-Petviashvili equation of type 1. If we include a plasma oscillation to account for low-frequency behavior, this is exactly the equation used by BLMS  and derived in other contexts by Kuznetsov and collaborators in the nineteen eighties. It is also connected with the work of both Alterman and Rauch  and Schaffer and Wayne  who realized that, to leading order, the propagation characteristics of short pulses are captured by looking at the deformation of the right going Riemann invariant .
Depending on which effect is dominant, we will choose accordingly. For air, for pulses of dimensionless power of about , and for μm, for beam widths of between 100 μm and 1 mm, the nonlinear and diffraction distances are of the order of 10 mm, the dispersion length about 100 mm. Attenuation is negligibly small. In this case, we choose .
The behaviors in the two cases and corresponding to normal and anomalous dispersion are markedly different. For normal dispersion, as BLMS have shown, the forward slope (in ; rear part in a fixed frame) steepens. Before it becomes multivalued, it is arrested by an outburst of regularizing oscillations. The BLMS analysis of the onset of this singular behavior captures the beginning of this behavior. The dimensional frequency range of these waves is given by . These waves, with wavevector , pick up resonant four wave partners via the resonance and eventually disperse the energy transversely. The initial behavior is captured by the scaling variable in BLMS (see their equation (29)).
This behavior is reminiscent of what happens for the three-dimensional nonlinear Schrödinger equation with a self-focusing nonlinearity, diffraction, and normal dispersion in the propagation direction. There, if normal dispersion is initially weak, the cross sectional part of the pulse with the greatest power begins to focus into a collapse as a result of the balance between diffraction and self focusing nonlinearity. By following the evolution in , the propagation direction, of the self-similar scaling variables describing the collapse, we see the effect of normal dispersion is to arrest the collapse and spread the energy of the failed collapse via four-wave resonant interactions.
For anomalous dispersion, the behavior is very different. For linearly polarized waves, the electric field concentrates in the vicinity of at a retarded time . For azimuthally polarized waves, the energy concentrates in a collapsing ring about . In the following section, we show the results of simulations in the normal and anomalous dispersion cases.
As the final remark of this section, we briefly describe what happens to an almost monochromatic pulse in the case where dispersion is strong, namely, where . In that case, the envelope of a carrier wave will evolve along its group velocity trajectory and deform under the joint action of a nonlinear Schrödinger nonlinearity , diffraction , and dispersion .
A natural question to ask is: if, in a medium which contains a strong resonant band about , is it possible that an initially broad band pulse can peel off an almost monochromatic wave packet which separates from the main pulse and whose further propagation behavior is determined by a nonlinear Schrödinger type equation describing its deformation due to dispersion and nonlinearity along its local group velocity trajectory ?
3. Numerical Study of the MKPI Equation
With the choice , equation (18) can be written where The discussion will be limited to the case of plane polarization .
The focus of this section is to study the qualitative aspects of (19), with particular attention on the role of dispersion in preventing or promoting singular behavior. It is notable that for the case of one transverse dimension (), much is already understood about the MKP equation (see e.g., Klein and Saut ). To our knowledge, the only detailed study of the three dimensional case in the nonlinear optics context was conducted by Balakin et al. . We will compare their findings to ours below.
Numerical simulations are used to illustrate the behavior of solutions of (19). Our method is fairly standard, employing spectral (Fourier and Hankel transform) representations of and derivatives. Approximation of the -derivative employs fourth-order exponential time differencing [10, 11]. The computational domain is periodic in , which has the effect of cutting off small, physically irrelevant frequencies.
Our main attention will focus on the effects of large frequency dispersion encoded in the parameter . To this end we fix and , and assume radial symmetry (). It is particularly instructive to compare normal () to anomalous () dispersion. While the former is expected for optical pulses, the latter case demonstrates the significance of high frequency dispersion and the need for normal dispersion as a regularizing mechanism.
3.1. Normal Dispersion
We consider initial data corresponding to a short pulse of unit width where has Fourier transform and is chosen so that the maximum amplitude of is equal to one.
Consider first the case of large normal dispersion . In this situation, the pulse does not retain its structure, but rather disintegrates into a wave train dominated by a small band of frequencies (Figure 1, middle).
When the effect of dispersion is smaller (), one observes steepening of the pulse (Figure 1(c)). This coincides with generation of harmonics by four-wave interactions (Figure 2). By comparing the effective size of nonlinear and dispersive terms, one sees that formation of a shock will be arrested when steepening reaches a dimensional timescale . By virtue of depending inversely on initial amplitude, it follows that stronger pulses generate higher frequencies.
At a propagation distance comparable to , self-focusing is apparent (Figure 3). We observe that compression in the transverse direction is stronger when normal dispersion is smaller. This might be expected, since normal dispersion is known to prevent self-focusing collapse in the monochromatic limit described by the nonlinear Schrödinger equation .
3.2. Anomalous Dispersion and Singular Collapse
The case was also studied using the same initial data. This is expected to be different since finite time singularities may occur. In analogy to the focusing nonlinear Schrödinger equation, one can show this by use of a virial-type argument [1, 3].
When , no singular behavior is observed. Rather, breakup of the pulse into a wave train occurs much like the large normal dispersion case. (Figure 4(a)). This is analogous to the situation in the nonlinear Schrödinger equation where solutions do not have sufficient power for collapse.
In contrast, when , the pulse collapses (Figure 4(b)) in both and , and the amplitude grows without bound. This occurs at a point where is large, suggesting that blowup is initiated when dispersive effects become significant.
The quantitative aspects of this singularity can be analyzed by assuming that scales behave as power laws where is the blowup point. Balancing dispersion, nonlinearity and diffractive effects for requires which means , , . These scalings were confirmed numerically (Figure 5).
Numerical evidence also suggests that collapse occurs in a universal, self-similar fashion (Figure 6). One may derive an equation for the profile by using the ansatz where the blowup point is at . Inserting (24) into (19) gives the similarity equation (ignoring the attenuation term) Properties of (25) are still under investigation.
3.3. Shock Formation Versus Blowup
Our numerical findings indicate two types of singular or nearly singular behavior. The first type is characterized by steepening of the pulse front. Normal dispersion always appears to arrest steepening that would lead to a shock-type solution. The other candidate for singular behavior is blowup, that is, unbounded growth in amplitude. This appears to only occur for anomalous dispersion.
Balakin et al.  make a theoretical prediction of the nature of collapse in (19). The crux of their argument is that dispersion at high frequencies (represented by our term) can be ignored as the pulse amplitude grows. This leads to the assertion that the dominant behavior is described by the equation ( are modified coordinates ) They conclude that shock formation should preempt collapse.
In contrast, we find that unless dispersion is exactly zero, there is no circumstance which leads to shock formation. We note that there is an inconsistency in the argument that leads to (26). During such an event, and higher order derivatives grow without bound. This means that the fourth-order dispersive term in (19) should in fact become stronger, not weaker, relative to the size of the nonlinear term. On the other hand, (26) probably does capture the steepening behavior during the early phase of pulse evolution.
4. Summary and Conclusion
In this paper, we have derived an ultra-broadband electromagnetic propagator as a limiting form of the UPPE equation of Kolesik and Moloney . The resulting MKPI equation, derived using asymptotic analysis, allows us to isolate two key singularities, namely, blowup and shock formation and their regularization due to weak linear dispersion. Our results are related to and extend those of Balakin et al. . The MKPI equation derived here captures the nonlinear evolution of the full electromagnetic field in contrast to narrowband nonlinear envelope NLSE equation. Consequently, it should be relevant to the generation of higher harmonic waves during filamentation in extended gaseous media. However, many open questions remain to be addressed. For example, in this ultra-broadband limit, the linear dispersion and absorption spectral landscape spans the ultraviolet to far infrared portion of the electromagnetic spectrum and will need to be represented by a more general form than that used here. Additionally, as a spectrum broadens due to nonlinear propagation, it will be necessary to include real absorption (and associated dispersion) features associated with real resonances at both ends of this broad electromagnetic spectrum—it is anticipated that such resonances will provide a novel nonlocal regularization mechanism for the singularities discussed here. Moreover, a switch in sign of the group velocity dispersion from normal to anomalous as such resonance features are traversed suggests the possibility of novel dispersive waves or possibly soliton-like structures being emitted. Furthermore, at the very high field intensities under consideration here, strong field ionization becomes important and coupling to a electron-ion plasma will need to be included. This question is controversial in the current literature, and there are arguments to support “ionization-free” nonlinear saturation of the cubic nonlinearity in the case of ultrashort pulse propagation in air .
This work was supported by an Air Force Office of Scientific Research Multidisciplinary University Research Initiative (MURI) Grant FA9550-10-1-0561.
E. A. Kuznetsov, S. L. Muske, and A. V. Shafarenko, “Collapse of acoustic waves in media with positive dispersion,” JETP Letters, vol. 37, no. 5, pp. 241–247, 1983.View at: Google Scholar
S. K. Turitsyn and E. G. Falkovich, “Stability of of magnetoelastic solitons and self-focusing of sound in antiferromagnets,” Soviet Physics—JETP, vol. 62, pp. 146–152, 1985.View at: Google Scholar
J. Allen-Flowers and K. G. Glasner, in preparation.
C. Klein and J.-C. Saut, “Numerical study of blow up and stability of solutions of gereralized Kadomtsev-petviashvili equations,” http://arxiv.org/PS_cache/arxiv/pdf/1010/1010.5510v1.pdf.View at: Google Scholar