Search results for "Condition"
showing 10 items of 2530 documents
Sobolev embeddings, extensions and measure density condition
2008
AbstractThere are two main results in the paper. In the first one, Theorem 1, we prove that if the Sobolev embedding theorem holds in Ω, in any of all the possible cases, then Ω satisfies the measure density condition. The second main result, Theorem 5, provides several characterizations of the Wm,p-extension domains for 1<p<∞. As a corollary we prove that the property of being a W1,p-extension domain, 1<p⩽∞, is invariant under bi-Lipschitz mappings, Theorem 8.
Centering and Compound Conditionals under Coherence
2016
There is wide support in logic , philosophy , and psychology for the hypothesis that the probability of the indicative conditional of natural language, \(P(\textit{if } A \textit{ then } B)\), is the conditional probability of B given A, P(B|A). We identify a conditional which is such that \(P(\textit{if } A \textit{ then } B)= P(B|A)\) with de Finetti’s conditional event, B|A. An objection to making this identification in the past was that it appeared unclear how to form compounds and iterations of conditional events. In this paper, we illustrate how to overcome this objection with a probabilistic analysis, based on coherence, of these compounds and iterations. We interpret the compounds a…
A Mönch type fixed point theorem under the interior condition
2009
Abstract In this paper we show that the well-known Monch fixed point theorem for non-self mappings remains valid if we replace the Leray–Schauder boundary condition by the interior condition. As a consequence, we obtain a partial generalization of Petryshyn's result for nonexpansive mappings.
Unconditional Basis and Gordon–Lewis Constants for Spaces of Polynomials
2001
Abstract No infinite dimensional Banach space X is known which has the property that for m ⩾2 the Banach space of all continuous m -homogeneous polynomials on X has an unconditional basis. Following a program originally initiated by Gordon and Lewis we study unconditionality in spaces of m -homogeneous polynomials and symmetric tensor products of order m in Banach spaces. We show that for each Banach space X which has a dual with an unconditional basis ( x * i ), the approximable (nuclear) m -homogeneous polynomials on X have an unconditional basis if and only if the monomial basis with respect to ( x * i ) is unconditional. Moreover, we determine an asymptotically correct estimate for the …
Conditioning for Boolean Subsets, Indicator Functions and Fuzzy Subsets
2016
This chapter deals with measure-free conditioning. It starts with the mean value based definition of conditional fuzzy subsets which again gives a fuzzy subset. Applying this general construction to indicator functions, it is proved that these conditionals form an MV-algebra and that this is isomorphic to the already known MV-algebra of the interval based conditional Boolean subsets. In the following, the problem of iteration is completely solved with the result that there are exactly two types of iteration, called the blurred resp. the sharper one, which remain in the corresponding MV-algebras. Moreover, the general concept of conditional operators plays a significant role. Finally, the pr…
On fixed points for a–n–f-contractive multi-valued mappings in partial metric spaces
2015
Recently, Samet et al. introduced the notion of α-ψ-contractive type mappings and established some fixed point theorems in complete metric spaces. Successively, Asl et al. introduced the notion of αӿ-ψ-contractive multi-valued mappings and gave a fixed point result for these multivalued mappings. In this paper, we establish results of fixed point for αӿ-admissible mixed multivalued mappings with respect to a function η and common fixed point for a pair (S; T) of mixed multi-valued mappings, that is, αӿ-admissible with respect to a function η in partial metric spaces. An example is given to illustrate our result.
Rank structured approximation method for quasi--periodic elliptic problems
2016
We consider an iteration method for solving an elliptic type boundary value problem $\mathcal{A} u=f$, where a positive definite operator $\mathcal{A}$ is generated by a quasi--periodic structure with rapidly changing coefficients (typical period is characterized by a small parameter $\epsilon$) . The method is based on using a simpler operator $\mathcal{A}_0$ (inversion of $\mathcal{A}_0$ is much simpler than inversion of $\mathcal{A}$), which can be viewed as a preconditioner for $\mathcal{A}$. We prove contraction of the iteration method and establish explicit estimates of the contraction factor $q$. Certainly the value of $q$ depends on the difference between $\mathcal{A}$ and $\mathcal…
Berinde mappings in orbitally complete metric spaces
2011
Abstract We give a fixed point theorem for a self-mapping satisfying a general contractive condition of integral type in orbitally complete metric spaces. Some examples are given to illustrate our obtained result.
Amount of Nonconstructivity in Finite Automata
2009
When D. Hilbert used nonconstructive methods in his famous paper on invariants (1888), P.Gordan tried to prevent the publication of this paper considering these methods as non-mathematical. L. E. J. Brouwer in the early twentieth century initiated intuitionist movement in mathematics. His slogan was "nonconstructive arguments have no value for mathematics". However, P. Erdos got many exciting results in discrete mathematics by nonconstructive methods. It is widely believed that these results either cannot be proved by constructive methods or the proofs would have been prohibitively complicated. R.Freivalds [7] showed that nonconstructive methods in coding theory are related to the notion of…
Multi-valued F-contractions and the solution of certain functional and integral equations
2013
Wardowski [Fixed Point Theory Appl., 2012:94] introduced a new concept of contraction and proved a fixed point theorem which generalizes Banach contraction principle. Following this direction of research, we will present some fixed point results for closed multi-valued F-contractions or multi-valued mappings which satisfy an F-contractive condition of Hardy-Rogers-type, in the setting of complete metric spaces or complete ordered metric spaces. An example and two applications, for the solution of certain functional and integral equations, are given to illustrate the usability of the obtained results.