This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Instability of a dusty shear flow

Anu V. S. Nath\aff1    Anubhab Roy \aff1    M. Houssem Kasbaoui \aff2 \corresp [email protected] \aff1Department of Applied Mechanics and Biomedical Engineering, Indian Institute of Technology Madras, Chennai 600036, India \aff2School for Engineering of Matter, Transport and Energy, Arizona State University, Tempe, AZ 85281, USA
Abstract

We study the instability of a dusty simple shear flow where the dust particles are distributed non-uniformly. A simple shear flow is modally stable to infinitesimal perturbations. Also, a band of particles remains unaffected in the absence of any background flow. However, we demonstrate that the combined scenario – comprising a simple shear flow with a localised band of particles – can exhibit destabilisation due to their two-way interaction. The instability originates solely from the momentum feedback from the particle phase to the fluid phase. Eulerian-Lagrangian simulations are employed to illustrate the existence of this instability. Furthermore, the results are compared with a linear stability analysis of the system using an Eulerian-Eulerian model. Our findings indicate that the instability has an inviscid origin and is characterised by a critical wavelength below which it is not persistent. We have observed that increasing particle inertia dampens the unstable modes, whereas the strength of the instability increases with the strength of the coupling between the fluid and particle phases.

keywords:
Authors should not enter keywords on the manuscript, as these must be chosen by the author during the online submission process and will then be added during the typesetting process (see Keyword PDF for the full list). Other classifications will be added at the same time.

MSC Codes (Optional) Please enter your MSC Codes here

1 Introduction

Particle-laden flows are prevalent in various environmental, astrophysical, and industrial settings. In the environmental context, these flows play pivotal roles in shaping the landscape around us through sediment transport (burns2015sediment), influencing weather patterns via clouds (pruppacher1998microphysics; shaw2003particle), sea-spray (veron2015ocean), volcanic eruptions (bercovici2010two), and gravity currents (necker2005mixing). Astrophysical scenarios include particle-laden flows in cosmic dust clouds, stellar winds, and the transport of interstellar dust particles in accretion disks and proto-planetary disks, which are crucial for forming and evolving planetary systems (youdin2005streaming; fu2014effects; homann2016effect). In industrial and engineering applications, particle-laden flows arise in processes like spray drying (straatsma1999spray; birchal2006spray), powder handling (baxter2000simulation), and fluidized bed reactors (bi2000state). Particle-laden flows typically involve multiple components, with at least a carrier phase and a dispersed phase, leading to physics occurring at multiple scales. In natural scenarios, the carrier flows are often turbulent, and the suspended particles are advected and sheared by this turbulence. Modelling particle-laden flows within a sufficiently dilute limit often involves considering the momentum exchange from the fluid to the particles while neglecting feedback from particles to the fluid (one-way coupling). However, this feedback is significant, especially when the mass fraction of particles to fluid is on the order of unity (e.g., dusty gas flows or water droplets in the air), as it can introduce new dynamics into the system. In this study, we investigate a novel instability in a particle-laden simple shear flow arising from two-way coupling, where the feedback force from particles to fluid is considered.

The non-uniform distribution of particles, also known as particle segregation or particle banding, is observed in particle-laden flows across diverse engineering and environmental contexts. It can occur due to various segregation mechanisms such as preferential clustering, differential settling velocities, turbulent dispersion, and particle-particle interactions. For example, in turbulent flows, inertial particles can cluster preferentially in regions of high strain and lower vorticity, forming regions with high and low particle concentration (maxey1987gravitational; bec2005multifractal; fiabane2012clustering). This phenomenon can arise solely from one-way coupling, and no feedback force is required. In pneumatic conveying systems transporting granular materials, such as powders or grains, bands of particle-rich and particle-deficient regions can form (known as rope formation) due to agglomeration and flow dynamics (klinzing2011pneumatic; huber1994characterization; lain2013characterisation; zhang2023coarse). In turbulent wall-bounded flows carrying suspended particles, such as industrial pipelines transporting slurries, particle segregation can occur due to differential settling velocities, turbulent dispersion and thermophoresis. This segregation can lead to the formation of particle-rich layers near the bottom or walls of the flow channel, with particle-deficient regions in the core of the flow (marchioli2003direct; sardina2012wall; picano2009spatial). The particles form extremely long clusters, called ropes, and align preferentially with the low-speed turbulent streaks, contributing to their stabilization and suppression of bursting (dave2023mechanisms). Despite the additional stresses resulting from particles, the alteration of near-wall coherent structures results in a notable decrease in Reynolds shear stresses and partial relaminarization of the near-wall flow. Fluidized bed reactors used in chemical engineering often exhibit particle banding phenomena (harris1994solitons; liu2016cfd; gilbertson2001segregation). Observations of sediment-laden river flows and estuarine environments have revealed the formation of bands of sediment deposition influenced by flow dynamics, sediment transport mechanisms, coagulation and channel morphology (gibbs1986segregation; sondi1995sedimentation; ogami2015dynamic). These sediment bands play a crucial role in shaping riverbeds, deltas, and coastal environments.

In astrophysical accretion disks, such as those around young stars or black holes, there are regions where gas and dust particles orbit around a central object. The dust-gas system exhibits Keplerian motion, alongside radial and azimuthal drifts between the dust and gas. When the gas and dust move at slightly different velocities, this disparity can result in a relative drift between the two components. This relative motion creates a shearing force that can amplify small perturbations/disturbances in the dust distribution - known as streaming instability (youdin2005streaming; chiang2010forming). The name “streaming instability” reflects the differential streaming motion between gas and dust particles within the disk. The instability arises from the relative drift between the gas and dust phases, a universal consequence of radial pressure gradients. Growth occurs even though the two components interact only via dissipative drag forces. Streaming instability exhibits growth rates that are slower than dynamical time scales but faster than drift time scales. As a result, dust particles start clumping together, even without self-gravity, forming dense structures or bands. Thus, the dust particles can localise, leading to additional dynamics or instabilities due to the Keplerian shear (as we see in this paper) and self gravity. Thus, streaming instability is crucial in various astrophysical processes, including planetesimals’ formation and dust grains’ growth in protoplanetary disks.

The hydrodynamic stability characteristics of particle-laden flows can be altered by modifying existing instabilities or generating new types of instabilities, as one considers the feedback from particles. Early studies by kazakevich1958investigations; sproull1961viscosity observed a notable reduction in the resistance coefficient when dust was added to the air flowing turbulently through a pipe. It was thought that adding particles altering the effective viscosity led to this modification; however, this contradicts Einstein’s formula for the suspension viscosity. saffman1962stability was among the first to provide an analytical model for studying the stability of a dusty planar flow. He proposed that inertial particles extract energy from turbulent fluctuations, thereby damping them. He modelled both particle and fluid phases as a continuum using a two-fluid model. The momentum exchange between both phases is accounted for using a linear Stokes drag. The modal analysis ultimately resulted in a modified Orr-Sommerfeld equation for uniformly distributed particles. saffman1962stability deduced that finer particles with low inertia could induce destabilization due to a reduction in effective kinematic viscosity. Although the effect of particles on the viscosity of dusty gas is negligible, it effectively increases the gas density, thereby reducing the kinematic viscosity. Conversely, coarser particles with high inertia could lead to stabilization through dissipation by Stokes drag. He concluded that dust merely alters the waves present in a clean gas and may not introduce any additional instabilities. Subsequent studies have numerically solved the modified Orr-Sommerfeld equation for various base flows, confirming Saffman’s conclusions (michael1964stability; asmolov1998stability; tong1999two; klinkenberg2011modal; sozza2022instability). sozza2020drag; sozza2022instability investigated a dusty Kolmogorov flow and demonstrated that increasing the particle mass loading reduces the amplitude of the mean flow and turbulence intensity. They observed that turbulence suppression is more pronounced for particles with smaller inertia. The study concluded that while inertia significantly influences particle dynamics, its impact on flow properties is negligible compared to mass loading.

Notably, Saffman’s analysis does not account for gravitational effects. Including gravity can introduce buoyancy effects that may destabilize the flow more easily (herbolzheimer1983stability; shaqfeh1986effects; borhan1988sedimentation). For example, magnani2021inertial investigated dusty Rayleigh-Taylor turbulence and found that the interface between the two phases becomes unstable in the presence of gravity forces, evolving into a turbulent mixing layer that broadens over time. However, in a particle-laden Rayleigh–Bénard system (prakhar2021linear), it was observed that particles tend to inhibit the onset of natural convection, thereby stabilizing the system. This is because particles act as a distributed drag force and heat source in the fluid, similar to a porous medium. Saffman’s analysis, also, focusing solely on uniform particle distribution, overlooks the potential effects of non-uniform distributions. A study by narayanan2002temporal has demonstrated the presence of additional unstable modes under large Stokes numbers and high mass loading conditions in a particle-laden mixing layer where the particle distribution is localised. Additionally, investigations utilising non-uniform particle distributions have highlighted the emergence of novel instabilities (senatore2015effect; warrier2023stability).

The non-uniform distribution of inertial particles arises naturally in vortical flows due to their preferential accumulation. As noted earlier, it has long been recognized that inertial particles tend to be centrifuged from vortical regions and cluster in regions of high strain (maxey1987gravitational), a phenomenon known as preferential accumulation. A numerical investigation by shuai2022accelerated demonstrated that in a Lamb-Oseen vortex, inertial particles are expelled from the vortex core, forming a ring-shaped cluster and a void fraction bubble that expands outward. However, without accounting for the two-way interaction, the vortex would decay slowly due to viscous dissipation. When the two-way coupling is considered, it is observed that the feedback from clustered particles flattens the vorticity distribution and leads to an accelerated vortex decay. It is noted that as the inertia of the particles increases, the vorticity decays even more rapidly. A follow-up numerical study by shuai2022instability on a particle-laden Rankine vortex revealed that the system becomes unstable due to the two-way interaction, which is also validated by analytical linear stability analysis. The feedback force from the particles triggers a novel instability, which can cause the breakdown of an otherwise resilient vortical structure. In the context of the merging of a pair of co-rotating vortices laden with inertial particles, it has been shown that (shuai2024merger) the feedback force from particles significantly alters the monotonic merging behaviour as observed without feedback. The vortices push apart for a while due to a net repulsive force from particles ejected from the vortex cores, thus delaying their merging.

Apart from modal instability, the interplay between particle inertia and shear from the base flow can lead to transient growth of perturbations in particle-laden flows via non-modal growth mechanisms such as the Orr mechanism or the ‘lift-up’ effect. Performing a non-modal analysis, klinkenberg2011modal showed that transient growth in a particle-laden channel flow increases proportionally with the particle mass fraction. Similar non-modal instabilities have been observed and studied in dusty gas flows, such as the Blasius boundary layer with a localized dust layer (boronin2014modal), plane channel suspension flow with a Gaussian layer of particles (boronin2016nonmodal), and stably stratified Blasius boundary layer flow (parente2020modal). Additionally, the inclusion of gravitational effects in a simple shear flow has been shown to alter the uniformity of particle distribution, leading to the formation of local particle clusters and, subsequently, to transient growth (kasbaoui2015preferential).

The previously mentioned studies mostly used an Eulerian-Eulerian model for particle-laden flows. However, there are three primary methods for modelling particle-laden flows: (i) Eulerian-Eulerian modelling, (ii) Eulerian-Lagrangian modelling, and (iii) fully resolved simulations. The Eulerian-Eulerian method (see jackson2000dynamics; drew2006theory) treats both the particle and fluid phases as interpenetrating continua in an Eulerian framework, assuming particles are small (Δxdp\Delta x\gg d_{p}) and sufficiently densely distributed to be treated as a fluid continuum. While computationally more affordable, this method may introduce errors due to the difficulty of modelling terms in Eulerian-Eulerian methods that require closure. In contrast, the Eulerian-Lagrangian method treats the fluid phase as a continuum within an Eulerian framework while representing the particle phase as discrete entities tracked individually in a Lagrangian manner. Here, the fluid phase is solved at a coarser scale, typically with Δx\Delta x a few times larger than dpd_{p}, resulting in a scalable and cost-effective approach. However, empirical coupling between the particle and fluid phases introduces some approximation errors. Few studies that considered Eulerian-Lagrangian modelling and stability of particle-laden flows are meiburg2000vorticity; richter2013momentum; senatore2015effect; kasbaoui2015preferential; wang2019modulation; kasbaoui2019turbulence; pandey2019clustering; shuai2022instability. The fully resolved method, for example, realised by the immersed boundary method (see uhlmann2005immersed; breugem2012second; kempe2012improved; dave2023volume; Kasbaoui2024high-fidelity), is employed when the grid spacing Δx\Delta x is significantly smaller than the particle diameter dpd_{p}. While offering high accuracy, this method requires extensive resolution, making it costly and impractical for large-scale applications. Thus, in this study, we only employ the Eulerian-Lagrangian and Eulerian-Eulerian methods, the details of which are discussed respectively in §2.1 and §4.1.

Refer to caption
Figure 1: Schematic showing the configuration studied here: an unbounded simple shear flow (with a shear rate Γ>0\Gamma>0) passing over a band of particles. The particles of uniform size are randomly distributed within a band of width hh with equal probability, forming a top-hat distribution.

Here, we investigate the stability of a dusty simple shear flow with non-uniformly distributed particles. In the absence of particles, a simple shear flow is modally stable to infinitesimal perturbations. Similarly, a non-uniform particle distribution without any background flow remains unaffected. Thus, each system under consideration is linearly stable when inspected in isolation. However, when considering the combined system (see the schematic in figure 1), where a simple shear flow is superimposed on a band of particles, the background flow advects the particles, and the feedback from the particles induces an instability in the system. This paper reveals that this seemingly simple yet crucial particle-laden system exhibits a novel type of instability when incorporating two-way coupling. In §2, we demonstrate the presence of this novel instability through Eulerian-Lagrangian numerical simulations. The mechanism underlying the genesis of this new instability is described in §3. An analytical study of the system is carried out in §4 using an Eulerian-Eulerian framework. Following the approach of saffman1962stability, linear stability analysis is employed to establish the existence and modal nature of the instability. §5 offers a comparative analysis between the Eulerian-Lagrangian and Eulerian-Eulerian results. Finally, we conclude in §6.

