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.     

Rigorous smart model for predicting dynamic viscosity of Al2O3/water nanofluid

Journal of Thermal Analysis and Calorimetry - Due to the enhanced thermophysical specifications of nanofluids, such as thermal conductivity, these types of fluids are appropriate candidates for...     

Electrochemical study of Cu2O/CuO composite coating produced by annealing and electrochemical methods

The electrochemical behavior of a copper oxide electrode produced by annealing and electrochemical methods was studied in an acetonitrile solvent by means of the cyclic voltammetry method. The presence of different peaks of oxidation and reduction produced by repeating the potential scans, numerous variations in the current, and shifts of peak potentials in consecutive cycles have been justified. Voltammograms proved that various oxidation species can be produced in solid-deposited forms of Cu₂O_s and CuO_s and dissolved forms of Cu(II)_sol and Cu(I)_sol ions. The experimental results indicated that higher amounts of Cu₂O_s than CuO_s can be produced in the process of copper electrode annealing. Also, the nature of copper species is responsible for different peak currents in the cyclic voltammograms, characterized by UV–Vis and XRD spectrometric methods.

     

Incorporation of silica nanoparticles and polyurethane into hybrid composites for increase of char residue

Journal of Thermal Analysis and Calorimetry - Effect of different chain extenders, silica nanoparticle loading, and using sol–gel method on the thermal properties of polyurethane (PU) hybrid...     

Turbulent combined forced and natural convection of nanofluid in a 3D rectangular channel using two-phase model approach

Journal of Thermal Analysis and Calorimetry - The nanofluid is a mixture of base fluid and solid nanoparticles in nanosize. The heat transfer generated by the nanofluid is more than the base fluid...     

A semi-analytical solution for electric double layers near an elliptical cylinder

A theoretical analysis on the electric double layer formed near the surface of an infinite cylinder with an elliptical cross section and a prescribed electric potential in an ionic conductor was performed using the linearized Gouy–Chapman theory. A semi-analytical solution in terms of the Mathieu functions was obtained. The distributions of the electric potential, cations, anions, and electric field were calculated. The effects of various physical and geometric parameters were examined. The fields vary rapidly near the elliptical boundary and are nearly uniform at far field. Electric field concentrations were found at the ends of the semi-major and semi-minor axes of the ellipse. These concentrations are sensitive to the physical and geometric parameters.     

Energy harvesting in a Mathieu–van der Pol–Duffing MEMS device using time delay

This paper investigates quasi-periodic vibration-based energy harvesting in a delayed nonlinear MEMS device consisting of a delayed Mathieu–van der Pol–Duffing type oscillator coupled to a delayed piezoelectric coupling mechanism. We use the multiple scales method to approximate the quasi-periodic response and the related power output near the principal parametric resonance. The effect of time delay on the energy harvesting performance is studied. It is shown that for appropriate combination of time delay parameters, there exists an optimum range of excitation frequency beyond the resonance where quasi-periodic vibration-based energy harvesting is maximum. Numerical simulations are performed to confirm the analytical predictions.     

On Lie symmetries and soliton solutions of $$$$-dimensional Bogoyavlenskii equations

The present article is devoted to find some invariant solutions of the \((2+1)\)-dimensional Bogoyavlenskii equations using similarity transformations method. The system describes \((2+1)\)-dimensional interaction of a Riemann wave propagating along y-axis with a long wave along x-axis. All possible vector fields, commutative relations and symmetry reductions are obtained by using invariance property of Lie group. Meanwhile, the method reduces the number of independent variables by one, which leads to the reduction of Bogoyavlenskii equations into a system of ordinary differential equations. The system so obtained is solved under some parametric restrictions and provides invariant solutions. The derived solutions are much efficient to explain the several physical properties depending upon various existing arbitrary constants and functions. Moreover, some of them are more general than previously established results (Peng and Shen in Pramana 67:449–456, 2006; Malik et al. in Comput Math Appl 64:2850–2859, 2012; Zahran and Khater in Appl Math Model 40:1769–1775, 2016; Zayed and Al-Nowehy in Opt Quant Electron 49(359):1–23, 2017). In order to provide rich physical structures, the solutions are supplemented by numerical simulation, which yield some positons, negatons, kinks, wavefront, multisoliton and asymptotic nature.     

Limit Cycles of Piecewise Smooth Differential Equations on Two Dimensional Torus

In this paper we study the limit cycles of some classes of piecewise smooth vector fields defined in the two dimensional torus. The piecewise smooth vector fields that we consider are composed by linear, Ricatti with constant coefficients and perturbations of these one, which are given in (3). Considering these piecewise smooth vector fields we characterize the global dynamics, studying the upper bound of number of limit cycles, the existence of non-trivial recurrence and a continuum of periodic orbits. We also present a family of piecewise smooth vector fields that posses a finite number of fold points and, for this family we prove that for any 2k number of limit cycles there exists a piecewise smooth vector fields in this family that presents k number of limit cycles and prove that some classes of piecewise smooth vector fields presents a non-trivial recurrence or a continuum of periodic orbits.