Liquid parametric sloshing, known also as Faraday waves, has been a long standing subject of interest. The development of the theory of Faraday waves has witnessed a number of controversies regarding the analytical treatment of sloshing modal equations and modes competition. One of the significant contributions is that the energy is transferred from lower to higher harmonics and the nonlinear coupling generated static components in the temporal Fourier spectrum, leading to a contribution of a nonoscillating permanent sinusoidal deformed surface state. This article presents an overview of different problems of Faraday waves. These include the boundary value problem of liquid parametric sloshing, the influence of damping and surfactants on the stability and response of the free surface, the weakly nonlinear parametric and autoparametric sloshing dynamics, and breaking waves under high parametric excitation level. An overview of the physics of Faraday wave competition together with pattern formation under single-, two-, three-, and multifrequency parametric excitation will be presented. Significant effort was made in order to understand and predict the pattern selection using analytical and numerical tools. Mechanisms for selecting the main frequency responses that are different from the first subharmonic one were identified in the literature. Nontraditional sources of parametric excitation and Faraday waves of ferromagnetic films and ferrofluids will be briefly discussed. Under random parametric excitation and g-jitter, the behavior of Faraday waves is described in terms of stochastic stability modes and spectral density function.
Faraday waves refer to nonlinear standing waves, which appear on liquids enclosed by a container excited vertically with a frequency, , close to twice the natural frequency , of the free surface, i.e., . This condition is referred to as parametric resonance, since the motion of the liquid free surface is due to an excitation perpendicular to the plane of the undisturbed free surface, and thus the generated waves are also known as parametric sloshing or Faraday waves. Faraday waves are named after Faraday [1,2] who observed the fluid inside a glass container oscillates at one-half of the vertical excitation frequency. Another similar series of experiments, conducted by Mathiessen [3,4], showed that the fluid oscillations are synchronous, i.e., . The contradiction of the two observations led Rayleigh [5,6] to make a further series of experiments with improved equipment and his observations supported Faraday's results. During that time, Mathieu  formulated his equations, which helped Rayleigh to explain this phenomenon mathematically. The problem was investigated again by others [8–10] who explained mathematically the discrepancy between Faraday's and Rayleigh's observations and Matthiessen's findings.
Depending on the fluid and excitation parameters, the solution of Mathieu equation can be stable or unstable. The boundaries of stability are usually given in a chart known as Ince–Strutt diagram. Analytical expressions for these boundaries are well documented [11,12]. These boundaries are emanated at excitation frequencies corrersponding to subharmonic (twice the sloshing natural frequecy) or harmonic (same as the sloshing modal frequency) and they enclose regions of instability. Outside these regions, the fluid free surface is stable. Benjamin and Ursell  showed that if the plane free surface is unstable, the resulting motion could have frequency (N/2) times the excitation frequency, where N is an integer. Since the motion might be half-frequency subharmonic, harmonic, or superharmonic, both Fraday [1,2] and Matthiessen [3,4] could be correct. However, the experimental results of Benjamin and Ursell  only showed that damping results in a threshold excitation amplitude below which the fluid free surface is stable. Woodward  suggested that in most real fluids there is sufficient damping such that the unstable regions, except the first several unstable ones, will be located completely above the threshold excitation amplitude level and considerations need only be given to those modes in the lower frequency range. The fundamentals of parametric sloshing are well documented in Ref. . The purpose of this paper is to present the recent advances of Faraday waves and related problems.
Generally, engineers have treated the hydrodynamic of parametric sloshing of fluids with filling depths greater or smaller than the critical fluid depth. The critical fluid depth is the depth above which the free-surface oscillations behave like a soft nonlinear spring. In the neighborhood of internal resonance (or autoparametric resonance) among sloshing modes, Faraday waves may experience complex behavior in the form of energy exchange and modes competition. In particular, physicists dealt with the physics of small layers of fluid and studied the competition of modes and the mechanisms and generation of selected wave patterns. The purpose of this review article is to bring the recent developments of Faraday waves as treated by Engineers, Physicists, and Mathematicians. Some controversies reported in the literature among different researchers regarding the formulations of nonlinear sloshing modal interactions will be assessed.
This article is organized as follows: Section 2 provides a brief discussion of Faraday waves and cross waves generated by wave-maker. Section 3 presents the boundary value problem of parametric sloshing of viscous fluids including surface tension. The basic idea of the quasi-potential approximation is introduced. This section enumerates the main techniques employed in the literature for analyzing the boundary value problem. The damping effect on parametric sloshing is addressed in Sec. 4. The effects of insoluble surfactants on the damping rates, natural frequencies, and amplitudes of the fundamental sloshing mode are considered in Sec. 5. Section 5 also considers the parametric excitation of stratified fluids. Section 6 is devoted to the problem of nonlinear parametric sloshing including weakly nonlinear waves and breaking surface waves. The case of parametric excitation in the presence of internal resonance among gravity waves is addressed in Sec. 7. When the detuning between two or more adjacent modes is very small, these modes can enter in competition which may lead to chaotic behavior. The problem of modes competition is treated in Sec. 8 for fluids of small layers. The pattern formation and selection due to fast time scales are considered in Sec. 9. This problem has been treated mainly by Physicists who considered Faraday patterns of thin fluid layers under single-, two-, three-, and multifrequency excitations. Section 10 addresses Faraday waves of other media such as dielectric liquids, magnetic liquids, ferrofluids, smectic and nematic liquid crystal layers. The problem of random parametric excitation under gravitational field and g-jitter of liquid free surface is treated in Sec. 11. Section 12 provides some closing remarks, conclusions, and need for further research.
Between Faraday Waves and Cross Waves
Faraday waves oscillate subharmonically with the external excitation frequency. They are excited as the forcing amplitude is raised above a critical value. The surface waves could also be harmonic (or synchronous) with the external excitation in the presence of large dissipation. This usually occurs in thin layers of viscous fluids at low excitation frequencies. This leads to the possibility of a bicritical point at the instability threshold point, where both subharmonic and harmonic (synchronous) surface waves can be excited for the same value of excitation amplitude acceleration. The physical interpretation of the resonance at half the excitation frequency was given in Ref.  and is demonstrated in Fig. 1. When a fluid layer is excited parametrically at half the excitation frequency, then when the vessel goes down, the fluid inertia tends to create a surface deformation, as in the Rayleigh–Taylor instability1. This deformation disappears when the vessel comes backup, in a time equal to a quarter-period of the corresponding wave. The decay of this deformation creates a flow which induces, for the following excitation period, the exchange of the maxima and the minima. Thus, one obtains the period of one fluid cycle to be twice the period of excitation.
For , the free-surface amplitude increases at an exponential rate. Brand and Nyborg  carried out an experimental investigation to measure , i.e., the minimum values of excitation amplitude required for exciting half-frequency surface waves. The measured values of were found to be much greater than those predicted analytically. They attributed this difference to the lack of development in the previous theories of the free-surface damping coefficient. This will be discussed in Sec. 4.
Regarding the interface instability during vertical excitation of the free surface, Wright et al.  indicated that during one cycle of fluid oscillations the interface experiences stabilizing and destabilizing acceleration directed from the light to the heavy fluid and vice versa. The interplay between the Rayleigh–Taylor instability prevails during the first half-cycle of the vibration. The stabilizing influence of the fluid acceleration directed from the heavy to the light fluid, prevailing in the second half-cycle of the vibration, is responsible for temporal symmetry of the wave profiles during a complete cycle. This asymmetry should be contrasted with the symmetry of the unforced gravity or capillary waves. If the frequency of oscillations is small, the interface is subjected to destabilizing acceleration for a sufficiently long period. This allows the Rayleigh–Taylor instability to proceed into its nonlinear stages, causing the development of spikes and bubbles.
Faraday waves are distinct from other waves with crests normal to a moving boundary (wave-maker) as cross waves [22–26]. The mechanism of creating the transverse waves observed in wave tanks was discussed in Ref. . It was shown that regular trains of progressive waves created by a wave-maker are unstable to disturbances along their crests, and that the disturbance has a frequency exactly half that of the progressive waves themselves. The possible relevance of this nonlinear subharmonic resonant interaction to the problem of edge wave generation was also discussed. Miles and Henderson  provided an account of the history of Faraday waves. They designate those waves associated with an oscillation of the effective gravitational acceleration as Faraday waves and those waves with crests normal to a wave-maker as cross waves or edge waves originally discovered by Stokes , which may be subharmonically excited by either an incoming wave or a disturbance moving parallel to the shore. The nonlinear dynamics of nonlinear modulated cross waves of resonant frequency and carrier frequency was investigated by Friedel et al. . In a long horizontal container with finite depth, which is subjected to a vertical oscillation of frequency , the wave can appear in solitary form. It is known that the solitary wave is only stable in a certain parameter regime, depending on damping and driving amplitudes. It was shown how instabilities are saturated following generic routes to chaos in time with spatially coherent structures.
Figure 2 shows different waveforms, in which cross waves are strictly 2:1 subharmonic waves produced by a wave-maker consisting in a partially submerged horizontally vibrating plate. Interaction between both end-walls was found to produce sloshing modes that exhibit new dynamics promoted by wave reflection at the end-walls. Parametric excitation is triggered by the harmonic wave field produced by the vibrating end-walls, which exhibits two distinguished components. On the one hand, two counterpropagating harmonic wave-trains (see Fig. 2(d)) aligned along the vibrating end-walls are present, which propagate (and decay by viscous dissipation) inward from the end-walls. Perez-Gracia et al.  examined capillary–gravity, modulated waves of nearly inviscid fluid parametrically excited by monochromatic horizontal vibrations in liquid containers whose width and depth are both large compared with the wavelength of the excited waves. A general linear amplitude equation is derived with appropriate boundary conditions that provides the threshold acceleration and associated spatiotemporal patterns, which compare very well with the experimental measurements and visualizations. The resulting (quasi-periodic) waves are generally oblique, not perpendicular to the vibrating end-walls. This article will not address this type of waves.
It should be mentioned that the mathematical formulations of stability boundaries and nonlinear response under parametric excitation depend on the fluid boundary value problem. The mathematical formulation of the liquid boundary problem in closed container depends on some assumptions pertaining to the fluid properties and the container geometry. The general boundary value statement of liquid sloshing is described in Sec. 3 for incompressible viscous fluids with the inclusion of its surface tension.
Boundary Value Problem of Parametric Sloshing
In order to describe the fluid dynamics in a moving container, one should begin with the incompressible Navier–Stokes equations, which are written in a moving Cartesian frame attached to the container, with the plane of x- and y-axes coincide with the unperturbed free surface and the z-axis pointing vertically. The governing equations in the moving frame attached to the container are:
- (1)The continuity equation for incompressible flow (divergence of velocity field is zero everywhere)(5)
- (2)Conservation of linear momentum (Navier–Stokes equation)(6)
where is the flow velocity, is the fluid density, is the fluid pressure, is the fluid kinematic viscosity, and represents body forces per unit volume acting on the fluid and in the present case is due to the vertical acceleration (including gravitational acceleration). , , , and are unit vectors along x, y, and z-axes, respectively. Note that the convective term, , on the left-hand side, is the only quadratic nonlinear term and any small amplitude excitation will result in mean fields that evolve on a slower time scale. Such mean fields can either be a simple biproduct of the nonlinear vibration or couple to the primary oscillating field, affecting the dynamics of the system. At low viscosity, the primary oscillating flow satisfies the linearized momentum equation, , implying that the flow is potential and satisfies the condition . Note that this condition applies to the bulk and not to the oscillatory boundary layers attached to the solid walls and the free surface. In the region of boundary layers, the mean flow is produced by the quadratic term in Eq. (6). Higuera et al.  indicated that the boundary layer mean flow does not vanish at the outer edge of the boundary layers, but provides a nonzero velocity and a nonzero stress at the edges of the boundary layers near the solid walls and the free surface. And it is these finite boundary values that induce the viscous mean flow in the bulk. These new forcing terms are independent of the viscosity and quadratic in the amplitude of the primary waves, indicating that the effects of the mean flow cannot be neglected, even in the limit of vanishing viscosity, a striking result considering that these terms are entirely due to viscous effects.
- (3)At the free surface, , the vertical velocity of a fluid particle located on the free surface should equal the vertical velocity of the free surface itself. This is expressed by the kinematic boundary condition(7)
- (4)At the free surface, , the pressure of the free surface should equal the capillary pressure due to surface tension, i.e., , where is the surface tension,2 and and are the principal radii of curvature. In this case, the dynamic free-surface boundary condition takes the form(8)
- (5)No slip condition at the walls(9)
According to Ruvinsky et al. , one can assume, for low viscosity fluids, that the oscillating part of the flow in a surface wave consists of a potential component given by and a small vortex part excited by the potential component. In the linear analysis, , where and . and are characteristic time and space scale of gravity–capillary waves, respectively. is the velocity potential function. When the thickness of the viscous boundary layer is small compared to the typical wavelength of the free surface, , then weak effects due to viscosity can be taken into account by introducing effective boundary conditions for the otherwise potential bulk flow. This is the basic idea of the quasi-potential approximation developed in Refs.  and . This quasi-potential formulation was extended by Zhang and Viñals  to three-dimensional (3D) flow for quasi-potential fluid.
For an incompressible fluid, the field equations may be written in terms of the potential function as
The boundary values problem of liquid in closed containers comprised the continuity equation represented by Laplace's equation (for incompressible) together with dynamic and kinematic conditions of the free surface and conditions at the wetted walls and bottom where the velocity component normal to the boundaries must vanish. Large liquid-free surface oscillations in closed containers have been treated in the literature using a number of approximations. The following are selected number of theories:
Moiseev  constructed normal mode functions and characteristic numbers by integral equations in terms of Green's function of the second kind (Neumann function). Chu  generalized Moiseev's method by employing a perturbation technique using the characteristic functions to determine the subharmonic response to an axial excitation.
Penney and Price  carried out a successive approximation approach where the potential function is expressed as a Fourier series in space with coefficients that are functions of time. These coefficients are approximated by Fourier time series using the method of perturbation. The resulting solution is expressed in terms of a double Fourier series in space and time. This method was applied by others [19,38,39].
Hutton  expanded the dynamic and kinematic free-surface equations in Taylor series about a stationary surface position. This method was modified and used in many sloshing problems by Woodward [13,41].
Time-average Lagrangian developed by Miles : Miles [42–44] solved the kinematical boundary value problem for nonlinear gravity waves in a cylindrical basin using a variational formulation together with the truncation and inversion of an infinite matrix. The results were applied to weakly coupled oscillations, using the time-averaged Lagrangian, and to resonantly coupled oscillations, using Poincaré's action-angle formulation. Miles  demonstrated that a Lagrangian formulation, in which the generalized coordinates are the coefficients in a normal-mode expansion of the free-surface displacement and are slowly modulated sinusoids, leads to a set of evolution equations for 2N slowly varying amplitudes, where N is the number of modes retained in the truncated modal expansion. The Lagrangian formulation becomes a very powerful tool in developing the fluid field equations in Lagrangian coordinates and boundary conditions [45–50]. This approach becomes very attractive in developing numerical algorithms such as finite-difference and finite element, in particular, for cases of large amplitude motions at resonance sloshing and Faraday waves.
Center-manifold and normal form formulation developed by Meron and Procaccia [51,52]: A detailed formulation to solve the boundary value problem using the center-manifold theory and normal form averaging was presented in Refs. [51,52]. Their approach was found in difference with the Lagrangian formulation of Miles [43,44]. The difference was in the lack of symmetry of the nonlinear terms of modal amplitude equations. However, the two approaches confirmed the essential features of experimental results.
A spectral technique developed by Horsley and Forbes  to solve the nonlinear boundary value problem of Faraday waves and reducing the system to a set of nonlinear ordinary differential equations for a set of Fourier coefficients: Time-periodic solutions of the main subharmonic resonance were obtained in both the full and weakly nonlinear theories. These solutions were found to undergo several bifurcations, which give rise to chaos for appropriate parameter values.
As mentioned earlier, the damping plays an important role in the dynamic behavior of Faraday waves. The influence of damping on the stability–instability boundaries together with the dynamic response of the free surface has received extensive research activities. It is important to realize that the damping factor involves uncertainties, since the measured value is not always fixed and depends on temperature and oscillations of the free surface. This is in addition to the condition of the container wetted walls. This problem is considered in Secs. 4 and 5.
Considerable efforts were given to determine the damping coefficient of liquid-free surface motion and its influence on the fluid natural frequencies and its response. The kinematic viscosity, , is a fundamental parameter for measuring the rate of vorticity and momentum by molecular transport. In fact, it is known that the vorticity is present at a distance, , outside the boundary of the body, whereas the time required for diffusing the vorticity or momentum through this distance is of order , which is referred to as the diffusion time. Boussinesq  introduced the influence of viscous damping to study progressive and standing waves in closed containers. Boussinesq's work was extended by Keulegan  to calculate the attenuation of solitary waves. Case and Parkinson  determined the damping of surface waves of small amplitude in partially filled cylindrical tank. They considered viscous dissipation in an assumed laminar boundary layer as the primary cause of damping. Van Dorn  conducted experimental investigations and attributed the differences between the predicted and measured results to a surface film produced by spontaneous contamination. It was stated: “while the observed attenuation agreed with that computed for solid boundaries when the water was fresh, the former tended to increase with time to some higher limiting value, usually within an hour.”
Miles  and Mei and Liu  indicated that the damping of surface waves in closed basins appears to be due to several sources. These include viscous dissipation at the boundary of the surrounding basin, viscous dissipation at the surface in consequence of surface contamination, and capillary hysteresis associated with the meniscus surrounding the free surface. The theoretical results for the logarithmic decrements of gravity waves in circular and rectangular cylinders were compared with the decay rates observed by Case and Parkinson  and by Keulegan , which typically exceeded the theoretical value based on wall damping alone by a factor of 2–3. It was concluded that both surface films and capillary hysteresis can account for these observed discrepancies. Despite of the elegant formulations of sloshing damping reported in the literature [10,14,55,60], there is always significant discrepancy between predicted and measured damping factors. The measurements become more difficult for higher modes as confirmed in Ref. .
where , , and is the period of nth sloshing mode.
Although the measured natural frequencies were found in excellent agreement with the theoretical values, Ikeda et al.  found significant differences between the measured values (using logarithmic decrement) and the theoretical values based on Keulegan. For example, based on Keulegan theory, the values of the damping ratios of the three sloshing modes, in a square container, were , and . Curve fitting was used to match the theoretical results to the experimental data, and the damping ratios were identified as . These ratios were similar to both the measured value of obtained by the logarithmic decrement and to the theoretical values based on Keulegan theory. These values were obtained for a square tank of cross dimension of and liquid depth of . Note that the measured values involved significant uncertainties due to temperature differences, contamination of the free surface, etc. In general, damping is an inherent parameter that involves the most significant level of uncertainty, and for this reason, structural dynamicists adopted a probabilistic description of the damping parameter, which is usually represented by a random variable with a given probability distribution .
The frequency and damping rate of surface capillary–gravity waves in a bounded region depend on the conditions imposed where the free surface makes contact with the boundary. An edge condition that models the dynamics associated with moving contact lines, but not contact angle hysteresis, was obtained by making the slope of the free surface at contact proportional to its velocity as proposed by Hocking . This model was used to obtain the frequency and damping rate of a standing wave between two parallel vertical walls. The effect of viscosity in the boundary layers on the walls was included and it was shown that the dissipation associated with the surface forces can exceed that produced by viscosity. Henderson  and Henderson and Miles  calculated the natural frequencies and damping ratios for surface waves in a circular cylinder based on the assumptions of a fixed contact line, Stokes boundary layers, and either a clean or a fully contaminated surface. The differences between the predicted and observed frequencies were found to be less than 0.5% for all but the fundamental axisymmetric mode with a clean surface. The difference between the predicted and observed damping ratio for the dominant mode with a clean surface was 20%.
Experiments on single-mode Faraday waves in small rectangular and circular cylinders in which both capillary and viscous effects are significant were reported by Henderson and Miles . Theoretical predictions of the resonant frequency of a single mode and of the threshold amplitude for its excitation based on the hypothesis of linear boundary-layer damping were found in agreement with the measured data. In their theoretical analysis, they used the measured damping rate to predict these quantities for waves in the rectangular cylinder. Later, Henderson et al.  measured the damping rates and natural frequencies of the fundamental axisymmetric mode in circular cylinders when the contact angle between the water and the side walls was acute, obtuse, and about . It was found that damping rates decrease with increasing contact angle, while the natural frequencies increase with increasing contact angle. Pritchett and Kim  described an apparatus for studying the Faraday instability in a viscous fluid.
A nonlinear model of Faraday waves was developed by Decent  and Decent and Craik  to investigate the hysteresis, which occurs when both finite-amplitude solutions and the flat surface solution co-exist. The lower hysteresis boundary in forcing frequency space was defined by the lower boundary above which nontrivial stationary points exist. Single-mode limit cycles were found as solutions of a nonlinear evolution equation for parametrically excited standing surface waves in a rectangular container. Later, Decent and Craik  examined their structure analytically and numerically, and described local and global bifurcations. To calculate the linear and nonlinear damping coefficients, Decent  indicated that it is necessary to determine the dissipation in the main body of the liquid, the dissipation in the boundary layers at the sidewalls and at the surface, and the dissipation due to capillary hysteresis. Decent  extended Miles' calculations  to obtain the cubic damping coefficient. Decent and Craik  estimated experimentally the linear and cubic damping coefficients in a rectangular tank. Both the theoretical method of Decent  and the experimental method of Decent and Craik  revealed that the cubic damping coefficient for deep water is positive for water depths greater than approximately 1.2 cm. Decent  showed that the free-surface amplitude equation exhibits a Hopf bifurcation when the cubic damping coefficient is positive, which is absent for negative cubic damping coefficient. This Hopf bifurcation was found to give rise to a stable limit cycle solution, which corresponds to a time-modulated standing wave, where the maximum amplitude of the standing wave varies with the slow time scale.
Martel et al.  estimated the natural frequencies and damping rates of surface waves in a circular cylinder with pinned-end boundary conditions in terms of the gravitational Reynolds and Bond numbers, and , respectively, together with the fluid depth ratio, . Higher-order approximations that include the effect of viscous dissipation in the Stokes boundary layers and the bulk were considered. A comparison with clean surface experimental results  showed a satisfactory agreement except for the first axisymmetric mode, which exhibits a 26% discrepancy. The boundary-layer calculation was supplemented by a calculation of interior damping based on Lamb's dissipation integral for an irrotational flow . The analysis yielded results of comparable accuracy within the parametric domain of experiments. The corresponding calculations for a fully contaminated surface were found to reduce the discrepancy between calculation and experiment but, in contrast to the results for a clean surface, leave a significant residual discrepancy.
The vertical oscillation of a plate partially immersed in a nonwetting fluid was found to cause a radiated wave-train when the contact line between the plate and the free surface of the fluid cannot move freely along the plate . Realistic conditions to apply at the contact line when capillarity is not negligible were found to include the dynamic variation of the contact angle and contact angle hysteresis. The amplitude of the radiated waves and the energy dissipation at the contact line were calculated. Jiang et al.  found a complicated nonlinear relationship between wave frequency and amplitude near contact lines. The relative damping rate was found to be dependent on the wave amplitude, increasing significantly at smaller wave amplitude. These results were discussed in relation to different formulations of contact line conditions for oscillatory motions and free-surface flows.
where is the surface wave amplitude, is the surface tension, is the excitation amplitude acceleration, and is the instability wave number. Benjamin and Ursell  noted that standing waves can be created even if . When the water becomes shallow and viscous effects remain small, i.e., , where is the boundary layer thickness at the free surface, an equation which is nonlocal in time is needed to describe the behavior of [78,79]. The nonlocality arises because of viscous dissipation at the bottom boundary. The surface wave height obeys a nonlocal equation when the fluid is deep and viscous effects are strong . However, Cerda and Tirapegui [80,81] indicated that a local equation can quantitatively describe when the fluid becomes shallow. This equation is again a Mathieu equation, but the dependence of the damping on the wave number is much different than when viscous effects are weak. In this regime, , diffusion of momentum occurs so rapidly relative to the surface oscillations that the damping no longer depends on the history of the motion. When viscous effects are strong, the critical acceleration amplitude, , required to excite the standing waves is typically larger than the acceleration of gravity. In the deep water limit (wavelength liquid depth), Kumar  indicated that the preferred wave number in the Faraday instability is primarily determined through Rayleigh–Taylor instability. In the case of shallow water (wavelength liquid depth), the agreement between the Rayleigh–Taylor and Faraday wave numbers does not appear to be as good, probably due to the interaction between the oscillatory motion of the standing waves and the bottom boundary.
Lapuerta et al.  considered a horizontal heavy fluid layer supported by a large aspect ratio container, which is subjected to parametric excitation. When the density and viscosity of the fluid are small compared to their counterparts in the heavier fluid, a nonlinear analysis was found to yield a generalized Cahn–Hilliard equation for the evolution of the fluid interface. This equation revealed that the stabilizing effect of vibration is like that of surface tension and is used to analyze the linear stability of the flat state, the local bifurcation at the instability threshold, and some global existence and stability properties concerning the steady states without dry spots. A set of equations was derived for the coupled evolution of the left- and right-traveling surface waves and the associated mean flow. The viscous mean flow was found to drastically affect the dynamics of the system and the resulting surface wave patterns. Funada et al.  extended the work of Benjamin and Ursell  to purely irrotational waves on a viscous fluid. Two irrotational theories were presented. The first theory was based on viscous potential flow in which the effects of viscosity enter only through the viscous normal stress term evaluated on the potential. In the second irrotational theory, a viscous contribution was added to the Bernoulli pressure. The second theory gives rise to the same damped Mathieu equation as the dissipation method. The damping term in the second theory was found to be twice the damping rate of the first theory. The growth rates of unstable disturbances computed by viscous potential flow were found to be uniformly larger than those computed by the second theory. Comparisons with the exact solution and the Rayleigh–Taylor instability revealed that thresholds and growth rates for viscously damped waves are better described by the viscous potential flow.
Numerical algorithms were proposed in the literature for calculating the damping of liquid sloshing with small amplitudes. These algorithms are based on finite element method [85,86] and the finite volume schemed based on the volume-of-fluid (VOF) method [87–89]. The simulated results showed that the equivalent damping coefficients are directly proportional to the liquid viscosity. Surfactants, such as oil on water, can cause an increase in the damping of surface waves . Miles  concluded that both surface contamination and capillary hysteresis might have contribution to the damping surface waves in closed basins. For detailed account of damping associated with liquid sloshing, the reader may refer to Chap. 3 in Ref. .
Influence of Surfactants and Stratified Fluids
Surfactants are compounds, which may lower the interfacial tension between two liquids or between a liquid and a solid. Surface contamination has been modeled by phenomenological formulae [90–92] based on Marangoni elasticity with insoluble surfactant. It has the effect of dramatically increase the damping rate of gravity capillary waves as first shown by Dorrestein . The effects of insoluble surfactants on the damping rates, natural frequencies, and amplitudes of the fundamental axisymmetric Faraday waves in circular cylinders were experimentally and theoretically studied by Henderson . In particular, Henderson  determined the effects of elastic, insoluble films on Faraday wave dynamics and examined the effects of films on the damping rates of large amplitude waves with low frequency. The water surface was contaminated with varying concentrations of surfactants such as oleyl alcohol, lecithin, diolein, arachidyl alcohol, and cholesterol. It was found that when the surface is saturated with surfactant, the damping rates are greatly in excess of both the clean surface model and inextensible surface model predictions, indicating that, although the quiescent surface had zero elasticity during wave passage, the surface had a finite elasticity. Measured damping rates were found unaffected by arachidyl alcohol and cholesterol surfactants when the wave amplitudes are large. An analysis was presented by Nicolás and Vega  who anticipated that surface contamination would enhance the generation of the streaming flow produced by the surface wave.
The nonlinear subharmonic resonant wave heights in rectangular tank under parametric excitation were measured by Virnig et al.  for liquids without and with additives. They compared the measured results with those predicted analytically by Gu et al.  and Fig. 3(a) shows the dependence the response amplitude on the excitation frequency for the sloshing mod (1,1) for two excitation amplitudes. The results were taken for a rectangular container of width of 17.78 cm, breadth of 22.86 cm, and liquid depth of 11.43 cm. Only the stable branches of the analytical solution are shown by solid and dashed–dotted curves. It is interesting to observe that both experimental and predicted results have good agreement for higher values of wave amplitudes. At lower wave amplitudes, the experimental results reveal a “tailing” which is repeated for both cases of increasing and decreasing the excitation frequency at constant amplitude. The observed tailing effect is attributed to the influence of surface tension. Figure 3(b) shows similar set of results after applying a surfactant (Kodak Photo Flo 200 solution). It is seen that as the surface tension is reduced the tailing effect is eliminated. The inclusion of surface tension in the analysis of Gu et al.  revealed that the natural frequency of mode (1,1) is reduced when the surface tension is reduced. It is observed that there is a critical fluid depth, which separates two nonlinear regimes of the fluid free surface referred to as soft and hard spring characteristics. This depth was originally predicted by Tadjbakhsh and Keller  and verified experimentally [97,98] for waves produced by excitations in a direction parallel to the free surface.
The dependence of the liquid wave amplitude on the excitation amplitude for constant excitation frequency was obtained by Virnig et al.  and the results are shown in Fig. 4(a) for four different excitation frequencies after applying a surfactant. The analytical results are seen to be higher than those measured experimentally and convergence of both results appears when the excitation frequency is close to twice the natural frequency of the first mode (). For excitation frequencies less than twice the natural frequency, the analytical results reveal the occurrence of a saddle node bifurcation at critical excitation amplitude. The unstable branch is shown by a dashed curve. The saddle node signifies the occurrence of a jump in the response amplitude and this point is governed by the system damping ratio and excitation frequency. The amplitude–frequency response is shown in Fig. 4(b) for different values of liquid depth. It is known that below the critical depth, the liquid free surface behaves like a “hard” oscillator, i.e., the amplitude increases with the excitation frequency. Above the critical depth, the “softening” characteristic takes place. For this case, the predicted critical depth is 7.7 cm, while the experimental measurements suggest that it is between 6.6 cm and 7.47 cm.
The role of insoluble surfactants on the stability of parametrically driven surface waves was studied by Kumar and Matar . It was found that in order to obtain time–periodic solutions, which involve Marangoni3 forces, it is necessary to consider the high-Péclet4 number limit of the surfactant transport equation. The results showed that the presence of surfactants raises or lowers the critical amplitude and wave number depending on the spatial phase shift between the surfactant-concentration variations and surface deflections. If the concentration variations are in phase with the surface deflections (maximum concentration at wave crests), they will drive a Marangoni flow that pulls fluid away from the wave crests, and this will produce larger critical amplitude. Similarly, if the concentration variations are out of phase with the surface deflections (minimum concentration at wave crests), they will drive a Marangoni flow that pulls fluid toward the wave crests, and this will produce smaller critical amplitude. For nonzero diffusivities, it was found that disturbances in the surface concentration of the surfactant simply decay exponentially on a time scale, which is inversely proportional to the surface diffusivity of the surfactant. Kumar and Matar  considered the thickness of the liquid layer to be much smaller than the wavelength of the interfacial disturbance. It was found that the liquid layer is unstable to long-wavelength disturbances if it is covered by surfactants, while it is stable to such disturbances if the surfactants are absent. These results were found valid for nonzero surfactant diffusivities and represent standing wave solutions in which Marangoni flows are present. Later, Kumar and Mater  found that surfactants can potentially lower the value of the critical amplitude relative to its value for an uncontaminated free surface. The critical wave number was found to be an increasing function of the Marangoni number.
The effect of surface contamination, modeled by Marangoni elasticity with insoluble surfactant and surface viscosity, on drift instabilities in spatially uniform standing Faraday waves was studied by Martín and Vega [102,103]. The order of magnitude of the Marangoni elasticity was taken as that already obtained by Nicolás and Vega  to fit the experimentally measured damping rate for contaminated water. Surface viscosity is expected to be small in contaminated water, but it can also be large in other systems. It was found that contamination enhances drift instabilities that lead to various steadily propagating and oscillatory patterns. The elastic effects of an insoluble surfactant on the formation and evolution of 2D Faraday waves were studied numerically by Ubal et al. [104–106]. The numerical results revealed that the interface is always subharmonically excited at the onset and that the presence of the surfactant requires a higher external force to induce standing waves. The magnitude of the external amplitude was found to be related to the temporal phase shift that exists between the evolution of the surfactant concentration and the free-surface shape.
Giavedoni and Ubal  studied the formation of Faraday waves on the free surface of a liquid layer covered by an insoluble surfactant. The linear analysis included the effects of both surface elasticity and surface viscosity. The critical force needed to form the waves, as well as the critical wave number were determined within a large range of values of the dimensionless parameters representing the physicochemical properties of the surfactant. When Marangoni number is small, the largest concentration gradient was formed when the convective transport is largest, i.e., when the free surface is a horizontal plane. Then, at this instant, the Marangoni traction produces its maximum effect on the interfacial velocity, slowing the motion of the liquid from the trough to the crest of the wave; therefore, the tangential velocity turns to zero before the free surface attains its maximum deformation. For typical values of Péclet number (Pe), the capillary number5 (Ca), Bond number6 (Bo), and the fluid depth ratio, it was shown that the presence of a surfactant always increases the force required to develop a wavy interface. However, the dependence of the force on Marangoni number was found nonmonotonic when the surface viscosity is negligible and Pe > 1.
Faraday waves in a thin sheet of a viscous fluid subjected to a uniform and slow rotation about the vertical axis were studied by Mondal and Kumar . The rotation created a Coriolis force, which breaks the mirror symmetry of the flow due to parametrically excited surface waves. The Coriolis force was found to delay the Faraday waves on the free surface. However, the Faraday (subharmonic) waves can always be excited at the onset of surface instability if the excitation frequency is much greater than four times the angular frequency of the rotating body. The surface waves were found to be synchronous with the vertical vibration in a thin sheet of viscous fluid. Instability phenomena in a thin layer of a slowly rotating viscous fluid (whose viscosity is approximately ten times the viscosity of water) were observed. The synchronous surface waves developed additional local maxima, when the excitation acceleration amplitude was raised above certain value. This was manifested when any point on the free surface moves up and attains two different local maxima in one period of external forcing. The wave number of these waves is double that of the synchronous waves. Superharmonic waves at the instability onset were found possible in parametrically forced viscous fluids. Furthermore, different responses, such as subharmonic, harmonic, and superharmonic with different wave numbers, may co-exist for the same forcing amplitude. This leads to the interesting possibility of a tricritical point as the primary instability.
Figure 5 shows instability regions on the plane of excitation/Galileo ratio, (where and , is the excitation acceleration amplitude) versus wave number, . The figure shows a tricritical point and superharmonic waves in viscous sheet of water–glycerol mixture with Galileo number, , Capillary number, , and excitation frequency ratio . The shaded zones and zones bounded by dots are for subharmonic and harmonic regions, respectively. Note that harmonic response goes to a tricritical point for = 2.9, plot (c) of Fig. 5, where surface waves with wave numbers and with as the wave number of the first harmonic response co-exist at the instability onset. Further increase in rotational rate would lead to superharmonic waves as primary instability. Stability of the free surface of thin sheets of a metallic liquid on a vertically vibrating hot plate, in the presence of a uniform and small rigid body rotation about the vertical axis, was studied by Mondal and Kumar . It was found that the inhomogeneity in the surface tension due to a uniform thermal gradient across the liquid sheet prefers subharmonic response. On the other hand, it was indicated that the rigid body rotation prefers harmonic response at the fluid surface. The competition results in Marangoni and Coriolis forces acting as fine-tuning parameters in the selection of wave numbers corresponding to different instability tongues for subharmonic and harmonic responses of the fluid surface. Bicritical points were found to involve both the solutions oscillating subharmonically, harmonically, or one oscillating subharmonically and the other harmonically with respect to the vertical forcing frequency. The effect of small Marangoni and Coriolis forces on the onset of standing surface waves and bicritical points in a vertically vibrated sheet of mercury was studied by Mondal and Kumar . When both subharmonic and harmonic (synchronous) surface waves can be excited for the same value of forcing excitation amplitude, the corresponding point is referred to as bicritical. The metallic fluid was subjected to a small thermal gradient and rigid body forces (Coriolis), which resulted in a variety of bicritical points and the possibility of two different kinds of tricritical points. In the absence of the Marangoni force, a tricritical point involving two harmonic solutions with different wave numbers and a subharmonic solution was reported. On the other hand, in the presence of both Marangoni and Coriolis forces, it was found that a tricritical point involves two subharmonic solutions with different wave numbers and a harmonic solution is possible. It was concluded that one may use a Marangoni number and a Coriolis force as tuning parameters to influence the nature of the multicritical point at the onset of parametrically forced surface waves. Galileo number, , was found to have an influence on the threshold acceleration and critical wave number in molten sodium.
Faraday waves were observed on the free surface of helium-4 layer when excited vertically at low temperature , where ) . Standing wave patterns were observed to appear on the surface. Threshold excitation amplitudes for the instability were clearly manifested. The difference in the threshold amplitude between the superfluid and the normal fluid is that the threshold amplitude is larger for the normal fluid than for the superfluid, and the difference was attributed to the wall damping in the cell geometry. Hysteretic behavior specific to the nonlinear waves was also observed in the superfluid phase. Higuera et al.  presented an overview on the small viscosity limit and the effects of symmetries and nonlinearity on the response of fluid systems. The role of viscous mean flow was found to couple the primary surface waves. Under low frequency experiments of surface rheology, the importance of fluid dynamics provided an explanation of the irreversible character of surface pressure versus surface area. An experimental study of the Faraday instability of viscoelastic fluid was presented by Cabeza and Rosen  who used a shear thinning polymer solution in which the elastic effects are predominant. Depending on the fluid layer depth and the driving frequency, harmonic or subharmonic regimes were developed. In addition, the onset acceleration was used to estimate the rheological properties of the fluid. Ezersky et al.  showed experimentally that parametric excitation of capillary waves in a liquid polymer may give rise to spatially periodic distribution of microparticles. It was found that photopolymerization makes it possible to fix position of microparticles and produce materials with controllable spatially periodic inhomogeneities.
The parametric excitation of internal 2D waves of a viscous continuously stratified fluid, completely filling a rectangular vessel under vertical oscillations, was considered in the literature [113–117]. Approximate formulae were obtained for the threshold amplitude of the vessel excitation and the boundaries of the resonance zones. The dynamics of internal gravity waves excited by parametric instability in a stable stratified medium, either at the interface between water and a kerosene layer, or in brine with a uniform gradient of salinity was studied by Benielli and Sommeria . Each internal wave mode was amplified for an excitation frequency close to twice its natural frequency, when the excitation amplitude is sufficient to overcome viscous damping. In the interfacial case, each mode was made well separated from the others in frequency and was found to behave like a simple pendulum. The case of a continuous stratification is more complex as different modes have overlapping instability tongues. Foster and Craik  considered capillary–gravity waves of an inviscid liquid, which exhibit second- or sub-harmonic resonance at precise frequencies. Equations describing this situation were derived incorporating slight detuning from two-wave and Faraday resonances.
The case of two incompressible viscous fluids with different densities meet at a planar interface subjected to oscillating acceleration directed normal to the interface was considered by Jacqmin and Duval . General viscosities and densities for the two fluids were considered but a Boussinesq equal-viscosity approximation was adopted. It was shown that the linear evolution of a perturbation to the interface subjected to an arbitrary oscillating acceleration is governed by a single integrodifferential equation. Parameter regions of subharmonic, harmonic, and untuned modes were delineated. The critical 7Stokes–Reynolds number was given in terms of the surface tension and the difference in density and viscosity between the two fluids. The critical Stokes–Reynolds number and the most unstable perturbation wavelengths were found to be insensitive to the degree of density and viscosity differences between the two fluids. The parametric excitation of internal 2D waves of a viscous continuously stratified fluid completely filling a rectangular vessel was studied by Kravtsov and Sekerzhi-Zenkovich . The fluid was assumed to have a small viscosity. Approximate formulae were obtained for the threshold amplitude of the oscillations of the vessel and the boundaries of the resonance zones.
The Faraday resonance of interfacial waves in a two-layer weakly viscous system in a rectangular domain was considered in Refs. [121,122]. The scaling of the viscosity results in boundary layer corrections at the solid walls and at the interface. The damping in the meniscus region, where the interface contacts the side walls, was included. As a result of the presence of both destabilizing effects, due to vertical oscillation, and stabilizing effects, due to viscosity, a threshold condition for instability was derived. Faraday waves formed on the interface between two immiscible liquids in a cylindrical cell were studied in Ref. . The effects of the volume filling ratio on the bifurcation set associated with the onset of the fundamental axisymmetric mode were examined. In particular, the study considered the subharmonic regime of the control parameter space where the response was significant. Both super- and subcritical bifurcations were uncovered, with hysteresis in the latter case. The extent of the hysteresis was observed to be strongly dependent on volume filling ratio, suggesting that nonlinear damping effects are influenced by this parameter. At large excitation amplitudes, a precessional periodic motion was found to develop via a Hopf bifurcation. This mode was observed to disappear catastrophically at an excitation frequency equal to 1.853 ± 0.006 times the natural frequency of the resonant mode. The problem of capillary–gravitational Faraday waves on the interface between fluids was studied in Ref. .
Sections 2 through 5 provided an overview of the pertinent features of parametric instability boundaries of liquid free surface and the boundary value problem of incompressible viscous fluids with surface tension. These sections were very useful to assess the damping associated with Faraday waves and the influence of contaminations and surfactants. However, they did not address the nonlinear response characteristics of the free surface under parametric excitation, which is only predicted by including the nonlinear effects of the free-surface boundary conditions as will be demonstrated in Sec. 6.
Nonlinear Parametric Sloshing
In the neighborhood of parametric resonance, the amplitude of the free surface grows without limit. As the amplitude increases, geometric nonlinearities (nonlinear inertia) emerge and the motion achieves bounded amplitude. For the case of parametric excitation of liquid free surface, the response exhibits other nonlinear phenomena such as nonplanar motion, rotational motion, chaotic motion, and free-surface disintegration. Kalinichenko and Sekerzhi-Zenkovich  subdivided Faraday waves into three categories, namely, regular, irregular, and breaking waves. The regular Faraday waves include those whose profiles possess either time-periodic or symmetrical about vertical planes passing through the wave antinodes. The limiting angle at the crest of such waves was estimated to be 80 deg. The waves, which have disturbed temporal and spatial symmetries but retain the connectivity of the oscillating fluid volume, were considered to be irregular. Finally, waves with separate droplets shed from the free surface of the fluid or with jet launches were assigned to the class of breaking Faraday waves. It was noted that in the case of irregular and breaking waves their height can be estimated only in the statistical sense, that is, using a quantitative characteristic, such as the wave steepness, is permissible only for individual wave profiles. Among the irregular waves are those with a small depression in the wave crest and periodic triplets. In the case of breaking waves, the mechanism of jet launch formation on the wave crest was considered by Kalinichenko  who used the experimental setup reported by Kalinichenko et al. [127,128]. It was experimentally demonstrated that the breaking of standing waves in a rectangular reservoir starts with cavity collapse on the wave crest in process of formation. It was shown that jet launch from the wave crest is preceded by the initiation, development, and collapse of a cavity. Based on a comparison of the experimental data with an analytical model, it was suggested that cavity initiation is due to the nonlinearity of the waves themselves, namely, the presence of two small disturbances of the free-surface traveling counter to one another and forming a cavity.
Weakly Nonlinear Parametric Sloshing.
where the modal amplitudes are nondimensionalized with respect to the length , , is the parametric excitation frequency, is the natural frequency of the first antisymmetric sloshing mode, is the nondimensional time, is the fluid depth, , are the roots of the first derivative of the Bessel function of the first kind, i.e., , is the tank radius, and and are constants, which depend on the the fluid depth and and are documented in Refs. [19,129].
Miles  noted that these equations differ from those derived using Lagrangian formulation. The main difference is in the presence of the expression in Eq. (23a). The two formulations can be reconciled if the entire Eq. (23a) is divided throughout by the expression , which is approximated by one for all nonlinear terms, while the first term is multiplied by the inverse of that expression, which takes the form . This processes results in identical coefficients of the terms and , and likewise the coefficients of the terms , , , and . Figure 6 shows the experimental measurements  of the dependence of the liquid-free surface height on excitation frequency for three different values of excitation amplitudes. The measured amplitude was taken at and the wave height was estimated as the one-half the difference between the maximum and minimum liquid-free surface excursions for fluid depth ratio . The figure shows the points at which the response amplitude jumps and collapses depending on whether the excitation frequency increases or decreases. The characteristics of the response are belonging to soft spring nonlinearity.
Another finite-amplitude analysis for a circular cylindrical tank was developed in Ref. . The free-surface boundary conditions were applied at the equilibrium position of the free surface and a correction to the resonant frequency was obtained in terms of first-order in the amplitude, which was noted by Miles  to be of second-order. Parametric nonlinear excitation vibration of the liquid surface in a partially filled circular cylindrical tank was studied in Refs.  and . The analysis was extended by Takahara and Kimura  to the case of 3D nonlinear liquid motion in a rigid rectangular tank partially filled with liquid under pitching excitation. It was noted that the pitching excitation also causes the parametric excitation when the pitching axis does not intersect the symmetrical axis of the circular cylindrical tank. The time histories of the liquid surface displacement to the harmonic vertical excitations were calculated for the case of axisymmetric mode possessing nodal radii. Dynamical behavior of parametrically excited solitary waves in Faraday's water trough was studied by Wang et al. . The endless collision of two solitary waves of like polarity, and the periodical reflection and attraction of a solitary wave by the boundary (one end of the water trough) were analyzed.
The fluid free surface changes dramatically when the shape of the container is deviated from circular to ellipsoidal as pointed out by Higuera et al. . In this case, the mean flow is coupled with the amplitudes of surface waves as well as the spatial phases of the resulting pattern. The ellipticity was found to break the rotational symmetry of the primary waves and would select two standing oscillations with nodes along either the major or the minor axis of the ellipse. In Faraday waves, coupled amplitude mean flow equations were derived for patterns consisting of multimode plane waves as reported by Higuera et al.  who predicted coupling between the mean flows and patterns when the patterns satisfy some symmetry requirements. In a fluid with a free surface being vibrated vertically, surface waves are excited when the vibration amplitude exceeds a frequency-dependent critical value. Subharmonic standing waves are known to have the lowest threshold driving amplitudes, i.e., the wave frequency being half of the driving frequency. By using suitable cell geometry, Chen  generated waves with curved wave fronts. It was argued that these predictions should also be true in Faraday waves. Chen  measured the mean flow velocities driven by curved rolls in a pattern formation system. Curved rolls in Faraday waves were generated in experimental cells consisting of channels with varying widths. The mean flow magnitudes were found to scale linearly with roll curvatures and squares of wave amplitudes, agreeing with the prediction from the analysis of phase dynamics expansion. The effects of the mean flows on reducing roll curvatures were also reported.
Experimental investigation of Faraday crispation was reported by Cabeza et al.  who measured the fluid surface displacement. The results revealed the period-doubling cascade with at least two bifurcations and an incoherent signal. In other studies, Cabeza et al. [139,140] obtained the numerical reconstruction of the patterns appearing on the surface and the dynamical evolution to chaos of a localized point of the surface. The classic evolution scenario of the Faraday instability system was modified through controlling the height of the fluid layer, in a regime of highly dissipative fluid. It was possible to create a periodicity window, yielding within it a global pattern, roll-type structures, very stable, and with a subharmonic temporal behavior. In addition, Cabeza et al.  observed the generation of strongly localized solitary waves, which propagate over these structures that are destroyed only when they reach the border of the trough.
Parametric excitation of a narrow rectangular container (cross section of and fluid depth of 300 mm) was considered by Jiang et al.  who observed mild to steep standing waves of the fundamental mode over an excitation frequency range of 3.15 Hz to 3.34 Hz. These standing waves were also simulated by a 2D spectral Cauchy integral code. The experimental results showed that contact line effects increase the viscous natural frequency and alter the neutral stability curves. The addition of a wetting agent, such as Photo Flo, was found to significantly change the stability curve and the amplitude–frequency response of the free surface. Figure 7 shows the free-surface amplitude–frequency responses for three different values of excitation amplitude: 2.5 mm, 3.0 mm, and 3.5 mm. The shown arrows indicate that the response of amplitude was obtained when the excitation frequency is changed according to the arrow direction. Solid/hollow symbols represent the experiments with increasing/ decreasing frequency. For increasing forcing frequency, the response curves (dashed lines) exhibit jump from zero to bounded amplitude. The frequency ratio, , where the jump occurs is seen to be larger for smaller forcing amplitude: 1.002 for 2.5 mm, 0.992 for 3.0 mm, and 0.982 for 3.5 mm excitation amplitude.
Figure 8(a) shows the amplitude–frequency response plots for treated water, while Fig. 8(b) is for treated water with Photo Flo. Figure 8(a) includes the analytical response based on Henderson and Miles  theory with excitation amplitude of 2.5 mm. It is seen that the addition of Photo Flo resulted in a significant change in the jump position as shown in Fig. 8(b). Strong modulation in the wave amplitude for some forcing frequencies higher than 3.30 Hz was observed experimentally. Over the frequency ratio range of 1.02–1.05, large modulations were observed in the time history record of the free-surface wave amplitude as shown in Fig. 9 for two different excitation frequencies and amplitudes. It is seen that the magnitude of the modulation for higher excitation frequency of 3.32 Hz is more significant with a modulation frequency of 0.03 Hz. No modulation was predicted  by using nonlinear numerical simulations, even with higher harmonics in the sinusoidal excitation. However, when the experimental forcing signal was used as the numerical input, modulation was predicted, albeit with less magnitude. Since no contact line effect was simulated, it was concluded that the modulation may be caused by contact line effect and sideband noise in the excitation signal.
The Faraday waves were revisited by Craik [142,143] and Craik and Armitage  who were able to describe the wavelength selection and hysteresis observed experimentally. Their experimental investigation dealt with surface gravity–capillary waves in a rectangular tank undergoing small vertical oscillations. The large aspect ratio of the tank enabled them to study the behavior of several neighboring 2D wave modes; their onset, hysteresis and instability. Two water depths, close to one and two centimeters, were investigated in detail. Hysteresis below the minimum forcing for linear wave-onset was found to imply that the excitation and nonlinear damping are both significant as confirmed by Miles . Jiang et al.  performed boundary-integral simulations of 2D motion to determine the highly nonlinear motion of an interface with finite- and large-amplitude deformations. Their experimental investigation revealed that contact line effects increase the viscous natural frequency and alter the neutral stability curves. Furthermore, strong modulations in the wave amplitude for some forcing frequencies higher than 3.30 Hz were observed. Reducing contact line effects by Photo Flo addition suppresses these modulations.
One or more surface wave solitons8 with polar-on-like behavior were reported by Wu et al.  in partially filled container parametrically driven at an appropriate frequency and amplitude created. An amplitude equation in the form of a perturbed nonlinear Schrödinger equation was derived for parametric excitation of surface waves in an extended system by Elphick and Meron . The existence of a stable nonpropagating kink solution was predicted. In addition, a stable nonpropagating soliton solution was found for subcritical excitation. Lioubashevski et al.  presented an experimental study of the onset of the Faraday instability in highly dissipative fluids. It was found that the critical acceleration for the transition to parametrically excited surface waves scales as a function of two dimensionless parameters corresponding to the ratios of the critical driving amplitude height and viscous boundary layer depth to the fluid depth. This scaling, which exists over a wide range of fluid parameters, was found to identify the proper characteristic scales and indicates that a Rayleigh–Taylor type mechanism drives the instability in this regime. An exact equation, which is nonlocal in time for the linear evolution of the surface of a viscous fluid, was derived by Cerda and Tirapegui . It was shown that this equation becomes local and of second-order was used to study Faraday's instability in a strongly dissipative regime.
The mechanism responsible for the presence of complex dynamics in the damped nonlocal parametrically forced nonlinear Schrödinger equation was examined by Higuera et al. . The evolution equations take the form of a pair of damped parametrically driven nonlinear Schrödinger equations9 with nonlocal coupling [150,151]. As the strength of the applied excitation increases, this equation undergoes a sequence of transitions to chaotic dynamics. The origin of these transitions is linked to the presence of heteroclinic connections between the trivial state and spatially periodic standing waves. These connections are associated with cascades of gluing and symmetry-switching bifurcations. The dynamics near the minima of the resulting resonance tongues were described by a system of coupled nonlocal Schrödinger equations with damping and parametric forcing by Vega and Knobloch . Near the bicritical points where two adjacent resonance tongues intersect, a pair of coupled damped complex Duffing equations captures the properties of both pure and mixed modes, and of the periodic solutions resulting from a Hopf bifurcation on the branch of mixed modes. The coupled system of equations describing fast surface oscillations and slowly evolving mean flows in three dimensions was developed by Vega et al. . A phenomenological model of parametric surface waves was introduced in the limit of small viscous dissipation that accounts for the coupling between surface motion and slowly varying streaming and large-scale flows. The analysis was limited to the simplest regular pattern consisting of stripes. Mean flows were induced by perturbation of the stripes, and their coupling to the order parameter equation affected the stability of stripe solutions. The results for the secondary instabilities of the primary wave revealed that the mean flow would lead to a weak destabilization of the base state and introduced a longitudinal oscillatory instability.
The dynamics of parametrically driven counterpropagating waves in a one-dimensional extended nearly conservative annular system were examined by Martel et al. . The waves were described by two coupled damped parametrically driven nonlinear Schrödinger equations with opposite transport terms due to the group velocity and small dispersion. The system was characterized by two length scales defined by a balance between forcing and dispersion (the dispersive scale), and forcing and advection at the group velocity (the transport scale). The weakly nonlinear evolution of Faraday waves of a vertically excited annular container was studied by Martín and Vega . In the small viscosity limit, the evolution of the surface waves was coupled to a nonoscillatory mean flow that develops in the bulk of the container. A system of equations for the coupled slow evolution of the spatial phase of the surface wave and the streaming flow was numerically integrated to show that the simplest reflection symmetric steady-state becomes unstable for realistic values of the parameters. The spatiotemporal evolution of the surface in the asymptotic regime was obtained by Rojas et al. . The amplitude of the surface deformation was saturated to a finite value, due to the nonlinear terms. At very low Reynolds number, the temporal dynamics were found to be strongly nonlinear. The bifurcation was found to be supercritical.
The standing Faraday wave-trains that appear near threshold in a nearly conservative, parametrically excited system were studied by Mancebo and Vega . Sufficiently close to threshold, the relevant equation whose cubic coefficient is extremely sensitive to wave number shifts, which can only be understood in the context of a more general quintic equation that also includes two cubic terms involving the spatial derivative. A weakly nonlinear analysis of one-dimensional viscous Faraday waves in 2D large aspect ratio containers was presented by Mancebo and Vega . The surface wave was found to be coupled with a viscous long-wave mean flow.
Under parametric excitation, whose frequency is a slowly time-dependent “chirped,” i.e., , where is the constant chirp rate, Assaf and Meerson  showed that, when passing through resonance, resonance always occurs when the chirp rate is sufficiently small. The critical chirp rate, above which breakdown of autoresonance occurs, was found for different initial conditions. The theory of parametric autoresonance predicts that a downward chirp of the vibration frequency should cause persistent wave growth, which is only expected to terminate at large amplitudes, when an underlying constant frequency system ceases to exhibit a nontrivial stable fixed point . Ben-David et al.  presented experimental verification of parametric autoresonance excitation of a nonlinear wave. They demonstrated that autoresonance is not hindered by moderate dissipation and the predicted (negative) frequency chirp indeed drives persistent wave growth, via the parametric autoresonance mechanism, to amplitudes that surpass the theory's region of validity.
Breaking Surface Waves.
A surface wave whose amplitude reaches a critical level at which some process can suddenly start to cause large amount of wave energy to be transformed into turbulent kinetic energy is known as a breaking wave. During breaking, a deformation in the form of a bulge forms at the wave crest. High-frequency detail was found to be present in a breaking wave and to cause crest deformation and destabilization. After the tip of the wave overturns and the jet collapses, it creates a very coherent and defined horizontal vertex. The main vortex along the front of the wave diffuses rapidly into the interior of the wave after breaking, as eddies on the surface become more viscous. Advection (transport mechanism of a substance or property by a fluid due to the fluid's bulk motion) and molecular diffusion play a part in stretching the vortex and redistributing the vorticity, as well as the formation turbulence cascades.
Under relatively high-frequency parametric excitation, large amplitude surface waves were observed in Refs. [161–164]. This motion usually occurs in the form of typical spray-formed waves. Sometimes the surface motion becomes very violent at larger excitation levels with small vapor bubbles entrained in the liquid. The bubbles can become negatively buoyant and sink to the tank bottom. Analytical and experimental studies to examine the occurrence of surface disintegration with liquid particles spray and the wave characteristics of spray-excited low-frequency waves were reported in Refs. [129,165–167]. The surface disintegration and bubble formation in a vertically excited liquid column were theoretically and experimentally investigated by Buchanon et al. [168–180]. These studies showed that the smaller fluid height the larger is the minimum excitation amplitude required for the surface disintegration. It was also shown that the frequency of a spray-excited low-frequency wave is independent of the liquid height-to-diameter ratio.
Steep standing waves were found to undergo a surprising transformation at even large parametric excitation amplitude . Small plunging breakers first appear to each side of the dimpled crest. A further increase in excitation amplitude would lead eventually to period tripling with breaking every two out of three waves. The existence regime for period tripling is shown in Fig. 10. It is seen that the measured neutral-stability curve is shifted downward due to contact line effects . All experiments including those with period-tripled breaking were found to be limited to within the neutral-stability curve. Jiang et al. [181,182] showed experimentally that increasing the excitation amplitude further leads to breaking waves in three recurrent modes (period tripling): sharp crest with breaking, dimpled, or flat crest with breaking, and round crest without breaking. Interesting steep waveforms and period-tripled breaking were found to be related directly to the nonlinear interaction between the fundamental mode and the second temporal harmonic. The period-tripled breaking consists of three distinct modes: A, B, and C, as illustrated in Fig. 11. The maximum wave profile in mode A is seen to be characterized by its high elevation, sharp crest angle, violent breaking, and drop formation. Mode B follows with a dimpled or flat crest and double plungers to the sides of the crest. Mode C has a round (nonbreaking) crest similar to Penney and Price's  solution. The sharp-crested mode A reappears after mode C, forming a recurrent cycle with a three-wave period. The mode A wave was never realized experimentally on steep nonbreaking waves.
Although the first sharp crest forms an upward jet in mode A, it can also develop into a large plunger with its crest listing to one side. The appearance of an asymmetric plunger is random and does not affect the triple periodicity. A leftward plunging breaker shown in Fig. 12(a) was captured experimentally with both seed particles and dye in the water so that both the free surface and the underlying water are illuminated. Jiang et al.  demonstrated mode-B breaking in Fig. 12(b). Double plungers were formed at each side of the flat crest and create local bores (0.02 and 0.04 s). These postbreaking plungers slide down the wave crest at 0.06 and 0.08 s, creating irregular motions near the surface. The bulbous centre at 0.04 s to 0.08 s was found to be caused by the rebounding jet initiated in the previous part of the wave cycle. The bright spots beneath the wave crest (the last four frames) were entrained air bubbles. Mode C has the least breaking and usually no irregular surface motions were observed as shown in Fig. 12(c).
The method of multiple scales to study the nonlinear Faraday waves in a circular container partially filled with inviscid fluid was employed in Refs. [183,184]. It was shown that different free-surface standing wave patterns can be formed at different values of excitation frequency and amplitude. At low excitation frequency, the effect of surface tension on mode selection of surface wave was found to be not significant. However, at high excitation frequency, the influence of surface tension is significant. Based on weakly viscous fluids assumption, the fluid field was divided into an outer potential flow region and an inner boundary layer region. A linear amplitude equation of slowly varying complex amplitude, which incorporates damping term and external excitation, was derived from linearized Navier–Stokes equation. The results revealed that when the forcing frequency is low, the viscosity of the fluid is prominent for the mode selection. However, when the forcing frequency is high, the surface tension of the fluid is prominent.
Steep forced waves generated by moving a tank containing water were studied experimentally and numerically by Bredmose et al. . The most unusual feature was type-A table-top breaker in the form of a flat-topped wave crest with almost vertical sides was observed. A sequence of video snapshots shown in Fig. 13 reveal the generation of sharp-crested waves followed by flat-topped waves in a water tank of water depth of 400 mm. The process of steepening of successive wave crests can be observed by comparing the first two frames of Fig. 13. Table-top crests were predicted numerically by Topliss  using a Cauchy boundary-integral method for steep, unsteady 2D waves [187,188] with high-energy initial conditions. Figure 14 shows a set of surface wave profiles at the time of maximum elevation for a set of systematically differing initial conditions. These energetic waves are characterized by sustaining a flat top through the rise and fall of the crest. For some of the table-top breakers, a thinning of the profile during the downward motion was observed.
Under parametrically excited surface waves, the breaking state ejects droplets from wave peaks, when the applied forcing exceeds an acceleration threshold. The rate of breaking events approaches zero gradually with decreasing acceleration. Two properties of these ejections were studied around the ejection threshold . Analysis of the ejection rate dependence on acceleration allowed the determination of the ejection threshold and an inference about the wave height distribution. A Poisson distribution was found for the times between ejections. Cabeza et al.  studied parametrically excited surface waves when finger structures are generated on the free surface. The intermediate states between regular patterns and droplet ejection in Faraday instability were also analyzed. It was found that the surface breaks and ejects droplets from wave peaks when the applied force exceeds an acceleration threshold. Both chaotic and turbulent bifurcation behaviors of Faraday surface waves were studied and many different transitions were reported. The spatial and temporal finger distribution was described in terms of external acceleration. Kahan et al.  used proper orthogonal decomposition to characterize the evolution of fingers regime in Faraday instability. The structural transition was analyzed for varying acceleration amplitude.
On a vertically vibrating fluid interface, a droplet can be indefinitely bouncing. When approaching the Faraday instability onset, the droplet was found to couple with the wave and starts to propagate horizontally. The resulting wave–particle association (referred as a walker) was shown to have remarkable dynamical properties, reminiscent of quantum behaviors [192,193]. The nature of a walker's wave field was investigated experimentally, numerically, and theoretically by Eddi et al.  who showed that the walker field results from the superposition of waves emitted by the droplet collisions with the interface. It was shown that each shock emits a radial traveling wave, leaving behind a localized mode of slowly decaying Faraday standing waves. As it moves, the walker keeps generating waves and the global structure of the wave field results from the linear superposition of the waves generated along the trajectory.
Surface singularities produced by the collapsing depressions of standing waves were examined in Ref. . This phenomenon was first observed by Longuet-Higgins . Under parametric excitation of a cylindrical tank partially filled with a fluid, it was observed that below a critical standing wave height the fluid surface topology remains smooth and simply connected. Above , the collapsing wave entrains an air bubble beneath the surface and changes its topology from simply to multiple-connected. Thus, the critical height represents the threshold of the surface topology change. The resulting inertial collapse creates a singularity on the fluid surface at which the velocity and surface curvature diverge. This singularity was found to localize the kinetic energy of the fluid along the central axis and produces a narrow, high-speed vertical jet as shown in Fig. 15. In the model of Zeff et al. , the jet velocity was found to be proportional to the square root of the kinematic surface tension. Their model was reconsidered by Das and Hopfinger  who presented some results pertaining to parametrically forced gravity waves in a circular cylinder in the limit of large fluid-depth approximation. The instability boundary in terms of the excitation amplitude ratio and excitation frequency ratio , where is the excitation amplitude, is the tank radius, is the excitation frequency, and is the first damping axisymmetric sloshing mode frequency is shown in Fig. 16 for Fluorocarbon (FC-72) fluid. It is seen that the axisymmetric mode exists in the range . The solid curve corresponds to the theoretical prediction with damping ratio . This curve is given by the expression
where is fluid depth in the tank, and the detuning parameter is , and forcing parameter . At , , the wave motion was found to bifurcate to the wave mode (3,1) of dimensionless wave number . In the range , , where and ; the wave motion is unstable when the parametric instability threshold is crossed with exponential growth in wave amplitude up to breaking (inset image 1 in Fig. 16) with possible jet formation. Over the interval and , where , the wave motion is unstable above the instability threshold but the amplitude remains finite (inset image 2 in Fig. 16). In the range , the instability is subcritical for and supercritical at and above.
The period tripling event at excitation amplitude ratio is shown in Fig. 11(b). It is seen that the wave crest steepens, is flat-topped in the next period, and then takes intermediate amplitude before the cycle begins again. For three different liquids, Fig. 17 shows typical shapes of the last stable wave crests as well as the cavities, which form half a period later at the wave trough. Clearly, surface tension and viscosity affect the shape of the wave crests and consequently the cavity size by inhibiting parasitic capillary waves and by preventing Taylor instability from developing. Figure 17(a) reveals that the large viscosity of glycerin–water solution inhibits parasitic capillary waves and Taylor instability. The cavity, which is formed (lower part of image) when the wave column is accelerated downward, and impinges on the wave trough, is deeper and of smaller size than in water and FC-72. Its aspect ratio (cavity depth, , to cavity radius, ) is . The cavity size shown in the images corresponds to the instant when the cavity just begins to contract. When the kinematic surface tension is small as in FC-72, shown in Figs. 17(d) and 17(e), a cylindrical precursor fluid column is projected upward (Taylor instability) that is then partially or completely taken over by the following wave crest; drop pinch-off may occur in some cases, as shown in Fig. 17(d), or the wave crest may be flat-topped, as shown in Fig. 17(e). Figures 17(b) and 17(c) belong to water in which upward projection of a cylindrical fluid column also occurred, but is less pronounced because of higher surface tension. Parasitic capillary waves are clearly present but because of the high surface tension, the wave crest remains axisymmetric. The wave shape shown in Fig. 17(f) is for FC-72 and container radius R = 2.5 cm resulting in a lower Bond number and, hence, a smoother wave crest.
The Faraday waves' instability was studied in domains with flexible boundaries implemented by triggering this instability in floating fluid drops in Ref. . An interaction of Faraday waves with the shape of the drop was observed, the radiation pressure of the waves exerted a force on the surface tension held boundaries. Two regimes were observed. These are co-adaptation of the wave pattern with the shape of the domain so that a steady configuration is reached, and the radiation pressure dominates and no steady regime is reached. The drop stretches and ultimately breaks into smaller domains that have a complex dynamics including spontaneous propagation. For the second regime, Fig. 18 shows the displacement of the boundary due to the waves did not lead to equilibrium. The formation of parallel standing waves results into a constantly increasing elongation of the drop into a snakelike structure which breaks into fragments having a large variety of dynamical behaviors. Figure 18 was obtained with ethanol of volume of , density dynamic viscosity and surface tension floating on silicon oil of corresponding properties and . The measured interfacial tension was . The main characteristic is that ethanol is wetted by silicon oil. At rest, an oil film was observed to cover the upper surface of the drop as shown in Fig. 18(a). The instability in ethanol appears in a subcritical way; i.e., large amplitude waves form at threshold. These waves stretch the drop as shown in Fig. 18(c) but there is no convergence toward a final stable shape. The elongation is followed by buckling as shown Fig. 18(d) then breaking into several fragments as demonstrated in Fig. 18(e). Kiyashko et al.  experimentally investigated the dynamics of defects in the domain walls that arise at the interface of two domains under a parametric excitation of capillary waves on the fluid free surface. It was shown that in a symmetric domain wall defects move strictly along it. It was found that a single defect located near the domain wall can attract defects of domain wall and embedded in it.
This section has addressed both weakly nonlinear and breaking Faraday waves. The occurrence of each type depends on the fluid and excitation parameters. However, when the natural frequencies of different modes are related to each other through nonlinear coupling of the modal equations of motion, the problem becomes complicated as the sloshing modes are sharing energy and the free surface becomes unsteady. This problem will be considered in Sec. 7.
Parametric Excitation Under Internal Resonance
Weak resonant coupling among gravity waves on the surface of deep water can cause significant energy transfer among wave-trains. The nonlinear coupling may give rise to the occurrence of internal resonance conditions among the interacting modes. Internal resonance implies the presence of a linear algebraic relationship among the natural frequencies of the sloshing modes in the form , where are integers, and are the natural frequencies of the coupled modes, the number is known as the order of internal resonance. The problem of internal resonances in nonlinearly coupled oscillators is of interest in connection with redistribution of energy among the various natural modes. The coupling among these modes plays a crucial role in such interactions. In a straightforward perturbation theory, internal resonances lead to the problem of small divisors.
Experimental investigations conducted by McGoldrick  and Longuet-Higgins and Smith  demonstrated the presence of resonant interaction among surface waves. McGoldrick  showed that both second-harmonic and triadic resonances are possible for deep-water gravity–capillary waves. Hammack and Henderson  presented an overview of resonant interaction theories and experiments for waves on the surface of a deep layer of water. Pattern formation in parametric surface waves was studied in the limit of weak viscous dissipation in Refs. [202,203]. A multiscale expansion of the quasi-potential equations revealed the importance of triad resonant interactions, and the saturating effect of the driving force leading to a gradient amplitude equation. Minimization of the associated Lyapunov function was found to yield standing wave patterns of square symmetry for capillary waves, hexagonal patterns, and a sequence of quasi-patterns (QPs) for mixed capillary–gravity waves.
Nonlinear modal interaction was also studied for the case of spatiotemporal resonant triads in a horizontally unbounded fluid domain. The interaction takes place such that each critical wave number from linear analysis actually corresponds to a circle of critical wave-vectors. It has been argued that resonant triads may play a central role in the Faraday's wave pattern selection problem as indicated in Refs. [204–208]. Resonant triads comprised three critical wave-vectors that sum to zero, i.e., , where is the wave number of one critical mode and is the wave number of the other critical mode. The bifurcation problem was formulated using a stroboscopic map and estimation of Floquet multipliers [209–214]. It was shown that there is a fundamental difference in the pattern selection problems for subharmonic and harmonic instabilities near the 10codimension-two point. Many experimental [204,215] and theoretical [208,216] studies attributed the formation of exotic patterns near the codimension-two (or “bicritical”) point to resonant triad interactions involving the critical or near-critical modes with different spatial wave numbers. The approximate (broken) symmetries of time translation, time reversal, and Hamiltonian structure were utilized by Porter and Sliber  who obtained general scaling laws governing the process of pattern formation in weakly damped Faraday waves. For the case of two-frequency forcing, it was found that the strength of observed three-wave interactions depends on the frequency ratio and on the relative phase of the two driving terms. Porter and Sliber  and Porter et al.  considered two-frequency forcing with an emphasis on the resonant triad occurring near the bicritical point where two pattern-forming modes with distinct wave numbers onset simultaneously. This triad was observed in the form of rhomboids11 and was involved in the formation of QPs and superlattices.
The period-doubling bifurcation of parametrically excited standing waves was analyzed for square and circular containers by Crawford [210,211] using reduced maps for the critical mode amplitudes. Experimental and theoretical investigations for surface waves in square containers suggested that the effective symmetry may be larger than the geometric symmetry of the container cross section. The difference between the geometric symmetry and effective symmetry is demonstrated in Fig. 19 by considering the cross section of a square of nondimensional length . For square containers, the geometric symmetry is generated by reflection about and reflection across the diagonal and . A standing wave pattern can be smoothly extended by reflection in x and y to give a solution to the corresponding free-boundary problem posed on the larger domain with periodic boundary conditions. The extra symmetries complicate the construction of normal forms and appear to stabilize effects in the experiments. These symmetries may be directly observed, if the sidewalls are deformed to a nonsquare cross section that retains square symmetry. Crawford et al.  indicated that there are hidden translational and rotational symmetries that further constrain the linear and nonlinear behavior of the fluid free surface. As a result, unexpected degeneracy among the linear wave frequencies and unexpected branches of nonlinear solutions in the bifurcation equations for the surface waves can occur. These additional symmetries are not obvious, since they are not symmetries of the square container and consequently do not preserve the boundary conditions of the problem.
The interaction between surface wave modes leads to a variety of interesting nonlinear phenomena, including chaotic dynamics. When two or more spatial modes are simultaneously excited, the amplitude equations contain the independent dynamics of each mode and also their coupling. Symmetry considerations greatly simplify the analysis by reducing the number of allowed coupling terms to any given order in the perturbation expansion. Internal resonance arises from the coupling of two sloshing modes whose frequencies are either equal or one modal frequency is n times the frequency of another mode. The case of equal frequencies occurs naturally in a circular cylinder for which the nonaxisymmetric modes occur in degenerate pairs. These modes differ only by an azimuth rotation of and have the same natural frequency . They are uncoupled (orthogonal) in the linear approximation, but are nonlinearly coupled both through direct, third-order interactions and through secondary modes that are excited at second-order and affects indirect, third-order interactions. However, the coupled motion of such a pair necessarily comprises angular momentum, which cannot be generated by parametric excitation. It is possible to have approximately coincidental modal frequencies in the doubly infinite, discrete spectrum for any liquid container .
An example with a much larger coupling coefficient is resonance between the dominant antisymmetric and axisymmetric modes, for which , and , where is the tank radius .
The case of parametric excitation when the modal frequencies are in the ratio of 1:2 was studied in Refs. [95,223,228]. Holmes  qualitatively showed the existence of chaotic motions for certain parameter ranges close to 2:1 subharmonic resonances. Gu and Sethna  studied periodic, almost periodic, and chaotic wave motions in a rectangular tank subjected to vertical sinusoidal excitation. The internal resonance condition 1:2 requires the fluid height to be relatively small, which causes excessive energy dissipation. Such energy dissipation suppresses nonlinear phenomena making it impossible to verify the analytical results experimentally. When the frequencies are nearly equal, the free oscillation in a nearly square container was discussed by Bridges  for the case of standing waves. For the case of a nearly square container, all nonsymmetric modes have nearly equal natural frequencies independent of the fluid depth. The case of 1:1 internal resonance was considered in Refs. [227,230-232] and it was shown that the system is capable of exhibiting periodic and quasi-periodic standing and traveling waves. They were able to identify parameter values at which chaotic behavior can occur. Faraday waves in a circular cylinder, which are internally resonant with either the subharmonic mode (with frequency one-fourth that of the forcing) or the superharmonic mode (with frequency equal to that of the forcing) were investigated experimentally by Henderson and Miles . For subharmonic resonance, both modes achieved comparable amplitudes that were steady or were modulated with one or two periods, or exhibited quasi-periodic or chaotic motions. For low modes, an energy exchange occurred during the initial period of growth, and precession instability was developed. For high modes for which both frequencies and wave numbers are in a 2:1 ratio, superharmonic resonance occurred irreproducibly and it was found to be prevailed by 1:1 interactions among the possible Faraday wave modes.
Nayfeh  presented weakly nonlinear analysis and derived the general fluid field equations. The free-surface conditions were expanded into Taylor series in terms of linear mode shapes. The governing equation of the liquid-free surface elevation was in full agreement with Miles Lagrangian formulation. In the presence of week damping, the free oscillation component of any mode that is not directly excited by the parametric resonance or indirectly excited by internal resonance will decay with time. If the condition of perfect internal resonance of two modes, , was relaxed, then Hopf bifurcations are possible. Nayfeh and Nayfeh  considered the case of 2:1 internal resonance condition when the higher mode, rather than the lower mode, is excited by a principal parametric resonance. The solutions of the modulation equations were found to be fixed-point, limit-cycle, or chaotic solutions. Multiple limit cycles with different amplitudes and periods were detected and shown to co-exist over some ranges of the external parametric resonance detuning parameter of the second mode taken as the bifurcation parameter. Some limit cycles were found to experience pitchfork bifurcation while others undergo cyclic fold bifurcation. The pitchfork bifurcation produces symmetry-breaking bifurcation and the cyclic fold bifurcation results in cyclic jumps. In the case of principal parametric resonance of the lower mode, the route to chaos was found to be a period-doubling sequence of bifurcations.
The role of weakly damped modes in the selection of Faraday wave patterns forced with rationally related frequency components and was examined by Topaz and Silber . Symmetry considerations were used for the special importance of the weakly damped modes oscillating with twice the frequency of the critical mode, and those oscillating primarily with the “difference frequency” and the “sum frequency” . The resonance effects predicted by symmetry were emerged in the perturbation results for one spatial dimension and agree with the numerical results for two dimensions. The difference frequency resonance was found to play a key role in stabilizing superlattice patterns observed by Kudrolli et al. . Later, Topaz et al.  showed how pattern formation in Faraday waves may be manipulated by varying the harmonic content of the periodic forcing function. Their approach was based on the crucial influence of resonant triad interactions coupling pairs of critical standing wave modes with damped, spatiotemporally resonant modes. For forcing functions with arbitrarily many frequency components, it was found that there are at most five frequencies that affect each of the important triad interactions at leading order. The relative phases of those forcing components were found to make the difference between an enhancing and suppressing effect. Their approach was applied to one-dimensional periodic patterns obtained with impulsive forcing and to 2D superlattice patterns and QPs obtained with multifrequency forcing.
Moehlis et al.  extended the work of Feng and Sethna  to study periodic orbits associated with heteroclinic bifurcations in a model of the Faraday system for containers with square cross section. These periodic orbits were found to correspond to quasi-periodic surface waves in the physical system. The periodic orbits were associated with heteroclinic bifurcations. Chaotic attractors were also found in the model equations, which correspond to chaotic surface waves. The case when the sloshing modal frequencies are in the ratio of 3:1 was considered in Refs. [240,241]. For the standing gravity waves, 3:1 internal resonance between (1,1) mode and (5,2) mode was found to be the strongest for the Faraday resonance in the 2D standing gravity waves of finite depth. Wada and Okamura  derived the nonlinear evolution equations of the dominant free-surface modes up to fifth-order in wave amplitude. It was found that the third-order evolution equations are integrable while the fifth-order evolution equations are chaotic. This means that the fifth-order nonlinearity breaks the integrability of the third-order integrable system. The 3:1 resonance was found possible between two normal modes for 2D standing gravity waves with the dimensionless depth , where is the wave number of the standing gravity wave. Related to the problem of internal resonance is the problem of sloshing modal competition and associated free-surface patterns. These issues will be discussed in Secs. 8 and 9.
Mode Competition of Faraday Waves
It is known that under parametric excitation of frequency the first excited mode is the one near to the parametric resonance at . However, in some cases, the detuning may be of the same order for two or more adjacent modes, so that these modes can enter in competition even close to threshold. The competition between nearly degenerate modes was shown to lead to chaotic behavior in a circular container  and to complex selection rules in a square cell . Depending on the value of the forcing frequency, the system may either display a subcritical transition from one mode to the other or a competition between the two modes, leading to the onset of a mixed mode.
Figure 23 shows the digitized optical intensity fields formed by stable patterns of modes (4,3) and (7,2), whose natural frequencies are and , respectively. The crosses are experimentally determined points on the stability boundaries [243,244]. At the intersection of the two stability boundaries, both modes oscillate simultaneously. Above the stability boundaries, the liquid surface oscillates at half the driving frequency in a single stable mode. The shaded areas are regions of mode competition, in which the surface can be described as a superposition of the (4,3) and (7,2) modes with amplitudes having a slowly varying envelope in addition to the fast oscillation at half the excitation frequency, . These slow variations can be either periodic or chaotic. At driving amplitudes higher than those shown in Fig. 23, the surface can become chaotic even if the driving frequency is resonant, so that a single mode is dominant.
As one crosses from the region of slow periodic oscillations into the chaotic region, one finds a period-doubling bifurcation followed by a transition to chaos. A typical example is shown in Fig. 24, where time history records are shown for three different driving amplitudes but fixed driving frequency of 16.05 Hz. The figure also shows the corresponding power spectra of the time series. It is seen that subharmonic bifurcation occurs at relatively higher excitation amplitude ( and ). This is accompanied by a slight broadening of the peaks. Above , the time history record is chaotic. Ciliberto and Gollub [243,244] indicated that at amplitudes higher than , mode competition disappears and only the fourfold symmetric mode dominates. An experimental study was performed by Karatsu  to study nearly degenerate (4,1) and (1,2) surface wave modes in a circular cylinder and observed periodic and chaotic mode competition.
where is the surface tension and is the gravitational acceleration. Note that when the term dominates the mode is a gravity wave, while when dominates the waves are capillary.
The nonlinear dynamical equations of two nearly degenerate subharmonic modes of Faraday waves was developed by Umeki  and Umeki and Kambe . The system equations were reduced into a two degrees-of-freedom system because each nonaxisymmetric mode has two completely degenerate components and the associated angular momentum of each mode tends to vanish owing to the damping and the circular symmetry. Period-doubling bifurcation and chaotic solutions with one positive Lyapunov characteristic exponent were obtained numerically. It was shown that some of the period-doubling bifurcations are related to the symmetry. Using the results of Umeki and Kambe  and Umeki , the controversy between the results of Meron and Procaccia  and Miles  concerning the existence of canonical formulations was resolved. A two-parameter analysis of the interaction between two period-doubling modes with azimuthal wave numbers and was developed by Miles et al. . It was found that when one mode bifurcates subcritically and the other supercritically the pure mode branches lose stability to a branch of reflection-symmetric mixed modes. The system was found to undergo a Hopf bifurcation then to a quasi-periodic reflection-symmetric pattern. The results explain a number of observations reported by Ciliberto and Gollub [243,244] on parametrically excited surface waves in circular container.
Parametric excitation of surface waves in a container under vertical forcing was investigated by Kambe and Umeki . A system of evolution equations of third-order nonlinearity was derived for the case of excitation frequency, which is close to twice the frequencies of two nearly degenerate free modes. It was found that this dynamical system yields not only excitation of a single-mode state but also interaction between two modes in which each mode oscillates either periodically or chaotically. These results were found in good agreement with the experimental observations, except for the case of strong nonlinearity. Homoclinic chaos in the Hamiltonian system of two degrees-of-freedom without damping was studied numerically. It was suggested that the chaotic mode competition observed experimentally is different from the homoclinic chaos. The analytical results for a pair of (4,3) and (7,2) modes in a circular cell were found in agreement with the experiment by Ciliberto and Gollub [220,244], and the results for the (2,3) and (3,2) mode pair in a rectangular cell are also in good agreement with the experiment by Simonelli and Gollub , except for the presence/absence of mixed-mode excitation. Umeki  showed that the periodic mode competition occurs from a Hopf bifurcation, which is supercritical for the predicted nonlinear coefficients of gravity waves but may become subcritical for slightly modified values of the coefficients, of a mixed rotating wave state for the slightly rectangular case. If the damping coefficient is sufficiently small, the periodic orbits in the phase space bifurcate into complicated orbits.
Miles  extended the formulations reported in Refs. , [230–232], and  by incorporating capillarity, cubic forcing, and cubic damping. Weakly nonlinear capillary–gravity waves of frequency and wave number in a square container subjected to the vertical displacement were studied based on the assumptions that where is the linear damping ratio. The fixed points of the evolution equations comprised four solutions. These are: (1) the null solution; (2) an orthogonal pair of rolls described by either or ; (3) an orthogonal pair of squares described by either or ; and (4) coupled-mode solutions for which both modes are active and neither in phase nor in antiphase. The fixed points for rolls and squares lie on separate loci in an energy-frequency plane that intersect the null solution at a pair of pitchfork bifurcations, one of which is definitely supercritical and the other of which may be either subcritical or supercritical. Crawford et al.  formulated the modal interaction between two period-doubling in the presence of symmetry as a map in four dimensions, and classify the primary, secondary, and tertiary bifurcations. The observed amplitude oscillations were found to arise as a tertiary Hopf bifurcation from a mixed mode pattern provided exactly one of the primary instabilities is subcritical. Riecke  analyzed the stable wave number kinks in parametrically excited standing waves in large aspect ratio. It was found that for small group velocity of the underlying traveling waves the stable band of wave numbers can split up into two sub-bands, which are separated by a region of unstable wave numbers. This gives rise to solutions with stable wave number kinks which bridge the unstable regime between the sub-bands.
Modal competition between three neighboring 2D modes in a narrow rectangular tank was experimentally and theoretically studied . In particular, the stability of a standing wave to perturbations from the two neighboring sideband modes was studied. Cubic damping, cubic forcing, and fifth-order conservative terms were retained in the analytical model for deep water. Retaining these higher order nonlinearities gave rise to fairly good agreement with experimental results. Faraday instability in an elongated rectangular cell was studied by Residori et al.  for a range of the forcing frequency for which two nearly degenerate modes enter in competition. The stability properties of the two modes were found to either co-exist in a bistable way or give rise to a mixed mode. It was indicated that different bifurcation scenarios exist depending on the relative detuning between the two modes. Slow oscillations accompanying the mixed mode were explained by the frequency beating of the two competing modes.
In the presence of small viscosity, i.e., , where is the capillary–gravity number, it was shown that the waves couple to a streaming flow driven in oscillatory viscous boundary layers at rigid walls and the free surface . This flow in turn affects the waves responsible for the oscillatory boundary layers. It was indicated by Martín et al.  that this coupling is responsible for different types of drift instabilities of the waves, instabilities that were observed in experiments in annular containers  but are absent from the theory when the coupling to the streaming flow is neglected. These instabilities were found to arise not only in annular containers but in cylindrical containers as well, and are driven by a coupling between the streaming flow and the spatial phase of the waves. Richer dynamic behavior was reported when the container is deformed into an elliptical one as shown in Higuera et al. . In this case, the streaming flow was found to couple with the amplitudes of the standing waves, resulting in a much stronger coupling between the waves and the streaming flow. Higuera et al.  explored the consequences of this coupling in model equations derived originally by Higuera et al.  under the assumption that the Reynolds number of the streaming flow is small. The system was described by a five-dimensional system of ordinary differential equations. The eccentricity of the container, although small, was found of crucial importance since it results in a coupling of the streaming flow to the complex amplitudes of the two nearly degenerate modes.
The Floquet theory was used by Mancebo and Vega  to determine the threshold acceleration for the appearance of Faraday waves in large aspect ratio containers. Different distinguished limits were considered in the analysis. In particular, the case of nearly inviscid limits, i.e., when the capillary–gravity number then the most dangerous mode at threshold is potential, except in two thin boundary layers near the bottom wall and the free surface, and an approximation of the critical excitation acceleration amplitude, can be found in closed form. If that limit of the capillary–gravity number does not hold, then the most dangerous mode at threshold exhibits nonlocalized vorticity due to viscous effects. The other case is the basic limit and highly viscous sublimit, which is captured as . In this case, viscous effects dominate gravity and surface tension, which can both be ignored in the analysis. The resulting simplified problems either admit closed-form solutions or are solved numerically by the well-known method introduced by Kumar and Tuckerman . The critical excitation acceleration amplitude was found to depend on excitation frequency, the capillary–gravity number, , and the gravity–capillary balance parameter, , which measures the ratio of surface tension to its combined effect with gravity.
Knobloch et al. [263,264] considered nearly inviscid parametrically excited surface gravity–capillary waves in 2D periodic domains of finite depth with small and large aspect ratios. Coupled equations describing the evolution of the amplitudes of resonant left- and right-traveling waves and their interaction with a mean flow in the bulk were derived. The mean flow consisted of an inviscid part together with a viscous streaming flow driven by a tangential stress due to an oscillating viscous boundary layer near the free surface and a tangential velocity due to a bottom boundary layer. Through nonlinear rectification, Reynolds stresses were generated, which drive a streaming flow in the nominally inviscid bulk. This flow in turn was found to advect the waves responsible for the boundary layers. The resulting system was described by amplitude equations coupled to a Navier–Stokes-like equation for the bulk streaming flow, with boundary conditions obtained by matching to the boundary layers. The coupling to the streaming flow was found to be responsible for various types of drift instabilities of standing waves and in appropriate regimes can lead to the presence of remarkable relaxations oscillations.
A sequence of symmetry-breaking instabilities leading to a chaotic state was observed in the surface deformations of a fluid layer subjected to a vertical oscillation by Gollub and Meyer . For driving amplitudes above a critical value, a primary instability was observed in the form of circularly symmetric standing waves at half the driving frequency. A second instability at a higher threshold was found to break the circular symmetry and lead to a slow precession of the pattern, so that the overall motion is quasi-periodic. Keolian et al.  and Keolian and Rudnick  used liquid helium and water in thin annular troughs and observed both period-doubling and quasi-periodic motions apparently involving three modes. Nonlinear evolution equations for the amplitudes of resonant capillary–gravity waves with different directions of wave number vector were derived by Yoshimatsu and Funakoshi . These equations include cubic nonlinearity and the effects of viscous damping and parametric forcing obtained from the energy equation. The center-manifold was used to obtain quintic amplitude equations for unstable modes in which cubic damping and forcing were included. It was concluded that the squares are stable for sufficiently short waves, the hexagons and the eightfold QPs are stable when the wavelength is within two intermediate regions, and the stripes are always unstable. The disordered structure of the free-surface flow under relatively large harmonic excitation amplitude was also experimentally observed by Gollub and Meyer . Their measurements showed a sequence of symmetry-breaking instabilities leading to chaotic state.
In the weakly inviscid regime, parametrically driven surface gravity–capillary waves generate oscillatory viscous boundary layers along the container walls and the free surface. Through nonlinear rectification these generate Reynolds stresses, which drive a streaming flow in the nominally inviscid bulk. This flow in turn advects the waves responsible for the boundary layers. The resulting system was described by amplitude equations coupled to a Navier–Stokes-like equation for the bulk streaming flow. Higuera et al. [260,269,270] examined two model systems, which include an elliptically distorted cylinder while in the second it is an almost square rectangle. The forced symmetry breaking was found to result in a nonlinear competition between two nearly degenerate oscillatory modes. This interaction was found to destabilize standing waves at small amplitudes and amplifies the role played by the streaming flow. In both systems, the coupling to the streaming flow triggered by these instabilities was found to lead to slow drifts along slow manifolds of fixed points or periodic orbits of the fast system, and to generate behavior that resembles bursting in excitable systems. The new dynamical behavior included relaxation oscillations involving abrupt transitions between standing and quasi-periodic oscillations, and exhibiting “canards.” Here, relaxation oscillations are nonlinear oscillations, which are nonsinusoidal repetitive such as those shown in Fig. 25. These limit cycles are evidently relaxation oscillations, but of an unusual type, involving slow drifts along branches of both equilibria and of periodic orbits, with fast jumps between them. Moreover, these oscillations may be symmetric or asymmetric, with the symmetry alternately present and broken in successive periodic windows. The presence of relaxation oscillations in this system can be attributed to the disparity between the decay times of free surface gravity–capillary waves and the streaming flow that prevails in the nearly inviscid regime.
In the case of a slightly elliptical container, two types of standing waves, oriented along the major and minor axes of the ellipse, were found to come in close succession as the amplitude of the parametric excitation increases, and these may interact at small amplitude, producing mixed modes which are much more efficient at driving a streaming flow. In this case, the fluid flow couples to the two amplitudes, as well as to the spatial phase of the resulting pattern. Higuera et al. [260,269,270] demonstrated that this interaction can lead to relaxation oscillations characterized by switching from single frequency standing waves to two-frequency waves and back. Under appropriate conditions these relaxation oscillations can exhibit the so-called canard phenomenon in which the system follows nominally unstable solutions in the slow phase. Various global bifurcations are located as well, of which perhaps the most interesting is responsible for the appearance of chaotic dynamics right at threshold of the primary instability. In an elliptical container, Faraday waves were described by a third-order system of ordinary differential equations with characteristic slow–fast structure . These equations describe the interaction of standing waves with a weakly damped streaming flow driven by Reynolds stresses in boundary layers at the free surface and the rigid walls.
Patterns of Faraday Waves
Faraday waves provide a convenient experimental system for studying pattern formation due to fast time scales and large aspect ratio. The theoretical starting point of pattern formation is usually a set of deterministic equations of motion, typically in the form of nonlinear partial differential equations. The study of pattern formation in fluids has greatly been benefited from the careful and controlled experiments as well as the development of new analytic and numerical tools. Cross and Hohenberg  and Müller  presented two different review accounts on the spatiotemporal pattern formation of Faraday wave patterns. Knobloch  presented an overview of the theory of pattern formation in many systems of interest in physics, which exhibit spontaneous symmetry-breaking instabilities that form structures of patterns.
Early experimental and analytical investigations dealt with small systems, in which the pattern is determined by the shape of the boundary and few eigen-modes are excited. Parametric excitation experiments were performed to excite low-order modes of small liquid layers [225,242,244]. Other experiments were performed on liquid cells of thickness in the order of 100 wavelength [275–277]. These experiments displayed several remarkable features such as: (1) square patterns, even in cylindrical containers; (2) a secondary instability to a pattern with transverse modulations of the amplitude of standing waves; and (3) at still higher excitation strength, a transition to spatiotemporal chaos. The transition to chaos was studied experimentally in a system of capillary waves parametrically excited in a thin layer of fluid by Ezersky [278,279]. In a certain range of fluid depths, when the amplitude of oscillation is increased a regular wave system is replaced by a chaotic field. Irrespective of the container shape used in the experiments, the temporal evolution of the system from a regular to a chaotic state was found to occur through the excitation of low frequency.
Other experimental investigations were conducted on large systems to examine the pattern selection and chaotic behavior [278,280–287]. Ezersky et al.  observed a grid of waves of squares on a vibrating thin layer of silicone, while three types of grids were reported by Levin and Turbnikov  and presented a hexagonal grid, a grid of squares, and one-dimensional grid. Christiansen et al.  and Edwards and Fauve  observed an eightfold and 12-fold QPs analogous to a 2D quasi-crystal in parametric excitation of capillary waves experiment. The observed QP was found independent of the shape of the container side walls. Regions with perfect crystal patterns separated by domain walls-chains of dislocations were found to exist in parametrically excited capillary ripples . The transition of ensembles of domains to perfect crystals was found to be due to collapse of individual domains when the domain wall is a closed contour of annihilating dislocations and merging of neighboring domains due to the dislocation climb to the walls of a cell. A stable fivefold standing wave pattern exhibiting a germinal quasi-crystalline structure was observed in a symmetry breaking Faraday instability experiment with a low aspect ratio and the liquid depth being less than the surface wavelength by Torres et al. .
When Faraday waves are excited well beyond the threshold for pattern formation, the ordered patterned structure is lost . Such spatial disorder, known also as “defect-mediated turbulence,” was found to occur in a wide class of driven nonlinear systems [277,292,293]. It was indicated that defect-mediated turbulence is well characterized. Above a critical value of the excitation acceleration amplitude, defects in the form of dislocations of pattern lines were found to spontaneously nucleate throughout the system and their nucleation rate increases with the excitation. Furthermore, their motion was found to generate rapid exponential decay of temporal and spatial correlations. The transition from an ordered pattern to disorder corresponding to defect-mediated turbulence was examined experimentally by Shani et al. . It was found that this transition is mediated by a spatially incoherent oscillatory phase, which consists of highly damped waves that propagate through the effectively elastic lattice defined by the pattern. As these waves decay within a few lattice spaces, they are spatially and temporally uncorrelated at larger scales. Significant effort was made in order to understand and predict the pattern selection using analytical tools. Two mechanisms for selecting the main frequency responses that are different from the first subharmonic one were identified in the literature . The first mechanism occurs when two or more frequency components are introduced in the parametric excitation. Each component will tend to excite its own corresponding first subharmonic mode. Their relative amplitudes will determine which of these responses has the lowest global excitation strength threshold, which establishes the instability that is observed at onset. The second mechanism can only arise in the high viscosity regime. If the fluid layer is shallow enough, even a single component excitation with low enough frequency can excite instability different from the first subharmonic one. As the viscous boundary layer reaches the bottom of the fluid container, the threshold of the lowest unstable modes rises allowing others with higher main frequency components to become unstable at onset. In Secs. 9.1 and 9.2, this paper will provide an account of the formation and selection of Faraday patterns under single-, two-, three-, and multifrequency excitations.
Single-Frequency Parametric Excitation.
Under single-frequency parametric excitation of a fluid layer can display Faraday waves of different types of patterns depending on the excitation level and frequency. Weak nonlinear effects can cause interactions between surface waves with different wave modes and can be important in determining free-surface wave patterns. The liquid free surface may be regarded as a superposition of interacting waves propagating in different directions. Faraday waves were observed to be especially versatile and exhibit the common patterns familiar in convection such as stripes, squares, hexagons, and spirals. These patterns include triangles , QPs [237,283], superlattice patterns [237,297], time-dependent rhombic patterns , and localized waves . Christiansen  conducted experimental investigation to measure the damping rates and the critical amplitude of the primary instability of high aspect ratio of Faraday waves. Above the primary instability, a sequence of ordered crystalline states was observed. These states include a quasi-crystalline pattern in the form of eightfold symmetry.
It was reported that if the dissipation is large, the preferred pattern consists of parallel stripes [284,301–303]. At higher driving amplitudes, stationary patterns with a hexagonal shape in the centre of the cell were observed experimentally in Ref. . Standing wave patterns with different symmetries were observed and understood as superposition of two linearly unstable modes of the fluid free surface. The pattern wave number was fixed by the excitation frequency, whereas the shape was found to depend on the nonlinear interaction. Douady et al.  presented a study of secondary instabilities of parametrically generated standing waves in a horizontal layer of fluid subjected to vertical vibrations. It was found that when the driving frequency is increased (respectively, decreased), the system bifurcates abruptly to another standing wave pattern by nucleation (respectively, annihilation) of one wavelength. An experimental study of surface waves parametrically excited was presented by Douady . Stability boundaries, wave amplitude, and perturbation characteristic time of decay were measured and found to be in agreement with an amplitude equation derived by symmetry. The measurement of the amplitude equation coefficients provided some interpretation of the observed transition, which is supercritical, and showed the effect of the edge constraint on the dissipation and eigenvalues of the various modes. The fluid surface tension was obtained from the dispersion relation measurement.
The threshold accelerations necessary to excite surface waves in a vertically excited fluid square container was measured [304,305]. Figure 26 shows the stability boundaries according to the numerical solution (solid curve), while the dashed curve represents the threshold curve in the absence of mode quantization. Because the actual thresholds are larger than the predictions, it was concluded that another source of energy dissipation was present. The small inset images in Fig. 26 are examples of patterns obtained at different frequencies. The Faraday instability was examined experimentally and theoretically by Barrio et al.  and found that for certain liquids, in which viscosity is very small and with peculiar physical properties such as a high molecular weight and density, there exists an additional dissipation mechanism that introduces an important nonlinear term in the equations of motion. This mechanism was found to produce the stabilization of symmetric patterns. The model equation was solved numerically and the patterns produced were analyzed and compared with experimental images. QPs were observed in two different Faraday wave experiments, one with a low-viscosity deep layer of fluid with single-frequency parametric excitation [204,205,283], and the other with a high-viscosity shallow layer of fluid and forcing with two commensurate temporal frequencies . The pattern instability for a layer of a viscous fluid in a large aspect ratio container subject to vertically arbitrarily periodic excitation was studied by Chen and Wei . The instabilities for Faraday water wave system under excitations of the triangle and square waves were analyzed.
Under single-frequency excitation and depending on the fluid viscosity of glycerol/water mixture, the pattern of squares was observed for kinematic viscosity below . For larger viscosity , the pattern changes to parallel lines as shown in Fig. 27. The lines preferred to be perpendicular to the sidewalls, especially at high excitation amplitude. For the circular geometry of the container, the lines of the pattern are bowed. It is seen that the wavelength at the center is smaller than near the circumference. As the excitation amplitude increases, a spontaneous defect pair generation was observed similar to the behavior in convective rolls at low Prandtl number [308,309]. It was observed that these defects migrate outward until they vanish near the boundary and then another defect pair is produced. If the excitation amplitude is abruptly increased, patterns of circles and spirals were observed by Edwards and Fauve . The spiral pattern was found to rotate with a period of about one minute. Two topological defects of the same sign belonging to the waves, traveling in opposite directions in one pair, may form a stable bound state in parametrically excited capillary ripples . Note that a perfect structure consists of two mutually orthogonal pairs of standing waves. Individual dislocations in the form of such bound states may interact with each other. It was shown that the dislocations may either annihilate, if they have opposite topological charges, or are arranged into quasi-stable states in the form of a linear chain, in the case of like topological charges. Kalinichenko et al. [128,311] derived the conditions for harmonic instability of the free surface of a liquid of low viscosity in a rectangular vessel of finite horizontal dimensions.
Spirals and targets were studied by Kiyashko et al.  using silicon oil with viscosity , density , surface tension coefficient , and fluid depth of 0.5 cm. It is known that plane standing waves are completely stationary with nonmoving nodes and antinodes. On the other hand, standing waves forming targets and spirals drift slowly toward the core . The speed of the drift was found to depend on the magnitude of vertical excitation acceleration, as shown in Fig. 28. Wave drift phase velocity was found to sensitively depend on the profile of the side walls of the fluid cell. It is seen that the drift velocity is maximal for a straight vertical wall, and is reduced for a wall with a step. It was assumed that the wave drift is related to a shear flow produced near the wall by rapidly decaying surface waves at the fundamental frequency, generated by an oscillating meniscus. This shear flow was observed even in the subcritical regime when the parametric instability is absent. Near the threshold, the magnitude of velocity of the shear flow was close to 0.5 mm/s. Both contracting targets and rotating multi-armed spirals were found to persist for a long time (a few hours) in the cavity. The experimental images of the topology of the free surface were documented in Ref.  and it was shown that multi-armed spirals with different values of topological charge emerge as a result of dislocations interacting with the background target pattern. Dislocation pairs were observed produced by perturbing rolls at the periphery of the target. One dislocation of the pair quickly disappears at the wall, and another moves toward the center along some curved trajectory as shown in Fig. 29. The velocity of the defect was found to increase as it approaches the core. When several defects were introduced on the target, stable multi-armed spirals were observed. The evolution of a target with four dislocations (two positive and two negative) is shown in Fig. 29(a). A spiral is formed when one of the defects is already at the center while the others are still on the periphery as shown in Fig. 29(b), and later a target is restored as shown in Fig. 29(c) when all the dislocations annihilate at the center. In another experiment, a two armed spiral was formed and persisted for a long time as shown in Fig. 29(d).
Faraday waves in a stadium shaped container were experimentally studied by Kudrolli et al. . Figure 30 shows samples of surface wave patterns generated at different parametric excitation frequencies. As pointed by Agam and Altshuler , the experimental findings are quite intriguing, since these patterns appear in 90% of the cases, and their magnitudes is unexpectedly large. Agam and Altshuler  further examined the problem and showed that, at sufficiently low frequencies, the wave patterns are “scars” selected by the instability of the corresponding periodic orbits, the dissipation at the container side walls, and interaction effects which reflect the nonlinear nature of Faraday waves. Large boundary dissipation was found to prevent the formation of random patterns as well as other modes such as the whispering gallery modes. Moreover, increasing the boundary dissipation, by lowering the fluid level, should eventually suppress all scars except the horizontal one.
Two mechanisms were proposed for QP formation. The first is applied to single-frequency forced Faraday waves and was tested experimentally by Westra et al. . The second was developed to explain the origin of the two length scales in superlattice patterns [219,236], which were observed in two-frequency experiments . These two mechanisms were examined by Rucklidge and Silber  with the purpose of explaining the selection of QPs in single- and multifrequency forced Faraday wave experiments. Both mechanisms were used to generate stable QPs in a parametrically forced partial differential equation that shares some characteristics of the Faraday wave experiment. The first mechanism was found to be robust for single-frequency forcing and two different forcing strengths, for which 12-fold and 14-fold QPs were obtained. The second mechanism, which requires more delicate tuning, was used to select particular angles between wave-vectors in the QP. Nonlinear three-wave interactions between driven and weakly damped modes play a key role in determining which patterns are favored. Rucklidge and Sliber  performed quantitative comparisons between the predicted patterns and the solutions of the system partial differential equation based on strong damping of all modes apart from the driven pattern-forming modes. This is in conflict with the requirement for weak damping if three-wave coupling is to influence pattern selection effectively. Rucklidge and Sliber  distinguished two different Faraday experiments that three-wave interactions can be used to stabilize QPs, and examples of 12 -, 14 -, and 20-fold approximate QPs were presented. The first is an experiment with a low-viscosity deep layer of fluid with single-frequency excitation [204,205,283]. The second is with a high-viscosity shallow layer of fluid and forcing with two commensurate temporal frequencies .
Free-surface waves, which are synchronous with the excitation, were shown to occur in thin layers of fluid vibrated at low frequency in Refs. [78–80]. They also occur in certain viscoelastic fluids  and in fluids forced periodically, but with more than one frequency component [301,317]. For each case, it is possible to tune the forcing parameters in order to access the transition between subharmonic and harmonic response. At codimension-two point, both instabilities set in simultaneously, but with different spatial wave numbers. Kumar  showed that harmonic instability could only occur in a fairly shallow viscous liquid in a vessel of infinitely large horizontal dimensions. Coupled evolution equations can be written for the various wave amplitudes. The coupling coefficients depend on the angles between the wave-vectors, and these coupling functions depend in turn on the imposed parameters such as wave frequency.
A nonlinear analytical approach dealing with the wave pattern selection for parametric surface waves, not restricted to fluids of low viscosity was presented in Ref. . A standing wave amplitude equation was derived from the Navier–Stokes for viscous fluids. The associated Lyapunov function was calculated for different regular patterns to determine the selected pattern near threshold as a function of a damping parameter , where . For , it was shown that a single wave (or stripe) pattern is selected. For , patterns of square symmetry in the capillary regime, a sequence of sixfold (hexagonal), eightfold patterns in the mixed gravity–capillary regime, and stripe patterns in the gravity dominated regime were depicted. Figure 31 shows the symmetry of the preferred patterns predicted by Chen and Viñals  in the parameter space defined by the viscosity of the fluid and excitation frequency for a fluid depth of 0.3 cm, density of , and surface tension of 20.6 dyn/cm, and the experimentally observed patterns are indicated by symbols (as reported in Ref. ). It is seen that stripe patterns are preferred at high viscosity, whereas at low viscosity, hexagons (at low frequency) and squares (at high frequency) were observed. The shallowness of the fluid layer was accounted for the observation of a hexagonal pattern for viscosity of and low frequency, and not observing a quasi-periodic pattern for viscosity and excitation frequency of 27 Hz. The experiments of Binks and van de Water  detected this latter region in a deep fluid layer.
The parametric excitation of two mutually orthogonal pairs of the quasi-monochromatic (modulated) capillary waves on the surface of a liquid layer was studied by Reutov . The numerical solution predicted the formation of the modulation lattice with tetragonal cells with disorder. The disorder was manifested as local variations of the period of the vertical and horizontal lines of the lattice. The weakly nonlinear modal interaction for a finite depth of fluid subjected to a vertical oscillation was analytically developed from the full Navier–Stokes equations by Skeldon and Guidoboni . The coefficients of the amplitude equations and the consequences for stability of different spatially periodic patterns in the infinite depth case were calculated. Although symmetry arguments provided a qualitative explanation for the selection of some of these patterns, quantitative analysis was found to be hindered by mathematical difficulties inherent in a time-dependent, free-boundary Navier–Stokes problem. Skeldon and Porter  reconsidered weakly nonlinear behavior and compared the scaling results derived from symmetry arguments in the low viscosity limit with the computed coefficients of appropriate amplitude equations using both the full Navier–Stokes equations and a reduced set of partial differential equations due to Zhang and Vináls [35,207]. An optimal viscosity range was found for locating superlattice patterns experimentally.
The phase relaxation of ideally ordered patterns of Faraday waves was examined by Kityk et al. . A combined frequency–amplitude modulation of the excitation signal a periodic expansion was used and dilatation of a square wave pattern was generated. It was shown that the measured relaxation time allows a precise evaluation of the phase diffusion constant. Later, the spatiotemporal behavior of Faraday surface waves was studied by Kityk et al. . The bifurcation of a doubly hexagonal superstructure out of a simple hexagonal pattern was presented. Some attempts were made to predict the surface elevation profile of Faraday surface waves . Local surface deformation measurements using a focused laser beam were presented by Westra et al.  who obtained quantitative values of the temporal phases. Kityk et al.  presented the results of experimental measurements of the complete spatiotemporal Fourier spectrum of Faraday waves generated at the interface of two immiscible liquids of different density. The container consists of an aluminum ring of diameter of 18 cm with its bottom and top made of two parallel glass plates with a gap between them of 10 mm. The gap was filled by two immiscible liquids: silicone oil of viscosity of 20 m · Pa · s, density of 949 kg/m3 and an aqueous solution (sugar and nickel sulfate) of viscosity of 7.2 m · Pa · s and density of 1346 kg/m3. The liquid–liquid interfacial tension was measured to be 35 ± 2 dyn/cm yielding a capillary length of 3 mm. Kityk et al.  obtained the bifurcation scenario from the flat surface to the patterned state for each complex spatial and temporal Fourier component separately. For example, Fig. 32 shows the dependence of the spatial amplitude on the normalized acceleration , where is the critical acceleration above which the interfacial surface in unstable) for modes 10 and 11. The amplitudes were measured at subharmonic, harmonic, and superharmonic frequencies. The figure shows the regions of pure square (see Fig. 33) and hexagonal (see Fig. 34) patterns and a narrow region of mixed patterns. It was shown that the energy is transferred from lower to higher harmonics and the nonlinear coupling generated static components in the temporal Fourier spectrum leading to a contribution of a nonoscillating permanent sinusoidal deformed surface state. A comparison of hexagonal and rectangular patterns reveals that spatial resonance can give rise to a spectrum that violates the temporal resonance conditions given by the weakly nonlinear theory.
Two-Frequency Parametric Excitation.
where the phase angle represents the relative mixing between the two modes and the angle describes their phase difference, .
where the phase of component is zero by choice of time origin and the phase angle is associated with component.
Under two-frequency excitation given by Eq. (32b) with frequency components and for , , and , the free surface was found to take hexagons pattern as shown in Fig. 35(a). Hexagons-to-lines transition was found to co-exist over a finite range of bifurcation parameter , where is the threshold excitation acceleration amplitude above which the free surface is unstable. Figure 35(b) shows a 12-fold QP observed under excitation frequency , , and .
The way in which these different patterns become stable or unstable as the parameters are varied was analyzed in some detail and experimentally verified by Binks and van de Water . An example of a quasi-crystalline pattern was presented by Gollub and Langer  and is shown in Fig. 36. Binks and van de Water  conducted an experimental investigation on a circular container of 44 cm diameter and fluid depth of 2 cm. They used fluid of kinematic viscosity of , density , and surface tension . Under parametric excitation, different fluid surface patterns were observed depending on the parametric excitation frequency. Figure 37 shows samples of fluid surface wave patterns in a cylindrical container of 44 cm diameter and fluid depth of 2 cm under different values of excitation frequency where fourfold square , sixfold hexagonal , eightfold quasi-periodic , and tenfold quasi-periodic emerge close to the onset. It was found that the n = 2, 3, and 4 patterns reveal a clear long-range orientation order, with minor defects manifested by a slow bend in the case of the square pattern, and the appearance of triangularlike structures in the case of . These apparent triangles are the result of a -phase defect, as the alteration of hexagons and triangles can be reversed by shifting the phase at which the image is taken by . For the eightfold quasi-periodic pattern, there appears to be a point defect in the top central portion of the image. The ordering of the tenfold pattern is only strong in the central region, although some tenfold orientation order can be observed throughout the image.
Zhang and Viňals [35,207] developed a weakly nonlinear analysis for the dynamics of small amplitude surface waves on a semi-infinite weakly inviscid fluid layer. Kudrolli et al.  experimentally observed that two-frequency parametrically excited waves produce an intriguing “superlattice” wave pattern near a codimension-two bifurcation point where both superharmonic and harmonic waves occurred simultaneously, but with different spatial wave numbers. The superlattice pattern is synchronous with forcing, spatially periodic on a large hexagonal lattice, and exhibits small-scale triangular structure. Silber and Proctor  showed that similar patterns can exist and may be stable if the nonlinear coefficients of the bifurcation problem satisfy certain inequalities. Silber et al.  used the spatial and temporal symmetries to indicate that weakly damped harmonic waves may be critical to understanding the stabilization of such pattern in the Faraday system.
Two-frequency-forced liquid layer systems were also studied experimentally [215,237,298,299]. These studies were conducted both in the near vicinity and far from the phase angle corresponding to the codimension-two point. They revealed a number of qualitatively superlattice type states. Silber and Skeldon  studied the two-frequency Faraday system in the vicinity of the codimension-two point. They considered forcing ratios to be either odd/even or even/odd parities, where interactions between harmonic and subharmonic waves may occur. Arbell and Fineberg  presented an experimental investigation of superlattice patterns generated on the surface of a fluid under parametric excitation with two commensurate frequencies. Four qualitatively different types of superlattice patterns were generated via a number of different three-wave resonant interactions. They occur either as symmetry-breaking bifurcations of hexagonal patterns composed of a single unstable mode or via nonlinear interactions between the two primary unstable modes generated by the two forcing frequencies. Besson et al.  showed that a transition between two patterns with different linearly unstable wavelengths can be obtained in various fluid regimes by changing the relative amplitudes of a two-frequency parametric excitation function. This transition occurs through a bicritical point, where both modes are simultaneously neutrally stable.
At low excitation frequencies, a hexagonal pattern consisting of three standing waves spaced at 120 deg was reported in Refs. [319,333,334]. The preferred surface pattern near the onset of instability is the one that minimizes a certain functional of the wave amplitudes. Regular patterns can be formed that are not spatially periodic but do have rotational symmetry, i.e., quasi-crystalline patterns [283,301]. Transitions to spatially and temporally disordered states occur were found to occur when the wave amplitudes are increasing. Some of these states, such as the hexagonal lattice, were found to disappear, while the striped phase breaks down in regions where the stripes are most strongly curved. On the other hand, if the fluid is not too viscous, so that the correlation length of the pattern is relatively long, then the symmetry imposed by the boundaries can be recovered by averaging over a large number of individually fluctuating patterns as reported by Gluckman et al. . A case of strongly turbulent capillary waves was studied experimentally by Wright et al. . The dynamics of a fluid surface filled with high-amplitude ripples were also studied using a diffusing light photography, which resolves the height at all locations instantaneously. When nonlinearities are strong enough to generate a cascade from long wavelength to shorter wavelength, the resulting turbulent state contains large coherent spatial structures.
Faraday instability of viscous fluids driven by an excitation of two frequencies exhibited nonlinear effects, which give rise to a hexagonal pattern, as well as an unusual “QP” with 12-fold orientational order. The development of complex states of fluid motion was illustrated experimentally on film flows by Gollub . In addition, surface waves and thermal convection were considered. In one-dimensional pattern, cellular patterns bifurcate to states of spatiotemporal chaos. In 2D pattern, even ordered patterns can be surprisingly intricate when quasi-periodic patterns are included. The existence and stability of a 2D pattern with subcritical symmetrical tenfold patterns in a dissipative system described by partial differential equations were discussed by Frisch and Sonnino . This state was numerically shown to be stable even when the dynamics are not derived from a free energy functional. In addition, nonsymmetric, rhomboidal patterns were also seen to be stable for some parameter values. Later, both the rhomboidal patterns and resonant QPs resulting from the above interactions were observed experimentally by Arbell and Fineberg . An example rhombic lattice is shown in Fig. 38(a). The critical Fourier modes associated with the 21.8 deg superlattice pattern are indicated in Fig. 38(b). Figures 38(c) and 38(d) show 12-fold and 14-fold quasi-lattices, up to 11th-order and 7th-order, respectively .
Under two-frequency parametric excitation, Rucklidge  considered pattern formation in large domains with an attention to QPs, where the appearance of small divisors causes the standard theoretical method to fail. The symmetry-based approach developed by Tse et al.  was used by Rucklidge et al.  to analyze three observed spatial period-multiplying transitions from an initial hexagonal pattern. Three patterns are shown in Fig. 40, in which patterns (a) and (b) were both obtained using Dow–Corning silicone oil with viscosity of 47 cSt and layer depth of 0.35 cm, while pattern (c) was observed for a 23 cSt oil layer of depth of 0.155 cm. All three patterns were obtained with excitation containing two frequencies in the ratio . Pattern (a) was obtained under driving frequencies of 50 and 75 Hz, pattern (b) with frequencies of 70 and 105 Hz, and pattern (c) with 40 and 60 Hz. Typically, the secondary bifurcations were found to occur at forcing amplitudes between 10% and 50% larger than the critical acceleration for the primary hexagonal state.
Interacting surface waves, parametrically excited by two commensurate frequencies, were studied by Epstein and Fineberg [345–347] who showed that a variety of interesting superlattice type states are generated via a number of different three-wave resonant interactions. These states occur either as symmetry-breaking bifurcations of hexagonal patterns composed of a single unstable mode or via nonlinear interactions between the two different unstable modes generated by the two forcing frequencies. It was shown that this state results from the competition between two distinct nonlinear superlattice states, each with different characteristic temporal and spatial symmetries. It was demonstrated that the spatiotemporal disorder can be controlled. It was controlled to either its neighboring nonlinear states by the application of a small-amplitude excitation at a third frequency, where the spatial symmetry of the selected pattern is determined by the temporal symmetry of the third frequency. Furthermore, it was shown that all superlattice states generated by quadratic nonlinearities are grid states. Grid states are superlattices in which two correlated sets of critical wave-vectors are spanned by a sublattice whose basis states are linearly stable modes. The spatial resonances inherent in these states were found to increase their stability. The spatial and temporal structure of nonlinear states formed by parametrically excited waves on a fluid surface in a highly dissipative regime was studied by Epstein and Fineberg . Short-time dynamics reveal that three-wave interactions between different spatial modes are only observed when the modes' peak values occur simultaneously. The temporal structure of each mode was described by the Hill's equation.
Three- and Multifrequency Parametric Excitation.
Some differences were reported to exist between the two-frequency and three-frequency phase diagrams. For example, the region of stable hexagons becomes much smaller with the addition of the third frequency term. For two-frequency excitation, there is a large region of hexagons, but for three-frequency excitation, hexagons almost disappear. Another difference is that the 12-fold QP becomes the primary instability when the amplitude of the first component exceeds a certain value and most of the region corresponding to hexagons for two-frequency excitation converts to 12-fold QPs with the addition of the finite third component. Furthermore, the transition between ordered patterns and a disordered state was found to occur at lower driving amplitudes.
Nonlinear three-wave resonant interactions were recognized to play a key role in pattern selection in Faraday wave experiments and other situations where complex patterns are found . For example, some studies [213,214,217–219,236,238] used symmetry considerations to understand pattern selection in Faraday wave experiments with two-frequency forcing and three-wave resonant interactions in the context of weakly broken Hamiltonian structure. This approach was capable to explain several of the experimentally observed superlattice patterns and suggested ways of designing multifrequency forcing functions that could be used to control which patterns would emerge [218,236,238]. The approach was used to determine which additional frequencies to add to the excitation function in order to make observed patterns more robust [331,347,349]. The pattern selection process under multifrequency parametric excitation was considered by Rucklidge and Silber  who were able to predict which patterns would be found for different parameter values. They were able to predict the amplitudes and range of stability of the patterns.
In order to demonstrate the differences between surface patterns for two-frequency excitation (i.e., with ) near the bicritical point and those for three-frequency excitation, Ding and Umbanhowar  generated the phase plots for the two cases. For example, Figs. 42(a) and 42(b) show the phase plots for two-frequency excitations selected such that or . For the case , a region in parameter space well above onset where 12-fold QPs were observed. Figure 42(a) reveals that for hexagons and 12-fold QPs, the -excitation component is dominant and the surface waves oscillate at . It is also seen that for squares and square two-mode superlattice patterns (2MS) the -excitation frequency component is dominant. Dashed lines indicate the region where the higher acceleration resolution measurements were performed. With superlattice patterns were observed as shown in Fig. 42(b). For hexagons and superlattice patterns, the -excitation frequency component is dominant. By adding a small third-frequency component with correct phase to the excitation acceleration 33(b), both QPs and superlattice patterns appeared near onset. The stability of these patterns was found to be strongly influenced by the third frequency component . Figures 43(a) and 43(b) show the phase diagrams for two-frequency excitation and three-frequency excitation , respectively. For Fig. 43(b), the phase angle and , where is the critical acceleration for single frequency excitation at . The main differences between two- and three-frequency excitations are seen in the fact that the region of stable hexagons with the addition of the third frequency component was significantly diminished. The 12-fold QP becomes the primary instability for and most of the region corresponding to hexagons for two-frequency excitation is converted to the 12-fold QPs with the addition of the third frequency component. Another difference is observed in the transition between ordered patterns and disordered state at lower excitation amplitudes.
The evolution of patterns in large aspect ratio driven capillary wave experiments were described by Milner  who derived the amplitude equations including nonlinear damping terms. Above the excitation threshold amplitude, a reduction of the number of marginal modes yielded a simple form of the amplitude equations, which have a Lyapunov functional. This functional determines the wave number and symmetry (square) of the most stable uniform state. Frisch and Sonnino  studied the existence and stability of a 2D pattern with a tenfold orientational order in a dissipative system described by partial differential equations. The pattern was found to appear in a subcritical way and result from a superposition of two linearly unstable patterns with different wave numbers. Pattern selection phenomena in parametrically excited surface waves were studied by Umeki [351,352] for the case of weakly nonlinear system of three modes. The third-order coefficients of nonlinear interaction between two line patterns intersecting at an arbitrary angle were obtained in the gravity–capillary waves of arbitrary depth. Classification, stability analysis and bifurcation study of the fixed points of the dynamical equations with linear damping were performed in the cases of three symmetric linear modes and general modes. It was shown that squares are the most preferred pattern in capillary waves, while lines are selected in gravity waves. Two types of three-wave interactions were considered by Rucklidge et al. . The first is when two waves of the shorter wavelength interact with one wave of the longer, while the second type is when two waves of the longer wavelength interact with one wave of the shorter. The two types of three-wave interactions were found to provide an explanation of some of the Faraday wave phenomena in the experiments of Huepe et al. .
Numerical Simulation of Faraday Waves.
Numerical simulations of faraday wave patterns were considered for two- and 3D flow in rectangular and circular containers of large aspect ratios. Numerical algorithms, such as trapezoidal, second-order Adams–Bashforth, marker-and-cell, and finite-difference projection methods, were adopted in the literature. For example, Zhang and Viñals  presented a numerical simulation of parametrically driven surface waves in fluids of low viscosity based on the linear damping quasi-potential equations, which remain rotationally invariant. The equations governing fluid motion in the bulk and the appropriate boundary conditions at the free surface are approximated by a nonlocal set of equations involving surface coordinates alone. The numerical analysis was performed for large aspect ratio. They used the trapezoidal scheme for linear terms and a second-order Adams–Bashforth scheme (multiple step method) for nonlinear terms. The numerical simulations predicted stable patterns of square symmetry above onset in the capillary dominated regime. A sequence of patterns of lower symmetry were predicted in the vicinity of surface tension parameter, , where is a typical wave number, and is the fundamental natural frequency of the free surface, as the damping parameter is increased.
The dynamics of 2D standing periodic waves at the interface between two inviscid fluids with different densities, subject to monochromatic oscillations normal to the unperturbed interface, was numerically simulated under normal- and low-gravity conditions by Wright et al. [21,355]. The numerical simulation was based on boundary-integral method that is applicable when the density of one fluid is negligible compared to that of the other, and a vortex-sheet method that is applicable to the more general case of arbitrary densities. Viscous dissipation was simulated by means of a phenomenological damping coefficient added to the Bernoulli equation or to the evolution equation for the strength of the vortex sheet. A comparative study revealed that the boundary-integral method is generally more accurate for simulating the motion over an extended period of time, but the vortex-sheet formulation is significantly more efficient. Nonlinear effects for noninfinitesimal amplitudes were manifested at the extremes of the interfacial oscillation; growth of harmonic waves with wave numbers in the unstable regimes of the Mathieu stability diagram; and formation of complex interfacial structures including paired traveling waves.
Standing surface waves on a viscous fluid driven parametrically by a vertical harmonic oscillation were examined by Murakami and Chikano  based on direct numerical simulations of the 2D Navier–Stokes equation, together with appropriate boundary conditions. The condition for the onset of the waves in the experiments by Lioubashevski et al.  was reproduced using numerical simulation. The form of the surface elevation was analyzed and the dependence of the saturated amplitude on the forcing strength exhibited normal bifurcation. Murakami and Chikano  discussed the velocity fields of the 2D standing waves developed near the instability onset. Nonlinear wave dynamics in parametrically driven surface waves were studied in numerical simulations of the 2D Navier–Stokes equation by Chen . Modulating behavior of primary wave modes in a particular parameter range and in time scales much longer than the underlining wave periods was reported. Valha et al.  performed a numerical study to examine the behavior of a gas liquid interface in a vertical cylindrical vessel subjected to a sinusoidal vertical motion. The computational method was based on the simplified marker-and-cell method and includes a continuum surface model for the incorporation of surface tension. The numerical results indicated that the surface tension has very little effect on the period and amplitude of oscillations of the interfacial waves. The stability of the interfacial waves was found to depend on the initial pressure pulse disturbance, and exponential growth of the interfacial wave was predicted in some cases. The results were found in good agreement with available experimental and analytical solutions.
A numerical analysis of 2D Faraday waves was presented by Ubal et al.  based on direct numerical simulation of Navier–Stokes and continuity equations with appropriate boundary conditions. Stability maps on the excitation amplitude-wave number plane for viscous liquid layers with equilibrium depths between and were presented. The results were compared with those obtained by Benjamin and Ursell  for an inviscid fluid, and by Kumar and Tuckerman  for a viscous fluid. The results confirmed the previous findings obtained by linear stability analysis. In particular, stronger excitation forces are needed to produce unstable waves as the thickness of the film is reduced. The lower boundary of the unstable regions in the stability charts appeared to move toward higher wave number values.
The Faraday waves were examined numerically using some simplifications and reductions. For example, a set of simplified equations referred to as the coupled amplitude streaming flow equations were derived for the case of weakly nonlinear small viscosity flow by Martín et al.  and Higuera et al. . Two- and 3D Faraday waves were studied with periodic boundary conditions by O'Connor . The full Navier–Stokes equations were solved including the complex dynamics of the free-surface waves to gain a better understanding of the interplay between the viscous boundary layers, the nonlinear streaming flow, and the bulk flow. The formation of a square wave pattern was predicted and found in qualitative agreement with experiments of Kudrolli and Gollub . Nonlinear effects of standing waves in fixed and vertically excited tanks were numerically investigated by Frandsen and Borthwick . Numerical solutions of the governing nonlinear potential flow equations were obtained using a finite-difference time-stepping scheme on adaptively mapped grids. A horizontal linear mapping was applied, so that the resulting computational domain is rectangular, and consists of unit square cells. The small-amplitude free-surface predictions in the fixed and vertically excited tanks were in agreement with second-order small perturbation theory. For steep initial amplitudes, the predictions were found to differ considerably from the small perturbation theory solution, demonstrating the importance of nonlinear effects.
Périnet et al.  performed numerical simulations of Faraday waves in three-dimensions for two incompressible and immiscible viscous fluids. The Navier–Stokes equations were solved using a finite-difference projection method coupled with a front-tracking method for the interface between the two fluids. The critical accelerations and wave numbers, as well as the temporal behavior at onset were compared with the results of the linear Floquet analysis by Kumar and Tuckerman . The finite-amplitude results were found in agreement the experimental results of Kityk et al. . The detailed spatiotemporal spectrum of both square and hexagonal patterns was reproduced for excitation acceleration of , which is the acceleration used in the experimental investigation of Kityk et al. [326,364] for square patterns. Figures 45(a) and 45(b) represent examples of the patterns obtained at saturation and are taken from the same simulation at the two different instants. The symmetries characterizing the squares (reflections and π/2 rotation invariance) are clear, showing a first qualitative agreement with Kityk et al.  where both structures were observed. The pattern oscillates subharmonically, at 2 T, where T is the forcing period. Figure 45(a) is taken when the interface attains its maximum height, while Fig. 45(b) is taken at a time 0.24 × 2 T later. At this later time, the dominance of a higher wave number was observed.
A direct numerical simulation of Faraday waves was carried out by Périnet et al.  in a minimal hexagonal domain. They observed alternation of patterns referred to as quasi-hexagons and beaded stripes. Starting from zero velocity and an initial random perturbation of the flat interface, their numerical simulations produced a hexagonal pattern which oscillates subharmonically with the same spatiotemporal spectrum as reported by Kityk et al. . It was reported that hexagons are transient and difficult to be stabilized experimentally and are competing with squares and disordered states as indicated by Wagner et al.  and Kityk et al. . In their numerical simulations and after about ten subharmonic periods, Périnet et al.  predicted a drastic departure from hexagonal symmetry. A fully nonlinear numerical simulation of 2D Faraday waves between two incompressible and immiscible fluids was performed by Takagi and Matsumoto  who adopted the phase-field method developed originally by Jacqmin . In the nonlinear regime, qualitative comparison was made with an earlier vortex-sheet simulation of two-dimensional Faraday waves by Wright et al. .
The majority of Faraday wave studies have been carried out on traditional viscous and inviscid fluids under deterministic excitation. Nontraditional fluids, such as magnetic fluids, ferrofluids, and liquid crystals subjected to nontraditional sources of parametric excitation, including random excitation, have received the attention of few studies as will be demonstrated in Secs. 10 and 11.
Faraday Waves of Other Media
Nontraditional sources of parametric excitation include electrostatic forces and convective temperature gradient. The parametric response of the interface between two dielectric liquids under an alternating electrostatic force was studied in Refs. [369–373]. Their studies showed the stability of the interface required the applied voltage to be high enough to suppress surface tension effects and lower than a certain analytically determined critical value. For voltages greater than this critical value, Reynolds  indicated that the interface is unstable. The stability of the equilibrium was found to depend not only on the mean temperature gradient, as in Rayleigh's problem , but also on the amplitude and frequency modulation. The free-surface oscillations of a magnetic liquid were studied in Refs. [375–378]. The parametric excitation of weakly nonlinear surface waves in a magnetic fluid subject to a periodically oscillating magnetic field was examined by Pursi and Malik . Transverse homoclinic orbits leading to a chaotic transition were obtained together with necessary conditions for the existence of chaos. Reimann et al.  conducted a Faraday experiment with magnetic fluid in a direct current magnetic field driven externally by accelerative modulation. A pattern of standing twin peaks was observed whose origin was believed in the simultaneous excitation of two different wave numbers in the nonmonotonic regime of the dispersion relation.
Gershuni and Zhukhovitskii  discovered a parametric resonance called convective instability in a fluid body subject to a periodically varying temperature gradient. Later, Gershuni and Zhukhovitskii  found that the modulation of the vertical temperature gradient had the same influence as the modulation of the angular velocity of rotation of the fluid as a rigid body. The stability of the equilibrium was found to depend not only on the mean temperature gradient, as in Rayleigh's problem , but also on the amplitude and frequency modulation.
Dissipative patterns caused by spin-wave instabilities in insulating ferromagnetic films driven by out-of-plane parallel pumping were studied by Elmer . It was found that the only stable patterns are squares, hexagons, and quasi-periodic patterns based on three standing waves. Quantitative results strongly support the suggestion that these patterns should be experimentally observable by means of Faraday rotation. At the surface of a magnetic fluid, parametric waves can be excited by an alternating magnetic field, parallel to the surface. With this anisotropic system, Bacri et al.  observed a pattern transition from parallel rolls, perpendicular to the magnetic field, to a rectangular array of cross rolls. The free-surface waves of a magnetic fluid subjected to a normal magnetic field were examined experimentally by Browaeys et al. . The waves were generated by a small modulation at frequency of the vertical field. It was concluded that a linear and inviscid analysis is sufficient to fit well the experimental data, except in the vicinity of the critical field where a surface instability occurs. A linear stability analysis of the free surface of a horizontally unbounded ferrofluid layer of arbitrary depth subjected to vertical vibrations and a horizontal magnetic field was presented by Mekhonoshin and Lange . A nonmonotonic dependence of the stability threshold on the magnetic field was found at high frequencies of the vibrations. It was found that the magnetic field can be used to select the first unstable pattern of Faraday waves. In particular, a rhombic pattern as a superposition of two different oblique rolls can occur.
Another type of fluid medium known as ferrofluid has been the subject of some studies. A ferrofluid is a liquid which becomes strongly magnetized in the presence of a magnetic field. Ferrofluids are made of nanoscale ferromagnetic particles suspended in a carrier fluid (usually an organic solvent or water). Each tiny particle is thoroughly coated with a surfactant to inhibit clumping. A stability theory for the onset of parametrically driven surface waves of a ferrofluid was developed by Müller  who considered the effects of viscous dissipation and finite depth effects. It was shown that a careful choice of the filling level permits the normal and anomalous dispersion branches to be measured. Furthermore, it was demonstrated that the parametric driving mechanism may lead to a delay of the Rosensweig instability. When a paramagnetic fluid is subjected to a strong vertical magnetic field, the surface forms a regular pattern of peaks and valleys. This effect is known as the normal-field instability or Rosensweig instability. A bicritical situation can be achieved when Rosensweig and Faraday waves interact.
The singular surface electromagnetic waves are guided by a plane boundary of a chiroplasma half-space if chirality and plasma parameters are properly matched. They form a complete set of surface polaritons jointly with the Rayleigh surface waves and generalized surface waves [387,388] in the Voigt geometry. Fisanov and Marakasov  indicated that a parallel-plate waveguide supports under certain conditions singular propagating modes whose characteristics drastically depend on the type of the boundary conditions.
The nonlinear stability of magnetized standing waves on the plane interface separating two immiscible inviscid magnetic fluids in a cylindrical container in the presence of both a uniform magnetic field and a periodic acceleration normal to the free surface was studied by Elhefnawy . It was found that the modulation of the amplitudes and phases of the two-mode resonant waves are governed by a system of nonlinear first-order differential equations which in turn utilized to determine the steady-state solutions and consequently investigating their stability. It was concluded that the frequency-response curves exhibit the transcritical and Hopf bifurcations. The nonlinear evolution of the three-dimensional instability of standing surface waves along the interface of a weakly viscous, incompressible magnetic liquid within a rectangular basin was studied by Sirwah [391–393]. A combination of the Rosensweig instability with Faraday instability was developed, where the system is assumed to be stressed by a normal alternating magnetic field together with an external vertical oscillating force. The nonlinear equations of the complex amplitudes corresponding to the ideal fluid case were modified by adding the linear damping. It was shown that the liquid viscosity rather than the magnetic field affects the qualitative behavior of the wave motion and the system response alternates between the regular periodic and chaotic behavior depending on the specific values of some parameters.
Liquid crystals, such as smectic and nematic, are characterized by properties between those of conventional liquid and those of solid crystal. For instance, a liquid crystal may flow like a liquid, but its molecules may be oriented in a crystal-like way. One of the phases of liquid crystals is known as the thermotropic liquid crystals, which occur in a certain temperature range. Many thermotropic liquid crystals exhibit a variety of phases as temperature is changed. For instance, a particular type of liquid crystal molecule may exhibit various smectic and nematic phases as temperature is increased. The linear stability of Faraday waves on the surface of a smectic-A liquid crystal and polymer gel–vapor systems of finite-thicknesses was studied by Ovando-Vazquez et al. . For the case of highly viscoelastic gel media, it was found that there are co-existing surface modes of harmonic and subharmonic types that correspond to peaks in the plot of the critical acceleration as a function of wave frequency. Larger frequencies were found to lead to subsequent peaks of co-existing subharmonic waves. A quantitative theoretical linear analysis of the dependence of the forcing acceleration and wave number on the strength of the external excitation frequency for the Faraday instability in smectic-A (Sm-A) liquid crystals was presented by Hernández-Contreras . A layer of Sm-A under a constant horizontal magnetic field applied in the direction of the wave-vector that orients the molecules in a stack of lamellar layers perpendicular to the air–liquid interface was considered. Hernández-Contreras determined the dispersion relation and instability boundary in terms of acceleration-wave number of the surface waves in finite-thickness layers. Hernández-Contreras  found that Faraday waves develop in thin (0.1 mm and 0.05 m) smectic-A liquid crystal layers at low frequencies of external driving acceleration and in the long wavelength limit. For Sm-A under an external magnetic field, it was found that there are alternating subharmonic–harmonic branches with almost the same vanishing critical excitation acceleration as occurs in ideal inviscid fluids. An increase of the modulating frequency was found to make the subharmonic waves to preempt the harmonic ones with a lower threshold nonzero acceleration.
Time reversal of the excitation parameters has some consequences on the stability of a periodically driven dynamic system. In particular, the dissipative pattern-forming system of electrohydrodynamic convection of nematics driven by time-periodic external electric fields was studied by Heuer et al. . The dynamic model describing the linear stability at the beginning was represented by a set of two differential equations for the amplitudes of the dynamic variables. It was found that under time reversal of any periodic excitation function, the dynamic equations reproduce the same stability thresholds, pattern types, and critical pattern wavelengths. Nematic electrohydrodynamic convection under excitation with superimposed harmonic wave was studied by Pietschmann et al. . A time reversal of the excitation was found to have no effect on the threshold voltages and pattern wavelengths obtained in linear stability analysis. This symmetry with respect to time reversal of the excitation was found to break down close to the transition from the conduction regime to the dielectric regime. Later, Pietschmann et al.  demonstrated that the threshold parameters for the stability of the ground state are insensitive to a time inversion of the excitation function. The Faraday system was found to share this property with standard electroconvection in nematic liquid crystals. In general, time inversion of the excitation was found to affect the asymptotic stability of a parametrically excited system, even when it is described by linear ordinary differential equations. The pattern selection of the Faraday waves above threshold, on the other hand, discriminates between time-mirrored excitation functions.
The parametric instability in nematic liquid crystal layers was studied by Hernández-Contreras  using linear stability theory. The critical acceleration and wave number of the unstable stationary waves were found discontinuous at the nematic-isotropic transition temperature and conform to similar sharp changes experienced by the viscosity and surface tension as a function of temperature. Due to Marangoni flow, the curve of the critical acceleration as a function of excitation frequency was found to exhibit a minimum. If the Marangoni flow is neglected and the dynamical viscosity is increased, a monotonously increasing dependence of the acceleration in terms of oscillation frequency was observed. A bicritical instability was found to occur for a layer thickness of a few millimeters. A well-defined subharmonic wave was achieved when the thickness of the layer was further increased.
Random Excitation of Faraday Waves
Different sources of parametric excitations are encountered in different applications of liquid sloshing dynamics. For example, Bechhoefer and Johnson  considered a fluid container driven parametrically by a triangle waveform. Parametrically excited surface waves excited by a repeating sequence of N delta-function impulses, were studied by Catllá et al. . With impulsive forcing, the linear stability analysis may lead to an implicit equation for neutral stability boundaries. The familiar situation of alternating subharmonic and harmonic resonance tongues was found to emerge only if an asymmetry is introduced in the spacing between the impulses. By varying the spacing between the up and down impulses making up the -periodic forcing function for N = 2 impulses per period, it was found that the magnitude of the 1:2 spatiotemporal resonance effect depends dramatically on the corresponding asymmetry parameter, which measures deviation from equal spacing of the impulses. This resonance was found to occur for impulsive forcing even when harmonic resonance tongues are absent from the neutral stability curves. An experimental study of the parametric resonance and finite-amplitude parametric oscillations arising in a liquid-filled U-tube subject to alternating vertical excitation was presented by Briskman et al. . Two forms of oscillations in the liquid together with their corresponding ranges of unstable equilibrium with respect to small random perturbations were reported. The studies of random parametric sloshing have not yet reached the maturity stage as its counterpart of the deterministic studies. However, these studies have been carried out for the cases of external random parametric excitation in regular gravitational field and due to g-jitter field. The next two subsections will address both cases.
Random Excitation Under Regular Field.
Dalzell  conducted an experimental investigation to measure the spectral density of the liquid free surface elevation under narrow and wide-band random parametric excitations. Different tests were conducted at different values of excitation level ranging from 0.09 g to 0.18 g, root-mean-square (RMS). It was observed that such variation did not have significant influence on the response spectral density, implying a saturation feature. The liquid free surface amplitude spectral density revealed also another component at the excitation frequency. Another important feature was that the RMS acceleration level defining the beginning of the one-half-subharmonic response was not bracketed. This feature motivated Ibrahim and Heinrich  to conduct another experimental investigation, which revealed the occurrence of “on–off” intermittency.
where is the Euler constant = 0.577215665, , is the mean value of the fluid elevation, and is the RMS of the fluid elevation.
The last four terms in Eq. (37) represent quadratic (for symmetric modes) and cubic (for asymmetric modes) inertia nonlinearities. Equation (37) represents the nonlinear modeling of any mode and does not include nonlinear coupling with other sloshing modes. Ibrahim and Heinrich  observed the following regimes of liquid free surface state:
- (a)Zero free liquid surface motion is characterized by a delta-Dirac function of the response probability density function. The free surface is always flat because the liquid damping force prevents any motion of the liquid. The excitation level for the first antisymmetric and axisymmetric modes are given by the following ranges, respectively,(38a)(38b)
- (b)On–off intermittent motion of the free liquid surface. This intermittent motion takes place over the following ranges of excitation level for the two modes(39a)A corresponding regime, known as undeveloped sloshing was predicted by Ibrahim and Soundararajan . This regime was characterized differently by very small motion of the liquid free surface with an excitation level(39b)The spatiotemporal intermittency of liquid free surface under parametric excitation was later studied by Bosch and van de Water  and Bosch et al. .(40)
- (c)Partially developed random sloshing characterized by undeveloped sloshing where significant liquid-free surface motion occurs for a certain time-period and then ceases for another period. At higher excitation levels, the time-period of liquid motion exceeds the period of zero motion. The excitation levels of this regime for the two modes are, respectively(41a)(41b)
Heinrich  and Ibrahim and Heinrich  observed the development of circular motion of a central spike for the case of first symmetric mode excitation. Occasionally, the spike is displaced from the center of the tank and precesses in such a way that preserves the azimuth symmetry in a time-average sense. This motion was first reported by Gollub and Meyer  who studied the amplitude dependence on the precession frequency under harmonic parametric excitation.
Fully developed sloshing characterized by continuous random liquid motion for all excitation levels exceeding the previous regime. When the first symmetric sloshing mode is excited, higher sloshing modes are excited as well. This is why the bandwidth of the symmetric mode excitation was narrowed in the test. The same observation of the interaction with other modes was reported by Dalzell . With regard to the first antisymmetric mode, another nonlinear phenomenon was observed that is the rotational motion of the nodal diameter. It is known that such phenomenon is created due to the coupling of the modes about two orthogonal axes of the circular container.
Figures 46(a) and 46(b) show the dependence of mean and mean square responses of the first antisymmetric sloshing mode on the excitation spectral density level . The squares and crosses refer to the values as the excitation level increases then decreases, respectively. It is seen that the values of the mean and mean square responses remain zero up to a critical excitation level above which the free surface begins to lose stability. The intermittent sloshing region is included in the zero-response motion. Figure 47 shows the mean square response of the first axisymmetric sloshing mode. This figure demonstrates the intermittent region and another region where higher modes co-exist with that mode. Figures 48(a) and 48(b) show the measured probability density function of the first antisymmetric and axisymmetric sloshing modes for excitation levels and , respectively. The dashed curve represents the Gaussian probability density function. The diamond points refer to the measured probability density, while the solid curve is according to the double exponential proposed by Dalzell . It is seen that the double exponential curve gives a moderately good fit for most of the experimental results, except the region that is close to the mean value of the liquid elevation.