Bulletin of the Iranian Mathematical SocietyBulletin of the Iranian Mathematical Society
http://bims.iranjournals.ir/
Thu, 21 Jun 2018 03:09:56 +0100FeedCreatorBulletin of the Iranian Mathematical Society
http://bims.iranjournals.ir/
Feed provided by Bulletin of the Iranian Mathematical Society. Click to visit.Existence 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 +0100Bulletin of the Iranian Mathematical Society
http://bims.iranjournals.ir/article_1254_89.html
Tue, 31 Oct 2017 20:30:00 +0100Caratheodory dimension for observers
http://bims.iranjournals.ir/article_1034_89.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‎.Wed, 29 Nov 2017 20:30:00 +0100On three-dimensional $N(k)$-paracontact metric manifolds and Ricci solitons
http://bims.iranjournals.ir/article_1040_89.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.Wed, 29 Nov 2017 20:30:00 +0100Decay estimates of solutions to the IBq equation
http://bims.iranjournals.ir/article_1038_89.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‎.Wed, 29 Nov 2017 20:30:00 +0100Functional identities of degree 2 in CSL algebras
http://bims.iranjournals.ir/article_1035_89.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‎.Wed, 29 Nov 2017 20:30:00 +0100The length of Artinian modules with countable Noetherian dimension
http://bims.iranjournals.ir/article_1042_89.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$.Wed, 29 Nov 2017 20:30:00 +0100On derivations and biderivations of trivial extensions and triangular matrix rings
http://bims.iranjournals.ir/article_1044_89.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‎.Wed, 29 Nov 2017 20:30:00 +0100Two-geodesic transitive graphs of prime power order
http://bims.iranjournals.ir/article_1045_89.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.Wed, 29 Nov 2017 20:30:00 +0100Stability of F-biharmonic maps
http://bims.iranjournals.ir/article_1049_89.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.Wed, 29 Nov 2017 20:30:00 +0100Gorenstein hereditary rings with respect to a semidualizing module
http://bims.iranjournals.ir/article_1052_89.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.Wed, 29 Nov 2017 20:30:00 +0100Duality for vector equilibrium problems with constraints
http://bims.iranjournals.ir/article_1053_89.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.Wed, 29 Nov 2017 20:30:00 +0100An upper bound for the regularity of powers of edge ideals
http://bims.iranjournals.ir/article_1054_89.html
‎A recent result due to Ha 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 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).$$‎Wed, 29 Nov 2017 20:30:00 +0100Properties of matrices with numerical ranges in a sector
http://bims.iranjournals.ir/article_1056_89.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.Wed, 29 Nov 2017 20:30:00 +0100On nuclei of sup-$\Sigma$-algebras
http://bims.iranjournals.ir/article_1057_89.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.Wed, 29 Nov 2017 20:30:00 +0100High-accuracy alternating segment explicit-implicit method for the fourth-order heat equation
http://bims.iranjournals.ir/article_1059_89.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.Wed, 29 Nov 2017 20:30:00 +0100Applications of convolution and subordination to certain $p$-valent functions
http://bims.iranjournals.ir/article_1060_89.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.Wed, 29 Nov 2017 20:30:00 +0100Hölder continuity of solution maps to a parametric weak vector equilibrium problem
http://bims.iranjournals.ir/article_1065_89.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.Wed, 29 Nov 2017 20:30:00 +0100Hyperbolic surfaces of $L_1$-2-type
http://bims.iranjournals.ir/article_1062_89.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.Wed, 29 Nov 2017 20:30:00 +0100The second dual of strongly zero-product preserving maps
http://bims.iranjournals.ir/article_1063_89.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.Wed, 29 Nov 2017 20:30:00 +0100Classification of solvable groups with a given property
http://bims.iranjournals.ir/article_1064_89.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.Wed, 29 Nov 2017 20:30:00 +0100The graph of equivalence classes and Isoclinism of groups
http://bims.iranjournals.ir/article_1061_89.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.Wed, 29 Nov 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_89.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.Wed, 29 Nov 2017 20:30:00 +0100Entropy of a semigroup of maps from a set-valued view
http://bims.iranjournals.ir/article_1067_89.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.Wed, 29 Nov 2017 20:30:00 +0100Initial coefficients of starlike functions with real coefficients
http://bims.iranjournals.ir/article_1068_89.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 functionsWed, 29 Nov 2017 20:30:00 +0100Classifying pentavalnet symmetric graphs of order $24p$
http://bims.iranjournals.ir/article_1069_89.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.Wed, 29 Nov 2017 20:30:00 +0100A weak approximation for the Extrema's distributions of Levy processes
http://bims.iranjournals.ir/article_1244_89.html
‎Suppose that $X_{t}$ is a one-dimensional and real-valued L'evy‎ ‎process started from $X_0=0$‎, ‎which ({bf 1}) its nonnegative‎ ‎jumps measure $nu$ satisfying $int_{Bbb‎ ‎R}min{1,x^2}nu(dx)<infty$ and ({bf 2}) its stopping time‎ ‎$tau(q)$ is either a geometric or an exponential‎ ‎distribution with parameter $q$ independent of $X_t$ and‎ ‎$tau(0)=infty.$ This article employs the Wiener-Hopf‎ ‎Factorization (WHF) to find‎, ‎an $L^{p^*}({Bbb R})$ (where‎ ‎$1/{p^*}+1/p=1$ and $1<pleq2$)‎, ‎approximation for the extrema's‎ ‎distributions of $X_{t}.$ Approximating the finite (infinite)-time‎ ‎ruin probability as a direct application of our findings has been‎ ‎given‎. ‎Estimation bounds‎, ‎for such approximation method‎, ‎along‎ ‎with two approximation procedures and‎ ‎several examples are explored.Wed, 29 Nov 2017 20:30:00 +0100Existence of positive solutions for a second-order p-Laplacian impulsive boundary value problem ...
http://bims.iranjournals.ir/article_1070_89.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.Wed, 29 Nov 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_89.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.Wed, 29 Nov 2017 20:30:00 +0100Subdirectly irreducible acts over some semigroups
http://bims.iranjournals.ir/article_1074_89.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.Wed, 29 Nov 2017 20:30:00 +0100The lower bound for the number of 1-factors in generalized Petersen graphs
http://bims.iranjournals.ir/article_1075_89.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ász and Plummer (Ann‎. ‎New York Acad‎. ‎Sci‎. ‎576(2006)‎, ‎no‎. ‎1‎, ‎389-398).Wed, 29 Nov 2017 20:30:00 +0100Composition of resolvents and quasi-nonexpansive multivalued mappings in Hadamared spaces
http://bims.iranjournals.ir/article_1076_89.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.Wed, 29 Nov 2017 20:30:00 +0100A hybrid mean value involving a new Gauss sums and Dedekind sums
http://bims.iranjournals.ir/article_1077_89.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.Wed, 29 Nov 2017 20:30:00 +0100Semi-Rothberger and related spaces
http://bims.iranjournals.ir/article_1078_89.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.Wed, 29 Nov 2017 20:30:00 +0100A descent method for explicit computations on curves
http://bims.iranjournals.ir/article_1079_89.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.Wed, 29 Nov 2017 20:30:00 +0100Upper bounds for noetherian dimension of all injective modules with Krull dimension
http://bims.iranjournals.ir/article_1080_89.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.Wed, 29 Nov 2017 20:30:00 +0100Locally finite basic classical simple Lie superalgebras
http://bims.iranjournals.ir/article_1081_89.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.Wed, 29 Nov 2017 20:30:00 +0100On normalizers of maximal subfields of division algebras
http://bims.iranjournals.ir/article_1082_89.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.Wed, 29 Nov 2017 20:30:00 +0100Singular values of convex functions of matrices
http://bims.iranjournals.ir/article_1083_89.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.Tue, 31 Oct 2017 20:30:00 +0100A new hybrid conjugate gradient algorithm for unconstrained optimization
http://bims.iranjournals.ir/article_1084_89.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.Wed, 29 Nov 2017 20:30:00 +0100Some results on pre-monotone operators
http://bims.iranjournals.ir/article_1085_89.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.Wed, 29 Nov 2017 20:30:00 +0100Non-homogeneous continuous and discrete gradient systems: the quasi-convex case
http://bims.iranjournals.ir/article_1086_89.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$‎.Wed, 29 Nov 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 +0100Linear codes with complementary duals related to the complement of the Higman-Sims graph
http://bims.iranjournals.ir/article_1253_0.html
‎In this paper we study codes $C_p(overline{{rm HiS}})$ where $p =3,7‎, ‎11$ defined by the 3‎- ‎7‎- ‎and 11-modular representations of the simple sporadic group ${rm HS}$ of Higman and Sims of degree 100‎. ‎With exception of $p=11$ the codes are those defined by the row span of the adjacency matrix of the complement of the Higman-Sims graph over $GF(3)$ and $GF(7).$ We show that these codes have a similar decoding performance to that of their binary counterparts obtained from the Higman-Sims graph‎. ‎In particular‎, ‎we show that these are linear codes with complementary duals‎, ‎and thus meet the asymptotic Gilbert-Varshamov bound‎. ‎Furthermore‎, ‎using the codewords of weight 30 in $C_p(overline{{rm HiS}})$ we determine a subcode of codimension 1‎, ‎and thus show that the permutation module of dimension 100 over the fields of 3‎, ‎7 and 11-elements‎, ‎respectively is the direct sum of three absolutely irreducible modules of dimensions 1‎, ‎22 and 77‎. ‎The latter being also the subdegrees of the orbit decomposition of the rank-3 representation‎.Sat, 03 Mar 2018 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 +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 +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
‎In this paper we study minimal free resolutions of some classes of‎ ‎monomial ideals‎. ‎we first give a ‎sufficient condition to check the minimality of the resolution‎ ‎obtained by the mapping cone‎. ‎Using it‎, ‎we obtain the Betti numbers of max-path ideals of‎ ‎rooted trees and ideals containing‎ ‎powers of variables‎. ‎In particular‎, ‎we discuss about resolutions of ideals of the form $J_{mathcal{H}}+(x_{i_1}^2,ldots‎, ‎x_{i_m}^2)$ where $J_{mathcal{H}}$ is the edge ideal of a hypergraph $mathcal{H}$.Thu, 18 May 2017 19:30:00 +0100Certain generating relations of generalized Bessel matrix polynomials from the view point of ...
http://bims.iranjournals.ir/article_1133_0.html
The main objective of the present paper is to derive the integral representation, matrix recurrence relations and matrix differential recurrence relations for the generalized Bessel matrix polynomials. Furthermore, we obtain a class of generating matrix functions for the generalized Bessel matrix polynomials by using the representation of a Lie group theory with the aid of Weisner's method. Some particular cases of interest as well as the applications of our results are also presented out.Thu, 27 Jul 2017 19:30:00 +0100Differentiability and subdifferentiability on semilinear spaces
http://bims.iranjournals.ir/article_1134_0.html
In this paper, a new differentiability theory for mappings between semilinear spaces is introduced so that it improves Galanis's definition. We also introduce the notion of subdifferentiability and proceed with the study of some related properties of these concepts.Under appropriate conditions, it is shown that the subdifferential of a differentiable function on a topological semilinear space is singleton.Thu, 27 Jul 2017 19:30:00 +0100Notes on generalized derivations and partial generalized automorphisms in prime rings
http://bims.iranjournals.ir/article_1135_0.html
‎In this paper‎, ‎we obtain several results on generalized derivations and partial generalized automorphisms in prime‎ ‎rings‎. ‎Also‎, ‎some examples are given to show that the restrictions imposed on the hypothesis of‎ ‎the various results can not be omitted.Thu, 27 Jul 2017 19:30:00 +0100More inequalities for sector matrices
http://bims.iranjournals.ir/article_1136_0.html
Several inequalities are presented for sector matrices. Firstly, an analogue of the GM-HM inequality is established. As applications of this inequality, similar inequalities are presented for singular values and norms. Finally, some unitarily invariant norm inequalities are obtained for sector matrices.Thu, 27 Jul 2017 19:30:00 +0100On a Picone's identity for the $mathcal{A}_{p(x)}$-Laplacian and its applications
http://bims.iranjournals.ir/article_1137_0.html
‎We present a Picone's identity for the‎ ‎$mathcal{A}_{p(x)}$-Laplacian‎, ‎which is an extension of the classic‎ ‎identity for the ordinary Laplace‎. ‎Also‎, ‎some applications of our‎ ‎results in Sobolev spaces with variable exponent are suggested.Fri, 28 Jul 2017 19:30:00 +0100Laplacians and Legendre surfaces in pseudo-Hermitian geometry
http://bims.iranjournals.ir/article_1138_0.html
‎In this paper‎, ‎we prove that for a Legendre surface $N$ of 5-dimensional Sasakian space forms $M^5$‎,
‎if $N$ satisfies $hattriangle H=lambda H$ and‎
‎$mathrm{tr}hatnabla>hat T(H)=0$ for a constant $lambda$‎,
‎then $|H|$ is a constant‎
‎if and only if $H$ is $hat D$-parallel‎, ‎$N$ is a Chen surface‎, ‎and $tr S^2_{H}=lambda parallel H parallel$‎.
‎From this‎, ‎for a Legendre surface $N$ of $M^5$ such that $|H|$ is a constant‎, ‎if $N$ satisfies $hattriangle H=lambda H$ and‎ ‎$mathrm{tr}hatnabla>hat T(H)=0$ for a constant $lambda$‎, ‎then $N$ is $hat D$-parallel Legendre Chen surfaces‎.
‎Moreover‎, ‎we show that it is minimal‎, ‎or locally product of‎ ‎a geodesic and a pseudo-Hermitian circle or two pseudo-Hermitian circles.Wed, 02 Aug 2017 19:30:00 +0100Groups of prime power orders covered by a certain number of proper subgroups
http://bims.iranjournals.ir/article_1139_0.html
‎Let $G$ be a group‎. ‎A set of proper subgroups of $G$ is called a cover or covering for $G$ if its set-theoretic union is equal to $G$‎. ‎A cover for $G$ is called irredundant if every proper subset of the cover is not again a cover for $G$‎. ‎Yakov Berkovich proposed the following problem:
‎Does there exist a $p$-group $G$ admitting an irredundant covering by $n$ subgroups‎, ‎where $p+1<n<2p$? If `yes'‎, ‎classify such groups. ‎We prove that for any prime $pgeq 3$‎, ‎every finite $p$-group whose minimum number of generators is at least $3$ has an irredundant cover of size $frac{3(p+1)}{2}$‎. ‎It follows that the classification of all finite $p$-groups having an irredundant covering of size $n$ where $p+1<n<2p$ is not possible‎. Wed, 02 Aug 2017 19:30:00 +0100Linear preservers of ${\rm D}$-majorization
http://bims.iranjournals.ir/article_1141_0.html
‎An even signed permutation matrix is a matrix that contains precisely one 1 or‎ -‎1 in each row and each column and all other entries equal to zero with the property that the number of‎ -‎1s is even‎. ‎In this paper‎, ‎using even signed permutation matrices‎, ‎the concept of ${rm D}$-majorization is introduced‎. ‎Then the linear preservers of ${rm D}$-majorization on $ mathbb{R}^{n}$ and ${M_{n,m}}$ are characterized‎.Thu, 03 Aug 2017 19:30:00 +0100Existence of three solutions for a discrete anisotropic boundary value problem
http://bims.iranjournals.ir/article_1142_0.html
‎The existence of three solutions for a anisotropic discrete non-linear problem‎ ‎involving $p(k)$-Laplacian operator with Dirichlet boundary value‎ ‎conditions depending on two parameters‎, ‎is investigated‎. ‎Variational approach is applied based on a critical point theorem‎ ‎due to Bonanno‎, ‎Candito and D'Agui.Thu, 17 Aug 2017 19:30:00 +0100Connes-amenability of $WAP(fB^*)^*$
http://bims.iranjournals.ir/article_1143_0.html
‎For a Banach algebra $frak b$‎, ‎the set of weakly almost periodic functions on $frak b$ is denoted by $WAP(frak b^*)$‎. ‎It is known that amenability of $frak b$ yields Connes-amenability of $WAP(frak b^*)^*$‎. ‎The converse is not generally true though‎. ‎We prove that under certain assumptions‎, ‎$frak b$ is amenable if and only if $WAP(frak b^*)^*$ is Connes-amenable‎. ‎As a result‎, ‎we show that for a reflexive Banach space $E$ with the approximation property‎, ‎$K(E)$ is amenable if and only if $WAP(K(E)^*)^*$ is Connes-amenable‎.Wed, 23 Aug 2017 19:30:00 +0100A Reflected inertial Krasnoselskii type Algorithm for Lipschitz pseudo-contractive mappings
http://bims.iranjournals.ir/article_1145_0.html
It is well-known that Mann's algorithm fails to converge for Lipschitz pseudo-contractive mappings and strong convergence of Ishikawa's algorithm for Lipschitz pseudo-contractive mappings T have not been achieved without compactness assumption on T or on the underlying closed convex set C. In this note, we develop a convergence result of a Reflected inertial Krasnoselskii type Algorithm for nding xed-points of Lipschitz pseudo-contractive mappings in Hilbert spaces with an application to a split feasibility/fixed-point problem.Fri, 08 Sep 2017 19:30:00 +0100On the Noetherian dimension of Artinian modules with homogeneous uniserial dimension
http://bims.iranjournals.ir/article_1146_0.html
‎In this article‎, ‎we first‎ ‎show that non-Noetherian Artinian uniserial modules over‎ ‎commutative rings‎, ‎duo rings‎, ‎finite $R$-algebras and right‎ ‎Noetherian rings are $1$-atomic exactly like $Bbb Z_{p^{infty}}$‎. ‎Consequently‎, ‎we show that if $R$ is a right duo (or‎, ‎a right‎ ‎Noetherian) ring‎, ‎then the Noetherian dimension of an Artinian‎ ‎module with homogeneous uniserial dimension is less than or equal‎ ‎to $1$‎. ‎In particular‎, ‎if $A$ is a quotient finite dimensional‎ ‎$R$-module with homogeneous uniserial dimension‎, ‎where $R$ is a‎ ‎locally Noetherian (or‎, ‎a Noetherian duo) ring‎, ‎then $ndim‎, ‎Aleq‎ ‎1$‎. ‎We also show that the Krull dimension of Noetherian modules is‎ ‎bounded by the uniserial dimension of these modules‎. ‎Moreover‎, ‎we introduce the concept of qu-uniserial modules and by using this‎ ‎concept‎, ‎we observe that if $A$ is an Artinian $R$-module‎, ‎such that‎ ‎any of its submodules is qu-uniserial‎, ‎where $R$ is a right duo (or‎, ‎a right Noetherian) ring‎, ‎then $ndim‎, ‎Aleq 1$.Fri, 08 Sep 2017 19:30:00 +0100Distinguishing number and distinguishing index of natural and fractional powers of graphs
http://bims.iranjournals.ir/article_1148_0.html
‎The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$‎ ‎such that $G$ has an vertex labeling (edge labeling) with $d$ labels that is preserved only by a trivial‎ ‎automorphism‎. ‎For any $n in mathbb{N}$‎, ‎the $n$-subdivision of $G$ is a simple graph $G^{frac{1}{n}}$ which is constructed by replacing each edge of $G$ with a path of length $n$‎. ‎The $m^{th}$ power of $G$‎, ‎is a graph with same set of vertices of $G$ and an edge between two vertices if and only if there is a path of length at most $m$ between them in $G$.‎ The fractional power of $G$‎, ‎is $m^{th}$ power of the $n$-subdivision of $G$‎, ‎i.e.‎, ‎$(G^{frac{1}{n}})^m$ or $n$-subdivision of $m$-th power of $G$‎, ‎i.e.‎, ‎$(G^m)^{frac{1}{n}}$‎. ‎In this paper we study the distinguishing number and the distinguishing index of the natural and the fractional powers of $G$‎. ‎We show that the natural powers more than one of a graph distinguished by at most three edge labels‎. ‎We also show that for a connected graph $G$ of order $n geqslant 3$ with maximum degree $Delta (G)$‎, ‎and for $kgeqslant 2$‎, ‎$D(G^{frac{1}{k}})leqslant lceil sqrt[k]{Delta (G)} rceil$‎. ‎Finally we prove that for $mgeqslant 2$‎, ‎the fractional power of $G$‎, ‎i.e.‎, ‎$(G^{frac{1}{k}})^m$ and $(G^m)^{frac{1}{k}}$ distinguished‎ ‎ by at most three edge labels‎.Mon, 18 Sep 2017 19:30:00 +0100On some properties of Shelah cardinals
http://bims.iranjournals.ir/article_1173_0.html
‎We present several results concerning Shelah cardinals including the fact that small and fast function forcings preserve Shelah and $(^{kappa}kappacap V)$-Shelah cardinals respectively‎. ‎Furthermore we prove that the Laver Diamond Principle holds for Shelah cardinals and use this fact to show that Shelah cardinals can be made indestructible under $leq kappa$-directed closed forcings of size $<wt(kappa)$.Thu, 12 Oct 2017 20:30:00 +0100Characterization of $2\times 2$ full diversity space-time codes and inequivalent full rank spaces
http://bims.iranjournals.ir/article_1174_0.html
‎In wireless communication systems‎, ‎space-time codes are applied to encode data when multiple antennas are used in the receiver and transmitter‎. ‎The concept of diversity is very crucial in designing space-time codes‎. ‎In this paper‎, ‎using the equivalent definition of full diversity space-time codes‎, ‎we first characterize all real and complex $2times 2$ rate one linear dispersion space-time block codes that are full diversity‎. ‎This characterization is used to construct full diversity codes which are not derived from Alamouti scheme‎. ‎Then‎, ‎we apply our results to characterize all real subspaces of $M_{2}(mathbb{C})$ and $M_{2}(mathbb{R})$ whose nonzero elements are invertible‎. ‎Finally‎, ‎for any natural number $n>1$‎, ‎we construct infinitely many inequivalent subspaces of $M_{n}(mathbb{C})$ whose nonzero elements are invertible.Thu, 12 Oct 2017 20:30:00 +0100Solvability for a nonlinear matrix equation
http://bims.iranjournals.ir/article_1175_0.html
‎In this paper the matrix equation $X+sum_{i=1}^{m}A_{i}^*X^{-q_{i}}A_{i}=I$ with‎ ‎$0<q_{i}leq 1$ is investigated‎. ‎Based on the integral representation of matrix functions and‎ ‎the properties of Kronecker product‎, ‎we discuss the uniqueness of the Hermitian‎ ‎positive definite (HPD) solution of the above equation‎. ‎Some properties of the HPD solution are obtained.Sun, 15 Oct 2017 20:30:00 +0100Coradiant-valued maps and approximate solutions in variable ordering structures
http://bims.iranjournals.ir/article_1176_0.html
‎In this paper‎, ‎in order to introduce concepts of approximate efficiency in variable ordering structures‎, ‎some coradiant valued maps are used‎. ‎The concepts of approximate nondominated and minimal elements are defined and some of their properties are studied‎. ‎Corresponding to these concepts‎, ‎necessary and sufficient conditions are provided‎. ‎To obtain such conditions‎, ‎some scalarization methods are investigated‎. ‎This paper also investigates possible relationships among Pascoletti-Serafini radial scalarization and the approximate efficiency‎, ‎the approximate nondominance and minimality using some coradiant valued maps.Sun, 15 Oct 2017 20:30:00 +0100Groups with exactly ten centralizers
http://bims.iranjournals.ir/article_1177_0.html
‎In this article‎, ‎we determine all groups with exactly ten element centralizers‎. ‎Also we obtain the maximum size of the pairwise non-commuting elements of such groups‎.Sun, 15 Oct 2017 20:30:00 +0100p-Supersoluble hypercenter and s-semipermutability of subgroups of a finite group
http://bims.iranjournals.ir/article_1179_0.html
‎Let $G$ be a finite group and $H$ a subgroup of $G$‎. ‎We say $H$ is $s$-semipermutable in $G$ if $HG_{p}=G_{p}H$‎ ‎for any Sylow $p$-subgroup $G_{p}$ of $G$ with $(p,|H|)=1$‎. ‎In this paper‎, ‎we consider the $s$-semipermutability of prime-power‎ ‎order subgroups and prove the following result which‎ ‎generalizes some known results concerning $s$-semipermutable subgroups‎. Theorem: Suppose that $p$ is a prime dividing the order of a finite group $G$‎ ‎and $E$ is a normal subgroup of $G$‎. ‎Then‎ ‎$Eleq Z_{mathcal{U}_p}(G)$ if there exists a normal subgroup $X$‎ ‎of $G$ such that $F_p^*(E)leq Xleq E$‎, ‎and a Sylow $p$-subgroup $P$ of $X$ satisfies‎: ‎1. $Hcap O^p(G^*)$ is $s$-semipermutable in $G$ for all subgroups $Hleq P$ with $|H|=d$‎, ‎where $d$ is a power of $p$ with‎ ‎$1<d<|P|$‎. 2. If $p=d=2$ and $P$ is non-abelian‎, ‎we further suppose $Hcap O^p(G^*)$ is $s$-semipermutable in $G$ for $Hleq P$‎ ‎cyclic of order $4$‎.Tue, 17 Oct 2017 20:30:00 +0100A characterization of orthogonality preserving operators
http://bims.iranjournals.ir/article_1181_0.html
‎In this paper‎, ‎we characterize the class of orthogonality preserving operators on an infinite-dimensional Hilbert space $H$ as scalar multiples of unitary operators between $H$ and some closed subspaces of $H$‎. ‎We show that any circle (centered at the origin) is the spectrum of an orthogonality preserving operator‎. ‎Also‎, ‎we prove that every compact normal operator is a strongly orthogonality preserving operator‎. Sun, 12 Nov 2017 20:30:00 +0100External geometry of submanifolds in conformal Kenmotsu manifolds
http://bims.iranjournals.ir/article_1183_0.html
‎The object of the present paper is to study submanifolds of a conformal Kenmotsu manifold of which the second fundamental form is recurrent‎, ‎$ 2 $-recurrent or generalized $ 2 $-recurrent‎. ‎Finally‎, ‎we present an example to verify our results.Fri, 24 Nov 2017 20:30:00 +0100The spectral radius of the reciprocal distance Laplacian matrix of a graph
http://bims.iranjournals.ir/article_1184_0.html
‎In this article‎, ‎we introduce a Laplacian for the reciprocal distance‎ ‎matrix of a connected graph‎, ‎called the reciprocal distance Laplacian.‎ ‎Let $delta_1geq delta_2geqcdotsgeqdelta_{n-1}geqdelta_n$ be the reciprocal‎ ‎distance Laplacian spectrum‎. ‎In this short note‎, ‎we show that $delta_1leq n$ with‎ ‎equality if and only if the complement graph $overline{G}$ of $G$ is disconnected.Fri, 24 Nov 2017 20:30:00 +0100Rings in which nilpotent elements are right singular
http://bims.iranjournals.ir/article_1185_0.html
It is well-known that every central nilpotent element of a ring $R$ belongs to the right (left) singular ideal of $R$. In this paper we investigate rings in which all nilpotent elements belong to the right singular ideal of $R$.Fri, 24 Nov 2017 20:30:00 +0100A subclass of $\alpha$-convex function with respect to $(2j,k)$-symmetric conjugate points
http://bims.iranjournals.ir/article_1187_0.html
‎The theory of $(j,k)$-symmetric functions has many applications in the ‎investigation of fixed points‎, ‎estimation of the absolute values of some‎ ‎integrals and in obtaining results of the type of Cartan's uniqueness theorem‎. ‎The concept of $left( 2j,kright) $-symmetric functions extends the idea of‎ ‎even‎, ‎odd‎, ‎$k,2k,$ $left( j,kright) $-symmetric and conjugate functions‎. ‎In this paper‎, ‎we introduce a new class $mathcal{M}_{mathrm{SCP}}‎^{j,k}left( alpha,eta,deltaright) $ of analytic functions by using the‎ ‎notion of $left( 2j,kright) $-symmetric conjugate points‎. ‎It unifies the‎ ‎classes $mathcal{S}_{mathrm{SCP}}^{j,k}left( eta,deltaright) $ and $mathcal{C}_{mathrm{SCP}}^{j,k}left( eta,deltaright) $ of starlike‎ ‎functions with respect to symmetric conjugate points and convex functions with‎ ‎respect to symmetric conjugate points‎, ‎respectively‎. ‎We also derive some‎ ‎inclusion results‎, ‎integral representations and convolution conditions for‎ ‎functions belonging to the general function class $mathcal{M}_{mathrm{SCP}‎}^{j,k}left( alpha,eta,deltaright) $‎. ‎The various results presented in‎ ‎this paper may apply to yield the corresponding (new or known) results for a‎ ‎number of simpler known classes. Sat, 25 Nov 2017 20:30:00 +0100A note on middle $P$-spaces and related rings
http://bims.iranjournals.ir/article_1188_0.html
‎A zero-set of a Tychonoff space is called a middle zero-set if it is the intersection of two proper zero-sets the union of which is the whole space‎. ‎If every nonempty middle zero-set has nonempty interior‎, ‎then the space is called a middle $P$-space‎. ‎These spaces where introduced by Azarpanah and Motamedi in their study of the zero-divisor graph of rings of continuous functions‎. ‎In this note we explore some topological properties of these spaces‎. ‎We also characterize them in terms of their rings of continuous functions‎. ‎We apply the methods of pointfree topology for purposes of lucidity and breadth of scope‎.Tue, 28 Nov 2017 20:30:00 +0100An omniscience-free temporal logic of knowledge for verifying authentication protocols
http://bims.iranjournals.ir/article_1189_0.html
‎Since the advent of BAN logic‎, ‎many logics have been proposed for verifying‎ ‎authentication protocols‎. ‎In one line of research‎, ‎scholars have presented‎ ‎logics that can be utilized in verifying timed requirements of the protocols‎. ‎Although many temporal epistemic logics have been developed to this end‎, ‎there is no complete logic of this kind to prevent logical omniscience‎. ‎Thus‎, ‎they may lead to misleading judgments about the properties of the protocol‎ ‎being analyzed‎. ‎In this paper‎, ‎we propose a complete and omniscience-free ‎temporal epistemic logic for analyzing authentication protocols‎. ‎The main‎ ‎challenging issue in devising this logic is formulating intuitive models that‎ ‎on one hand reflect what is naturally meant by a protocol execution and on‎ ‎the other hand make it possible to achieve properties such as completeness‎. ‎We show that such models can build on interpreted systems and that the‎ ‎resulting logic is useful in analyzing authentication protocols.Tue, 28 Nov 2017 20:30:00 +0100Statistical structures in almost paracontact geometry
http://bims.iranjournals.ir/article_1190_0.html
‎Various types of statistical structures are introduced in almost paracontact geometry and characterizations for them are given‎. ‎A large class of examples is provided by an arbitrary $1$-form by deforming the Levi-Civita connection by a mixed projective and dual-projective transformation‎. ‎The particular case of the paracontact form $eta $ from the almost paracontact structure leads to simpler conditions in terms of the Levi-Civita connection‎.Sun, 03 Dec 2017 20:30:00 +0100State spaces Of $K_0$ groups of some rings
http://bims.iranjournals.ir/article_1191_0.html
‎Let $R$ be a ring‎ ‎with the Jacobson radical ‎$‎(J(R))‎$‎ and let ‎$‎(picolon Rto R/J(R))‎$‎ be‎ ‎a canonical map‎. ‎Then the ‎$‎(pi)‎$‎ induces an order preserving group homomorphism‎ ‎‎$‎(K_0picolon K_0(R)to K_0(R/J(R)))‎$‎ and an‎ ‎affine continuous map ‎$‎(S(K_0pi))‎$‎ between the state space ‎$‎(St(R/J(R)))‎$‎ and the‎ ‎state space ‎$‎(St(R).)‎‎$‎ ‎In this paper‎, ‎we consider the natural affine map ‎$‎(S(K_0pi).)‎$‎ We give a condition under which ‎$‎(S(K_0pi))‎$‎ is‎ ‎an affine homeomorphism‎. ‎At the same time‎, ‎we discuss the relationship between semilocal rings and semiperfect rings by using the‎ ‎affine map ‎$‎(S(K_0pi).)‎$Wed, 06 Dec 2017 20:30:00 +0100Nonlinear Picone identities to Pseudo $p$-Laplace operator and applications
http://bims.iranjournals.ir/article_1192_0.html
In this paper, we derive a nonlinear Picone identity to the pseudo p-Laplace operator, which contains some known Picone identities and removes a condition used in many previous papers. Some applications are given including a Liouville type theorem to the singular pseudo p-Laplace system, a Sturmian comparison principle to the pseudo p-Laplace equation, a new Hardy type inequality with weight and remainder term, a nonnegative estimate of the functional associated to pseudo p-Laplace equation.Sat, 09 Dec 2017 20:30:00 +0100Qualitative properties of the solution of a system of operator inclusions in ...
http://bims.iranjournals.ir/article_1194_0.html
The purpose of this paper is to present existence and uniqueness results for the solution of a system of operator inclusions. The data dependence, wellposedness, Ulam-Hyres stability and also Ostrowski stability property are studied. The basic idea is to apply a fixed point theorem for an appropriate operator on the cartesian product of some given b-metric spaces, spaces which are endowed with a graph.Mon, 11 Dec 2017 20:30:00 +0100On the existence of Hilbert valued periodically correlated autoregressive processes
http://bims.iranjournals.ir/article_1195_0.html
‎In this paper we provide sufficient condition for existence of a‎ ‎unique Hilbert valued ($mathbb{H}$-valued) periodically‎ ‎correlated solution to the first order autoregressive model‎ ‎$X_{n}=rho _{n}X_{n-1}+Z_{n}$‎, ‎for $nin mathbb{Z}$‎, ‎and‎ ‎formulate the existing solution and its autocovariance operator‎. ‎Also we specially investigate equivalent condition for the‎ ‎coordinate process $leftlangle X_{n},vrightrangle $‎, ‎for‎ ‎arbitrary element $v$ in $mathbb{H}$‎, ‎to satisfy in some‎ ‎autoregressive model‎. ‎Finally‎, ‎we extend our result to the‎ ‎autoregressive process with finite order‎.Tue, 12 Dec 2017 20:30:00 +0100$\varepsilon$-subdifferential as an enlargement of the subdifferential
http://bims.iranjournals.ir/article_1196_0.html
‎This work introduces a remarkable property of enlargements of maximal monotone‎ ‎operators‎. ‎The basic tool in our analysis is a family of enlargements‎, ‎introduced by Svaiter‎. ‎Using the fact that the $ varepsilon $-subdifferential operator can be regarded as an‎ ‎enlargement of the subdifferential‎, ‎a sufficient condition for some calculus rules in convex analysis can be provided‎. ‎We give several corollaries about $ varepsilon $-subdifferential and extend one of them to arbitrary enlargement.Thu, 14 Dec 2017 20:30:00 +0100Noninner automorphisms of order $p$ in some finite $p$-groups
http://bims.iranjournals.ir/article_1202_0.html
‎It is shown that if $G$ is a finite $p$-group with $p>2$ and $(|Z(G)|‎, ‎|Z_3(G)|) in { (p‎, ‎p^4)‎, ‎(p^2‎, ‎p^5) }$‎, ‎then‎ ‎$G$ has a noninner automorphism of order $p$‎, ‎where $Z_3(G)$ is the third member of the upper central series of $G$‎. ‎In particular‎, ‎there exists a noninner automorphism of order $p$ in some families of finite $p$-groups of coclass 3.Fri, 22 Dec 2017 20:30:00 +0100Existence and convergence results for monotone nonexpansive type mappings in partially ordered ...
http://bims.iranjournals.ir/article_1199_0.html
‎We present some existence and convergence results for a general class of nonexpansive mappings in partially ordered hyperbolic metric spaces‎. ‎We also give some examples to show the generality of the mappings considered herein.Fri, 22 Dec 2017 20:30:00 +0100A Riemann type theorem for segmentally alternating series
http://bims.iranjournals.ir/article_1200_0.html
‎We show that given any divergent series $:sum a_n:$ with positive terms converging to 0 and any interval $:[alpha,,beta]subsetoverline{mathbb R}$‎, ‎there are continuum many segmentally alternating sign distributions $:(epsilon_n):$ such that the set of accumulation points of the sequence of the partial sums of the series $:sumepsilon_na_n:$ is exactly the interval $:[alpha,,beta]$‎. ‎We add some remarks on various segmentations of series with mixed sign terms in order to strengthen a sufficient criterion for convergence of such series‎. ‎textbf{Keywords:} series segmentation‎, ‎sign distribution‎, ‎Riemann Rearrangement theorem‎.Fri, 22 Dec 2017 20:30:00 +0100A study of fractional differential equations and inclusions with nonlocal Erd'elyi-Kober type ...
http://bims.iranjournals.ir/article_1197_0.html
In this paper, we study a new kind of nonlocal boundary value problems of nonlinear fractional differential equations supplemented with Erd'elyi-Kober type fractional integral conditions. The uniqueness of solutions for the given problem is established by means of contraction mapping principle. Applying nonlinear alternative for contractive maps, we investigate the inclusionscase of the problem at hand. Examples illustrating the main results are constructed as well.Fri, 22 Dec 2017 20:30:00 +0100Existence theorems for inequality systems
http://bims.iranjournals.ir/article_1201_0.html
‎Necessary and sufficient conditions for the existence of a solution to an equilibrium problem‎ ‎are given‎, ‎in the general case when the function generating the problem is defined on a product‎ ‎between a subset $X$ of a topological vector space and an arbitrary set $Y$‎. ‎Our results extend the Knaster-Kuratowski-Mazurkiewicz Lemma‎, ‎Ky Fan's minimax inequality and‎ ‎Br' ezis-Nirenberg-Stampacchia Theorem.Fri, 22 Dec 2017 20:30:00 +0100Jensen's and Hermite-Hadamard's type inequalities for lower and strongly convex ...
http://bims.iranjournals.ir/article_1203_0.html
‎In this paper we obtain some Jensen's and Hermite-Hada-mard's type‎ ‎inequalities for lower‎, ‎upper and strongly convex functions defined‎ ‎on convex subsets in normed linear spaces‎. ‎The case of inner product‎ ‎space is of interest since in these case the concepts of lower‎ ‎convexity and strong convexity coincides‎. ‎Applications for‎ ‎univariate functions of real variable and the connections with‎ ‎earlier Hermite-Hadamard's type inequalities are also provided.
Sun, 24 Dec 2017 20:30:00 +0100Existence of optimal mild solutions for multi-valued impulsive stochastic partial functional ...
http://bims.iranjournals.ir/article_1204_0.html
‎In this paper‎, ‎we introduce a new class of multi-valued‎ ‎impulsive stochastic‎ ‎partial functional‎ ‎integrodifferential equations with infinite delay in the $alpha$-norm‎. ‎Using‎ ‎stochastic analysis‎, ‎analytic semigroup and fixed point strategy‎ ‎with the properties of fractional powers of closed operators‎, ‎we‎ ‎establish the existence and uniqueness results‎ ‎of mild solutions for these equations with not instantaneous impulse‎. ‎Then‎, ‎the existence‎ ‎of optimal mild solutions is also proved‎. ‎Particularly‎, ‎the‎ ‎compactness of the operator semigroups is not needed‎. ‎Finally‎, ‎an‎ ‎example to illustrate the applications of main results is given‎.Sun, 24 Dec 2017 20:30:00 +0100On generalized modular subgroups of finite groups
http://bims.iranjournals.ir/article_1205_0.html
Let $G$ be a finite group and $M$ a subgroup of $G$. Then $M$ is called modular if the following conditions are held:(i) $langle X, M cap Z rangle=langle X, M rangle cap Z$ for all $X leq G, Z leq G$ such that$X leq Z$, and(ii) $langle M, Y cap Z rangle=langle M, Y rangle cap Z$ for all $Y leq G, Z leq G$ such that$M leq Z$.
We say that $H$ is a generalized modular subgroup of $G$ if $H=AB$ for some modular subgroup $A$ and subnormal subgroup $B$ of $G$. If $M_n < M_{n-1} < ldots < M_1 0$) is an $n$-maximal subgroup of $G$.In this paper, we study finite groups whose $n$-maximal subgroups are generalized modular. In particular, we prove the following
Theorem A. Suppose that $G$ is soluble and every $ n$-maximal subgroup of $ G$ is generalized modular. If $n leq |pi (G)|-1$, then $G$ is supersoluble. Mon, 25 Dec 2017 20:30:00 +0100Characterization of finite p-groups by the order of their Schur multipliers (t(G)=7)
http://bims.iranjournals.ir/article_1206_0.html
Let G be a finite p-group of order p^n, and |M(G)| = p^1/2(n(n−1))−t(G), where M(G) is the Schur multiplier of G and t(G) is a nonnegative integer. The classification of G is already known for t(G)leq 6. This paper extends the classification to t(G) = 7.Mon, 25 Dec 2017 20:30:00 +0100Critical curves of solutions in nonlinear parabolic equations involving $p,m$-Laplace operators
http://bims.iranjournals.ir/article_1207_0.html
‎In this paper‎, ‎we study some nonlinear parabolic equation involving $p,m$-Laplace operator with nonlinear source and boundary flux‎. ‎Firstly‎, ‎we determine the critical curve of the existence of global solutions by constructing self-similar auxiliary functions‎. ‎Secondly‎, ‎the exponent region is proposed where every nontrivial solution blows up in finite time‎. ‎Additionally‎, ‎blow-up phenomenon of the Fujita type is proved for the corresponding Cauchy problem of the nonlinear parabolic equation.Mon, 25 Dec 2017 20:30:00 +0100On weakly $\mathcal M$-supplemented subgroups and the ${\mathcal F}$-hypercentre of ...
http://bims.iranjournals.ir/article_1208_0.html
A subgroup $H$ of a finite group $G$ is said to be weakly $mathcal {M}$-supplemented in‎ ‎$G$ if there exists a subgroup $B$ of $G$ such that (1) $G=HB$ and (2) $H_1B = BH_1 <G$ if $H_1$/$H_G$‎ ‎is a maximal subgroup of $H/H_G$‎, ‎where $H_G$ is the largest normal subgroup of $G$ contained in $H$‎. ‎In this paper‎, ‎we investigate the structure of the $mathcal F$-hypercenter $Z_{{mathcal F}}(G)$ in a finite group $G$ by using some family of‎ ‎weakly $mathcal {M}$-supplemented subgroups in $G$‎, ‎where $mathcal F$ is a solubly saturated formation containing the class of all finite supersolvable groups.Tue, 26 Dec 2017 20:30:00 +0100On minimal generating sets for symmetric and alternating groups
http://bims.iranjournals.ir/article_1209_0.html
‎By a famous result‎, ‎the subgroup generated by the $n$-cycle $sigma=(1,2,ldots,n)$ and the transposition $tau=(a,b)$ is the full symmetric group $S_{n}$ if and only if $gcd(n,b-a)=1$‎. ‎In this paper we first generalize the above result for one $n$-cycle and $k$ arbitrary transpositions‎, ‎and then provide similar necessary and sufficient conditions for the subgroups of $S_{n}$ in the following three cases‎: ‎first the subgroup generated by the $n$-cycle $sigma$ and a 3-cycle $delta=(a,b,c)$‎, ‎second the subgroup generated by the $n$-cycle $sigma$ and a set of transpositions and 3-cycles‎, ‎and third by the $n$-cycle $sigma$ and an involution $(a,b)(c,d)$‎. ‎In the first case we also determine the structure of the subgroup generated by $(1,2,ldots,n)$ and a 3-cycle $delta=(a,b,c)$ in general‎. ‎Finally an application to unsolvability of a certain infinite family of polynomials by radicals is given.Sat, 30 Dec 2017 20:30:00 +0100An extension of the Wedderburn-Artin Theorem
http://bims.iranjournals.ir/article_1212_0.html
‎In this paper we give conditions under which a ring is isomorphic to a structural matrix ring over a division ring.Thu, 04 Jan 2018 20:30:00 +0100Recurrences and explicit formulae for the expansion and connection coefficients in series of ...
http://bims.iranjournals.ir/article_1213_0.html
Suppose that for an arbitrary function $f(x,y)$ of two discrete variables, we have the formal expansions. [f(x,y)=sumlimits_{m,n=0}^{infty }a_{m,n},P_{m}(x)P_{n}(y),]
$$‎ ‎x^{m}P_{j}(x)=sumlimits_{n=0}^{2m}a_{m,,n}(j)P_{j+m-n}(x)‎,$$
‎we find the coefficients $b_{i,j}^{(p,q,ell‎ ,‎,r)}$ in the expansion‎
$$‎ ‎x^{ell }y^{r},nabla _{x}^{p}nabla _{y}^{q},f(x,y)=x^{ell‎ ‎}y^{r}f^{(p,q)}(x,y)
=sumlimits_{m,n=0}^{infty‎ ‎}a_{m,n}^{(p,q)},P_{m}(x)P_{n}(y),,,a_{m,n}^{(0,0)}=a_{m,n}‎,$$
‎We give applications of these results in solving partial difference‎ ‎equations with varying polynomial coefficients‎, ‎by reducing them to‎ ‎recurrence relations (difference equations) in the expansion‎ ‎coefficients of the solution‎.Thu, 04 Jan 2018 20:30:00 +0100On cellular-Lindelöf spaces
http://bims.iranjournals.ir/article_1214_0.html
‎In this paper‎, ‎we make several observations on cellular-Lindelöf spaces‎. ‎We prove that in perfect spaces the property of being cellular-Lindelöf is equivalent to the countable chain condition‎. ‎Using this result‎, ‎we prove that every cellular-Lindelöf first-countable perfect space has cardinality at most $mathfrak c$‎ ‎and obtain a regular example of a weakly Lindelöf non-cellular Lindelöf space‎. ‎We also prove that if $X$ is a cellular-Lindelöf space then every discrete family of non-empty‎ ‎open subsets of $X$ is countable‎. ‎Finally‎, ‎we prove that if $X$ is a cellular-Lindelöf space with a symmetric $g$-function such that $cap {g^2(n,x)‎: ‎nin omega}={x}$‎ ‎for each $xin X$ then $|X| le 2^{ mathfrak c}$.Fri, 05 Jan 2018 20:30:00 +0100Comparison of two parameter Bernstein operator and Bernstein-Durrmeyer variants
http://bims.iranjournals.ir/article_1215_0.html
The quantum calculus and the post quantum calculus have recently gained broad popularity in computational science and engineering due to their applications to diverse areas such as solution of differential equations, approximation theory and computer-aided geometric design.Herein, we consider two parameter but two different modified Bernstein-Durrmeyer operators along with two parameter Bernstein operator. We obtain estimates to the differences between the Bernstein operator and each modified Bernstein-Durrmeyer operators using classical modulus of continuity. In addition, similar estimates are obtained for Chebyshev functional of these operators. Main purpose of using two parameter operators is to allow us more flexible approximations compared to their classical versions. Namely, depending on values of parameters, the approximation can be speed up. Numerical results presented approves the theoretical results.Fri, 05 Jan 2018 20:30:00 +0100Iterated crossed product of cyclic groups
http://bims.iranjournals.ir/article_1216_0.html
‎In [Iterated crossed products‎, ‎J‎. ‎Algebra Appl‎. ‎13 (2014)]‎, ‎Panaite studied iterated crossed product contruction from the point of algebraic structures‎. ‎In this paper‎, ‎we study iterated crossed product from the point of Combinatorial Group Theory and define a new version of the crossed product of groups‎. ‎Firstly‎, ‎we give some conditions for this new product to be a group‎, ‎then we obtain a presentation for iterated crossed product of cyclic groups‎. ‎Additionally‎, ‎by using this presentation‎, ‎we find a complete rewriting system and thus we obtain normal form structure of elements of this new group construction‎. ‎This gives us the solvability of the word problem for this product.Fri, 05 Jan 2018 20:30:00 +0100On sums of Sylow numbers of finite groups
http://bims.iranjournals.ir/article_1218_0.html
‎Let $G$ be a finite group‎. ‎Let $n_{p}(G)$ be the number of Sylow $p$-subgroup of‎ ‎$G$ and $pi (G)$ be the set of prime divisors of $|G|$‎. ‎We set $S(G)={pin pi‎ ‎(G)|n_{p}(G)>1}$ and $delta (G)=sumlimits_{pin pi (G)}n_{p}(G)$‎, ‎and $‎delta _{0}(G)=sumlimits_{pin S(G)}n_{p}(G)$‎. ‎In this paper‎, ‎we study ‎groups $G$ with small $delta(G)$ and $delta _{0}(G)$‎. ‎Furthermore‎, ‎we‎ ‎will show that if $G$ is a non-solvable group with $C_{G}(N)={1}$‎, ‎where‎ ‎the minimal normal subgroup $N$ of $G$ is the last member of the derived series of $G$‎, ‎then $|G:G^{^{prime }}|<delta _{0}(G)$.Fri, 05 Jan 2018 20:30:00 +0100Locally ${\textbf{E}}$-solid epigroups
http://bims.iranjournals.ir/article_1221_0.html
‎An epigroup is a semigroup in which some power of any element lies in a subgroup‎ ‎of the given semigroup‎. ‎The aim of the paper is to characterize epigroups which are locally $E$-solid in terms of ``forbidden‎" ‎epidivisors‎, ‎in terms of certain decompositions as well as in terms of identities‎. ‎As a subclass of locally $E$-solid epigroups‎, ‎epigroups which are locally in semilattices of archimedean epigroups are also described from different points.Sat, 13 Jan 2018 20:30:00 +0100Some results about Jordan ideals in 3-prime near-rings involving left multipliers
http://bims.iranjournals.ir/article_1220_0.html
Let $mathcal{N}$ be a $3$-prime near-ring with center $Z(mathcal{N})$ and $mathcal{J}$ a nonzero Jordan ideal of $mathcal{N}$. The aim of this paper is to prove some theorems showing that $mathcal{N}$ must be commutative if it admits a left multiplier $F$ satisfying any one of the following properties: $(i):F(mathcal{J})subseteq Z(mathcal{N})$, $(ii):F(mathcal{J}^{2})subseteq Z(mathcal{N})$, $(iii):F(ij)+[i, j]in Z(mathcal{N})$, $(vi):F(ij)-ij+jiin Z(mathcal{N})$, $(v):F(icirc j)in Z(mathcal{N})$ and $(vi):F(i)G(j)in Z(mathcal{N}),$ for all $i, jin mathcal{J}.$ Moreover, we give some examples which show that the hypotheses placed in our results are not superfluous.Sat, 13 Jan 2018 20:30:00 +0100Perelman entropy functional at type I singularity on complete manifolds
http://bims.iranjournals.ir/article_1219_0.html
We study blow-ups around fixed points at Type I singularities of the Ricci flow on some complete manifolds‎. ‎We prove that Perelman's $w$ entropy functional takes its infimum on such manifolds.Sat, 13 Jan 2018 20:30:00 +0100Limits in modified categories of interest
http://bims.iranjournals.ir/article_1222_0.html
‎We firstly prove the completeness of the category of crossed modules in a modified category of interest‎. ‎Afterwards‎, ‎we define pullback crossed modules and pullback cat objects that are both obtained by pullback diagrams with extra structures on certain arrows‎. ‎These constructions unify many corresponding results for the cases of groups‎, ‎commutative algebras and can also be adapted to various algebraic structures‎.Sat, 20 Jan 2018 20:30:00 +0100A natural partial order on certain semigroups of transformations restricted by an equivalence
http://bims.iranjournals.ir/article_1223_0.html
Let $sigma$ be an equivalence on $X$ and let $E(X,sigma)$ denote the semigroup (under composition) of all $f:Xrightarrow X$ such that $sigmasubseteq mbox {ker}(f)$‎. ‎In this paper‎, ‎we endow the semigroup $E(X,sigma)$ with a well‎- ‎known natural partial order $leq$ and provide a characterization for $leq$ and prove necessary‎ ‎and sufficient conditions for $leq$ to be both left and right compatible with the multiplication‎. ‎We also describe the‎ ‎minimal and the maximal elements of $E(X,sigma)$ with respect to this order‎.Sat, 20 Jan 2018 20:30:00 +0100Quasi solution of a nonlinear inverse parabolic problem
http://bims.iranjournals.ir/article_1224_0.html
‎In this paper‎, ‎we study the existence of a quasi solution to‎ ‎nonlinear inverse parabolic problem related to $ aleph (u):equiv‎ ‎u_{t}-nabla (F(x,nabla u)) $ where the function $ F$ is unknown‎. ‎We consider a methodology‎, ‎involving minimization of a least‎ ‎squares cost functional‎, ‎to identify the unknown function $F$‎. ‎At‎ ‎the first step of the methodology‎, ‎we give a stability result‎ ‎corresponding to connectivity of $F$ and $u$ which leads to the‎ ‎continuity of the cost functional‎. ‎We next construct an‎ ‎appropriate class of admissible functions and show that a solution‎ ‎of the minimization problem exists for the continuous cost‎ ‎functional‎. ‎At the last step‎, ‎we conclude that the nonlinear‎ ‎inverse parabolic problem has at least one quasi solution in that‎ ‎class of functions.Tue, 23 Jan 2018 20:30:00 +0100Power serieswise Armendariz property in amalgamated algebra
http://bims.iranjournals.ir/article_1225_0.html
‎Let $f‎: ‎Arightarrow B$ be a ring homomorphism and let $J$ be an ideal of $B$‎. ‎In this paper‎, ‎we investigate the transfer of‎ ‎the property of power serieswise Armendariz to the amalgamation $Abowtie^{f}J$‎. ‎We provide necessary and sufficient conditions for‎ ‎$Abowtie^{f}J$ to be a power serieswise Armendariz ring‎.Wed, 24 Jan 2018 20:30:00 +0100On the existence of solutions of symmetric vector equilibrium problems via nonlinear ...
http://bims.iranjournals.ir/article_1226_0.html
‎In this paper‎, ‎by proposing a new type of Generalized $C$-quasiconvexity for the set-valued mappings and using the nonlinear scalarization function $xi_q$ and its properties‎, ‎without assumption of monotonicity and boundedness‎, ‎some existence results of the solutions for the symmetric vector equilibrium problems and symmetric scalar equilibrium problems are established‎. ‎Moreover‎, ‎the convexity of solution sets is also investigated‎. ‎Finally‎, ‎some examples in order to support our results are provided.Fri, 26 Jan 2018 20:30:00 +0100Numerical treatment to a non-local parabolic free boundary problem arising in financial bubbles
http://bims.iranjournals.ir/article_1227_0.html
‎In this paper we continue to study a non-local free boundary problem arising in financial bubbles‎. ‎We focus on the parabolic counterpart of the bubble problem and suggest an iterative algorithm which consists of a sequence of parabolic obstacle problems at each step to be solved‎, ‎that in turn gives the next obstacle function in the iteration‎. ‎The convergence of the proposed algorithm is proved‎. ‎Moreover‎, ‎we consider the finite difference scheme for this algorithm and obtain its convergence‎. ‎At the end of the paper we present and discuss computational results‎.Fri, 26 Jan 2018 20:30:00 +0100A note on the hedging of options by Malliavin calculus in a jump-diffusion market
http://bims.iranjournals.ir/article_1228_0.html
We study a jump-diffusion market with two settings for the stock price process and expose the capability of Malliavin calculus in generation of the Locally Risk Minimizing portfolio under weaker condition.Fri, 26 Jan 2018 20:30:00 +0100On the well-posedness of the incompressible viscoelastic flows
http://bims.iranjournals.ir/article_1229_0.html
‎In this short article‎, ‎the initial value problem for the incompressible viscoelastic flows is investigated in $mathbb{R}^n(n=2‎, ‎3)$‎. ‎Local well-posedness in nearly optimal Sobolev spaces are established‎.Sun, 28 Jan 2018 20:30:00 +0100Applications of a special generalized quasi-Enstein manifold
http://bims.iranjournals.ir/article_1230_0.html
‎In this paper‎, ‎we work on some properties of generalized quasi-Einstein and pseudo Ricci symmetric generalized quasi-Einstein manifolds‎. ‎Firstly‎, ‎some basic concepts about generalized quasi-Einstein manifolds are given‎. ‎In the second section‎, ‎the holonomy theory in $4-$dimensional manifolds admitting a metric $g$ is investigated and the holonomy algebras on these manifolds are determined‎. ‎Then‎, ‎we examine the existence of some vector fields on pseudo Ricci symmetric generalized quasi-Einstein manifolds and we prove some theorems‎. ‎In the last section‎, ‎as a special generalized quasi-Einstein space-time‎, ‎pseudo Ricci symmetric generalized quasi-Einstein space-time is studied and some properties of it are obtained.Fri, 02 Feb 2018 20:30:00 +0100Tate cohomology for complexes with finite Gorenstein AC-injective dimension
http://bims.iranjournals.ir/article_1231_0.html
In this paper, we introduce and study a notion of Gorenstein AC-injective dimension for complexes of left modules over associative rings. We show first that the class of complexes with finite Gorenstein AC-injective dimension is exactly the class of complexes admitting a complete AC-coresolution. Then the interaction between the corresponding relative and Tate cohomologies of complexes is given. Finally, the relationships between Gorenstein AC-injective dimensions and injective dimensions for complexes are given.Sat, 03 Feb 2018 20:30:00 +0100Block Stanley decompositions II: greedy algorithms, applications, and open problems
http://bims.iranjournals.ir/article_1232_0.html
‎Stanley decompositions are used in applied mathematics (dynamical systems) and $ssl_2$ invariant theory as finite descriptions of the set of standard monomials of a monomial ideal‎. ‎The block notation for Stanley decompositions has proved itself in this context as a shorter notation and one that is useful in formulating algorithms such as the ``box product.'' Since the box product appears only in dynamical systems literature‎, ‎we sketch its purpose and the role of block notation in this application‎. ‎Then we present a greedy algorithm that produces incompressible block decompositions (called ``organized'') from the monomial ideal; these are desirable for their likely brevity‎. ‎Several open problems are proposed‎. ‎We also continue to simplify the statement of the Soleyman-Jahan condition for a Stanley decomposition to be prime (come from a prime filtration) and for a block decomposition to be subprime‎, ‎and present a greedy algorithm to produce ``stacked decompositions,'' which are subprime‎.Wed, 07 Feb 2018 20:30:00 +0100$C(X)$ versus its functionally countable subalgebra
http://bims.iranjournals.ir/article_1233_0.html
‎Let $C_c(X)$ (resp‎. ‎$C^F(X)$) denote the subring of $C(X)$ consisting of functions with countable (resp‎. ‎finite) image and $C_F(X)$ be the socle of $C(X)$‎. ‎We characterize spaces $X$ with $C^*(X)=C_c(X)$‎, ‎which generalizes a celebrated result due to Rudin‎, ‎Pelczynnski and Semadeni‎. ‎Two zero-dimensional compact spaces $X$‎, ‎$Y$ are homeomorphic if and only if $C_c(X)cong C_c(Y)$ (resp‎. ‎$C^F(X)cong C^F(Y)$)‎. ‎The spaces $X$ for which $C_c(X)=C^F(X)$ are characterized‎. ‎The socles of $C_c(X)$‎, ‎$C^F(X)$‎, ‎which are observed to be the same‎, ‎are topologically characterized and spaces $X$ for which this socle coincides with $C_F(X)$ are determined‎, ‎too‎. ‎A certain well-known algebraic property of $C(X)$‎, ‎where $X$ is realcompact‎, ‎is extended to $C_c(X)$‎. ‎In contrast to the fact that $C_F(X)$ is never prime in $C(X)$‎, ‎we characterize spaces $X$ for which $C_F(X)$ is a prime ideal in $C_c(X)$‎. ‎It is observed for these spaces‎, ‎$C_c(X)$ coincides with its own socle (a fact‎, ‎which is never true for $C(X)$‎, ‎unless $X$ is finite)‎. ‎Finally‎, ‎we show that a space $X$ is the one-point compactification of a discrete space if and only if $C_F(X)$ is a unique proper essential ideal in $C^F(X)$.Wed, 07 Feb 2018 20:30:00 +0100Jordan, Jordan right and Jordan left derivations on convolution algebras
http://bims.iranjournals.ir/article_1234_0.html
‎In this paper‎, ‎we investigate Jordan derivations‎, ‎Jordan‎ ‎right derivations and Jordan left derivations of‎ ‎$L_0^infty({mathcal G})^*$‎. ‎We‎ ‎show that any Jordan (right) derivation on $L_0^infty({mathcal G})^*$ is a (right) derivation on $L_0^infty({mathcal G})^*$ and the zero map is the only Jordan left‎ ‎derivation on $L_0^infty({mathcal G})^*$‎. ‎Then‎, ‎we prove that the range of a Jordan (right) derivation on $L_0^infty({mathcal G})^*$ is contained into‎ ‎$hbox{rad}(L_0^infty({mathcal G})^*)$‎. ‎Finally‎, ‎we establish that the product of two Jordan (right) derivations of $L_0^infty({mathcal G})^*$ is always a derivation on $L_0^infty({mathcal G})^*$ and there is no nonzero centralizing Jordan (right) derivation on $L_0^infty({mathcal G})^*$.Thu, 08 Feb 2018 20:30:00 +0100Some results on the $c$-nilpotent multiplier of a pair of Lie algebras
http://bims.iranjournals.ir/article_1235_0.html
‎The Schur multiplier of a Lie algebra $L$‎, ‎was introduced by Batten et al‎. ‎(1996)‎. ‎Salemkar and colleagues generalized the concept of the Schur multiplier to the $c$-nilpotent multiplier‎. ‎Recently‎, ‎the author introduced some exact sequences and gived some upper bounds for the dimension of the $c$-nilpotent multiplier of a pair of Lie algebras‎. ‎In the present paper‎, ‎we will extend these results‎. ‎Moreover‎, ‎we give some isomorphisms for the $c$-nilpotent multiplier of a pair of Lie algebras.Fri, 09 Feb 2018 20:30:00 +0100Radius problems for starlike functions associated with the sine function
http://bims.iranjournals.ir/article_1236_0.html
‎Let $mathcal{S}^*_s$ be the class of normalized analytic functions $f$ defined on the unit disk such that the quantity $zf'(z)/f(z)$ lies in an eight-shaped region in the right-half plane‎, ‎which is the image of the unit disk under an entire function defined by $varphi(z)=1+sin z$‎. ‎For this class‎, ‎we determine the $mathcal{S}^*_s$-radii for the class of Janowski starlike functions and some other geometrically defined classes‎. ‎A relation between this class and the class of Janowski starlike functions is also discussed.Tue, 13 Feb 2018 20:30:00 +0100Quasinilpotent operators and hyperinvariant subspace problem
http://bims.iranjournals.ir/article_1237_0.html
‎In this note‎, ‎we strengthen some well-known results on the‎ ‎hyperinvariant subspace problem for quasinilpotent operators‎. ‎We‎ ‎show that if $T$ is a quasinilpotent quasiaffinity on a Hilbert‎ ‎space and there is a sequence ${x_n}$ of unit vectors such that‎ ‎the closure of ${x_n‎ : ‎nin mathbb{N}}$ is compact and zero is‎ ‎not a weak limit of any subsequence of‎ ‎${frac{T^nT^{*n}x_n}{|T^nT^{*n}x_n|}}$‎, ‎then $T$ has a nontrivial hyperinvariant subspace‎.Tue, 13 Feb 2018 20:30:00 +0100On real zeros of self-similar random Gaussian polynomials with decreasing variances: ...
http://bims.iranjournals.ir/article_1238_0.html
‎We consider a random self-similar polynomials where the coefficients‎ ‎form a sequence of independent normally distributed random‎ ‎variables‎. ‎We study the behavior of the expected‎ ‎density of real zeros of these polynomials when the variances‎ ‎of the middle coefficients are substantially larger than the others‎. ‎Numerical lets show the existence of a phase transition for a critical value of a parameter that defines the variance‎. ‎We also discuss‎ ‎the case where the variances of the coefficients are decreasing‎, ‎and obtain the asymptotic behavior of the expected number of real zeros of such polynomials.Fri, 16 Feb 2018 20:30:00 +0100Rings whose every subring is feebly clean
http://bims.iranjournals.ir/article_1239_0.html
‎Let $a$ be an element of a ring $R$‎. ‎Then ${Bbb Z}[a]={ f(a)~|~f(t)$ is a polynomial with integral coefficients $}$ forms a commutative subring of $R$‎. ‎A ring $R$ is strongly 2-nil-clean ring if every element in $R$ is the sum of a tripotent and a nilpotent that commute‎.
‎We determine strong 2-nil-cleanness in terms of related clean properties of such subrings of polynomials‎. ‎We prove that a ring $R$ is strongly 2-nil-clean if and only if ${Bbb Z}[a]/Nbig({Bbb Z}[a]big)$ is tripotent for all $ain R$‎, ‎if and only if $R$ polynomially splits and ${Bbb Z}[a]$ is feebly clean for all $ain R$‎, ‎if and only if $R$ polynomially splits and ${Bbb Z}[a]$ is clean for all $ain R$‎. ‎New characterizations of strongly 2-nil-clean rings are thereby obtained.Sun, 18 Feb 2018 20:30:00 +0100The modified objective function method for univex multiobjective variational problems
http://bims.iranjournals.ir/article_1240_0.html
In this paper, we use the modified objective function method for a class of nonconvex multiobjective variational problems involving univex functions. Under univexity hypotheses, we prove the equivalence between an efficient solution (weakly efficient solution) of the original multiobjective variational problem and an efficient solution (weakly efficient solution) in the associated modified multiobjective variational problem constructed in the modified objective function method.Tue, 20 Feb 2018 20:30:00 +0100Dynkin Game with Asymmetric Information
http://bims.iranjournals.ir/article_1241_0.html
We consider a Dynkin game where the seller possesses additional information compared to the buyer. The additional information is described by a random variable taking finitely many values. We show that the game possesses a value and we provide a necessary and sufficient condition for the existence of a Nash equilibrium. Results are illustrated with an explicit example.Sat, 24 Feb 2018 20:30:00 +0100Interpolating sequence for multipliers of $D_{log}$ space
http://bims.iranjournals.ir/article_1242_0.html
‎In this paper‎, ‎we investigate the Dirichlet type space $D_{log}$‎, ‎which is closely associated with the analytic version of‎ ‎$mathcal{Q}_1(partial mathbb D)$ space‎. ‎We show that the space $D_{log}$ has the Pick Property‎. ‎A characterization of‎ ‎interpolating sequence for multipliers of $D_{log}$ is given.Sun, 25 Feb 2018 20:30:00 +0100Nodal solutions for asymptotically linear second-order BVPs on the half line
http://bims.iranjournals.ir/article_1243_0.html
‎In this article‎, ‎we prove under eigenvalue criteria‎, ‎existence result for‎ ‎nodal solutions to the boundary value problem posed on the positive‎ ‎half-line‎ ‎$$-‎u^{prime prime }(t)+q(t)u(t)=u(t)f(t,u(t))quad t>0‎,$$$$‎‎‎u(0)=lim_{trightarrow‎ +‎infty }u(t)=0,$$ ‎where $qin Cleft( mathbb{‎mathbb{R}‎‎}^{+},mathbb{‎‎mathbb{R}‎‎}^{+}right) $may be unbounded from above and $‎f:{‎mathbb{R}‎‎}^{+}times ‎mathbb{R}‎‎rightarrow ‎mathbb{R}‎$ is a continuous function.Tue, 27 Feb 2018 20:30:00 +0100Notes on Gorenstein flat modules
http://bims.iranjournals.ir/article_1245_0.html
‎In this paper‎, ‎we explore conditions under which Gorenstein flat modules are Gorenstein projective‎. ‎We prove that all countably presented strongly Gorenstein flat modules are Gorenstein projective over perfect rings‎. ‎Moreover‎, ‎we show that if the base ring $R$ is $sum$-pure injective as an $R$-module‎, ‎then the class of Gorenstein flat modules coincides with the class of Gorenstein projective modules‎, ‎and hence all modules have Gorenstein projective covers‎. ‎And as a corollary‎, ‎we give a characterization of coherent perfect rings by Gorenstein projective and Gorenstein flat modules.‎Tue, 27 Feb 2018 20:30:00 +0100Self-similar fractals and arithmetic dynamics
http://bims.iranjournals.ir/article_1246_0.html
‎The concept of self-similarity on subsets of algebraic varieties‎ ‎is defined by considering algebraic endomorphisms of the variety‎ ‎as `similarity' maps‎. ‎Self-similar fractals are subsets of algebraic varieties‎ ‎which can be written as a finite and disjoint union of‎ ‎`similar' copies‎. ‎Fractals provide a framework in which‎, ‎one can‎ ‎unite some results and conjectures in Diophantine geometry‎. ‎We‎ ‎define a well-behaved notion of dimension for self-similar fractals‎. ‎We also‎ ‎prove a fractal version of Roth's theorem for algebraic points on‎ ‎a variety approximated by elements of a fractal subset‎. ‎As a‎ ‎consequence‎, ‎we get a fractal version of Siegel's theorem on finiteness of integral points‎ ‎on hyperbolic curves and a fractal version of Faltings' theorem ‎on Diophantine approximation on abelian varieties‎.Sat, 03 Mar 2018 20:30:00 +0100On the joint numerical spectrum in Banach spaces
http://bims.iranjournals.ir/article_1255_0.html
‎The purpose of this paper is to introduce the joint numerical spectrum of a q-tuple of operators on a Banach space and to study its properties‎. ‎This notion generalizes both the joint numerical range and the numerical spectrum.Tue, 06 Mar 2018 20:30:00 +0100Perturbation bounds for $g$-inverses with respect to the unitarily invariant norm
http://bims.iranjournals.ir/article_1256_0.html
Let complex matrices $A$ and $B$ have the same sizes. Using the singular value decomposition, we characterize the $g$-inverse $B^{(1)}$ of $B$ such that the distance between a given $g$-inverse of $A$ and the set of all $g$-inverses of the matrix $B$ reaches minimum under the unitarily invariant norm. With this result, we derive additive and multiplicative perturbation bounds of the nearest perturbed $g$-inverse. These results generalize and improve the existing results published recently to some extent.Fri, 09 Mar 2018 20:30:00 +0100$\varphi$-biprojectivity of Banach algebras with applications to hypergroup algebras
http://bims.iranjournals.ir/article_1257_0.html
At the present paper, we study the notions of phi-biprojectivity, phi-Johnson contractibility and phi-contarctibility of Banach algebras, where ' is a nonzero character. We introduce the condition (Q) which is weaker than phi-biprojectivity. For classes of Banach algebras with a left and right approximate identity we obtain some relations between these notions. Moreover, we apply these results for the hypergroup algebra L1(K) and some Segal algebras with respect to the L1(K). As a main result, for a hypergroup K, we prove that the hypergroup algebra L1(K) is phi-biprojective (left '-contractible) if and only if K is compact.Sat, 10 Mar 2018 20:30:00 +0100Paulsen problem for A-admissible frames
http://bims.iranjournals.ir/article_1258_0.html
‎In this paper‎, ‎we‎ ‎present an algorithm$-$gradient descent of the frame potential‎ ‎$-$for increasing the degree of tightness of‎
‎any finite admissible frame‎, ‎and show that this algorithm converges to an admissible tight frame‎. ‎We provide an explicit answer to the generalizations of‎ ‎the Paulsen problem.Mon, 12 Mar 2018 20:30:00 +0100An alternative method for construction of free polyadic groups
http://bims.iranjournals.ir/article_1259_0.html
‎In this article‎, ‎we introduce a new method to constructing free‎ ‎polyadic groups which is more natural than the previous one given‎ ‎in [H‎. ‎Khodabandeh and M‎. ‎Shahryari‎, Equations in polyadic groups‎, Comm‎. ‎Algebra, 45 (2017), no. 3, 1227--1238]‎. ‎This new approach is a natural‎ ‎generalization of the construction of ordinary free groups as sets‎ ‎of reduced group words‎.Wed, 14 Mar 2018 20:30:00 +0100n-SOT hypercyclic linear maps on Banach algebra of operators
http://bims.iranjournals.ir/article_1260_0.html
‎Let $B(X)$ be the algebra of bounded linear operators on a Banach space $X$‎. ‎A subset $E$ of $B(X)$ is said to be $n$-SOT dense in $B(X)$ if for every continuous linear operator $Lambda$ from $B(X)$‎ ‎onto $X^{(n)}$‎, ‎the direct sum of $n$ copies of $X$‎, ‎$Lambda(E)$ is dense in $X^{(n)}$‎. ‎We consider the $n$-SOT hypercyclic continuous linear maps on $B(X)$‎, ‎namely‎, ‎those that have orbits that are $n$-SOT dense in $B(X)$‎. ‎Some nontrivial examples of such operators are provided and many of their basic properties are investigated‎. ‎In particular‎, ‎we show that the left multiplication operator $L_T$ is 1-SOT hypercyclic if and only if $T$ is hypercyclic on $X$.Wed, 14 Mar 2018 20:30:00 +0100Retractable and coretractable modules over formal triangular matrix rings
http://bims.iranjournals.ir/article_1261_0.html
In this paper we study retractable modules and coretractable modules over a formal triangular matrix ring$T=left [begin{array}{rr}A & 0 M & B end{array} right]$, where $A$ and $B$ are rings and $M$ is a $(B, A)$-bimodule.We determine necessary and sufficient conditions for a $T$-module to be respectively retractable or coretractable.We also characterize the right Kasch formal triangular matrix rings. Some examples are provided to illustrate and delimit our results.Tue, 20 Mar 2018 20:30:00 +0100On ideals of quasi-commutative semigroups
http://bims.iranjournals.ir/article_1262_0.html
The aim of this note is to use some structural properties ofquasi-commutative semigroups to get information on their ideals.Tue, 03 Apr 2018 19:30:00 +0100Weighted conjugate gradient type methods for solving quadrature discretization of Fredholm ...
http://bims.iranjournals.ir/article_1263_0.html
A variant of conjugate gradient type methods, called weighted conjugate gradient(WCG), is given to solve quadrature discretization of various first kind Fredholm integralequations with continuous kernels. The WCG type methods use a new innerproduct instead of the Euclidean one arising from discretization of L2-inner product bythe quadrature formula. On this basis, the proposed algorithms generate a sequenceof vectors which are approximations of solution at the quadrature points. Numericalexperiments on a few model problems are used to illustrate the performance of the newmethods compared to the CG type methods.Fri, 06 Apr 2018 19:30:00 +0100Computational Legendre Tau method for Volterra Hammerstein pantograph integral equations
http://bims.iranjournals.ir/article_1264_0.html
‎In this paper‎, ‎we develop and analyze a computational Legendre Tau‎ ‎method for the numerical solution of Pantograph type Volterra‎ ‎Hammerstein integral equations‎. ‎We present the method in two stages‎. ‎First‎, ‎by applying the shifted Legendre polynomials as basis‎ ‎functions and using some simple matrix and vector operations‎, ‎we‎ ‎show that the Tau solution of the problem can be obtained by solving‎ ‎a sparse upper triangular nonlinear algebraic system which can be‎ ‎solved directly by forward substitution method and second we prove‎ ‎that under suitable regularity assumptions on data the obtained‎ ‎approximate solution converges to the exact ones with a highly rate‎ ‎of convergence‎. ‎The stability analysis of the proposed technique‎ ‎also investigated and finally‎, ‎some illustrative examples are given‎ ‎to confirm the effectiveness and reliability of the proposed method‎. Wed, 11 Apr 2018 19:30:00 +0100The optimal solution set of the multi-source Weber problem
http://bims.iranjournals.ir/article_1265_0.html
This paper considers the classical Multi-Source Weber Problem (MWP), which is to find $M$ new facilities with respect to $N$ customers in order to minimize the sum of transportation costs between these facilities and the customers. We propose a modified algorithm in the spirit of Cooper's work for solving the MWP including a location phase and an allocation phase. The task of location phase is to find the optimal solution sets of many Single-Source Weber Problems (SWPs), which are reduced by the heuristic of the nearest center reclassification for the customers in the previous allocation phase. Some examples are stated to clarify the proposed algorithms. Moreover, we present an algorithm with $ mathit{O}(d~ log ~d)$ time for finding the optimal solution set of SWP in the collinear case; where $ d $ is the number of customers.Wed, 18 Apr 2018 19:30:00 +0100