In this paper we consider positively 1-homogeneous supremal functionals of the type F (u) := supΩ f(x,∇u(x)). We prove that the relaxation F̄ is a difference quotient, that is F̄ (u) = RF (u) := sup x,y∈Ω, x6=y u(x)− u(y) dF (x, y) for every u ∈ W (Ω), where dF is a geodesic distance associated to F . Moreover we prove that the closure of the class of 1-homogeneous supremal functionals with respe...

We consider homogenization of sequences of integral functionals of the type

This paper investigates analogs of the Kreisel-Lacombe-Shoenfield Theorem in the context of the type-2 basic feasible functionals. We develop a direct, polynomial-time analog of effective operation in which the time boundingon computations is modeled after Kapron and Cook’s scheme for their basic polynomial-time functionals. We show that if P = NP, these polynomial-time effective operations are...

We consider two applications of recursive functionals. The first application concerns Gödel’s theory T , which provides a rudimentary foundation for the formalization of mathematics. T can be understood as a theory of the simply-typed lambda calculus that is extended to include the constant 0N, the successor function S, and the operator Rτ for primitive recursion on objects of type τ . It is kn...

This paper investigates analogs of the Kreisel-Lacombe-Shoenfield Theorem in the context of the type-2 basic feasible functionals. We develop a direct, polynomial-time analog of effective operation in which the time boundingon computations is modeled after Kapron and Cook’s scheme for their basic polynomial-time functionals. We show that if P = NP, these polynomial-time effective operations are...

In this paper we give a geometric condition which ensures that (q, p)-Poincaré-Sobolev inequalities are implied from generalized (1, 1)-Poincaré related to L1 norms in the context of product spaces. The concept eccentricity plays central role paper. We provide several type adapted different geometries and then show our self-improving method can be applied obtain special interesting Poincaré-Sob...

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 multiple integrals or curvilinear integrals. Our paper discuss the m-flow type PDEconstrained optimization problems, focussing on a simplified multitime maximum principle. This extends the simplified single-time...