Die Dupinschen Zykliden im pseudoeuklidischen Raum

In the pseudoeuclidean space¹ E ³ a surface of degree 3 or 4 is calledDupin-cyclide if there exists a (pseudoeuclidean) torus such that a (pseudoeuclidean) spherical inversion maps upon . If the axis of is respectively space-like, isotropic or time-like is calledDupin-r-,-l- or-z-cyclide. ADupin-cyclide is the envelope of two families of spheres, the caustic surfaces of degenerate in caustic curves and the lines of curvature of constitute two (orthogonal) families of circles.     

Inequalities in Products of Minors of Totally Nonnegative Matrices

Let _I,I be the minor of a matrix which corresponds to row set I and column set I. We give a characterization of the inequalities of the form _{I,I K,K J,J L,L} which hold for all totally nonnegative matrices. This generalizes a recent result of Fallat, Gekhtman, and Johnson.     

The (Δ,d,d′, Δ − 1)-problem with applications to computer networks

The (,d, d, – 1)-problem is that of finding large graphs with maximum degree and diameterd such that the subgraphs obtained by deleting any set of up to – 1 vertices have diameterd. In this paper, we deduce upper bounds on the order of such graphs and present some of the largest known ones. We argue that these graphs can be used to construct extremely "robust" networks, and explain why we require this robustness property when designing transputer networks for certain applications. In particular, we investigate the suitability of the odd graphO ₄ as a topology for such networks.     

Implicit elliptic boundary-value problems with discontinuous nonlinearities

Let be a bounded domain in ⁿ (n3) having a smooth boundary, let be an essentially bounded real-valued function defined on × ^h, and let be a continuous real-valued function defined on a given subset Y of Y ^h. In this paper, the existence of strong solutions u W ^2,p (, ^h) W _o ^1,p (n/2<p<+) to the implicit elliptic equation (–u)=(x,u), with u=(u₁, u₂, ..., u_h) and u=(u ₁, u ₂, ..., u _h), is established. The abstract framework where the problem is placed is that of set-valued analysis.     

Blow-up rates for parabolic systems

Let ⁿ be a bounded domain andB _R be a ball in ⁿ of radiusR. We consider two parabolic systems: ut=u +f(), i= +g(u) in × (0,T) withu=v=0 on × (0,T) andu _t =u, v _t =v inB _r × (0,T) withe/v=f (v), e/v=g(u) onB _R × (0,T). Whenf(v) andg(u) are power law or exponential functions, we establish estimates on the blow-up rates for nonnegative solutions of the systems.     

Uniqueness in some higher order elliptic boundary value problems

Summary The uniqueness of the solution to two boundary value problems for the linear equation ³ u –a ² u +b u –cu =F and to two boundary value problems for the quasilinear differential equation ² u +w(u) =f are proved. The proofs follow as a consequence of maximum principles for a functional which is defined on solutions to the differential equation.

---

Zusammenfassung Die Eindeutigkeit der Lösung zweier Randwertaufgaben für die lineare Gleichung ³ u –a ² u +b u –cu =F und zweier Randwertaufgaben für die quasilineare Differentialgleichung ² u +w(u) =f wird bewiesen. Der Beweis folgt aus einem Maximumprinzip für ein Funktional, das für die Lösungen der Gleichung definiert ist.

     

Infinite highly arc transitive digraphs and universal covering digraphs

A digraph (that is a directed graph) is said to be highly arc transitive if its automorphism group is transitive on the set ofs-arcs for eachs0. Several new constructions are given of infinite highly arc transitive digraphs. In particular, for a connected, 1-arc transitive, bipartite digraph, a highly arc transitive digraphDL() is constructed and is shown to be a covering digraph for every digraph in a certain classD() of connected digraphs. Moreover, if is locally finite, thenDL() is a universal covering digraph forD(). Further constructions of infinite highly arc transitive digraphs are given.The second author wishes to acknowledge the hospitality of the Mathematical Institute of the University of Oxford, and the University of Auckland, during the period when the research for this paper was doneResearch supported by the Australian Research Council     

