Mitchell Luskin

Matthew Dobson, Mitchell Luskin

We derive a model problem for quasicontinuum approximations that allows a simple, yet insightful, analysis of the optimal-order convergence rate in the continuum limit for both the energy-based quasicontinuum approximation and the quasi-nonlocal quasicontinuum approximation. The optimal-order error estimates for the quasi-nonlocal quasicontinuum approximation are given for all strains up to the continuum limit strain for fracture. The analysis is based on an explicit treatment of the coupling error at the atomistic to continuum interface, combined with an analysis of the error due to atomistic and continuum schemes using the stability of the quasicontinuum approximation.

Matthew Dobson, Mitchell Luskin

The atomistic to continuum interface for quasicontinuum energies exhibits nonzero forces under uniform strain that have been called ghost forces. In this paper, we prove for a linearization of a one-dimensional quasicontinuum energy around a uniform strain that the effect of the ghost forces on the displacement nearly cancels and has a small effect on the error away from the interface. We give optimal order error estimates that show that the quasicontinuum displacement converges to the atomistic displacement at the optimal rate O($h$) in the discrete $\ell^\infty$ norm and O($h^{1/p}$) in the $w^{1,p}$ norm for $1 \leq p < \infty.$ where $h$ is the interatomic spacing. We also give a proof that the error in the displacement gradient decays away from the interface to O($h$) at distance O($h|\log h|$) in the atomistic region and distance O($h$) in the continuum region. E, Ming, and Yang previously gave a counterexample to convergence in the $w^{1,\infty}$ norm for a harmonic interatomic potential. Our work gives an explicit and simplified form for the decay of the effect of the atomistic to continuum coupling error in terms of a general underlying interatomic potential and gives the estimates described above in the discrete $\ell^\infty$ and $w^{1,p}$ norms.

Frederic Legoll, Mitchell Luskin, Richard Moeckel

The numerical integration of the Nose-Hoover dynamics gives a deterministic method that is used to sample the canonical Gibbs measure. The Nose-Hoover dynamics extends the physical Hamiltonian dynamics by the addition of a "thermostat" variable, that is coupled nonlinearly with the physical variables. The accuracy of the method depends on the dynamics being ergodic. Numerical experiments have been published earlier that are consistent with non-ergodicity of the dynamics for some model problems. The authors recently proved the non-ergodicity of the Nose-Hoover dynamics for the one-dimensional harmonic oscillator. In this paper, this result is extended to non-harmonic one-dimensional systems. It is also shown for some multidimensional systems that the averaged dynamics for the limit of infinite thermostat "mass" have many invariants, thus giving theoretical support for either non-ergodicity or slow ergodization. Numerical experiments for a two-dimensional central force problem and the one-dimensional pendulum problem give evidence for non-ergodicity.

Mitchell Luskin, Christoph Ortner

We investigate two examples of node-based cluster summation rules that have been proposed for the quasicontinuum method: a force-based approach (Knap & Ortiz, J. Mech. Phys. Solids 49, 2001), and an energy-based approach which is a generalization of the non-local quasicontinuum method (Eidel & Stukowski, J. Mech. Phys. Solids, to appear). We show that, even for the case of nearest neighbour interaction in a one-dimensional periodic chain, both of these approaches create large errors when used with graded and, more generally, non-smooth meshes. These errors cannot be removed by increasing the cluster size. We offer some suggestions how the accuracy of (cluster) summation rules may be improved.

Brian Van Koten, Mitchell Luskin

The development of patch test consistent quasicontinuum energies for multi-dimensional crystalline solids modeled by many-body potentials remains a challenge. The original quasicontinuum energy (QCE) has been implemented for many-body potentials in two and three space dimensions, but it is not patch test consistent. We propose that by blending the atomistic and corresponding Cauchy-Born continuum models of QCE in an interfacial region with thickness of a small number $k$ of blended atoms, a general quasicontinuum energy (BQCE) can be developed with the potential to significantly improve the accuracy of QCE near lattice instabilities such as dislocation formation and motion. In this paper, we give an error analysis of the blended quasicontinuum energy (BQCE) for a periodic one-dimensional chain of atoms with next-nearest neighbor interactions. Our analysis includes the optimization of the blending function for an improved convergence rate. We show that the $\ell^2$ strain error for the non-blended QCE energy (QCE), which has low order $\text{O}(ε^{1/2})$ where $ε$ is the atomistic length scale, can be reduced by a factor of $k^{3/2}$ for an optimized blending function where $k$ is the number of atoms in the blending region. The QCE energy has been further shown to suffer from a O$(1)$ error in the critical strain at which the lattice loses stability. We prove that the error in the critical strain of BQCE can be reduced by a factor of $k^2$ for an optimized blending function, thus demonstrating that the BQCE energy for an optimized blending function has the potential to give an accurate approximation of the deformation near lattice instabilities such as crack growth.

