Bulletin of the Iranian Mathematical SocietyBulletin of the Iranian Mathematical Society
http://bims.iranjournals.ir/
Wed, 24 May 2017 14:33:23 +0100FeedCreatorBulletin of the Iranian Mathematical Society
http://bims.iranjournals.ir/
Feed provided by Bulletin of the Iranian Mathematical Society. Click to visit.Bulletin of the Iranian Mathematical Society
http://bims.iranjournals.ir/article_1119_89.html
Fri, 31 Mar 2017 19:30:00 +0100Flag-transitive point-primitive $(v,k,4)$ symmetric designs with exceptional socle of Lie type
http://bims.iranjournals.ir/article_929_89.html
Let $G$ be an automorphism group of a‎ ‎$2$-$(v,k,4)$ symmetric design $mathcal D$‎. ‎In this paper‎, ‎we‎ ‎prove that if $G$ is flag-transitive point-primitive‎, ‎then the‎ ‎socle of $G$ cannot be an exceptional group of Lie type‎.Fri, 31 Mar 2017 19:30:00 +0100Connections between labellings of trees
http://bims.iranjournals.ir/article_930_89.html
There are many long-standing conjectures related with some labellings of trees. It is important to connect labellings that are related with conjectures. We find some connections between known labellings of simple graphs.Fri, 31 Mar 2017 19:30:00 +0100Arens regularity of bilinear maps and Banach modules actions
http://bims.iranjournals.ir/article_931_89.html
‎Let $X$‎, ‎$Y$ and $Z$ be Banach spaces and $f:Xtimes Y‎ ‎longrightarrow Z$ a bounded bilinear map‎. ‎In this paper we‎ ‎study the relation between Arens regularity of $f$ and the‎ ‎reflexivity of $Y$‎. ‎We also give some conditions under which the‎ ‎Arens regularity of a Banach algebra $A$ implies the Arens‎ ‎regularity of certain Banach right module action of $A$‎ .Fri, 31 Mar 2017 19:30:00 +0100Multipliers of continuous $G$-frames in Hilbert spaces
http://bims.iranjournals.ir/article_932_89.html
In this paper we introduce continuous $g$-Bessel multipliers in Hilbert spaces and investigate some of their properties. We provide some conditions under which a continuous $g$-Bessel multiplier is a compact operator. Also, we show the continuous dependency of continuous $g$-Bessel multipliers on their parameters.Fri, 31 Mar 2017 19:30:00 +0100Study on multi-order fractional differential equations via operational matrix of hybrid basis ...
http://bims.iranjournals.ir/article_933_89.html
In this paper we apply hybrid functions of general block-pulse‎ ‎functions and Legendre polynomials for solving linear and‎ ‎nonlinear multi-order fractional differential equations (FDEs)‎. ‎Our approach is based on incorporating operational matrices of‎ ‎FDEs with hybrid functions that reduces the FDEs problems to‎ ‎the solution of algebraic systems‎. ‎Error estimate that verifies a‎ ‎convergence of the approximate solutions is considered‎. ‎The‎ ‎numerical results obtained by this scheme have been compared with‎ ‎the exact solution to show the efficiency of the method‎.Fri, 31 Mar 2017 19:30:00 +0100A new result on chromaticity of K4-homoemorphs with girth 9
http://bims.iranjournals.ir/article_934_89.html
For a graph $G$, let $P(G,lambda)$ denote the chromatic polynomial of $G$. Two graphs $G$ and $H$ are chromatically equivalent if they share the same chromatic polynomial. A graph $G$ is chromatically unique if any graph chromatically equivalent to $G$ is isomorphic to $G$. A $K_4$-homeomorph is a subdivision of the complete graph $K_4$. In this paper, we determine a family of chromatically unique $K_4$-homeomorphs which have girth 9 and has exactly one path of length 1, and give sufficient and necessary condition for the graphs in this family to be chromatically unique.Fri, 31 Mar 2017 19:30:00 +0100Extrinsic sphere and totally umbilical submanifolds in Finsler spaces
http://bims.iranjournals.ir/article_935_89.html
‎Based on a definition for circle in Finsler space‎, ‎recently proposed by one of the present authors and Z‎. ‎Shen‎, ‎a natural definition of extrinsic sphere in Finsler geometry is given and it is shown that a connected submanifold of a Finsler manifold is totally umbilical and has non-zero parallel mean curvature vector field‎, ‎if and only if its circles coincide with circles of the ambient manifold‎. Finally‎, ‎some examples of extrinsic sphere in Finsler geometry‎, ‎particularly in Randers spaces are given.Fri, 31 Mar 2017 19:30:00 +0100Strong convergence theorem for solving split equality fixed point problem which does not ...
http://bims.iranjournals.ir/article_936_89.html
‎Our contribution in this paper is to propose an iterative algorithm which does not require prior knowledge of operator norm and prove a strong convergence theorem for approximating a solution of split equality fixed point problem for quasi-nonexpansive mappings in a real Hilbert space‎. ‎So many have used algorithms involving the operator norm for solving split equality fixed point problem‎, ‎but as widely known the computation of these algorithms may be difficult and for this reason‎, ‎some researchers have recently started constructing iterative algorithms with a way of selecting the step-sizes such that the implementation of the algorithm does not require the calculation or estimation of the operator norm‎. ‎To the best of our knowledge most of the works in literature that do not involve the calculation or estimation of the operator norm only obtained weak convergence results‎. ‎In this paper, by appropriately modifying the simultaneous iterative algorithm introduced by Zhao‎, ‎we state and prove a strong convergence result for solving split equality problem‎. ‎We present some applications of our result and then give some numerical example to study its efficiency and implementation at the end of the paper‎.Fri, 31 Mar 2017 19:30:00 +0100Triple positive solutions of $m$-point boundary value problem on time scales with $p$-Laplacian
http://bims.iranjournals.ir/article_937_89.html
‎In this paper‎, ‎we consider the multipoint boundary value problem for one-dimensional $p$-Laplacian‎ ‎dynamic equation on time scales‎. ‎We prove the existence at least three positive solutions of the boundary‎ ‎value problem by using the Avery and Peterson fixed point theorem‎. ‎The interesting point is that the non-linear term $f$ involves a first-order derivative explicitly‎. ‎Our results are new for the special cases of difference equations and differential equations as well as in the general time scale setting‎.Fri, 31 Mar 2017 19:30:00 +0100New classes of Lyapunov type inequalities of fractional $\Delta$-difference Sturm-Liouville ...
http://bims.iranjournals.ir/article_938_89.html
‎In this paper‎, ‎we consider a new study about fractional $Delta$-difference equations‎. ‎We consider two special classes of Sturm-Liouville problems equipped with fractional $Delta$-difference operators‎. ‎In couple of steps‎, ‎the Lyapunov type inequalities for both classes will be obtained‎. ‎As application‎, ‎some qualitative behaviour of mentioned fractional problems such as stability‎, ‎spectral‎, ‎disconjugacy and some interesting results about zeros of (oscillatory) solutions will be concluded.Fri, 31 Mar 2017 19:30:00 +0100Some extended Simpson-type inequalities and applications
http://bims.iranjournals.ir/article_939_89.html
‎In this paper‎, ‎we shall establish some extended Simpson-type inequalities‎ ‎for differentiable convex functions and differentiable concave functions‎ ‎which are connected with Hermite-Hadamard inequality‎. ‎Some error estimates‎ ‎for the midpoint‎, ‎trapezoidal and Simpson formula are also given‎.Fri, 31 Mar 2017 19:30:00 +0100Left derivable or Jordan left derivable mappings on Banach algebras
http://bims.iranjournals.ir/article_940_89.html
‎Let $mathcal{A}$ be a unital Banach algebra‎, ‎$mathcal{M}$ be a left $mathcal{A}$-module‎, ‎and $W$ in $mathcal{Z}(mathcal{A})$ be a left separating point of $mathcal{M}$‎. ‎We show that if $mathcal{M}$ is a unital left $mathcal{A}$-module and $delta$ is a linear mapping from $mathcal{A}$ into $mathcal{M}$‎, ‎then the following four conditions are equivalent‎: ‎(i) $delta$ is a Jordan left derivation; (ii)$delta$ is left derivable at $W$; (iii) $delta$ is Jordan left derivable at $W$; (iv)$Adelta(B)+Bdelta(A)=delta(W)$ for each $A,B$ in $mathcal{A}$ with $AB=BA=W$‎. ‎Let $mathcal{A}$ have property ($mathbb{B}$) (see Definition ref{Prop_B})‎, ‎$mathcal{M}$ be a Banach left $mathcal{A}$-module‎, ‎and $delta$ be a continuous linear operator from $mathcal{A}$ into $mathcal{M}$‎. ‎Then $delta$ is a generalized Jordan left derivation if and only if $delta$ is Jordan left derivable at zero‎. ‎In addition‎, ‎if there exists an element $Cinmathcal{Z}(mathcal{A})$ which is a left separating point of $mathcal{M}$‎, ‎and $Rann_{mathcal{M}}(mathcal{A})={0}$‎, ‎then $delta$ is a generalized left derivation if and only if $delta$ is left derivable at zero.Fri, 31 Mar 2017 19:30:00 +0100The Steiner diameter of a graph
http://bims.iranjournals.ir/article_941_89.html
‎The Steiner distance of a graph‎, ‎introduced by Chartrand‎, ‎Oellermann‎, ‎Tian and Zou in 1989‎, ‎is a natural generalization of the‎ ‎concept of classical graph distance‎. ‎For a connected graph $G$ of‎ ‎order at least $2$ and $Ssubseteq V(G)$‎, ‎the Steiner‎ ‎distance $d(S)$ among the vertices of $S$ is the minimum size among‎ ‎all connected subgraphs whose vertex sets contain $S$‎. ‎Let $n,k$ be‎ ‎two integers with $2leq kleq n$‎. ‎Then the Steiner‎ ‎$k$-eccentricity $e_k(v)$ of a vertex $v$ of $G$ is defined by‎ ‎$e_k(v)=max {d(S),|,Ssubseteq V(G)‎, |S|=k‎, and vin S‎‎}$‎. ‎Furthermore‎, ‎the Steiner $k$-diameter of $G$ is‎ ‎$sdiam_k(G)=max {e_k(v),| ‎vin V(G)}$‎. ‎In 2011‎, ‎Chartrand‎, ‎Okamoto and Zhang showed that $k-1leq sdiam_k(G)leq n-1$‎. ‎In this‎ ‎paper‎, ‎graphs with $sdiam_3(G)=2,3,n-1$ are characterized‎, ‎respectively‎. ‎We also consider the Nordhaus-Gaddum-type results for‎ ‎the parameter $sdiam_k(G)$‎. ‎We determine sharp upper and lower‎ ‎bounds of $sdiam_k(G)+sdiam_k(overline{G})$ and $sdiam_k(G)cdot‎ ‎sdiam_k(overline{G})$ for a graph $G$ of order $n$‎. ‎Some‎ ‎graph classes attaining these bounds are also given. Fri, 31 Mar 2017 19:30:00 +0100Module homomorphisms from Frechet algebras
http://bims.iranjournals.ir/article_942_89.html
We first study some properties‎ ‎of $A$-module homomorphisms $theta:Xrightarrow Y$‎, ‎where $X$‎ ‎and $Y$ are Fréchet $A$-modules and $A$ is a unital‎ ‎Fréchet algebra‎. ‎Then we show that if there exists a‎ ‎continued bisection of the identity for $A$‎, ‎then $theta$ is‎ ‎automatically continuous under certain condition on $X$‎. ‎In‎ ‎particular‎, ‎every homomorphism from $A$ into certain‎ ‎Fréchet algebras (including Banach algebra) is automatically‎ ‎continuous‎. ‎Finally‎, ‎we show that every unital Fréchet‎ ‎algebra with a continued bisection of the identity‎, ‎is‎ ‎functionally continuous‎.Fri, 31 Mar 2017 19:30:00 +0100On convergence of sample and population Hilbertian functional principal components
http://bims.iranjournals.ir/article_943_89.html
In this article we consider the sequences of sample and population covariance operators for a sequence of arrays of Hilbertian random elements. Then under the assumptions that sequences of the covariance operators norm are uniformly bounded and the sequences of the principal component scores are uniformly sumable, we prove that the convergence of the sequences of covariance operators would imply the convergence of the corresponding sequences of the sample andpopulation eigenvalues and eigenvectors, and vice versa. In particular we prove that the principal component scores converge in distribution in certain family of Hilbertian elliptically contoured distributions.Fri, 31 Mar 2017 19:30:00 +0100Digital Borsuk-Ulam theorem
http://bims.iranjournals.ir/article_944_89.html
The aim of this paper is to compute a simplicial cohomology group of some specific digital images. Then we define ringand algebra structures of a digital cohomology with the cup product. Finally, we prove a special case of the Borsuk-Ulam theorem fordigital images.Fri, 31 Mar 2017 19:30:00 +0100A characterization of simple $K_4$-groups of type $L_2(q)$ and their automorphism groups
http://bims.iranjournals.ir/article_945_89.html
In this paper, it is proved that all simple $K_4$-groups of type $L_2(q)$ can be characterized by their maximum element orders together with their orders. Furthermore, the automorphism groups of simple $K_4$-groups of type $L_2(q)$ are also considered.Fri, 31 Mar 2017 19:30:00 +0100Pullback D-attractors for non-autonomous partly dissipative reaction-diffusion equations in ...
http://bims.iranjournals.ir/article_946_89.html
At present paper, we establish the existence of pullback $mathcal{D}$-attractor for the process associated with non-autonomous partly dissipative reaction-diffusion equation in $L^2(mathbb{R}^n)times L^2(mathbb{R}^n)$. In order to do this, by energy equation method we show that the process, which possesses a pullback $mathcal{D}$-absorbing set, is pullback $widehat{D}_0$-asymptotically compact.Fri, 31 Mar 2017 19:30:00 +0100Comparative study on solving fractional differential equations via shifted Jacobi collocation method
http://bims.iranjournals.ir/article_947_89.html
In this paper, operational matrices of Riemann-Liouville fractional integration and Caputo fractional differentiation for shifted Jacobi polynomials are considered. Using the given initial conditions, we transform the fractional differential equation (FDE) into a modified fractional differential equation with zero initial conditions. Next, all the existing functions in modified differential equation are approximated by shifted Jacobi polynomials. Then, operational matrices and spectral collocation method are applied to obtain a linear or nonlinear system of algebraic equations. System of algebraic equations can be simultaneously solved (e.g. using Mathematica^{TM}). Main characteristic behind of the this technique is that only a small number of shifted Jacobi polynomials is needed to obtain a satisfactory result which demonstrates the validity and efficiency of the method. Comparison between this method and some other methods confirm the good performance of the presented method. Also, this method is generalized for the multi-point fractional differential equation.Fri, 31 Mar 2017 19:30:00 +0100Separating partial normality classes with weighted composition operators
http://bims.iranjournals.ir/article_948_89.html
In this article, we discuss measure theoretic characterizations for weighted composition operators in some operator classes on $L^{2}(Sigma)$ such as, $n$-power normal, $n$-power quasi-normal, $k$-quasi-paranormal and quasi-class$A$. Then we show that weighted composition operators can separate these classes.Fri, 31 Mar 2017 19:30:00 +0100A comprehensive unified model of structural and reduced form type for defaultable fixed income bonds
http://bims.iranjournals.ir/article_1109_0.html
The aim of this paper is to generalize the comprehensive structural model for defaultable fixed income bonds (considered in [1]) into a comprehensive unified model of structural and reduced form approaches. In our model the bond holders receive the deterministic coupon at predetermined coupon dates and the face value (debt) and the coupon at the maturity as well as the effect of government taxes which are paid on the proceeds of an investment in bonds is considered. The expected default event occurs when the equity value is not enough to pay coupon or debt at the coupon dates or maturity and an unexpected default event can occur at any time interval with the probability of given default intensity. We consider the model and pricing formula for equity value and using it calculate expected default barrier. Then we provide pricing model and formula for defaultable corporate bonds with discrete coupons, and consider the duration and the effect of the government taxes.Fri, 17 Mar 2017 20:30:00 +0100Compact and weakly compact multipliers of locally compact quantum group
http://bims.iranjournals.ir/article_950_0.html
A locally compact group G is compact if and only if its convolution algebra has anon-zero (weakly) compact multiplier. Dually, G is discrete if and only if its Fourier algebra hasa non-zero (weakly) compact multiplier. Also, G is compact (respectively, amenable) if and onlyif the second dual of its convolution algebra equipped with the first Arens product has a non-zero (weakly) compact left (respectively, right) multiplier. We prove the non-commutative versions of these results in the case of locally compact quantum groups.Sun, 19 Feb 2017 20:30:00 +0100Solvability of an impulsive boundary value problem on the half-line via critical point theory
http://bims.iranjournals.ir/article_951_0.html
In this paper, an impulsive boundary value problem on the half-line is consideredand existence of solutions is proved using Minimization Principal and Mountain Pass Theorem.Sun, 19 Feb 2017 20:30:00 +0100Weak convergence theorems for symmetric generalized hybrid mappings in uniformly convex Banach ...
http://bims.iranjournals.ir/article_952_0.html
In this paper, we prove some theorems related to properties ofgeneralized symmetric hybrid mappings in Banach spaces. Using Banachlimits, we prove a fixed point theorem for symmetric generalizedhybrid mappings in Banach spaces. Moreover, we prove some weakconvergence theorems for such mappings by using Ishikawa iterationmethod in a uniformly convex Banach space.Sun, 19 Feb 2017 20:30:00 +0100Uniqueness of meromorphic functions ans Q-differential polynomials sharing small function
http://bims.iranjournals.ir/article_953_0.html
The paper concerns interesting problems related to the field of Complex Analysis, in particular Nevanlinna theory of meromorphic functions. We have studied certain uniqueness problem on differential polynomials of meromorphic functions sharing a small function. The result of this paper is an improvement result’s L. R. Jie et. al. in [5]. Futhermore, we consider some case the form of polynomial differential which was not considered in the paper of X. Zhang [15]. Outside, in this paper, we also consider the uniqueness of q− shift difference - differentialpolynomials of meromorphic functions sharing small function or a set in the complex plane which is extended the result’s Q. Zhao and J. Zhang in [12], X. Qi and L. Yang in [8] and an improvement of Z. Huang in [3].Sun, 19 Feb 2017 20:30:00 +0100Coordinate finite type invariant surfaces in Sol space
http://bims.iranjournals.ir/article_954_0.html
In the present paper, we study surfaces invariant under the 1-parameter subgroup in Sol space $rm Sol_3$. Also, we characterize the surfaces in $rm Sol_3$ whose coordinate functions of an immersion of the surface are eigenfunctions of the Laplacian $Delta$ of the surface.Sun, 19 Feb 2017 20:30:00 +0100On non-normal non-abelian subgroups of finite groups
http://bims.iranjournals.ir/article_955_0.html
In this paper we prove that a finite group $G$ having at most three conjugacy classes of non-normal non-abelian proper subgroups is always solvable except for $Gcong{rm{A_5}}$, which extends Theorem 3.3 in [Some sufficient conditions on the number of non-abelian subgroups of a finite group to be solvable, Acta Math. Sinica (English Series) 27 (2011) 891--896.]. Moreover, we show that a finite group $G$ with at most three same order classes of non-normal non-abelian proper subgroups is always solvable except for $Gcong{rm {A_5}}$.Sun, 19 Feb 2017 20:30:00 +0100Solitons for nearly integrable bright spinor Bose-Einstein condensate
http://bims.iranjournals.ir/article_956_0.html
Using the explicit forms of eigenstates for linearized operator related to a matrix version of Nonlinear Schrödinger equation, soliton perturbation theory is developed for the F = 1 bright spinor Bose-Einstein condensates. A small disturbance of the integrability condition can be considered as small correction to the integrable equation.By choosing appropriate perturbation, the soliton solution for small deviation from the integrability condition is found. Numerical simulations exhibit good agreement with analytical results.Sun, 19 Feb 2017 20:30:00 +0100Mathematical modeling, analysis and simulation of Ebola epidemics
http://bims.iranjournals.ir/article_957_0.html
Mathematical models are the most important tool in epidemiology to understand previous outbreaks of diseases and to better understand the dynamics of how infections spread through populations. Many existing models closely approximate historical disease patterns. This article investigates the Mathematical model of the deadly disease with severe and uncontrollable bleeding, Ebola which is currently becoming the headache of the whole world though effort to control is undergoing. In this paper a new mathematical model of the Ebola epidemic is built.Besides, the basic reproductive number is calculated and the stability of both disease free and endemic equilibrium are proved. Finally,numerical simulations are executed to further consolidate the analysis of the deadly disease Ebola.Sun, 19 Feb 2017 20:30:00 +0100On 5-dimensional 2-step homogeneous randers nilmanifolds of Douglas typ
http://bims.iranjournals.ir/article_958_0.html
In this paper we first obtain the non-Riemannian Randers metrics of Douglas type on two-step homogeneous nilmanifolds of dimension five. Then we explicitly give the flag curvature formulae and the S-curvature formulae for the Randers metrics of Douglastype on these spaces. Moreover, we prove that the only simply connected five-dimensional two-step homogeneous Randers nilmanifolds of Douglas type which are Ricci-quadratic have a three-dimensional centre. We also prove that all simply connected five-dimensional two-stephomogeneous Randers nilmanifolds of Douglas type are never weakly symmetric. The existence of homogeneous Randers spaces of Douglas type with vanishing S-curvature which are never g.o Finsler spaces is also proved and some examples of locally projectively flat Finsler spaces are also obtained.Sun, 19 Feb 2017 20:30:00 +0100Theory of hybrid differential equations on time scales
http://bims.iranjournals.ir/article_959_0.html
In this paper, we develop the theory of hybrid differential equations on time scales. An existence theorem for hybrid differential equations on time scales is given under Lipschitz conditions. Some fundamental fractional differential inequalities are also established which are utilized to prove the existence of extremal solutions. Necessary tools are considered and the comparison principle is proved which will be useful for further study of qualitative behavior of solutions. Our results in this paper extend and improve some known results.Sun, 19 Feb 2017 20:30:00 +0100Strongly k-spaces
http://bims.iranjournals.ir/article_960_0.html
In this paper, we introduce the notion of strongly k-spaces (with the weak (=finest) pre-topology generated by their strongly compact subsets). We characterize the strongly k-spaces and investigate the relationships between preclosedness, locally strongly compactness, pre-first countableness and being strongly k-space.Sun, 19 Feb 2017 20:30:00 +0100On a class of locally projectively flat Finsler metrics
http://bims.iranjournals.ir/article_961_0.html
In this paper we study Finsler metrics with orthogonal invariance. Wefind a partial differential equation equivalent to these metrics being locally projectively flat. Some applications are given. In particular, we give an explicit construction of new locally projectively flat Finsler metric of vanishing flag curvature which differs from the Finsler metric given by Berwald in 1929.Sun, 19 Feb 2017 20:30:00 +0100Frattini supplements and Frat- series
http://bims.iranjournals.ir/article_962_0.html
In this study Frattini supplement subgroup and Frattini supplemented group are defined by Frattini subgroup . By these definitions it's shown that finite abelian groups are Frattini supplemented and every conjugate of a Frattini supplement subgroup is also a Frattini supplement. A group action of a group is defined over the set of Frattini supplements of a normal subgroup of the group by conjugation and in this paper new characterization of primitivity of groups has obtained in terms of Frattini supplemented groups by this action. Moreover Frat -serie of a group is defined based on Frattini supplements of normal subgroups of the group and shown that subgroups and factor groups of groups with Frat serie also have Frat series under some special conditions.Furthermore a characterization of a group to be soluble which has a Frat-serie is determined as a conclusion.Sun, 19 Feb 2017 20:30:00 +0100Finite groups all of whose proper centralizers are cyclic
http://bims.iranjournals.ir/article_963_0.html
A finite group $G$ is called a $CC$-group ($Gin CC$) if the centralizer of each noncentral element of $G$ is cyclic. In this article we determine all finite $CC$-groups.Sun, 19 Feb 2017 20:30:00 +0100The concentration function problem for $G$-spaces
http://bims.iranjournals.ir/article_964_0.html
In this note, we consider the concentration function problem for a continuous action of a locally compact group $G$ on a locally compact Hausdorff space $X$.We prove a necessary and sufficient condition for the concentration functions of aspread-out irreducible probability measure $mu$ on $G$ to converge to zero.Sun, 19 Feb 2017 20:30:00 +0100A characterization of curves in Galilean 4-space G_4
http://bims.iranjournals.ir/article_965_0.html
In the present study, we consider a regular curve in Galilean 4-space G_4 whose position vector is written as a linear combination of its Frenet vectors. We characterize such curves in terms of their curvature functions. Further, we obtain some results of rectifying, constant ratio, T-constant and N-constant curves in G_4.Sun, 19 Feb 2017 20:30:00 +0100Unmixed $r$-partite graphs
http://bims.iranjournals.ir/article_966_0.html
Unmixed bipartite graphs have been characterized by Ravindra and Villarreal independently. Our aim in this paper is tocharacterize unmixed $r$-partite graphs under a certain condition, which is a generalization of Villarreal's theorem on bipartite graphs. Also we give some examples and counterexamples in relevance this subject.Sun, 19 Feb 2017 20:30:00 +0100On boundary value problem for fractional differential equations
http://bims.iranjournals.ir/article_967_0.html
In this paper, we study the existence of solutions for a fractional boundary value problem. By using critical point theory and variational methods, we give some new criteria to guarantee that the problems have at least one solution and infinitely many solutions.Sun, 19 Feb 2017 20:30:00 +0100Benson's algorithm for nonconvex multiobjective problems via nonsmooth Wolfe duality
http://bims.iranjournals.ir/article_968_0.html
In this paper, we propose an algorithm to obtain an approximation set of the (weakly) nondominated points of nonsmooth multiobjective optimization problems with equality and inequality constraints. We use an extension of the Wolfe duality to construct the separating hyperplane in Benson’s outer algorithm for multiobjective programming problems with subdifferentiable functions. We also formulate an infinitive approximation set of the (weakly) nondominated points of biobjective optimization problems. Moreover, we provide some numericalexamples to illustrate the advantage of our algorithm.Sun, 19 Feb 2017 20:30:00 +0100Critical fixed point theorems in Banach algebras under weak topology features
http://bims.iranjournals.ir/article_969_0.html
In this paper, we establish some new critical fixed point theorems for the sum $AB+C$ in a Banach algebra relative to the weak topology, where $frac{I-C}{A}$ allows to be noninvertible. In addition, a special class of Banach algebras will be considered.Sun, 19 Feb 2017 20:30:00 +0100Almost valuation rings
http://bims.iranjournals.ir/article_970_0.html
An integral domain R is called almost valuation domain, if for every nonzero x in field of fraction of R, there exists an integer n with x^n or x^{−n} in R. The aim of this paper is to generalize the notion of almost valuation domainsto arbitrary commutative rings. Also, we consider relations between almost valuation rings and pseudo-almost valuation rings in the sense that every prime ideal is pseudo-strongly prime. We prove that the class of almost valuation rings is properly contained in the class of pseudo-almost valuation rings. Among the properties of almost valuation rings, we show that a quasilocal ring R with regular maximal ideal M is a pseudo-almost valuation ring iff V=(M:M) is an almost valuation ring with maximal ideal Rad_V(M). Furthermore, we show that pseudo-almost valuation rings are precisely the pullbacks of almost valuation rings.Sun, 19 Feb 2017 20:30:00 +0100W-convergence of the proximal point algorithm in complete CAT(0) metric spaces
http://bims.iranjournals.ir/article_971_0.html
In this paper, we generalize the proximal point algorithm to complete CAT(0) spaces and we show that the sequence generated by the proximal point algorithm $w$-converges (defined in cite{a,aa}) to a zero of the maximal monotone operator. Also, we prove that if $f: Xrightarrow ]-infty, +infty]$ is a proper, convex and lower semicontinuousfunction on the complete CAT(0) space $X$, then the proximal point algorithm $w$-converges to a zero of the subdifferential of $f$, that is a minimizer of $f$. Some strong convergence results (convergence in metric) are also presented with additional assumptions on the monotone operator and the convex function $f$.Sun, 19 Feb 2017 20:30:00 +0100On quasi $P$-spaces and their applications in submaximal and nodec spaces
http://bims.iranjournals.ir/article_972_0.html
A topological space is called {it submaximal} if each of its dense subsets is open and is called {it nodec} if each of its nowhere dense subsets is closed. Here, we study a variety of spaces some of which have already been studied in $C(X)$. Among them are, most importantly, quasi $P$-spaces and pointwise quasi $P$-spaces. We obtain some new useful topological characterizations of quasi $P$-spaces and pointwise quasi $P$-spaces. Consequently, we obtain a close relation between these latter spaces and submaximal and nodec spaces.Sun, 19 Feb 2017 20:30:00 +0100Some results on the symmetric doubly stochastic inverse eigenvalue problem
http://bims.iranjournals.ir/article_973_0.html
The emph{symmetric doubly stochastic inverse eigenvalue problem} (hereafter SDIEP) is to determine the necessary and sufficient conditions for an $n$-tuple $sigma=(1,lambda_{2},lambda_{3},ldots,lambda_{n})in mathbb{R}^{n}$ with $|lambda_{i}|leq 1,~i=1,2,ldots,n$, to be the spectrum of an $ntimes n$ symmetric doubly stochastic matrix $A$. If there exists an $ntimes n$ symmetric doubly stochastic matrix $A$ with $sigma$ as its spectrum, then the list $sigma$ is emph{s.d.s. realizable}, or such that $A$ s.d.s. realizes $sigma$. In this paper, we propose a new sufficient condition for the existence of the symmetric doubly stochastic matrices with prescribed spectrum. Finally, some results about how to construct new s.d.s. realizable lists from the known lists are presented.Sun, 19 Feb 2017 20:30:00 +0100On the type of conjugacy classes and the set of indices of maximal subgroups
http://bims.iranjournals.ir/article_974_0.html
Let $G$ be a finite group. By $MT(G)=(m_1,cdots,m_k)$ we denote the type of conjugacy classes of maximal subgroups of $G$, which implies that $G$ has exactly $k$ conjugacy classes of maximal subgroups and $m_1,ldots,m_k$ are the numbers of conjugates of maximal subgroups of $G$, where $m_1leqcdotsleq m_k$. In this paper, we give some new characterizations of finite groups by the type of conjugacy classes of maximal subgroups. By $pi_t(G)$ we denote the set of indices of all maximal subgroups of $G$. We also investigate the influence of the set of indices of all maximal subgroups on the structure of finite groups.Sun, 19 Feb 2017 20:30:00 +0100Existence of ground state solutions for a class of nonlinear elliptic equations with fast ...
http://bims.iranjournals.ir/article_975_0.html
This paper is devoted to get a ground state solution for a class of nonlinear elliptic equations with fast increasing weight. We apply the variational methods to obtain the existence of ground state solutions when nonlinearity is superlinear and asymptotically linear at infinity, respectively.Sun, 19 Feb 2017 20:30:00 +0100The norm of pre-Schwarzian derivatives on bi-univalent functions of order $\alpha$
http://bims.iranjournals.ir/article_976_0.html
In the present investigation, we give the best estimates for the norm of the pre-Schwarzian derivative $ T_{f}(z)=dfrac{f^{''}(z)}{f^{'}(z)} $ for bi-starlike functions and a new subclass of bi-univalent functions of order $ alpha $, where $$Vert T_{f} Vert= textit{sup}_{|z|Sun, 19 Feb 2017 20:30:00 +0100On annihilator ideals in skew polynomial rings
http://bims.iranjournals.ir/article_977_0.html
This article examines annihilators in the skew polynomial ring $R[x;alpha,delta]$. A ring is strongly right $AB$ if everynon-zero right annihilator is bounded. In this paper, we introduce and investigate a particular class of McCoy rings which satisfy Property ($A$) and the conditions asked by P.P. Nielsen. We assume that $R$ is an ($alpha$,$delta$)-compatible ring, and prove that, if $R$ is nil-reversible then the skew polynomial ring $R[x;alpha,delta]$is strongly right $AB$. It is also shown that, every right duo ring with an automorphism $alpha$ is skew McCoy. Moreover, if $R$ is strongly right $AB$ and skew McCoy, then $R[x;alpha]$ and $R[x;delta]$ have right Property ($A$).Sun, 19 Feb 2017 20:30:00 +0100Almost specification and renewality in spacing shifts
http://bims.iranjournals.ir/article_978_0.html
‎Let $(Sigma_P,,sigma_P)$ be the space of a spacing shifts where $Psubset mathbb{N}_0=mathbb{N}cup{0}$ and $Sigma_P={sin{0,,1}^{mathbb{N}_0}: ‎s_i=s_j=1 mbox{ if } |i-j|in P cup{0}}$ and $sigma_P$ the shift map‎.
‎We will show that $Sigma_P$ is mixing if and only if it has almost specification property with at least two periodic points‎.
‎Moreover‎, ‎we show that if $h(sigma_P)=0$‎, ‎then $Sigma_P$ is almost specified and if $h(sigma_P)>0$ and $Sigma_P$ is almost specified‎, ‎then it is weak mixing‎.
‎Also‎, ‎some sufficient conditions for a coded $Sigma_P$ being renewal or uniquely decipherable is given‎.
‎At last we will show that here are only two conjugacies from a transitive $Sigma_P$ to a subshift of ${0,,1}^{mathbb{N}_0}$‎.Sun, 19 Feb 2017 20:30:00 +0100Diagonal arguments and fixed points
http://bims.iranjournals.ir/article_979_0.html
A universal schema for diagonalization was popularized by N. S. Yanofsky (2003), based on a pioneering work of F. W. Lawvere (1969), in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function. It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema. Here, we fit more theorems in the universal schema of diagonalization, such as Euclid's proof for the infinitude of the primes and new proofs of G. Boolos (1997) for Cantor's theorem on the non-equinumerosity of a set with its powerset. Then, in Linear Temporal Logic, we show the non-existence of a fixed-point in this logic whose proof resembles the argument of Yablo's paradox (1985, 1993). Thus, Yablo's paradox turns for the first time into a genuine mathematico-logical theorem in the framework of Linear Temporal Logic. Again the diagonal schema of the paper is used in this proof; and it is also shown that G. Priest's inclosure schema (1997) can fit in our universal diagonal/fixed-point schema. We also show the existence of dominating (Ackermann-like) functions (which dominate a given countable set of functions, such as primitive recursive functions) in the schema.Sun, 19 Feb 2017 20:30:00 +0100Double derivations of n-Lie algebras
http://bims.iranjournals.ir/article_980_0.html
After introducing double derivations of $n$-Lie algebra $L$ we describe the relationship between the algebra $mathcal D(L)$ of double derivations and the usual derivation Lie algebra $mathcal Der(L)$. In particular, we prove that the inner derivation algebra $ad(L)$ is an ideal of the double derivation algebra $mathcal D(L)$; we also show that if $L$ is a perfect $n$-Lie algebra with certain constraints on the base field then the centralizer of $ad(L)$ in $mathcal D(L)$ is trivial and $mathcal D(L)$ is centerless. In addition, we obtain that for every perfect $n$-Lie algebra $L$ with zero center, the triple derivations of the derivation algebra $mathcal Der(L)$ are exactly the derivations of $mathcal Der(L)$, and the triple derivations of the inner derivation algebra $ad(L)$ are precisely the derivations of $ad(L)$.Sun, 19 Feb 2017 20:30:00 +0100On reducibility of weighted composition operators
http://bims.iranjournals.ir/article_981_0.html
In this paper, we study two types of the reducing subspaces for the weighted composition operator $W: frightarrow ucdot fcirc varphi$ on $L^2(Sigma)$. A necessary and sufficient condition is given for $W$ to possess the reducing subspaces of the form $L^2(Sigma_B)$ where $Bin Sigma_{sigma(u)}$. Moreover, we pose some necessary and some sufficient conditions under which the subspaces of the form $L^2(mathcal{A})$ reduce $W$. All of these are basically discussed by using the conditional expectation properties. To explain the results some examples are then presented.Sun, 19 Feb 2017 20:30:00 +0100Order-type existence theorem for second order nonlocal problems at resonance
http://bims.iranjournals.ir/article_982_0.html
This paper gives an abstract order-type existence theorem for second order nonlocal boundary value problems at resonance and obtain existence criteria for at least two positive solutions, where $f$ is a continuous function. Our results generalize or extend related results in the literature and give a positive answer to the question raised in the literature. An example is given to illustrate the new results.Sun, 19 Feb 2017 20:30:00 +0100Modules for which every non-cosingular submodule is summand
http://bims.iranjournals.ir/article_983_0.html
. A module M is lifting if and only if M is amply supple-mented and every coclosed submodule of M is a direct summand. In this paper, we are interested in a generalization of lifting modules by removing the condition ”amply supplemented” and just focus on modules such that every non-cosingular submodule of them is a summand. We call these modules NS. We investigate some general properties of NS -modules. Several examples are provided to seperate different con- cepts. It is shown that every non-cosingular NS -module is a direct sum of indecomposable modules. We also discuss on finite direct sums ofMon, 20 Feb 2017 20:30:00 +0100Note on blow-up in parabolic equations with local and localized sources
http://bims.iranjournals.ir/article_984_0.html
This note deals with the systems of parabolic equations with local and localized sources involving $n$ components. We obtained the exponent regions, where $kin {1,2,cdots,n}$ components may blow up simultaneously while the other $(n-k)$ ones still remain bounded under suitable initial data. It is proved that different initial data can lead to different blow-up phenomena even in the same exponent regions, and moreover, different blow-up mechanism leads to different blow-up rates and blow-up sets.Mon, 20 Feb 2017 20:30:00 +0100Simple axiomatization of reticulations on residuated lattices
http://bims.iranjournals.ir/article_985_0.html
We give a simple and independent axiomatization of reticulations on residuated lattices, which were axiomatized by five conditions in cite{M}. Moreover, we show that reticulations can be considered as lattice homomorphisms between residuated lattices and bounded distributive lattices. Consequently, the result that for any two reticulations $(L_1, lm_1), (L_2, lm_2)$ of a residuated lattice $X$ there exists an isomorphism $f: L_1 to L_2$ such that $fcirc lm_1 = lm_2$, can be considered as so-called a homomorphism theorem.Mon, 20 Feb 2017 20:30:00 +0100Existence and blow-up of solution of Cauchy problem for the sixth order damped Boussinesq equation
http://bims.iranjournals.ir/article_986_0.html
We consider the existence and uniqueness of the global solution for the sixth order damped Boussinesq equation. The finite-time blow-up of the solution for the sixth order damped Boussinesq equation is investigated by the concavity method.Mon, 20 Feb 2017 20:30:00 +0100On two classes of third order boundary value problems with finite spectrum
http://bims.iranjournals.ir/article_987_0.html
The spectral analysis of two classes of third order boundary value problems is investigated. For every positive integer m we construct two classes of regular third order boundary value problems with at most 2m+1 eigenvalues, counting multiplicity. These kinds of finite spectrum results are previously known only for even order boundary value problems.Mon, 20 Feb 2017 20:30:00 +0100Affinization of Segre products of partial linear spaces
http://bims.iranjournals.ir/article_1010_0.html
Hyperplanes and hyperplane complements in the Segre product of partial linear spaces are investigated. The parallelism of such a complement is characterized in terms of the point-line incidence. Assumptions, under which the automorphisms of the complement are the restrictions of the automorphisms of the ambient space, are given. An affine covering for the Segre product of Veblenian gamma spaces is established. A general construction that produces non-degenerate hyperplanes in the Segre product of partial linear spaces embeddable into projective space is introduced.Mon, 20 Feb 2017 20:30:00 +0100A new one-step iterative process for approximating common fixed points of a countable family of ...
http://bims.iranjournals.ir/article_1011_0.html
In this paper, we propose a new one-step iterative process for a countable family of quasi-nonexpansive multi-valued mappings in a CAT(0) space. We also prove $Delta$ and strong convergence theorems of the proposed iterative process under some control conditions. Our main results extend and generalize many results in the literature.Mon, 20 Feb 2017 20:30:00 +0100A new characterization of $L_2(q)$ by the largest element orders
http://bims.iranjournals.ir/article_1012_0.html
‎We characterize finite simple groups $L_2(q)$ by both the group orders and the largest‎ ‎element orders‎, ‎where $q$ is a prime or $q=2^a$ satisfying that $2^a+1$ or $2^a-1$ is a prime‎.Mon, 20 Feb 2017 20:30:00 +0100A radical extension of the category of $S$-sets
http://bims.iranjournals.ir/article_1013_0.html
Let S-Set be the category of $S$-sets, sets together with the actions of a semigroup $S$ on them. And, let S-Pos be the category of $S$-posets, posets together with the actions compatible with the orders on them. In this paper we show that the category S-Pos is a radical extension of S-Set; that is there is a radical on the category S-Pos, the order desolator radical, whose torsion-free class is S-Set. To do this, first we give a precise definition of a radical on the category S-Posand construct some functors between the above mentioned categories and finally we show that S-Pos is a radical extension of S-Set.Mon, 20 Feb 2017 20:30:00 +0100A numerical method for discrete fractional--order Chemostat model derived from nonstandard ...
http://bims.iranjournals.ir/article_1014_0.html
‎In this paper‎, ‎the fractional--order form of three dimensional chemostat model with variable yields is introduced‎. ‎The stability analysis of this fractional system is discussed in detail‎. ‎In order to study the dynamic behaviours of mentioned fractional system‎, ‎the well known nonstandard (NSFD) scheme is implemented‎. ‎The proposed NSFD scheme is compared with the forward Euler and fourth order Runge--Kutta methods‎. ‎Numerical results show that the NSFD approach is easy and accurate when applied to fractional--order chemostat model.Mon, 20 Feb 2017 20:30:00 +0100On characterizations of hyperbolic harmonic Bloch and Besov spaces
http://bims.iranjournals.ir/article_1015_0.html
We define hyperbolic harmonic $omega$-$alpha$-Bloch space $mathcal{B}_omega^alpha$ in the unit ball $IB$ of $IR^n$ and characterize it in terms of $frac{omegabig((1-|x|^2)^{beta}(1-|y|^2)^{alpha-beta}big)|f(x)-f(y)|}{[x,y]^gamma|x-y|^{1-gamma} }$, where $0leq gammaleq 1$. Similar results are extended tolittle $omega$-$alpha$-Bloch and Besov spaces. These obtained characterizations generalize the corresponding ones due to G. Ren and U. K"{a}hler in cite{RK,RK1}.Mon, 20 Feb 2017 20:30:00 +0100On the character space of Bananch vector-valued function algebras
http://bims.iranjournals.ir/article_1016_0.html
Given a compact space $X$ and a commutative Banach algebra $A$, the character spaces of $A$-valued function algebras on $X$ are investigated. The class of natural $A$-valued function algebras, those whose characters can be described by means of characters of $A$ and point evaluation homomorphisms, is introduced and studied. For an admissible Banach $A$-valued function algebra $mathcal{A}$ on $X$, conditions under which the character space $M(mathcal{A})$ is homeomorphic to $M(mathfrak{A}) times M(A)$ are presented, where $mathfrak{A}=C(X) cap mathcal{A}$ is the subalgebra of $mathcal{A}$ consisting of scalar-valued functions. An illustration of the results is given by some examples.Mon, 20 Feb 2017 20:30:00 +0100On some generalized recurrent manifolds
http://bims.iranjournals.ir/article_1017_0.html
The object of the present paper is to introduce and study a type of non-flat semi-Riemannian manifolds, called, super generalized recurrent manifolds which generalizes both the notion of hyper generalized recurrent manifolds and weakly generalized recurrent manifolds. The nature of associated 1-forms of a super generalized recurrent manifold is determined and it is proved that on a Roter type manifold such a notion is equivalent to the notion of generalized Ricci-recurrent manifold. We also obtain a sufficient condition for a super generalized recurrent manifold to be a semisymmetric one and the existence of such notion is ensured by a proper example.Mon, 20 Feb 2017 20:30:00 +0100On pm$^+$ and finite character bi-amalgamation
http://bims.iranjournals.ir/article_1018_0.html
Let $f:Arightarrow B$ and $g:A rightarrow C$ be two ring homomorphisms and let $J$ and $J'$ be two ideals of $B$ and $C$, respectively, such that $f^{-1}(J)=g^{-1}(J')$. The bi-amalgamation of $A$ with $(B,C)$ along $(J,J')$ with respect of $(f,g)$ is subring of $Btimes C$ given by $$Abowtie^{f,g}(J,J')={(f(a)+j,g(a)+j')/ a in A, (j,j') in Jtimes J'} $$In this paper we study the transference of $pm^{+}$, $pm$ and finite character ring-properties in the bi-amalgamation.Mon, 20 Feb 2017 20:30:00 +0100Study on dimensions of modules
http://bims.iranjournals.ir/article_1019_0.html
In this article we study relations between some algebraic operations such as tensor product, localization and dual modules from one hand and some well-known dimensions such as uniform dimension, hollow dimension and type dimension from the other hand. Some applications in ring of all real valued continuous functions over a completely regular space $X$, $C(X)$, have been discovered as well.Mon, 20 Feb 2017 20:30:00 +0100Efficient quadrature rules for a class of cordial Volterra integral equations: A comparative study
http://bims.iranjournals.ir/article_1020_0.html
A natural algorithm with an optimal order of convergence is proposed for numerical solution of a class of cordial weakly singular Volterra integral equations. The equations of this class appear in heat conduction problems with mixed boundary conditions. The algorithm is based on a representation of the solution and compound Gaussian quadrature rules with graded meshes. A comparative study is carried out, which points out that the proposed method is the most efficient one among other existing methods. In fact, the results of this paper introduce a most-efficient decisive-choice for computing the solution of the heat conduction model.Mon, 20 Feb 2017 20:30:00 +0100On certain maximality principles
http://bims.iranjournals.ir/article_1021_0.html
We present streamlined proofs of certain maximality principles studied by Hamkins and Woodin. Moreover, we formulate an intermediate maximality principle, which is shown here to be equiconsistent with the existence of a weakly compact cardinal $kappa$ such that $V_{kappa}prec V$.Mon, 20 Feb 2017 20:30:00 +0100Further inequalities for operator space numerical radius on 2*2 operator matrices
http://bims.iranjournals.ir/article_1022_0.html
‎We present some inequalities for operator space numerical radius of $2times 2$ block matrices on the matrix space $mathcal{M}_n(X)$‎, ‎when $X$ is a numerical radius operator space‎. ‎These inequalities contain some upper and lower bounds for operator space numerical radius.Mon, 20 Feb 2017 20:30:00 +0100Application of frames in Chebyshev and conjugate gradient methods
http://bims.iranjournals.ir/article_1023_0.html
‎Given a frame of a separable Hilbert space $H$‎, ‎we present some‎ ‎iterative methods for solving an operator equation $Lu=f$‎, ‎where $L$ is a bounded‎, ‎invertible and symmetric‎ ‎operator on $H$‎. ‎We present some algorithms ‎based on the knowledge of frame bounds‎, ‎Chebyshev method and conjugate gradient method‎, ‎in order to give some‎ ‎approximated solutions to the problem‎. ‎Then we investigate the‎ ‎convergence and optimality of them.Mon, 20 Feb 2017 20:30:00 +0100Stochastic evolution equations with multiplicative Poisson noise and monotone nonlinearity
http://bims.iranjournals.ir/article_1024_0.html
Semilinear stochastic evolution equations with multiplicative Poisson noise and monotone nonlinear drift in Hilbert spaces are considered. The coefficients are assumed to have linear growth. We do not impose coercivity conditions on coefficients. A novel method of proof for establishing existence and uniqueness of the mild solution is proposed. Examples on stochastic partial differential equations and stochastic delay differential equations are provided to demonstrate the theory developed.Mon, 20 Feb 2017 20:30:00 +0100Improvements of Young inequality using the Kantorovich constant
http://bims.iranjournals.ir/article_1025_0.html
‎Some improvements of Young inequality and its reverse‎‎for positive numbers with Kontrovich constant $K(t‎, ‎2)=frac{(1+t)^2}{4t}$ are given‎. ‎Using these inequalities some operator inequalities and Hilbert-Schmidt norm versions for matrices are proved‎. ‎In particular‎, ‎it is shown that if $a‎, ‎b$ are positive numbers and $0 leqslant nu leqslant 1,$ then for all integers $ kgeqslant 1‎: ‎$‎‎begin{align*}‎ ‎K(h^{frac{1}{2^n}},2)^{r_n} asharp_{nu}b &leqslant anabla_{nu} b‎ -‎sum_{k=0}^{n-1}r_{k}left((a sharp_{frac{m_k}{2^k}} b‎‎)^{frac{1}{2}}‎- ‎(a sharp_{frac{m_k+1}{2^k}}b‎‎)^{frac{1}{2}}right)^{2}‎ ‎&leqslant K(h^{frac{1}{2^n}},2)^{R_n} asharp_{nu}b,‎end{align*}‎‎where $m_k=‎ [‎2^knu ] $ is the largest integer not greater than‎ ‎$2^knu$‎, ‎$ r_0=min {nu‎,‎1-nu}‎, ‎$ $ r_{k}=min { 2r_{k-1}‎, ‎1-2r_{k-1} } $ and $R_k=1-r_k$‎.Mon, 20 Feb 2017 20:30:00 +0100Dilations for $C^ast$-dynamical systems with abelian groups on Hilbert $C^ast$-modules
http://bims.iranjournals.ir/article_1026_0.html
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 $C^ast$-module $E$ admits an unitary dilation $(hat{pi},hat{varphi},hat{E})$.Mon, 20 Feb 2017 20:30:00 +0100Some topologies on the space of quasi-multipliers
http://bims.iranjournals.ir/article_1027_0.html
‎Assume that $A$ is a Banach algebra. We define‎ ‎$beta-$topology and $gamma-$topology on the space $QM_{el}(A^{*})$ of all bounded extended left quasi-multipliers of $A^{*}.$‎ ‎We establish further properties of $(QM_{el}(A^{*}),gamma)$ when $A$ is a $C^{*}-$algebra‎. ‎In particular‎, ‎we characterize the $gamma-$dual‎ ‎of $QM_{el}(A^{*})$ and prove that $(QM_{el}(A^{*}),gamma)^{*},$ under the topology of bounded convergence‎, ‎is isomorphic to $A^{***}.Mon, 20 Feb 2017 20:30:00 +0100Strongly nil-clean corner rings
http://bims.iranjournals.ir/article_1028_0.html
We show that if $R$ is a ring with an arbitrary idempotent $e$ such that $eRe$ and $(1-e)R(1-e)$ are both strongly nil-clean rings‎, ‎then $R/J(R)$ is nil-clean‎. ‎In particular‎, ‎under certain additional circumstances‎, ‎$R$ is also nil-clean‎. ‎These results somewhat improves on achievements due to Diesl in J‎. ‎Algebra (2013) and to Koc{s}an-Wang-Zhou in J‎. ‎Pure Appl‎. ‎Algebra (2016)‎. ‎In addition‎, ‎we also give a new transparent proof of the main result of Breaz-Calugareanu-Danchev-Micu in Linear Algebra Appl‎. ‎(2013) which says that if $R$ is a commutative nil-clean ring‎, ‎then the full $ntimes n$ matrix ring $mathbb{M}_n(R)$ is nil-clean‎.Mon, 20 Feb 2017 20:30:00 +0100Inverse Sturm--Liouville problems using three spectra with finite number of transmission and ...
http://bims.iranjournals.ir/article_1029_0.html
‎In this manuscript‎, ‎we study various by uniqueness results for inverse spectral problems of Sturm--Liouville operators using three spectrum with a finite number of discontinuities at interior points which we impose the usual transmission conditions‎. ‎We consider both the cases of classical Robin and eigenparameter dependent boundary conditions.Mon, 20 Feb 2017 20:30:00 +0100onvergence of the sinc method applied to delay Volterra integral equations
http://bims.iranjournals.ir/article_1030_0.html
‎In this paper‎, ‎the numerical solutions of linear and nonlinear Volterra integral‎ ‎equations with nonvanishing delay are considered by two methods‎. ‎The methods are developed by means of‎ ‎the sinc approximation with the single exponential (SE) and double exponential (DE)‎ ‎transformations‎. ‎The existence and uniqueness of sinc-collocation solutions for these equations are provided‎. ‎These methods improve conventional results and achieve exponential convergence‎. ‎Numerical results are included to confirm the efficiency and accuracy of the methods.Mon, 20 Feb 2017 20:30:00 +0100A stochastic version analysis of an M/G/1 retrial queue with Bernoulli schedule
http://bims.iranjournals.ir/article_1031_0.html
In this work, we derive insensitive bounds for various performance measures of a single-server retrial queue with generally distributed inter-retrial times and Bernoulli schedule, under the special assumption that only the customer at the head of the orbit queue (i.e., a FCFS discipline governing the flow from the orbit to the server) is allowed to occupy the server. The methodology is strongly based on stochastic comparison techniques. Instead of studying a performance measure in a quantitative fashion, this approach attempts to reveal the relationship between the performance measures and the parameters of the system. We prove the monotonicity of the transition operator of the embedded Markov chain relative to strong stochastic ordering and increasing convex ordering. We obtain comparability conditions for the distribution of the number of customers in the system. Bounds are derived for the stationary distribution and some simple bounds for the mean characteristics of the system. The proofs of these results are based on the validation of some inequalities for some cumulative probabilities associated with every state (m, n) of the system. Finally, the effects of various parameters on the performance of the system have been examined numerically.Mon, 20 Feb 2017 20:30:00 +0100An algorithm for approximating nondominated points of convex multiobjective optimization problems
http://bims.iranjournals.ir/article_1032_0.html
‎In this paper‎, ‎we present an algorithm for generating approximate nondominated points of a multiobjective optimization problem (MOP)‎, ‎where the constraints and the objective functions are convex‎. ‎We provide outer and inner approximations of nondominated points and prove that inner approximations provide a set of approximate weakly nondominated points‎. ‎The proposed algorithm can be applied for differentiable or nondifferentiable convex MOPs‎. ‎To illustrate efficiency of the proposed algorithm for convex MOPs‎, ‎we provide numerical examples.Mon, 20 Feb 2017 20:30:00 +0100Complete pivoting strategy for the $IUL$ preconditioner obtained from Backward Factored ...
http://bims.iranjournals.ir/article_1033_0.html
‎In this paper‎, ‎we use a complete pivoting strategy to compute the $IUL$ preconditioner obtained as the by-product of the Backward Factored APproximate INVerse process‎. ‎This pivoting is based on the complete pivoting strategy of the Backward $IJK$ version of Gaussian Elimination process‎. ‎There is a parameter $alpha$ to control the complete pivoting process‎. ‎We have studied the effect of different values of $alpha$ on the quality of the $IUL$ preconditioner‎. ‎For the numerical experiments section‎, ‎the $IUL$ factorization which is coupled with the complete pivoting is compared to the $ILUTP$ and to the left-looking version of $RIF$ which is coupled with the complete pivoting strategy‎. ‎As the preprocessing‎, ‎we have applied the maximum weighted matching coupled the Reverse Cuthill-Mckee ($RCM$) and multilevel nested dissection reordering.Mon, 20 Feb 2017 20:30:00 +0100Caratheodory dimension for observers
http://bims.iranjournals.ir/article_1034_0.html
‎In this essay we introduce and study the notion of dimension for observers via Caratheodory structures and relative probability measures‎. ‎We show that the dimension as a three variables function is an increasing function on observers‎, ‎and decreasing function on the cuts of an observer‎. ‎We find observers with arbitrary non-negative dimensions‎. ‎We show that Caratheodory dimension for observers is an invariant object under conjugate relations‎. ‎Caratheodory dimension as a mapping‎, ‎for multi-dimensional observers is considered‎. ‎News spread is modeled via multi-dimensional observers‎.Mon, 20 Feb 2017 20:30:00 +0100Functional identities of degree 2 in CSL algebras
http://bims.iranjournals.ir/article_1035_0.html
‎Let $mathscr{L}$ be a commutative subspace lattice generated by finite many commuting independent nests on a complex separable Hilbert space $mathbf{H}$ with ${rm dim}hspace{2pt}mathbf{H}geq 3$‎, ‎${rm Alg}mathscr{L}$‎ ‎the CSL algebra associated with $mathscr{L}$ and $mathscr{M}$ be an algebra containing ${rm Alg}mathscr{L}$‎. ‎This article is aimed at describing the form of‎ ‎additive mapppings $F_1‎, ‎F_2‎, ‎G_1‎, ‎G_2colon {rm Alg}mathscr{L}longrightarrow mathscr{M}$ satisfying functional identity‎ ‎$F_1(X)Y+F_2(Y)X+XG_2(Y)+YG_1(X)=0$ for all $X‎, ‎Yin {rm Alg}mathscr{L}$‎. ‎As an application generalized inner biderivations and commuting‎ ‎additive mappings are determined‎.Mon, 20 Feb 2017 20:30:00 +0100On a p-Laplacian system and a generalization of the Landesman-Lazer type condition
http://bims.iranjournals.ir/article_1036_0.html
This article shows the existence of weak solutions of a resonance problem for nonuniformly p-Laplacian system in a bounded domain in $mathbb{R}^N$‎. ‎Our arguments are based on the minimum principle and rely on a generalization of the Landesman-Lazer type condition‎.Mon, 20 Feb 2017 20:30:00 +0100Some rank equalities for finitely many tripotent matrices
http://bims.iranjournals.ir/article_1037_0.html
It is established a rank equality for the sum of finitely many tripotent matrices via elementary block matrix operations. Moreover, by using this equality and Theorems 8 and 10 in [Chen M. and et al. On the open problem related to rank equalities for the sum of finitely many idempotent matrices and its applications, The Scientific World Journal, 2014], it is given some other rank equalities for tripotent matrices. Furthermore, it is obtained several rank equalities related to some special types of matrices, some of which are available in the literature, from the results established.Mon, 20 Feb 2017 20:30:00 +0100Decay estimates of solutions to the IBq equation
http://bims.iranjournals.ir/article_1038_0.html
‎In this paper we focus on the Cauchy problem for the generalized‎ ‎IBq equation with damped term in $n$-dimensional space‎. ‎We establish the global existence and decay estimates of solution with $L^q(1leq qleq 2)$ initial value‎, ‎provided that the initial value is suitably small‎. ‎Moreover‎, ‎we also show that the solution is asymptotic to the solution $u_L$ to the corresponding linear equation as time tends to infinity‎. ‎Finally‎, ‎asymptotic profile of the solution $u_L$ to the linearized problem is also discussed‎.Mon, 20 Feb 2017 20:30:00 +0100Analogues of some determinantal inequalities for sector matrices
http://bims.iranjournals.ir/article_1039_0.html
In this note, some analogues of classic determinantal inequalities are presented for sector matrices, such as the Minkowski inequality, Fischer's inequality etc.Mon, 20 Feb 2017 20:30:00 +0100On three-dimensional $N(k)$-paracontact metric manifolds and Ricci solitons
http://bims.iranjournals.ir/article_1040_0.html
The aim of this paper is to characterize $3$-dimensional $N(k)$-paracontact metric manifolds satisfying certain curvature conditions. We prove that a $3$-dimensional $N(k)$-paracontact metric manifold $M$ admits a Ricci soliton whose potential vector field is the Reeb vector field $xi$ if and only if the manifold is a paraSasaki-Einstein manifold. Several consequences of this result are discussed. Finally, an illustrative example is constructed.Mon, 20 Feb 2017 20:30:00 +0100Very cleanness of generalized matrices
http://bims.iranjournals.ir/article_1041_0.html
An element $a$ in a ring $R$ is very clean in case there exists‎ ‎an idempotent $ein R$ such that $ae = ea$ and either $a‎- ‎e$ or $a‎ + ‎e$ is invertible‎. ‎An element $a$ in a ring $R$ is very $J$-clean‎ ‎provided that there exists an idempotent $ein R$ such that $ae =‎‎ea$ and either $a-ein J(R)$ or $a‎ + ‎ein J(R)$‎. ‎Let $R$ be a‎ ‎local ring‎, ‎and let $sin C(R)$‎. ‎We prove that $Ain K_s(R)$ is‎ ‎very clean if and only if $Ain U(K_s(R))$; $Ipm Ain U(K_s(R))$‎ ‎or $Ain K_s(R)$ is very J-clean‎.Mon, 20 Feb 2017 20:30:00 +0100The length of Artinian modules with countable Noetherian dimension
http://bims.iranjournals.ir/article_1042_0.html
‎It is shown that‎ ‎if $M$ is an Artinian module over a ring‎ ‎$R$‎, ‎then $M$ has Noetherian dimension $alpha $‎, ‎where $alpha $ is a countable ordinal number‎, ‎if and only if $omega ^{alpha }+2leq it{l}(M)leq omega ^{alpha‎ +1}$, ‎where $ it{l}(M)$ is‎ ‎the length of $M$‎, ‎$i.e.,$ the least ordinal number such that the interval $[0‎, ‎ it{l}(M))$ cannot be embedded in the lattice of all submodules of $M$.Mon, 20 Feb 2017 20:30:00 +0100Jordan derivations and Lie derivations on path algebras
http://bims.iranjournals.ir/article_1043_0.html
‎Without the faithful assumption‎, ‎we prove that every Jordan‎ ‎derivation on a class of path algebras of quivers without oriented‎ ‎cycles is a derivation and that every Lie derivation on such kinds‎ ‎of algebras is of the standard form.Mon, 20 Feb 2017 20:30:00 +0100On derivations and biderivations of trivial extensions and triangular matrix rings
http://bims.iranjournals.ir/article_1044_0.html
‎Triangular matrix rings are examples of trivial extensions‎. ‎In this article we determine the structure of derivations and biderivations of the trivial extensions‎, ‎and thereby we describe the derivations and biderivations of the upper triangular matrix rings‎. ‎Some related results are also obtained‎.Mon, 20 Feb 2017 20:30:00 +0100Two-geodesic transitive graphs of prime power order
http://bims.iranjournals.ir/article_1045_0.html
In a non-complete graph $Gamma$, a vertex triple $(u,v,w)$ with $v$ adjacent to both $u$ and $w$ is called a $2$-geodesic if $uneq w$ and $u,w$ are not adjacent. The graph $Gamma$ is said to be $2$-geodesic transitive if its automorphism group is transitive on arcs, and also on 2-geodesics. We first produce a reduction theorem for the family of $2$-geodesic transitive graphs of prime power order. Next, we classify such graphs which are also vertex quasiprimitive.Mon, 20 Feb 2017 20:30:00 +0100Convex combinations of harmonic shears of slit mappings
http://bims.iranjournals.ir/article_1046_0.html
In this paper, we study the linear combinations of harmonic mappings obtained by shearing a class of slit conformal mappings. Sufficient conditions for the linear combinations of harmonic mappings of this family to be univalent and convex in the horizontal direction are derived. Several examples of univalent harmonic mappings constructed by using these methods are presented to illustrate potential applications of the main results.Mon, 20 Feb 2017 20:30:00 +0100A simple proof of Zariski's Lemma
http://bims.iranjournals.ir/article_1047_0.html
‎Our aim in this very short note is to show that the proof of the‎ ‎following well-known fundamental lemma of Zariski follows from an‎ ‎argument similar to the proof of the fact that the rational field‎ ‎$mathbb{Q}$ is not a finitely generated $mathbb{Z}$-algebra.Mon, 20 Feb 2017 20:30:00 +0100Weak convergence of splitting algorithms in Hilbert spaces with their applications
http://bims.iranjournals.ir/article_1048_0.html
‎In this article‎, ‎we study the convergence of a splitting algorithm‎ ‎for solving a convex feasibility problem‎. ‎Weak convergence of the purposed algorithm is obtained in the framework of real Hilbert spaces‎. ‎Applications are also provided to support the main results.Mon, 20 Feb 2017 20:30:00 +0100Stability of F-biharmonic maps
http://bims.iranjournals.ir/article_1049_0.html
This paper studies some properties of F-biharmonic maps between Riemannian manifolds. By considering the first variation formula of the F-bienergy functional, F-biharmonicity of conformal maps are investigated. Moreover, the second variation formula for F-biharmonic maps is obtained. As an application, instability and nonexistence theorems for F-biharmonic maps are given.Mon, 20 Feb 2017 20:30:00 +0100Measure of non strict singularity of Schechter essential spectrum of two bounded operators and ...
http://bims.iranjournals.ir/article_1050_0.html
In this paper, we discuss the essential spectrum of the sum of two bounded operators by means of measure of non strict singularity. As application, based on this new investigation, a problem of one-speed neutron transport operator is presented.Mon, 20 Feb 2017 20:30:00 +0100Extension functors of Cousin cohomology modules
http://bims.iranjournals.ir/article_1051_0.html
‎‎‎Let $R$ be a commutative Noetherian ring with non-zero identity‎, ‎$mathcal{F}$ a filtration of $Spec(R)$ which admits an $R$--module $X$‎, ‎and $Co_R(mathcal{F},X)$ the Cousin complex for $X$ with respect to $mathcal{F}$‎. ‎In this paper‎, ‎we first introduce the Cousin functor and the Cousin spectral sequences‎. ‎Then for non-negative integers $s‎, ‎t$ and a finite $R$--module $N$‎, ‎we study the membership of $R$--modules $h^{s-1}(Ext^t_R(N,Co_R(mathcal{F},X)))$ and $Ext^{s}_R(N,h^{t-1}(Co_R(mathcal{F},X)))$ in Serre subcategories of the category of $R$--modules and find some conditions for validity of an isomorphism between them‎. ‎Finally‎, ‎we use these results to present some facts about the vanishing and finiteness of Cousin cohomology modules.Mon, 20 Feb 2017 20:30:00 +0100Gorenstein hereditary rings with respect to a semidualizing module
http://bims.iranjournals.ir/article_1052_0.html
Let $C$ be a semidualizing module. We first investigate the properties of finitely generated $G_C$-projective modules.Then, relative to $C$, we introduce and study the rings over which every submodule of a projective (flat) module is $G_C$-projective (flat), which we call $C$-Gorenstein (semi)hereditary rings. It is proved that every $C$-Gorenstein hereditary ring is both coherent and $C$-Gorenstein semihereditary.Mon, 27 Feb 2017 20:30:00 +0100Duality for vector equilibrium problems with constraints
http://bims.iranjournals.ir/article_1053_0.html
In the paper, we study duality for vector equilibrium problems using a concept of generalized convexity in dealing with the quasi-relative interior. Then, their applications to optimality conditions for quasi-relative efficient solutions are obtained. Our results are extensions of several existing ones in the literature when the ordering cones in both the objective space and the constraint space have possibly empty interior.Mon, 27 Feb 2017 20:30:00 +0100An upper bound for the regularity of powers of edge ideals
http://bims.iranjournals.ir/article_1054_0.html
‎A recent result due to H`{a} and Van Tuyl proved that the Castelnuovo-Mumford regularity of the quotient ring $R/I(G)$ is at most matching number of $G$‎, ‎denoted by ${rm match}(G)$‎. ‎In this paper‎, ‎we provide a generalization of this result for powers of edge ideals‎. ‎More precisely‎, ‎we show that for every graph $G$ and every $sgeq 1$‎, ‎$${rm reg}(R‎/ ‎I(G)^{s})leq (2s-1) |E(G)|^{s-1} {rm match}(G).$$Mon, 27 Feb 2017 20:30:00 +0100Five-value rich lines, Borel directions and uniqueness of meromorphic functions
http://bims.iranjournals.ir/article_1055_0.html
For a meromorphic function $f$ in the complex plane, we shall introduce the definition of five-value rich line of $f$, and study the uniqueness of meromorphic functions of finite order in an angular domain by involving the five-value rich line and Borel directions. Finally, the relationship between a five-value rich line and a Borel direction is discussed, that is, every Borel direction of $f$ is its five-value rich line, and the inverse statement holds when $f$ is of infinite order.Mon, 27 Feb 2017 20:30:00 +0100Properties of matrices with numerical ranges in a sector
http://bims.iranjournals.ir/article_1056_0.html
Let $(A)$ be a complex $(ntimes n)$ matrix and assume that the numerical range of $(A)$ lies in the set of a sector of half angle $(alpha)$ denoted by $(S_{alpha})$. We prove the numerical ranges of the conjugate, inverse and Schur complement of any order of $(A)$ are in the same $(S_{alpha})$.The eigenvalues of some kinds of matrix product and numerical ranges of hadmard product, star-congruent matrix and unitary matrix of polar decompostion are also included in the same sector. Furthermore, we extend some inequalities about eigenvalues and singular values and the linear fractional maps to this class of matrices.Mon, 27 Feb 2017 20:30:00 +0100On nuclei of sup-$\Sigma$-algebras
http://bims.iranjournals.ir/article_1057_0.html
In this paper, algebraic investigations on sup-$Sigma$-algebras are presented. A representation theorem for sup-$Sigma$-algebras in terms of nuclei and quotients is obtained. Consequently, the relationship between the congruence lattice of a sup-$Sigma$-algebra and the lattice of its nuclei is fully developed.Mon, 27 Feb 2017 20:30:00 +0100NSE characterization of some linear groups
http://bims.iranjournals.ir/article_1058_0.html
For a finite group $G$‎, ‎let $nse(G)={m_kmid kinpi_e(G)}$‎, ‎where $m_k$ is the number of elements of order $k$ in $G$‎‎and $pi_{e}(G)$ is the set of element orders of $G$‎. ‎In this paper‎, ‎we prove that $Gcong L_m(2)$ if and only if $pmid |G|$ and $nse(G)=nse(L_m(2))$‎, ‎where $min {n,n+1}$ and $2^n-1=p$ is a prime number‎.Mon, 27 Feb 2017 20:30:00 +0100High-accuracy alternating segment explicit-implicit method for the fourth-order heat equation
http://bims.iranjournals.ir/article_1059_0.html
Based on a group of new Saul’yev type asymmetric difference schemes constructed by author, a high-order, unconditionally stable and parallel alternating segment explicit-implicit method for the numerical solution of the fourth-order heat equation is derived in this paper. The truncation error is fourth-order in space, which is much more accurate than the known alternating segment explicit-implicit methods. Numerical simulations are performed to show the effectiveness of thepresent method that are in preference to the prior methods.Mon, 27 Feb 2017 20:30:00 +0100Applications of convolution and subordination to certain $p$-valent functions
http://bims.iranjournals.ir/article_1060_0.html
In this paper we considered some new classes of multivalent functions by using Aouf-Silverman-Srivastava operator and derived some important results using convolution and subordination technique. This new class is an extension of a class which introduced before.Mon, 27 Feb 2017 20:30:00 +0100The graph of equivalence classes and Isoclinism of groups
http://bims.iranjournals.ir/article_1061_0.html
‎Let $G$ be a non-abelian group and let $Gamma(G)$ be the non-commuting graph of $G$‎. ‎In this paper we define an equivalence relation $sim$ on the set of $V(Gamma(G))=Gsetminus Z(G)$ by taking $xsim y$ if and only if $N(x)=N(y)$‎, ‎where $ N(x)={uin G | x textrm{ and } u textrm{ are adjacent in }Gamma(G)}$ is the open neighborhood of $x$ in $Gamma(G)$‎. ‎We introduce a new graph determined by equivalence classes of non-central elements of $G$‎, ‎denoted $Gamma_E(G)$‎, ‎as the graph whose vertices are ${[x] | x in Gsetminus Z(G)}$ and join two distinct vertices $[x]$ and $[y]$‎, ‎whenever $[x,y]neq 1$‎. ‎We prove that group $G$ is AC-group if and only if $Gamma_E(G)$ is complete graph‎. ‎Among other results‎, ‎we show that the graphs of equivalence classes of non-commuting graph associated with two isoclinic groups are isomorphic.Mon, 27 Feb 2017 20:30:00 +0100Hyperbolic surfaces of $L_1$-2-type
http://bims.iranjournals.ir/article_1062_0.html
In this paper, we show that an $L_1$-2-type surface in the three-dimensional hyperbolic space $H^3subset R^4_1$ either is an open piece of a standard Riemannian product $ H^1(-sqrt{1+r^2})times S^{1}(r)$, or it has non constant mean curvature, non constant Gaussian curvature, and non constant principal curvatures.Mon, 27 Feb 2017 20:30:00 +0100The second dual of strongly zero-product preserving maps
http://bims.iranjournals.ir/article_1063_0.html
The notion of strongly Lie zero-product preserving maps on normed algebras as a generalization of Lie zero-product preserving maps are dened. We give a necessary and sufficient condition from which a linear map between normed algebras to be strongly Lie zero-product preserving. Also some hereditary properties of strongly Lie zero-product preserving maps are presented. Finally the second dual of a strongly zero-product, strongly Jordan zero-product and strongly Lie zero-product preserving map on a certain class of normed algebras are investigated.Mon, 27 Feb 2017 20:30:00 +0100Classification of solvable groups with a given property
http://bims.iranjournals.ir/article_1064_0.html
In this paper we classify all finite solvable groups satisfying the following property P5: their orders of representatives are set-wise relatively prime for any 5 distinct non-central conjugacy classes.Mon, 27 Feb 2017 20:30:00 +0100Holder continuity of solution maps to a parametric weak vector equilibrium problem
http://bims.iranjournals.ir/article_1065_0.html
In this paper, by using a new concept of strong convexity, we obtain sufficient conditions for Holder continuity of the solution mapping for a parametric weak vector equilibrium problem in the case where the solution mapping is a general set-valued one. Without strong monotonicity assumptions, the Holder continuity for solution maps to parametric weak vector optimization problems is discussed.Mon, 27 Feb 2017 20:30:00 +0100Defining relations of a group $\Gamma= G^{3,4}(2,Z)$ and its action on real quadratic field
http://bims.iranjournals.ir/article_1066_0.html
In this paper‎, ‎we have shown that the coset diagrams for the‎ ‎action of a linear-fractional group $Gamma$ generated by the linear-fractional‎ ‎transformations $r:zrightarrow frac{z-1}{z}$ and $s:zrightarrow frac{-1}{2(z+1)}$ on‎ ‎the rational projective line is connected and transitive‎. ‎By using coset diagrams‎, ‎we have shown that $r^{3}=s^{4}=1$ are defining relations for $Gamma$‎. ‎Furthermore‎, ‎we have studied some important results for the action of group $Gamma$ on real‎ ‎quadratic field $Q(sqrt{n})$‎. ‎Also‎, ‎we have classified all the ambiguous numbers in the orbit.Mon, 27 Feb 2017 20:30:00 +0100Entropy of a semigroup of maps from a set-valued view
http://bims.iranjournals.ir/article_1067_0.html
In this paper, we introduce a new entropy-like invariant, named Hausdorff metric entropy, for finitely generated semigroups acting on compact metric spaces from a set-valued view and study its properties. We establish the relation between Hausdorff metric entropy and topological entropy of a semigroup defined by Bis. Some examples with positive or zero Hausdorff metric entropy are given. Moreover, some notions of chaos are also well generalized for finitely generated semigroups from a set-valued view.Mon, 27 Feb 2017 20:30:00 +0100Initial coefficients of starlike functions with real coefficients
http://bims.iranjournals.ir/article_1068_0.html
The sharp bounds for the third and fourth coefficients of Ma-Minda starlike functions having fixed second coefficient are determined. These results are proved by using certain constraint coefficient problem for functions with positive real part whose coefficients are real and the first coefficient is kept fixed. Analogous results are obtained for a general class of close-to-convex functionsMon, 27 Feb 2017 20:30:00 +0100Classifying pentavalnet symmetric graphs of order $24p$
http://bims.iranjournals.ir/article_1069_0.html
A graph is said to be symmetric if its automorphism group is transitive on its arcs. A complete classification is given of pentavalent symmetric graphs of order 24p for each prime p. It is shown that a connected pentavalent symmetric graph of order 24p exists if and only if p=2, 3, 5, 11 or 17, and up to isomorphism, there are only eleven such graphs.Mon, 27 Feb 2017 20:30:00 +0100Existence of positive solutions for a second-order p-Laplacian impulsive boundary value problem ...
http://bims.iranjournals.ir/article_1070_0.html
In this paper, we investigate the existence of positive solutions for a second-order multipoint p-Laplacian impulsive boundary value problem on time scales. Using a new fixed point theorem in a cone, sufficient conditions for the existence of at least three positive solutions are established. An illustrative example is also presented.Sun, 12 Mar 2017 20:30:00 +0100Faber polynomial coefficient estimates for bi-univalent functions defined by the Tremblay ...
http://bims.iranjournals.ir/article_1071_0.html
Using the Tremblay fractional derivative operator in the complex domain, we introduce and investigate a new class of analytic and bi-univalent functions in the open unit disk. We use the Faber polynomial expansions to obtain upper boundsfor the general coefficients of such functions subject to a gap series condition as well as obtaining bounds for their first two coefficients.Sun, 12 Mar 2017 20:30:00 +0100n-Array Jacobson graphs
http://bims.iranjournals.ir/article_1072_0.html
We generalize the notion of Jacobson graphs into $n$-array columns called $n$-array Jacobson graphs and determine their connectivities and diameters. Also, we will study forbidden structures of these graphs and determine when an $n$-array Jacobson graph is planar, outer planar, projective, perfect or domination perfect.Sun, 12 Mar 2017 20:30:00 +0100When is the ring of real measurable functions a hereditary ring?
http://bims.iranjournals.ir/article_1073_0.html
‎Let $M(X‎, ‎mathcal{A}‎, ‎mu)$ be the ring of real-valued measurable functions‎ ‎on a measure space $(X‎, ‎mathcal{A}‎, ‎mu)$‎. ‎In this paper‎, ‎we characterize the maximal ideals in the rings of real measurable functions‎ ‎and as a consequence‎, ‎we determine when $M(X‎, ‎mathcal{A}‎, ‎mu)$ is a hereditary ring.Sun, 12 Mar 2017 20:30:00 +0100Subdirectly irreducible acts over some semigroups
http://bims.iranjournals.ir/article_1074_0.html
‎In this paper‎, ‎we characterize and find the number of subdirectly‎ ‎irreducible acts over some classes of semigroups‎, ‎such as zero‎ ‎semigroups‎, ‎right zero semigroups‎ ‎and strong chain of left zero semigroups.Sun, 12 Mar 2017 20:30:00 +0100The lower bound for the number of 1-factors in generalized Petersen graphs
http://bims.iranjournals.ir/article_1075_0.html
‎In this paper‎, ‎we investigate the number of 1-factors of a‎ ‎generalized Petersen graph $P(N,k)$ and get a lower bound for the‎ ‎number of 1-factors of $P(N,k)$ as $k$ is odd‎, ‎which shows that the‎ ‎number of 1-factors of $P(N,k)$ is exponential in this case and‎ ‎confirms a conjecture due to Lov'{a}sz and Plummer (Ann‎. ‎New York Acad‎. ‎Sci‎. ‎576(2006)‎, ‎no‎. ‎1‎, ‎389-398).Sun, 12 Mar 2017 20:30:00 +0100Composition of resolvents and quasi-nonexpansive multivalued mappings in Hadamared spaces
http://bims.iranjournals.ir/article_1076_0.html
‎The proximal point algorithm‎, ‎which is a well-known tool for finding‎ ‎minima of convex functions‎, ‎is generalized from the classical‎ ‎Hilbert space framework into a nonlinear setting‎, ‎namely‎, ‎geodesic‎ ‎metric spaces of nonpositive curvature‎. ‎In this paper we propose an‎ ‎iterative algorithm for finding the common element of the‎ ‎minimizers of a finite family of convex functions and the common ‎fixed points of a finite family of quasi-nonexpansive multivalued‎ ‎mappings in Hadamard‎ ‎spaces.Sun, 12 Mar 2017 20:30:00 +0100A hybrid mean value involving a new Gauss sums and Dedekind sums
http://bims.iranjournals.ir/article_1077_0.html
‎In this paper‎, ‎we introduce a new sum‎ ‎analogous to Gauss sum‎, ‎then we use the properties of the‎ ‎classical Gauss sums and analytic method to study the hybrid mean‎ ‎value problem involving this new sums and Dedekind sums‎, ‎and‎ ‎give an interesting identity for it.Sun, 12 Mar 2017 20:30:00 +0100Semi-Rothberger and related spaces
http://bims.iranjournals.ir/article_1078_0.html
In this paper our focus is to study certain covering properties in topological spaces by using semi-open covers. A part of this article deals with Rothberger-type covering properties. The notions of s-Rothberger, almost s-Rothberger, star s-Rothberger, almost star s-Rothberger, strongly star s-Rothberger spaces are defined and corresponding properties are investigated.Sun, 12 Mar 2017 20:30:00 +0100A descent method for explicit computations on curves
http://bims.iranjournals.ir/article_1079_0.html
‎It is shown that the knowledge of a surjective morphism $Xto Y$ of complex‎ ‎curves can be effectively used‎ ‎to make explicit calculations‎. ‎The method is demonstrated‎ ‎by the calculation of $j(ntau)$ (for some small $n$) in terms of $j(tau)$ for the elliptic curve ‎with period lattice $(1,tau)$‎, ‎the period matrix for the Jacobian of a family of genus-$2$ curves‎ ‎complementing the classic calculations of Bolza‎ ‎and explicit general formulae for branched covers of an elliptic curve with exactly one ramification point.Sun, 12 Mar 2017 20:30:00 +0100Upper bounds for noetherian dimension of all injective modules with Krull dimension
http://bims.iranjournals.ir/article_1080_0.html
‎In this paper we give an upper bound for Noetherian dimension of all injective modules with Krull dimension on arbitrary rings‎. ‎In particular‎, ‎we also give an upper bound for Noetherian dimension of all Artinian modules on Noetherian duo rings.Sun, 12 Mar 2017 20:30:00 +0100Locally finite basic classical simple Lie superalgebras
http://bims.iranjournals.ir/article_1081_0.html
In this work, we study direct limits of finite dimensional basic classical simple Lie superalgebras and obtain the conjugacy classes of Cartan subalgebras under the group of automorphisms.Sun, 12 Mar 2017 20:30:00 +0100On normalizers of maximal subfields of division algebras
http://bims.iranjournals.ir/article_1082_0.html
‎Here‎, ‎we investigate a conjecture posed by Amiri and Ariannejad claiming‎ ‎that if every maximal subfield of a division ring $D$ has trivial normalizer‎, ‎then $D$ is commutative‎. ‎Using Amitsur classification of‎ ‎finite subgroups of division rings‎, ‎it is essentially shown that if‎ ‎$D$ is finite dimensional over its center then it contains a maximal‎ ‎subfield with non-trivial normalizer if and only if $D^*$ contains a‎ ‎non-abelian soluble subgroup‎. ‎This result generalizes a theorem of‎ ‎Mahdavi-Hezavehi and Tignol about cyclicity of division algebras of prime index.Sun, 12 Mar 2017 20:30:00 +0100Singular values of convex functions of matrices
http://bims.iranjournals.ir/article_1083_0.html
‎Let $A_{i},B_{i},X_{i},i=1,dots,m,$ be $n$-by-$n$ matrices such that $‎sum_{i=1}^{m}leftvert A_{i}rightvert ^{2}$ and $‎sum_{i=1}^{m}leftvert B_{i}rightvert ^{2}$ are nonzero matrices and each $X_{i}$ is‎ ‎positive semidefinite‎. ‎It is shown that if $f$ is a nonnegative increasing ‎convex function on $left[ 0,infty right) $ satisfying $fleft( 0right)‎ ‎=0 $‎, ‎then $$‎2s_{j}left( fleft( frac{leftvert sum_{i=1}^{m}A_{i}^{ast‎ ‎ }X_{i}B_{i}rightvert }{sqrt{leftVert sum_{i=1}^{m}leftvert‎ ‎ A_{i}rightvert ^{2}rightVert leftVert sum_{i=1}^{m}leftvert‎ ‎ B_{i}rightvert ^{2}rightVert }}right) right) leq s_{j}left( oplus‎ ‎_{i=1}^{m}fleft( 2X_{i}right) right)‎$$ ‎for $j=1,ldots,n$‎. ‎Applications of our results are given.Sun, 12 Mar 2017 20:30:00 +0100A new hybrid conjugate gradient algorithm for unconstrained optimization
http://bims.iranjournals.ir/article_1084_0.html
In this paper, a new hybrid conjugate gradient algorithm is proposed for solving unconstrained optimization problems. This new method can generate sufficient descent directions unrelated to any line search. Moreover, the global convergence of the proposed method is proved under the Wolfe line search. Numerical experiments are also presented to show the efficiency of the proposed algorithm, especially for solving highly dimensional problems.Sun, 12 Mar 2017 20:30:00 +0100Some results on pre-monotone operators
http://bims.iranjournals.ir/article_1085_0.html
‎In this paper‎, ‎some properties of pre-monotone operators are proved‎. ‎It is shown that in a reflexive Banach space‎, ‎a full domain multivalued $sigma$-monotone operator with sequentially norm$times$weak$^*$ closed graph is norm$times$weak$^*$ upper semicontinuous‎. ‎The notion of $sigma$-convexity is introduced and the‎ ‎relations between the $sigma$-monotonicity and $sigma$-convexity is investigated‎. ‎Moreover‎, ‎some results on the sum and difference of two $sigma$-monotone operators is considered.Sun, 12 Mar 2017 20:30:00 +0100Non-homogeneous continuous and discrete gradient systems: the quasi-convex case
http://bims.iranjournals.ir/article_1086_0.html
‎In this paper‎, ‎first we study the weak and strong convergence of solutions to the‎ ‎following first order nonhomogeneous gradient system‎ ‎$$begin{cases}-x'(t)=nablaphi(x(t))+f(t), text{a.e. on} (0,infty)\‎‎x(0)=x_0in Hend{cases}$$ to a critical point of $phi$‎, ‎where‎ ‎$phi$ is a $C^1$ quasi-convex function on a real Hilbert space‎ ‎$H$ with ${rm Argmin}phineqvarnothing$ and $fin L^1(0,+infty;H)$‎. ‎These results extend the‎ ‎results in the literature to non-homogeneous case‎. ‎Then the‎ ‎discrete version of the above system by backward Euler‎ ‎discretization has been studied‎. ‎Beside of the proof of the‎ ‎existence of the sequence given by the discrete system‎, ‎some‎‎results on‎ ‎the weak and strong convergence to the critical point of $phi$ are also proved‎. ‎These results when $phi$ is pseudo-convex (therefore the critical points‎ ‎are the same minimum points) may be applied in optimization for approximation of a‎ ‎minimum point of $phi$‎.Sun, 12 Mar 2017 20:30:00 +0100Inequalities for the polar derivative of a polynomial with $S$-fold zeros at the origin
http://bims.iranjournals.ir/article_1087_0.html
‎Let $p(z)$ be a polynomial of degree $n$ and for a complex number $alpha$‎, ‎let $D_{alpha}p(z)=np(z)+(alpha-z)p'(z)$ denote the polar derivative of the polynomial p(z) with respect to $alpha$‎. ‎Dewan et al proved‎ ‎that if $p(z)$ has all its zeros in $|z| leq k, (kleq‎ ‎1),$ with $s$-fold zeros at the origin then for every‎ ‎$alphainmathbb{C}$ with $|alpha|geq k$‎,
‎begin{align*}‎
‎max_{|z|=1}|D_{alpha}p(z)|geq‎
‎frac{(n+sk)(|alpha|-k)}{1+k}max_{|z|=1}|p(z)|‎.
‎end{align*} In this paper‎, ‎we obtain a refinement‎ ‎of above inequality‎. ‎Also as an application of our result‎, ‎we extend some inequalities for‎ ‎polar derivative of a polynomial of degree $n$ which‎ ‎does not vanish in $|z|< k$‎, ‎where $kgeq 1$‎, ‎except $s$-fold zeros at the origin‎. Sun, 12 Mar 2017 20:30:00 +0100On $\Phi$-$\tau$-quasinormal subgroups of finite groups
http://bims.iranjournals.ir/article_1088_0.html
‎Let $tau$ be a subgroup functor and $H$ a $p$-subgroup of a finite group $G$‎. ‎Let $bar{G}=G/H_{G}$ and $bar{H}=H/H_{G}$‎. ‎We say that $H$ is $Phi$-$tau$-quasinormal in $G$ if for some $S$-quasinormal subgroup $bar{T}$ of $bar{G}$ and some $tau$-subgroup $bar{S}$ of $bar{G}$ contained in $bar{H}$‎, ‎$bar{H}bar{T}$ is $S$-quasinormal in $bar{G}$ and $bar{H}capbar{T}leq bar{S}Phi(bar{H})$‎. ‎In this paper‎, ‎we study the structure of a group $G$ under the condition that some primary subgroups of $G$ are $Phi$-$tau$-quasinormal in $G$‎. ‎Some new characterizations about $p$-nilpotency and solubility of finite groups are obtained.Sun, 12 Mar 2017 20:30:00 +0100Nonlinear maps preserving product $X^{*}Y+Y^{*}X$ on von Neumann algebras
http://bims.iranjournals.ir/article_1089_0.html
‎Let $mathcal {A}$ and $mathcal {B}$ be two von Neumann algebras with no central abelian projections‎. ‎In this paper‎, ‎it is proved that if a not necessarily linear bijective map $Phi:mathcal {A}rightarrow mathcal {B}$ satisfies‎ ‎$Phi(A^{*}B+B^{*}A)=Phi(A)^{*}Phi(B)+Phi(B)^{*}Phi(A)$ for all‎ ‎$A‎, ‎Binmathcal {A}$‎, ‎then $Phi$ is a sum of a linear $*$-isomorphism and a conjugate‎ ‎linear $*$-isomorphism.Sun, 12 Mar 2017 20:30:00 +0100Zero elements and $z$-ideals in modified pointfree topology
http://bims.iranjournals.ir/article_1090_0.html
‎In this paper‎, ‎we define and study the notion of zero elements in topoframes; a topoframe is a pair‎ ‎$(L‎, ‎tau)$‎, ‎abbreviated $L_{ tau}$‎, ‎consisting of a frame $L$ and a‎ ‎subframe $ tau $ all of whose elements are complemented elements in‎ ‎$L$‎. ‎We show that‎ ‎the $f$-ring $ mathcal{R}(L_tau)$‎, ‎the set of $tau$-real continuous functions on $L$‎, ‎is uniformly complete‎. ‎Also‎, ‎the set of all zero elements in a topoframe‎ ‎is closed under the formation of countable meets and finite joins‎. ‎Also‎, ‎we introduce the notion of $z$-filters and $z$-ideals in modified pointfree topology‎ ‎and make ready some results about them‎. Sun, 12 Mar 2017 20:30:00 +0100Modules whose direct summands are FI-extending
http://bims.iranjournals.ir/article_1091_0.html
‎A module $M$ is called FI-extending if every fully invariant submodule of $M$ is essential in a direct summand of $M$‎. ‎It is not known whether a direct summand of an FI-extending module is also FI-extending‎. ‎In this study‎, ‎it is given some answers to the question that under what conditions a direct summand of an FI-extending module is an FI-extending module?Sun, 12 Mar 2017 20:30:00 +0100On the facet ideal of an expanded simplicial complex
http://bims.iranjournals.ir/article_1092_0.html
For a simplicial complex $Delta$, the affect of the expansion functor on combinatorial properties of $Delta$ and algebraic properties of its Stanley-Reisner ring has been studied in some previous papers.
In this paper, we consider the facet ideal $I(Delta)$ and its Alexander dual which we denote by $J_{Delta}$ to see how the expansion functor alter the algebraic properties of these ideals. It is shown that for any expansion $Delta^{alpha}$ the ideals $J_{Delta}$ and $J_{Delta^{alpha}}$ have the same total Betti numbers and their Cohen-Macaulayness are equivalent, which implies that the regularities of the ideals $I(Delta)$ and $I(Delta^{alpha})$ are equal. Moreover, the projective dimensions of $I(Delta)$ and $I(Delta^{alpha})$ are compared.
In the sequel for a graph $G$, some properties that are equivalent in $G$ and its expansions are presented and for a Cohen-Macaulay (resp. sequentially Cohen-Macaulay and shellable) graph $G$, we give some conditions for adding or removing a vertex from $G$, so that the remaining graph is still Cohen-Macaulay (resp. sequentially Cohen-Macaulay and shellable).Sun, 12 Mar 2017 20:30:00 +0100On the Stanley depth of powers of some classes of monomial ideals
http://bims.iranjournals.ir/article_1093_0.html
‎Given arbitrary monomial ideals $I$ and $J$ in polynomial rings $A$ and $B$ over a field $K$‎, ‎we investigate the Stanley depth of powers of the sum $I+J$‎, ‎and their quotient rings‎, ‎in $Aotimes_K B$ in terms of those of $I$ and $J$‎. ‎Our results can be used to study the asymptotic behavior of the Stanley depth of powers of a monomial ideal‎. ‎We tackle the case when $J$ is a monomial complete intersection‎.Sun, 12 Mar 2017 20:30:00 +0100Commuting mappings on the Hochschild extension of an algebra
http://bims.iranjournals.ir/article_1094_0.html
In this paper we will describe the general form of commuting mappings of Hochschild extension algebras and characterize the properness of commuting mappings on a special class of Hochschild extension algebras with the so-called $p.$Sun, 12 Mar 2017 20:30:00 +0100The $w$-FF property in trivial extensions
http://bims.iranjournals.ir/article_1095_0.html
‎Let $D$ be an integral domain with quotient field $K$‎, ‎$E$ be a $K$-vector space‎, ‎$R = D propto E$ be the trivial extension of $D$ by $E$‎, ‎and $w$ be the so-called $w$-operation‎. ‎In this paper‎, ‎we show that‎ ‎$R$ is a $w$-FF ring if and only if $D$ is a $w$-FF domain; and‎ ‎in this case‎, ‎each $w$-flat $w$-ideal of $R$ is $w$-invertible.Sun, 12 Mar 2017 20:30:00 +0100Duality for the class of a multiobjective problem with support functions under ...
http://bims.iranjournals.ir/article_1096_0.html
‎In this article‎, ‎we formulate two dual models Wolfe and Mond-Weir related to symmetric nondifferentiable multiobjective programming problems‎. ‎Furthermore‎, ‎weak‎, ‎strong and converse duality results are established under $K$-$G_f$-invexity assumptions‎. ‎Nontrivial examples have also been depicted to illustrate the theorems obtained in the paper‎. ‎Results established in this paper unify and extend some previously known results appeared in the literatureSun, 12 Mar 2017 20:30:00 +0100Quasi-Frobenius amalgamated algebras
http://bims.iranjournals.ir/article_1097_0.html
‎Let $f:Arightarrow B$ be a homomorphism of commutative rings and let $J$ be an ideal of $B$‎. ‎The amalgamation of $A$ with $B$ along $J$ with respect to $f$ is the subring of $Atimes B$ given by $Abowtie^fJ={(a,f(a)+j)mid ain A‎, ‎jin J}$‎. ‎In this paper‎, ‎we give some characterizations for the amalgamation construction‎ ‎to be a quasi-Frobenius ring.Sun, 12 Mar 2017 20:30:00 +0100Localization at prime ideals in bounded rings
http://bims.iranjournals.ir/article_1098_0.html
In this paper we investigate the sufficiency criteria which guarantee the classical localization of a bounded ring at its prime ideals.Sun, 12 Mar 2017 20:30:00 +0100On regular sequences in the form module with applications to local B'ezout inequalities
http://bims.iranjournals.ir/article_1099_0.html
‎Let $mathfrak{q}$ denote an ideal in a Noetherian local ring $(A,mathfrak{m})$‎. ‎Let $underline a=a_1,ldots,a_d subset mathfrak{q}$ denote a system of parameters in a finitely generated $A$-module $M$‎. ‎This note investigate an improvement of the inequality $c_1cdot ldots cdot c_d cdot e_0(mathfrak{q};M) leq ell_A(M/underline a,M)$‎, ‎where $c_i$ denote the initial degrees of $a_i$ in the form ring $G_A(mathfrak{q})$‎. ‎To this end‎, ‎there is an investigation of regular sequences in the form module $G_M(mathfrak{q})$ by homology of a factor complex of the Koszul complex‎. ‎In a particular case‎, ‎there is a discussion of classical local B'ezout inequality in the affine $d$-space $mathbb{A}^d_k$.Sun, 12 Mar 2017 20:30:00 +0100On the unstable Hurewicz homomorphism and Toda brackets
http://bims.iranjournals.ir/article_1100_0.html
‎The aim of this note is to examine the Curtis conjecture in the light of existing structural results about the $2$-primary part of the stable homotopy ring‎. ‎Motivated by Joel Cohen's result on generating stable stems using higher Toda brackets‎, ‎we obtain sufficient conditions for vanishing of the unstable Hurewicz homomorphism ${_2pi_*^s}simeq {_2pi_*}QS^0to H_*(QS^0;Z/2)$‎. ‎We also record some partial results on the relation between $EHP$-sequence and the behaviour of Hurewicz homomorphism.Sun, 12 Mar 2017 20:30:00 +0100Existence and multiplicity results for Steklov problems with $p(.)$-Growth conditions
http://bims.iranjournals.ir/article_1101_0.html
‎Using variational methods‎, ‎we prove in‎ ‎different situations the existence and multiplicity of solutions‎ ‎for the following Steklovmbox{ problem}‎ $$‎begin{gathered}‎
‎-mbox{div}(a(x,‎ ‎nabla u))+|u|^{p(x)-2}u=0‎, ‎quad‎
‎text{in }Omega‎, ‎\‎
‎a(x‎, ‎nabla u).nu=g(x,u)‎, ‎quad text{on } partialOmega‎,
‎end{gathered}‎
$$
‎where $Omegasubsetmathbb{R}^N(N geq 2)$ is a bounded domain with ‎smooth boundary $partialOmega$ and $nu$ is the unit outward normal‎ ‎vector on $partialOmega$‎. ‎$ p‎: ‎overline{Omega} mapsto‎ ‎mathbb{R}$‎, ‎$a‎: ‎overline{Omega}times mathbb{R}^{N} mapsto‎ ‎mathbb{R}^{N}$ and $g‎: ‎partialOmegatimesmathbb{R} mapsto mathbb{R}$ are fulfilling appropriate conditions.Sun, 12 Mar 2017 20:30:00 +0100$L^p$ boundedness of the Bergman projection on some generalized Hartogs triangles
http://bims.iranjournals.ir/article_1102_0.html
‎In this paper we investigate a two classes of domains in $mathbb{C}^n$ generalizing the Hartogs triangle‎. ‎We prove optimal estimates for the mapping properties of the Bergman projection on these domains.Sun, 12 Mar 2017 20:30:00 +0100On the fixed number of graphs
http://bims.iranjournals.ir/article_1103_0.html
‎A set of vertices $S$ of a graph $G$ is called a fixing set of $G$‎, ‎if only the trivial automorphism of $G$ fixes every vertex in $S$‎. ‎The fixing number of a graph is the smallest cardinality of a fixing‎ ‎set‎. ‎The fixed number of a graph $G$ is the minimum $k$‎, ‎such that ‎every $k$-set of vertices of $G$ is a fixing set of $G$‎. ‎A graph $G$‎ ‎is called a $k$-fixed graph‎, ‎if its fixing number and fixed number‎ ‎are both $k$‎. ‎In this paper‎, ‎we study the fixed number of a graph‎ ‎and give a construction of a graph of higher fixed number from a‎ ‎graph of lower fixed number‎. ‎We find the bound on $k$ in terms of‎ ‎the diameter $d$ of a distance-transitive $k$-fixed graph‎.Sun, 12 Mar 2017 20:30:00 +0100Filter theory in MTL-algebras based on Uni-soft property
http://bims.iranjournals.ir/article_1104_0.html
‎The notion of (Boolean) uni-soft filters‎ ‎in MTL-algebras is introduced‎, ‎and several properties of them are‎ ‎investigated‎. ‎Characterizations of (Boolean) uni-soft filters are discussed‎, ‎and some (necessary and sufficient) conditions‎ ‎for a uni-soft filter to be Boolean are provided‎.
‎The condensational property for a Boolean uni-soft filter is established.Sun, 12 Mar 2017 20:30:00 +0100Gromov hyperbolicity in the Cartesian sum of graphs
http://bims.iranjournals.ir/article_1105_0.html
‎In this paper we characterize the hyperbolic product graphs for the Cartesian sum $G_1oplus G_2$‎: ‎$G_1oplus G_2$ is always hyperbolic‎, ‎unless either $G_1$ or $G_2$ is the trivial graph (the graph with a single vertex); if $G_1$ or $G_2$ is the trivial graph‎, ‎then $G_1oplus G_2$ is hyperbolic if and only if $G_2$ or $G_1$ is hyperbolic‎, ‎respectively‎. ‎Besides‎, ‎we characterize the Cartesian sums with hyperbolicity constant $delta(G_1oplus G_2) = t$ for every value of $t$‎. ‎Furthermore‎, ‎we obtain the sharp inequalities $1le delta(G_1oplus G_2)le 3/2$ for every non-trivial graphs $G_1,G_2$‎. ‎Also‎, ‎we obtain simple formulas for the hyperbolicity constant of the Cartesian sum of many graphs‎. ‎Finally‎, ‎we prove the inequalities $3/2le delta(overline{G_1oplus G_2})le 2$ for the complement graph of $G_1oplus G_2$ for every $G_1,G_2$ with $min{diam V(G_1)‎, ‎diam V(G_2)}ge 3$.Sun, 12 Mar 2017 20:30:00 +0100Some applications of differential subordinations for generalized Bessel functions
http://bims.iranjournals.ir/article_1106_0.html
Some novel applications of differential subordinations for meromorphically multivalent functions with an operator involving the generalized Bessel functions are given.Sun, 12 Mar 2017 20:30:00 +0100Determination of a jump by Fourier and Fourier-Chebyshev series
http://bims.iranjournals.ir/article_1107_0.html
‎By observing the equivalence of assertions on determining the jump of a‎ ‎function by its differentiated or integrated Fourier series‎, ‎we generalize a‎ ‎previous result of Kvernadze‎, ‎Hagstrom and Shapiro to the whole class of‎ ‎functions of harmonic bounded variation‎. ‎This is achieved without the finiteness assumption on‎ ‎the number of discontinuities‎. ‎Two results on determination of jump‎ ‎discontinuities by means of the tails of integrated Fourier-Chebyshev series are also derived.Sun, 12 Mar 2017 20:30:00 +0100Multiple solutions for fractional boundary value problems
http://bims.iranjournals.ir/article_1108_0.html
Variational methods and critical point theorems are usedto discuss existence and multiplicity of solutions for fractionalboundary value problem where Riemann-Liouville fractionalderivatives and Caputo fractional derivatives are used. Someconditions to determinate nonnegative solutions are presented. Anexample is given to illustrate our results.Wed, 15 Mar 2017 20:30:00 +0100Improved logarithmic-geometric mean inequality and its application
http://bims.iranjournals.ir/article_1110_0.html
In this short note, we present a refinement of the logarithmic-geometric mean inequality. As an application of our result, we obtain an operator inequality associated with geometric and logarithmic means.Mon, 27 Mar 2017 19:30:00 +0100Theorems of Burnside and Wedderburn revisited
http://bims.iranjournals.ir/article_1111_0.html
We approach celebrated theorems of Burnside and Wedderburn via simultaneous triangularization. First, for a general field $F$, we prove that $M_n(F)$ is the only irrreducible subalgebra of triangularizable matrices in $M_n(F)$ provided such a subalgebra exists. This provides a slight generalization of a well-known theorem of Burnside. Next, for a given $n > 1$, we characterize all fields $F$ such that Burnside's Theorem holds in $M_n(F)$, i.e., $M_n(F)$ is the only irreducible subalgebra of itself. In fact, for a subfield $F$ of the center of a division ring $D$, our simple proof of the aforementioned extension of Burnside's Theorem can be adjusted to establish a Burnside type theorem for irreducible $F$-algebras of triangularizable matrices in $M_n(D)$ with inner eigenvalues in $F$, namely such subalgebras of $M_n(D)$ are similar to $M_n(F)$. We use Burnside's theorem to present a simple proof of a theorem due to Wedderburn. Then, we use our Burnside type theorem to prove an extension of Wedderburn's Theorem as follows: A subalgebra of a semi-simple left Artinian $F$-algebra is nilpotent iff the algebra, as a vector space over the field $F$, is spanned by its nilpotent members and that the minimal polynomials of all of its members split into linear factors over $F$. We conclude with an application of Wedderburn's Theorem.Mon, 27 Mar 2017 19:30:00 +0100Some refinement for the arithmetic-geometric mean and Cauchy-Schwartz matrix norm interpolating ...
http://bims.iranjournals.ir/article_1112_0.html
Recently, some inequalities were established that interpolates between the arithmetic-geometric mean inequality and the Cauchy-Schwarz inequality for matrices. In this paper, by a dierent approach we give several renements for these inequalities.Tue, 04 Apr 2017 19:30:00 +0100On rational groups with Sylow 2-subgroups of nilpotency class at most 2
http://bims.iranjournals.ir/article_1113_0.html
A finite group $G$ is called rational if all its irreducible complex characters are rational valued. In this paper we discuss about rational groups with Sylow 2-subgroups of nilpotency class at most 2 by imposing the solvability and nonsolvability assumption on $G$ and also via nilpotency and nonnilpotency assumption of $G$.Thu, 06 Apr 2017 19:30:00 +0100G-symplectic integration of many body problems
http://bims.iranjournals.ir/article_1114_0.html
The purpose of this paper is to derive a symmetric parasitic free G-symplectic general linear method of order four and apply it to problems in celestial mechanics. The numerical method is constructed by satisfying the G-symplectic conditions for general linear methods, together with relevant order conditions while making sure that there is zero parasitism.The internal stages are designed to be diagonally implicit to make the method more efficient. Being multivalue in nature, a starting method is required for the implementation of general linear method and this is also calculated using rooted trees. The general linear method is applied to many body problems and acceptable error in energy and global error areobserved.Tue, 11 Apr 2017 19:30:00 +0100Historic set carries full hausdorff dimension
http://bims.iranjournals.ir/article_1115_0.html
We prove that the historic set for ratioof birkhoff average is either empty or full of Hausdorff dimension in a class of one dimensionalnon-uniformly hyperbolic dynamic systems.Wed, 12 Apr 2017 19:30:00 +0100On subgroups of topologized fundamental groups and generalized coverings
http://bims.iranjournals.ir/article_1116_0.html
‎In this paper‎, ‎we are interested in study subgroups of topologized fundamental groups and their influences on generalized covering maps‎.
‎More precisely‎, ‎we find some relationships between generalized covering subgroups and the other famous subgroups of the fundamental group equipped with the compact-open topology and the whisker topology‎. ‎Moreover‎, ‎we present some conditions under which generalized coverings‎, ‎semicoverings and coverings are equal.Mon, 17 Apr 2017 19:30:00 +0100Weighted composition operators on differentiable Lipschitz algebras
http://bims.iranjournals.ir/article_1117_0.html
‎Let $Lip^n(X‎, ‎al)$ be the algebra of complex-valued functions on ‎a perfect compact plane set $X$ whose derivatives up to order $n$‎ ‎exist and satisfy the Lipschitz condition of order $0<alleq 1$‎. ‎We establish a necessary and sufficient condition for a weighted‎ ‎composition operator on $Lip^n(X‎, ‎al)$ to be compact‎. ‎To obtain‎ ‎the necessary condition in the case $0<al < 1$‎, ‎we provide a‎ ‎relation between these algebras and Zygmund type spaces‎ ‎$mathcal{Z}_n^al$‎. ‎We then conclude some interesting results about weighted‎ ‎composition operators on $mathcal{Z}_n^al$ and determine the‎ ‎spectra of these operators when they are compact or Riesz.Mon, 17 Apr 2017 19:30:00 +0100Strong linear preserver of dense-matrices
http://bims.iranjournals.ir/article_1118_0.html
‎Let $textbf{M}_{m,n}$ be the set of all $mtimes n$ real matrices‎. ‎A matrix $Ain textbf{M}_{m,n}$ is said to be a dense-matrix if there‎ ‎are no zeros between two non-zero entries for every line (row or column) of‎ ‎this matrix‎. ‎In this paper we find the structure of linear maps $T:textbf{M}_{m,n} rightarrow textbf{M}_{m,n}$ that strongly preserve dense-matrices‎, ‎i.e‎. ‎$T(A)$ is a dense-matrix if and only if‎ ‎$A$ is a dense-matrix‎.Tue, 18 Apr 2017 19:30:00 +0100Hölder continuity of a parametric variational inequality
http://bims.iranjournals.ir/article_1120_0.html
In this paper, we study the Hölder continuity of solution mapping to a parametric variational inequality. At first, recalling a real-valued gap function of the problem, we discuss the Lipschitz continuity of the gap function. Then under the strong monotonicity, we establish the Hölder continuity of the single-valued solution mapping for the problem. Finally, we apply these results to a traffic network equilibrium problem.Mon, 01 May 2017 19:30:00 +0100Self-similar solutions of the Riemann problem for two-dimensional systems of ...
http://bims.iranjournals.ir/article_1121_0.html
In this paper, a new approach is applied to study the self-similar solutions of 2×2 systems of nonlinear hyperbolic conservation laws. A notion of characteristic directions is introduced and then used to construct local and smooth solutions of the associated Riemann problemTue, 02 May 2017 19:30:00 +0100Some extensions of the Young and Heinz inequalities for matrices
http://bims.iranjournals.ir/article_1122_0.html
In this paper, we present some extensions of the Young and Heinz inequalitiesfor the Hilbert-Schmidt norm as well as any unitarily invariant norm. Furthermore,we give some inequalities dealing with matrices. More precisely, for two positive semidefinite matrices $A$ and $B$ we show that begin{align*}Big|A^{nu}XB^{1-nu}+A^{1-nu}&XB^{nu}Big|_{2}^{2}leqBig|AX+XBBig|_{2}^{2}-2rBig|AX-XBBig|_{2}^{2}&,,-r_{0}left(Big|A^{frac{1}{2}}XB^{frac{1}{2}}-AXBig|_{2}^{2}+Big|A^{frac{1}{2}}XB^{frac{1}{2}}-XBBig|_{2}^{2}right),end{align*}where $X$ is an arbitrary $ntimes n$ matrix, $0Thu, 04 May 2017 19:30:00 +0100Existence and uniqueness of weak solutions for a class of nonlinear divergence type diffusion ...
http://bims.iranjournals.ir/article_1123_0.html
In this paper, we study the Neumann boundary value problem of a class of nonlinear parabolic equations. By a priori estimates, difference and variation techniques, we establish the existence and uniqueness of weak solutions of this problem.Thu, 04 May 2017 19:30:00 +0100On a maximal parabolic subgroup of $O^{+}_{8}(2)$
http://bims.iranjournals.ir/article_1124_0.html
The simple orthogonal group $O^{+}_{8}(2)$ has a maximal parabolic subgroup of the form $bar{G}=N{:}G$ where $N=2^{6}$ and $Gcong A_{8}$. Using Atlas, we can see that $O^{+}_{8}(2)$ has three maximal subgroups of type $2^6{:}A_{8}$. These three maximal subgroups are conjugate in the full automorphism group of $O^{+}_{8}(2)$, namely $O^{+}_{8}(2){:}S_{3}$. Thus we have the modules $M_{1}=2^{6}$, $M_{2}=2^{6}$ and $M_{3}=2^{6}$ on which $A_{8}$ acts irreducibly (therefore these three modules are isomorphic as $O^{+}_{8}(2)-text{module}$). Without loss of generality, we can consider our maximal parabolic subgroup to be $bar{G}=M_{1}{:}A_{8}$. The Fischer matrices for each class representative of $G$ are computed which together with character tables of inertia factor groups of $G$ lead to the full character table of $bar{G}$. The complete fusion of $bar{G}$ into $O^{+}_{8}(2)$ has been determined using the technique of set intersections of characters.Sun, 07 May 2017 19:30:00 +0100Construction of implicit--explicit second derivative BDF methods
http://bims.iranjournals.ir/article_1125_0.html
In many applications, large systems of ordinary differential equations with both stiff and nonstiff parts have to be solvednumerically. Implicit-Explicit (IMEX) methods are useful for efficiently solving these problems. In this paper, we construct IMEX second derivative BDF (SDBDF) methods with considerable stability properties. To show the efficiency of the introduced technique, numerical comparisons are given by solving some problems.Tue, 09 May 2017 19:30:00 +0100Bounds for the dimension of the $c$-nilpotent multiplier of a pair of Lie algebras
http://bims.iranjournals.ir/article_1126_0.html
In 2009, Salemkar et al. extended the notion of the Schur multiplier of a Lie algebra to the c-nilpotent multiplier. In this paper, we study the c-nilpotent multiplier of a pair of Lie algebras and give some inequalities for the dimension of the $c$-nilpotent multiplier of a pair of Lie algebras.Wed, 10 May 2017 19:30:00 +0100Solving two-dimensional fractional integro-differential equations by Legendre wavelets
http://bims.iranjournals.ir/article_1127_0.html
‎‎‎In this paper‎, ‎we first introduce the two-dimensional Legendre wavelets(2D-LWs)‎, ‎then we develop them for solving a class of two-dimensional integro-differential equations(2D-IDEs) of fractional order‎. ‎We also investigate convergence of the method‎. ‎Finally‎, ‎we give some illustrative examples to demonstrate the validity and efficiency of the presented method.Wed, 10 May 2017 19:30:00 +0100Extensions of the Hestenes-Stiefel and Polak-Ribiere-Polyak conjugate gradient methods with ...
http://bims.iranjournals.ir/article_1128_0.html
Using search directions of a recent class of three--term conjugate gradient methods, modified versions of the Hestenes-Stiefel and Polak-Ribiere-Polyak methods are proposed which satisfy the sufficient descent condition. The methods are shown to be globally convergent when the line search fulfills the (strong) Wolfe conditions. Numerical experiments are done on a set of CUTEr unconstrained optimization test problems. They demonstrate efficiency of the proposed methods in the sense of the Dolan-More performance profile.Sun, 14 May 2017 19:30:00 +0100MINIMAL FREE RESOLUTION OF MONOMIAL IDEALS BY ITERATED MAPPING CONE
http://bims.iranjournals.ir/article_1129_0.html
Abstract. In this paper we study minimal free resolutions of someclasses of monomial ideals. we first give a sufficient condition to checkthe minimality of the resolution obtained by the mapping cone. Usingit, we obtain the Betti numbers of max-path ideals of rooted trees andideals containing powers of variables. In particular, we discuss aboutresolutions of ideals of the form J_H + (x_(i_1)^2,...,x_(i_m)^2) where J_H is theedge ideal of a hypergraph H.Thu, 18 May 2017 19:30:00 +0100