Existence and Asymptotic Behaviour of Large Solutions of Semilinear Elliptic Equations

In this paper we are interested in the semilinear elliptic equations of the type u=u(,u), on bounded smooth domain of R ⁿ . We also treat existence of positive solution of u=p(x)f(u), which explodes near the boundary of (called large solutions). Our approach is based on potential theory.     

Critical star multigraphs

A star-multigraphG is a multigraph in which there is a vertexv ⁺ which is incident with each non-simple edge. It is critical if it is connected, Class 2 and(G\e) < (G) for eache E(G). We show that, ifG is any star multigraph, then(G) (G) + 1. We investigate the edge-chromatic class of star multigraphs with at most two vertices of maximum degree. We also obtain a number of results on critical star multigraphs. We shall make use of these results in later papers.     

The Laplacian with Robin Boundary Conditions on Arbitrary Domains

Using a capacity approach, we prove in this article that it is always possible to define a realization of the Laplacian on L ²() with generalized Robin boundary conditions where is an arbitrary open subset of R ⁿ and is a Borel measure on the boundary of . This operator generates a sub-Markovian C ₀-semigroup on L ²(). If d=d where is a strictly positive bounded Borel measurable function defined on the boundary and the (n–1)-dimensional Hausdorff measure on , we show that the semigroup generated by the Laplacian with Robin boundary conditions has always Gaussian estimates with modified exponents. We also obtain that the spectrum of the Laplacian with Robin boundary conditions in L ^p () is independent of p[1,). Our approach constitutes an alternative way to Daners who considers the (n–1)-dimensional Hausdorff measure on the boundary. In particular, it allows us to construct a conterexample disproving Daners' closability conjecture.     

On the distribution of square-full and cube-full integers

LetN _r (x) be the number ofr-full integers x and let _r (x) be the error term in the asymptotic formula forN _r (x). Under Riemann's hypothesis, we prove the estimates ₂(x)x^1/7+, ₃(x)x^97/804+(>0), which improve those of Cao and Nowak. We also investigate the distribution ofr-full andl-free numbers in short intervals (r=2,3). Our results sharpen Krätzel's estimates.     

Perturbation bounds on the polar decomposition

The polar decomposition of ann ×n-matrixA takes the formA=MH whereM is orthogonal andH is symmetric and positive semidefinite. This paper presents strict bounds, (with no order terms), on the perturbationsM,H ofM andH respectively, whenA is perturbed byA. The bounds onM can also be applied to the orthogonal Procrustes problem.     

A structure theorem for weak buildings of spherical type

Following earlier work of Tits [8], this paper deals with the structure of buildings which are not necessarily thick; that is, possessing panels (faces of codimension 1) which are contained in two chambers, only. To every building , there is canonically associated a thick building whose Weyl group W( ) can be considered as a reflection subgroup of the Weyl group W() of . One can reconstruct from together with the embedding W( ) W(). Conversely, if is any thick building and W any reflection group containing W( ) as a reflection subgroup, there exists a weak building with Weyl group W and associated thick building .     

The problem of controlling a Wiener process when the number of switchings is bounded

We are considering the problem of controlling a one-dimensional Wiener process (t) (0)=0,E=0,D= ²t.Translated fromProblemy Ustoichivosti Stokhasticheskikh Modelei. Trudy Seminara, 1988, pp. 53–55.     

Leaves in Representation Diagrams of Bipartite Distance-Regular Graphs

Let denote a bipartite distance-regular graph with diameter D 3 and valency k 3. Let ₀ > ₁ ··· > _D denote the eigenvalues of and let q ^h _ij (0 h, i, j D) denote the Krein parameters of . Pick an integer h (1 h D – 1). The representation diagram = _h is an undirected graph with vertices 0,1,...,D. For 0 i, j D, vertices i, j are adjacent in whenever i j and q ^h _ij 0. It turns out that in , the vertex 0 is adjacent to h and no other vertices. Similarly, the vertex D is adjacent to D – h and no other vertices. We call 0, D the trivial vertices of . Let l denote a vertex of . It turns out that l is adjacent to at least one vertex of . We say l is a leaf whenever l is adjacent to exactly one vertex of . We show has a nontrivial leaf if and only if is the disjoint union of two paths.     

