Effective content of the calculus of variations. I: Semi-continuity and the chattering lemma (Q1919765): Difference between revisions

The authors consider the existence theorem in the calculus of variations. The semi-continuous functions algorithms have been studied, which allows to obtain an effective version of the ``chattering lemma'' of control theory and differential equations. Thus the computational content of the theory of relaxed optimal control can be explained.

0 references

zbMATH Keywords

chattering lemma

0 references

constructive analysis

0 references

semi-continuity

0 references

existence theorem in the calculus of variations

0 references

control theory

0 references

differential equations

0 references

computational content

0 references

relaxed optimal control

0 references

reviewed by

Pawel Kruszynski

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/0168-0072(95)00034-8

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

Computable functionals

0 references

On the definitions of computable real continuous functions

0 references

0 references

0 references

0 references

0 references

Recursive metric spaces

0 references

A recursive function, defined on a compact interval and having a continuous derivative that is not recursive

0 references

Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operators

0 references

Q3994907

0 references

Q4405392

0 references

Q3819052

0 references

Nicht konstruktiv beweisbare Sätze der Analysis

0 references

Identifiers

zbMATH Open document ID

0859.03030

0 references

DOI

10.1016/0168-0072(95)00034-8

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1919765

@@ Property / author @@
-Anil Nerode
@@ Property / author: Anil Nerode / rank @@
-Normal rank
@@ Property / reviewed by @@
-Pawel Kruszynski
@@ Property / reviewed by: Pawel Kruszynski / rank @@
-Normal rank
@@ Property / author @@
+Anil Nerode
@@ Property / author: Anil Nerode / rank @@
+Normal rank
@@ Property / reviewed by @@
+Pawel Kruszynski
@@ Property / reviewed by: Pawel Kruszynski / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0168-0072(95)00034-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2095367910
@@ Property / OpenAlex ID: W2095367910 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q124985134
@@ Property / Wikidata QID: Q124985134 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3803111
@@ Property / cites work: Q3803111 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3942932
@@ Property / cites work: Q3942932 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3333628
@@ Property / cites work: Q3333628 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085497
@@ Property / cites work: Q4085497 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501143
@@ Property / cites work: Q4501143 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4764108
@@ Property / cites work: Q4764108 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable functionals
@@ Property / cites work: Computable functionals / rank @@
+Normal rank
@@ Property / cites work @@
+On the definitions of computable real continuous functions
+Normal rank
@@ Property / cites work @@
+Q4198699
@@ Property / cites work: Q4198699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002474
@@ Property / cites work: Q4002474 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3227567
@@ Property / cites work: Q3227567 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5720193
@@ Property / cites work: Q5720193 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive metric spaces
@@ Property / cites work: Recursive metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+A recursive function, defined on a compact interval and having a continuous derivative that is not recursive
+Normal rank
@@ Property / cites work @@
+Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operators
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4405392
@@ Property / cites work: Q4405392 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / rank @@
+Normal rank
@@ Property / cites work @@
+Nicht konstruktiv beweisbare Sätze der Analysis
@@ Property / cites work: Nicht konstruktiv beweisbare Sätze der Analysis / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1919765