Einige Aspekte in der Zuordnungstheorie

Zusammenfassung Gegeben seien endliche MengenX, Y undZ X × Y, Z _x ={y¦(x,y) Z},Z _y ={x¦(x,y) Z}.Man nenntA X (bzw.B Y)zuordenbar, wenn es eine Injektion:A Y (bzw.: B X) mit(x) Z _x (bzw.(y) Z _y ) gibt, und (A, B) mit #A=#B > 0 einZuordnungspaar, wenn eine Bijektionf:A B mitf(x)Z _x B (bzw.f ^–1 (y) Z _y A) existiert. Die Bijektionf heißtZuordnungsplan fürA, B.In der vorliegenden Arbeit werden Fragen nach der Existenz von optimal zuordenbaren Mengen und optimalen Zuordnungspaaren behandelt, wenn man auf den MengenX undY Ordnungen vorgibt, wobei auch Nebenbedingungen berücksichtigt werden. In manchen Fällen lassen sich anhand der Beweise Zuordnungspläne oder ihre Berechnungsvorschrift explizit angeben.Zum Schluß werden die Aussagen an konkreten, dem Bereich der Wirtschaftswissenschaften entnommenen Beispielen erläutert.

---

Summary LetX, Y be finite sets andZ X × Y, Z _x ={y¦(x,y) Z},Z _y ={x¦(x,y)Z}. A X (resp.B Y) is calledassignable if there is an injection: A Y (resp.: B X) with (x) Z _x (resp.(y) Z _y ), (A, B) with #A=#B > 0 anassigned pair if there is a bijection f:A B withf (x) Z _x B (resp.f ^–1(y) Z _y A). The bijectionf is called aplan forA andB.In this paper problems are discussed concerning the existence of optimal assignable sets and optimal assigned pairs ifX andY are totally ordered, additional constraints are also considered. In some cases the proofs give explicit constructions of plans. The results are illustrated by application to problems occurring in Operations Research.

---

---

Diese Arbeit ist mit Unterstützung des Sonderforschungsbereiches 72 an der Universität Bonn entstanden.     

Large-Deviation Local Theorem for Additive Functionals of a Markov Gaussian Field. I

We prove a local limit theorem (LLT) on Cramer-type large deviations for sums S _V = _t V ( _t ), where _t , t Z , 1, is a Markov Gaussian random field, V Z , and is a bounded Borel function. We get an estimate from below for the variance of S _V and construct two classes of functions , for which the LLT of large deviations holds.     

Primitive Inner Illuminating Systems for Convex Bodies

A set X of boundary points of a (possibly unbounded) convex body KE ^d illuminating K from within is called primitive if no proper subset of X still illuminates K from within. We prove that for such a primitive set X of an unbounded, convex set KE ^d (distinct from a cone) one has X=2 if d=2, X6 if d=3, and that there is no upper bound for X if d4.     

Familien komplexer räume zu gegebenen infinitesimalen deformationen

Let M be a domain in the complex plane, :XM a flat family of reduced complex spaces, (X_o, _o) the fibre over a point OM, and x_o the sheaf of (1,O)-forms over X_o. The family defines an element (Ext¹ (_Xo, _o))_x for every point xX. We prove: If (X_o, _o) is a normal complex space, x a point in X_o such that (Ext² (_Xo, _o))_x=O, then for each infinitesimal deformation (Ext¹ (_Xo, _o))_x there exists a flat reduced family with =. This statement is analogous to a result of KODAIRA-NIRENBERG-SPENCER in the theory of deformations of compact complex manifolds.     

Ein Kontinuitätssatz für k-holomorphe Mengen

Let k denote a non-trivial non-archimedean complete valuated field and X an irreducible k-affinoid space. We discuss the Hartog's domain H^*:=(X×Eⁿ) (U×Eⁿ) where øUX is an affinoid subdomain, Eⁿ is the n-dimensional unit-polydisc over k and Eⁿ is the ringdomain of all z==(z₁,...,z_n)Eⁿ with some coordinate |z_i|=1. The main result is the non-archimedean version of Rothstein's extensiontheorem for analytic subvarieties: Every k-holomorphic subvariety AH^* whose every branch has dimension (dim X + 1) can be extended to a k-holomorphic subvariety X×Eⁿ such that every branch of has dimension (dim X + l).     

