A sequential implicit function theorem for the chords iteration

2013 ◽  
Vol 63 (5) ◽  
Author(s):  
Diana Nedelcheva

AbstractIn this paper we study the local convergence of the method $$0 \in f\left( {p,x_k } \right) + A\left( {x_{k + 1} - x_k } \right) + F\left( {x_{k + 1} } \right),$$ in order to find the solution of the generalized equation $$find x \in X such that 0 \in f\left( {p,x} \right) + F\left( x \right).$$ We first show that under the strong metric regularity of the linearization of the associated mapping and some additional assumptions regarding dependence on the parameter and the relation between the operator A and the Jacobian $$\nabla _x f\left( {\bar p,\bar x} \right)$$, we prove linear convergence of the method which is uniform in the parameter p. Then we go a step further and obtain a sequential implicit function theorem describing the dependence of the set of sequences of iterates of the parameter.

1998 ◽  
Vol 12 (25) ◽  
pp. 2599-2617 ◽  
Author(s):  
Guo-Hong Yang ◽  
Yishi Duan

In the 4-dimensional gauge field theory of dislocation and disclination continuum, the topological current structure and the topological quantization of disclinations are approached. Using the implicit function theorem and Taylor expansion, the origin and bifurcation theories of disclinations are detailed in the neighborhoods of limit points and bifurcation points, respectively. The branch solutions at the limit points and the different directions of all branch curves at 1-order and 2-order degenerated points are calculated. It is pointed out that an original disclination point can split into four disclinations at one time at most. Since the disclination current is identically conserved, the total topological quantum numbers of these branched disclinations will remain constant during their origin and bifurcation processes. Furthermore, one can see the fact that the origin and bifurcation of disclinations are not gradual changes but sudden changes. As some applications of the proposal theory, two examples are presented in the paper.


2011 ◽  
Vol 14 ◽  
pp. 127-136 ◽  
Author(s):  
H. Diener ◽  
P. Schuster

AbstractWe extract a quantitative variant of uniqueness from the usual hypotheses of the implicit function theorem. Not only does this lead to an a priori proof of continuity, but also to an alternative, full proof of the implicit function theorem. Additionally, we investigate implicit functions as a case of the unique existence paradigm with parameters.


2019 ◽  
Vol 27 (2) ◽  
pp. 117-131
Author(s):  
Kazuhisa Nakasho ◽  
Yasunari Shidama

Summary In this article, we formalize differentiability of implicit function theorem in the Mizar system [3], [1]. In the first half section, properties of Lipschitz continuous linear operators are discussed. Some norm properties of a direct sum decomposition of Lipschitz continuous linear operator are mentioned here. In the last half section, differentiability of implicit function in implicit function theorem is formalized. The existence and uniqueness of implicit function in [6] is cited. We referred to [10], [11], and [2] in the formalization.


2005 ◽  
Vol 2005 (2) ◽  
pp. 169-193 ◽  
Author(s):  
M. Belk ◽  
B. Kazmierczak ◽  
V. Volpert

Existence of reaction-diffusion-convection waves in unbounded strips is proved in the case of small Rayleigh numbers. In the bistable case the wave is unique, in the monostable case they exist for all speeds greater than the minimal one. The proof uses the implicit function theorem. Its application is based on the Fredholm property, index, and solvability conditions for elliptic problems in unbounded domains.


Sign in / Sign up

Export Citation Format

Share Document