Kantorovich-type semilocal convergence analysis for inexact Newton methods

We provide a new semilocal convergence analysis for generating an inexact Newton method converging to a solution of a nonlinear equation in a Banach space setting. Our analysis is based on our idea of recurrent functions. Our results are compared favorably to earlier ones by others and us (Argyros (2007, 2009) [5] and [6], Argyros and Hilout (2009) [7], Guo (2007) [15], Shen and Li (2008) [18], Li and Shen (2008) [19], Shen and Li (2009) [20]). Numerical examples are provided to show that our results apply, but not earlier ones [15], [18], [19] and [20].     

Some common fixed point theorems for Banach operator pairs with applications in best approximation

The ordered pair (T,I) of two self-maps of a metric space (X,d) is called a Banach operator pair if the set F(I) of fixed points of I is T-invariant i.e. T(F(I))⊆F(I). Some common fixed point theorems for a Banach operator pair and the existence of common fixed points of best approximation are presented in this paper. The results prove, generalize and extend some results of Al-Thagafi [M.A. Al-Thagafi, Common fixed points and best approximation, J. Approx. Theory 85 (1996) 318-323], Carbone [A. Carbone, Applications of fixed point theorems, Jnanabha 19 (1989) 149-155], Chen and Li [J. Chen, Z. Li, Common fixed points for Banach operator pairs in best approximations, J. Math. Anal. Appl. 336 (2007) 1466-1475], Habiniak [L. Habiniak, Fixed point theorems and invariant approximation, J. Approx. Theory 56 (1989) 241-244], Jungck and Sessa [G. Jungck, S. Sessa, Fixed point theorems in best approximation theory, Math. Japon. 42 (1995) 249-252], Sahab, Khan and Sessa [S.A. Sahab, M.S. Khan, S. Sessa, A result in best approximation theory, J. Approx. Theory 55 (1988) 349-351], Shahzad [N. Shahzad, Invariant approximations and R-subweakly commuting maps, J. Math. Anal. Appl. 257 (2001) 39-45] and of few others.     

Extending the Newton-Kantorovich hypothesis for solving equations

The famous Newton-Kantorovich hypothesis (Kantorovich and Akilov, 1982 [3], Argyros, 2007 [2], Argyros and Hilout, 2009 [7]) has been used for a long time as a sufficient condition for the convergence of Newton’s method to a solution of an equation in connection with the Lipschitz continuity of the Fréchet-derivative of the operator involved. Here, using Lipschitz and center-Lipschitz conditions, and our new idea of recurrent functions, we show that the Newton-Kantorovich hypothesis can be weakened, under the same information. Moreover, the error bounds are tighter than the corresponding ones given by the dominating Newton-Kantorovich theorem (Argyros, 1998 [1]; [2] and [7]; Ezquerro and Hernández, 2002 [11]; [3]; Proinov 2009, 2010 [16] and [17]).Numerical examples including a nonlinear integral equation of Chandrasekhar-type (Chandrasekhar, 1960 [9]), as well as a two boundary value problem with a Green’s kernel (Argyros, 2007 [2]) are also provided in this study.     

Analysis of a semigroup approach in the inverse problem of identifying an unknown parameters

This article presents a semigroup approach to the mathematical analysis of the inverse parameter problems of identifying the unknown parameters p(t) and q in the linear parabolic equation u_t(x, t)  = u_xx + qu_x(x, t) + p(t)u(x, t), with Dirichlet boundary conditions u(0, t) = ψ₀, u(1, t) = ψ₁. The main purpose of this paper is to investigate the distinguishability of the input-output mapping Φ[·]:P→H^1,2[0,T], via semigroup theory. In this paper, it is shown that if the nullspace of the semigroup T(t) consists of only zero function, then the input-output mapping Φ[·] has the distinguishability property. It is also shown that the types of the boundary conditions and the region on which the problem is defined play an important role in the distinguishability property of the mapping. Moreover, under the light of the measured output data u_x(0, t) = f(t) the unknown parameter p(t) at (x, t) = (0, 0) and the unknown coefficient q are determined via the input data. Furthermore, it is shown that measured output data f(t) can be determined analytically by an integral representation. Hence the input-output mapping Φ[·]:P→H^1,2[0,T] is given explicitly interms of the semigroup.     

Fixed point theorems for some generalized multivalued nonexpansive mappings

In this paper, we introduce a condition on multivalued mappings which is a multivalued version of condition (C_λ) defined by Garcia-Falset et al. (2011) [3]. It is shown here that some of the classical fixed point theorems for multivalued nonexpansive mappings can be extended to mappings satisfying this condition. Our results generalize the results in Lim (1974), Lami Dozo (1973), Kirk and Massa (1990), Garcia-Falset et al. (2011), Dhompongsa et al. (2009) and Abkar and Eslamian (2010) [4], [5], [6], [3], [7] and [8] and many others.     

