Parabelscharen und grenzkreise in der isotropen ebene

It is known by H. Sachs [5] that the classical curve theorem of ABRAMESCU also holds in isotropic geometry. Generalising an idea due to O. Röschel [2] we regard all inscribed parabolas (s, t) of a triangle (t). This triangle is formed by the tangents of three neighbouring points of a C -curve k(t) in an isotropic plane. Let U((t)) be the circumcircle of (t) and I((t)) the incircle of the triangle (t) whose midpoints of the sides are the vertices of (t). The circle U((t)) is the locus of the isotropic focal points of (s, t) and the incircle I((T)) the envelope of the isotropic axes of (s, t). We prove that the ABRAMESU-circle — lim U((t)) — is identical with the locus of the focal points of lim (s, t) and the circle lim I((t)) with the envelope of the axes of lim (s, t). The characteristic points, different from k(t), of the circles lim U((t)) and lim I((t)) determine the direction of the affine-normal of k(t).Herrn Professor Helmut Mäurer zum 60. Geburtstag gewidmet     

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.     

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.

     

The Spectral Function and Principal Eigenvalues for Schrödinger Operators

Let m , 0 m₊ in Kato's class. We investigate the spectral function s( + m) where s( + m) denotes the upper bound of the spectrum of the Schrödinger operator + m. In particular, we determine its derivative at 0. If m_- is sufficiently large, we show that there exists a unique ₁ > 0 such that s( + ₁m) = 0. Under suitable conditions on m⁺ it follows that 0 is an eigenvalue of + ₁m with positive eigenfunction.     

Generalized theorems of Liénard and Shepherd

The paper considers a real polynomial p(x)=₀+₁x+...+_nxⁿ(₀ > 0) for which there hold inequalities ₁>0, ₃>0, ... or ₂>0, ₄>0, ..., where ₁, ₂, ..., _jn are the Hurwitz determinants for polynomial p(x). It is proven that polynomial p(x) can have, in the right half-plane, only real roots, where the quantity of positive roots of polynomial p(x) equals the quantity of changes of sign in the system of coefficients a₀, a₂, ..., a_n–2, a_n, when n is even, and ₀, a₂,..., a_n–1, a_n, when n is odd. From the proven theorem, in particular, there follows the Liénard and Shepherd criterion of stability.Translated from Matematicheskie Zametki, Vol. 22, No. 1, pp. 13–21, July, 1977.     

On the quantifier complexity of Δ<Subscript> n+1</Subscript> (T)– induction

In this paper we continue the study of the theories I _n+1 (T), initiated in [7]. We focus on the quantifier complexity of these fragments and theirs (non)finite axiomatization. A characterization is obtained for the class of theories such that I _n+1 (T) is _n+2 –axiomatizable. In particular, I _n+1 (I _n+1 ) gives an axiomatization of Th _n+2 (I _n+1 ) and is not finitely axiomatizable. This fact relates the fragment I _n+1 (I _n+1 ) to induction rule for _n+1 –formulas. Our arguments, involving a construction due to R. Kaye (see [9]), provide proofs of Parsons conservativeness theorem (see [16]) and (a weak version) of a result of L.D. Beklemishev on unnested applications of induction rules for _n+2 and _n+1 formulas (see [2]).Research partially supported by grant PB96–1345 (Spanish Goverment)Mathematics Subject Classification (2000): 03F30, 03H15     

On a property of N-functions

We consider three classes of N-functions: ('), the class of functions satisfying the ' condition, (₂), the class of functions satisfying the ₂ condition, and (M), the class of functions M(u) satisfying the condition: ln M (u) / ln u = p < . We establish the connection between the class of powers and the class of N-functions M(u) which belong to the class (') together with their complementary functions and we also establish the connections between the classes ('), (M) and (₂).Translated from Matematicheskie Zametki, Vol. 4, No. 3, pp. 281–290, 1968.     

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.     

The Connes–Moscovici Approach to Cyclic Cohomology for Compact Quantum Groups

Consider the Hopf algebra (A, ) of regular functions on a compact quantum group. Let (A ^o ,) denote its maximal dual Hopf algebra. We show that the tensor product Hopf algebra (H ₂,₂) of (A ^o ,) and its opposite Hopf algebra is endowed with a modular pair (,) in involution; a notion introduced by A. Connes and J. Moscovici, who associate canonically a cocyclic object to such Hopf algebras. Denote the Hopf cyclic cohomology thus obtained by HC ^* _(,)(H ₂). Next we define an action of H ₂),₂ on A and show that the Haar state of (A, ) is a -invariant -trace on A with respect to this action. This gives us a canonical map from HC ^* _(,)(H ₂) to the ordinary cyclic cohomology of A.     

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.     