The spectral bound of Schrödinger operators

Let V: R ^N [0, ] be a measurable function, and >0 be a parameter. We consider the behaviour of the spectral bound of the operator 1/2–V as a function of . In particular, we give a formula for the limiting value as , in terms of the integrals of V over subsets of R ^N on which the Laplacian with Dirichlet boundary conditions has prescribed values. We also consider the question whether this limiting value is attained for finite .     

Sequential gradient-restoration algorithm for the minimization of constrained functions—Ordinary and conjugate gradient versions

The problem of minimizing a functionf(x) subject to the constraint (x)=0 is considered. Here,f is a scalar,x ann-vector, and aq-vector. Asequential algorithm is presented, composed of the alternate succession of gradient phases and restoration phases.In thegradient phase, a nominal pointx satisfying the constraint is assumed; a displacement x leading from pointx to a varied pointy is determined such that the value of the function is reduced. The determination of the displacement x incorporates information at only pointx for theordinary gradient version of the method (Part 1) and information at both pointsx and for theconjugate gradient version of the method (Part 2).In therestoration phase, a nominal pointy not satisfying the constraint is assumed; a displacement y leading from pointy to a varied point is determined such that the constraint is restored to a prescribed degree of accuracy. The restoration is done by requiring the least-square change of the coordinates.If the stepsize of the gradient phase is ofO(), then x=O() and y=O(²). For sufficiently small, the restoration phase preserves the descent property of the gradient phase: the functionf decreases between any two successive restoration phases.This research, supported by the NASA Manned Spacecraft Center, Grant No. NGR-44-006-089, and by the Office of Scientific Research, Office of Aerospace Research, United States Air Force, Grant No. AF-AFOSR-828-67, is a condensation of the investigations reported in Refs. 1 and 2.     

Isoperimetric inequalities in a boundary value problem on a Riemannian manifold

In this paper the problem u+1=0 in ,u=0 on is considered. Here is a finite domain on a Riemannian manifold and the associated Laplace-Beltrami operator. By means of maximum principles isoperimetric bounds for the maximum ofu and the maximum of the absolute value of the gradient ofu, as well as some related bounds are derived.

---

Zusammenfassung Diese Arbeit behandelt das Problem u+1=0 in ,u=0 auf , wobei ein Gebiet auf einer zweidimensionalen Riemann'schen Mannigfaltigkeit ist, und der zugehörige Laplace-Beltrami Operator. Es werden isoperimetrische Schranken für das Maximum vonu und |u| aus gewissen Maximumsprinzipien hergeleitet, sowie einige verwandte Resultate.

     

Galois theory for the family of partial differential equationsΔ α ψ=0

Summary The partial differential fields most suited for the purpose of construction of Galois theory for the family (1) are endowed with the symmetric bilinear form (2iv) and are called -differential fields. In Section 1 are defined certain algebraic notions related to the symmetric bilinear form (2iv) and which are necessary for the construction of any Galois theory. Necessary and sufficient condition for the extension of the domain of the operator (this operator is not a derivation although it commutes with the partial derivations of the -differential field) from an -differential fieldK to a finitely generated -differential extension field is given in Theorem 1.Section 2 defines the notion of -differential mapping as linear mappings which preserve the symmetric bilinear form and commute with the partial derivations. The group properties of the set of -differential mappings are discussed and the Galois correspondence theorems set up for -differential fields.Section 3 sets up the notion of -Liouvillian extensions of -differential fields and briefly discusses the Galois groups associated with these -Liouvillian extension fields.Section 4 points to the procedure for the algebraic characterization of -simple--differential field extensions by elementary solutions of the partial differential equation _m =0.