On the well-posedness of a mathematical model for lithium-ion batteries.

We discuss the well-posedness of a mathematical model that is used in the literature for the simulation of lithium-ion batteries. First, a mathematical model based on a macrohomogeneous approach is presented, following previous work. Then it is shown, from a physical and a mathematical point of view, that a boundary condition widely used in the literature is not correct. Although the errors could be just sign typos (which can be explained as carelessness in the use of d/dx versus d/dn, with n the outward unit vector) and authors using this model probably use the correct boundary condition when they solve it in order to do simulations, readers should be aware of the right choice. Therefore, the deduction of the correct boundary condition is done here, and a mathematical study of the well-posedness of the corresponding problem is presented.

A continuous model for quasinilpotent operators.

A classical result due to Foias and Pearcy establishes a discrete model for every quasinilpotent operator acting on a separable, infinite-dimensional complex Hilbert space HH . More precisely, given a quasinilpotent operator T on HH , there exists a compact quasinilpotent operator K in HH such that T is similar to a part of K⊕K⊕⋯⊕K⊕⋯K⊕K⊕⋯⊕K⊕⋯ acting on the direct sum of countably many copies of HH . We show that a continuous model for any quasinilpotent operator can be provided. The consequences of such a model will be discussed in the context of C0C0 -semigroups of quasinilpotent operators.