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.

We prove that every irreducible, admissible representation π of GSp(4, F ), where F is a non-archimedean local field of characteristic zero, admits a Bessel functional, provided π is not onedimensional. If π is not supercuspidal, we explicitly determine the set of all Bessel functionals admitted by π, and prove that Bessel functionals of a fixed type are unique. If π is supercuspidal, we do the...

<abstract><p>The approximation in the sense of $ \Gamma $-convergence nonisotropic Griffith-type functionals, with p- $growth ($ p > 1 $) symmetrized gradient, by means a suitable sequence non-local convolution type functionals defined on Sobolev spaces, is analysed.</p></abstract>

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.

Several Glimm-type functionals for (piecewise smooth) approximate solutions of nonlinear hyperbolic systems have been introduced in recent years. In this paper, following a work by Baiti and Bressan on genuinely nonlinear systems we provide a framework to prove that such functionals can be extended to general functions with bounded variation and we investigate their lower semi-continuity proper...

Many science and engineering problems can be formulated as optimization problems that are governed by m-flow type PDEs (multitime evolution systems) and by cost functionals expressed as curvilinear integrals or multiple integrals. Though these functionals are mathematically equivalent on m-intervals, their meaning is totally different in real life problems. Our paper discusses the m-flow type P...

We describe a constructive theory of computable functionals, based on the partial continuous functionals as their intendend domain. Such a task had long ago been started by Dana Scott [28], under the well-known abbreviation LCF. However, the prime example of such a theory, Per Martin-Löf’s type theory [24] in its present form deals with total (structural recursive) functionals only. An early at...

We prove that the sequential functionals of some fixed types at type level 2, taking finite sequences of unary functions as arguments, do form a directed complete partial ordering. This gives a full characterisation of for which types the partially ordered set of sequential functionals has this property. As a tool, we prove a normal form theorem for the finite sequential functionals of the type...

We prove that the sequential functionals of some fixed types at type level 2, taking finite sequences of unary functions as arguments, form a directed complete partial ordering. This gives a full characterisation of the types for which the partially ordered set of sequential functionals has this property. As a tool, we prove a normal form theorem for the finite sequential functionals of the typ...