Xingjie Helen Li, Mitchell Luskin

The accurate and efficient computation of the deformation of crystalline solids requires the coupling of atomistic models near lattice defects such as cracks and dislocations with coarse-grained models away from the defects. Quasicontinuum methods utilize a strain energy density derived from the Cauchy-Born rule for the coarse-grained model. Several quasicontinuum methods have been proposed to couple the atomistic model with the Cauchy-Born strain energy density. The quasi-nonlocal coupling method is easy to implement and achieves a reasonably accurate coupling for short range interactions. In this paper, we give a new formulation of the quasi-nonlocal method in one space dimension that allows its extension to arbitrary finite range interactions. We also give an analysis of the stability and accuracy of a linearization of our generalized quasi-nonlocal method that holds for strains up to lattice instabilities.

Marcel Arndt, Mitchell Luskin

The quasicontinuum approximation is a method to reduce the atomistic degrees of freedom of a crystalline solid by piecewise linear interpolation from representative atoms that are nodes for a finite element triangulation. In regions of the crystal with a highly nonuniform deformation such as around defects, every atom must be a representative atom to obtain sufficient accuracy, but the mesh can be coarsened away from such regions to remove atomistic degrees of freedom while retaining sufficient accuracy. We present an error estimator and a related adaptive mesh refinement algorithm for the quasicontinuum approximation of a generalized Frenkel-Kontorova model that enables a quantity of interest to be efficiently computed to a predetermined accuracy.

Xingjie Helen Li, Mitchell Luskin, Christoph Ortner et al.

We formulate an atomistic-to-continuum coupling method based on blending atomistic and continuum forces. Our precise choice of blending mechanism is informed by theoretical predictions. We present a range of numerical experiments studying the accuracy of the scheme, focusing in particular on its stability. These experiments confirm and extend the theoretical predictions, and demonstrate a superior accuracy of B-QCF over energy-based blending schemes.

Matthias Maier, Dionisios Margetis, Mitchell Luskin

We formulate and validate a finite element approach to the propagation of a slowly decaying electromagnetic wave, called surface plasmon-polariton, excited along a conducting sheet, e.g., a single-layer graphene sheet, by an electric Hertzian dipole. By using a suitably rescaled form of time-harmonic Maxwell's equations, we derive a variational formulation that enables a direct numerical treatment of the associated class of boundary value problems by appropriate curl-conforming finite elements. The conducting sheet is modeled as an idealized hypersurface with an effective electric conductivity. The requisite weak discontinuity for the tangential magnetic field across the hypersurface can be incorporated naturally into the variational formulation. We carry out numerical simulations for an infinite sheet with constant isotropic conductivity embedded in two spatial dimensions; and validate our numerics against the closed-form exact solution obtained by the Fourier transform in the tangential coordinate. Numerical aspects of our treatment such as an absorbing perfectly matched layer, as well as local refinement and a-posteriori error control are discussed.

Xingjie Helen Li, Mitchell Luskin, Christoph Ortner

The development of consistent and stable quasicontinuum models for multi-dimensional crystalline solids remains a challenge. For example, proving stability of the force-based quasicontinuum (QCF) model remains an open problem. In 1D and 2D, we show that by blending atomistic and Cauchy--Born continuum forces (instead of a sharp transition as in the QCF method) one obtains positive-definite blended force-based quasicontinuum (B-QCF) models. We establish sharp conditions on the required blending width.

Brian Van Koten, Xingjie Helen Li, Mitchell Luskin et al.