2 Evidence of instability in a two-way coupled particle-laden shear flow

In this section, we present a novel instability occurring in a particle-laden simple shear flow. Along with the momentum transport from fluid to particle phase, we consider the feedback from the particle to fluid phase (two-way coupling), which is crucial for the instability to occur. We employ an Eulerian-Lagrangian (EL) method to illustrate this instability. Below, we describe the method used:

2.1 Eulerian-Lagrangian method

The Eulerian-Lagrangian (EL) simulations presented here are based on the volume-filtered (VF) formulation (anderson1967fluid; jackson2000dynamics; capecelatro2013euler). In the EL formulation, the fluid phase is treated in the Eulerian frame as a continuum, while the particle phase is treated in the Lagrangian frame, with discrete particles tracked individually.

The volume-filtered conservation equations govern the fluid (carrier) phase in the semi-dilute regime (low particle volume fraction) as {subeqnarray} u =0 ,
ρ_f  (∂u∂t+u∇u) = -p+μ_f  ∇^2u+F_p , where u is the fluid velocity, pp is the pressure, ρf\rho_{f} is the fluid density and μf\mu_{f} is the fluid viscosity. The term Fp\textbf{F}_{p} represents momentum exchange from particles (dispersed phase) to fluid. For a semi-dilute concentration of particles (ϕp1\phi_{p}\ll 1), Fp\textbf{F}_{p} can be expressed as

Fp=ϕp𝝉|p+ρpϕp(vu|p)τp,\textbf{F}_{p}=-\phi_{p}\,\left.\boldsymbol{\nabla}\cdot\boldsymbol{\tau}\right|_{p}+\rho_{p}\,\phi_{p}\,\frac{(\textbf{v}-\left.\textbf{u}\right|_{p})}{\tau_{p}}~{}, (1)

where, ρp\rho_{p} is the particle density, ϕp\phi_{p} represents the volume fraction of particles in the fluid medium, τp=ρpdp2/(18μf)\tau_{p}=\rho_{p}\,d_{p}^{2}/(18\,\mu_{f}) is the relaxation time scale of the particle to the fluid acceleration and dpd_{p} the particle diameter. The total fluid stress, denoted as 𝝉\boldsymbol{\tau}, is determined from the combination of pressure and viscous stresses as pI+μf(u+uT)-p\textbf{I}+\,\mu_{f}\,(\boldsymbol{\nabla}\textbf{u}+\boldsymbol{\nabla}\textbf{u}^{\textrm{T}}), where u\boldsymbol{\nabla}\textbf{u} represents the fluid velocity gradient, I is the identity matrix and ()T(\cdot)^{\textrm{T}} is the transpose operator. The Eulerian particle velocity, v, is computed from Lagrangian particle velocities using the equation (2). The notation ()|p\left.(\cdot)\right|_{p} specifies fluid properties evaluated at the locations of the particles. In equation (1), the first term represents the stress exerted by the undisturbed flow at the location of the particle. The next term accounts for stresses induced by the presence of particles, characterized by Stokes drag, for Rep1Re_{p}\ll 1, where RepRe_{p} is the Reynolds number based on particle size. The Stokes drag must be evaluated using the slip velocity between the particle and the undisturbed fluid. In situations where the density ratio (ρp/ρf\rho_{p}/\rho_{f}) is significantly higher (e.g., dusty gas flows, water droplets in the air), as in our study, Stokes drag dominates the momentum exchange.

The particles are tracked in a Lagrangian sense. Assuming point spherical particles in a Rep1Re_{p}\ll 1 flow regime, the dynamic equation for ith\textit{i}^{th} particle is given by maxey1983equation as

dvidt=1ρp𝝉|p+u|pviτp,withdxidt=vi,\frac{d\textbf{v}^{i}}{dt}=\frac{1}{\rho_{p}}\,\left.\boldsymbol{\nabla}\cdot\boldsymbol{\tau}\right|_{p}+\frac{\left.\textbf{u}\right|_{p}-\textbf{v}^{i}}{\tau_{p}}~{},\textrm{with}\,\quad\frac{d\textbf{x}^{i}}{dt}=\textbf{v}^{i}~{}, (2)

where, xi\textbf{x}^{i} and vi\textbf{v}^{i} are the position and velocity of the ith\textit{i}^{th} particle respectively. In this study, gravitational/sedimentation effects have been omitted to isolate and comprehend the distinctive impact of two-way coupling on instability. Also, we operate in the semi-dilute regime to avoid any potential particle-particle interactions such as collision. Also, as mentioned earlier, the density ratio (ρp/ρf\rho_{p}/\rho_{f}) is kept large, so the added mass effect and Basset history effect are negligible. To evaluate the momentum feedback from the particle phase to the fluid phase (Fp\textbf{F}_{p}), one needs to evaluate the instantaneous particle volume fraction and Eulerian particle velocity field. At a location r, these are obtained from the corresponding instantaneous Lagrangian quantities using {subeqnarray} ϕ_p(r) = ∑_i = 1^NV_p  g(∥r-x^i∥) ,
ϕ_p(r)   v(r) = ∑_i = 1^Nv^i V_p  g(∥r-x^i∥) , where Vp=πdp3/6V_{p}=\pi\,d_{p}^{3}/6 is the particle volume, gg represents a Gaussian filter kernel of size δf=3Δx\delta_{f}=3\,\Delta x, where Δx\Delta x is the grid spacing (capecelatro2013euler). In the VF method, the Gaussian kernel smooths out/regularizes the fluctuations in momentum feedback, thereby preventing any convergence issues during simulation. The VF model was recently applied by the authors successfully in particle-laden vortical flows (shuai2022accelerated; shuai2022instability; shuai2024merger). Readers interested in further details about the numerical approach may refer to them.

A scaling analysis of the drag force in equation (1) reveals the coupling strength of feedback force from particle phase to fluid phase is governed by the non-dimensional number M=ρpϕp/ρfM=\rho_{p}\,\langle\phi_{p}\rangle/\rho_{f} - the mass loading (or mass fraction), where ϕp\langle\phi_{p}\rangle is the average volume fraction of particles. If the particle field is dilute and the mass loading is negligible, the feedback force can be neglected, and the one-way coupled simulations can be used to describe the evolution of the particulate flow. However, when the density ratio (ρp/ρf\rho_{p}/\rho_{f}) is significant, as is the case here, the mass loading becomes O(1)\textit{O}(1), which leads to significant feedback to the fluid phase from the particle phase, even if the particle phase is dilute (kasbaoui2015preferential). As we will see in the upcoming sections, this feedback is the source of instability in the present study, as the system considered here is stable under one-way coupling.

2.2 Illustration of the instability

To demonstrate the instability resulting from two-way coupling, we investigate an unbounded simple shear flow combined with a band of particles distributed in a top-hat manner (refer to the schematic in Figure 1). The fluid properties include a density of ρf=1.0Kg  m3\rho_{f}=1.0\,\textrm{Kg\, m}^{-3}, viscosity of μf=7.9×105Kg  m1s1\mu_{f}=7.9\times 10^{-5}\,\textrm{Kg\, m}^{-1}\,\textrm{s}^{-1}, and a shear rate of Γ=102s1\Gamma=10^{-2}\,\textrm{s}^{-1}. The particles are mono-disperse with a diameter dp=377μmd_{p}=377\,\mu\textrm{m} and density ρp=1000Kg  m3\rho_{p}=1000\,\textrm{Kg\, m}^{-3}, distributed uniformly within a region |y|h/2\lvert y\rvert\leq h/2. The band width is h=0.5mh=0.5\,\textrm{m}, and the average volume fraction of particles within the band is ϕp=103\langle\phi_{p}\rangle=10^{-3}. In terms of nondimensional numbers, this corresponds to a density ratio of ρp/ρf=1000\rho_{p}/\rho_{f}=1000, Stokes number St=Γτp=103St=\Gamma\,\tau_{p}=10^{-3}, and mass loading M=(ρp/ρf)ϕp=1M=(\rho_{p}/\rho_{f})\,\langle\phi_{p}\rangle=1, which is significant. Here, τp=ρpdp2/(18μf)\tau_{p}=\rho_{p}\,d_{p}^{2}/(18\,\mu_{f}) is the particle relaxation time.

The numerical simulation is performed in a box of dimensions Lx×Ly×LzL_{x}\times L_{y}\times L_{z}, where Lx=4πhL_{x}=4\pi\,h, Ly=3LxL_{y}=3\,L_{x}, and Lz=3dpL_{z}=3\,d_{p}. To avoid unwanted diffusion effects, the Reynolds number based on the box width is thus set to ReLx=ΓLx2ρf/μf=5000Re_{L_{x}}=\Gamma\,L_{x}^{2}\rho_{f}/\mu_{f}=5000, and we focus on inviscid instability. The flow needs to be periodic in the xx direction and unbounded in the yy direction. To achieve this within the simulation box, we apply regular periodic boundary conditions at the left and right boundaries (in the xx direction) and shear-periodic boundary conditions at the top and bottom boundaries (in the yy direction), accounting for the background shear flow (see kasbaoui2017algorithm). By choosing a domain size that is three times larger in the yy direction, we ensure neighbouring periodic simulation boxes are well-separated and do not interfere with each other to influence the instability. We use the EL framework described above on a uniform Cartesian grid with resolution h/Δx42h/\Delta x\approx 42, Nx=512N_{x}=512, Ny=3NxN_{y}=3\,N_{x} and Nz=1N_{z}=1. Here, we perform pseudo-two-dimensional simulations by considering only one grid point in the axial (zz) direction with periodic boundary conditions applied over a thickness Δz=3dp\Delta z=3d_{p}. This allows the definition of volumetric quantities such as particle volume and volume fraction.

In addition to conducting two-way coupled simulations, we perform one-way coupled simulations, where the momentum exchange term (1) is neglected. The particles still evolve due to the momentum contribution from the fluid. However, the particles’ feedback to the fluid phase is deliberately switched off. This allows for comparison between one-way and two-way coupled simulations and showcases the impact of particle feedback on the flow dynamics.

Refer to caption
Figure 2: Isocontours of perturbation vorticity (q~z\tilde{q}_{z}) normalized with the maximum initial perturbation vorticity for two-way coupling (top panel) and one-way coupling (bottom panel), shown for various non-dimensional times Γt=0,0.1,1,2\Gamma\,t=0,0.1,1,2 and 33. The corresponding parameters are set to M=1M=1, St=103St=10^{-3}, ϵ=102\epsilon=10^{-2}, and ϕp=103\langle\phi_{p}\rangle=10^{-3}.
Refer to caption
Figure 3: Isocontours of the non-dimensional particle number density (ϕp/ϕp\phi_{p}/\langle\phi_{p}\rangle), corresponding to the simulation in figure 2, are depicted for various non-dimensional times Γt=0,2,6,15\Gamma\,t=0,2,6,15 and 2525. The longer duration illustrates the nonlinear evolution of instability in the two-way coupling case.

The fluid velocity field is initially superimposed with a two-dimensional incompressible perturbation of the form u~x=ϵΓhey2(y/2)sin4x\tilde{u}_{x}=\epsilon\,\Gamma\,h\,e^{-y^{2}}\,(y/2)\,\sin 4\,x, u~y=ϵΓhey2cos4x\tilde{u}_{y}=\epsilon\,\Gamma\,h\,e^{-y^{2}}\,\cos 4\,x, with perturbation amplitude ϵ=102\epsilon=10^{-2}. The corresponding perturbation vorticity field is shown in figure 2, at Γt=0\Gamma\,t=0. The initial velocity of the particles is set equal to the local fluid velocity.

The evolution of the vorticity perturbation q~z\tilde{q}_{z} normalised by its initial maximum value is presented in figure 2. Successive snapshots are provided for various non-dimensional times Γt=0,0.1,1,2\Gamma\,t=0,0.1,1,2, and 33. The snapshots are confined to a domain size of 2π×2π2\,\pi\times 2\,\pi for better visualisation, although the simulations employ a domain size of 2π×6π2\,\pi\times 6\,\pi, as mentioned earlier. In the case of one-way coupling (bottom panels), it is observed that the vorticity patches are sheared, tilted and stretched by the background flow, and the intensity of vorticity diminishes as time progresses. The downstream tilt of the vorticity perturbations and the related algebraic decay of associated perturbation energy by the Orr mechanism are described in detail in farrell1987developing; roy2014inviscid. The perturbed flow had a periodic behaviour with a wavenumber in the x-direction of k=4m1k=4\,\textrm{m}^{-1}, which remains unchanged as time advances. At later times, it can be seen that the perturbation field eventually decays.

Conversely, when considering two-way coupling (top panels), we observe significant evolution and amplification of the vorticity field. Initially, the perturbed mode with k=4m1k=4\,\textrm{m}^{-1} disappears, giving way to a new mode with k=1m1k=1\,\textrm{m}^{-1}. These newly emerged structures, likely unstable eigenmodes, persist, and their corresponding vorticity field intensifies over time. As the simulation progresses, nonlinear interactions between successive vorticity patches become more pronounced, eventually leading to a transition into a strongly nonlinear regime (not shown here).

Particle dispersion is also significantly affected when two-way coupling is considered. Figure 3 depicts the evolution of the particle volume fraction field scaled with the average initial volume fraction. When the particle feedback is neglected (bottom panels), the shear flow simply advects the particles. As the flow perturbations decay over time, they have minimal impact on particle transport, even after a significantly longer duration. Eventually, the disturbances die out, and the particle distribution resembles the initial band (see figure 3, bottom panel, at Γt=0\Gamma\,t=0 and 2525). In contrast, two-way coupling leads to growing flow perturbations, which in turn govern the dispersion of particles (top panels). Initially, the uniform particle band undergoes deformation due to flow disturbances characterized by a periodic mode of k=1m1k=1\,\textrm{m}^{-1}. As time progresses, the interplay between background shear flow and growing perturbations initiates nonlinear effects, resulting in particle clustering into lobes interconnected by a relatively slender filament, as can be seen in figure 3, top panel, at Γt=25\Gamma\,t=25.

