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

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

Xiaolin Ge, Anil Nerode

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 equationscontrol theoryconstructive analysissemi-continuitychattering lemmarelaxed optimal controlcomputational contentexistence theorem in the calculus of variations

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Methods involving semicontinuity and convergence; relaxation (49J45)

Related Items (5)

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

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

This page was built for publication: Effective content of the calculus of variations. I: Semi-continuity and the chattering lemma