We give computational results to study the accuracy of several quasicontinuum methods for two benchmark problems - the stability of a Lomer dislocation pair under shear and the stability of a lattice to plastic slip under tensile loading. We find that our theoretical analysis of the accuracy near instabilities for one-dimensional model problems can successfully explain most of the computational results for these multi-dimensional benchmark problems. However, we also observe some clear discrepancies, which suggest the need for additional theoretical analysis and benchmark problems to more thoroughly understand the accuracy of quasicontinuum methods.

Marcel Arndt, Mitchell Luskin

We give a goal-oriented a posteriori error estimator for the atomistic-continuum modeling error in the quasicontinuum method, and we use this estimator to design an adaptive algorithm to compute a quantity of interest to a given tolerance by using a nearly minimal number of atomistic degrees of freedom. We present computational results that demonstrate the effectiveness of our algorithm for a periodic array of dislocations described by a Frenkel-Kontorova type model.

Matthew Dobson, Mitchell Luskin

We give an analysis of a continuation algorithm for the numerical solution of the force-based quasicontinuum equations. The approximate solution of the force-based quasicontinuum equations is computed by an iterative method using an energy-based quasicontinuum approximation as the preconditioner. The analysis presented in this paper is used to determine an efficient strategy for the parameter step size and number of iterations at each parameter value to achieve a solution to a required tolerance. We present computational results for the deformation of a Lennard-Jones chain under tension to demonstrate the necessity of carefully applying continuation to ensure that the computed solution remains in the domain of convergence of the iterative method as the parameter is increased. These results exhibit fracture before the actual load limit if the parameter step size is too large.

Andrew Binder, Mitchell Luskin, Danny Perez et al.

Spatial multiscale methods have established themselves as useful tools for extending the length scales accessible by conventional statics (i.e., zero temperature molecular dynamics). Recently, extensions of these methods, such as the finite-temperature quasicontinuum (hot-QC) or Coarse-Grained Molecular Dynamics (CGMD) methods, have allowed for multiscale molecular dynamics simulations at finite temperature. Here, we assess the quality of the long-time dynamics these methods generate by considering canonical transition rates. Specifically, we analyze the transition state theory (TST) rates in CGMD and compare them to the corresponding TST rate of the fully atomistic system. The ability of such an approach to reliably reproduce the TST rate is verified through a relative error analysis, which is then used to highlight the major contributions to the error and guide the choice of degrees of freedom. Finally, our analytical results are compared with numerical simulations for the case of a 1-D chain.

Paul Cazeaux, Mitchell Luskin, Ellad B. Tadmor

Graphene and other recently developed 2D materials exhibit exceptionally strong in-plane stiffness. Relaxation of few-layer structures, either free-standing or on slightly mismatched substrates occurs mostly through out-of-plane bending and the creation of large-scale ripples. In this work, we present a novel double chain model, where we allow relaxation to occur by bending of the incommensurate coupled system of chains. As we will see, this model can be seen as a new application of the well-known Frenkel-Kontorova model for a one-dimensional atomic chain lying in a periodic potential. We focus in particular on modeling and analyzing ripples occurring in ground state configurations, as well as their numerical simulation.

Gideon Simpson, Mitchell Luskin

Parallel replica dynamics is a method for accelerating the computation of processes characterized by a sequence of infrequent events. In this work, the processes are governed by the overdamped Langevin equation. Such processes spend much of their time about the minima of the underlying potential, occasionally transitioning into different basins of attraction. The essential idea of parallel replica dynamics is that the exit time distribution from a given well for a single process can be approximated by the minimum of the exit time distributions of $N$ independent identical processes, each run for only 1/N-th the amount of time. While promising, this leads to a series of numerical analysis questions about the accuracy of the exit distributions. Building upon the recent work in Le Bris et al., we prove a unified error estimate on the exit distributions of the algorithm against an unaccelerated process. Furthermore, we study a dephasing mechanism, and prove that it will successfully complete.

Jung Heon Song, Matthias Maier, Mitchell Luskin

