The geometry of the critical set of nonlinear periodic Sturm-Liouville operators

We study the critical set C of the nonlinear differential operator F(u) = -u" + f(u) defined on a Sobolev space of periodic functions H^p(S^1), p >= 1. Let R^2_{xy} \subset R^3 be the plane z = 0 and, for n > 0, let cone_n be the cone x^2 + y^2 = tan^2 z, |z - 2 pi n| 0} cone_n. For a generic smooth nonlinearity f: R -> R with surjective derivative, we show that there is a diffeomorphism between the pairs (H^p(S^1), C) and (R^3, Sigma) x H where H is a real separable infinite dimensional Hilbert space.Comment: Added references, fixed typos; 24 pages, 4 figure

Elastic turbulence in curvilinear flows of polymer solutions

Following our first report (A. Groisman and V. Steinberg, \sl Nature $\bf 405$, 53 (2000)) we present an extended account of experimental observations of elasticity induced turbulence in three different systems: a swirling flow between two plates, a Couette-Taylor (CT) flow between two cylinders, and a flow in a curvilinear channel (Dean flow). All three set-ups had high ratio of width of the region available for flow to radius of curvature of the streamlines. The experiments were carried out with dilute solutions of high molecular weight polyacrylamide in concentrated sugar syrups. High polymer relaxation time and solution viscosity ensured prevalence of non-linear elastic effects over inertial non-linearity, and development of purely elastic instabilities at low Reynolds number (Re) in all three flows. Above the elastic instability threshold, flows in all three systems exhibit features of developed turbulence. Those include: (i)randomly fluctuating fluid motion excited in a broad range of spatial and temporal scales; (ii) significant increase in the rates of momentum and mass transfer (compared to those expected for a steady flow with a smooth velocity profile). Phenomenology, driving mechanisms, and parameter dependence of the elastic turbulence are compared with those of the conventional high Re hydrodynamic turbulence in Newtonian fluids.Comment: 23 pages, 26 figure

Representations and KK-theory of Discrete Groups

Let $\Gamma$ be a discrete group of finite virtual cohomological dimension with certain finiteness conditions of the type satisfied by arithmetic groups. We define a representation ring for $\Gamma$, determined on its elements of finite order, which is of finite type. Then we determine the contribution of this ring to the topological $K$-theory $K^*(B\Gamma)$, obtaining an exact formula for the difference in terms of the cohomology of the centralizers of elements of finite order in $\Gamma$.Comment: 4 page

Chaotic flow and efficient mixing in a micro-channel with a polymer solution

Microscopic flows are almost universally linear, laminar and stationary because Reynolds number, $Re$, is usually very small. That impedes mixing in micro-fluidic devices, which sometimes limits their performance. Here we show that truly chaotic flow can be generated in a smooth micro-channel of a uniform width at arbitrarily low $Re$, if a small amount of flexible polymers is added to the working liquid. The chaotic flow regime is characterized by randomly fluctuating three-dimensional velocity field and significant growth of the flow resistance. Although the size of the polymer molecules extended in the flow may become comparable with the micro-channel width, the flow behavior is fully compatible with that in a table-top channel in the regime of elastic turbulence. The chaotic flow leads to quite efficient mixing, which is almost diffusion independent. For macromolecules, mixing time in this microscopic flow can be three to four orders of magnitude shorter than due to molecular diffusion.Comment: 8 pages,7 figure

Symplectic cohomology and q-intersection numbers

Given a symplectic cohomology class of degree 1, we define the notion of an equivariant Lagrangian submanifold. The Floer cohomology of equivariant Lagrangian submanifolds has a natural endomorphism, which induces a grading by generalized eigenspaces. Taking Euler characteristics with respect to the induced grading yields a deformation of the intersection number. Dehn twists act naturally on equivariant Lagrangians. Cotangent bundles and Lefschetz fibrations give fully computable examples. A key step in computations is to impose the "dilation" condition stipulating that the BV operator applied to the symplectic cohomology class gives the identity. Equivariant Lagrangians mirror equivariant objects of the derived category of coherent sheaves.Comment: 32 pages, 9 figures, expanded introduction, added details of example 7.5, added discussion of sign

Breakdown of superfluidity of an atom laser past an obstacle

The 1D flow of a continuous beam of Bose-Einstein condensed atoms in the presence of an obstacle is studied as a function of the beam velocity and of the type of perturbing potential (representing the interaction of the obstacle with the atoms of the beam). We identify the relevant regimes: stationary/time-dependent and superfluid/dissipative; the absence of drag is used as a criterion for superfluidity. There exists a critical velocity below which the flow is superfluid. For attractive obstacles, we show that this critical velocity can reach the value predicted by Landau's approach. For penetrable obstacles, it is shown that superfluidity is recovered at large beam velocity. Finally, enormous differences in drag occur when switching from repulsive to attractive potential.Comment: 15 pages, 6 figure