scholarly journals Solutions to the Hamilton-Jacobi equation for Bolza problems with discontinuous time dependent data

2020 ◽  
Vol 26 ◽  
pp. 66 ◽  
Author(s):  
Julien Bernis ◽  
Piernicola Bettiol
Keyword(s):  
Jacobi Equation ◽  
Lower Semicontinuous ◽  
Generalized Solution ◽  
Lower Semicontinuous Function ◽  
Semicontinuous Function ◽  
Dini Derivative ◽  
Bolza Problems ◽  
Viscosity Sense ◽  
Normal Vectors ◽  
Hamilton Jacobi Equation

We consider a class of optimal control problems in which the cost to minimize comprises both a final cost and an integral term, and the data can be discontinuous with respect to the time variable in the following sense: they are continuous w.r.t. t on a set of full measure and have everywhere left and right limits. For this class of Bolza problems, employing techniques coming from viability theory, we give characterizations of the value function as the unique generalized solution to the corresponding Hamilton-Jacobi equation in the class of lower semicontinuous functions: if the final cost term is extended valued, the generalized solution to the Hamilton-Jacobi equation involves the concepts of lower Dini derivative and the proximal normal vectors; if the final cost term is a locally bounded lower semicontinuous function, then we can show that this has an equivalent characterization in a viscosity sense.

A Characterization of Proximal Subgradient Set-Valued Mappings

1993 ◽  
Vol 36 (1) ◽  
pp. 116-122 ◽  
Author(s):  
R. A. Poliquin
Keyword(s):  
Lower Semicontinuous ◽  
Lower Semicontinuous Function ◽  
Semicontinuous Function ◽  
Set Valued Mapping ◽  
Selection Property ◽  
Set Valued Mappings ◽  
Bounded Below

AbstractIn this paper we tackle the problem of identifying set-valued mappings that are subgradient set-valued mappings. We show that a set-valued mapping is the proximal subgradient mapping of a lower semicontinuous function bounded below by a quadratic if and only if it satisfies a monotone selection property.

scholarly journals Smooth variational principles in Radon-Nikodým spaces

1999 ◽  
Vol 60 (1) ◽  
pp. 109-118 ◽  
Author(s):  
Robert Deville ◽  
Abdelhakim Maaden
Keyword(s):  
Banach Space ◽  
Real Function ◽  
Variational Principles ◽  
Lower Semicontinuous ◽  
Lower Semicontinuous Function ◽  
Semicontinuous Function ◽  
Weakly Continuous ◽  
Fréchet Differentiable

We prove that if f is a real valued lower semicontinuous function on a Banach space X, for which there exist a > 0 and b ∈ ℝ such that f(x) ≥ 2a∥x∥ + b, x ∈ X, and if X has the Radon-Nikody´m property, then for every Ε > 0 there exists a real function φ X such that φ is Fréchet differentiable, ∥φ∥∞ < Ε, ∥φ′∥∞ < Ε, φ′ is weakly continuous and f + φ attains a minimum on X. In addition, if we assume that the norm in X is β-smooth, we can take the function φ = g1 + g2 where g1 is radial and β-smooth, g2 is Fréchet differentiable, ∥g1∥∞ < Ε, ∥g2∥∞ < Ε, ∥g′1∥∞ < Ε, ∥g′1∥∞ < Ε, g′2 is weakly continuous and f + g1 + g2 attains a minimum on X.

scholarly journals PAIRS OF HAHN AND SEPARATELY CONTINUOUS FUNCTION

2021 ◽  
Vol 9 (1) ◽  
pp. 210-229
Author(s):  
O. Maslyuchenko ◽  
A. Kushnir
Keyword(s):  
Continuous Function ◽  
Lower Semicontinuous ◽  
Lower Semicontinuous Function ◽  
Normal Space ◽  
Semicontinuous Function ◽  
Upper Semicontinuous ◽  
Pseudocompact Space ◽  
Upper Semicontinuous Function ◽  
Perfectly Normal Space ◽  
Perfectly Normal

In this paper we continue the study of interconnections between separately continuous function which was started by V. K. Maslyuchenko. A pair (g, h) of functions on a topological space is called a pair of Hahn if g ≤ h, g is an upper semicontinuous function and h is a lower semicontinuous function. We say that a pair of Hahn (g, h) is generated by a function f, which depends on two variables, if the infimum of f and the supremum of f with respect to the second variable equals g and h respectively. We prove that for any perfectly normal space X and non-pseudocompact space Y every pair of Hahn on X is generated by a continuous function on X x Y . We also obtain that for any perfectly normal space X and for any space Y having non-scattered compactification any pair of Hahn on X is generated by a separately continuous function on X x Y .

scholarly journals Asymptotic Behavior of Resolvents of a Convergent Sequence of Convex Functions on Complete Geodesic Spaces

Axioms ◽  
2022 ◽  
Vol 11 (1) ◽  
pp. 21
Author(s):  
Yasunori Kimura ◽  
Keisuke Shindo
Keyword(s):  
Asymptotic Behavior ◽  
Convex Functions ◽  
Lower Semicontinuous ◽  
Convergent Sequence ◽  
Lower Semicontinuous Function ◽  
Semicontinuous Function ◽  
Geodesic Space ◽  
Proper Convex ◽  
Convex Lower Semicontinuous Function ◽  
Sequence Of Functions

The asymptotic behavior of resolvents of a proper convex lower semicontinuous function is studied in the various settings of spaces. In this paper, we consider the asymptotic behavior of the resolvents of a sequence of functions defined in a complete geodesic space. To obtain the result, we assume the Mosco convergence of the sets of minimizers of these functions.

