Differentiable spaces that are subcartesian

We show that the differential structure of the orbit space of a proper action of a Lie group on a smooth manifold is weakly reflexive. This implies that the orbit space is a differentiable space in the sense of Smith, which ensures that the orbit space has an exterior algebra of differential forms, that satisfies Smith’s version of de Rham’s theorem. Because the orbit space is a locally closed subcartesian space, it has vector fields and their flows.     

Well-posedness of two pseudo-parabolic problems for electrical conduction in heterogeneous media

We prove a well-posedness result for two pseudo-parabolic problems, which can be seen as two models for the same electrical conduction phenomenon in heterogeneous media, neglecting the magnetic field. One of the problems is the concentration limit of the other one, when the thickness of the dielectric inclusions goes to zero. The concentrated problem involves a transmission condition through interfaces, which is mediated by a suitable Laplace-Beltrami type equation.     

Formal proofs of operator identities by a single formal computation

A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators can be added or composed. Algebraically, identities can be modelled by noncommutative polynomials and such a formal computation proves that the polynomial corresponding to the new identity lies in the ideal generated by the polynomials corresponding to the known identities. In order to prove an operator identity, however, just proving membership of the polynomial in the ideal is not enough, since the ring of noncommutative polynomials ignores domains and codomains. We show that it suffices to additionally verify compatibility of this polynomial and of the generators of the ideal with the labelled quiver that encodes which polynomials can be realized as linear operators. Then, for every consistent representation of such a quiver in a linear category, there exists a computation in the category that proves the corresponding instance of the identity. Moreover, by assigning the same label to several edges of the quiver, the algebraic framework developed allows to model different versions of an operator by the same indeterminate in the noncommutative polynomials.     

von Neumann’s trace inequality for Hilbert–Schmidt operators

von Neumann’s inequality in matrix theory refers to the fact that the Frobenius scalar product of two matrices is less than or equal to the scalar product of the respective singular values. Moreover, equality can only happen if the two matrices share a joint set of singular vectors, and this latter part is hard to find in the literature. We extend these facts to the separable Hilbert space setting, and provide a self-contained proof of the “latter part”.     

Design and development of a two‐dimensional system based on hydrophilic and reversed‐phase liquid chromatography with on‐line sample treatment for the simultaneous separation of excreted xenobiotics and endogenous metabolites in urine

In the present work we describe a two‐dimensional liquid chromatographic system (2D‐LC) with detection by mass spectrometry (MS) for the simultaneous separation of endogenous metabolites of clinical interest and excreted xenobiotics deriving from exposure to toxic compounds. The 2D‐LC system involves two orthogonal chromatographic modes, hydrophilic interaction liquid chromatography (HILIC) to separate polar endogenous metabolites and reversed‐phase (RP) chromatography to separate excreted xenobiotics of low and intermediate polarity. Additionally, the present proposal has the novelty of incorporating an on‐line sample treatment based on the use of restricted access materials (RAMs), which permits the direct injection of urine samples into the system. The work is focused on the instrumental coupling, studying all possible options and attempting to circumvent the problems of solvent incompatibility between the RAM device and the two chromatographic columns, HILIC and RP. The instrumental configuration developed, RAM‐HILIC‐RPLC‐MS/MS, allows the simultaneous assessment of urinary metabolites of clinical interest and excreted compounds derived from exposure to toxic agents with minimal sample manipulation. Thus, it may be of interest in areas such as occupational and environmental toxicology in order to explore the possible relationship between the two types of compounds. Copyright © 2015 John Wiley & Sons, Ltd.