Table of Contents
Fetching ...

Normality and Gap Phenomena in Optimal Unbounded Control

Monica Motta, Franco Rampazzo, Richard Vinter

Abstract

Optimal unbounded control problems with affine control dependence may fail to have minimizers in the class of absolutely continuous state trajectories. For this reason, extended impulsive versions --which cannot be of measure-theoretical type-- have been investigated, in which the domain is enlarged to include discontinuous state trajectories of bounded variation, and for which existence of minimizers is guaranteed. It is of interest to know whether the passage from the original optimal control problem to its extension introduces an infimum gap. This paper provides sufficient conditions for the absence of an infimum gap based on normality of extremals. In certain cases, the normality conditions reduce to simple verifiable criteria, which improve on earlier, directly-derived sufficient conditions for no infimum gap.

Normality and Gap Phenomena in Optimal Unbounded Control

Abstract

Optimal unbounded control problems with affine control dependence may fail to have minimizers in the class of absolutely continuous state trajectories. For this reason, extended impulsive versions --which cannot be of measure-theoretical type-- have been investigated, in which the domain is enlarged to include discontinuous state trajectories of bounded variation, and for which existence of minimizers is guaranteed. It is of interest to know whether the passage from the original optimal control problem to its extension introduces an infimum gap. This paper provides sufficient conditions for the absence of an infimum gap based on normality of extremals. In certain cases, the normality conditions reduce to simple verifiable criteria, which improve on earlier, directly-derived sufficient conditions for no infimum gap.

Paper Structure

This paper contains 11 sections, 10 theorems, 121 equations.

Key Result

Theorem 1.1

Consider the optimal control problem intro1 and its extended sense formulation introextended. Assume that some minimizer for $(P_{e})$ is a normal extremal. Then there is no infimum gap.

Theorems & Definitions (33)

  • Theorem 1.1
  • Definition 1.1
  • Definition 1.2
  • Remark 2.1
  • Definition 2.1: Strict sense processes
  • Definition 2.2: Local and global strict sense minimizers
  • Definition 2.3: Extended Sense Processes
  • Remark 2.2
  • Lemma 2.1
  • Definition 2.4
  • ...and 23 more