A Straightforward Sufficiency Proof for a Nonparametric Problem of Bolza in the Calculus of Variations (original) (raw)

Some Regularity Properties on Bolza problems in the Calculus of Variations

Comptes Rendus Mathematique, 2022

The paper summarizes the main core of the last results that we obtained in [4, 8, 17] on the regularity of the value function for a Bolza problem of a one-dimensional, vectorial problem of the calculus of variations. We are concerned with a nonautonomous Lagrangian that is possibly highly discontinuous in the state and velocity variables, nonconvex in the velocity variable and non coercive. The main results are achieved under the assumption that the Lagrangian is convex on the one-dimensional lines of the velocity variable and satisfies a local Lipschitz continuity condition w.r.t. the time variable, known in the literature as Property (S), and strictly related to the validity of the Erdmann-Du-Bois Reymond equation. Under our assumptions, there exists a minimizing sequence of Lipschitz functions. A first consequence is that we can exclude the presence of the Lavrentiev phenomenon. Moreover, under a further mild growth assumption satisfied by the minimal length functional, fully described in the paper, the above sequence may be taken with the same Lipschitz rank, even when the initial datum and initial value vary on a compact set. The Lipschitz regularity of the value function follows.

Constrained variational calculus: the second variation (part I

2010

, the problem of minimality for constrained calculus of variations is analysed among the class of differentiable curves. A fully covariant representation of the second variation of the action functional, based on a suitable gauge transformation of the Lagrangian, is explicitly worked out. Both necessary and sufficient conditions for minimality are proved, and are then reinterpreted in terms of Jacobi fields.

1 Constrained Variational Calculus: The Second Variation

2016

Within the geometrical framework developed in [1], the problem of minimality for constrained calculus of variations is analysed among the class of differentiable curves. A fully covariant representation of the second variation of the action functional, based on a suitable gauge transformation of the Lagrangian, is explicitly worked out. Both necessary and sufficient conditions for minimality are proved, and are then reinterpreted in terms of Jacobi fields.

Fields of Extremals and Sufficient Conditions for the Simplest Problem of the Calculus of Variations in n-Variables

Springer Optimization and Its Applications, 2009

In a 1967 note, Leitmann observed that coordinate transformations may be used to deduce extrema (minimizers or maximizers) of integrals in the simplest problem of the calculus of variations. Subsequently, in a series of papers, starting in 2001, he revived this approach and extended it in a variety of ways. Shortly thereafter, Carlson presented an important generalization of this approach and connected it to Carathéodory's equivalent problem method. This in turn was followed by a number of joint papers addressing applications to dynamic games, multiple integrals, and other related topics. For the simplest vector-valued variables problem of the calculus of variations, making use of the classical notion of fields of extremals, we employ Leitmann's direct method, as extended by Carlson, to present an elementary proof of Weierstrass' sufficiency theorem for strong local and global extrema.

A Proper Extension of Noether's Symmetry Theorem for Nonsmooth Extremals of the Calculus of Variations

Lagrangian and Hamiltonian Methods for Nonlinear …, 2003

For nonsmooth Euler-Lagrange extremals, Noether's conservation laws cease to be valid. We show that Emmy Noether's theorem of the calculus of variations is still valid in the wider class of Lipschitz functions, as long as one restrict the Euler-Lagrange extremals to those which satisfy the DuBois-Reymond necessary condition. In the smooth case all Euler-Lagrange extremals are DuBois-Reymond extremals, and the result gives a proper extension of the classical Noether's theorem. This is in contrast with the recent developments of Noether's symmetry theorems to the optimal control setting, which give rise to non-proper extensions when specified for the problems of the calculus of variations.

On the notion of Jacobi fields in constrained calculus of variations

Communications in Mathematics, 2016

In variational calculus, the minimality of a given functional under arbitrary deformations with fixed end-points is established through an analysis of the so called second variation. In this paper, the argument is examined in the context of constrained variational calculus, assuming piecewise differentiable extremals, commonly referred to as extremaloids. The approach relies on the existence of a fully covariant representation of the second variation of the action functional, based on a family of local gauge transformations of the original Lagrangian and on a set of scalar attributes of the extremaloid, called the corners' strengths [16]. In dis- cussing the positivity of the second variation, a relevant role is played by the Jacobi fields, defined as infinitesimal generators of 1-parameter groups of diffeomorphisms preserving the extremaloids. Along a piecewise differentiable extremal, these fields are generally discontinuous across the corners. A thorough analysis of this poin...

Regularity properties of solutions to the basic problem in the calculus of variations

Transactions of the American Mathematical Society, 1985

This paper concerns the basic problem in the calculus of variations: minimize a functional J J defined by \[ J ( x ) = ∫ a b L ( t , x ( t ) , x ˙ ( t ) ) d t J(x) = \int _a^b {L(t,x(t),\dot x(t))\;dt} \] over a class of arcs x x whose values at a a and b b have been specified. Existence theory provides rather weak conditions under which the problem has a solution in the class of absolutely continuous arcs, conditions which must be strengthened in order that the standard necessary conditions apply. The question arises: What necessary conditions hold merely under hypotheses of existence theory, say the classical Tonelli conditions? It is shown that, given a solution x x , there exists a relatively open subset Ω \Omega of [ a , b ] [a,b] , of full measure, on which x x is locally Lipschitz and satisfies a form of the Euler-Lagrange equation. The main theorem, of which this is a corollary, can also be used in conjunction with various classes of additional hypotheses to deduce the globa...

Existence theorems for parametric problems in the calculus of variations and approximation

Transactions of the American Mathematical Society, 1976

In this paper, we investigate the parametric growth condition which arises in connection with existence theorems for parametric problems of the calculus of variations. In particular, we study conditions under which the length of a curve is dominated in a suitable sense by its "cost". We show that we may restrict our attention to local growth conditions on a particular set. Then we link the growth conditions to a certain approximation problem on this set. Finally, we prove that under suitable topological restrictions related to dimension theory, the local and global problems can be solved.