On the parallel factorization of matrices over principal ideal rings

We describe all the factorizations A=BC (up to associates) of a matrix A over a commutative principal ideal domain parallel to the factorization D^A= of its canonical diagonal form D^A ( and are diagonal matrices), that is, the factorizations such that the matrices B and C are equivalent to the matrices and respectively.Translated fromMatematichni Metodi ta Fiziko-Mekhanichni Polya, Vol. 40, No. 4, 1997, pp. 96–100.     

On the continuity of midpoint hull convex set-valued functions

Summary The concept of hull convexity (midpoint hull convexity) for set-valued functions in vector spaces is examined. This concept, introduced by A. V. Fiacco and J. Kyparisis (Journal of Optimization Theory and Applications,43 (1986), 95–126), is weaker than one of convexity (midpoint convexity).The main result is a sufficient condition for a midpoint hull convex set-valued function to be continuous. This theorem improves a result obtained by K. Nikodem (Bulletin of the Polish Academy of Sciences, Mathematics,34 (1986), 393–399).     

Radon—Nikodym theorems for multimeasures and transition multimeasures

— . , — . , .

---

---

Research supported by N. S. F. Grant DMS-8802688.     

The interpolation ofℓ r sequences by hp functions

The sequence spaceH ^P (z)={{f (z_h)}:f H ^p} is defined for a fixed sequence Z={z_k} of different points of the open unit disk and the Hardy class HP of analytic functions in the disk. For an arbitrary p[1, ) is constructed a point sequence Z= {z_k} such that ¹h ^p(z), but ^r h^p (Z) for r > 1. It follows from a well-known result of L. Carleson that the inclusions ^r h (Z) for all r[1,] are equivalent.Translated from Matematicheskie Zametki, Vol. 21, No. 4, pp. 503–508, April, 1977.     

Weight functions on the Kneser graph and the solution of an intersection problem of Sali

LetX, Y be finite sets and suppose thatF is a collection of pairs of sets (F, G),FX,GY satisfying |FF|s, |GG|t and |FF|+|GG|s+t+1 for all (F, G),F, GF. Extending a result of Sali, we determine the maximum ofF.     

Ouverts d"harmonicité pour les fonctions séparément harmoniques

