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.     

Computational design of new organic (D–π–A) dyes based on benzothiadiazole for photovoltaic applications,especially dye-sensitized solar cells

Research on Chemical Intermediates - A theoretical study on four organic dyes based on bis(4-hexyloxy)triphenylamine as donor and electron acceptor cyanoacrylic acid with a...     

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.     

Thermal management of modern electric vehicle battery systems (MEVBS)

Journal of Thermal Analysis and Calorimetry - The operating temperature of Li-ion batteries used in modern electric vehicles should be maintained within an allowable range to avoid thermal runaway...     

On the efficacy of charging a battery using a chaotic energy harvester

Nonlinear Dynamics - Introduction of stiffness nonlinearities to broaden the frequency bandwidth of vibratory energy harvesters has the adverse influence of complicating the response behavior of...     

Non existence de solutions globales de certaines équations d'ondes non linéairesNonexistence of global solutions to some nonlinear wave equations

We study the semilinear wave equation u_tt?Δu=p^?k|u|^m in $\text{R}\text{×}\text{R}{}^{\mathrm{n}}$, where p is a conformal factor approaching 0 at infinity. We prove that the solutions blow-up in finite time for small powers m, while having an arbitrarily long life-span for large m. Furthermore, we study the finite time blow-up of solutions for the class of quasilinear wave equations u_tt?Δu=p^?k|Lu|^m in $\text{R}\text{×}\text{R}{}^{\mathrm{n}}$. To cite this article: M. Aassila, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 961–966.     

Nonexistence Results of Minimal Immersions

Let M be a Riemannian m-dimensional manifold with m ≥ 3, endowed with non zero parallel p-form. We prove that there is no minimal isometric immersions of M in a Riemannian manifold N with constant strictly negative sectional curvature. Next we show that, under the conform flatness of the manifold N and some assumptions on the Ricci curvature of N, there is no α-pluriharmonic isometric immersion.