Search results for "Theorem"

Fixed point theorems for -contractive type mappings

2012

Abstract In this paper, we introduce a new concept of α – ψ -contractive type mappings and establish fixed point theorems for such mappings in complete metric spaces. Starting from the Banach contraction principle, the presented theorems extend, generalize and improve many existing results in the literature. Moreover, some examples and applications to ordinary differential equations are given here to illustrate the usability of the obtained results.

Fixed point for cyclic weak (\psi, C)-contractions in 0-complete partial metric spaces

2013

In this paper, following (W.A. Kirk, P.S. Srinivasan, P. Veeramani, Fixed points for mappings satisfying cyclical contractive conditions, Fixed Point Theory, 4 (2003), 79-89), we give a fixed point result for cyclic weak (ψ,C)-contractions on partial metric space. A Maia type fixed point theorem for cyclic weak (ψ,C)-contractions is also given.

Spectral invariance, ellipticity, and the Fredholm property for pseudodifferential operators on weighted Sobolev spaces

1992

The pseudodifferential operators with symbols in the Grushin classes \~S inf0 supρ,δ , 0 ≤ δ < ρ ≤ 1, of slowly varying symbols are shown to form spectrally invariant unital Frecher-*-algebras (Ψ*-algebras) in L(L 2(R n )) and in L(H γ st ) for weighted Sobolev spaces H infγ sup defined via a weight d function γ. In all cases, the Fredholm property of an operator can be characterized by uniform ellipticity of the symbol. This gives a converse to theorems of Grushin and Kumano-Ta-Taniguchi. Both, the spectrum and the Fredholm spectrum of an operator turn out to be independent of the choices of s, t and γ. The characterization of the Fredholm property by uniform ellipticity leads to an index …

A general concept of fuzzy connectives, negations and implications based on t-norms and t-conorms

1983

All known connectives 'and'/'or' for fuzzy sets or some classes can be introduced as t-norms/t-conorms, where Ling's representation theorem is used as a basic tool, and which is illustrated by various known and new examples (Section 2). Given a strict negation function and one connective, the other can be constructed, so that the corresponding De Morgan law is valid. In case of given Archimedean connectives, there can be constructed negation functions (Section 3). Given a non-strict Archimedean connective, a negation function and the other connective can be constructed, so that in addition to the De Morgan laws, the excluded middle law and the law of non-contradiction are valid, i.e. the ne…

Quadratic variation of martingales in Riesz spaces

2014

We derive quadratic variation inequalities for discrete-time martingales, sub- and supermartingales in the measure-free setting of Riesz spaces. Our main result is a Riesz space analogue of Austinʼs sample function theorem, on convergence of the quadratic variation processes of martingales http://www.journals.elsevier.com/journal-of-mathematical-analysis-and-applications/ http://dx.doi.org/10.1016/j.jmaa.2013.08.037 National Research Foundation of South Africa (Grant specific unique reference number (UID) 85672) and by GNAMPA of Italy (U 2012/000574 20/07/2012 and U 2012/000388 09/05/2012)

On the Toeplitz algebras of right-angled and finite-type Artin groups

1999

The graph product of a family of groups lies somewhere between their direct and free products, with the graph determining which pairs of groups commute and which do not. We show that the graph product of quasi-lattice ordered groups is quasi-lattice ordered, and, when the underlying groups are amenable, that it satisfies Nica's amenability condition for quasi-lattice orders. As a consequence the Toeplitz algebras of these groups are universal for covariant isometric representations on Hilbert space, and their representations are faithful if the isometries satisfy a properness condition given by Laca and Raeburn. An application of this to right-angled Artin groups gives a uniqueness theorem …

Schaefer–Krasnoselskii fixed point theorems using a usual measure of weak noncompactness

2012

Abstract We present some extension of a well-known fixed point theorem due to Burton and Kirk [T.A. Burton, C. Kirk, A fixed point theorem of Krasnoselskii–Schaefer type, Math. Nachr. 189 (1998) 423–431] for the sum of two nonlinear operators one of them compact and the other one a strict contraction. The novelty of our results is that the involved operators need not to be weakly continuous. Finally, an example is given to illustrate our results.

2014

Is there a general theorem that tells us when we can hope for exponential speedups from quantum algorithms, and when we cannot? In this paper, we make two advances toward such a theorem, in the black-box model where most quantum algorithms operate. First, we show that for any problem that is invariant under permuting inputs and outputs (like the collision or the element distinctness problems), the quantum query complexity is at least the 9 th root of the classical randomized query complexity. This resolves a conjecture of Watrous from 2002. Second, inspired by recent work of O’Donnell et al. and Dinur et al., we conjecture that every bounded low-degree polynomial has a “highly influential” …

Restriction of odd degree characters and natural correspondences

2016

Let $q$ be an odd prime power, $n &gt; 1$, and let $P$ denote a maximal parabolic subgroup of $GL_n(q)$ with Levi subgroup $GL_{n-1}(q) \times GL_1(q)$. We restrict the odd-degree irreducible characters of $GL_n(q)$ to $P$ to discover a natural correspondence of characters, both for $GL_n(q)$ and $SL_n(q)$. A similar result is established for certain finite groups with self-normalizing Sylow $p$-subgroups. We also construct a canonical bijection between the odd-degree irreducible characters of $S_n$ and those of $M$, where $M$ is any maximal subgroup of $S_n$ of odd index; as well as between the odd-degree irreducible characters of $G = GL_n(q)$ or $GU_n(q)$ with $q$ odd and those of $N_{G}…

On a representation theorem for finitely exchangeable random vectors

2016

A random vector $X=(X_1,\ldots,X_n)$ with the $X_i$ taking values in an arbitrary measurable space $(S, \mathscr{S})$ is exchangeable if its law is the same as that of $(X_{\sigma(1)}, \ldots, X_{\sigma(n)})$ for any permutation $\sigma$. We give an alternative and shorter proof of the representation result (Jaynes \cite{Jay86} and Kerns and Sz\'ekely \cite{KS06}) stating that the law of $X$ is a mixture of product probability measures with respect to a signed mixing measure. The result is "finitistic" in nature meaning that it is a matter of linear algebra for finite $S$. The passing from finite $S$ to an arbitrary one may pose some measure-theoretic difficulties which are avoided by our p…