-
Low-Mass Galaxy Interactions Trigger Black Hole Activity
Authors:
Marko Mićić,
Jimmy A. Irwin,
Preethi Nair,
Brenna N. Wells,
Olivia J. Holmes,
Jackson T. Eames
Abstract:
The existence of high-$z$ over-massive supermassive black holes represents a major conundrum in our understanding of black hole evolution. In this paper, we probe from the observational point of view how early Universe environmental conditions could have acted as an evolutionary mechanism for the accelerated growth of the first black holes. Under the assumption that the early Universe is dominated…
▽ More
The existence of high-$z$ over-massive supermassive black holes represents a major conundrum in our understanding of black hole evolution. In this paper, we probe from the observational point of view how early Universe environmental conditions could have acted as an evolutionary mechanism for the accelerated growth of the first black holes. Under the assumption that the early Universe is dominated by dwarf galaxies, we investigate the hypothesis that dwarf-dwarf galaxy interactions trigger black hole accretion. We present the discovery of 82 dwarf-dwarf galaxy pairs and 11 dwarf galaxy groups using the Hubble Space Telescope, doubling existing samples. The dwarf systems span a redshift range of 0.13$<$z$<$1.5, and a stellar mass range of 7.24$<$log(M$_*$/\(M_\odot\))$<$9.73. We performed an X-ray study of a subset of these dwarf systems with Chandra and detected six new AGN, increasing the number of known dwarf-dwarf-merger-related AGN from one to seven. We then compared the frequency of these AGN in grouped/paired dwarfs to that of isolated dwarfs and found a statistically significant enhancement (4$σ$-6$σ$) in the interacting sample. This study, the first of its kind at the lowest mass scales, implies that the presence of a nearby dwarf neighbor is efficient in triggering black hole accretion. These results open new avenues for indirect studies of the emergence of the first supermassive black holes.
△ Less
Submitted 28 May, 2024;
originally announced May 2024.
-
Multigrid on unstructured meshes with regions of low quality cells
Authors:
Yuxuan Chen,
Garth N. Wells
Abstract:
The convergence of multigrid methods degrades significantly if a small number of low quality cells are present in a finite element mesh, and this can be a barrier to the efficient and robust application of multigrid on complicated geometric domains. The degraded performance is observed also if intermediate levels in a non-nested geometric multigrid problem have low quality cells, even when the fin…
▽ More
The convergence of multigrid methods degrades significantly if a small number of low quality cells are present in a finite element mesh, and this can be a barrier to the efficient and robust application of multigrid on complicated geometric domains. The degraded performance is observed also if intermediate levels in a non-nested geometric multigrid problem have low quality cells, even when the fine grid is high quality. It is demonstrated for geometric multigrid methods that the poor convergence is due to the local failure of smoothers to eliminate parts of error around cells of low quality. To overcome this, a global--local combined smoother is developed to maintain effective relaxation in the presence of a small number of poor quality cells. The smoother involves the application of a standard smoother on the whole domain, followed by local corrections for small subdomains with low quality cells. Two- and three-dimensional numerical experiments demonstrate that the degraded convergence of multigrid for low quality meshes can be restored to the high quality mesh reference case using the proposed smoother. The effect is particularly pronounced for higher-order finite elements. The results provide a basis for develo** efficient, non-nested geometric multigrid methods for complicated engineering geometries.
△ Less
Submitted 20 February, 2024;
originally announced February 2024.
-
Hypersparse Traffic Matrix Construction using GraphBLAS on a DPU
Authors:
William Bergeron,
Michael Jones,
Chase Barber,
Kale DeYoung,
George Amariucai,
Kaleb Ernst,
Nathan Fleming,
Peter Michaleas,
Sandeep Pisharody,
Nathan Wells,
Antonio Rosa,
Eugene Vasserman,
Jeremy Kepner
Abstract:
Low-power small form factor data processing units (DPUs) enable offloading and acceleration of a broad range of networking and security services. DPUs have accelerated the transition to programmable networking by enabling the replacement of FPGAs/ASICs in a wide range of network oriented devices. The GraphBLAS sparse matrix graph open standard math library is well-suited for constructing anonymize…
▽ More
Low-power small form factor data processing units (DPUs) enable offloading and acceleration of a broad range of networking and security services. DPUs have accelerated the transition to programmable networking by enabling the replacement of FPGAs/ASICs in a wide range of network oriented devices. The GraphBLAS sparse matrix graph open standard math library is well-suited for constructing anonymized hypersparse traffic matrices of network traffic which can enable a wide range of network analytics. This paper measures the performance of the GraphBLAS on an ARM based NVIDIA DPU (BlueField 2) and, to the best of our knowledge, represents the first reported GraphBLAS results on a DPU and/or ARM based system. Anonymized hypersparse traffic matrices were constructed at a rate of over 18 million packets per second.
△ Less
Submitted 20 October, 2023;
originally announced October 2023.
-
SDSS J125417.98+274004.6: An X-ray Detected Minor Merger Dual AGN
Authors:
Marko Mićić,
Brenna N. Wells,
Olivia J. Holmes,
Jimmy A. Irwin
Abstract:
In this paper, we present the discovery of a dual AGN in a $\sim$11:1 minor merger between the galaxy SDSS J125417.98+274004.6 and its unnamed dwarf satellite. We calculated stellar masses of the primary and secondary galaxy to be 2.5$\times$10$^{10}$M$_{\odot}$ and 2.2$\times$10$^{9}$M$_{\odot}$, respectively. We used archival Chandra X-ray observations to assess the presence of AGN. We found tha…
▽ More
In this paper, we present the discovery of a dual AGN in a $\sim$11:1 minor merger between the galaxy SDSS J125417.98+274004.6 and its unnamed dwarf satellite. We calculated stellar masses of the primary and secondary galaxy to be 2.5$\times$10$^{10}$M$_{\odot}$ and 2.2$\times$10$^{9}$M$_{\odot}$, respectively. We used archival Chandra X-ray observations to assess the presence of AGN. We found that both AGN have comparable luminosities of $\sim$2$\times$10$^{42}$ erg s$^{-1}$, with the secondary AGN being more likely to be the dominant one. The galaxies are in the early stages of the merger and are connected by a tidal bridge. Previous works suggest that the secondary AGN should experience a brief but intensive period of Eddington-limit approaching accretion during the early stages of the merger. During the merger, the secondary black hole can increase its mass by a factor of ten. SDSS J125417.98+274004.6 is the first known dual AGN in an early-stage minor merger with a comparably or more luminous secondary AGN. As such, it will be of great value for future studies of merger-triggered accretion and black hole growth mechanisms.
△ Less
Submitted 17 January, 2024; v1 submitted 15 October, 2023;
originally announced October 2023.
-
Design and analysis of an exactly divergence-free hybridized discontinuous Galerkin method for incompressible flows on meshes with quadrilateral cells
Authors:
Joseph P. Dean,
Sander Rhebergen,
Garth N. Wells
Abstract:
We generalise a hybridized discontinuous Galerkin method for incompressible flow problems to non-affine cells, showing that with a suitable element map** the generalised method preserves a key invariance property that eludes most methods, namely that any irrotational component of the prescribed force is exactly balanced by the pressure gradient and does not affect the velocity field. This invari…
▽ More
We generalise a hybridized discontinuous Galerkin method for incompressible flow problems to non-affine cells, showing that with a suitable element map** the generalised method preserves a key invariance property that eludes most methods, namely that any irrotational component of the prescribed force is exactly balanced by the pressure gradient and does not affect the velocity field. This invariance property can be preserved in the discrete problem if the incompressibility constraint is satisfied in a sufficiently strong sense. We derive sufficient conditions to guarantee discretely divergence-free functions are exactly divergence-free and give examples of divergence-free finite elements on meshes with triangular, quadrilateral, tetrahedral, or hexahedral cells generated by a (possibly non-affine) map from their respective reference cells. In the case of quadrilateral cells, we prove an optimal error estimate for the velocity field that does not depend on the pressure approximation. Our analysis is supported by numerical results.
△ Less
Submitted 26 September, 2023; v1 submitted 8 June, 2023;
originally announced June 2023.
-
SDSS J134441.83+204408.3: A highly asynchronous, short-period magnetic cataclysmic variable with a 56 MG field strength
Authors:
Colin Littlefield,
Paul A. Mason,
Peter Garnavich,
Paula Szkody,
John Thorstensen,
Simone Scaringi,
Krystian Ilkiewicz,
Mark R. Kennedy,
Natalie Wells
Abstract:
When the accreting white dwarf in a magnetic cataclysmic variable star (mCV) has a field strength in excess of 10 MG, it is expected to synchronize its rotational frequency to the binary orbit frequency, particularly at small binary separations, due to the steep radial dependence of the magnetic field. We report the discovery of an mCV (SDSS J134441.83+204408.3; hereafter, J1344) that defies this…
▽ More
When the accreting white dwarf in a magnetic cataclysmic variable star (mCV) has a field strength in excess of 10 MG, it is expected to synchronize its rotational frequency to the binary orbit frequency, particularly at small binary separations, due to the steep radial dependence of the magnetic field. We report the discovery of an mCV (SDSS J134441.83+204408.3; hereafter, J1344) that defies this expectation by displaying asynchronous rotation ($P_{spin}/P_{orb} = 0.893$) in spite of a high surface field strength (B=56 MG) and a short orbital period (114 min). Previously misidentified as a synchronously rotating mCV, J1344 was observed by TESS during sector 50, and the resulting power spectrum shows distinct spin and orbital frequencies, along with various sidebands and harmonics. Although there are several other asynchronous mCVs at short orbital periods, the presence of cyclotron humps in J1344's SDSS spectrum makes it possible to directly measure the field strength in the cyclotron-emitting region; a previously study estimated 65 MG based on its identification of two cyclotron humps, but we revise this to 56$\pm$2 MG based on the detection of a third hump and on our modeling of the cyclotron spectrum. Short-period mCVs with field strengths above 10 MG are normally expected to be synchronous, so the highly asynchronous rotation in J1344 presents an interesting challenge for theoretical studies of spin-period evolution.
△ Less
Submitted 13 January, 2023;
originally announced January 2023.
-
Brighter and More Massive Galaxies in the Vicinity of Lyman-alpha Nebulae
Authors:
Natalie K. Wells,
Moire K. M. Prescott,
Kristian M. Finlator
Abstract:
It has been well established in the local universe that galaxy properties differ based on the large-scale environment in which they reside. As luminous Lyman-alpha nebulae have been shown to trace overdense environments at z~2-3, comparing the properties of galaxies within Lyman-alpha nebulae systems to those in the field can provide insight into how and when locally-observed trends between galaxy…
▽ More
It has been well established in the local universe that galaxy properties differ based on the large-scale environment in which they reside. As luminous Lyman-alpha nebulae have been shown to trace overdense environments at z~2-3, comparing the properties of galaxies within Lyman-alpha nebulae systems to those in the field can provide insight into how and when locally-observed trends between galaxy properties and environment emerged. Six Lyman-alpha nebulae were discovered at z~2.3 in a blind search of the GOODS-S extragalactic field, a region also covered by the 3D-HST spectroscopic survey. Utilizing 3D-HST data, we identified 86 galaxies in the vicinity of these nebulae and used statistical tests to compare their physical properties to galaxies elsewhere in the field. Galaxies lying within 320 proper kpc of a Lyman-alpha nebula are roughly half a magnitude brighter than those in the field, with higher stellar masses, higher star formation rates, and larger effective radii. Even when considering the effects of sample incompleteness, our study suggests that galaxies in overdensities at z~2.3 traced by Lyman-alpha nebulae are being influenced by their environment. Furthermore, Lyman-alpha nebula-associated galaxies lie on the same main sequence of star formation as field galaxies, but have a larger proportion of high-mass galaxies, consistent with the idea that galaxy evolution is accelerated in rich environments. Expanded surveys for Lyman-alpha nebulae in other deep extragalactic fields and galaxy spectroscopic follow-up with JWST will better constrain the demographics of Lyman-alpha nebula-associated galaxies.
△ Less
Submitted 6 January, 2023;
originally announced January 2023.
-
Two Candidates for Dual AGN in Dwarf-Dwarf Galaxy Mergers
Authors:
Marko Mićić,
Olivia J. Holmes,
Brenna N. Wells,
Jimmy A. Irwin
Abstract:
Dual AGN are important for understanding galaxy-merger-triggered fueling of black holes and hierarchical growth of structures. The least explored type of dual AGN are those associated with mergers of two dwarf galaxies. According to observations and cosmological simulations, dwarf galaxies are the most abundant type of galaxies in the early Universe and the galaxy merger rate is dominated by dwarf…
▽ More
Dual AGN are important for understanding galaxy-merger-triggered fueling of black holes and hierarchical growth of structures. The least explored type of dual AGN are those associated with mergers of two dwarf galaxies. According to observations and cosmological simulations, dwarf galaxies are the most abundant type of galaxies in the early Universe and the galaxy merger rate is dominated by dwarfs. However, these mergers are generally too distant to be directly observed, and low-redshift dwarf-dwarf merger-related dual AGN are notoriously hard to find. In this paper, we present the first results of our large-scale search for this elusive type of object and the first two candidates for dual AGN in dwarf-dwarf mergers. Both objects exhibit tidal features (tails and bridges) characteristic of galaxy mergers/interactions. One object is apparently in a late-stage merger with an AGN separation of < 5kpc, while the second is in an early-stage merger with interacting galaxies having established a tidal bridge. Both objects have dual, luminous X-ray sources that are most likely due to actively accreting massive black holes. Also, both objects have infrared counterparts, with colors consistent with being AGN. Follow-up observations will provide us a glimpse into key processes that govern the earliest phases of growth of galaxies, their central black holes, and merger-induced star formation.
△ Less
Submitted 8 November, 2022;
originally announced November 2022.
-
Analysis of pressure-robust embedded-hybridized discontinuous Galerkin methods for the Stokes problem under minimal regularity
Authors:
Aaron Baier-Reinio,
Sander Rhebergen,
Garth N. Wells
Abstract:
We present analysis of two lowest-order hybridizable discontinuous Galerkin methods for the Stokes problem, while making only minimal regularity assumptions on the exact solution. The methods under consideration have previously been shown to produce $H(\textrm{div})$-conforming and divergence-free approximate velocities. Using these properties, we derive a priori error estimates for the velocity t…
▽ More
We present analysis of two lowest-order hybridizable discontinuous Galerkin methods for the Stokes problem, while making only minimal regularity assumptions on the exact solution. The methods under consideration have previously been shown to produce $H(\textrm{div})$-conforming and divergence-free approximate velocities. Using these properties, we derive a priori error estimates for the velocity that are independent of the pressure. These error estimates, which assume only $H^{1+s}$-regularity of the exact velocity fields for any $s \in [0, 1]$, are optimal in a discrete energy norm. Error estimates for the velocity and pressure in the $L^2$-norm are also derived in this minimal regularity setting. Our theoretical findings are supported by numerical computations.
△ Less
Submitted 20 October, 2021;
originally announced October 2021.
-
Preconditioning for a pressure-robust HDG discretization of the Stokes equations
Authors:
Sander Rhebergen,
Garth N. Wells
Abstract:
We introduce a new preconditioner for a recently developed pressure-robust hybridized discontinuous Galerkin (HDG) finite element discretization of the Stokes equations. A feature of HDG methods is the straightforward elimination of degrees-of-freedom defined on the interior of an element. In our previous work (J. Sci. Comput., 77(3):1936--1952, 2018) we introduced a preconditioner for the case in…
▽ More
We introduce a new preconditioner for a recently developed pressure-robust hybridized discontinuous Galerkin (HDG) finite element discretization of the Stokes equations. A feature of HDG methods is the straightforward elimination of degrees-of-freedom defined on the interior of an element. In our previous work (J. Sci. Comput., 77(3):1936--1952, 2018) we introduced a preconditioner for the case in which only the degrees-of-freedom associated with the element velocity were eliminated via static condensation. In this work we introduce a preconditioner for the statically condensed system in which the element pressure degrees-of-freedom are also eliminated. In doing so the number of globally coupled degrees-of-freedom are reduced, but at the expense of a more difficult problem to analyse. We will show, however, that the Schur complement of the statically condensed system is spectrally equivalent to a simple trace pressure mass matrix. This result is used to formulate a new, provably optimal preconditioner. Through numerical examples in two- and three-dimensions we show that the new preconditioned iterative method converges in fewer iterations, has superior conservation properties for inexact solves, and is faster in CPU time when compared to our previous preconditioner.
△ Less
Submitted 18 October, 2021; v1 submitted 19 May, 2021;
originally announced May 2021.
-
Construction of arbitrary order finite element degree-of-freedom maps on polygonal and polyhedral cell meshes
Authors:
Matthew W. Scroggs,
Jørgen S. Dokken,
Chris N. Richardson,
Garth N. Wells
Abstract:
We develop a method for generating degree-of-freedom maps for arbitrary order finite element spaces for any cell shape. The approach is based on the composition of permutations and transformations by cell sub-entity. Current approaches to generating degree-of-freedom maps for arbitrary order problems typically rely on a consistent orientation of cell entities that permits the definition of a commo…
▽ More
We develop a method for generating degree-of-freedom maps for arbitrary order finite element spaces for any cell shape. The approach is based on the composition of permutations and transformations by cell sub-entity. Current approaches to generating degree-of-freedom maps for arbitrary order problems typically rely on a consistent orientation of cell entities that permits the definition of a common local coordinate system on shared edges and faces. However, while orientation of a mesh is straightforward for simplex cells and is a local operation, it is not a strictly local operation for quadrilateral cells and in the case of hexahedral cells not all meshes are orientable. The permutation and transformation approach is developed for a range of element types, including Lagrange, and divergence- and curl-conforming elements, and for a range of cell shapes. The approach is local and can be applied to cells of any shape, including general polytopes and meshes with mixed cell types. A number of examples are presented and the developed approach has been implemented in an open-source finite element library.
△ Less
Submitted 25 January, 2022; v1 submitted 23 February, 2021;
originally announced February 2021.
-
Accelerating frequency-domain numerical methods for weakly nonlinear focused ultrasound using nested meshes
Authors:
Samuel P. Groth,
Pierre Gélat,
Seyyed R. Haqshenas,
Nader Saffari,
Elwin van 't Wout,
Timo Betcke,
Garth N. Wells
Abstract:
The numerical simulation of weakly nonlinear ultrasound is important in treatment planning for focused ultrasound (FUS) therapies. However, the large domain sizes and generation of higher harmonics at the focus make these problems extremely computationally demanding. Numerical methods typically employ a uniform mesh fine enough to resolve the highest harmonic present in the problem, leading to a v…
▽ More
The numerical simulation of weakly nonlinear ultrasound is important in treatment planning for focused ultrasound (FUS) therapies. However, the large domain sizes and generation of higher harmonics at the focus make these problems extremely computationally demanding. Numerical methods typically employ a uniform mesh fine enough to resolve the highest harmonic present in the problem, leading to a very large number of degrees of freedom. This paper proposes a more efficient strategy in which each harmonic is approximated on a separate mesh, the size of which is proportional to the wavelength of the harmonic. The increase in resolution required to resolve a smaller wavelength is balanced by a reduction in the domain size. This nested meshing is feasible owing to the increasingly localised nature of higher harmonics near the focus.
Numerical experiments are performed for FUS transducers in homogeneous media in order to determine the size of the meshes required to accurately represent the harmonics. In particular, a fast \emph{volume potential} approach is proposed and employed to perform convergence experiments as the computation domain size is modified. This approach allows each harmonic to be computed via the evaluation of an integral over the domain. Discretising this integral using the midpoint rule allows the computations to be performed rapidly with the FFT. It is shown that at least an order of magnitude reduction in memory consumption and computation time can be achieved with nested meshing. Finally, it is demonstrated how to generalise this approach to inhomogeneous propagation domains.
△ Less
Submitted 22 July, 2021; v1 submitted 5 November, 2020;
originally announced November 2020.
-
ASASSN-18fk: A new WZ Sge-type dwarf nova with multiple rebrightenings and a new candidate for a superhum** intermediate polar
Authors:
E. Pavlenko,
K. Niijima,
P. Mason,
N. Wells,
A. Sosnovskij,
K. Antonyuk,
A. Simon,
N. Pit,
C. Littlefield,
H. Itoh,
S. Kiyota,
T. Tordai,
P. Dubovsky,
T. Vanmunster,
G. Stone,
T. Kato,
A. Sergeev,
V. Godunova,
E. Lyumanov,
O. Antonyuk,
A. Baklanov,
Ju. Babina,
K. Isogai,
Ya. Romanyuk,
V. Troianskyi
, et al. (1 additional authors not shown)
Abstract:
We present the result of a multi-longitude campaign on the photometric study of the dwarf nova ASASSN-18fk during its superoutburst in 2018. It was observed with 18 telescopes at 15 sites during ~70 nights within a three-month interval. Observations covered the main outburst, six rebrightenings and 50-d decline to a near-quiescent state. We identify ASASSN-18fk as WZ Sge-type dwarf nova with multi…
▽ More
We present the result of a multi-longitude campaign on the photometric study of the dwarf nova ASASSN-18fk during its superoutburst in 2018. It was observed with 18 telescopes at 15 sites during ~70 nights within a three-month interval. Observations covered the main outburst, six rebrightenings and 50-d decline to a near-quiescent state. We identify ASASSN-18fk as WZ Sge-type dwarf nova with multiple rebrightenings and show the evolution of the 0.06-d superhump period over all stages of the superoutburst. A strong 22-min brightness modulation that superimposed on superhumps is found during rebrightenings and decline. Some evidence of this modulation in a form of a sideband signal is detected during the very onset of the outburst. We interpret the 22-min modulation as a spin period of the white dwarf and suggest that ASASSN-18fk is a good candidate for a superhum** intermediate polar.
△ Less
Submitted 1 July, 2019;
originally announced July 2019.
-
CRTS J035010.7+323230, a new eclipsing polar in the cataclysmic variable period gap
Authors:
Paul A. Mason,
Natalie K. Wells,
Mokhine Motsoaledi,
Paula Szkody,
Emmanuel Gonzalez
Abstract:
We report the discovery of a new eclipsing polar, CRTS J035010.7+323230 (hereafter CRTS J0350+3232). We identified this cataclysmic variable (CV) candidate as a possible polar from its multi-year Catalina Real-Time Transient Survey (CRTS) optical light curve. Photometric monitoring of 22 eclipses in 2015 and 2017 was performed with the 2.1-m Otto Struve Telescope at McDonald Observatory. We derive…
▽ More
We report the discovery of a new eclipsing polar, CRTS J035010.7+323230 (hereafter CRTS J0350+3232). We identified this cataclysmic variable (CV) candidate as a possible polar from its multi-year Catalina Real-Time Transient Survey (CRTS) optical light curve. Photometric monitoring of 22 eclipses in 2015 and 2017 was performed with the 2.1-m Otto Struve Telescope at McDonald Observatory. We derive an unambiguous high-precision ephemeris. Strong evidence that CRTS J0350+3232 is a polar comes from optical spectroscopy obtained over a complete orbital cycle using the Apache Point Observatory 3.5-m telescope. High velocity Balmer and He II $λ$4686Å emission line equivalent width ratios, structures, and variations are typical of polars and are modulated at the same period, 2.37-hrs (142.3-min), as the eclipse to within uncertainties. The spectral energy distribution and luminosity is found to be comparable to that of AM Herculis. Pre-eclipse dips in the light curve show evidence for stream accretion. We derive the following tentative binary and stellar parameters assuming a helium composition white dwarf and a companion mass of 0.2 M$_{\odot}$: inclination i = 74.68$^{o}$ ${\pm}$ 0.03$^{o}$, semi-major axis a = 0.942 ${\pm}$ 0.024 R$_{\odot}$, and masses and radii of the white dwarf and companion respectively: M$_{1}$ = 0.948 $^{+0.006}_{-0.012}$ M$_{\odot}$, R$_{1}$ = 0.00830 $^{+0.00012}_{-0.00006}$ R$_{\odot}$, R$_{2}$ = 0.249 ${\pm}$ 0.002 R$_{\odot}$. As a relatively bright (V $\sim$ 17-19 mag), eclipsing, period-gap polar, CRTS J0350+3232 will remain an important laboratory for the study of accretion and angular momentum evolution in polars.
△ Less
Submitted 18 June, 2019;
originally announced June 2019.
-
An embedded-hybridized discontinuous Galerkin method for the coupled Stokes-Darcy system
Authors:
Aycil Cesmelioglu,
Sander Rhebergen,
Garth N. Wells
Abstract:
We introduce an embedded-hybridized discontinuous Galerkin (EDG-HDG) method for the coupled Stokes-Darcy system. This EDG-HDG method is a pointwise mass-conserving discretization resulting in a divergence-conforming velocity field on the whole domain. In the proposed scheme, coupling between the Stokes and Darcy domains is achieved naturally through the EDG-HDG facet variables. \emph{A priori} err…
▽ More
We introduce an embedded-hybridized discontinuous Galerkin (EDG-HDG) method for the coupled Stokes-Darcy system. This EDG-HDG method is a pointwise mass-conserving discretization resulting in a divergence-conforming velocity field on the whole domain. In the proposed scheme, coupling between the Stokes and Darcy domains is achieved naturally through the EDG-HDG facet variables. \emph{A priori} error analysis shows optimal convergence rates, and that the velocity error does not depend on the pressure. The error analysis is verified through numerical examples on unstructured grids for different orders of polynomial approximation.
△ Less
Submitted 18 September, 2019; v1 submitted 23 May, 2019;
originally announced May 2019.
-
An embedded--hybridized discontinuous Galerkin finite element method for the Stokes equations
Authors:
Sander Rhebergen,
Garth N. Wells
Abstract:
We present and analyze a new embedded--hybridized discontinuous Galerkin finite element method for the Stokes problem. The method has the attractive properties of full hybridized methods, namely an $H({\rm div})$-conforming velocity field, pointwise satisfaction of the continuity equation and \emph{a priori} error estimates for the velocity that are independent of the pressure. The embedded--hybri…
▽ More
We present and analyze a new embedded--hybridized discontinuous Galerkin finite element method for the Stokes problem. The method has the attractive properties of full hybridized methods, namely an $H({\rm div})$-conforming velocity field, pointwise satisfaction of the continuity equation and \emph{a priori} error estimates for the velocity that are independent of the pressure. The embedded--hybridized formulation has advantages over a full hybridized formulation in that it has fewer global degrees-of-freedom for a given mesh and the algebraic structure of the resulting linear system is better suited to fast iterative solvers. The analysis results are supported by a range of numerical examples that demonstrate rates of convergence, and which show computational efficiency gains over a full hybridized formulation.
△ Less
Submitted 18 September, 2019; v1 submitted 22 November, 2018;
originally announced November 2018.
-
Scalable computation of thermomechanical turbomachinery problems
Authors:
Chris N. Richardson,
Nathan Sime,
Garth N. Wells
Abstract:
A commonly held view in the turbomachinery community is that finite element methods are not well-suited for very large-scale thermomechanical simulations. We seek to dispel this notion by presenting performance data for a collection of realistic, large-scale thermomechanical simulations. We describe the necessary technology to compute problems with $O(10^7)$ to $O(10^9)$ degrees-of-freedom, and em…
▽ More
A commonly held view in the turbomachinery community is that finite element methods are not well-suited for very large-scale thermomechanical simulations. We seek to dispel this notion by presenting performance data for a collection of realistic, large-scale thermomechanical simulations. We describe the necessary technology to compute problems with $O(10^7)$ to $O(10^9)$ degrees-of-freedom, and emphasise what is required to achieve near linear computational complexity with good parallel scaling. Performance data is presented for turbomachinery components with up to 3.3 billion degrees-of-freedom. The software libraries used to perform the simulations are freely available under open source licenses. The performance demonstrated in this work opens up the possibility of system-level thermomechanical modelling, and lays the foundation for further research into high-performance formulations for even larger problems and for other physical processes, such as contact, that are important in turbomachinery analysis.
△ Less
Submitted 15 November, 2018; v1 submitted 26 April, 2018;
originally announced April 2018.
-
Preconditioning of a hybridized discontinuous Galerkin finite element method for the Stokes equations
Authors:
Sander Rhebergen,
Garth N. Wells
Abstract:
We present optimal preconditioners for a recently introduced hybridized discontinuous Galerkin finite element discretization of the Stokes equations. Typical of hybridized discontinuous Galerkin methods, the method has degrees-of-freedom that can be eliminated locally (cell-wise), thereby significantly reducing the size of the global problem. Although the linear system becomes more complex to anal…
▽ More
We present optimal preconditioners for a recently introduced hybridized discontinuous Galerkin finite element discretization of the Stokes equations. Typical of hybridized discontinuous Galerkin methods, the method has degrees-of-freedom that can be eliminated locally (cell-wise), thereby significantly reducing the size of the global problem. Although the linear system becomes more complex to analyze after static condensation of these element degrees-of-freedom, the pressure Schur complement of the original and reduced problem are the same. Using this fact, we prove spectral equivalence of this Schur complement to two simple matrices, which is then used to formulate optimal preconditioners for the statically condensed problem. Numerical simulations in two and three spatial dimensions demonstrate the good performance of the proposed preconditioners.
△ Less
Submitted 30 May, 2018; v1 submitted 15 January, 2018;
originally announced January 2018.
-
A hybridizable discontinuous Galerkin method for the Navier--Stokes equations with pointwise divergence-free velocity field
Authors:
Sander Rhebergen,
Garth N. Wells
Abstract:
We introduce a hybridizable discontinuous Galerkin method for the incompressible Navier--Stokes equations for which the approximate velocity field is pointwise divergence-free. The method builds on the method presented by Labeur and Wells [SIAM J. Sci. Comput., vol. 34 (2012), pp. A889--A913]. We show that with modifications of the function spaces in the method of Labeur and Wells it is possible t…
▽ More
We introduce a hybridizable discontinuous Galerkin method for the incompressible Navier--Stokes equations for which the approximate velocity field is pointwise divergence-free. The method builds on the method presented by Labeur and Wells [SIAM J. Sci. Comput., vol. 34 (2012), pp. A889--A913]. We show that with modifications of the function spaces in the method of Labeur and Wells it is possible to formulate a simple method with pointwise divergence-free velocity fields which is momentum conserving, energy stable, and pressure-robust. Theoretical results are supported by two- and three-dimensional numerical examples and for different orders of polynomial approximation.
△ Less
Submitted 31 January, 2018; v1 submitted 25 April, 2017;
originally announced April 2017.
-
Containers for portable, productive and performant scientific computing
Authors:
Jack S. Hale,
Lizao Li,
Chris N. Richardson,
Garth N. Wells
Abstract:
Containers are an emerging technology that hold promise for improving productivity and code portability in scientific computing. We examine Linux container technology for the distribution of a non-trivial scientific computing software stack and its execution on a spectrum of platforms from laptop computers through to high performance computing (HPC) systems. We show on a workstation and a leadersh…
▽ More
Containers are an emerging technology that hold promise for improving productivity and code portability in scientific computing. We examine Linux container technology for the distribution of a non-trivial scientific computing software stack and its execution on a spectrum of platforms from laptop computers through to high performance computing (HPC) systems. We show on a workstation and a leadership-class HPC system that when deployed appropriately there are no performance penalties running scientific programs inside containers. For Python code run on large parallel computers, the run time is reduced inside a container due to faster library imports. The software distribution approach and data that we present will help developers and users decide on whether container technology is appropriate for them. We also provide guidance for the vendors of HPC systems that rely on proprietary libraries for performance on what they can do to make containers work seamlessly and without performance penalty.
△ Less
Submitted 3 November, 2016; v1 submitted 26 August, 2016;
originally announced August 2016.
-
Analysis of a hybridized/interface stabilized finite element method for the Stokes equations
Authors:
Sander Rhebergen,
Garth N. Wells
Abstract:
Stability and error analysis of a hybridized discontinuous Galerkin finite element method for Stokes equations is presented. The method is locally conservative, and for particular choices of spaces the velocity field is point-wise solenoidal. It is shown that the method is inf-sup stable for both equal-order and locally Taylor--Hood type spaces, and \emph{a priori} error estimates are developed. T…
▽ More
Stability and error analysis of a hybridized discontinuous Galerkin finite element method for Stokes equations is presented. The method is locally conservative, and for particular choices of spaces the velocity field is point-wise solenoidal. It is shown that the method is inf-sup stable for both equal-order and locally Taylor--Hood type spaces, and \emph{a priori} error estimates are developed. The considered method can be constructed to have the same global algebraic structure as a conforming Galerkin method, unlike standard discontinuous Galerkin methods that have greater number of degrees of freedom than conforming Galerkin methods on a given mesh. We assert that this method is amongst the simplest and most flexible finite element approaches for Stokes flow that provide local mass conservation. With this contribution the mathematical basis is established, and this supports the performance of the method that has been observed experimentally in other works.
△ Less
Submitted 14 March, 2017; v1 submitted 7 July, 2016;
originally announced July 2016.
-
Automatic calibration of dam** layers in finite element time domain simulations
Authors:
Steven Vandekerckhove,
Garth N. Wells,
Herbert De Gersem,
Koen Van Den Abeele
Abstract:
Matched layers are commonly used in numerical simulations of wave propagation to model (semi-)infinite domains. Attenuation functions describe the dam** in layers, and provide a matching of the wave impedance at the interface between the domain of interest and the absorbing region. Selecting parameters in the attenuation functions is non-trivial. In this work, an optimisation procedure for autom…
▽ More
Matched layers are commonly used in numerical simulations of wave propagation to model (semi-)infinite domains. Attenuation functions describe the dam** in layers, and provide a matching of the wave impedance at the interface between the domain of interest and the absorbing region. Selecting parameters in the attenuation functions is non-trivial. In this work, an optimisation procedure for automatically calibrating matched layers is presented. The procedure is based on solving optimisation problems constrained by partial differential equations with polynomial and piecewise-constant attenuation functions. We show experimentally that, for finite element time domain simulations, piecewise-constant attenuation function are at least as efficient as quadratic attenuation functions. This observation leads us to introduce consecutive matched layers as an alternative to perfectly matched layers, which can easily be employed for problems with arbitrary geometries. Moreover, the use of consecutive matched layers leads to a reduction in computational cost compared to perfectly matched layers. Examples are presented for acoustic, elastodynamic and electromagnetic problems. Numerical simulations are performed with the libraries FEniCS/DOLFIN and dolfin-adjoint, and the computer code to reproduce all numerical examples is made freely available.
△ Less
Submitted 28 January, 2016;
originally announced January 2016.
-
Torsion of a cylinder of partially molten rock with a spherical inclusion: theory and simulation
Authors:
Laura Alisic,
Sander Rhebergen,
John F. Rudge,
Richard F. Katz,
Garth N. Wells
Abstract:
The processes that are involved in migration and extraction of melt from the mantle are not yet fully understood. Gaining a better understanding of material properties of partially molten rock could help shed light on the behavior of melt on larger scales in the mantle. In this study, we simulate three-dimensional torsional deformation of a partially molten rock that contains a rigid, spherical in…
▽ More
The processes that are involved in migration and extraction of melt from the mantle are not yet fully understood. Gaining a better understanding of material properties of partially molten rock could help shed light on the behavior of melt on larger scales in the mantle. In this study, we simulate three-dimensional torsional deformation of a partially molten rock that contains a rigid, spherical inclusion. We compare the computed porosity patterns to those found in recent laboratory experiments. The laboratory experiments show emergence of melt-rich bands throughout the rock sample, and pressure shadows around the inclusion. The numerical model displays similar melt-rich bands only for a small bulk-to-shear-viscosity ratio (five or less). The results are consistent with earlier two-dimensional numerical simulations; however, we show that it is easier to form melt-rich bands in three dimensions compared to two. The addition of strain-rate dependence of the viscosity causes a distinct change in the shape of pressure shadows around the inclusion. This change in shape presents an opportunity for experimentalists to identify the strain-rate dependence and therefore the dominant deformation mechanism in torsion experiments with inclusions.
△ Less
Submitted 16 October, 2015; v1 submitted 13 August, 2015;
originally announced August 2015.
-
CO$_2$ dissolution in a background hydrological flow
Authors:
H. Juliette T. Unwin,
Garth N. Wells,
Andrew W. Woods
Abstract:
We investigate the long time steady-state dissolution of CO$_{2}$ in a deep saline aqquifer in the presence of a background hydrological flow. In steady-state, the distribution of CO$_2$ in the groundwater upstream of the aquifer involves a balance between three competing effects: (i) the buoyancy-driven flow of CO$_2$ saturated water; (ii) the diffusion of CO$_2$ from saturated to under-saturated…
▽ More
We investigate the long time steady-state dissolution of CO$_{2}$ in a deep saline aqquifer in the presence of a background hydrological flow. In steady-state, the distribution of CO$_2$ in the groundwater upstream of the aquifer involves a balance between three competing effects: (i) the buoyancy-driven flow of CO$_2$ saturated water; (ii) the diffusion of CO$_2$ from saturated to under-saturated water; and (iii) the advection associated with the oncoming background flow. This leads to three limiting regimes. In the limit of very slow diffusion, a nearly static intrusion of dense fluid may extend a finite distance upstream, balanced by the pressure gradient associated with the oncoming background flow. In the limit of fast diffusion relative to the flow, a gradient zone may become established in which the along aquifer diffusive flux balances the advection associated with the background flow. However, if the buoyancy-driven flow speed exceeds the background hydrological flow speed, then a third, intermediate regime may become established. In this regime, a convective recirculation develops upstream of the anticline involving the vertical diffusion of CO$_2$ from an upstream propagating flow of dense CO$_2$ saturated water into the downstream propagating flow of CO$_2$ unsaturated water. For each limiting case, we find analytical solutions for the distribution of CO$_2$ upstream of the anticline, and test our analysis with full numerical simulations. A key result is that, although there may be very different controls on the distribution and extent of CO$_2$ bearing water upstream of the anticline, in each case the dissolution rate is given by the product of the background volume flux and the difference in concentration between the CO$_2$ saturated water and the original aquifer water upstream.
△ Less
Submitted 16 October, 2015; v1 submitted 14 June, 2015;
originally announced June 2015.
-
Three-field block-preconditioners for models of coupled magma/mantle dynamics
Authors:
Sander Rhebergen,
Garth N. Wells,
Andrew J. Wathen,
Richard F. Katz
Abstract:
For a prescribed porosity, the coupled magma/mantle flow equations can be formulated as a two-field system of equations with velocity and pressure as unknowns. Previous work has shown that while optimal preconditioners for the two-field formulation can be obtained, the construction of preconditioners that are uniform with respect to model parameters is difficult. This limits the applicability of t…
▽ More
For a prescribed porosity, the coupled magma/mantle flow equations can be formulated as a two-field system of equations with velocity and pressure as unknowns. Previous work has shown that while optimal preconditioners for the two-field formulation can be obtained, the construction of preconditioners that are uniform with respect to model parameters is difficult. This limits the applicability of two-field preconditioners in certain regimes of practical interest. We address this issue by reformulating the governing equations as a three-field problem, which removes a term that was problematic in the two-field formulation in favour of an additional equation for a pressure-like field. For the three-field problem, we develop and analyse new preconditioners and we show numerically that they are optimal in terms of problem size and less sensitive to model parameters, compared to the two-field preconditioner. This extends the applicability of optimal preconditioners for coupled mantle/magma dynamics into parameter regimes of physical interest.
△ Less
Submitted 4 June, 2015; v1 submitted 19 November, 2014;
originally announced November 2014.
-
Analysis of block-preconditioners for models of coupled magma/mantle dynamics
Authors:
Sander Rhebergen,
Garth N. Wells,
Richard F. Katz,
Andrew J. Wathen
Abstract:
This article considers the iterative solution of a finite element discretisation of the magma dynamics equations. In simplified form, the magma dynamics equations share some features of the Stokes equations. We therefore formulate, analyse and numerically test a Elman, Silvester and Wathen-type block preconditioner for magma dynamics. We prove analytically and demonstrate numerically the optimalit…
▽ More
This article considers the iterative solution of a finite element discretisation of the magma dynamics equations. In simplified form, the magma dynamics equations share some features of the Stokes equations. We therefore formulate, analyse and numerically test a Elman, Silvester and Wathen-type block preconditioner for magma dynamics. We prove analytically and demonstrate numerically the optimality of the preconditioner. The presented analysis highlights the dependence of the preconditioner on parameters in the magma dynamics equations that can affect convergence of iterative linear solvers. The analysis is verified through a range of two- and three-dimensional numerical examples on unstructured grids, from simple illustrative problems through to large problems on subduction zone-like geometries. The computer code to reproduce all numerical examples is freely available as supporting material.
△ Less
Submitted 29 May, 2014; v1 submitted 25 November, 2013;
originally announced November 2013.
-
Unified Form Language: A domain-specific language for weak formulations of partial differential equations
Authors:
Martin S. Alnaes,
Anders Logg,
Kristian B. Oelgaard,
Marie E. Rognes,
Garth N. Wells
Abstract:
We present the Unified Form Language (UFL), which is a domain-specific language for representing weak formulations of partial differential equations with a view to numerical approximation. Features of UFL include support for variational forms and functionals, automatic differentiation of forms and expressions, arbitrary function space hierarchies for multi-field problems, general differential oper…
▽ More
We present the Unified Form Language (UFL), which is a domain-specific language for representing weak formulations of partial differential equations with a view to numerical approximation. Features of UFL include support for variational forms and functionals, automatic differentiation of forms and expressions, arbitrary function space hierarchies for multi-field problems, general differential operators and flexible tensor algebra. With these features, UFL has been used to effortlessly express finite element methods for complex systems of partial differential equations in near-mathematical notation, resulting in compact, intuitive and readable programs. We present in this work the language and its construction. An implementation of UFL is freely available as an open-source software library. The library generates abstract syntax tree representations of variational problems, which are used by other software libraries to generate concrete low-level implementations. Some application examples are presented and libraries that support UFL are highlighted.
△ Less
Submitted 25 April, 2013; v1 submitted 16 November, 2012;
originally announced November 2012.
-
Measurement requirements for a near-Earth asteroid impact mitigation demonstration mission
Authors:
Stephen D. Wolters,
Andrew J. Ball,
Nigel Wells,
Christopher Saunders,
Neil McBride
Abstract:
A concept for an Impact Mitigation Preparation Mission, called Don Quijote, is to send two spacecraft to a Near-Earth Asteroid (NEA): an Orbiter and an Impactor. The Impactor collides with the asteroid while the Orbiter measures the resulting change in the asteroid's orbit, by means of a Radio Science Experiment (RSE) carried out before and after impact. Three parallel Phase A studies on Don Quijo…
▽ More
A concept for an Impact Mitigation Preparation Mission, called Don Quijote, is to send two spacecraft to a Near-Earth Asteroid (NEA): an Orbiter and an Impactor. The Impactor collides with the asteroid while the Orbiter measures the resulting change in the asteroid's orbit, by means of a Radio Science Experiment (RSE) carried out before and after impact. Three parallel Phase A studies on Don Quijote were carried out for the European Space Agency: the research presented here reflects outcomes of the study by QinetiQ. We discuss the mission objectives with regards to the prioritisation of payload instruments, with emphasis on the interpretation of the impact. The Radio Science Experiment is described and it is examined how solar radiation pressure may increase the uncertainty in measuring the orbit of the target asteroid. It is determined that to measure the change in orbit accurately a thermal IR spectrometer is mandatory, to measure the Yarkovsky effect. The advantages of having a laser altimeter are discussed. The advantages of a dedicated wide-angle impact camera are discussed and the field-of-view is initially sized through a simple model of the impact.
△ Less
Submitted 21 July, 2011;
originally announced July 2011.
-
Optimal control with stochastic PDE constraints and uncertain controls
Authors:
Eveline Rosseel,
Garth N. Wells
Abstract:
The optimal control of problems that are constrained by partial differential equations with uncertainties and with uncertain controls is addressed. The Lagrangian that defines the problem is postulated in terms of stochastic functions, with the control function possibly decomposed into an unknown deterministic component and a known zero-mean stochastic component. The extra freedom provided by the…
▽ More
The optimal control of problems that are constrained by partial differential equations with uncertainties and with uncertain controls is addressed. The Lagrangian that defines the problem is postulated in terms of stochastic functions, with the control function possibly decomposed into an unknown deterministic component and a known zero-mean stochastic component. The extra freedom provided by the stochastic dimension in defining cost functionals is explored, demonstrating the scope for controlling statistical aspects of the system response. One-shot stochastic finite element methods are used to find approximate solutions to control problems. It is shown that applying the stochastic collocation finite element to the formulated problem leads to a coupling between stochastic collocation points when a deterministic optimal control is considered or when moments are included in the cost functional, thereby obviating the primary advantage of the collocation method over the stochastic Galerkin method for the considered problem. The application of the presented methods is demonstrated through a number of numerical examples. The presented framework is sufficiently general to also consider a class of inverse problems, and numerical examples of this type are also presented.
△ Less
Submitted 23 November, 2011; v1 submitted 20 July, 2011;
originally announced July 2011.
-
Structure and interactions of ultracold Yb ions and Rb atoms
Authors:
H. D. L. Lamb,
J. F. McCann,
B. M. McLaughlin,
J. Goold,
N. Wells,
I. Lane
Abstract:
In order to study ultracold charge-transfer processes in hybrid atom-ion traps, we have mapped out the potential energy curves and molecular parameters for several low lying states of the Rb, Yb$^+$ system. We employ both a multi-reference configuration interaction (MRCI) and a full configuration interaction (FCI) approach. Turning points, crossing points, potential minima and spectroscopic molecu…
▽ More
In order to study ultracold charge-transfer processes in hybrid atom-ion traps, we have mapped out the potential energy curves and molecular parameters for several low lying states of the Rb, Yb$^+$ system. We employ both a multi-reference configuration interaction (MRCI) and a full configuration interaction (FCI) approach. Turning points, crossing points, potential minima and spectroscopic molecular constants are obtained for the lowest five molecular states. Long-range parameters, including the dispersion coefficients are estimated from our {\it ab initio} data. The separated-atom ionization potentials and atomic polarizability of the ytterbium atom ($α_d=128.4$ atomic units) are in good agreement with experiment and previous calculations. We present some dynamical calculations for (adiabatic) scattering lengths for the two lowest (Yb,Rb$^+$) channels that were carried out in our work. However, we find that the pseudo potential approximation is rather limited in validity, and only applies to nK temperatures. The adiabatic scattering lengths for both the triplet and singlet channels indicate that both are large and negative in the FCI approximation.
△ Less
Submitted 23 July, 2012; v1 submitted 6 July, 2011;
originally announced July 2011.
-
Automated code generation for discontinuous Galerkin methods
Authors:
Kristian B. Ølgaard,
Anders Logg,
Garth N. Wells
Abstract:
A compiler approach for generating low-level computer code from high-level input for discontinuous Galerkin finite element forms is presented. The input language mirrors conventional mathematical notation, and the compiler generates efficient code in a standard programming language. This facilitates the rapid generation of efficient code for general equations in varying spatial dimensions. Key con…
▽ More
A compiler approach for generating low-level computer code from high-level input for discontinuous Galerkin finite element forms is presented. The input language mirrors conventional mathematical notation, and the compiler generates efficient code in a standard programming language. This facilitates the rapid generation of efficient code for general equations in varying spatial dimensions. Key concepts underlying the compiler approach and the automated generation of computer code are elaborated. The approach is demonstrated for a range of common problems, including the Poisson, biharmonic, advection--diffusion and Stokes equations.
△ Less
Submitted 4 April, 2011;
originally announced April 2011.
-
Optimisations for quadrature representations of finite element tensors through automated code generation
Authors:
Kristian B. Ølgaard,
Garth N. Wells
Abstract:
We examine aspects of the computation of finite element matrices and vectors which are made possible by automated code generation. Given a variational form in a syntax which resembles standard mathematical notation, the low-level computer code for building finite element tensors, typically matrices, vectors and scalars, can be generated automatically via a form compiler. In particular, the generat…
▽ More
We examine aspects of the computation of finite element matrices and vectors which are made possible by automated code generation. Given a variational form in a syntax which resembles standard mathematical notation, the low-level computer code for building finite element tensors, typically matrices, vectors and scalars, can be generated automatically via a form compiler. In particular, the generation of code for computing finite element matrices using a quadrature approach is addressed. For quadrature representations, a number of optimisation strategies which are made possible by automated code generation are presented. The relative performance of two different automatically generated representations of finite element matrices is examined, with a particular emphasis on complicated variational forms. It is shown that approaches which perform best for simple forms are not tractable for more complicated problems in terms of run time performance, the time required to generate the code or the size of the generated code. The approach and optimisations elaborated here are effective for a range of variational forms.
△ Less
Submitted 1 April, 2011;
originally announced April 2011.
-
DOLFIN: Automated Finite Element Computing
Authors:
Anders Logg,
Garth N. Wells
Abstract:
We describe here a library aimed at automating the solution of partial differential equations using the finite element method. By employing novel techniques for automated code generation, the library combines a high level of expressiveness with efficient computation. Finite element variational forms may be expressed in near mathematical notation, from which low-level code is automatically generate…
▽ More
We describe here a library aimed at automating the solution of partial differential equations using the finite element method. By employing novel techniques for automated code generation, the library combines a high level of expressiveness with efficient computation. Finite element variational forms may be expressed in near mathematical notation, from which low-level code is automatically generated, compiled and seamlessly integrated with efficient implementations of computational meshes and high-performance linear algebra. Easy-to-use object-oriented interfaces to the library are provided in the form of a C++ library and a Python module. This paper discusses the mathematical abstractions and methods used in the design of the library and its implementation. A number of examples are presented to demonstrate the use of the library in application code.
△ Less
Submitted 31 March, 2011;
originally announced March 2011.
-
A FEniCS-Based Programming Framework for Modeling Turbulent Flow by the Reynolds-Averaged Navier-Stokes Equations
Authors:
Mikael Mortensen,
Hans Petter Langtangen,
Garth N. Wells
Abstract:
Finding an appropriate turbulence model for a given flow case usually calls for extensive experimentation with both models and numerical solution methods. This work presents the design and implementation of a flexible, programmable software framework for assisting with numerical experiments in computational turbulence. The framework targets Reynolds-averaged Navier-Stokes models, discretized by fi…
▽ More
Finding an appropriate turbulence model for a given flow case usually calls for extensive experimentation with both models and numerical solution methods. This work presents the design and implementation of a flexible, programmable software framework for assisting with numerical experiments in computational turbulence. The framework targets Reynolds-averaged Navier-Stokes models, discretized by finite element methods. The novel implementation makes use of Python and the FEniCS package, the combination of which leads to compact and reusable code, where model- and solver-specific code resemble closely the mathematical formulation of equations and algorithms. The presented ideas and programming techniques are also applicable to other fields that involve systems of nonlinear partial differential equations. We demonstrate the framework in two applications and investigate the impact of various linearizations on the convergence properties of nonlinear solvers for a Reynolds-averaged Navier-Stokes model.
△ Less
Submitted 31 March, 2011; v1 submitted 14 February, 2011;
originally announced February 2011.
-
Energy stable and momentum conserving hybrid finite element method for the incompressible Navier-Stokes equations
Authors:
Robert Jan Labeur,
Garth N. Wells
Abstract:
A hybrid method for the incompressible Navier--Stokes equations is presented. The method inherits the attractive stabilizing mechanism of upwinded discontinuous Galerkin methods when momentum advection becomes significant, equal-order interpolations can be used for the velocity and pressure fields, and mass can be conserved locally. Using continuous Lagrange multiplier spaces to enforce flux conti…
▽ More
A hybrid method for the incompressible Navier--Stokes equations is presented. The method inherits the attractive stabilizing mechanism of upwinded discontinuous Galerkin methods when momentum advection becomes significant, equal-order interpolations can be used for the velocity and pressure fields, and mass can be conserved locally. Using continuous Lagrange multiplier spaces to enforce flux continuity across cell facets, the number of global degrees of freedom is the same as for a continuous Galerkin method on the same mesh. Different from our earlier investigations on the approach for the Navier--Stokes equations, the pressure field in this work is discontinuous across cell boundaries. It is shown that this leads to very good local mass conservation and, for an appropriate choice of finite element spaces, momentum conservation. Also, a new form of the momentum transport terms for the method is constructed such that global energy stability is guaranteed, even in the absence of a point-wise solenoidal velocity field. Mass conservation, momentum conservation and global energy stability are proved for the time-continuous case, and for a fully discrete scheme. The presented analysis results are supported by a range of numerical simulations.
△ Less
Submitted 15 January, 2012; v1 submitted 16 December, 2010;
originally announced December 2010.
-
Analysis of an interface stabilised finite element method: The advection-diffusion-reaction equation
Authors:
Garth N. Wells
Abstract:
Analysis of an interface stabilised finite element method for the scalar advection-diffusion-reaction equation is presented. The method inherits attractive properties of both continuous and discontinuous Galerkin methods, namely the same number of global degrees of freedom as a continuous Galerkin method on a given mesh and the stability properties of discontinuous Galerkin methods for advection d…
▽ More
Analysis of an interface stabilised finite element method for the scalar advection-diffusion-reaction equation is presented. The method inherits attractive properties of both continuous and discontinuous Galerkin methods, namely the same number of global degrees of freedom as a continuous Galerkin method on a given mesh and the stability properties of discontinuous Galerkin methods for advection dominated problems. Simulations using the approach in other works demonstrated good stability properties with minimal numerical dissipation, and standard convergence rates for the lowest order elements were observed. In this work, stability of the formulation, in the form of an inf-sup condition for the hyperbolic limit and coercivity for the elliptic case, is proved, as is order $k+1/2$ order convergence for the advection-dominated case and order $k+1$ convergence for the diffusive limit in the $L^{2}$ norm. The analysis results are supported by a number of numerical experiments.
△ Less
Submitted 31 March, 2011; v1 submitted 9 October, 2010;
originally announced October 2010.
-
Phase field model for coupled displacive and diffusive microstructural processes under thermal loading
Authors:
Mirko Maraldi,
Garth N. Wells,
Luisa Molari
Abstract:
A non-isothermal phase field model that captures both displacive and diffusive phase transformations in a unified framework is presented. The model is developed in a formal thermodynamic setting, which provides guidance on admissible constitutive relationships and on the coupling of the numerous physical processes that are active. Phase changes are driven by temperature-dependent free-energy funct…
▽ More
A non-isothermal phase field model that captures both displacive and diffusive phase transformations in a unified framework is presented. The model is developed in a formal thermodynamic setting, which provides guidance on admissible constitutive relationships and on the coupling of the numerous physical processes that are active. Phase changes are driven by temperature-dependent free-energy functions that become non-convex below a transition temperature. Higher-order spatial gradients are present in the model to account for phase boundary energy, and these terms necessitate the introduction of non-standard terms in the energy balance equation in order to satisfy the classical entropy inequality point-wise. To solve the resulting balance equations, a Galerkin finite element scheme is elaborated. To deal rigorously with the presence of high-order spatial derivatives associated with surface energies at phase boundaries in both the momentum and mass balance equations, some novel numerical approaches are used. Numerical examples are presented that consider boundary cooling of a domain at different rates, and these results demonstrate that the model can qualitatively reproduce the evolution of microstructural features that are observed in some alloys, especially steels. The proposed model opens a number of interesting possibilities for simulating and controlling microstructure pattern development under combinations of thermal and mechanical loading.
△ Less
Submitted 26 April, 2011; v1 submitted 9 October, 2010;
originally announced October 2010.
-
A discontinuous Galerkin method for strain gradient-dependent damage: Study of interpolations, convergence and two dimensional problems
Authors:
L. Molari,
G. N. Wells,
K. Garikipati,
F. Ubertini
Abstract:
A discontinuous Galerkin method has been developed for strain gradient-dependent damage. The strength of this method lies in the fact that it allows the use of $C^0$ interpolation functions for continuum theories involving higher-order derivatives, while in a conventional framework at least $C^1$ interpolations are required. The discontinuous Galerkin formulation thereby offers significant poten…
▽ More
A discontinuous Galerkin method has been developed for strain gradient-dependent damage. The strength of this method lies in the fact that it allows the use of $C^0$ interpolation functions for continuum theories involving higher-order derivatives, while in a conventional framework at least $C^1$ interpolations are required. The discontinuous Galerkin formulation thereby offers significant potential for engineering computations with strain gradient-dependent models. When using basis functions with a low degree of continuity, jump conditions arise at element edges which are incorporated in the weak form. In addition to the formulation itself, a detailed study of the convergence properties of the method for various element types is presented, an error analysis is undertaken, and the method is also shown to work in two dimensions.
△ Less
Submitted 2 November, 2004;
originally announced November 2004.
-
A discontinuous Galerkin formulation for a strain gradient-dependent damage model
Authors:
G. N. Wells,
K. Garikipati,
L. Molari
Abstract:
The numerical solution of strain gradient-dependent continuum problems has been dogged by continuity demands on the basis functions. For most commonly accepted models, solutions using the finite element method demand $C^{1}$ continuity of the shape functions. Here, recent development in discontinuous Galerkin methods are explored and exploited for the solution of a prototype nonlinear strain gra…
▽ More
The numerical solution of strain gradient-dependent continuum problems has been dogged by continuity demands on the basis functions. For most commonly accepted models, solutions using the finite element method demand $C^{1}$ continuity of the shape functions. Here, recent development in discontinuous Galerkin methods are explored and exploited for the solution of a prototype nonlinear strain gradient dependent continuum model. A formulation is developed that allows the rigorous solution of a strain gradient damage model using standard $C^{0}$ shape functions. The formulation is tested in one-dimension for the simplest possible finite element formulation: piecewise linear displacement and constant (on elements) internal variable. Numerical results are shown to compare excellently with a benchmark solution. The results are remarkable given the simplicity of the proposed formulation.
△ Less
Submitted 1 December, 2003; v1 submitted 28 November, 2003;
originally announced December 2003.