Effective content of the calculus of variations. I: Semi-continuity and the chattering lemma
From MaRDI portal
Publication:1919765
DOI10.1016/0168-0072(95)00034-8zbMath0859.03030WikidataQ124985134 ScholiaQ124985134MaRDI QIDQ1919765
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
differential equations; control theory; constructive analysis; semi-continuity; chattering lemma; relaxed optimal control; computational content; existence theorem in the calculus of variations
03F60: Constructive and recursive analysis
49J45: Methods involving semicontinuity and convergence; relaxation
Related Items
Lp‐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