Würzburg, Univ., Diss., 2008

Hannover, Universiẗat, Diss., 2002.

Techn. Universiẗat, Diss., 2003--Clausthal.

Stuttgart, Univ., Diss., 2006.

Stuttgart, Univ., Diss., 2000.

Stuttgart, Univ., Habil.-Schr., 2003.

Techn. Hochsch., Diss., 2005--Aachen.

In dieser Arbeit werden die zu einem m-sektoriellen Operator assoziierten Halbgruppen betrachtet, die die Lösungen des Anfangswertproblems der zugehörigen Evolutionsgleichung beschreiben. Es wird eine 1987 von Davies veröffentlichte Methode zur Abschätzung dieser Halbgruppen verallgemeinert. Einen Schwerpunkt bilden die zu Dirichlet-Formen assoziierten Markov-Halbgruppen. Für diese werden die Resultate spezialisiert und der Zusammenhang zur intrinsischen Metrik dargelegt. Die Arbeit schließt mit verschiedenen Beispielen, die zeigen, wie mit diesen Verallgemeinerungen von Davies Methode neue Anwendungsgebiete erschlossen werden können. / This thesis is about m-sectorial operators and their associated semigroups describing the solutions of the initial value problem of the corresponding evolution equation. We generalize a method published by Davies 1987 to estimate these semigroups. A focus is set on Markov semigroups associated with Dirchlet forms. The results are applied to them and the connection to the intrinsic metric is presented. The thesis ends with different examples showing how this generalization of Davies method can be applied into new fields of application.

Vollständig reguläre Halbgruppen weisen eine stark regelmäßige Struktur auf, die verschiedenste Zerlegungsmöglichkeiten gestatten. Ziel dieser Dissertation ist es, diese strukturelle Regelmäßigkeit auf Halbringe zu übertragen und die gewonnenen Algebren zu untersuchen. Mehrere Charakterisierungen werden herausgearbeitet, aufgrund derer es sich herausstellt, dass die Klasse aller vollständig regulären Halbringe eine Varietät bilden, deren Untervarietäten in der Folge untersucht werden. Zentrale Bedeutung haben dabei vollständig einfache Halbringe, deren Analyse einen der Schwerpunkte der Arbeit darstellt. Es zeigt sich, dass diese Bausteine vollständig regulärer Halbringe untereinander eine feste Struktur besitzen, selber aber auch als Zusammensetzung von isomorphen Halbringen aufgefasst werden können. Außerdem werden orthodoxe Halbringe, also Halbringe, deren idempotente Elemente einen Unterhalbring bilden, betrachtet. Zunächst wird dabei wieder auf mehrere Teilklassen eingegangen, bevor abschließend für beliebige vollständig reguläre Halbringe eine Beschreibung der kleinsten Kongruenz angegeben wird, deren Faktorhalbring orthodox ist.

This paper deals with decision problems related to the star problem in trace monoids, which means to determine whether the iteration of a recognizable trace language is recognizable. Due to a theorem by Richomme from 1994[30,31], we know that the Star Problem is decidable in trace monoids which do not contain a C4-submonoid. The C4 is (isomorphic to) the Caresian Product of two free monoids over doubleton alphabets. It is not known, whether the Star Problem is decidable in C4 or in trace monoids containing a C4. In this paper, we show undecidability of some related problems: Assume a trace monoid which contains a C4. Then, it is undecidable whether for two given recognizable languages K and L, we have K ⊆ L*, although we can decide K* ⊆ L. Further, we can not decide recognizability of K ∩ L* as well as universality and recognizability of K U L*.