The simulations shown in figures 2 and 3 suggest that semi-dilute inertial particles, distributed non-uniformly in an unbounded simple shear flow, can induce hydrodynamic instability. This instability cannot be solely attributed to hydrodynamics since the simple shear flow in a single-phase flow is stable to infinitesimal perturbations (see drazin2004hydrodynamic). Furthermore, it cannot be attributed to collisional effects, as the simulation neglected particle-particle interactions. Instead, the instability must arise from the two-way momentum exchange between the two phases, as confirmed by the absence of instability when the two-way coupling term is deactivated in the simulation. Previous studies have shown that uniformly distributed particles in a simple shear flow, even with two-way coupling, do not exhibit modal instability but can demonstrate only a non-modal instability if gravitational effects are considered (kasbaoui2015preferential). However, in this study, we observe the emergence of a new type of instability resulting from the interaction between the simple shear flow and a non-uniformly distributed particle field in the absence of gravitational settling. In the subsequent sections, we will demonstrate that this new type of instability is modal and explain its generation mechanism. The following section will provide a mechanistic explanation of the instability through wave interactions.

3 Mechanism of instability: A dusty Taylor-Caulfield instability

In the previous section, we observed that instability arises from the two-way coupling between the particle and fluid phases, driven by the finite inertia of the particles. Surprisingly, even weakly inertial particles (St=103St=10^{-3}) triggered the instability. In this section, we delve into the instability mechanism in the small particle inertia limit while still considering the particle-fluid coupling. We employ the concept of wave interaction to elucidate this instability mechanism. In the weak particle inertia limit, we will demonstrate that our particle-laden system resembles a stratified fluid system. The fluid exhibits an effective modified density, which is stratified due to the particle concentration gradient. This density stratification creates edge waves, and their interaction leads to instability, similar to the case of the Taylor-Caulfield instability (taylor1931effect; caulfield1994multiple; balmforth2012dynamics). However, there is a caveat: the wave generation mechanism differs slightly here, which we will address as we proceed.

In the limit of weak particle inertia, following ferry2001fast; rani2003evaluation, the feedback force Fp\textbf{F}_{p} in equation (1) for dusty-gas system can be approximated as Fp=ρpϕpa+O(τp)\textbf{F}_{p}=-\rho_{p}\,\phi_{p}\,\textbf{a}+\textit{O}(\tau_{p}), where a=(u/t+uu)\textbf{a}=\left(\partial\textbf{u}/\partial t+\textbf{u}\cdot\boldsymbol{\nabla}\textbf{u}\right) represents the fluid acceleration term. Substituting it back into equations (2.1b) yields a simplified form representing a fluid with modified density (in the inviscid limit) as

ρ(ut+uu)=p,\rho\,\left(\frac{\partial\textbf{u}}{\partial t}+\textbf{u}\cdot\boldsymbol{\nabla}\textbf{u}\right)=-\boldsymbol{\nabla}p~{}, (3)

where ρ=ρf+ρpϕp\rho=\rho_{f}+\rho_{p}\,\phi_{p} represents an effective fluid density due to the suspended particles. Thus, a spatial inhomogeneity in the particle concentration (ϕp\phi_{p}) can result in a variation in the effective density of this composite fluid even if ρf\rho_{f} is a constant. Additionally, the conservation of the number of particles yields

ρt+uρ=0.\frac{\partial\rho}{\partial t}+\textbf{u}\cdot\boldsymbol{\nabla}\rho=0~{}. (4)

Together, equations (2.1a), (3) and (4) resemble a stratified incompressible fluid system and is known as the single-fluid continuum model describing a particle-laden system. Taking the curl of equation (3) after scaling it with ρ\rho gives the evolution equation for the flow vorticity (q=×u\textbf{q}=\boldsymbol{\nabla}\times\textbf{u}) as (for a two-dimensional case)

(qt+uq)=a×ρρ,\left(\frac{\partial\textbf{q}}{\partial t}+\textbf{u}\cdot\boldsymbol{\nabla}\textbf{q}\right)=\textbf{a}\times\frac{\boldsymbol{\nabla}\rho}{\rho}~{}, (5)

where, we have used the relation between a and p\boldsymbol{\nabla}p from equation (3) here for further simplification. Equation (5) indicates that vorticity can arise in the system due to the misalignment between fluid acceleration and the gradient in particle concentration due to the baroclinic source term a×ρ\textbf{a}\times\boldsymbol{\nabla}\rho. In the subsequent paragraphs, we will demonstrate the precise way by which vorticity is generated and how it gives rise to propagating waves that can interact and lead to instability.

The base state flow may inherently possess a vorticity field. However, the additional vorticity disturbance created would be responsible for generating waves. To analyze this, we need to consider the evolution equation for the disturbance vorticity field. Without loss of generality, let’s consider a general two-dimensional system in the xxyy plane with uni-directional flow in the horizontal direction and vertically stratified particle distribution. We can decompose the relevant quantities into base state and disturbance (denoted by ()~\tilde{()}) parts as u=U(y)x^+u~(x,y)\textbf{u}=U(y)\,\hat{\textbf{x}}+\tilde{\textbf{u}}(x,y) and ρ=ρb(y)+ρ~(x,y)\rho=\rho_{b}(y)+\tilde{\rho}(x,y). The vorticity field q=qzz^\textbf{q}=q_{z}\,\hat{\textbf{z}} will be along the z^\hat{\textbf{z}} direction and can be decomposed as qz=Qz(y)+q~z(x,y)q_{z}=Q_{z}(y)+\tilde{q}_{z}(x,y), where the base state vorticity is Qz(y)=U(y)Q_{z}(y)=-U^{\prime}(y). Substituting these expressions into equation (5) and considering the leading disturbance terms, we obtain the linearized evolution equation for the disturbance vorticity field as

𝒟q~z𝒟t=ρbρb𝒟u~x𝒟t+(ρbU)ρbu~y,\frac{\mathcal{D}\tilde{q}_{z}}{\mathcal{D}t}=\frac{\rho_{b}^{\prime}}{\rho_{b}}\,\frac{\mathcal{D}\tilde{u}_{x}}{\mathcal{D}t}+\frac{(\rho_{b}\,U^{\prime})^{\prime}}{\rho_{b}}\,\tilde{u}_{y}~{}, (6)

where the operator 𝒟/𝒟t=/t+U(y)/x\mathcal{D}/\mathcal{D}t=\partial/\partial t+U(y)\,\partial/\partial x represents the linearized material derivative, and ()()^{\prime} represents the operation d/dyd/dy. Utilizing the relationship between the vertical displacement field η~\tilde{\eta} and the vertical velocity field u~y=𝒟η~/𝒟t\tilde{u}_{y}=\mathcal{D}\tilde{\eta}/\mathcal{D}t, we can rewrite equation (6) as

𝒟𝒟t(q~zu~xρbρbη~(ρbU)ρb)=0,\frac{\mathcal{D}}{\mathcal{D}t}\left(\tilde{q}_{z}-\tilde{u}_{x}\,\frac{\rho_{b}^{\prime}}{\rho_{b}}-\tilde{\eta}\,\frac{(\rho_{b}\,U^{\prime})^{\prime}}{\rho_{b}}\right)=0~{}, (7)

i.e., the quantity inside the bracket is materially conserved. In other words, the disturbance vorticity q~z\tilde{q}_{z} is related to the horizontal disturbance velocity u~x\tilde{u}_{x} and the vertical displacement η~\tilde{\eta} as

q~z=u~xρbρb+η~(ρbU)ρb+constant.\tilde{q}_{z}=\tilde{u}_{x}\,\frac{\rho_{b}^{\prime}}{\rho_{b}}+\tilde{\eta}\,\frac{(\rho_{b}\,U^{\prime})^{\prime}}{\rho_{b}}+\textrm{constant}~{}. (8)

Refer to caption

Figure 4: Schematic illustrating the background simple shear flow, density jumps at the two interface locations labelled I and II, and the corresponding interface disturbance fields. The initial interface displacement field (η~\tilde{\eta}) is depicted as a continuous sinusoidal curve, while its later stage is shown as a dashed curve, indicating its intrinsic propagation direction. The perturbation vorticity field (q~z\tilde{q}_{z}) and perturbation vertical velocity fields (u~y\tilde{u}_{y}) are also sinusoidal, with crests (troughs) represented by counter-clockwise (clockwise) and upward (downward) arrows, respectively.

The constant term represents a bulk vorticity in the background flow. Since we are primarily interested in the relative vorticity generation q~z\tilde{q}_{z} with respect to this bulk vorticity, we can set the constant term to zero without loss of generality. From this general formulation, let us consider our special case where the base state flow is a simple shear flow, i.e., U=ΓyU=\Gamma\,y, and the base state particle number density has a top-hat distribution. Without loss of generality, we assume Γ>0\Gamma>0. Since the particle concentration has sharp variations at locations y=h/2y=h/2 and y=h/2y=-h/2, the effective density ρ\rho of the fluid also varies sharply at these locations. The base state density ρb(y)\rho_{b}(y) takes a constant value ρ1=ρf\rho_{1}=\rho_{f} outside the particle band and ρ2=(ρf+ϕpρp)>ρ1\rho_{2}=(\rho_{f}+\langle\phi_{p}\rangle\,\rho_{p})>\rho_{1} within the particle band, as shown in schematic figure 4. These density jumps cause the locations of the jumps (y=±h/2y=\pm h/2) to act like interfaces separating different density fluids, marked as I and II in the figure 4. To begin with, we consider each of these interfaces in isolation and demonstrate that they support propagating waves due to disturbances.

Consider the interface-I at y=h/2y=h/2, where the effective density drops from ρ2\rho_{2} to ρ1\rho_{1} (as we move along the positive yy direction). As a result, ρb(y)=Δρδ(yh/2)<0\rho_{b}^{\prime}(y)=-\Delta\rho\,\delta(y-h/2)<0, where Δρ=(ρ2ρ1)>0\Delta\rho=(\rho_{2}-\rho_{1})>0 and δ()\delta(\cdot) represents a Dirac delta function. Let’s assume the interface is perturbed sinusoidally (η~\tilde{\eta}) as shown in the figure 4. From equation (8), we can deduce that a disturbance vorticity field is generated, given by q~z=(u~x+Γη~)ρb/ρb\tilde{q}_{z}=(\tilde{u}_{x}+\Gamma\,\tilde{\eta})\,\rho_{b}^{\prime}/\rho_{b}. Generally, the associated horizontal perturbation velocity u~x\tilde{u}_{x} will have a discontinuity at the interface, which changes sign once we cross the interface. Physically, for a wave to be supported at the interface, there can be no self-induced u~x\tilde{u}_{x} for a wave-like solution at the interface. Thus, u~x=0\tilde{u}_{x}=0 at the interface. Then the generated vorticity disturbance is directly proportional to the interface perturbation as q~z=Γη~ρb/ρb\tilde{q}_{z}=\Gamma\,\tilde{\eta}\,\rho_{b}^{\prime}/\rho_{b}. Since Γ>0\Gamma>0, ρb>0\rho_{b}>0, and as we saw earlier ρb<0\rho_{b}^{\prime}<0 at the interface-I, the generated vorticity disturbance will be out of phase with the interface displacement field. The maximum q~z\tilde{q}_{z} (counter-clockwise) occurs at the troughs of the η~\tilde{\eta} field, and the minimum q~z\tilde{q}_{z} (clockwise) occurs at the crests of the interface perturbation, as can be seen in the figure 4 (the crests and troughs of the generated vorticity disturbances are shown as circular arrows). Since the density gradient is localised at the interface, the resulting vorticity disturbance would also be localised at the interface as a Dirac delta function with sinusoidal variation in the flow direction. The generated disturbance vorticity field induces a vertical flow velocity field u~y\tilde{u}_{y}, which has a maximum at the positive sloping node and minimum at the negative sloping node of the η~\tilde{\eta}.The vertical velocity field lags behind the interface displacement by 9090^{\circ}. The crests and troughs of the u~y\tilde{u}_{y} field are represented as upward and downward vertical arrows in the figure 4. The 9090^{\circ} phase difference serves as the perfect criterion for the propagation of the interface displacement as a wave. Upon visual inspection of figure 4, one can intuitively deduce that the upward u~y\tilde{u}_{y} at the positively sloping η~\tilde{\eta} node and similarly the downward u~y\tilde{u}_{y} at the negatively sloping η~\tilde{\eta} node would result in an intrinsic propagation of the wave leftward relative to the base state flow at the interface location. Also, the 9090^{\circ} phase difference ensures that the wave would not experience any amplification or damping but only undergo propagation (see carpenter2011instability).

This is similar to the generation of a propagating edge wave in a background shear flow where there is a jump in vorticity/shear rate present (see valis2006atmospheric). A generalised edge wave in a stratified fluid, which has both jumps in shear rate (from Γ2\Gamma_{2} to Γ1\Gamma_{1}) and density (from ρ2\rho_{2} to ρ1\rho_{1}) across an interface, should have a phase speed cc of the form

c=Uinterface+(Γ1ρ1Γ2ρ2)k(ρ1+ρ2).c=U_{\textrm{interface}}+\frac{(\Gamma_{1}\,\rho_{1}-\Gamma_{2}\,\rho_{2})}{k\,(\rho_{1}+\rho_{2})}~{}. (9)

Here, we don’t have a jump in shear rate (i.e., Γ1=Γ2=Γ\Gamma_{1}=\Gamma_{2}=\Gamma), but only a jump in density. Thus, the resulting wave at the interface-I would propagate with a phase speed of cI=Γh/2ΓAt/kc_{\textrm{I}}=\Gamma\,h/2-\Gamma\,At/k, where kk is the spatial wavenumber in the xx direction of the disturbance, and we used the definition of the Atwood number At=(ρ2ρ1)/(ρ2+ρ1)At=(\rho_{2}-\rho_{1})/(\rho_{2}+\rho_{1}), a non-dimensional number which frequently appears in the instability of density stratified flows. In non-dimensional terms (as one chooses the length scale to be hh and the time scale to be Γ1\Gamma^{-1}), the phase speed is cI=cI/(Γh)=1/2At/kc_{\textrm{I}}^{*}=c_{\textrm{I}}/(\Gamma\,h)=1/2-At/k^{*}, or the dispersion relation cIk=k/2Atc_{\textrm{I}}^{*}\,k^{*}=k^{*}/2-At, which we will formally obtain as a large k=khk^{*}=k\,h (i.e., large separation hh) asymptotic expression of the dispersion relation of the full system in §4.2. Here, ()()^{*} represents non-dimensional quantities.

