Beruflich Dokumente
Kultur Dokumente
also identify the dynamics with the action of the Virasoro-Bott group of centrally extended diffeomorphisms of
the circle. Our edge wave is a hydrodynamic analog of the edge states of the fractional quantum Hall effect.
Introduction On many occasions individual properties of stabilization, since at small amplitudes our edge mode is linear.
fluid particles affect large scale flows. Among the diverse We find its dispersion to be
range of examples are Cosserat media, where fluid particles
Ek = U k + 2ηk |k |, η = Γ/8π . (1)
have rotational degrees of freedom, e.g. active rotor media
[1]. In a very special class of fluids the constituents posses The wave travels p against the overall rotation of the patch with
a topological characterization. Examples are isotropic flows velocity U = ΩΓ/16π (Ω is a half of the mean vorticity of the
with a dense liquid bundle of point-like solitary topological patch, Γ is the quantum of vortex circulation). The coefficient η
textures. Interactions between topological textures, such as the of the non-analytic term in (13) has the dimension of viscosity.
Magnus force for vortices, are non-local. This makes their flow We will identify it with the odd viscosity of [10, 11]. Clearly,
different. The simplest example is the vortex matter arising in our edge mode is a classical prototype of the edge state in
quantum and classical fluids. It is the subject of this study. FQHE [9].
The standard example of vortex matter is the rotating super- Our main result is the dynamics of the edge mode beyond
fluid Helium [2]. In classical fluids the vortex matter arises as the linear approximation. We show that it is governed by
the result of the inverse cascade of a confined turbulent flow the celebrated Benjamin-Davis-Ono (BDO) equation (often
when small eddies congregate into large sign-like Onsager’s abbreviated as Benjamin-Ono) [12]. It is integrable and ex-
vortex cluster [3]. There are numerous examples in atmospheric, hibits solitons. A remarkable property of BDO is that the
oceanic, aeronautic and astro physics (tornados, hurricanes, solitons possess a quantized vorticity, revealing the topological
pulsars). Vortex matter has also been allegedly observed in characteristics of vortices.
atomic Bose condensates [4]. A fundamental importance of It is tempting to think that the vortex flow is not an isolated
the vortex matter recently arisen in the theory of FQHE [5]. example. It is highly likely that in general a topological flow
There, electrons are effectively bound to localized magnetic reveals its quantized topological numbers through a non-linear
fluxes and move like vortices. In all listed cases, classical and soliton dynamics at the boundary.
quantum alike, the vortex matter is a liquid. Vortex patch and Kirchhoff equations The approximation
In this paper we focus on an exemplary problem of classical where the vortex matter is treated as a uniform vorticity is
hydrodynamics: a patch of a dense assembly of sign-like point- a classical setting in hydrodynamics. The vortex patch is
like vortices in 2D incompressible, inviscid fluid, the chiral sometimes called a Rankine vortex. It is a domain D of a
flow, Fig. 1. The question we ask is: whether and how a uniform vorticity, surrounded by an ambient irrotational flow.
‘quantization’, or discreteness, of vortices affects the large scale The dynamics of the Rankine vortex is the evolution of its
flow? In other words, is the topological characterization of boundary, the vorticity jump. It is governed by the kinematic
micro-scale fluid constituents observable in hydrodynamics. boundary condition (KBC). The KBC states that the velocity
Apart from numerous physical applications, this question is of a fluid parcel at the interface (front) equals the velocity
also important for utilizing the vortex method in computational of the ambient flow. We denote the vorticity of a clockwise
hydrodynamics where continuous distributions of vorticity are vortex (anticyclonic) patch by −2Ω < 0 and use the frame
approximated by discrete vortices [6, 7]. rotating anticlockwise with the frequency Ω. Then, if z(t) is the
The discreteness of the vortex matter is especially pronounced complex coordinate of a parcel at the front and uz = u x − iuy
at the boundary. Recall that a boundary of a uniform vorticity is the complex velocity of the flow, the KBC reads
is unstable, developing violent filaments (see, e.g., [7, 8]). We Ω
∫
dV 0
will show that discreteness yields a new kind of a boundary zÛ̄ = uz |z(t ) , uz = −iΩz̄ + i . (2)
π D(t ) z − z 0
layer, vorticity layer, and an edge mode propagating along the
boundary. It would have been lost had the vortex matter been This equation, called contour dynamics (or CDE), has been
treated as a continuous vorticity. The vorticity layer acts toward extensively studied (see e.g., [8]). CDE is unstable and if the
2
wave number k of a boundary deformation of the boundary is Rankine vortex can be seen as a vortex matter whose density
less than its curvature, CDE allows no linear waves. is approximated by a step function ρ 0 (r ) = ρ ∞ Θ(R 0 −r ), with
This changes if the vortex patch is an aggregation of small ρ ∞ = 2Ω/Γ [14]. The true vortex matter possesses a scale, the
−1/2
vortices, a sort of quantized Rankine vortex. The indestructible inter-vortex spacing l = ρ ∞ .
discreteness of vortices yields a linear mode exponentially
decaying like O(e − |ky | ) with the distance y from the boundary. y y=h(x )
We will formulate the problem using the Kirchhoff equations. y=h̄
The velocity of the flow of N vortices (in the rotating frame)
with circulations −Γi y=0
N
i Õ Γi
uz (z, t) = −iΩz̄ + , (3)
2π i=1 z − zi (t) ρ(y)
is a solution of the Euler equation Figure 1. Left: the circular vortex patch with a boundary layer. Right:
The boundary layer; the vortex blob y < 0 is squeezed relative to the
uÛ + (u · ∇)u = −∇p − 2Ω × u, ∇ ·u = 0 (4) continuous vorticity patch y < h̄; illustration of the overshoot in the
vortex density on the side.
iff trajectories of vortices zi (t) obey the Kirchhoff equations
(see e.g. [13]): the velocity of every vortex is the sum of the Vorticity layer The vorticity jump of the Rankine vortex is also
Magnus forces exerted by other vortices the front of the ambient irrotational flow. This is no longer the
case if the spacing, no matter how small, is taken into account.
N
i Õ Γj The vortex density significantly departs from the step function
zÛ i ≡ vi = −iΩz̄i + . (5)
2π i,j zi (t) − z j (t) ρ 0 (r ) within a few spacing units from the boundary of the
equivalent Rankine vortex, forming a boundary singularity, the
If the circulations of all vortices are set equal (they do not overshoot, Fig. 1. Numerical data of the stationary overshoot
change due to the Kelvin theorem) are available from studies of the electronic density in FQHE
(see, e.g., [15]), a problem equivalent to the Onsager vortex
Γi = Γ > 0, (6) ensemble. The data show that the overshoot is an asymmetric
peak centered slightly closer to the center than r = R 0 , with
which is the case we consider, the Kirchhoff equations are the
density oscillations fading into the bulk. A minimal set of
discrete version of the contour dynamics (2). The question we
properties of the overshoot analytically obtained in [16, 17] and
ask is whether CDE (2) correctly captures the hydrodynamics of
also here, plus the principles of continuity commonly used in
the vortex matter. We show that it does not. Even at vanishing
weak solutions of hydrodynamics, suffice for determining the
spacing the behavior of tightly packed vortices described by
dynamics. We outline these properties first, before presenting
the Kirchhoff equations does not match its naive continuous
supportive arguments.
version.
We will see that forces acting within the vortex matter
The naive coarse-grained approximation fails at the bound-
squeeze the patch,
√ pushing the vorticity jump inward by the
ary. In a near-stationary flow the bulk vortices are distributed
distance h̄ = l/ 8π inward. The radius of the vorticity jump is
uniformly and isotropically with the density ρ ∞ = 2Ω/Γ. The
R ≡ R 0 − h̄ [29].
boundary vortices are squeezed in the radial direction and
Similar to the circular Rankine vortex the vorticity jump
elongated along the azimuth. As a result, the actual boundary
does not move, and the vorticity inside the patch may be
is pushed inside forming a singular boundary layer with a sharp
treated as uniform ρ = ρ ∞ . We choose local coordinates
peak of vorticity, the overshoot. We emphasize that unlike
y = r − R, dx = −Rdθ relative to the actual vorticity jump
known boundary layers in rotating fluids, such as Ekman layers,
y = 0. In a weakly nonlinear, long-wave approximation that we
our layer occurs in inviscid fluid.
adopt here, we may neglect the curvature of the blob and treat
The waves in the overshoot are the edge waves we study. To
the squeezed patch as the lower half-plane y < 0.
isolate and emphasize the effect we focus on the circular patch,
The gap that emerges between the vorticity jump and the
whose continuous version, a circular Rankine vortex, shows no
irrotational flow contains the boundary vorticity layer. It is a
dynamics whatsoever.
strip with a fixed bottom and a varying top, which is the front of
Rankine vortex We will considerÍflows with zero angular
the ambient flow, Fig. 1. We denote its graph by y = h(x). The
momentum of vortex matter L ≡ i r i × vi = 0 (vi is the
front oscillates about∮ the boundary of the equivalent Rankine
velocity of a vortex). A ‘naive’ continuum version of such flow
vortex h̄ = (2πR)−1 hdx. Then the vorticity layer is a strip in
is the Rankine vortex: a circular patch of a uniform vorticity
the upper half plane
ω0 = −2ΩΘ(R 0 − r ), circulation −N Γ, and area πR 02 = N Γ/2Ω.
This flow is stationary. B = (0, h(x)]. (7)
Í At equal circulations the density of vortices ρ(r ) =
i ≤N δ (r − r i ) is also the vorticity ω(r ) = −Γρ(r ). Hence, the The hydrodynamics of the edge mode is characterized by the
3
first two moments of the overshoot, the line density of vortices The sum rule The value of the mean dipole moment (13)
in B and the dipole moment: promptly follows from the sum rule for the angular momentum
∫ Õ
n(x) ≡ [ρ(x, y)−ρ 0 (y)]dy, L= r i × vi . (16)
i
∫ (8)
d(x) = − y [ρ(x, y) − ρ 0 (y)]dy. We multiply the Kirchhoff equations (5) (with all Γi equal) by
zi and sum over all vortices. Thus we obtain the sum rule:
We assume that the near stationary flows are in local equilib- Õ
rium: the number of vortices in a line element is uniform along L=Ω r i2 − (Γ/4π )N (N − 1). (17)
the boundary
The last term is∫ the number of vortex pairs. The term
(Γ/4π )N 2 = Ω ρ 0r 2 dV is the angular momentum of the
∫
ρ(x, y)dy = N /(2πR). (9) continuous Rankine vortex. The sub-leading term (Γ/4π )N
counts the excluded terms i = j in the sum (5). It reflects the
Then discreteness of the vortex matter. Hence,
n(x) ≡ ρ ∞ (h̄ − h(x)).
∫
(10)
L = Ω (ρ − ρ 0 )r 2 dV + (Γ/4π )N . (18)
This is our edge mode.
We will see that in a near stationary flow, where the vorticity Then (8) implies
jump is still, the height h and the moment d move subject to
the relation [30] L = N Γ(−2d¯ + 1/4π ). (19)
Balance of forces The forces the fluid exerts on both sides η = Γd¯ in front of the dispersive term in (27) with the odd
of the still vorticity jump must be in balance. These are the viscosity.
Coriolis force acting on the vorticity jump from the bulk side Pressure, the ambient flow, and Dynamic Boundary Con-
and the centrifugal force, the
∮ effect of squeezing. Consider ditions The vorticity of the flow outside the boundary layer is
the free energy E − 2ΩL = Edx. Up to a constant it reads uniform. Such flows are governed by the Bernoulli equation
E = y <0 12 u 2 − 2Ωψ dy + 12 y >0 u 2 dy (the singular point
∫ ∫ (with the Coriolis potential)
should be excluded from the integration). The balance condition 1
y<B: ϕÛ + u 2 + p = 2ΩΘ(−y)ψ , (29)
follows from the requirement that the free energy density be 2
continuous across the jump (which also gives the extremum
where ϕ is the hydrodynamic potential of the irrotational
condition for the energy with respect to h):
part of the flow. Such a flow is completely determined by the
1 boundary value of pressure, also called the Dynamic Bound-
balance at y = 0 : −2Ωψ |−0 = disc [u 2 ]. (24)
2 y=0 x ary Condition (DBC). It is instructive to determine it. The
irrotational flow outside of B is generated by the double layer.
The boundary values of the stream function and the velocity The boundary value of the harmonic hydrodynamic potential
u x |±0 = (Γ/2)d xH + 2U Θ(y) follow from (21) and (15). Hence, follows from (21). It is ϕ | ∂B = (Γ/2)d H . Since we already
the balance reads know the dynamics of d we can compute ϕÛ and read off the pres-
sure from (29). Omitting the algebra we present the Bernoulli
ΩΓd = 2U 2 + ΓU ∂x d H . (25)
equation evaluated at both boundaries
This is relation (11). y ∈ ∂B : (∂t + U ∂x ) ϕ = 2η∂x uy . (30)
Kinematic boundary conditions Once we have the stream
function, we employ the KBC that yields the edge dynamics. Comparing (30) to (29) we find the DBC, also satisfied at both
In the rotating frame the KBC reads boundaries
d 1
KBC: (∂t − U ∂x ) h = − [ψ |h(x ) ]. (26) DBC y ∈ ∂B : p + U 2 = −2η∂x uy . (31)
dx 2
Combining the KBC with (22) we obtain our main result. The centrifugal energy in (31) is an effect of squeezing.
Main result: Benjamin-Davis-Ono equation The number of Anomalous stress, odd viscosity and stress-free boundary
vortices trapped in the line element of B evolves according to conditions The vorticity layer is formed and moves to offset
the BDO equation [12] the stress the vortex matter exerts a on the surrounding fluid. In
the bulk it was computed in [11] and called there anomalous
BDO : (∂t + U ∂x )n − (Γ/2)∂x n 2 − 4dn ¯ xH = 0. (27) stress. The anomalous stress yields a dissipation-free force
acting normal to a shear flow. Its traceless part reads
The dispersion (1) is the linear approximation of BDO. The
τx x − τyy = 4η∂x uy , τxy = −2η∂x u x . (32)
BDO is an integrable equation with explicit periodic and soli-
tonic solutions [18]. A remarkable property distinguishes BDO The value of the kinetic coefficient η was found to be a universal
from other soliton equations: the first integral of BDO, the fraction of the circulation quantum η = Γ/8π . The phenomeno-
‘charge’, is quantized in units of 8π d.
¯ For d¯ given by (13) the
logical possibility of such stress in fluids had been discussed in
soliton charge is integer [10], where η was called odd viscosity.
∮ The trace of the anomalous stress is the pressure (plus the
quantization: n dx ∈ Z. (28) centrifugal energy) in the Bernoulli equation (29),
1 1
Quantization of solitons is our major result: the edge mode is a p + U 2 = − (τx x + τyy ). (33)
motion of discrete vortices trapped in the overshoot. Naturally, 2 2
their number is integer. Explicitly, the one-soliton solution in Comparing (31) and (32) we observe that the normal component
the frame ξ = x − U t reads of the stress vanishes
8dA
¯ DBC : τyy | ∂B = 0. (34)
soliton : ns (ξ , t) = , vs = η/A.
(ξ + vs t)2 + A2
This is an important conclusion. We may now reverse the logic
It carries precisely one vorticity quantum unit. The constant of the paper. If we impose the no-normal-stress DBC (34) on
|A| l determines the width, the height and the speed of the physical grounds and use the explicit form of the stress (32) we
soliton. Bumps A > 0 are supersonic, vs > 0, dents A < 0 are will obtain the balance relation, and the entire dynamics.
subsonic, vs < 0. Edge dynamics as action of Virasoro-Bott group The edge
In the remaining part of the paper we discuss the boundary dynamics has an important geometric interpretation; the dynam-
conditions for the vortex matter and identify the coefficient ics is merely the action of the centrally extended orientation
5
[23] A. G., Abanov, E. Bettelheim, P. Wiegmann, Integrable Vitelli, Spatiotemporal order and emergent edge currents in
hydrodynamics of Calogero–Sutherland model: bidirectional active spinner materials. Proc. Natl. Acad. Sci. USA 113,
Benjamin–Ono equation. J. Phys. A: 42, 135201 (2009), and 12919–12924 (2016).
refs therein. [28] D. Crowdy, J. Marshall, Analytical solutions for rotating vortex
[24] M. E. Stern and L. J. Pratt, Dynamics of vorticity fronts, J.Fluid arrays involving multiple vortex patches, J.Fluid Mech., 523,
Mech. 161: 513 (1985); S. Maslowe and L. Redekopp, Long 307-337 (2005).
non-linear waves in stratified shear flows, J.Fluid Mech. 101: [29] A balk analog of this effect is known in the theory of superfluids
321 (1980). since 1960’s, see literature comments.
[25] See [26] and references therein. [30] The relation (11) also means that the dipole moment computed
[26] D. Banerjee, A. Souslov, A. G. Abanov, V. Vitelli, Odd viscosity with respect to the moving front y = h(x) is a constant equal to
in chiral active fluids Nature Commun. 8, 1573 (2017). 1/(8π ) in agreement with [16].
[27] van Zuiden, B. C., Paulose, J., Irvine, W. T. M., Bartolo, D.