For Banach spaces X and Y , we consider bifurcation from the line of trivial solutions for the equation F (λ, u) = 0, where F : R × X → Y with F (λ, 0) = 0 for all λ ∈ R. The focus is on the situation where F (λ, ·) is only Hadamard differentiable at 0 and Lipschitz continuous on some open neighbourhood of 0, without requiring any Fréchet differentiability. Applications of the results obtained here to some problems involving nonlinear elliptic equations on R N , where Fréchet differentiability is not available, are presented in some related papers, which shed light on the relevance of our hypotheses.
C. A. StuartIn this case, T is unique and is denoted by M (u), the Hadamard derivative of M at u. Hadamard differentiability is discussed at length in [11, ch. 4]. See also [7] for some comments particularly relevant to our work on bifurcation. It is worth noting that M is Hadamard differentiable at u ∈ X whenever it is Gâteaux differentiable at u and there is an open neighbourhood of u in X on which it is Lipschitz continuous.Here we refer to Gâteaux differentiability in the following form.AThen M (u) = T . For convenience, we now recall the usual notion of differentiability used in most of bifurcation theory.Clearly, Fréchet differentiability implies Hadamard differentiability, which implies Gâteaux differentiability. Finally, we recall a strengthened form of Fréchet differentiability which was used by Bartle and Graves to avoid requiring continuous differentiability in the inverse and implicit function theorems.This implies that M is Fréchet differentiable at u with M (u) = T .
Lipschitz mappingsThe Lipschitz modulus provides a quantity which will be used to formulate a fundamental restriction for our discussion of bifurcation.