Atomic-scale simulations for lithium dendrite growth driven by strain gradient

Dendrite formation is a major obstacle, e.g., capacity loss and short circuit, to the next-generation high-energy-density lithium (Li)-metal batteries. The development of successful Li dendrite mitigation strategies is impeded by an insufficient understanding in Li dendrite growth mechanisms. The Li-plating-induced internal stress in Li-metal and its effects on dendrite growth have been widely studied, but the underlying microcosmic mechanism is elusive. In the present study, the role of the plating-induced stress in dendrite formation is analyzed through first-principles calculations and ab initio molecular dynamic (AIMD) simulations. It is shown that the deposited Li forms a stable atomic nanofilm structure on the copper (Cu) substrate, and the adsorption energy of Li atoms increases from the Li-Cu interface to the deposited Li surface, leading to more aggregated Li atoms at the interface. Compared with the pristine Li-metal, the deposited Li in the early stage becomes compacted and suffers the in-plane compressive stress. Interestingly, there is a giant strain gradient distribution from the Li-Cu interface to the deposited Li surface, making the deposited atoms adjacent to the Cu surface tend to press upwards with perturbation and causing the dendrite growth. This provides an insight into the atomicscale origin of Li dendrite growth, and may be useful for suppressing the Li dendrite in Li-metal-based rechargeable batteries.     

Perturbative manifolds and the Noether generators of nth-order Poisson equations

A manifold that contains small perturbations will induce a perturbed partial differential equation. The partial differential equation that we select is the Poisson equation – in order to explore the interplay between the geometry of the manifold and the perturbations. Specifically, we show how the problem of symmetry determination, for higher-order perturbations, can be elegantly expressed via geometric conditions.     

Two-dimensional vortex sheets for the nonisentropic Euler equations: Nonlinear stability

We show the short-time existence and nonlinear stability of vortex sheets for the nonisentropic compressible Euler equations in two spatial dimensions, based on the weakly linear stability result of Morando and Trebeschi (2008) [20]. The missing normal derivatives are compensated through the equations of the linearized vorticity and entropy when deriving higher-order energy estimates. The proof of the resolution for this nonlinear problem follows from certain a priori tame estimates on the effective linear problem in the usual Sobolev spaces and a suitable Nash–Moser iteration scheme.     

Congruence criteria for finite subsets of complex projective and complex hyperbolic spaces

We investigate congruence classes and direct congruence classes of m-tuples in the complex projective space ℂP ⁿ . For direct congruence one allows only isometries which are induced by linear (instead of semilinear) mappings. We establish a canonical bijection between the set of direct congruence classes of m-tuples of points in ℂP ⁿ and the set of equivalence classes of positive semidefinite Hermitean m×m-matrices of rank at most n+1 with 1's on the diagonal. As a corollary we get that the direct congruence class of an m-tuple is uniquely determined by the direct congruence classes of all of its triangles, provided that no pair of points of the m-tuple has distance π/2. Examples show that the situation changes drastically if one replaces direct congruence classes by congruence classes or if distances π/2 are allowed. Finally we do the same kind of investigation also for the complex hyperbolic space ℂH ⁿ . Most of the results are completely analogous, however, there are also some interesting differences. Received: 15 January 1996     

Conditional independence models for seemingly unrelated regressions with incomplete data

We consider normal ≡ Gaussian seemingly unrelated regressions (SUR) with incomplete data (ID). Imposing a natural minimal set of conditional independence constraints, we find a restricted SUR/ID model whose likelihood function and parameter space factor into the product of the likelihood functions and the parameter spaces of standard complete data multivariate analysis of variance models. Hence, the restricted model has a unimodal likelihood and permits explicit likelihood inference. In the development of our methodology, we review and extend existing results for complete data SUR models and the multivariate ID problem.     

Compatible relations on filters and stability of local topological properties under supremum and product

An abstract scheme using particular types of relations on filters leads to general unifying results on stability under supremum and product of local topological properties. We present applications for Fréchetness, strong Fréchetness, countable tightness and countable fan-tightness, some of which recover or refine classical results, some of which are new. The reader may find other applications as well.