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

In this paper, we will address a problem raised by Bauer, Escardó and Simpson. We define two hierarchies of total, continuous functionals over the reals based on domain theory, one based on an “extensional” representation of the reals and the other on an “intensional” representation. The problem is if these two hierarchies coincide. We will show that this coincidence problem is equivalent to th...

We construct the time evolution for states of Glauber dynamics for a spatial infinite particle system in terms of generating functionals. This is carried out by an Ovsjannikov-type result in a scale of Banach spaces, leading to a local (in time) solution which, under certain initial conditions, might be extended to a global one. An application of this approach to Vlasov-type scaling in terms of...