Search

The time-dependent Ginzburg-Landau (TDGL) model requires the choice of a gauge for the problem to be mathematically well-posed. In the literature, three gauges are commonly used: the Coulomb gauge, the Lorenz gauge and the temporal gauge. It has been noticed [J. Fleckinger-Pell\'e et al., Technical report, Argonne National Lab. (1997)] that these gauges can be continuously related by a single parameter considering the more general $\omega$-gauge, where $\omega$ is a non-negative real parameter. In this article, we study the influence of the gauge parameter $\omega$ on the convergence of numerical simulations of the TDGL model using finite element schemes. A classical benchmark is first analysed for different values of $\omega$ and artefacts are observed for lower values of $\omega$. Then, we relate these observations with a systematic study of convergence orders in the unified $\omega$-gauge framework. In particular, we show the existence of a tipping point value for $\omega$, separating optimal convergence behaviour and a degenerate one. We find that numerical artefacts are correlated to the degeneracy of the convergence order of the method and we suggest strategies to avoid such undesirable effects. New 3D configurations are also investigated (the sphere with or without geometrical defect).

We present and distribute a parallel finite-element toolbox written in the free software FreeFem for computing the Bogoliubov-de Gennes (BdG) spectrum of stationary solutions to one- and two-component Gross-Pitaevskii (GP) equations, in two or three spatial dimensions. The parallelization of the toolbox relies exclusively upon the recent interfacing of FreeFem with the PETSc library. The latter contains itself a wide palette of state-of-the-art linear algebra libraries, graph partitioners, mesh generation and domain decomposition tools, as well as a suite of eigenvalue solvers that are embodied in the SLEPc library. Within the present toolbox, stationary states of the GP equations are computed by a Newton method. Branches of solutions are constructed using an adaptive step-size continuation algorithm. The combination of mesh adaptivity tools from FreeFem with the parallelization features from PETSc makes the toolbox efficient and reliable for the computation of stationary states. Their BdG spectrum is computed using the SLEPc eigenvalue solver. We perform extensive tests and validate our programs by comparing the toolbox's results with known theoretical and numerical findings that have been reported in the literature., Comment: arXiv admin note: text overlap with arXiv:2303.05350

The Hall-Vinen-Bekharevich-Khalatnikov (HVBK) model is widely used to numerically study quantum turbulence in superfluid helium. Based on the two-fluid model of Tisza and Landau, the HVBK model describes the normal (viscous) and superfluid (inviscid) components of the flow using two Navier-Stokes type equations, coupled through a mutual friction force term. This feature makes the HVBK model very appealing in applying statistical tools used in classical turbulence to study properties of quantum turbulence. A large body of literature used low-order statistics (spectra, or second-order structure functions in real space) to unravel exchanges between the two fluids at several levels. The novelty in this study is to use a theoretical approach based on first principles to derive transport equations for the third-order moments for each component of velocity., Comment: 27 pages, 10 figures, accepted for publication in Journal of Fluid Mechanics

We present a finite element toolbox for the computation of Bogoliubov-de Gennes modes used to assess the linear stability of stationary solutions of the Gross-Pitaevskii (GP) equation. Applications concern one (single GP equation) or two-component (a system of coupled GP equations) Bose-Einstein condensates in one, two and three dimensions of space. An implementation using the free software FreeFem++ is distributed with this paper. For the computation of the GP stationary (complex or real) solutions we use a Newton algorithm coupled with a continuation method exploring the parameter space (the chemical potential or the interaction constant). Bogoliubov-de Gennes equations are then solved using dedicated libraries for the associated eigenvalue problem. Mesh adaptivity is proved to considerably reduce the computational time for cases implying complex vortex states. Programs are validated through comparisons with known theoretical results for simple cases and numerical results reported in the literature., Comment: 7 figures

We present finite-element numerical algorithms for the identification of vortices in quantum fluids described by a macroscopic complex wave function. Their implementation using the free software FreeFem++ is distributed with this paper as a post-processing toolbox that can be used to analyse numerical or experimental data. Applications for Bose-Einstein condensates (BEC) and superfluid helium flows are presented. Programs are tested and validated using either numerical data obtained by solving the Gross-Pitaevskii equation or experimental images of rotating BEC. Vortex positions are computed as topological defects (zeros) of the wave function when numerical data are used. For experimental images, we compute vortex positions as local minima of the atomic density, extracted after a simple image processing. Once vortex centers are identified, we use a fit with a Gaussian to precisely estimate vortex radius. For vortex lattices, the lattice parameter (inter-vortex distance) is also computed. The post-processing toolbox offers a complete description of vortex configurations in superfluids. Tests for two-dimensional (giant vortex in rotating BEC, Abrikosov vortex lattice in experimental BEC) and three-dimensional (vortex rings, Kelvin waves and quantum turbulence fields in superfluid helium) configurations show the robustness of the software. The communication with programs providing the numerical or experimental wave function field is simple and intuitive. The post-processing toolbox can be also applied for the identification of vortices in superconductors.

Numerical methods for solving the Navier-Stokes equations for classical (or normal) viscous fluids are well established. This is also the case for the Gross-Pitaevskii equation, governing quantum inviscid flows (or superfluids) in the zero temperature limit. In quantum flows, like liquid helium II at intermediate temperatures between zero and 2.17 K, a normal fluid and a superfluid coexist with independent velocity fields. The most advanced existing models for such systems use the Navier-Stokes equations for the normal fluid and a simplified description of the superfluid, based on the dynamics of quantized vortex filaments, with ad hoc reconnection rules. There was a single attempt (C. Coste, The European Physical Journal B - Condensed Matter and Complex Systems, 1998) to couple Navier-Stokes and Gross-Pitaevskii equations in a global model intended to describe the compressible two-fluid liquid helium II. We present in this contribution a new numerical model to couple a Navier-Stokes incompressible fluid with a Gross-Pitaevskii superfluid. Coupling terms in the global system of equations involve new definitions of the following concepts: the regularized superfluid vorticity and velocity fields, the friction force exerted by quantized vortices to the normal fluid, the covariant gradient operator in the Gross-Pitaevskii based on a slip velocity respecting the dynamics of vortex lines in the normal fluid. A numerical algorithm based on pseudo-spectral Fourier methods is presented for solving the coupled system of equations.Finally, we numerically test and validate the new numerical system against well-known benchmarks for the evolution in a normal fluid of different types or arrangements of quantized vortices (vortex crystal, vortex dipole and vortex rings). The new coupling model opens new possibilities to revisit and enrich existing numerical results for complex quantum fluids., Comment: 32 pages, 7 figures

The purpose of this article is to study the convergence of a low order finite element approximation for a natural convection problem. We prove that the discretization based on P1 polynomials for every variable (velocity, pressure and temperature) is well-posed if used with a penalty term in the divergence equation, to compensate the loss of an inf-sup condition. With mild assumptions on the pressure regularity, we recover convergence for the Navier-Stokes-Boussinesq system, provided the penalty term is chosen in accordance with the mesh size. We express conditions to obtain optimal order of convergence. We illustrate theoretical convergence results with extensive examples. The computational cost that can be saved by this approach is also assessed.

Pulsed field magnetization leads to trapped magnetic field persistent for long times.We present a one-dimensional model of the interaction between an electromagnetic wave and a superconducting slab based on the Maxwell-Ginzburg-Landau (Abelian Higgs) theory. We first derive the model starting from a Lagrangian coupling the electromagnetic field with the Ginzburg-Landau potential for the superconductor. Then we explore numerically its capabilities by applying a Gaussian vector potential pulse and monitoring usual quantities such as the modulus and the phase of the order parameter. We also introduce defects in the computational domain. We show that the presence of defects enhances the remanent vector potential and diminishes the modulus of the order parameter, in agreement with existing experiments.

This paper is concerned with the numerical investigation of Quantum Turbulence (QT) described by the Gross-Pitaevskii (GP) equation. Numerical simulations are performed using a parallel (MPI-OpenMP) code based on a pseudo-spectral spatial discretization and second order splitting for the time integration. We start by revisiting (in the framework of high-performance/high-accuracy computations) well-known GP-QT settings, based on the analogy with classical vortical flows: Taylor-Green (TG) vortices and Arnold-Beltrami-Childress (ABC) flow. Two new settings are suggested to build the initial condition for the QT simulation. They are based on the direct manipulation of the wave function by generating a smoothed random phase (SRP) field, or seeding random vortex rings (RVR) pairs. The new initial conditions have the advantage to be simpler to implement than the TG and ABC approaches, while generating statistically equivalent QT fields. Each of these four GP-QT settings is described in detail by defining corresponding benchmarks that could be used to validate/calibrate new GP codes. We offer a comprehensive description of the numerical and physical parameters of each benchmark. We analyze the results in detail and present values, spectra and structure functions of main quantities of interest (energy, helicity, etc.) that are useful to describe the turbulent flow. Some general features of QT are identified, despite the variety of initial states., Comment: 61 pages, 21 figures

In this paper we combine concepts from Riemannian Optimization and the theory of Sobolev gradients to derive a new conjugate gradient method for direct minimization of the Gross-Pitaevskii energy functional with rotation. The conservation of the number of particles constrains the minimizers to lie on a manifold corresponding to the unit $L^2$ norm. The idea developed here is to transform the original constrained optimization problem to an unconstrained problem on this (spherical) Riemannian manifold, so that fast minimization algorithms can be applied as alternatives to more standard constrained formulations. First, we obtain Sobolev gradients using an equivalent definition of an $H^1$ inner product which takes into account rotation. Then, the Riemannian gradient (RG) steepest descent method is derived based on projected gradients and retraction of an intermediate solution back to the constraint manifold. Finally, we use the concept of the Riemannian vector transport to propose a Riemannian conjugate gradient (RCG) method for this problem. It is derived at the continuous level based on the "optimize-then-discretize" paradigm instead of the usual "discretize-then-optimize" approach, as this ensures robustness of the method when adaptive mesh refinement is performed in computations. We evaluate various design choices inherent in the formulation of the method and conclude with recommendations concerning selection of the best options. Numerical tests demonstrate that the proposed RCG method outperforms the simple gradient descent (RG) method in terms of rate of convergence. While on simple problems a Newton-type method implemented in the {\tt Ipopt} library exhibits a faster convergence than the (RCG) approach, the two methods perform similarly on more complex problems requiring the use of mesh adaptation. At the same time the (RCG) approach has far fewer tunable parameters., Comment: 28 pages, 13 figures

We present a new numerical system using classical finite elements with mesh adaptivity for computing stationary solutions of the Gross-Pitaevskii equation. The programs are written as a toolbox for FreeFem++ (www.freefem.org), a free finite-element software available for all existing operating systems. This offers the advantage to hide all technical issues related to the implementation of the finite element method, allowing to easily implement various numerical algorithms.Two robust and optimised numerical methods were implemented to minimize the Gross-Pitaevskii energy: a steepest descent method based on Sobolev gradients and a minimization algorithm based on the state-of-the-art optimization library Ipopt. For both methods, mesh adaptivity strategies are implemented to reduce the computational time and increase the local spatial accuracy when vortices are present. Different run cases are made available for 2D and 3D configurations of Bose-Einstein condensates in rotation. An optional graphical user interface is also provided, allowing to easily run predefined cases or with user-defined parameter files. We also provide several post-processing tools (like the identification of quantized vortices) that could help in extracting physical features from the simulations. The toolbox is extremely versatile and can be easily adapted to deal with different physical models.

We address the question of constructing simple inviscid vortex models which optimally approximate realistic flows as solutions of an inverse problem. Assuming the model to be incompressible, inviscid and stationary in the frame of reference moving with the vortex, the "structure" of the vortex is uniquely characterized by the functional relation between the streamfunction and vorticity. It is demonstrated how the inverse problem of reconstructing this functional relation from data can be framed as an optimization problem which can be efficiently solved using variational techniques. In contrast to earlier studies, the vorticity function defining the streamfunction-vorticity relation is reconstructed in the continuous setting subject to a minimum number of assumptions. To focus attention, we consider flows in 3D axisymmetric geometry with vortex rings. To validate our approach, a test case involving Hill's vortex is presented in which a very good reconstruction is obtained. In the second example we construct an optimal inviscid vortex model for a realistic flow in which a more accurate vorticity function is obtained than produced through an empirical fit. When compared to available theoretical vortex-ring models, our approach has the advantage of offering a good representation of both the vortex structure and its integral characteristics., Comment: 33 pages, 10 figures