Let D ^N , G ^M be two open sets, E D and F G two compact sets which satisfy the condition (H) (that is a harmonic condition similar to Leja"s condition). We find an open set ^N+M such that each separately harmonic function f : X : = (D× F) (E × G) (i.e.: for all x in E, f(x,.) is harmonic on G; for all y in F, f(., y) is harmonic on D) extends to a harmonic function on .     

Sûto's method applied to a problem of Färe and Mitchell

Summary A real solution of the functional equation(x + (y – x)) = f(x) + g(y) + h(x)k(y) on a set ² is a 6-tuple (f, g, h, k, , ) of real valued functions such that the equation is identically fulfilled on. Except for cases known before—e.g. when is linear—we present all real solutions in an arbitrary region where the functions have derivatives of second order.     

Maximal Partial Spreads and Flocks

Denote by a flock of a quadratic cone of PG(3,q) by S() the spread of PG(3,q) associated with and by l the common line of the base reguli. Suppose that there are two lines not transversal to a base regulus which share the same lines of S() Then we prove that is either linear or a Kantor-Knuth semifield flock. Using this property we can extend the result of J3 on derivable flocks proving that, if a set of q + 1 lines of S() defines a derivable net different from a base regulus-net, then is either linear or a Kantor-Knuth semifield flock. Moreover if l is not a component of the derivable net, then is linear.     

Mean value iterations for nonlinear elliptic Cauchy problems

Summary. We investigate the Cauchy problem for a class of nonlinear elliptic operators with C –coefficients at a regular set ⁿ . The Cauchy data are given at a manifold and our goal is to reconstruct the trace of the H ¹ () solution of a nonlinear elliptic equation at /. We propose two iterative methods based on the segmenting Mann iteration applied to fixed point equations, which are closely related to the original problem. The first approach consists in obtaining a corresponding linear Cauchy problem and analyzing a linear fixed point equation; a convergence proof is given and convergence rates are obtained. On the second approach a nonlinear fixed point equation is considered and a fully nonlinear iterative method is investigated; some preliminary convergence results are proven and a numerical analysis is provided. On leave from Department of Mathematics, Federal University of St.,Catarina, P.O. Box 476, 88010-970 Florianópolis, BrazilSupported by FWF project F–1308 within Spezialforschungsbereich 13     

A Comparison of Two Spaces of Generalized White Noise Functionals

In the literature (see [5, 6, 8]) there are two families of spaces called Kondratiev spaces: (_c)^± and (S _c)^± for 0 1. We investigate the relation between the spaces and show that they are topologically isomorphic when (^d) L2 (^d) (^d) is the underlying Gel'fand triple for (_c)^±. In this case we also give the explicit relation between the S-transform and -transform on (_c)^-1 and (S _c)^-1, respectively.     

Necessary and sufficient condition of the existence of global Hopf bifurcation for Hamiltonian systems

ForH C ² (,R) where 0 R ²ⁿ ,H (0)=0 and detH(0)0, the paper proves that there is a global Hopf bifurcation fromx=0 for Hamiltonian systemx=JH(x) iffJH(0)possesses purely imaginary eigenvalues. The work improves the corresponding result of J.C.Alexander and J. Yorke (Amer. J. Math., 100 (1978), 263–292).     

Spektrale Invarianz bei verallgemeinerten Eigenfunktionsentwicklungen

Let T be a selfadjoint operator in a Gelfand triplet H. Examples show that there can occur generalized eigenvalues of T which are not in the Hilbert space spectrum (T) of T. Moreover, the fuction d, which assigns to each real number s the dimension of the generalized eigenspace corresponding to s, can be essentially greater then the von Neumann multiplicity function of T. We therefore construct a new triplet H, closely related to the given Gelfand triplet, according to which the set of generalized eigenvalues of T is contained in (T), and the function d essentially equals the von Neumann multiplicity function of T. Then, in particular, the closure of the set of generalized eigenvalues equals (T). The expansion theorems in H are transferred to H.

---

---

Grundlage dieser Arbeit ist ein Teil meiner Dissertation. Ich danke Herrn Prof. Dr. H.G. Tillmann für die Anregung hierzu und für viele wertvolle Hinweise.     

Imbedding theorems for the invariant subspaces of the backward shift operator

For subspaces K ^p of the form of the Hardy space H^p and for measures with support in the closed unit circleclos , one finds conditions that ensure the imbedding KL^p(). One considers measures with support inclos , satisfying the following condition: for some number >0 and for all circles with center on the circumference, intersecting the set , we have the inequality ()C(). Here C does not depend on , while () is the radius of the circle . For such measures one has the imbedding K ^p L^p(). From here one derives a criterion for the imbedding K _A ² L²(), found by B. Cohn for inner functions , such that the set is connected for some positive . In the paper one also proves that a condition on , necessary and sufficient for the imbedding of K ^p into L^p(), must depend on p.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 149, pp. 38–51, 1986.     

Free Algebras over Biregularizations of Varieties

Let : F N be a type of algebras, where F is a set of fundamental operation symbols and N is the set of nonnegative integers. An identity of type is called biregular if the sets of variables in and are identical and the sets of fundamental operation symbols in and are identical. If K is a variety of type , we denote by K_b the variety of type defined by all biregular identities from Id(K). K_b will be called the biregularization of K. In this paper we give a representation of free algebras over K_b by means of free algebras over K.