scholarly journals The Order Completion Method for Systems of Nonlinear PDEs: Solutions of Initial Value Problems

2013 ◽  
Vol 2013 ◽  
pp. 1-12
Author(s):  
Jan Harm van der Walt
Keyword(s):  
Initial Value Problems ◽  
Lower Semicontinuous ◽  
Nonlinear Pdes ◽  
Generalized Solutions ◽  
Lower Semicontinuous Function ◽  
Semicontinuous Function ◽  
Initial Condition ◽  
Initial Value ◽  
Extended Sense ◽  
Order Completion

We present an existence result for generalized solutions of initial value problems obtained through the order completion method. The solutions we obtain satisfy the initial condition in a suitable extended sense, and each such solution may be represented in a canonical way through its generalized partial derivatives as nearly finite normal lower semicontinuous function.

scholarly journals Regularisations of convex functions and slicewise suprema

1994 ◽  
Vol 50 (3) ◽  
pp. 481-499
Author(s):  
S. Simons
Keyword(s):  
Banach Space ◽  
Lower Semicontinuous ◽  
Lower Semicontinuous Function ◽  
Lower Envelope ◽  
Semicontinuous Function ◽  
Original Function ◽  
Scalar Multiple ◽  
Proper Convex ◽  
Sublinear Functional ◽  
Convex Lower Semicontinuous Function

For a number of years, there has been interest in the regularisation of a given proper convex lower semicontinuous function on a Banach space, defined to be the episum (=inf-convolution) of the function with a scalar multiple of the norm. There is an obvious geometric way of characterising this regularisation as the lower envelope of cones lying above the graph of the original function. In this paper, we consider the more interesting problem of characterising the regularisation in terms of approximations from below, expressing the regularisation as the upper envelope of certain subtangents to the graph of the original function. We shall show that such an approximation is sometimes (but not always) valid. Further, we shall give an extension of the whole procedure in which the scalar multiple of the norm is replaced by a more general sublinear functional. As a by-product of our analysis, we are led to the consideration of two senses stronger than the pointwise sense in which a function on a Banach space can be expressed as the upper envelope of a family of functions. These new senses of suprema lead to some questions in Banach space theorey.

A Note on Minimal Usco Maps

1991 ◽  
Vol 34 (3) ◽  
pp. 412-416 ◽  
Author(s):  
Andrei Verona ◽  
Maria Elena Verona
Keyword(s):  
Banach Space ◽  
Short Proof ◽  
Lower Semicontinuous ◽  
Baire Space ◽  
Asplund Space ◽  
Lower Semicontinuous Function ◽  
Semicontinuous Function ◽  
Strictly Convex ◽  
Minimal Usco Map ◽  
Weak Asplund Space

AbstractWe prove that the composition of a minimal usco map, defined on a Baire space, with a lower semicontinuous function is single valued and usco at each point of a dense G$ subset of its domain. This extends earlier results of Kenderov and Fitzpatrick. As a first consequence, we prove that a Banach space, with the property that there exists a strictly convex, weak* lower semicontinuous function on its dual, is a weak Asplund space. As a second consequence, we present a short proof of the fact that a Banach space with separable dual is an Asplund space.

scholarly journals Stronger maximal monotonicity properties of linear operators

1999 ◽  
Vol 60 (1) ◽  
pp. 163-174 ◽  
Author(s):  
H.H. Bauschke ◽  
S. Simons
Keyword(s):  
Banach Space ◽  
Monotone Operator ◽  
Maximal Monotone Operator ◽  
Real Banach Space ◽  
Lower Semicontinuous ◽  
Maximal Monotone ◽  
Linear Mapping ◽  
Linear Operators ◽  
Lower Semicontinuous Function ◽  
Semicontinuous Function

The subdifferential mapping associated with a proper, convex lower semicontinuous function on a real Banach space is always a special kind of maximal monotone operator. Specifically, it is always “strongly maximal monotone” and of “type (ANA)”. In an attempt to find maximal monotone operators that do not satisfy these properties, we investigate (possibly discontinuous) maximal monotone linear operators from a subspace of a (possibly nonreflexive) real Banach space into its dual. Such a linear mapping is always “strongly maximal monotone”, but we are only able to prove that is of “type (ANA)” when it is continuous or surjective — the situation in general is unclear. In fact, every surjective linear maximal monotone operator is of “type (NA)”, a more restrictive condition than “type (ANA)”, while the zero operator, which is both continuous and linear and also a subdifferential, is never of “type (NA)” if the underlying space is not reflexive. We examine some examples based on the properties of derivatives.

Some remarks about relaxation problems in the Calculus of Variations

1996 ◽  
Vol 126 (3) ◽  
pp. 665-675 ◽  
Author(s):  
Fabián Flores-Bazán
Keyword(s):  
Differential Operator ◽  
Weak Topology ◽  
Existence Result ◽  
Linear Subspace ◽  
Lower Semicontinuous ◽  
Variational Problems ◽  
Lower Semicontinuous Function ◽  
Semicontinuous Function ◽  
Closed Linear Subspace ◽  
Open Set

We study variational problems for the functional F(u) = ∫Ω f(x, u(x), Lu(x)) dx where u∈uo + V, with Vbeing any closed linear subspace of W2.P(Ω) containing W2.p.0(Ω), Ω is a bounded open set, p > 1, L is a differential operator of second order. We determine the greatest lower semicontinuous function majorised by F for the weak topology of W2.p, for its sequential version if f satisfies no coercivity assumption, showing that in both cases the relaxed functional is expressed in terms of the function ξ↦ f**(x, u, ξ). Finally, an existence result in case f (not necessarily convex) depending only on the Laplacian, is given

Sign in / Sign up

Export Citation Format

Share Document