An official website of the United States government
We perform three-dimensional numerical simulations to investigate the sedimentation of a single sphere in the absence and presence of a simple cross-shear flow in a yield stress fluid with weak inertia. In our simulations, the settling flow is considered to be the primary flow, whereas the linear cross-shear flow is a secondary flow with amplitude 10 % of the primary flow. To study the effects of elasticity and plasticity of the carrying fluid on the sphere drag as well as the flow dynamics, the fluid is modelled using the elastoviscoplastic constitutive laws proposed by Saramito ( J. Non-Newtonian Fluid Mech. , vol. 158 (1–3), 2009, pp. 154–161). The extra non-Newtonian stress tensor is fully coupled with the flow equation and the solid particle is represented by an immersed boundary method. Our results show that the fore–aft asymmetry in the velocity is less pronounced and the negative wake disappears when a linear cross-shear flow is applied. We find that the drag on a sphere settling in a sheared yield stress fluid is reduced significantly compared to an otherwise quiescent fluid. More importantly, the sphere drag in the presence of a secondary cross-shear flow cannot be derived from the pure sedimentation drag law owing to the nonlinear coupling between the simple shear flow and the uniform flow. Finally, we show that the drag on the sphere settling in a sheared yield stress fluid is reduced at higher material elasticity mainly due to the form and viscous drag reduction.
more »
« less
Analytic reparametrizations of translation toral flows with countable Lebesgue spectrum
We give an example of a real analytic reparametrization of a minimal translation flow on $$\mathbb{T}^{5}$$ that has a Lebesgue spectrum with infinite multiplicity. As a consequence, we see that the dynamics on a non-Diophantine invariant torus of an almost integrable Hamiltonian system can be spectrally equivalent to a Bernoulli flow.
more »
« less
- Award ID(s):
- 2101464
- PAR ID:
- 10538200
- Publisher / Repository:
- AIMS
- Date Published:
- Journal Name:
- Discrete and Continuous Dynamical Systems
- Volume:
- 43
- Issue:
- 10
- ISSN:
- 1078-0947
- Page Range / eLocation ID:
- 3706 to 3727
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Quantum algorithms for tasks such as factorization, search, and simulation rely on control flow such as branching and iteration that depends on the value of data in superposition. High-level programming abstractions for control flow, such as switches, loops, higher-order functions, and continuations, are ubiquitous in classical languages. By contrast, many quantum languages do not provide high-level abstractions for control flow in superposition, and instead require the use of hardware-level logic gates to implement such control flow. The reason for this gap is that whereas a classical computer supports control flow abstractions using a program counter that can depend on data, the typical architecture of a quantum computer does not analogously provide a program counter that can depend on data in superposition. As a result, the complete set of control flow abstractions that can be correctly realized on a quantum computer has not yet been established. In this work, we provide a complete characterization of the properties of control flow abstractions that are correctly realizable on a quantum computer. First, we prove that even on a quantum computer whose program counter exists in superposition, one cannot correctly realize control flow in quantum algorithms by lifting the classical conditional jump instruction to work in superposition. This theorem denies the ability to directly lift general abstractions for control flow such as the λ-calculus from classical to quantum programming. In response, we present the necessary and sufficient conditions for control flow to be correctly realizable on a quantum computer. We introduce the quantum control machine, an instruction set architecture featuring a conditional jump that is restricted to satisfy these conditions. We show how this design enables a developer to correctly express control flow in quantum algorithms using a program counter in place of logic gates.more » « less
-
This research-to-practice paper reports students' perceptions on using a teaching framework called authentic learning to learn about information flow analysis. Using information flow analysis, practitioners find the flow of data across one or multiple programs. Information flow analysis is helpful for multiple software engineering activities, such as detecting software bugs and developing software fuzzing techniques. Despite being helpful in practice, learning about information flow analysis remains an impediment for students, which in turn prevents them from reaping the benefits of using information flow analysis. Therefore, an application of a teaching framework can aid students in learning about information flow analysis. To that end, we systematically investigate if authentic learning---a teaching framework that emphasizes on providing hands on experience for a practically relevant topic---is helpful for students to learn about information flow analysis. Upon conducting the exercise, students are asked to participate in a survey where they report perceptions about the conducted exercise. We analyze data from 170 students who were introduced to information flow analysis through an authentic learning-based exercise. From our analysis, we observe: (i) majority of the students to have little to no knowledge about information flow analysis prior to conducting the authentic learning-based exercise; (ii) 74.1\% of the 170 students find the authentic learning-based exercise helpful to learn about information flow analysis; and (iii) student perceptions to vary for the three components of the authentic learning-based exercise. We conclude our paper by describing the implications of our findings for instructors and researchers. For example, instructors should consider the education level of students while designing activities for individual authentic learning components to educate students on information flow analysis. Furthermore, researchers can devise strategies on how instructors can allocate their efforts for each authentic learning component through empirical studies. These studies may investigate the correlation between reported helpfulness and socio-technical factors, such as education level of students.more » « less
-
null (Ed.)We explore flow of a completely wetting fluid in a funnel, with particular focus on contact line instabilities at the fluid front. While the flow in a funnel may be related to a number of other flow configurations as limiting cases, understanding its stability is complicated due to the presence of additional azimuthal curvature, as well as due to convergent flow effects imposed by the geometry. The convergent nature of the flow leads to thickening of the film, therefore influencing its stability properties. In this work, we analyse these stability properties by combining physical experiments, asymptotic modelling, self-similar type of analysis and numerical simulations. We show that an appropriate long-wave-based model, supported by the input from experiments, simulations and linear stability analysis that originates from the flow down an incline plane, provides a basic insight allowing an understanding of the development of contact line instability and emerging length scales.more » « less
-
The principle of convergence stability for geometric flows is the combination of the continuous dependence of the flow on initial conditions, with the stability of fixed points. It implies that if the flow from an initial state g0 exists for all time and converges to a stable fixed point, then the flows of solutions that start near g0 also converge to fixed points. We show this in the case of the Ricci flow, carefully proving the continuous dependence on initial conditions. Symmetry assumptions on initial geometries are often made to simplify geometric flow equations. As an application of our results, we extend known convergence results to open sets of these initial data, which contain geometries with no symmetries.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.3934/dcds.2023063