Approximation of signals of class Lip(α, p) by linear operators

Mittal, Rhoades [5], [6], [7] and [8] and Mittal et al. [9] and [10] have initiated a study of error estimates E_n(f) through trigonometric-Fourier approximation (tfa) for the situations in which the summability matrix T does not have monotone rows. In this paper we continue the work. Here we extend two theorems of Leindler [4], where he has weakened the conditions on {p_n} given by Chandra [2], to more general classes of triangular matrix methods. Our Theorem also partially generalizes Theorem 4 of Mittal et al. [11] by dropping the monotonicity on the elements of matrix rows, which in turn generalize the results of Quade [15].     

Strong convergence theorems obtained by a generalized projections hybrid method for families of mappings in Banach spaces

Let C be a nonempty, closed and convex subset of a uniformly convex and smooth Banach space and let {T_n} be a family of mappings of C into itself such that the set of all common fixed points of {T_n} is nonempty. We consider a sequence {x_n} generated by the hybrid method by generalized projection in mathematical programming. We give conditions on {T_n} under which {x_n} converges strongly to a common fixed point of {T_n} and generalize the results given in [12], [14], [13] and [11].     

Splitting trees with neutral Poissonian mutations I: Small families

We consider a neutral dynamical model of biological diversity, where individuals live and reproduce independently. They have i.i.d. lifetime durations (which are not necessarily exponentially distributed) and give birth (singly) at constant rate b. Such a genealogical tree is usually called a splitting tree [9], and the population counting process (N_t;t≥0) is a homogeneous, binary Crump-Mode-Jagers process.We assume that individuals independently experience mutations at constant rate θ during their lifetimes, under the infinite-alleles assumption: each mutation instantaneously confers a brand new type, called an allele, to its carrier. We are interested in the allele frequency spectrum at time t, i.e., the number A(t) of distinct alleles represented in the population at time t, and more specifically, the numbers A(k,t) of alleles represented by k individuals at time t, k=1,2,…,N_t.We mainly use two classes of tools: coalescent point processes, as defined in [15], and branching processes counted by random characteristics, as defined in [11] and [13]. We provide explicit formulae for the expectation of A(k,t) conditional on population size in a coalescent point process, which apply to the special case of splitting trees. We separately derive the a.s. limits of A(k,t)/N_t and of A(t)/N_t thanks to random characteristics, in the same vein as in [19].Last, we separately compute the expected homozygosity by applying a method introduced in [14], characterizing the dynamics of the tree distribution as the origination time of the tree moves back in time, in the spirit of backward Kolmogorov equations.     

Fine spectra of upper triangular double-band matrices

The fine spectra of lower triangular double-band matrices have been examined by several authors (e.g. [13] and [22]). Here we determine the fine spectra of upper triangular double-band matrices over the sequence spaces c₀ and c. Upper triangular double-band matrices are infinite matrices which include the left-shift, averaging and difference operators.     

On recent developments in the theory of abstract differential equations with fractional derivatives

This note is motivated from some recent papers treating the problem of the existence of a solution for abstract differential equations with fractional derivatives. We show that the existence results in [Agarwal et al. (2009) [1], Belmekki and Benchohra (2010) [2], Darwish et al. (2009) [3], Hu et al. (2009) [4], Mophou and N’Guérékata (2009) [6] and [7], Mophou (2010) [8] and [9], Muslim (2009) [10], Pandey et al. (2009) [11], Rashid and El-Qaderi (2009) [12] and Tai and Wang (2009) [13]] are incorrect since the considered variation of constant formulas is not appropriate. In this note, we also consider a different approach to treat a general class of abstract fractional differential equations.     

Strong convergence of iterative methods by strictly pseudocontractive mappings in Banach spaces

In this paper we deal with fixed point computational problems by strongly convergent methods involving strictly pseudocontractive mappings in smooth Banach spaces. First, we prove that the S-iteration process recently introduced by Sahu in [14] converges strongly to a unique fixed point of a mapping T, where T is κ-strongly pseudocontractive mapping from a nonempty, closed and convex subset C of a smooth Banach space into itself. It is also shown that the hybrid steepest descent method converges strongly to a unique solution of a variational inequality problem with respect to a finite family of λ_i-strictly pseudocontractive mappings from C into itself. Our results extend and improve some very recent theorems in fixed point theory and variational inequality problems. Particularly, the results presented here extend some theorems of Reich (1980) [1] and Yamada (2001) [15] to a general class of λ-strictly pseudocontractive mappings in uniformly smooth Banach spaces.     

A new iterative algorithm for common solutions of a finite family of accretive operators

