Hasil untuk "math.AT"

Sarasvati Yadav, Geeta Rani

We derive the recursion formulas for Horn hypergeometric functions H1 to H7. These recursion formulas help us write these functions as a combination of themselves.

Mamoru Nunokawa, Janusz Sokół

We determine the sufficient conditions for function f(z) = z + a2z2 + ... to be starlike of order 1/2, which shows also the starlikeness of f.

Bhaskar Srivastava

On expanding Ramanujan's continued fraction in power series, we observe that the sign of the coefficients is periodic with period 4. We also give a combinatorial interpretation for the coefficients.

Chang-Jian Zhao

We establish some new inequalities for s-th functions and means of order k by using Popoviciu?s, Bellman?s, Menon?s and Mitrinovic, Bullen and Vasic?s inequalities. The new inequalities in special cases yield some related inequalities published recently, which provide also new estimates on inequalities of these type.

Maya Altınok, Mehmet Küçükaslan

The convergence of porosity is one of the relatively new concept in Mathematical analysis. It is completely structurally different from the other convergence concepts. Here we give a relation between porosity convergence and pretangent spaces.

Abdul Haseeb, Rajendra Prasad

We characterize ?-Kenmotsu manifolds admitting *-conformal ?- Ricci solitons. At last, an example of 7-dimension ?-Kenmotsu manifold is given.

Miklós Ferenczi

Infinitary propositional logics, i.e., propositional logics with infinite conjunction and disjunction, have some deficiencies, e.g., these logics fail to be compact or complete, in general. Such kind of infinitary propositional logics are introduced, called hyperfinite logics, which are defined in a non-standard framework of non-standard analysis and have hyperfinite conjunctions and disjunctions. They have more nice properties than infinitary logics have, in general. Furthermore, non-standard extensions of Boolean algebras are investigated. These algebras can be regarded as algebraizations of hyperfinite logics, they have several unusual properties. These Boolean algebras are closed under the hyperfinite sums and products, they are representable by hyperfinitely closed Boolean set algebras and they are omega-compact. It is proved that standard Boolean algebras are representable by Boolean set algebras with a hyperfinite unit.

Edward Omey, Kosto Mitov, Rein Vesilo

Mamoru Nunokawa, Janusz Sokół

Ahmet Yıldız

We study 3-dimensional f-Kenmotsu manifolds with the Schouten-van Kampen connection. With the help of such a connection, we study projectively flat, conharmonically flat, Ricci semisymmetric and semisymmetric 3-dimensional f-Kenmotsu manifolds. Finally, we give an example of 3- dimensional f-Kenmotsu manifolds with the Schouten-van Kampen connection.

Jovana Duretic

We give a construction of the Piunikhin-Salamon-Schwarz isomorphism between the Morse homology and the Floer homology generated by Hamiltonian orbits starting at the zero section and ending at the conormal bundle. We also prove that this isomorphism is natural in the sense that it commutes with the isomorphisms between the Morse homology for different choices of the Morse function and the Floer homology for different choices of the Hamiltonian. We define a product on the Floer homology and prove triangle inequality for conormal spectral invariants with respect to this product.

Farid Bencherif, Tarek Garici

We positively answer a question posed in 1960 by D. S. Mitrinovic and R. S. Mitrinovic (Publ. Fac. Electrotech. Univ. Belgrade, Ser. Math. Phys. 34 (1960), 1-23) about the Stirling numbers of the first kind.

Fucai Lin, Chuan Liu

Let FP(X) be the free paratopological group over a topological space X. For each nonnegative integer n ? N, denote by FPn(X) the subset of FP(X) consisting of all words of reduced length at most n, and in by the natural mapping from (X ? X?1 ? {e})n to FPn(X). We prove that the natural mapping i2:(X ? X?1 d ?{e})2 ? FP2(X) is a closed mapping if and only if every neighborhood U of the diagonal ?1 in Xd x X is a member of the finest quasi-uniformity on X, where X is a T1-space and Xd denotes X when equipped with the discrete topology in place of its given topology.

Emrah Kılıç, Helmut Prodinger

Four generalizations of the Filbert matrix are considered, with additional asymmetric parameter settings. Explicit formula are derived for the LU-decompositions, their inverses, and the inverse matrix. The approach is mainly to use the q-analysis and to leave the justification of the necessary identities to the q-version of Zeilberger?s algorithm for some of them, and for the rest of the necessary identities, to guess the relevant quantities and proving them later by induction.

Milenko Mosurovic, Michael Zakharyaschev

We consider a new description logic ALCIr that extends ALCI with role inclusion axioms of the form R ? QR1 . . .Rm satisfying a certain regularity condition. We prove that concept satisfiability with respect to RBoxes in this logic is ExpTime-hard. We then define a restriction ALCIr? of ALCIr and show that concept satisfiability with respect to RBoxes in ALCIr? is PSpace-complete.

Letizia Brunetti, Maria Pastore

Sasaki manifolds admit a nowhere vanishing vector field and it is always possible to consider a Lorentz metric on them. Then we are able to obtain a classification result for compact Lorentz-Sasaki space forms.

Nick Boredaki

Aleksandar Baksa

This article deals with a dynamic system whose motion is constrained by nonholonomic, reonomic, affine constraints. The article analyses the geometrical properties of the ?reactions" of nonholonomic constraints in Voronets?s equations of motion. The analysis shows their link with the torsion of the Ehresmann connection, which is defined by the nonholonomic constraints.

Dragan Stankov

We investigate the class of ?1 polynomials evaluated at q defined as: A(q) = { ?0 + ?1q + ? ? ? + ?mqm : ?i ? {-1, 1}} and usually called spectrum, and show that, if q is the root of the polynomial xn - xn-1 - ? ? ? - xk+1 + xk + xk-1 + ? ? ? + x + 1 between 1 and 2, and n > 2k + 3, then A(q) is discrete, which means that it does not have any accumulation points.

Slavko Simic

We prove a theorem concerning asymptotic behavior of general complex-valued kernel convolutions with slowly varying functions in the sense of Karamata. In applications we showed that the content of some classical theorems can be naturally extended on some parts of complex z-plane.