the aim of this work is to describe the qualitative behavior of the solution set of a givensystem of fractional differential equations and limiting behavior of the dynamical system or flow defined by the system of fractional differential equations. in order to achieve this goal, it is first necessary to develop the local theory for fractional nonlinear systems. this is done by the extension of ...

Some fixed point theorems and common fixed point theorem in Logarithmic convex structure areproved.

In this paper‎, ‎we introduce a new type of graph contraction using a special class of functions and give a best proximity point theorem for this contraction in complete metric spaces endowed with a graph under two different conditions‎. ‎We then support our main theorem by a non-trivial example and give some consequences of best proximity point of it for usual graphs.

In this paper we formulate and prove some xed and common xed pointTheorems for self-mappings dened on complete lower Transversal functionalprobabilistic spaces.

in this paper, sufficient conditions are investigated for the existence of periodic (not necessarily positive) solutions for nonlinear several time delay population system with feedback control. nonlinear system affected by an periodic external source is studied. existence of a control variable provides  the extension of  some previous results obtained in other studies. we give a illustrative e...

Let $A$ be a complex torus and $G$ finite group acting on without translations such that $A/G$ is smooth. Consider the subgroup $F\leq G$ generated by elements have at least one fixed point. We prove there exists point $x\in A$ whole $F$ quotient fibration of products projective spaces over an \'etale (the being Galois with $G/F$). In particular, when $G=F$, we may assume fixes origin. This rel...

A theorem about local in time existence of spacelike foliations with prescribed mean curvature in cosmological spacetimes will be proved. The time function of the foliation is geometrically defined and fixes the diffeomorphism invariance inherent in general foliations of spacetimes. Moreover, in contrast to the situation of the more special constant mean curvature foliations, which play an impo...

We have formalized the Sturm-Tarski theorem (also referred as the Tarski theorem): ∑ x∈(a,b),P (x)=0 sign(Q(x)) = Var(SRemS(P, P ′Q; a, b)) where a < b are elements of R ∪ {−∞,∞} that are not roots of P , with P,Q ∈ R[x]. Note, the usual Sturm theorem is an instance of the Sturm-Tarski theorem with Q = 1. The proof is based on [1] and Cyril Cohen’s work in Coq [2]. With the Sturm-Tarki theorem,...

In this paper, we prove a general fixed point theorem in $textrm{S}$-metric spaces for maps satisfying an implicit relation on complete metric spaces. As applications, we get many analogues of fixed point theorems in metric spaces for $textrm{S}$-metric spaces.