On lacunary statistical convergence with respect to the intuitionistic fuzzy normed space

The concept of statistical convergence was introduced by Fast [H. Fast, Sur la convergence statistique, Colloq. Math. 2 (1951) 241–244] which was later on studied by many authors. In [J.A. Fridy, C. Orhan, Lacunary statistical convergence, Pacific J. Math. 160 (1993) 43–51], Fridy and Orhan introduced the idea of lacunary statistical convergence. Quite recently, the concept of statistical convergence of double sequences has been studied in intuitionistic fuzzy normed space by Mursaleen and Mohiuddine [M. Mursaleen, S.A. Mohiuddine, Statistical convergence of double sequences in intuitionistic fuzzy normed spaces, Chaos Solitons Fractals (2008), doi:10.1016/j.chaos.2008.09.018]. In this paper, we study lacunary statistical convergence in intuitionistic fuzzy normed space. We also introduce here a new concept, that is, statistical completeness and show that IFNS is statistically complete but not complete.     

The isometric extension of the into mapping from the unit sphere S 1( E ) to S 1( l ∞(Γ))

This paper considers the isometric extension problem concerning the mapping from the unit sphere S ₁(E) of the normed space E into the unit sphere S ₁(l ^∞(Γ)). We find a condition under which an isometry from S ₁(E) into S ₁(l ^∞(Γ)) can be linearly and isometrically extended to the whole space. Since l ^∞(Γ) is universal with respect to isometry for normed spaces, isometric extension problems on a class of normed spaces are solved. More precisely, if E and F are two normed spaces, and if V ₀: S ₁(E) → S ₁(F) is a surjective isometry, where c ₀₀(Γ) ⊆ F ⊆ l ^∞(Γ), then V ₀ can be extended to be an isometric operator defined on the whole space. This work is supported by Natural Science Foundation of Guangdong Province, China (Grant No. 7300614)     

旗传递5-(v,k,2)设计的分类

本文研究了5-(v,k,2)设计的分类问题.利用典型群PSL(2,q)的子群作用于投影线的轨道定理,证明了旗传递5-(v,k,2)设计的自同构群的基柱不能与PSL(2,3n)同构.从而证明了不存在旗传递的5-(v,k,2)设计.     

THE SPHERICAL FUNCTIONS AND THE CENTRAL LIMIT THEOREM ON SU（2,2）/S（U（2） × U（2））

Let G = SU（2, 2）, K = S（U（2） × U（2））, and for l ∈ Z, let {Tl}l∈z be a one-dimensional K-type and let El be the line bundle over G/K associated to Tl. It is shown that the Tl-spherical function on G is given by the hypergeometric functions of several variables. By applying this result, a central limit theorem for the space G/K is obtained.     

Fuzzy logics based on [0,1)-continuous uninorms

Axiomatizations are presented for fuzzy logics characterized by uninorms continuous on the half-open real unit interval [0,1), generalizing the continuous t-norm based approach of Hájek. Basic uninorm logic BUL is defined and completeness is established with respect to algebras with lattice reduct [0,1] whose monoid operations are uninorms continuous on [0,1). Several extensions of BUL are also introduced. In particular, Cross ratio logic CRL, is shown to be complete with respect to one special uninorm. A Gentzen-style hypersequent calculus is provided for CRL and used to establish co-NP completeness results for these logics. Research supported by Marie Curie Fellowship Grant HPMF-CT-2004-501043.     

On A(X) → TC(X) for some X

Let X be a connected based space and p be a two-regular prime number. If the fundamental group of X has order p, we compute the two-primary homotopy groups of the homotopy fiber of the trace map A(X) → TC(X) relating algebraic K-theory of spaces to topological cyclic homology. The proof uses a theorem of Dundas and an explicit calculation of the cyclotomic trace map K(ℤ[C_p])→ TC(ℤ[C_p]).     

-symmetry for (r,s)-hypergeometric series

Contiguous operators for a two-parameter analogue of hypergeometric series are constructed. These represent a two-parameter quantum enveloping algebra introduced by Takeuchi.     

非自治p(t)-拉普拉斯系统周期解的存在性

本文研究一类非自治p(t)-Laplace系统.利用鞍点定理和极小作用原理,获得了周期解存在的充分条件,推广和改进了文献[8]中的结果.     

The Diophantine equation (x − 1)(y − 1) = (z − 1)

We sharpen work of Bugeaud to show that the equation of the title has, for t = 1 or 2, no solutions in positive integers x, y, z and k with z > 1 and k > 3. The proof utilizes a variety of techniques, including the hypergeometric method of Thue and Siegel, as well as an assortment of gap principles.     

Bifurcations of travelling wave solutions for the mK(n, n) equation

Using the method of planar dynamical systems to the mK(n, n) equation, the existence of uncountably infinite many smooth and non-smooth periodic wave solutions, solitary wave solutions and kink and anti-kink wave solutions is proved. Under different parametric conditions, various sufficient conditions to guarantee the existence of the above solutions are given. All possible exact explicit parametric representations of smooth and non-smooth travelling wave solutions are obtain.     

S-convexity revisited (fuzzy): long version

