Recently, Zhang and Song [Q. Zhang, Y. Song, Fixed point theory forgeneralized $varphi$-weak contractions,Appl. Math. Lett. 22(2009) 75-78] proved a common fixed point theorem for two mapssatisfying generalized $varphi$-weak contractions. In this paper, we prove a common fixed point theorem fora family of compatible maps. In fact, a new generalization of Zhangand Song's theorem is given.

While most approaches in formal methods address system correctness, ensuring robustness has remained a challenge. In this paper we present and study the logic rLTL which provides means to formally reason about both correctness design. Furthermore, identify large fragment of for verification problem can be efficiently solved, i.e., done by using an automaton, recognizing behaviors described form...

For a convex body $K$ in $\mathbb{R}^n$, we introduce and study the extremal general affine surface areas, defined by \[ {\rm IS}_{\varphi}(K):=\sup_{K^\prime\subset K}{\rm as}_{\varphi}(K),\quad os}_{\psi}(K):=\inf_{K^\prime\supset as}_{\psi}(K) \] where ${\rm as}_{\varphi}(K)$ as}_{\psi}(K)$ are $L_\varphi$ $L_\psi$ area of $K$, respectively. We prove that there exist bodies achieve supremum ...

Let $varphi(z)=z^m, z in mathbb{U}$, for some positive integer $m$, and $C_varphi$ be the composition operator on the Bergman space $mathcal{A}^2$ induced by $varphi$. In this article, we completely determine the point spectrum, spectrum, essential spectrum, and essential norm of the operators $C^*_varphi C_varphi, C_varphi C^*_varphi$ as well as self-commutator and anti-self-commutators of $C_...

‎In this paper we investigate the dilations of completely positive definite representations‎ ‎of (C^ast)-dynamical systems with abelian groups on Hilbert (C^ast)-modules‎. ‎We show that if ((mathcal{A}‎, ‎G,alpha)) is a (C^ast)-dynamical system with (G) an abelian group‎, ‎then every completely positive definite covariant representation ((pi,varphi,E)) of ((mathcal{A}‎, ‎G,alpha)) on a Hilbert ...

In this paper, the notion of cyclic $varphi$-contraction in fuzzymetric spaces is introduced and a fixed point theorem for this typeof mapping is established. Meantime, an example is provided toillustrate this theorem. The main result shows that a self-mappingon a G-complete fuzzy metric space has a unique fixed point if itsatisfies the cyclic $varphi$-contraction. Afterwards, some results inco...

THE VISCOSITY OF A COMPRESSED GAS IS A FUNCTION OF THREE VARIABLES: (1) the degree of crowding of the molecules; (2) their capacity, by reason of softness, flexibility, or rotational inertia, to absorb the vector momentum applied to cause flow; (3) the resistance to this vector momentum offered by the randomly oriented thermal momenta, which becomes significant when the liquid expands sufficien...

Elementary smooth functions (beyond contact) are employed to construct pair correlation functions that mimic jammed disordered sphere packings. Using the g_{2} -invariant optimization method of Torquato and Stillinger [J. Phys. Chem. B 106, 8354 (2002)], parameters in these functions are optimized under necessary realizability conditions to maximize the packing fraction varphi and average numbe...

The effect of elevated CO(2) and O(3) on apparent quantum yield (varphi), maximum photosynthesis (P(max)), carboxylation efficiency (V(cmax)) and electron transport capacity (J(max)) at different canopy locations was studied in two aspen (Populus tremuloides) clones of contrasting O(3) tolerance. Local light climate at every leaf was characterized as fraction of above-canopy photosynthetic phot...