[PDF] Top 20 Location results: an under used tool in higher order boundary value problems

... Lower and upper solutions method is often used to prove the existence and/or multi- plicity of solution for several types of boundary value problems in different areas, theory and appli[r] ... See full document

... obtain an existence criterion based on the existence of a pair of coupled lower and upper ...problem. In our problem, both the differential equation and the boundary conditions may have dependence on ... See full document

... convenient tool to deal with delayed and non-delayed Herglotz type variational ...problems. In this work we have shown how some of the central results from the classical calculus of variations ... See full document

... changes in their states. These kinds of processes naturally occur in control theory, biology, optimization theory, medicine, and so on (see [6, 10, 28, ...interest in the investigation for ... See full document

... fundamental tool of the calculus of variations [ 11 ], optimal control [ 8 , 9 , 10 ] and modern theoretical physics [ 1 ...when an optimal control problem is invariant under a one parameter family ... See full document

... the boundary conditions to ensure the existence of ...the location of the solution and its qualitative ...dependence in the boundary conditions, this work generalizes several results ... See full document

... impulsive boundary value prob- lems composed by a fully differential equation, which higher order contains an increasing homeomorphism, by two point boundary conditions and ... See full document

... is an existence and location theorem, as is usual in using the lower and upper solution ...However, in this case, the strips are bounded by well ordered (or reverse ordered) lower and upper ... See full document

... is an existence and location theorem, meaning that it is provided not only the existence of a solution but also its localization in an adequate strip, and for the first and second derivatives ... See full document

... presented in 2005 by Cesar Rego [100], based on exploring the primal-dual relationship, for solving complex optimization ...principles in the primal side and relaxation techniques on the dual ...effort ... See full document

... followed in this paper allow more general nonlinearities, namely, f does not need to have a sublinear growth in y 0 , ...(as in (A 1 )) or change sign (as in (A 2 )). In fact, condition ... See full document

... know, an analysis of parameter dependence has never been applied to problems with functional boundary conditions, as in ...dependence in the solution of the equation on the ... See full document

... arguments used were suggested by several papers namely [4], applied to second order periodic problems [11], to third order three points boundary value problems [5–7], for ... See full document

... interested in the existence of the solution for problem (1)-(2) under the condition αη(η+1) 2(T +1) = 1, which is a resonant ...intermediate value theorems and Schaefer’s fixed point theorem, we ... See full document

... 1]. In a similar way, we can show that u (n−1) (x) > −R for every x ∈ [0, ...proves an existence and uniqueness result for a problem related to ( 1 – 2 ... See full document

... engineering boundary-value ...applicability in chemical engineering are widely reported in research articles and books, ...cases in which applicability of the mentioned methods is ... See full document

... Graef, J, Kong, L, Minhós, F, Fialho, J: On lower and upper solutions method for higher order functional boundary 21 value problems.. Mawhin, J: Topological Degree Methods in Nonlinear B[r] ... See full document

... order p. The fractional integral boundary conditions were introduced recently in [24]. Nonlocal conditions were initiated by Bitsadze [16]. As remarked by Byszewski [18–20], the nonlocal condition ... See full document

... (or, in short, is Fred- holm) if the dimension of its kernel is finite, the operator has a closed image, and the codimension of the image is also ...operator in the Banach space set- ting of ... See full document

... study an extension of the Damas-Milner system, in which overloaded functions can be ...predicate used in a single inference ...than in similar systems. Type annotations are not ... See full document