We discuss analytically and numerically the propagation and energy transmission of electromagnetic waves caused by the coupling of surface plasmon polaritons (SPPs) between two spatially separated layers of 2D materials, such as graphene, at subwavelength distances. We construct an adaptive finite-element method to compute the ratio of energy transmitted within these waveguide structures reliably and efficiently. At its heart, the method is built upon a goal-oriented a posteriori error estimation with the dual-weighted residual method (DWR). Further, we derive analytic solutions of the two-layer system, compare those to (known) single-layer configurations, and compare and validate our numerical findings by comparing numerical and analytical values for optimal spacing of the two-layer configuration. Additional aspects of our numerical treatment, such as local grid refinement, and the utilization of perfectly matched layers (PMLs) are examined in detail.

Xingjie Helen Li, Mitchell Luskin

The quasi-nonlocal quasicontinuum method (QNL) is a consistent hybrid coupling method for atomistic and continuum models. Embedded atom models are empirical many-body potentials that are widely used for FCC metals such as copper and aluminum. In this paper, we consider the QNL method for EAM potentials, and we give a stability and error analysis for a chain with next-nearest neighbor interactions. We identify conditions for the pair potential, electron density function, and embedding function so that the lattice stability of the atomistic and the EAM-QNL models are asymptotically equal.

Matthias Maier, Dionisios Margetis, Mitchell Luskin

By using numerical and analytical methods, we describe the generation of fine-scale lateral electromagnetic waves, called surface plasmon-polaritons (SPPs), on atomically thick, metamaterial conducting sheets in two spatial dimensions (2D). Our computations capture the two-scale character of the total field and reveal how each edge of the sheet acts as a source of an SPP that may dominate the diffracted field. We use the finite element method to numerically implement a variational formulation for a weak discontinuity of the tangential magnetic field across a hypersurface. An adaptive, local mesh refinement strategy based on a posteriori error estimators is applied to resolve the pronounced two-scale character of wave propagation and radiation over the metamaterial sheet. We demonstrate by numerical examples how a singular geometry, e.g., sheets with sharp edges, and sharp spatial changes in the associated surface conductivity may significantly influence surface plasmons in nanophotonics.

Brian Van Koten, Mitchell Luskin

We analyze the convergence of the string method of E, Ren, and Vanden-Eijnden to a minimum energy path. Under some assumptions relating to the critical points on the minimum energy path, we show that the string method initialized in a neighborhood of the minimum energy path converges to an arbitrarily small neighborhood of the minimum energy path as the number of images is increased.

Mitchell Luskin, Christoph Ortner

Force-based multiphysics coupling methods have become popular since they provide a simple and efficient coupling mechanism, avoiding the difficulties in formulating and implementing a consistent coupling energy. They are also the only known pointwise consistent methods for coupling a general atomistic model to a finite element continuum model. However, the development of efficient and reliable iterative solution methods for the force-based approximation presents a challenge due to the non-symmetric and indefinite structure of the linearized force-based quasicontinuum approximation, as well as to its unusual stability properties. In this paper, we present rigorous numerical analysis and computational experiments to systematically study the stability and convergence rate for a variety of linear stationary iterative methods.

Brittan A Farmer, Mitchell Luskin, Petr Plecháč et al.

Metastable condensed matter typically fluctuates about local energy minima at the femtosecond time scale before transitioning between local minima after nanoseconds or microseconds. This vast scale separation limits the applicability of classical molecular dynamics methods and has spurned the development of a host of approximate algorithms. One recently proposed method is diffusive molecular dynamics which aims to integrate a system of ordinary differential equations describing the likelihood of occupancy by one of two species, in the case of a binary alloy, while quasistatically evolving the locations of the atoms. While diffusive molecular dynamics has shown to be efficient and provide agreement with observations, it is fundamentally a model, with unclear connections to classical molecular dynamics. In this work, we formulate a spin-diffusion stochastic process and show how it can be connected to diffusive molecular dynamics. The spin-diffusion model couples a classical overdamped Langevin equation to a kinetic Monte Carlo model for exchange amongst the species of a binary alloy. Under suitable assumptions and approximations, spin-diffusion can be shown to lead to diffusive molecular molecular dynamics type models. The key assumptions and approximations include a well defined time scale separation, a choice of spin exchange rates, a low temperature approximation, and a mean field type approximation. We derive several models from different assumptions and show their relationship to diffusive molecular dynamics. Differences and similarities amongst the models are explored in a simple test problem.