Similarly, another propagating wave would be generated at interface-II in isolation. At this interface, since the particle concentration varies such that ρb=Δρδ(y+h/2)>0\rho_{b}^{\prime}=\Delta\rho\,\delta(y+h/2)>0, the vorticity disturbance generated would be localised at the interface and in phase with η~\tilde{\eta}. As a result, the vertical velocity disturbance field thus produced would lead η~\tilde{\eta} by 9090^{\circ}, and thus, the intrinsic propagation of the wave would be rightward relative to the base state flow at the interface location, as shown in figure 4. The propagation speed would be cII=Γh/2+ΓAt/kc_{\textrm{II}}=-\Gamma\,h/2+\Gamma\,At/k or cII=1/2+At/kc_{\textrm{II}}^{*}=-1/2+At/k^{*}.

Now that we have established that there would be a leftward propagating wave at interface-I and a rightward propagating wave at interface-II when they are in isolation or equivalently when the interfaces are far separated (i.e., hh\rightarrow\infty or k1k^{*}\gg 1), let us consider the scenario as the separation hh between the interfaces is reduced. One can expect the interfacial waves to perceive other’s presence and interact as they come closer. This is because, although the interfacial vorticity fields are localised Dirac delta functions, the vertical velocity fields typically exhibit exponential decay (wave evanescence) away from the interface location (e.g., exp(k|yh/2|)\exp\left({-k\lvert y-h/2\rvert}\right) as we see in §4.2 as the eigenfunction associated with u~y\tilde{u}_{y}). As the waves approach each other, they could interact. Still, for modal instability to occur, two essential conditions must be satisfied (see carpenter2011instability): (i) the phase speeds of the waves should be stationary with respect to each other (‘phase-locking’) and (ii) the relative phase of the waves should lead to the mutual growth of the interface disturbances. As the interfaces approach each other, the individual wave speeds also approach one another and are expected to become equal (and equal to zero, i.e., cI=cII=0c_{\textrm{I}}=c_{\textrm{II}}=0) for kh=k=2Atk\,h=k^{*}=2\,At. However, along with this natural convergence, interactions play a role such that the waves become stationary relative to each other at a slightly larger separation (or non-dimensional wavenumber kcutoff>2Atk^{*}_{\textrm{cutoff}}>2\,At). The leftward propagating wave at interface-I can slow down the rightward propagating wave at interface-II and vice versa (for Γ>0\Gamma>0), thus achieving phase-locking at a larger separation. Once the phase-locking is achieved, it can be maintained even though the isolated phase speeds are generally unequal (except at k=2Atk^{*}=2\,At) due to mutual interaction. Adjustments in the phase difference between the waves maintain an induced phase speed that exactly cancels the intrinsic propagation speed. Therefore, condition (i) would be satisfied for 0<k<kcutoff0<k^{*}<k^{*}_{\textrm{cutoff}} through adjustments in the relative phase difference of the waves.

Similar to the propagation criterion, upon visual inspection of figure 4, one can deduce that an upward u~y\tilde{u}_{y} component at the crests of η~\tilde{\eta} and equivalently a downward u~y\tilde{u}_{y} component at the troughs of η~\tilde{\eta} will lead to the growth of the wave. As the isolated waves become phase-locked, the interaction occurs in such a way that the u~y\tilde{u}_{y} field of one wave at an interface and the η~\tilde{\eta} field of the other interface satisfy this criterion, and vice versa. Thus, by condition (ii), the phase-locked waves mutually trigger amplification and arrest propagation, leading to instability through wave interaction for any smaller separation of the interfaces (or non-dimensional wavenumbers in the range 0<k<kcutoff0<k^{*}<k^{*}_{\textrm{cutoff}}). This intricate interaction between the phase-locked waves is fundamental to understanding the mechanism behind the generation of modal instability in such dust-stratified fluid systems.

We will now address the earlier caveat, highlighting an important distinction from the classical Taylor-Caulfield instability. In the Taylor-Caulfield instability, interfacial waves are generated due to a Boussinesq-type baroclinic torque driven by buoyancy/gravity effects. This occurs in a system with an overall stable stratification (ρ1<ρ2<ρ3\rho_{1}<\rho_{2}<\rho_{3}), where ρ1\rho_{1} is at the top, ρ2\rho_{2} is at the middle and ρ3\rho_{3} is at the bottom layers. A pair of stable surface gravity waves are generated at each interface, separating these layers due to the Boussinesq baroclinic effects. One of them propagates leftward while the other propagates rightward; together, they interact to produce a stationary wave which is dampening at each interface. However, when the interfaces are brought closer, in a background shear flow (Γ>0\Gamma>0), the interaction between the leftward propagating wave at the upper interface and the rightward propagating wave at the lower interface leads to instability.

However, in our system, no gravitational/buoyancy effects are present. Therefore, no restoring mechanism could generate propagating waves from Boussinesq baroclinic effects. Instead, the oft-neglected non-Boussinesq baroclinic effects are responsible for wave generation, acting as a different type of restoring mechanism. The waves generated closely resemble edge waves or vorticity waves rather than surface gravity waves, as only one stable propagating wave is generated at each interface. Similar to the Taylor-Caulfield instability, instability in our system requires a leftward propagating wave at the top interface and a rightward propagating wave at the bottom interface (noting that this preference is due to Γ>0\Gamma>0 and would be reversed if Γ<0\Gamma<0). Thus, for instability to occur, ρ3\rho_{3} must be smaller than ρ2\rho_{2}, which we have assumed to be the same as ρ1\rho_{1}. However, if the system were configured with ρ3=ρ1>ρ2\rho_{3}=\rho_{1}>\rho_{2}, the direction of waves at each interface would be reversed. In such a scenario, the interaction would only amplify their propagation speed, suppressing phase-locking and avoiding any chance of instability. Similarly, if ρ3>ρ2>ρ1\rho_{3}>\rho_{2}>\rho_{1} (ρ3<ρ2<ρ1\rho_{3}<\rho_{2}<\rho_{1}), then there would be leftward (rightward) propagation of waves at both the interfaces, whose interaction also can not produce instability. With the evidence of instability from EL simulations and an explanation of the mechanism involving interacting edge waves, we now proceed towards a quantitative evaluation of the growth rate of the instability using a linear stability analysis.

4 Linear stability analysis (LSA)

In this section, we employ an analytical approach, complemented by numerical assistance, to investigate the system more formally, illustrating the existence and criteria and quantifying the growth rate of the instability. To achieve this, we incorporate a continuum description of the particle phase, outlined below.

4.1 Two-fluid model

We adopt the Eulerian-Eulerian description of particle-laden flow, as outlined by previous works such as (saffman1962stability; marble1970dynamics; druzhinin1995two; jackson2000dynamics; kasbaoui2015preferential). The dispersed phase, or particle phase, is characterized by a set of conservation equations inspired from the kinetic theory of gases, employing a mono-kinetic particle-velocity distribution function. According to the method, the particle phase is considered a continuum fluid of zero pressure, valid for very dilute suspensions. The mass and momentum conservation equations for the fluid and particle phases in the semi-dilute regime, expressed in non-dimensional form, are {subeqnarray} u =0 ,
∂n∂t+⋅(n  v) = 0 ,
u∂t+u∇u = -p+1Re  ∇^2u+M  n  (v-u)St ,
∂(n v)∂t+ ⋅(n  vv) = n  (u-v)St , where u represents the fluid velocity, v denotes the particle velocity, and n=ϕp/ϕpn=\phi_{p}/\langle\phi_{p}\rangle is the normalized particle number density, all depicted as fields. Here onwards, we drop ()()^{*} from non-dimensional quantities as we only deal with them unless specified otherwise. For non-dimensionalization, the length and time scales are set to the initial width of the particle band (hh) and the inverse shear rate (Γ1\Gamma^{-1}), respectively. The dimensional number density ϕp/Vp\phi_{p}/V_{p} is normalized by ϕp/Vp\langle\phi_{p}\rangle/V_{p} to obtain a non-dimensional measure for the particle concentration field denoted as n=ϕp/ϕpn=\phi_{p}/\langle\phi_{p}\rangle, where VpV_{p} represents the particle volume. The non-dimensional numbers include the Reynolds number (Re=Γh2/νRe=\Gamma\,h^{2}/\nu), which quantifies fluid inertia, and the Stokes number (St=ΓτpSt=\Gamma\,\tau_{p}), characterizing particle inertia. We have not accounted for particle interactions and inertial lift forces in our current formulation, although these effects could alter particle trajectories significantly. Both hydrodynamic and non-hydrodynamic interactions among dust particles can influence particle trajectories, affecting phenomena like coagulation and deposition (see patra2022collision and references therein). In this study, we focus on the highly dilute limit and neglect the role of any interactions. The non-zero slip velocity a particle has with its background local shear flow causes it to experience an inertial lift force, as derived by saffman1965lift for a simple shear flow scenario. The magnitude of the Saffman lift force depends on the particle Reynolds number based on the local shear rate. In our problem, this Reynolds number is small hence we disregard the effect of inertial lift.

4.1.1 Linearization and normal mode analysis of the inviscid equations

We disregard viscous effects in the analytical approach and focus solely on the inviscid scenario, where ReRe\rightarrow\infty, as we have seen that the mechanism of the instability is inherently inviscid. For stability analysis, we linearize the governing equations (4.1). The flow quantities are split into their base state, denoted by capital letters, and perturbation, denoted with a tilde, such as u=U+u~\textbf{u}=\textbf{U}+\tilde{\textbf{u}}, v=V+v~\textbf{v}=\textbf{V}+\tilde{\textbf{v}}, p=P+p~p=P+\tilde{p}, and n=N+n~n=N+\tilde{n}. We consider a two-dimensional stability analysis in the xxyy plane. A general base state of the form U=V=U(y)x^\textbf{U}=\textbf{V}=U(y)\,\hat{\textbf{x}}, and N=N(y)N=N(y) satisfies the governing equations (4.1). That is, it is assumed that there is no slip between the base state particle and fluid velocities. Perturbing the base state with two-dimensional infinitesimal disturbances of the form u~(x,y,t)\tilde{\textbf{u}}(x,y,t), v~(x,y,t)\tilde{\textbf{v}}(x,y,t), p~(x,y,t)\tilde{p}(x,y,t), and n~(x,y,t)\tilde{n}(x,y,t), we obtain the linearized version of the equations as {subeqnarray} ⋅~u = 0 ,
∂~n∂t + U  ∂~n∂x + ~v_y  d Nd y +N  ⋅~v = 0 ,
∂~u∂t + U  ∂~u∂x + ~u_y  d Ud y  ^x = -  ~p+M  N  (~v-~u)St ,
∂(N  ~v)∂t + U  ∂(N  ~v)∂x + N  ~v_y  d Ud y  ^x = N (~u-~v)St . Here u~=u~xx^+u~yy^\tilde{\textbf{u}}=\tilde{u}_{x}\,\hat{\textbf{x}}+\tilde{u}_{y}\,\hat{\textbf{y}} and v~=v~xx^+v~yy^\tilde{\textbf{v}}=\tilde{v}_{x}\,\hat{\textbf{x}}+\tilde{v}_{y}\,\hat{\textbf{y}}, where x^\hat{\textbf{x}} and y^\hat{\textbf{y}} are the unit vectors in xx and yy direction respectively. While it may appear that NN could be scaled out of all the terms in Equation (4.1.1d), it is retained because one must consider that in regions where there are no particles, N=0N=0, and v~=(Nv~)/N\tilde{\textbf{v}}=(N\,\tilde{\textbf{v}})/N cannot be defined in these empty regions. We use two-dimensional disturbances, following Squire’s theorem (squire1933stability), according to which the most unstable modes should be two-dimensional, which is valid for dusty flows as well (sozza2022instability). To solve the system, we utilize a standard approach of normal mode analysis. Since the linearized equations (4.1.1) are homogeneous in xx and tt, we assume a normal mode form for the solutions as {u~,v~,p~,n~}={u^,v^,p^,n^}(y)ei(kxωt)\left\{\tilde{\textbf{u}},\tilde{\textbf{v}},\tilde{p},\tilde{n}\right\}=\left\{\hat{\textbf{u}},\hat{\textbf{v}},\hat{p},\hat{n}\right\}(y)\,e^{i(k\,x-\omega\,t)}, to obtain the eigenvalue system, similar to one in saffman1962stability (see appendix A). Here kk is the non-dimensional wavenumber in the xx direction (scaled by hh) and ω\omega is the non-dimensional angular frequency (scaled by Γ\Gamma). The complex wave speed is defined as c=cR+icI=ω/kc=c_{R}+i\,c_{I}=\omega/k. For temporal stability analysis (real-valued kk), the real part (c)=cR\Re(c)=c_{R} determines the phase speed of the wave propagation, and the imaginary part (ω)=cIk=σ\Im(\omega)=c_{I}\,k=\sigma determines the growth rate. If (ω)<0\Im(\omega)<0, the mode is stable, while if (ω)>0\Im(\omega)>0, it is unstable. We need to solve the linear eigenvalue system equations (A), seeking the eigenvalues cc (or ω\omega) and eigenfunctions {u^x,u^y,p^,v^x,v^y,n^}\left\{\hat{u}_{x},\hat{u}_{y},\hat{p},\hat{v}_{x},\hat{v}_{y},\hat{n}\right\}, where u^=u^xx^+u^yy^\hat{\textbf{u}}=\hat{u}_{x}\,\hat{\textbf{x}}+\hat{u}_{y}\,\hat{\textbf{y}}, and v^=v^xx^+v^yy^\hat{\textbf{v}}=\hat{v}_{x}\,\hat{\textbf{x}}+\hat{v}_{y}\,\hat{\textbf{y}}.