The purpose in this paper is to prove a theorem of strong convergence to a common solution for a finite family of accretive operators in a strictly convex Banach space by means of a new iterative algorithm, which is a generalization and extension of the results of Kim and Xu [T.H. Kim, H.K. Xu, Strong convergence of modified Mann iterations, Nonlinear Anal. 61 (2005) 51–60], and Zegeye and Shahzad [H. Zegeye, N. Shahzad, Strong convergence theorems for a common zero of a finite family of m-accretive mappings, Nonlinear Anal. 66 (2007) 1161–1169]. Further using the result, the theorem of strong convergence to a common fixed point is discussed for a finite family of pseudocontractive mappings under certain conditions.     

Endpoints of set-valued contractions in metric spaces

Suppose (X,d) be a complete metric space, and suppose F:X→CB(X) be a set-valued map satisfies H(Fx,Fy)≤ψ(d(x,y)), , where ψ:[0,∞)→[0,∞) is upper semicontinuous, ψ(t)<t for each t>0 and satisfies lim inf_t→∞(t−ψ(t))>0. Then F has a unique endpoint if and only if F has the approximate endpoint property.     

Convergence and certain control conditions for hybrid viscosity approximation methods

Very recently, Yao, Chen and Yao [20] proposed a hybrid viscosity approximation method, which combines the viscosity approximation method and the Mann iteration method. Under the convergence of one parameter sequence to zero, they derived a strong convergence theorem in a uniformly smooth Banach space. In this paper, under the convergence of no parameter sequence to zero, we prove the strong convergence of the sequence generated by their method to a fixed point of a nonexpansive mapping, which solves a variational inequality. An appropriate example such that all conditions of this result are satisfied and their condition β_n→0 is not satisfied is provided. Furthermore, we also give a weak convergence theorem for their method involving a nonexpansive mapping in a Hilbert space.     

A finite difference solution to a two-dimensional parabolic inverse problem

In this paper, we consider the problem of finding u = u(x, y, t) and p = p(t) which satisfy u_t = u_xx + u_yy + p(t)u + ? in R × [0, T], u(x, y, 0) = f(x, y), (x, y) ∈ R = [0, 1] × [0, 1], u is known on the boundary of R and u(x^∗, y^∗, t) = E(t), 0 < t ? T, where E(t) is known and (x^∗, y^∗) is a given point of R. Through a function transformation, the nonlinear two-dimensional diffusion problem is transformed into a linear problem, and a backward Euler scheme is constructed. It is proved by the maximum principle that the scheme is uniquely solvable, unconditionally stable and convergent in L_∞ norm. The convergence orders of u and p are of O(τ + h²). The impact of initial data errors on the numerical solution is also considered. Numerical experiments are presented to illustrate the validity of the theoretical results.     

A new topological degree theory for perturbations of the sum of two maximal monotone operators

Let X be an infinite dimensional real reflexive Banach space with dual space X^∗ and G⊂X, open and bounded. Assume that X and X^∗ are locally uniformly convex. Let T:X⊃D(T)→2^X∗ be maximal monotone and strongly quasibounded, S:X⊃D(S)→X^∗ maximal monotone, and C:X⊃D(C)→X^∗ strongly quasibounded w.r.t. S and such that it satisfies a generalized (S₊)-condition w.r.t. S. Assume that D(S)=L⊂D(T)∩D(C), where L is a dense subspace of X, and 0∈T(0),S(0)=0. A new topological degree theory is introduced for the sum T+S+C, with degree mapping d(T+S+C,G,0). The reason for this development is the creation of a useful tool for the study of a class of time-dependent problems involving three operators. This degree theory is based on a degree theory that was recently developed by Kartsatos and Skrypnik just for the single-valued sum S+C, as above.     

Note on “Coupled fixed point theorems for contractions in fuzzy metric spaces”

In the paper “Coupled fixed point theorems for contractions in fuzzy metric spaces” by Sedghi et al. [S. Sedghi, I. Altun, N. Shobec, Coupled fixed point theorems for contractions in fuzzy metric spaces, Nonlinear Analysis 72 (2010) 1298-1304], a coupled common fixed point result was presented. However, our purpose is to show that this result and its proof are false. We give a counterexample and also explain how to correct this result. As a modification, we state and prove a coupled fixed point theorem under some hypotheses of fuzzy metric and t-norm.     

Uniqueness of positive radial solutions for quasilinear elliptic equations in an annulus

Extending a previous result of Tang [1] we prove the uniqueness of positive radial solutions of Δ_pu+f(u)=0, subject to Dirichlet boundary conditions on an annulus in Rⁿ with 2<p≤n, under suitable hypotheses on the nonlinearity f. This argument also provides an alternative proof for the uniqueness of positive solutions of the same problem in a finite ball (see [9]), in the complement of a ball or in the whole space Rⁿ (see [10], [3] and [11]).