Xingjie Helen Li, Mitchell Luskin

The accurate approximation of critical strains for lattice instability is a key criterion for predictive computational modeling of materials. In this paper, we present a comparison of the lattice stability for atomistic chains modeled by the embedded atom method (EAM) with their approximation by local Cauchy-Born models. We find that both the volume-based local model and the reconstruction-based local model can give O(1) errors for the critical strain since the embedding energy density is generally strictly convex. The critical strain predicted by the volume-based model is always larger than that predicted by the atomistic model, but the critical strain for reconstruction-based models can be either larger or smaller than that predicted by the atomistic model.

Pavel Belik, Mitchell Luskin

We give an analysis of the stability and displacement error for linear and circular atomistic chains in the plane when the atomistic energy is approximated by the Cauchy-Born continuum energy and by the quasi-nonlocal atomistic-to-continuum coupling energy. We consider atomistic energies that include Lennard-Jones type nearest neighbor and next nearest neighbor pair-potential interactions. Previous analyses for linear chains have shown that the Cauchy-Born and quasi-nonlocal approximations reproduce (up to the order of the lattice spacing) the atomistic lattice stability for perturbations that are constrained to the line of the chain. However, we show that the Cauchy-Born and quasi-nonlocal approximations give a finite increase for the lattice stability of a linear or circular chain under compression when general perturbations in the plane are allowed. We also analyze the increase of the lattice stability under compression when pair-potential energies are augmented by bond-angle energies. Our estimates of the largest strain for lattice stability (the critical strain) are sharp (exact up to the order of the lattice scale). We then use these stability estimates and modeling error estimates for the linearized Cauchy-Born and quasi-nonlocal energies to give an optimal order (in the lattice scale) {\em a priori} error analysis for the approximation of the atomistic strain in $\ell^2_ε$ due to an external force.

Alexander V. Shapeev, Mitchell Luskin

The present paper aims at developing a theory of computation of crystalline defects at finite temperature. In a one-dimensional setting we introduce Gibbs distributions corresponding to such defects and rigorously establish their asymptotic expansion. We then give an example of using such asymptotic expansion to compare the accuracy of computations using the free boundary conditions and using an atomistic-to-continuum coupling method.

Andrew J. Binder, Mitchell Luskin, Christoph Ortner

The regular Cauchy--Born method is a useful and efficient tool for analyzing bulk properties of materials in the absence of defects. However, the method normally fails to capture surface effects, which are essential to determining material properties at small length scales. In this paper, we present a corrector method that improves upon the prediction for material behavior from the Cauchy--Born method over a small boundary layer at the surface of a 1D material by capturing the missed surface effects. We justify the separation of the problem into a bulk response and a localized surface correction by establishing an error estimate, which vanishes in the long wavelength limit.

Marcel Arndt, Mitchell Luskin

We propose and analyze a goal-oriented a posteriori error estimator for the atomistic-continuum modeling error in the quasicontinuum method. Based on this error estimator, we develop an algorithm which adaptively determines the atomistic and continuum regions to compute a quantity of interest to within a given tolerance. We apply the algorithm to the computation of the structure of a crystallographic defect described by a Frenkel-Kontorova model and present the results of numerical experiments. The numerical results show that our method gives an efficient estimate of the error and a nearly optimal atomistic-continuum modeling strategy.

Matthias Maier, Marios Mattheakis, Efthimios Kaxiras et al.

By using an asymptotic analysis and numerical simulations, we derive and investigate a system of homogenized Maxwell's equations for conducting material sheets that are periodically arranged and embedded in a heterogeneous and anisotropic dielectric host. This structure is motivated by the need to design plasmonic crystals that enable the propagation of electromagnetic waves with no phase delay (epsilon-near-zero effect). Our microscopic model incorporates the surface conductivity of the two-dimensional (2D) material of each sheet and a corresponding line charge density through a line conductivity along possible edges of the sheets. Our analysis generalizes averaging principles inherent in previous Bloch-wave approaches. We investigate physical implications of our findings. In particular, we emphasize the role of the vector-valued corrector field, which expresses microscopic modes of surface waves on the 2D material. We demonstrate how our homogenization procedure may set the foundation for computational investigations of: effective optical responses of reasonably general geometries, and complicated design problems in the plasmonics of 2D materials.

