In the present paper the definition of invexity for continuous functions is extended to invexity of order m which is further generalized to ρ-pseudoinvexity type I of order m, ρ-pseudoinvexity type II of order m, as well as ρ-quasi invexity type I of order m and ρ-quasiinvexity type II of order m. The central objective of the paper is to study variational problem where the functionals involved ...

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...