Note that the particle velocity disturbance field influences the evolution of perturbation number density, although there is no feedback from number density perturbations to other quantities. To simplify the analysis, equations (4.1.1a,c & d) can be combined to obtain a single equation by eliminating variables u~x\tilde{u}_{x}, p~\tilde{p}, v~x\tilde{v}_{x}, and v~y\tilde{v}_{y}. Following the approach outlined by saffman1962stability; asmolov1998stability, this can be achieved in the modal space to obtain a simplified nonlinear eigenvalue system involving only two variables u^y\hat{u}_{y} and n^\hat{n} as {subeqnarray} [U  (D^2-k^2)-U”]^u_y+M  D[(U-c)  Λ  N’   ^u_y] = 0 ,
i  k  (U-c) Λ  ^n+D[N  Λ^2]   ^u_y=0 , where 𝒰=(Uc)(1+MNΛ)\mathcal{U}=(U-c)\,(1+M\,N\,\Lambda) denotes a modified base state velocity, and the damping factor Λ=(1+ikSt(Uc))1\Lambda=\left(1+i\,k\,St\,(U-c)\right)^{-1} describes the averaged frequency response of the particle phase to fluctuations in fluid velocity. We use D()D(\cdot) or ()(\cdot)^{\prime} to represent the differential operator ddy\frac{d}{dy}, where generally the former one is reserved for perturbation quantities and the latter one reserved for base state quantities. Equation (4.1.1a) represents a modified form of the Rayleigh equation in the context of instability of dusty rectilinear flows, which we will now refer to as the ‘dusty Rayleigh equation’ or DRE for short. Note that the compact form of equation (4.1.1a) may misdirect the reader that the curvature of the number density field (i.e., N′′N^{\prime\prime}) plays a role in the instability. However, the terms containing N′′N^{\prime\prime} exactly cancel out and do not have any role, which will be apparent from the form given in equation (Aa). A derivation of the equations (4.1.1) can be found in appendix A. These equations differ from those in saffman1962stability in that the latter considers a uniform base state number density field, leading to the absence of terms containing gradients of particle concentration. Additionally, they consider a viscous case with finite Reynolds number effects. However, we consider an inviscid scenario and non-uniform particle distribution, resulting in DRE (4.1.1a) instead of the modified Orr-Sommerfeld equation obtained by saffman1962stability.

4.2 LSA for inertialess (St=0St=0) particles and the dusty Rayleigh criterion

In this section, we show that the instability is present even in the vanishing particle inertia limit, so the origin of the instability is attributed to the mass loading, which quantifies the two-way coupling. In the inertialess limit, i.e. St=0St=0, the damping factor is Λ=1\Lambda=1, and the modified velocity becomes a linear mapping of the actual base flow as 𝒰=(Uc)(1+MN)\mathcal{U}=(U-c)\,(1+M\,N). Thus equations (4.1.1) can be reduced to

ρ[(Uc)(D2k2)U′′]u^y+ρ[(Uc)DU]u^y=0,\displaystyle\rho\left[(U-c)\,(D^{2}-k^{2})-U^{\prime\prime}\right]\hat{u}_{y}+\rho^{\prime}\,\left[(U-c)\,D-U^{\prime}\right]\hat{u}_{y}=0~{}, (10a)
ik(Uc)n^+Nu^y=0,\displaystyle i\,k\,(U-c)\,\hat{n}+N^{\prime}\,\hat{u}_{y}=0~{}, (10b)

where, we denote ρ:=1+MN\rho:=1+M\,N. The term ρ\rho is the equivalent of a variable density, where its variation contributes to the inertial term, leading to the generation of non-Boussinesq baroclinic vorticity. Moreover, the same equations (10) can also be derived from linearization and normal-mode analysis of the single-fluid model (see ferry2001fast; rani2003evaluation), as in the limit of St0St\rightarrow 0, the two-fluid model reduces to a stratified incompressible fluid system as we have seen in §3.
The dusty Rayleigh criterion: The classic Rayleigh equation results in a necessary criterion for instability known as the inflection point theorem, which states that the base state velocity profile should exhibit an inflection point within the domain, meaning that the quantity U′′U^{\prime\prime} should change sign somewhere within the flow domain. The equivalent criterion in the context of the equation (10a) is that the quantity Σ=D[ρU]\Sigma=D[\rho\,U^{\prime}] should change sign within the flow domain. We have already seen the same term Σ\Sigma in the equation (8), which generates vorticity disturbances and, thus, instability. A derivation of the modified Rayleigh criterion/dusty Rayleigh criterion can be found in Appendix B. An equivalent statement for piecewise linear base state profiles is that the two interfaces must exhibit opposite-signed jumps in (ρU)(\rho\,U^{\prime}) across them.

We investigate the stability of a particle-laden simple shear flow, corresponding to the EL simulation in §2.2, where an unbounded simple shear flow interacts with particles localized within a band, as illustrated in figure 1. The respective non-dimensional form of the linear base state velocity profile is U=yU=y, and the piecewise constant top-hat number density profile is