Daniel Massatt, Mitchell Luskin, Christoph Ortner

We prove that the electronic density of states (DOS) for 2D incommensurate layered structures, where Bloch theory does not apply, is well-defined as the thermodynamic limit of finite clusters. In addition, we obtain an explicit representation formula for the DOS as an integral over local configurations. Next, based on this representation formula, we propose a novel algorithm for computing electronic structure properties in incommensurate heterostructures, which overcomes limitations of the common approach to artificially strain a large supercell and then apply Bloch theory.

Gideon Simpson, Mitchell Luskin, David J. Srolovitz

Diffusive molecular dynamics is a novel model for materials with atomistic resolution that can reach diffusive time scales. The main ideas of diffusive molecular dynamics are to first minimize an approximate variational Gaussian free energy of the system with respect to the mean atomic coordinates (averaging over many vibrational periods), and to then to perform a diffusive step where atoms and vacancies (or two species in a binary alloy) flow on a diffusive time scale via a master equation. We present a mathematical framework for studying this algorithm based upon relative entropy, or Kullback-Leibler divergence. This adds flexibility in how the algorithm is implemented and interpreted. We then compare our formulation, relying on relative entropy and absolute continuity of measures, to existing formulations. The main difference amongst the equations appears in a model for vacancy diffusion, where additional entropic terms appear in our development.

Derek Olson, Alexander V. Shapeev, Pavel Bochev et al.

We formulate and analyze an optimization-based Atomistic-to-Continuum (AtC) coupling method for problems with point defects. Near the defect core the method employs a potential-based atomistic model, which enables accurate simulation of the defect. Away from the core, where site energies become nearly independent of the lattice position, the method switches to a more efficient continuum model. The two models are merged by minimizing the mismatch of their states on an overlap region, subject to the atomistic and continuum force balance equations acting independently in their domains. We prove that the optimization problem is well-posed and establish error estimates.

Matthew Dobson, Mitchell Luskin, Christoph Ortner

The formation and motion of lattice defects such as cracks, dislocations, or grain boundaries, occurs when the lattice configuration loses stability, that is, when an eigenvalue of the Hessian of the lattice energy functional becomes negative. When the atomistic energy is approximated by a hybrid energy that couples atomistic and continuum models, the accuracy of the approximation can only be guaranteed near deformations where both the atomistic energy as well as the hybrid energy are stable. We propose, therefore, that it is essential for the evaluation of the predictive capability of atomistic-to-continuum coupling methods near instabilities that a theoretical analysis be performed, at least for some representative model problems, that determines whether the hybrid energies remain stable {\em up to the onset of instability of the atomistic energy}. We formulate a one-dimensional model problem with nearest and next-nearest neighbor interactions and use rigorous analysis, asymptotic methods, and numerical experiments to obtain such sharp stability estimates for the basic conservative quasicontinuum (QC) approximations. Our results show that the consistent quasi-nonlocal QC approximation correctly reproduces the stability of the atomistic system, whereas the inconsistent energy-based QC approximation incorrectly predicts instability at a significantly reduced applied load that we describe by an analytic criterion in terms of the derivatives of the atomistic potential.

Matthew Dobson, Mitchell Luskin, Christoph Ortner

Force-based atomistic-continuum hybrid methods are the only known pointwise consistent methods for coupling a general atomistic model to a finite element continuum model. For this reason, and due to their algorithmic simplicity, force-based coupling methods have become a popular class of atomistic-continuum hybrid models as well as other types of multiphysics models. However, the recently discovered unusual stability properties of the linearized force-based quasicontinuum (QCF) approximation, especially its indefiniteness, present a challenge to the development of efficient and reliable iterative methods. We present analytic and computational results for the generalized minimal residual (GMRES) solution of the linearized QCF equilibrium equations. We show that the GMRES method accurately reproduces the stability of the force-based approximation and conclude that an appropriately preconditioned GMRES method results in a reliable and efficient solution method.

Matthew Dobson, Mitchell Luskin, Christoph Ortner

