and Applied Analysis 3 Substituting 2.1 into 1.3 , we have k2φ′′ 2φψ − ( p2 q ) φ − 2λφ2n 1 0, k2 ( 4p2 − 1 ) ψ ′′ k2 ( φ2n )′′ 0. 2.2 Integrating the second equation of 2.2 twice and letting the first integral constant be zero, we have ψ φ2n 1 − 4p2 g, p / 1 2 , 2.3 where g is the second integral constant. Substituting 2.3 into the first equation of 2.2 , we have k2φ′′ ( 2g − p2 − q ) φ 2 ( 1 ...

Many fixed point theorems for mapping satisfies a generalized weak contractive condition is already established. In this paper we also give a result on fixed point for mapping satisfying a weakly contractive condition of integral type.

Let X1,X2, . . . be a discrete-time stochastic process with a distribution Pθ, θ ∈ Θ, where Θ is an open subset of the real line. We consider the problem of testing a simple hypothesis H0 : θ = θ0 versus a composite alternative H1 : θ > θ0, where θ0 ∈ Θ is some fixed point. The main goal of this article is to characterize the structure of locally most powerful sequential tests in this problem. ...

In this paper, we prove common fixed point theorems for minimal commuting mappings satisfying (ψ-φ)-contractive conditions in multiplicative metric spaces. AMS Subject Classification: 47H10, 54H25

In the framework of ordered G-metric spaces, fixed points of maps that satisfy the generalized (ψ, φ)-Chatterjea type contractive conditions are obtained. The results presented in the paper generalize and extend several well known comparable results in the literature.

In this paper, we extend the idea of α-ψ contraction mapping to product spaces by introducing Prešić–Ćirić-type contractions and utilize them prove some coincidence common fixed-point theorems in context ordered metric using α-admissibility mapping. Our newly established results generalize a number well-known from literature. Moreover, give examples that attest credibility our results. Further,...

description of state machine is a model used for describing hardware designs at the RTL. Using ASMs, a data value can be represented by a single variable of abstract type, rather than by a vector of Boolean variables, and a data operation is represented by an uninterpreted function symbol. The model checking method based on a first-order linear-time temporal logic as developed in this paper all...

The purpose of this paper is to obtain an existence result for the integral equation u (t) = φ (t, u (t)) + ∫ b a ψ (t, s, u (s)) ds, t ∈ [a, b] where φ : [a, b]×R → R and ψ : [a, b]× [a, b]×R → R are continuous functions which satisfy some special growth conditions. The main idea is to transform the integral equation into a fixed point problem for a condensing map T : C [a, b] → C [a, b]. The ...