N(y)={1,if 12y12,0,otherwise,N(y)=\begin{cases}1,&\textrm{if }-\frac{1}{2}\leq y\leq\frac{1}{2},\\ 0,&\textrm{otherwise},\end{cases} (11)

where, as mentioned earlier, the inverse shear rate (Γ1\Gamma^{-1}) is used as the time scale, and the width of the band (hh) is used as the length scale. In our case of a simple shear flow, the DRE stated above simplifies to a sign change for NN^{\prime} in the flow domain, i.e., the gradient of the base state number density profile must exhibit a sign reversal for instability. In another sense, for the piecewise profile in equation (11), the instability criterion requires opposite-signed jumps in ρU\rho\,U^{\prime} (or NN here) at the interfaces y=±1/2y=\pm 1/2, which is satisfied here. While the number density profile N(y)N(y) defined in equation (11) is discontinuous, its form supports sharp gradients at the locations y=±1/2y=\pm 1/2, across which the sign flip occurs. It may be easier to visualize this sign flip if we smooth the number density profile, as we will see in equation (15) and figure 7. Overall, the base state meets the essential conditions for instability. However, instability is only assured once explicitly proven, as the dusty Rayleigh criterion serves as a necessary condition rather than a sufficient one. This section aims to analytically establish the presence of instability and pinpoint the parameter ranges where it manifests.

For the linear velocity profile and top-hat number density profile, the stability equations (10a) reduce to (D2k2)u^y=0(D^{2}-k^{2})\hat{u}_{y}=0, for all yy values except at the two locations where the number density profile has a discontinuity, i.e. at the interfaces y=±1/2y=\pm 1/2. The solution to this equation can be obtained analytically and is expressed piecewise for each layer as

u^y={A1eky,y>1/2A3eky+A4eky,|y|<1/2A2eky,y<1/2\hat{u}_{y}=\begin{cases}A_{1}\,e^{-k\,y}~{},&y>1/2\\ A_{3}\,e^{ky}+A_{4}\,e^{-k\,y}~{},&\lvert y\rvert<1/2\\ A_{2}\,e^{k\,y}~{},&y<-1/2\end{cases} (12)

where the unknown constants A1A_{1} to A4A_{4} need to be obtained from appropriate boundary conditions. Note that the decaying boundary condition for u^y\hat{u}_{y} at far-field is already accounted for in the solution, i.e. u^y(y±)=0\hat{u}_{y}(y\rightarrow\pm\infty)=0, assuming k>0k>0. The kinematic criterion requires the continuity of u^y\hat{u}_{y} across the interfaces, ensuring the continuity of interface displacements (η^\hat{\eta}), as they are related through ik(Uc)η^=u^yi\,k\,(U-c)\,\hat{\eta}=\hat{u}_{y}. Additionally, integrating equation (10a) across the discontinuous interfaces provides corresponding dynamic conditions. For detailed derivation, see the appendix C. Together, these conditions yield a system of four equations involving the unknowns A1A_{1} to A4A_{4} and cc, as

[10ek1011ekα10α2ekα20α3α4α4ek][A1A2A3A4]=[0000],\begin{bmatrix}1&0&-e^{k}&-1\\ 0&1&-1&-e^{k}\\ \alpha_{1}&0&\alpha_{2}\,e^{k}&-\alpha_{2}\\ 0&\alpha_{3}&-\alpha_{4}&\alpha_{4}\,e^{k}\end{bmatrix}\,\begin{bmatrix}A_{1}\\ A_{2}\\ A_{3}\\ A_{4}\end{bmatrix}=\begin{bmatrix}0\\ 0\\ 0\\ 0\end{bmatrix}~{}, (13)

where α1=k(1/2c)M\alpha_{1}=k\,\left(1/2-c\right)-M, α2=k(1/2c)(1+M)\alpha_{2}=k\,\left(1/2-c\right)\,(1+M), α3=k(1/2+c)M\alpha_{3}=k\,\left(1/2+c\right)-M and α4=k(1/2+c)(1+M)\alpha_{4}=k\,\left(1/2+c\right)\,(1+M). For a nontrivial solution to the system of equations (13), the determinant of the coefficient matrix must be zero, leading to the dispersion relation as

c=±12k(k2At)2At2(2+k)2e2k1At2e2k,c=\pm\,\frac{1}{2\,k}\,\sqrt{\frac{(k-2\,At)^{2}-At^{2}\,(2+k)^{2}\,e^{-2\,k}}{1-At^{2}\,e^{-2\,k}}}~{}, (14)

where the Atwood number (At=(ρmaxρmin)/(ρmax+ρmin)At=(\rho_{\text{max}}-\rho_{\text{min}})/(\rho_{\text{max}}+\rho_{\text{min}})) is related to the mass loading as At=M/(M+2)At=M/(M+2). Note that the eigenvalues cc appear in pairs, especially when (c)0\Im(c)\neq 0, they manifest as complex conjugates. Therefore, for instability to occur, (c)\Im(c) should not be zero. Equation (14) indicates the presence of a cut-off wavenumber (kcutoffk_{\textrm{cutoff}}), below which only the instability can occur, i.e., long-wave instabilities. This critical wavenumber can be determined as the solution of the transcendental equation M(2k+(2+k)ek)2k=0M\left(2-k+(2+k)\,e^{-k}\right)-2\,k=0. The variation of kcutoffk_{\textrm{cutoff}} with AtAt is shown in the figure 5(a). For instance, for a mass loading of M=1(orAt=1/3)M=1\,(\textrm{or}\,At=1/3), the critical wavenumber can be obtained as kcutoff1.028k_{\textrm{cutoff}}\approx 1.028. The resulting unstable modes are stationary since the corresponding (c)=0\Re(c)=0. Conversely, the modes are neutrally stable propagating waves for shorter wavelengths, i.e. when k>kcutoffk>k_{\textrm{cutoff}}. In the limit of small kk values, instability is always present but with a lower growth rate, as evidenced by the scaling ω±ikAt/(1+At)\omega\sim\pm i\,\sqrt{k}\,\sqrt{At/(1+At)}.

Refer to caption


Figure 5: (a) The variation of the cut-off wavenumber kcutoffk_{\textrm{cutoff}}, at which the instability disappears, and the optimum wavenumber kmaxk_{\textrm{max}}, at which the maximum growth occurs, are plotted against the Atwood number for a top-hat number density profile. (b) The variation of the maximum growth rate σmax\sigma_{\textrm{max}}, corresponding to kmaxk_{\textrm{max}}, with AtAt is shown for the same number density profile.

Refer to caption

Figure 6: Dispersion relation for the St=0St=0 case, for two different mass loadings (M=1M=1 - orange and M=2M=2 - blue), obtained analytically (for a top-hat number density profile) and numerically (for two different smooth number density profiles: m=1m=1 and m=4m=4): (a) Growth rate σ\sigma (imaginary part of ω\omega) versus kk, (b) Real part of ω\omega versus kk.

Upon substituting the solution for cc in equation (14) back into equation (13), the amplitudes A1A_{1} to A4A_{4} can be determined, as detailed in appendix C. The dispersion relation (14) is plotted in figure 6, using continuous lines, for two different mass loading values. It can be observed from figure 6(a) that, for k<kcutoffk<k_{\textrm{cutoff}}, the growth rate of the modes increases until reaching a maximum and then decreases for any given mass loading. Consequently, an optimal wavenumber (kmaxk_{\textrm{max}}) exists at which the maximum growth (σmax\sigma_{\textrm{max}}) occurs. This optimal wavenumber can be obtained by solving the transcendental equation e2k(k2At)+2At2(1+2At)(1At+k)+e2kAt4(2+k)=0e^{2\,k}\,(k-2\,At)+2\,At^{2}\,(1+2\,At)\,(1-At+k)+e^{-2\,k}\,At^{4}\,(2+k)=0, derived from equation (14) using the optimization criteria d(ck)/dk=0d(c\,k)/dk=0. Figure 5(a) displays the variation of kmaxk_{\textrm{max}} with AtAt while figure 5(b) shows the variation of σmax\sigma_{\textrm{max}} with AtAt. For instance, for M=1(orAt=1/3)M=1\,(\textrm{or}\,At=1/3), the non-dimensional wavenumber corresponding to the maximum growth rate is kmax0.504k_{\textrm{max}}\approx 0.504, and the maximum growth rate is σmax=kmax(c(kmax))0.244\sigma_{\textrm{max}}=k_{\textrm{max}}\,\Im(c(k_{\textrm{max}}))\approx 0.244.

From figure 6(b), it is evident that for k>kcutoffk>k_{\textrm{cutoff}}, the waves propagate in opposite directions and attain a speed of ω±(k/2At)\omega\sim\pm(k/2-At) as kk\rightarrow\infty (shown as asymptotes in the figure for M=1M=1 in grey colour). This implies that the waves propagate without any interaction, as they are well separated by the distinct interfaces on which they exist. As we discussed the instability mechanism in §3, we obtained the same dispersion relation earlier for isolated waves at the interface. The natural phase speed matching of the isolated left and right propagating waves occurs at k=2Atk=2\,At, as indicated by the crossing of these asymptotic lines in the dispersion curve. However, in practice, this matching occurs at kcutoff>2Atk_{\textrm{cutoff}}>2\,At due to their interaction, as seen from the figure.

Refer to caption

Figure 7: (a) The smooth base state number density profile corresponds to the generalized Gaussian for various smoothness parameters mm. (b) The corresponding parameter Σ\Sigma (scaled with mass loading MM) in the background simple shear flow, which determines the stability, is plotted in the flow domain.

For the linear velocity profile and the top-hat number density profile, equation (10b) simplifies to (yc)n^=0(y-c)\,\hat{n}=0 everywhere except at the interfaces y=±1/2y=\pm 1/2. For the discrete modes (which corresponds to ycy\neq c), this equation yields n^=0\hat{n}=0 everywhere except at the interfaces. Considering the interface discontinuity and conservation of the total number of particles, one finds n^𝑑y=0\int_{-\infty}^{\infty}\hat{n}\,dy=0, which implies n^δ(y1/2)δ(y+1/2)\hat{n}\propto\delta(y-1/2)-\delta(y+1/2).

To verify the analytical results, we numerically solved the linear eigenvalue differential equation (10a) using a standard Chebyshev spectral collocation method. To avoid issues arising from the discontinuity of the base state number density profile, we employed a smooth generalized Gaussian profile for the number density

N(y)=exp{(yy)2m},withmN(y)=\exp\left\{-\left(\frac{y}{y^{*}}\,\right)^{2\,m}\right\},\quad\textrm{with}\,\,\,m\in\mathbb{N} (15)

where, y=(2Γ(1+1/(2m)))1y^{*}=\left(2\,\Gamma\left(1+1/(2\,m)\right)\right)^{-1}, ensuring that the normalization yields N(y)𝑑y=1\int_{-\infty}^{\infty}N(y)\,dy=1. Here, Γ()\Gamma(\cdot) denotes the Gamma function, and mm is the smoothness parameter. The number density profile exhibits maximum smoothness for small integer values of mm, whereas for larger values of mm, it develops sharp variations. As mm tends to infinity, the profile approaches the singular top-hat profile described in equation (11), as ensured by the normalisation. The plots in figure 7 depicts the variation of the smooth base state number density profile and the corresponding stability-determining quantity Σ\Sigma for various smoothness parameters mm within the flow domain. The Chebyshev collocation points ranging from y[1,1]y\in[-1,1] are transformed to y[R,R]y\in[-R,R], where RR is chosen to be sufficiently large to mimic infinity. To enhance the efficiency of the numerical method by capturing the sharp variations near the interfaces more effectively, we use the transformation as in govindarajan2004effect, which ensures that more collocation points are clustered near y=0y=0. Since the base state profiles are now smooth, there is no need to apply interface conditions. Instead, only the far-field decay of the eigenfunctions needs to be enforced.

Figure 6 illustrates the corresponding dispersion relation obtained for two different smooth profiles corresponding to the smoothness parameter m=1m=1 (Gaussian) and m=4m=4, depicted using dotted and dashed lines, respectively. Figure 6(a) shows that the smooth variation in the number density profile also causes instability. The trend of the dispersion curves remains the same, with a maximum growth rate at some optimum wavenumber. However, the symmetry of the curve before and after this wavenumber is compromised for smooth profiles. Also, the cut-off wavenumber kcutoffk_{\textrm{cutoff}} at which the instability ceases to exist differs as the index mm changes. Note that, for the largest value of m=4m=4, the numerical results compare well with the analytical results, with a better match expected for larger values of mm.

Figure 6(b) displays the variation of (ω)\Re(\omega) with kk, indicating the emergence of counterpropagating edge waves once the system is in the stable regime. The curves displayed are only for the analytical dispersion relation obtained for a top-hat number density profile. For smooth number density profiles, stable discrete modes are absent. The spectrum is purely continuous. The smooth variation of NN^{\prime} in this case, as opposed to the zero NN^{\prime} for a top-hat profile everywhere except the jump location, results in a logarithmic branch point at the critical layer (y=cy=c), as in the case of the continuous spectrum of inhomogeneous shear flows (balmforth1995singular). The vorticity continuous spectrum eigenfunctions would be a combination of a delta-function singularity and a non-local Cauchy principal-value singularity (see van1955theory; case1959plasma). However, the mechanistic picture of the interaction between edge waves offered earlier would persist despite the absence of discrete modes in the stable regime for smooth profiles. Interestingly, for smooth profiles with sufficiently “steep” transition regions (m1m\gg 1), a wave packet comprised of the continuous spectrum modes camouflages as a discrete mode known as a quasimode or a Landau pole (schecter2000inviscid). The quasimodes at each transition region can then interact and lead to instability, as seen previously in the computed growth rates for the smooth number density profile cases.

4.3 Effect finite particle inertia (St0St\neq 0)

For any finite StSt, one must solve the equations (4.1.1) for simple shear flow (U=yU=y). However, it is an analytically cumbersome task even for the top-hat number density profile in equation (11). The modified velocity 𝒰\mathcal{U} and the damping factor Λ\Lambda make this complication. As detailed in the appendix D, a small StSt perturbation analysis can be performed to obtain asymptotic solutions. However, solving the equivalent linear eigenvalue system of equations (A) numerically for a smooth number density profile would be more feasible. After eliminating u^x\hat{u}_{x} and p^\hat{p} from equations (Aa,c & d), the system can be reduced to the following form

[l1MkStl2ik2MNSt0ikStDl3U01St0l300ikNl2ikU][u^yv^xv^yn^]=ω[(D2k2)0000i0000i0000i][u^yv^xv^yn^],\begin{bmatrix}l_{1}&\frac{M\,k}{St}\,l_{2}&-\frac{i\,k^{2}\,M\,N}{St}&0\\ -\frac{i}{k\,St}\,D&l_{3}&U^{\prime}&0\\ -\frac{1}{St}&0&l_{3}&0\\ 0&i\,k\,N&l_{2}&i\,k\,U\end{bmatrix}\,\begin{bmatrix}\hat{u}_{y}\\ \hat{v}_{x}\\ \hat{v}_{y}\\ \hat{n}\end{bmatrix}=\omega\,\begin{bmatrix}(D^{2}-k^{2})&0&0&0\\ 0&i&0&0\\ 0&0&i&0\\ 0&0&0&i\end{bmatrix}\,\begin{bmatrix}\hat{u}_{y}\\ \hat{v}_{x}\\ \hat{v}_{y}\\ \hat{n}\end{bmatrix}~{}, (16)

with the eigenvalues ω\omega and the eigen functions {u^y,v^x,v^y,n^}\left\{\hat{u}_{y},\hat{v}_{x},\hat{v}_{y},\hat{n}\right\}. Here l1=(kUiMNSt)D2iMNStDk(U′′+k2UikMNSt)l_{1}=\left(k\,U-\frac{i\,M\,N}{St}\right)\,D^{2}-\frac{i\,M\,N^{\prime}}{St}\,D-k\,\left(U^{\prime\prime}+k^{2}\,U-\frac{i\,k\,M\,N}{St}\right), l2=N+NDl_{2}=N^{\prime}+N\,D and l3=ikU+1Stl_{3}=i\,k\,U+\frac{1}{St}. We solve the system of equations (16) numerically, for a simple shear flow (U=yU=y) with a smooth base state number density profile as given by equation (15), with decaying boundary conditions for all eigenfunctions in the farfield.

Refer to caption

Figure 8: (a) Growth rate σ\sigma versus kk for two different mass loadings, M=1M=1 (orange) and M=2M=2 (blue), for various StSt values obtained numerically for a smooth number density profile (m=4m=4). The analytical result for the St=0St=0 case with a top-hat number density profile is also shown for comparison. (b) The difference in growth rate for a finite StSt case from the St=0St=0 case, plotted versus StSt for various combinations of MM and kk. Here, kk is chosen to be approximately the optimum wavenumber to the respective MM value. Continuous lines represent the numerical results for a smooth profile (m=4m=4), while dashed lines represent the analytic asymptotes for a top-hat profile.

Refer to caption

Figure 9: (a) A contour plot of growth rate σ\sigma in the kk versus StSt plane for a mass loading of M=2M=2. (b) The variation of growth rate versus mass loading for various combinations of kk and StSt values: dotted line represents St=103St=10^{-3}, continuous line represents St=102St=10^{-2}, and dashed line represents St=101St=10^{-1}. The results are obtained numerically for a smooth base state number density profile with m=4m=4.

The results obtained are presented in figure 8. Figure 8(a) depicts the growth rate versus kk curve for various StSt values, considering a smooth number density profile with m=4m=4, for two different mass loading values. The corresponding curve for St=0St=0 with a top-hat number density profile is also displayed for comparison. It is evident that as StSt increases, the growth rate decreases for all mass loading values and wavenumbers. Furthermore, the cut-off wavenumber kcutoffk_{\textrm{cutoff}} decreases with increasing StSt. However, upon closer inspection, it is observed that with a finite Stokes number, the instability persists for k>kcutoffk>k_{\textrm{cutoff}}, albeit with a significantly lower growth rate. In figure 8(b), the deviation of the growth rate corresponding to finite StSt from the St=0St=0 case is plotted as a function of Stokes number for various mass loading values. The wavenumbers are chosen to correspond to the fastest-growing modes for the corresponding mass loading values. The results are obtained numerically for a smooth number density profile of m=4m=4. Analytically obtained asymptotes for the respective cases with top-hat number density profiles are plotted for comparison. The figure demonstrates that the growth rate decreases as the Stokes number increases.

Figure 9(a) presents a contour plot of the growth rate in the kk versus StSt plane for a mass loading M=2M=2, obtained numerically, for a smooth number density profile of m=4m=4. The plot illustrates that the growth rate decreases with StSt and increases with MM. This implies that particle inertia stabilises the instability, whereas the mass loading (representing the two-way coupling strength) has a destabilizing effect. This qualitative trend would also hold for other mass loading values, though they are not shown here. In figure 9(b), the variation of growth rate with mass loading is depicted for various combinations of kk and StSt. This plot reiterates the deduction about the dampening of instability by StSt and the strengthening of instability by MM. It is important to note that the instability persists even in the limit of St=0St=0, whereas it vanishes in the M=0M=0 limit (i.e., in the one-way coupling case). The analysis presented in this section confirms the existence of an instability in the system under consideration. The source of instability is attributed to the two-way coupling between the particles and the fluid, and it is observed that the instability can be dampened by the particle inertia.

5 Comparison of EL results with LSA results

In the previous sections, we demonstrated the existence and mechanism of the instability using a linearized continuum model for the system. What remains is a quantitative comparison of the predictions from linear stability analysis with fully non-linear EL simulations.

We conducted a series of EL simulations across various parameter ranges to obtain the dispersion curve, maintaining most settings as described in §2.2. In these simulations, the Stokes number (StSt) was kept constant at 10310^{-3}. To ensure a fair comparison with the inviscid LSA, the EL simulations were carried out with a fixed ReLx=5000Re_{L_{x}}=5000, which is sufficiently high to make viscous effects negligible. The box domain size was set as Lx=2πmL_{x}=2\,\pi\,\textrm{m}, Ly=6πmL_{y}=6\,\pi\,\textrm{m} and Lz=3dpL_{z}=3\,d_{p}. The average volume fraction ϕp\langle\phi_{p}\rangle of particles within the band was adjusted to achieve various mass loading values. To confine only one wave within the domain in the xx direction, we fixed the dimensional wavenumber to k=1m1k=1\,\textrm{m}^{-1}. By adjusting the bandwidth hh, we obtained different non-dimensional kk values. In all selected cases, the ratio h/dph/d_{p} was set to be large (on the order of 10210^{2} to 10310^{3}), ensuring that fluctuations caused by discrete particle forcing remained well below the viscous dissipation scale. This configuration enabled fluid-particle coupling primarily through collective particle dynamics at scales comparable to hh, rather than discrete effects at inter-particle distances. Since LxL_{x} is fixed, varying hh leads to a change in the ratio Lx/hL_{x}/h across the range from 2.5π2.5\,\pi to 32π32\,\pi. However, LyL_{y} remains sufficiently large in all these cases to avoid any possible interactions with other periodic simulation boxes in the yy direction.

Refer to caption

Figure 10: The time evolution of the perturbation vorticity field q~z\tilde{q}_{z} (scaled by its initial maximum value) for a two-way coupled simulation with M=1M=1 and St=103St=10^{-3} is plotted for three different non-dimensional wavenumbers: (a-e) top panel k=0.25k=0.25, (f-j) middle panel k=0.5k=0.5, and (k-o) bottom panel k=1.2k=1.2. The non-dimensional time stamps are as follows: (a,f,k) t=0t=0, (b,g,l) t=1t=1, (c,h,m) t=5t=5, (d,i,n) t=9t=9, and (e,j,o) t=20t=20. The initial vorticity perturbation used is the eigenmode corresponding to a top-hat number density profile with St=0St=0, obtained analytically. The colour scale is constrained to [0.15,0.15][-0.15,0.15] for easy visualization. The spatial units in the plots are dimensional.

Refer to caption

Figure 11: The evolution of the total particle number density field ϕp/ϕp\phi_{p}/\langle\phi_{p}\rangle for the same set of simulations in figure 10.

The initial conditions of the numerical simulations consist of a combination of the base state (a simple shear flow with a top-hat number density profile) and the perturbation eigenmodes obtained from the corresponding LSA. To perturb our system, we utilize the analytic expressions for the eigenmodes of the velocity field obtained for the corresponding St=0St=0 case. The initial particle number density field is left unperturbed since the eigenmodes are theoretically singular Dirac delta functions. Although this initial arrangement may not correspond precisely to an eigenmode of the system under consideration (due to the omission of finite StSt aspects and perturbations in the number density field), it will closely resemble the eigenmode. As time progresses, the applied perturbations are expected to excite the most unstable mode, i.e., the respective eigenmode of the system. The initial perturbation fields used for the flow field can be visualized in the representative figure 10(a, f, k), and the corresponding initial particle distribution can be seen in figure 11(a, f, k). To ensure that the simulations capture the linear regime described by LSA and to delay any nonlinear effects, the perturbations are initialized with a small relative amplitude ϵ=102\epsilon=10^{-2}. The location of the particles are randomly initialised within each cell inside the particle band, defined by |y|h/2\lvert y\rvert\leq h/2.

Figure 10 illustrates the time evolution of the perturbation vorticity field (normalised by its initial maximum value) for a case with M=1M=1 and St=103St=10^{-3}, depicted for three different non-dimensional wavenumbers: k=0.25k=0.25 (top panel), k=0.5k=0.5 (middle panel), and k=1.2k=1.2 (bottom panel). As earlier, the plots are presented in a dimensional spatial domain of 2π×2π2\pi\times 2\pi for better visualisation. The variation in wavenumbers is noticeable from the variation in hh in the initial disturbance fields (panels a,f,k). The initial evolution of the perturbation fields confirms the excitation of the respective eigenmodes. For the smaller wavenumber (top panel), it can be seen that the perturbations grow over time, and the vorticity field amplifies and spreads across a larger region, indicating the presence of instability. At k=0.5k=0.5 (middle panel), the instability becomes more pronounced and transitions to the nonlinear regime rapidly, as expected theoretically, since the maximum growth corresponds to a non-dimensional wavenumber closer to k=0.5k=0.5. The theory predicts no linear instability for the larger wavenumber (bottom panel), which is also evident from the snapshots where there is minimal growth of the vorticity field. Figure 11 shows the corresponding evolution of the total particle number density field. It can be observed that although the number density field is initially not perturbed, eventually, the eigenmodes are getting excited. Additionally, it can be noticed that the evolution of the number density field is coherent with the corresponding perturbation vorticity field at all times for all wavenumbers. This correspondence also holds theoretically for a top-hat profile, as we have already seen using LSA that the vorticity perturbation and number density perturbation fields both are Dirac delta functions. The snapshots show that the case with wave number k=0.5k=0.5 transitions to the nonlinear regime much faster than the others.

In order to determine the total perturbation growth rates from the present simulations, we calculate the disturbance kinetic energy associated with the perturbations as

E=12(uU)(uU)𝑑V,E=\int\frac{1}{2}(\textbf{u}-\textbf{U})\cdot(\textbf{u}-\textbf{U})\,dV~{}, (17)

where U=Γyx^\textbf{U}=\Gamma\,y\,\hat{\textbf{x}} is the base state simple shear flow, is subtracted from u - the total fluid velocity obtained from EL simulations, to obtain the disturbance fluid velocity. The integration is performed over the entire volumetric domain of the periodic simulation box.

Refer to caption

Figure 12: The evolution of (a) total perturbation energy EE (normalized by its initial value) and (b) the estimate for the instantaneous growth rate with time, obtained from EL simulations, for mass loading M=1M=1, for various kk values.

Figure 12(a) shows the evolution of total perturbation energy (EE), scaled with the initial value (E(t=0)=E0E(t=0)=E_{0}), computed from EL simulations, presented in a semi-logarithmic scale for various non-dimensional wavenumbers kk, corresponding to a mass loading of M=1M=1. The plots exhibit a linear trend at initial times, indicating an exponential dependence on time. If the growth rate of velocity perturbations is denoted as σ\sigma, then the growth rate of energy perturbations would be 2σ2\,\sigma. Based on this argument, one may derive an expression to assess the growth rate σ\sigma from EL simulations as

σ=12EdEdt.\sigma=\frac{1}{2E}\,\frac{dE}{dt}~{}. (18)

Figure 12(b) shows the time evolution of the growth rate estimated for EL simulation results using the expression given in equation (18). Unlike the prediction from LSA, which suggests a constant value, the instability growth rate exhibits variation over time in EL simulations. The figure indicates that the growth rate peaks between t=0t=0 and t=2t=2, depending on the seeded mode. The initial transient behaviour may attributed to imperfections in the initial conditions. The time window surrounding the peak growth rate in figure 12(b) corresponds to the exponential growth of kinetic energy observed in figure 12(a), thereby closely aligning with the dynamics predicted by LSA. Eventually, the growth rate decreases as the perturbation kinetic energy saturates, with the possibility of later increase due to nonlinear effects. An estimate for comparison with LSA would be the peak value of the growth rate for EL simulations obtained from equation (18). The non-dimensional growth rates σ\sigma are thus obtained and plotted against the corresponding non-dimensional wavenumber kk for two different mass loading values in figure 13(a), represented by circle markers. The growth rate numerically obtained from LSA for a smooth number density profile (m=4m=4) is also compared. The results show good agreement, although some discrepancies are observed in the numerical values. Considering that we are comparing completely different simulation classes: fully nonlinear EL simulations with LSA of the Euler-Euler model for the system under consideration, these differences are expected. Furthermore, the growth rate obtained from EL simulations indicates that energy perturbations decay beyond the critical wavenumber, contrary to what linear theory predicts. This could be attributed to the viscous effects in EL simulations.

Refer to caption

Figure 13: The growth rate σ\sigma obtained from EL simulations for particles with St=103St=10^{-3} is plotted (a) against kk for two mass loadings M=1M=1 (orange colour) and M=2M=2 (blue colour), and (b) against MM for k=0.5k=0.5. Various estimates for the growth rate are indicated by different markers: \circ denotes the peak value of the growth rate (max(σ)\textrm{max}(\sigma)) estimated from the total perturbation energy, \square represents the average value of the growth rate (avg(σ)\textrm{avg}(\sigma)) in a time window Δt=0.5\Delta t=0.5 about the peak growth rate of the total perturbation energy, and \diamond indicates the peak growth rate obtained from the energy of the seeded mode (max(σs)\textrm{max}(\sigma_{s})). For comparison, the corresponding curves numerically obtained from LSA for a smooth number density profile of m=4m=4 are also shown using dotted lines.

In order to quantify the contribution of a specific wave mode kk to the overall dynamics, we compute the kinetic energy associated with this mode using Fourier decomposition as

Ek=Lz/2Lz/2Ly/2Ly/212u^k(y,z,t)¯u^k(y,z,t)𝑑y𝑑z,E_{k}=\int_{-L_{z}/2}^{L_{z}/2}\int_{-L_{y}/2}^{L_{y}/2}\,\frac{1}{2}\,\overline{\hat{\textbf{u}}_{k}(y,z,t)}\cdot\hat{\textbf{u}}_{k}(y,z,t)\,dy\,dz~{}, (19)

where ()¯\overline{(\cdot)} denotes complex conjugation, and u^k\hat{\textbf{u}}_{k} is the Fourier amplitude of the perturbation velocity field, given by

u^k(y,z,t)=12πLx/2Lx/2(uU)exp(ikx)𝑑x.\hat{\textbf{u}}_{k}(y,z,t)=\frac{1}{\sqrt{2\,\pi}}\,\int_{-L_{x}/2}^{L_{x}/2}\,(\textbf{u}-\textbf{U})\,\exp(-i\,k\,x)\,dx~{}. (20)

The normalization for the Fourier amplitude is chosen such that Plancherel’s identity yields Ek𝑑k=E\int E_{k}\,dk=E. The peak growth rate corresponding to the seeded eigenmode can thus be extracted using equations (19) with (18), and are also shown in figure 13 using diamond markers. These growth rates are also adequately consistent, qualitatively and quantitatively, with the LSA results. Additionally, the figure shows an average estimate of the growth rate over a non-dimensional time window Δt=0.5\Delta t=0.5 centred around the peak value of total perturbation energy, depicted using square markers, which also compares well with the LSA results. The differences between these various growth rate estimates can also be observed to be very small.

Figure 13(b) displays the growth rate estimates from EL simulations for the k=0.5k=0.5 case plotted for various mass loading values. As the mass loading increases, the growth rate also increases, indicating that the strength of the two-way coupling determines the strength of the instability. The trend in growth rate aligns well with the LSA results (shown as a dotted curve). Below a critical mass loading, however, the EL simulations show damped modes instead of the neutral modes observed in LSA, likely due to the inherent viscous nature of EL simulations, as mentioned earlier.

6 Conclusion

In this study, we have investigated a novel type of instability arising from the interaction between a simple shear flow and a non-uniform distribution of particles. Individually, each component is stable; a simple shear flow remains stable against infinitesimal perturbations, and a localised band of particles is stable without any gravitational or buoyancy effects. However, when considering the system as a whole, the momentum feedback from the particles to the fluid phase renders the system unstable. We utilised EL simulations to show the existence of instability, treating the fluid phase as a continuum and the particles as discrete using Eulerian and Lagrangian descriptions, respectively. The two-way coupling between the fluid and particle phases is crucial for the observed instability. The strength of the momentum feedback from particles to the fluid is directly proportional to the particle mass fraction and inversely proportional to particle inertia. Consequently, increasing the particle mass fraction enhances the instability while increasing particle inertia suppresses it. The simulations were conducted at high Reynolds numbers, indicating that the instability originates from inviscid effects. Moreover, we conducted simulations where we disabled the momentum feedback from particles to the fluid, while retaining the momentum exchange from the fluid to the particle phase. As anticipated, the system remained stable under these conditions, with particles solely advected by the shear flow.

Furthermore, a continuum model of the particle phase is employed to illustrate this instability’s modal nature and explain its generation mechanism. In the semi-dilute limit, the particle phase can be modelled as a separate pressureless fluid. The model adopts an Eulerian approach for particle and fluid phases, known as the two-fluid model. Linear stability analysis (LSA) of this model was conducted under the St=0St=0 and St1St\ll 1 limits to quantify the growth rate of instability, utilising analytical and numerical techniques. The analytical investigation primarily focused on a simple top-hat distribution of particles, while a numerical treatment was reserved for smooth, localised particle distributions. In both scenarios, the analysis demonstrated that instability emerges as the momentum feedback from particles to the fluid phase is considered. Surprisingly, the instability persists even in the St0St\rightarrow 0 limit, suggesting that although it originates from particle inertia, its existence does not solely depend on inertia when the fluid-particle coupling is accounted for. However, increasing StSt results in a damping effect on the growth rate of instability. The growth rate estimates from EL simulations matched the LSA results reasonably well.

To gain a mechanistic view of the instability, we examine the regime of small particle inertia (St0St\rightarrow 0). In this limit, the two-fluid model simplifies into a single-fluid model that describes the continuum evolution of a fluid with an effective density due to the suspended particles. The non-uniformity in particle distribution is thus reflected in the effective density of this fluid. The system now resembles a density-stratified fluid capable of supporting propagating edge waves at interfaces where vorticity or density exhibits discontinuities. Our system has two density interfaces, which individually support propagating edge waves generated due to non-Boussinesq baroclinic effects in isolation in a background shear flow. Unlike in the case of classical edge waves, the baroclinic torque arises from the misalignment between base state density stratification and disturbances in fluid acceleration. The propagating waves at both interfaces feel each other’s presence once brought closer, and they interact through phase locking and mutual amplification, culminating in the instability observed.

The present analysis has made several assumptions, and the relaxation of many of those would augment the instability found in the present study. The background flow is a simple shear flow, thus disallowing any shear instabilities that might arise (drazin2004hydrodynamic). We have also neglected the effects of gravitational settling, non-zero fluid inertia, concentration-dependent viscosity and hydrodynamic interactions. As was discussed earlier, in a simple shear flow of uniformly distributed negatively buoyant inertial particles, velocity perturbations can lead to preferential concentration of particles in regions of low vorticity. kasbaoui2015preferential showed that the variation of gravitational force exerted on the suspension thus induced would result in an algebraic instability. Ignoring gravitational effects, if the effects of fluid inertia were included instead, the particles would experience lift forces. drew1975lift showed that the lift force can lead to an instability in a bounded simple shear flow. A departure from the diluteness approximation would manifest first as a concentration-dependent viscosity and then as non-zero particle pressure. With the former physics, non-uniformity in particle concentration can lead to viscosity contrasts in the suspension, potentially causing short-wave viscous instabilities (see, e.g., hooper1983shear; hinch1984note; sahu2011linear). The latter, particle pressure due to hydrodynamic interactions, is responsible for shear-induced migration in dense suspensions (leighton1987shear). Shear-induced migration would be absent in a simple shear flow. However, the perturbation-induced migration could lead to a short-wave instability depending on the importance of concentration-driven diffusion relative to shear-induced migration (goddard1996migrational). Coupling even some of the physics mentioned above with the novel instability found in the present study would pave the way for a better understanding of instabilities in dusty shear flows and how they can have fundamentally different transition routes than their particle-free counterparts.

\backsection

[Funding]A.R. acknowledge SERB project CRG/2023/008504 for funding. A.V.S.N. thanks the Prime Minister’s Research Fellows (PMRF) scheme, Ministry of Education, Government of India. A.R. and A.V.S.N. acknowledge the support of the Geophysical Flows Lab (GFL) at IIT Madras. M.H.K acknowledges support from the US National Science Foundation (award #2148710, CBET-PMP).

\backsection

[Declaration of interests]The authors report no conflict of interest.

\backsection

[Author ORCIDs]A. V. S. Nath, https://orcid.org/0000-0003-2144-2978; A. Roy, https://orcid.org/0000-0002-0049-2653; M. H. Kasbaoui, https://orcid.org/0000-0002-3102-0624.

Appendix A Linearisation and normal mode analysis

The linearised perturbation equations (4.1.1) can be expanded in component form as, {subeqnarray} ∂~ux∂x+∂~uy∂y = 0 ,
∂~n∂t+N  (∂~vx∂x+∂~vy∂y )+~v_y  N’+U  ∂~n∂x = 0 ,
∂~ux∂t+U  ∂~ux∂x+~u_y  U’ = -∂~p∂x+M  NSt  (~v_x-~u_x) ,
∂~uy∂t+U  ∂~uy∂x=-∂~p∂y+M  NSt  (~v_y-~u_y) ,
∂~vx∂t+U  ∂~vx∂x+~v_y  U’ = ~ux-~vxSt ,
∂~vy∂t+U  ∂~vy∂x=~uy-~vySt . To analyze stability, we need to solve the system of equations (A) for the perturbation quantities {u~x,u~y,p~,v~x,v~y,n~}\{\tilde{u}_{x},\tilde{u}_{y},\tilde{p},\tilde{v}_{x},\tilde{v}_{y},\tilde{n}\}. Assuming a modal form for perturbations {u~x,u~y,p~,v~x,v~y,n~}={u^x,u^y,p^,v^x,v^y,n^}(y)exp{i(kxωt)}\{\tilde{u}_{x},\tilde{u}_{y},\tilde{p},\tilde{v}_{x},\tilde{v}_{y},\tilde{n}\}=\{\hat{u}_{x},\hat{u}_{y},\hat{p},\hat{v}_{x},\hat{v}_{y},\hat{n}\}(y)\,\exp\{i\,(k\,x-\omega\,t)\}, we obtain the linearized equations in modal space as {subeqnarray} ^u_x = ik  d ^uyd y ,
i  k  (U-c)  ^n+N  (d ^vyd y+i  k  ^v_x )+^v_y  N’ = 0 ,
i  k  ^u_x  (U-c)+U’  ^u_y=-i  k  ^p+M  NSt  (^v_x-^u_x) ,
i  k  ^u_y  (U-c)=-d ^pd y+M  NSt  (^v_y-^u_y) ,
i  k  ^v_x  (U-c)+U’  ^v_y=^ux-^vxSt ,
i  k  ^v_y  (U-c)=^uy-^vySt . After eliminating u^x\hat{u}_{x} and p^\hat{p} from equation (Ac) using (Aa) and (Ad), we obtain a single equation for the evolution of u^y\hat{u}_{y} as

(UciMNkSt)d2u^ydy2iMNkStdu^ydy(U′′+k2(Uc)ikMNSt)u^y\displaystyle\left(U-c-\frac{i\,M\,N}{k\,St}\right)\,\frac{d^{2}\hat{u}_{y}}{dy^{2}}-\frac{i\,M\,N^{\prime}}{k\,St}\,\frac{d\hat{u}_{y}}{dy}-\left(U^{\prime\prime}+k^{2}\,(U-c)-\frac{i\,k\,M\,N}{St}\right)\,\hat{u}_{y}
+MNStdv^xdy+MNStv^xikMNStv^y=0.\displaystyle+\frac{M\,N}{St}\,\frac{d\hat{v}_{x}}{dy}+\frac{M\,N^{\prime}}{St}\,\hat{v}_{x}-\frac{i\,k\,M\,N}{St}\,\hat{v}_{y}=0~{}. (21)

Equations (Ae-f) can be solved simultaneously to obtain v^x\hat{v}_{x} and v^y\hat{v}_{y} in terms of u^x\hat{u}_{x} and u^y\hat{u}_{y} as v^x=u^xΛStUu^yΛ2\hat{v}_{x}=\hat{u}_{x}\,\Lambda-St\,U^{\prime}\,\hat{u}_{y}\,\Lambda^{2} and v^y=u^yΛ\hat{v}_{y}=\hat{u}_{y}\,\Lambda, where Λ(y)=(1+ikSt(U(y)c))1\Lambda(y)=\left(1+i\,k\,St\,(U(y)-c)\right)^{-1}. Substituting them into equations (21) and (Ab) gives the nonlinear eigenvalue system {subeqnarray} { (U-c)  (1+M   N Λ) }  D^2^u_y+{(U-c)  M  N’  Λ}   D^u_y
-{U”+k^2 (U-c)  (1+M   N Λ) +M  D[ N  Λ^2  U’ ] }  ^u_y = 0 ,
i  k  (U-c)  ^n+[ Λ  N’ -2  i  k  St  Λ^2  N  U’] ^u_y=0 . By defining 𝒰=(Uc)(1+MNΛ)\mathcal{U}=(U-c)\,(1+M\,N\,\Lambda), the system can be further simplified as in equation (4.1.1). Integrating equation (4.1.1a) across a discontinuous interface y=ay=a yields the interface boundary condition as

\lBracku^y𝒰𝒰Du^y(Uc)MNΛu^y\rBracky=ay=a++k2aa+𝒰u^y𝑑y0=0,\lBrack\hat{u}_{y}\,\mathcal{U}^{\prime}-\mathcal{U}\,D\hat{u}_{y}-(U-c)\,M\,N^{\prime}\,\Lambda\,\hat{u}_{y}\rBrack_{y=a^{-}}^{y=a^{+}}+k^{2}\,\cancelto{0}{\int_{a^{-}}^{a^{+}}\mathcal{U}\,\hat{u}_{y}\,dy}=0~{}, (22)

where the last integral vanishes, assuming the discontinuity in UU or NN or both can never be more than a finite jump. Here \lBrack\rBracky=ay=a+\lBrack\cdot\rBrack_{y=a^{-}}^{y=a^{+}} denotes the difference of the quantity inside the square bracket evaluated at infinitesimally above and below the interface y=ay=a.

Appendix B The dusty Rayleigh criterion considering non-Boussinesq baroclinic effects

Consider the equation (10), which incorporates non-Boussinesq baroclinic effects but neglects gravitational baroclinic effects. Divide throughout by (Uc)(U-c), assuming UcU\neq c. After rearranging and combining terms, we obtain

D[ρDu^y]D[ρU](Uc)u^yk2ρu^y=0.D[\rho\,D\hat{u}_{y}]-\frac{D[\rho\,U^{\prime}]}{(U-c)}\,\hat{u}_{y}-k^{2}\,\rho\,\hat{u}_{y}=0~{}. (23)

After multiplying throughout by the complex conjugate u^y¯\overline{\hat{u}_{y}} and integrating over the entire yy domain 𝒟\mathscr{D}, we get

𝒟u^y¯D[ρDu^y]𝑑y𝒟(D[ρU](Uc)+k2ρ)|u^y|2𝑑y=0.\int_{\mathscr{D}}\overline{\hat{u}_{y}}\,D[\rho\,D\hat{u}_{y}]\,dy-\int_{\mathscr{D}}\left(\frac{D[\rho\,U^{\prime}]}{(U-c)}\,+k^{2}\,\rho\ \right)\,\lvert\hat{u}_{y}\rvert^{2}\,dy=0~{}. (24)

Using integration by parts in the first integral, we have

[u^y¯ρDu^y]𝒟ρ|Du^y|2𝑑y𝒟(D[ρU](Uc)+k2ρ)|u^y|2𝑑y=0,\left[\overline{\hat{u}_{y}}\,\rho\,D\hat{u}_{y}\right]-\int_{\mathscr{D}}\rho\,\lvert D\hat{u}_{y}\rvert^{2}\,dy-\int_{\mathscr{D}}\left(\frac{D[\rho\,U^{\prime}]}{(U-c)}\,+k^{2}\,\rho\ \right)\,\lvert\hat{u}_{y}\rvert^{2}\,dy=0~{}, (25)

where the first term in the square bracket needs to be evaluated at the boundaries, and their difference needs to be taken. Since the perturbations should vanish at the boundaries (whether the domain is bounded or unbounded), this term evaluates to zero. After expanding c=cR+icIc=c_{R}+i\,c_{I}, the imaginary part of the remaining integral terms yields

icI𝒟D[ρU]|Uc|2|u^y|2𝑑y=0.i\,c_{I}\,\int_{\mathscr{D}}\frac{D[\rho\,U^{\prime}]}{\lvert U-c\rvert^{2}}\,\,\lvert\hat{u}_{y}\rvert^{2}\,dy=0~{}. (26)

For the integral to be satisfied, the only possibility is that the term D[ρU]D[\rho\,U^{\prime}] should have a sign change in the domain - a modified form of the Rayleigh criterion for instability. Note that this will only be a necessary criterion, but not a sufficient one.

When considering the gravitational baroclinic effects, using the same procedure, we obtain that there should be a sign change for the quantity

D[ρU]+2g(UcR)ρ(UcR)2+cI2,D[\rho\,U^{\prime}]+\frac{2\,g\,(U-c_{R})\,\rho^{\prime}}{(U-c_{R})^{2}+c_{I}^{2}}~{}, (27)

in the domain. Here gg represents the acceleration due to gravity (appropriately scaled).

The real part of the equation (25) yields,

𝒟D[ρU]|Uc|2(UcR)|u^y|2𝑑y=𝒟ρ{|Du^y|2+k2|u^y|2}𝑑y.\int_{\mathscr{D}}\frac{D[\rho\,U^{\prime}]}{\lvert U-c\rvert^{2}}\,\,(U-c_{R})\lvert\hat{u}_{y}\rvert^{2}\,dy=-\int_{\mathscr{D}}\rho\,\left\{\lvert D\hat{u}_{y}\rvert^{2}+k^{2}\,\lvert\hat{u}_{y}\rvert^{2}\right\}\,dy~{}. (28)

Since the right-hand side of the equation is clearly negative, the left-hand side integral should also be negative, implying that among the integrands, (UcR)D[ρU](U-c_{R})\,D[\rho\,U^{\prime}] should be negative somewhere within the domain. However, upon expanding the integrand, we already know that the integral term containing cRc_{R} is zero when there is instability, as shown by equation (26). Thus, cRc_{R} can be replaced by any arbitrary constant value without affecting the result. However, the appropriate choice would yield a modified version of the Fjørtoft criterion for instability. Here, it would be U=U(y)U^{*}=U(y^{*}), where yy^{*} is the location in the flow domain where D[ρU]D[\rho\,U^{\prime}] changes sign. Then, the modified version of the Fjørtoft criterion states that, for instability, the necessary (but not sufficient) criterion is (UU)(ρU)<0(U-U^{*})\,(\rho\,U^{\prime})^{\prime}<0 somewhere within the flow domain.

Appendix C LSA for St=0St=0 particles inside a top-hat band

For a simple shear background flow with a top-hat number density profile, the governing equation (10) simplifies to {subeqnarray} (y-c) (D^2-k^2)^u_y = 0 ,
(y-c)  ^n = 0 . For discrete modes, i.e., when ycy\neq c, the solutions of equation (Ca) take on exponential form, as given in equation (11). The decaying boundary condition for the eigenfunctions u^y\hat{u}_{y} at the far field is already incorporated in this solution. We utilize the interface conditions to determine the unknown amplitudes A1A_{1} to A4A_{4} and the eigenvalue cc. Generally, the rate of change in the interface displacement perturbation η~\tilde{\eta} is responsible for the vertical fluid velocity disturbance, i.e., u~y=𝒟η~/𝒟t=η~/t+Uη~/x\tilde{u}_{y}=\mathcal{D}\tilde{\eta}/\mathcal{D}t=\partial\tilde{\eta}/\partial t+U\,\partial\tilde{\eta}/\partial x. In modal space, this implies u^y=ik(Uc)η^\hat{u}_{y}=i\,k\,(U-c)\,\hat{\eta}. Here, since the background shear flow is continuous across the interface, this relation demands the continuity of the vertical velocity perturbation as {subeqnarray} \lBrack^u_y \rBrack_y=1/2^-^y=1/2^+=0 ,
\lBrack^u_y\rBrack_y=-1/2^-^y=-1/2^+=0 . By integrating the equation (23) multiplied with (Uc)(U-c), across each interface, we get the continuity criteria for pressure as well as {subeqnarray} \lBrackρ{^u_y  U’-(U-c)  D^u_y }\rBrack_y=1/2^-^y=1/2^+ =0 ,
\lBrackρ{^u_y  U’-(U-c)  D^u_y }\rBrack_y=-1/2^-^y=-1/2^+ =0 . After incorporating the solution form (11) into these criteria (C) and (C), we obtain a set of four algebraic equations, as given in matrix form (13). For a nontrivial solution, the determinant of the coefficient matrix should be zero, which gives the dispersion relation in (14). Since the system (Ca) is a homogeneous differential equation, the unknown constants A1A_{1} to A4A_{4} cannot be uniquely determined. By fixing one of the amplitudes (let us say A2A_{2}), all others can be obtained by solving any three out of the four equations in (13). For instance, we obtain {subeqnarray} A1A2=ek((c+1/2)k-At)+At e-k((c+1/2)k+1)(At+1) (c+1/2)k ,
A3A2 = (c+1/2)k-At(At+1) (c+1/2)k ,
A4A2 =At e-k((c+1/2)k+1)(At+1) (c+1/2)k . The value for cc should be used from the dispersion relation (14).

The trivial solution to equation (Cb) is n^=0\hat{n}=0 for any discrete modes, everywhere except at the interfaces y=±1/2y=\pm 1/2. Thus, the general form for the solution should be a combination of Dirac delta functions about the interfaces. Using conservation of the total number density, one can obtain n^δ(y1/2)δ(y+1/2)\hat{n}\propto\delta(y-1/2)-\delta(y+1/2).

Appendix D LSA for St1St\ll 1 particles inside a top-hat band

In the limit of small Stokes numbers (St1St\ll 1), the governing equations (4.1.1) for a simple shear flow with a top-hat distribution of particles simplify to {subeqnarray} (D^2-k^2)^u_y = 0 ,(y-c)  ^n= 0 ,}  for  |y |¿ 1/2
(D^2-k^2 + 2  M  α(1+M)  (y-c))^u_y + O(α^2) = 0 ,i  k  (y-c)  ^n-2  α  ^u_y + O(α^2) = 0 ,}  for  |y |¡ 1/2 where α=ikSt\alpha=i\,k\,St. The solution for eigen functions u^y\hat{u}_{y} can be obtained in each layer as,

u^y={A1eky,y>1/2A3Wl,1/2(2k(yc))+A4Ml,1/2(2k(yc)),|y|<1/2A2eky,y<1/2\hat{u}_{y}=\begin{cases}A_{1}\,e^{-k\,y}~{},&y>1/2\\ A_{3}\,\textrm{W}_{l,1/2}(2\,k\,(y-c))+A_{4}\,\textrm{M}_{l,1/2}(2\,k\,(y-c))~{},&\lvert y\rvert<1/2\\ A_{2}\,e^{k\,y}~{},&y<-1/2\end{cases} (29)

where W and M represents Whittaker functions and l=Mα/(k(1+M))l=M\,\alpha\,/(k\,(1+M)). Note that the decaying boundary conditions for u^y\hat{u}_{y} are already enforced for the far field. Considering the system accurate up to O(α)\textit{O}(\alpha), we omit terms of O(α2)\textit{O}(\alpha^{2}) in subsequent expressions. The continuity of u^y\hat{u}_{y} at the interfaces yields two equations as {subeqnarray} A_1  e^-k/2 = A_3  W_l,1/2(-2  ω^-)+A_4  M_l,1/2(-2  ω