In this revisional article, we criticize (strongly) the use made by Medar et al., and those whose work they base themselves on, of the name ‘convexity’ in definitions which intend to relate to convex functions, or cones, or sets, but actually seem to be incompatible with the most basic consequences of having the name ‘convexity’ associated to them. We then believe to have fixed the ‘denominations’ associated with Medar’s (et al.) work, up to a point of having it all matching the existing literature in the field [which precedes their work (by long)]. We also expand his work scope by introducing s ₁-convexity concepts to his group of definitions, which encompasses only convex and its proper extension, s ₂-convex, so far. This article is a long version of our previous review of Medar’s work, published by FJMS (Pinheiro, M.R.: S-convexity revisited. FJMS, 26/3, 2007).     

On the Function w( x)=|{1= s= k : x= a s (mod n s)}|

For a finite system of arithmetic sequences the covering function is w(x) = |{1 s k : x a_s (mod n_s)}|. Using equalities involving roots of unity we characterize those systems with a fixed covering function w(x). From the characterization we reveal some connections between a period n₀ of w(x) and the moduli n₁, . . . , n_k in such a system A. Here are three central results: (a) For each r=0,1, . . .,n_k/(n₀,n_k)–1 there exists a Jc{1, . . . , k–1} such that . (b) If n₁ ···n_k–l <n_k–l+1 =···=n_k (0 < l < k), then for any positive integer r < n_k/n_k–l with r 0 (mod n_k/(n₀,n_k)), the binomial coefficient can be written as the sum of some (not necessarily distinct) prime divisors of n_k. (c) max_(xw(x) can be written in the form where m₁, . . .,m_k are positive integers.The research is supported by the Teaching and Research Award Fund for Outstanding Young Teachers in Higher Education Institutions of MOE, and the National Natural Science Foundation of P. R. China.     

D(β)-vertex-distinguishing total coloring of graphs

A new concept of the D(β)-vertex-distinguishing total coloring of graphs, i.e., the proper total coloring such that any two vertices whose distance is not larger than β have different color sets, where the color set of a vertex is the set composed of all colors of the vertex and the edges incident to it, is proposed in this paper. The D(2)-vertex-distinguishing total colorings of some special graphs are discussed, meanwhile, a conjecture and an open problem are presented.     

Family of multivariate generalized t distributions

In this paper, we introduce a new family of multivariate distributions as the scale mixture of the multivariate power exponential distribution introduced by Gómez et al. (Comm. Statist. Theory Methods 27(3) (1998) 589) and the inverse generalized gamma distribution. Since the resulting family includes the multivariate t distribution and the multivariate generalization of the univariate GT distribution introduced by McDonald and Newey (Econometric Theory 18 (11) (1988) 4039) we call this family as the “multivariate generalized t-distributions family”, or MGT for short. We show that this family of distributions belongs to the elliptically contoured distributions family, and investigate the properties. We give the stochastic representation of a random variable distributed as a multivariate generalized t distribution. We give the marginal distribution, the conditional distribution and the distribution of the quadratic forms. We also investigate the other properties, such as, asymmetry, kurtosis and the characteristic function.     

Fuzzy system reliability analysis by the use of Tω (the weakest t-norm) on fuzzy number arithmetic operations

In general, the sup-min convolution has been used for fuzzy arithmetic to analyze fuzzy system reliability, where the reliability of each system component is represented by fuzzy numbers. It is well known that T_ω-based addition preserves the shape of L-R type fuzzy numbers. In this paper, we show T_ω-based multiplication also preserves the shape of L-R type fuzzy numbers. We then apply T_ω-based arithmetic operations to fuzzy system reliability analysis. In fact, we show that we can simplify fuzzy arithmetic operations and even get the exact solutions for L-R type fuzzy system reliability, while others [Singer, Fuzzy Sets Syst. 34 (1990) 145; Cheng and Mon, Fuzzy Sets Syst. 56 (1993) 29; Chen, Fuzzy Sets Syst. 64 (1994) 31] have got the approximate solutions using sup-min convolution for evaluating fuzzy system reliability.     

Formal systems of fuzzy logic and their fragments

Formal systems of fuzzy logic (including the well-known Łukasiewicz and Gödel–Dummett infinite-valued logics) are well-established logical systems and respected members of the broad family of the so-called substructural logics closely related to the famous logic BCK. The study of fragments of logical systems is an important issue of research in any class of non-classical logics. Here we study the fragments of nine prominent fuzzy logics to all sublanguages containing implication. However, the results achieved in the paper for those nine logics are usually corollaries of theorems with much wider scope of applicability. In particular, we show how many of these fragments are really distinct and we find axiomatic systems for most of them. In fact, we construct strongly separable axiomatic systems for eight of our nine logics. We also fully answer the question for which of the studied fragments the corresponding class of algebras forms a variety. Finally, we solve the problem how to axiomatize predicate versions of logics without the lattice disjunction (an essential connective in the usual axiomatic system of fuzzy predicate logics).     

Fuzzy n-cell numbers and the differential of fuzzy n-cell number value mappings

In this paper, we give the definition of a special kind of n-dimension fuzzy numbers, fuzzy n-cell numbers, discuss their operations and representation theorems, define a complete metric on the fuzzy n-cell number space and prove that the metric is equivalent to the supremum metric derived by the Hausdorff metric between the level sets of the n-dimension fuzzy numbers, and obtain an embedding theorem of the fuzzy n-cell number space (isometrically embeds it into a concrete Banach space). We also consider the differential of the fuzzy mappings from an interval into the fuzzy n-cell number space by using the embedding theorem.