Effective content of the calculus of variations. I: Semi-continuity and the chattering lemma

DOI10.1016/0168-0072(95)00034-8zbMath0859.03030WikidataQ124985134 ScholiaQ124985134MaRDI QIDQ1919765

Anil Nerode, Xiaolin Ge

Publication date: 10 April 1997

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(95)00034-8

zbMATH Keywords

differential equations; control theory; constructive analysis; semi-continuity; chattering lemma; relaxed optimal control; computational content; existence theorem in the calculus of variations

Mathematics Subject Classification ID

03F60: Constructive and recursive analysis

49J45: Methods involving semicontinuity and convergence; relaxation

Related Items

L^p‐Computability, Approaches to Effective Semi‐Continuity of Real Functions, Computing Uniform Bounds, Computability structure of the Sobolev spaces and its applications, Computability on continuous, lower semi-continuous and upper semi-continuous real functions

Cites Work

• Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operators
• A recursive function, defined on a compact interval and having a continuous derivative that is not recursive
• Computable functionals
• On the definitions of computable real continuous functions
• Recursive metric spaces
• Nicht konstruktiv beweisbare Sätze der Analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item