Perturbation of the poles of the scattering matrix under variation of the boundary condition

The behavior of the poles z_n(), n=1,2,... of the scattering matrix of the operatorl u=–u(x), x , (u/n)+(x)u|=0 as 0 is considered. It is proved that |z_n()–z_n|=0(^(1/2)qn), where q_n is the order of the pole of the scattering matrix for the operator ₀u=–u, u/=0.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 117, pp. 183–191, 1981.     

Edge Coloring of Embedded Graphs with Large Girth

Let G be a simple graph embedded in the surface of Euler characteristic ()0. Denote _e(G), and g the edge chromatic number, the maximum degree and the girth of the graph G, respectively. The paper shows that _e(G)= if 5 and g4, or 4 and g5, or 3 and g9. In addition, if ()>0, then _e(G)= if 3 and g8. Acknowledgments.The authors would like to thank Dr. C.Q. Zhang for carefully reading several versions of this paper during its preparation and for suggesting several stylistic changes that have improved the overall presentation.     

Bases for Splines on a Subdivided Domain

Let S^r() be the module of all splines of smoothness r on the rectilinear partition which subdivides some domain D. Further, let S^r() be the module of all splines of smoothness r on which also subdivides D, where is a finer subdivision of . We study the relationship between a generating set of S^r() and a generating set for S^r(). This paper gives an algorithm for extending a generating set for S^r() to one for for S^r(). This method is built on algebraic properties of splines and the Gröbner Basis Algorithm.     

On the Drinfeld discriminant function

The discriminant function is a certain rigid analytic modularform defined on Drinfelds upper half-plane . Its absolutevalue may be considered as a function on theassociated Bruhat–Tits tree T. We compare log with the conditionally convergent complex-valued Eisenstein series Edefined on T and thereby obtain results about the growth of and of some related modular forms. We further determine to what extent roots may be extracted of (z)/(nz),regarded as a holomorphic function on . In some cases, this enables us to calculate cuspidal divisor class groups of modular curves.     

Colouring a graph frugally

We prove that any graph with maximum degree sufficiently large, has a proper vertex colouring using +1 colours such that each colour class appears at most log⁸ times in the neighbourhood of any vertex. We also show that for 1, the minimum number of colours required to colour any such graph so that each vertex appears at most times in the neighbourhood of any vertex is (+^1+1//), showing in particular that when =log/loglog, such a colouring cannot always be achieved with O() colours. We also provide a polynomial time algorithm to find such a colouring. This has applications to the total chromatic number of a graph.The second two authors were supported by NATO Collaborative Research Grant #CRG950235.     

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.     

Perturbation of the Laplacian by the Coulomb potential and a point interaction in L p (ℝ)3

Perturbations of -+/|x| (with >0) by a point interaction centered at zero are defined in L ^p(³). This is done for 3/20 (³{0}), such that the extension is the negative generator of an analytic semigroup on L ^p(³).     

Generalization of Gδ*-Diagonals and ωΔ-Spaces

In this paper we introduce the concepts of a quasi-G*-diagonal and quasi--space as generalizations of the concepts of G*-diagonal and -space respectively. It is shown that a quasi-Moore space may be characterized in terms of these concepts. As a consequence we obtain the following metrization theorems: every paracompact -space with quasi-G-diagonal is metrizable and every collectionwise normal quasi--space is metrizable.     

Perturbation bounds for theLDL H andLU decompositions

LetA andA+A be Hermitian positive definite matrices. Suppose thatA=LDL ^H and (A+A)=(L+L)(D+D)(L+L)^H are theLDL ^H decompositons ofA andA+A, respectively. In this paper upper bounds on |D| _F and |L| _F are presented. Moreover, perturbation bounds are given for theLU decomposition of a complexn ×n matrix.     

Parametrices for operators of tricomi type

Sunto Si costruisce una parametrice per il problema di Dirichlet relativo ad operatori P del tipo (1/i(/t))² + t_x, nella regione t0. Tenuto conto che per tali operatori è nota la parametrice del problema di Cauchy nella regione t 0, ciò consente di costruire una soluzione (modO ) dell'equazione Pu=f , t (–T, T), T>0.