Publikation: Iterated rings of bounded elements and generalizations of Schmüdgen's theorem
Dateien
Datum
Autor:innen
Herausgeber:innen
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
URI (zitierfähiger Link)
Internationale Patentnummer
Link zur Lizenz
Angaben zur Forschungsförderung
Projekt
Open Access-Veröffentlichung
Sammlungen
Core Facility der Universität Konstanz
Titel in einer weiteren Sprache
Publikationstyp
Publikationsstatus
Erschienen in
Zusammenfassung
We consider a commutative algebra over the reals
of finite transcendence degree.
We call an element of it (geometrically) bounded
if its square is bounded by a natural number on
the whole real spectrum. We call it arithmetically
bounded if the distance to the bound can even be
described by a sum of squares of elements.
In 1991, Schmüdgen proved in the case in which the
algebra is finitely generated: If every element
is geometrically bounded, then every element is
even arithmetically bounded. This implies
Schmüdgen's well-known Positivstellensatz which
is used in optimization.
In 1996, Becker and Powers considered the
decreasing chain of iterated rings of bounded
elements and showed that it becomes stable
at the latest after the iteration given by the
transcendence degree.
In 1998, Monnier related both results and
conjectured that this stable object contains
exactly the arithmetically bounded elements. We
prove this conjecture. An important application
is the following generalization of Schmüdgen's
Positivstellensatz: If an element is 'small at
infinity' and nonnegative, then it becomes a sum
of squares after adding an arbitrary small
positive real number.
Zusammenfassung in einer weiteren Sprache
Wir betrachten eine kommutative Algebra über den
reellen Zahlen von endlichem Transzendenzgrad.
Ein Element davon nennen wir (geometrisch)
beschränkt, wenn sein Quadrat auf dem gesamten
reellen Spektrum durch eine natürliche Zahl nach
oben beschränkt ist. Wir nennen es arithmetisch
beschränkt, wenn der Abstand zur Schranke sogar
durch eine Summe von Quadraten von Elementen
beschrieben werden kann.
1991 bewies Schmüdgen für den Fall, daß die
Algebra endlich erzeugt ist: Wenn jedes Element
geometrisch beschränkt ist, dann ist jedes
Element sogar arithmetisch beschränkt. Daraus
folgt dann Schmüdgens bekannter
Positivstellensatz, der in der Optimierung
angewendet wird.
1996 betrachteten Becker und Powers die
absteigende Kette iterierter Ringe von
beschränkten Elementen und bewiesen, daß diese
spätestens ab der durch den Transzendenzgrad
gegebenen Iteration stationär wird.
1998 brachte Monnier diese beiden Ergebnisse in
Zusammenhang und vermutete, daß dieses stationäre
Objekt genau die arithmetisch beschränkten
Elemente enthält. Wir beweisen diese Vermutung.
Eine wichtige Anwendung ist dann folgende
Verallgemeinerung von Schmüdgens
Positivstellensatz: Falls ein Element 'klein im
Unendlichen' und nichtnegativ ist, dann ist es
nach Addition einer noch so kleinen positiven
reellen Zahl eine Summe von Quadraten.
Fachgebiet (DDC)
Schlagwörter
Konferenz
Rezension
Zitieren
ISO 690
SCHWEIGHOFER, Markus, 2001. Iterated rings of bounded elements and generalizations of Schmüdgen's theorem [Dissertation]. Konstanz: University of KonstanzBibTex
@phdthesis{Schweighofer2001Itera-539, year={2001}, title={Iterated rings of bounded elements and generalizations of Schmüdgen's theorem}, author={Schweighofer, Markus}, address={Konstanz}, school={Universität Konstanz} }
RDF
<rdf:RDF xmlns:dcterms="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/539"> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/539"/> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39"/> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/539/1/thesis.pdf"/> <dc:rights>terms-of-use</dc:rights> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:alternative>Iterierte Ringe beschränkter Elemente und Verallgemeinerungen des Satzes von Schmüdgen</dcterms:alternative> <dc:contributor>Schweighofer, Markus</dc:contributor> <foaf:homepage rdf:resource="http://localhost:8080/"/> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-22T17:44:58Z</dc:date> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39"/> <dc:creator>Schweighofer, Markus</dc:creator> <dcterms:abstract xml:lang="eng">We consider a commutative algebra over the reals<br />of finite transcendence degree.<br /><br /><br /><br />We call an element of it (geometrically) bounded<br />if its square is bounded by a natural number on<br />the whole real spectrum. We call it arithmetically<br />bounded if the distance to the bound can even be<br />described by a sum of squares of elements.<br /><br /><br /><br />In 1991, Schmüdgen proved in the case in which the<br />algebra is finitely generated: If every element<br />is geometrically bounded, then every element is<br />even arithmetically bounded. This implies<br />Schmüdgen's well-known Positivstellensatz which<br />is used in optimization.<br /><br /><br /><br />In 1996, Becker and Powers considered the<br />decreasing chain of iterated rings of bounded<br />elements and showed that it becomes stable<br />at the latest after the iteration given by the<br />transcendence degree.<br /><br /><br /><br />In 1998, Monnier related both results and<br />conjectured that this stable object contains<br />exactly the arithmetically bounded elements. We<br />prove this conjecture. An important application<br />is the following generalization of Schmüdgen's<br />Positivstellensatz: If an element is 'small at<br />infinity' and nonnegative, then it becomes a sum<br />of squares after adding an arbitrary small<br />positive real number.</dcterms:abstract> <dc:format>application/pdf</dc:format> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/539/1/thesis.pdf"/> <dcterms:issued>2001</dcterms:issued> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-22T17:44:58Z</dcterms:available> <dcterms:title>Iterated rings of bounded elements and generalizations of Schmüdgen's theorem</dcterms:title> <dc:language>eng</dc:language> </rdf:Description> </rdf:RDF>