‎in this paper we study the existence of nontrivial‎ solutions for a variational inequality on the half-line‎. ‎our‎ ‎approach is based on the non-smooth critical point theory‎ ‎for szulkin-type functionals.

 ‎In this paper we study the existence of nontrivial‎ solutions for a variational inequality on the half-line‎. ‎Our‎ ‎approach is based on the non-smooth critical point theory‎ ‎for Szulkin-type functionals.

Employing a three critical points theorem, we prove the existence ofmultiple solutions for a class of Neumann two-point boundary valueSturm-Liouville type equations. Using a local minimum theorem fordifferentiable functionals the existence of at least one non-trivialsolution is also ensured.

In this paper a procedure for construction of complete type Lyapunov–Krasovskii functionals for a scalar neutral type time delay equation is considered. The construction of the functionals depends on the so-called Lyapunov functions which satisfy a delay equation with additional boundary conditions. It is shown that these functionals admit lower and upper quadratic bounds. Exponential estimates...

s of courses Giovanni ALBERTI “Concentration phenomena for functionals of Ginzburg-Landau type. A variational approach” In these lectures I will describe an approach by Γ-convergence to certain concentration phenomena for minimizers of functionals of Ginzburg-Landau type, as developped in [ABO2] and [JS]. Consider the functionals

We define notions of resource-bounded continuity and sequentiality for type-two functionals with total inputs, and prove that there are continuous functionals which cannot be efficiently simulated by sequential functionals. We also show that for some naturally-defined classes of continuous functionals, an efficient simulation is possible.

We provide a natural characterization of the type two Mehlhorn-CookUrquhart basic feasible functionals as the provably total type two functionals of our (classical) applicative theory PT introduced in [30], thus providing a proof of a result claimed in the conclusion of [30]. This further characterization of the basic feasible functionals underpins their importance as a key candidate for the no...