A sharp stability analysis of atomistic-to-continuum coupling methods is essential for evaluating their capabilities for predicting the formation and motion of lattice defects. We formulate a simple one-dimensional model problem and give a detailed analysis of the stability of the force-based quasicontinuum (QCF) method. The focus of the analysis is the question whether the QCF method is able to predict a critical load at which fracture occurs. Numerical experiments show that the spectrum of a linearized QCF operator is identical to the spectrum of a linearized energy-based quasi-nonlocal quasicontinuum operator (QNL), which we know from our previous analyses to be positive below the critical load. However, the QCF operator is non-normal and it turns out that it is not generally positive definite, even when all of its eigenvalues are positive. Using a combination of rigorous analysis and numerical experiments, we investigate in detail for which choices of "function spaces" the QCF operator is stable, uniformly in the size of the atomistic system. Force-based multi-physics coupling methods are popular techniques to circumvent the difficulties faced in formulating consistent energy-based coupling pproaches. Even though the QCF method is possibly the simplest coupling method of this kind, we anticipate that many of our observations apply more generally.

Matthew Dobson, Mitchell Luskin, Christoph Ortner

Due to their algorithmic simplicity and high accuracy, force-based model coupling techniques are an exciting development in computational physics. For example, the force-based quasicontinuum approximation is the only known pointwise consistent quasicontinuum approximation for coupling a general atomistic model with a finite element continuum model. In this paper, we analyze the stability of the force-based quasicontinuum approximation. We then use our stability result to obtain an optimal order error analysis of this coupling method that provides theoretical justification for the high accuracy of the force-based quasicontinuum approximation -- the computational efficiency of continuum modeling can be utilized without the loss of significant accuracy if defects are captured in the atomistic region. The main challenge we need to overcome is the fact (which we prove) that the linearized quasicontinuum operator is typically not positive definite. Moreover, we prove that no uniform inf-sup stability condition holds for discrete versions of the $W^{1,p}$-$W^{1,q}$ "duality pairing" with $1/p+1/q=1$, if $1 \leq p < \infty$. We must therefore derive an inf-sup stability condition for a discrete version of the $W^{1,\infty}$-$W^{1,1}$ "duality pairing" which then leads to optimal order error estimates in a discrete $W^{1,\infty}$-norm.

Matthew Dobson, Mitchell Luskin

We analyze a force-based quasicontinuum approximation to a one-dimensional system of atoms that interact by a classical atomistic potential. This force-based quasicontinuum approximation is derived as the modification of an energy-based quasicontinuum approximation by the addition of nonconservative forces to correct nonphysical ``ghost'' forces that occur in the atomistic to continuum interface. We prove that the force-based quasicontinuum equations have a unique solution under suitable restrictions on the loads. For Lennard-Jones next-nearest-neighbor interactions, we show that unique solutions exist for loads in a symmetric region extending nearly to the tensile limit. We give an analysis of the convergence of the ghost force iteration method to solve the equilibrium equations for the force-based quasicontinuum approximation. We show that the ghost force iteration is a contraction and give an analysis for its convergence rate.

Frédéric Legoll, Mitchell Luskin, Richard Moeckel

The Nose-Hoover thermostat is a deterministic dynamical system designed for computing phase space integrals for the canonical Gibbs distribution. Newton's equations are modified by coupling an additional reservoir variable to the physical variables. The correct sampling of the phase space according to the Gibbs measure is dependent on the Nose-Hoover dynamics being ergodic. Hoover presented numerical experiments that show the Nose-Hoover dynamics to be non-ergodic when applied to the harmonic oscillator. In this article, we prove that the Nose-Hoover thermostat does not give an ergodic dynamics for the one-dimensional harmonic oscillator when the ``mass'' of the reservoir is large. Our proof of non-ergodicity uses KAM theory to demonstrate the existence of invariant tori for the Nose-Hoover dynamical system that separate phase space into invariant regions. We present numerical experiments motivated by our analysis that seem to show that the dynamics is not ergodic even for a moderate thermostat mass. We also give numerical experiments of the Nose-Hoover chain with two thermostats applied to the one-dimensional harmonic oscillator. These experiments seem to support the non-ergodicity of the dynamics if the masses of the reservoirs are large enough and are consistent with ergodicity for more moderate masses.