the existence of infinitely many solutions is established for a class of nonlinear functionals involving the p-biharmonic operator with nonhomoge- neous neumann boundary conditions. using a recent critical-point theorem for nonsmooth functionals and under appropriate behavior of the nonlinear term and nonhomogeneous neumann boundary conditions, we obtain the result.

Computation Procedures • Abstract Computation Procedures (ACPs), (Feferman 1992); should have been called Abstract Recursion Procedures. • Here structures are specified by (possibly) manysorted domains, individual constants, partial functions, and partial monotonic functionals of type level 2. ACP Computable Functions and Functionals • The ACP schemata are given by Explicit Definition in type l...

Abstract. This paper deals with a class of uncertain nonlinear impulsive switched systems with time-varying delays. A novel type of piecewise Lyapunov functionals is constructed to derive the exponential stability. This type of functionals can efficiently overcome the impulsive and switching jump of adjacent Lyapunov functionals at impulsive switching times. Based on this, a delay-independent s...

We give estimates of the distance between the densities of the laws of two functionals F and G on the Wiener space in terms of the Malliavin-Sobolev norm of F −G. We actually consider a more general framework which allows one to treat with similar (Malliavin type) methods functionals of a Poisson point measure (solutions of jump type stochastic equations). We use the above estimates in order to...

It is shown that the type structure of nite-type functionals associated to a combinatory algebra of partial functions from IN to IN (in the same way as the type structure of the countable functionals is associated to the partial combinatory algebra of total functions from IN to IN), is isomorphic to the type structure generated by object N (the at domain on the natural numbers) in Ehrhard's cat...

In this paper we prove the principle of symmetric criticality for Motreanu–Panagiotopoulos type functionals, i.e., for convex, proper, lower semicontinuous functionals which are perturbed by a locally Lipschitz function. By means of this principle a variational–hemivariational inequality is studied on certain type of unbounded strips. © 2006 Elsevier Inc. All rights reserved.