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.     

A Proof of the Jungnickel-Tonchev Conjecture on Quasi-Multiple Quasi-Symmetric Designs

A proof of the following conjecture of Jungnickel and Tonchev on quasi-multiple quasi-symmetric designs is given: Let D be a design whose parameter set (v,b,r,k,) equals (v,sv,sk,k, s) for some positive integer s and for some integers v,k, that satisfy (v-1) = k(k-1) (that is, these integers satisfy the parametric feasibility conditions for a symmetric (v,k,)-design). Further assume that D is a quasi-symmetric design, that is D has at most two block intersection numbers. If (k, (s-1)) = 1, then the only way D can be constructed is by taking multiple copies of a symmetric (v,k, )-design.     

Some homological properties of commutative semitrivial ring extensions

LetR be a commutative ring with 1 andM anR-module. If:M _R MR is anR-module homomorphism satisfying(mm)=(mm) and(mm)m=m(mm), the additive abelian groupRM becomes a commutative ring, if multiplication is defined by (r,m)(r,m)=(rr+(mm),rm+rm). This ring is called the semitrivial extension ofR byM and and it is denoted byR M. This generalizes the notion of a trivial extension and leads to a more interesting variety of examples. The purpose of this paper is to studyR M; in particular, we are interested in some homological properties ofR M as that of being Cohen-Macaulay, Gorenstein or regular. A sample result: Let (R,m) be a local Noetherian ring,M a finitely generatedR-module and Im() m. ThenR M is Gorenstein if and only if eitherRM is Gorenstein orR is Gorenstein,M is a maximal Cohen-Macaulay module andMM ^*, where the isomorphism is given by the adjoint of.     

On the definition of isomorphisms of linear spaces

Let (P, ) and (P, ) be linear spaces satisfying the exchange axiom with dim P=dim P . Then a bijection :PP which maps collinear points onto collinear points is an isomorphism. Also a surjection :PP which maps any three non-collinear points to non-collinear points is an isomorphism. This assertion is not true if dim P is not finite.     

Equazioni ellittiche in forma di divergenza con 2∘ membro misura su domini non limitati

Summary Let a regular open set of R n, a measure with compact support and L a second order elliptic operator in divergence form. If L is coercive we prove a theorem of existence and uniqueness for the solution of Lu=, uH ₀ ¹+H₀ ^1,p()where p is the conjugate of p[n, ].     

On the Projections of Multivalued Maps

This paper considers analogues of the Helmholtz projections of the set of selections of a piecewise smooth multivalued map , n2. It is shown that, for mn–1 (m=1), the closure of the projection of on the subspace of gradient fields (solenoidal vector fields) is a convex set. For the general case, there are given point-wise conditions on the values of the map which ensure that the closure of the projection of contains the zero element. Possible applications to optimal control problems are discussed.     

Hasse-Witt matrices of Fermat curves

Let m be an integer with m3. Let K and K be perfect fields of characteristic p and p such that (p,m)=1 and (p,m)=1, respectively. Moreover let A and A be algebraic function fields over K and K defined by x^m+y^m=a(0, ak) and x^m+y^m=a(a0 ak), respectively. Put g=(m–1)(m–2)/2. Denote by M(K,p,a) and M(K,p,a) the Hasse-Witt matrices of A and A with respect to the canonical bases of holomorphic differentials. Then we show that if p+p0(mod.m) then rank M(K,p,a)+rank M(K,p,a)=g and if pp1 (mod.m) then rank M(K,p,a)=rank M(K,p,a).     

A survey of pseudo (v,k, λ)-designs

This work is an attempt to give a complete survey of all known results about pseudo (v, k, )-designs. In doing this, the author hopes to bring more attention to his conjecture given in Section 6; an affirmative answer to this conjecture would settle completely the existence and construction problem for a pseudo (v, k, )-design in terms of the existence of an appropriate (v, k, )-design.     

A Note on a Boundary Value Problem

In this note, we prove that, for Robins boundary value problem, a unique solution exists if f_x(t, x, x), f_x(t, x, x), (t), and (t) are continuous, and f_x -(t), f_x -(t), 4(t) ² + ²(t) ++ 2(t), and 4(t) ² + ²(t) + 2(t).AMS Subject Classification (2000) 34B15     

1-Homogeneous Graphs with Cocktail Party μ-Graphs

Let be a graph with diameter d 2. Recall is 1-homogeneous (in the sense of Nomura) whenever for every edge xy of the distance partition{{z V() | (z, y) = i, (x, z) = j} | 0 i, j d}is equitable and its parameters do not depend on the edge xy. Let be 1-homogeneous. Then is distance-regular and also locally strongly regular with parameters (v,k,,), where v = k, k = a ₁, (v – k – 1) = k(k – 1 – ) and c ₂ + 1, since a -graph is a regular graph with valency . If c ₂ = + 1 and c ₂ 1, then is a Terwilliger graph, i.e., all the -graphs of are complete. In [11] we classified the Terwilliger 1-homogeneous graphs with c ₂ 2 and obtained that there are only three such examples. In this article we consider the case c ₂ = + 2 3, i.e., the case when the -graphs of are the Cocktail Party graphs, and obtain that either = 0, = 2 or is one of the following graphs: (i) a Johnson graph J(2m, m) with m 2, (ii) a folded Johnson graph J¯(4m, 2m) with m 3, (iii) a halved m-cube with m 4, (iv) a folded halved (2m)-cube with m 5, (v) a Cocktail Party graph K _{m × 2} with m 3, (vi) the Schläfli graph, (vii) the Gosset graph.     

On flags in a topological projective plane

In this paper we study some properties of the flag space () of a topological projective plane . The line set, sayL, of (), splits into two subfamiliesL ₀ andL ₁ which an non-trivial partitions of the point set of (). For any two distinct lines , ' belonging to one of the two subfamilies, there is exactly one line in the other subfamily meeting botl and '; turns out to be a continuous mapping of (-,'–. Further, the intersection o: two lines, having exactly one point in common, is a continuous and open mapping. Conversely, every irreducible semilinear space, satisfying the above properties, is isomor phic to the flag space of a topological projective plane.This paper has been prepared from some results of a research project supported by N.A.T.O.     

Approximation and regular perturbation of optimal control problems via Hamilton-Jacobi theory

We present two convergence theorems for Hamilton-Jacobi equations and we apply them to the convergence of approximations and perturbations of optimal control problems and of two-players zero-sum differential games. One of our results is, for instance, the following. LetT andT _h be the minimal time functions to reach the origin of two control systemsy = f(y, a) andy = f _h (y, a), both locally controllable in the origin, and letK be any compact set of points controllable to the origin. If f _h –f Ch, then |T(x) – T _h (x)| C _K h , for all x K, where is the exponent of Hölder continuity ofT(x).     

More projective geometry associated with unramified double covers of curves of genus four

Sunto Sia : YY un rivestimento doppio non diramato di una curva di genere quattro definita su C e a moduli generali. Sia il punto di 2-divisione associate a . In questa nota si studia il sistema 2 delle quardriche di contatto al modello canonico di Y, associato al dato rivestimento.e si esplicita una biezione tra l'insieme delle theta-caratteristiche dispari di Y che diffeiscono per e l'insieme dell theta caratteristiche dispari dell curve di genere tre la cui Jacobiana e isomorfa (come v.a.p.p.) alla varieta di Prym P(f Y Y)     

Kato's equality and spectral decomposition for positive C0-groups

Let A be the generator of a C₀-semigroup {T(t); t0} defined on a Banach lattice E. It is shown that T(t) is a lattice homomorphism for all t>0 if and only if A satisfies <¦x¦, Ax>= (xD(A), x D(A)) (where q: EE is the evaluation mapping). This equality is used to obtain a spectral decomposition for generators of positive groups.     

The imaginary zeros of a mixed Bessel function

In the present work we study the existence and monotonicity properties of the imaginary zeros of the mixed Bessel functionM _v(z)=(z²+)J_v(z)+zJ_v(z). Such a function includes as particular cases the functionsJ _v(z)(==0), J_v(z)(=–v²,=1)x andH _v(z)=J_v(z)+zJ_v(z), whereJ _v(z) is the Bessel function of the first kind and of orderv>–1 andJ _v(z), J_v(z) are the first two derivatives ofJ _v(z). Upper and lower bounds found for the imaginary zeros of the functionsJ _v(z), J_v(z) andH _v(z) improve previously known bounds.

---

Zusammenfassung Dieser Artikel betrifft die Existenz und Monotonie von Eigenschaften imaginärer Nullen der gemischten BesselfunktionM _v(z)=(z²+)J_v(z)+zJ_v(z). Eine solche Funktion enthält als Spezialfall die FunktionenJ _v(z)(==0), J_v(z)(=–v²,=1) undH _v(z)=J_v(z)+zJ_v(z), woJ _v(z)die Besselfunktion von erster Art und Ordnungv>–1 andJ _v(z), J_v(z) sind die erste und zweite Ableitung vonJ _v(z). Untere und obere Schranken, die für die imaginären Nullen der FunktionenJ _v(z), J_v(z) undH _v(z) gefunden wurden, verbessern früher bekannte Resultate.

     

On Wagner Connections and Wagner Manifolds

Let (M, E) be a Finsler manifold. A triplet (¯D, ¯h, ) is said to be a Wagner connection on M if (¯D, ¯h) is a Finsler connection, C (M) and the axioms (W1)–(W4), formulated originally by M. Hashiguchi, are satisfied. Then ¯h is called a Wagner endomorphism on M. We establish an explicit relation between the (canonical) Barthel endomorphism of (M, E) and a Wagner endomorphism ¯h. We show that the second Cartan tensors ¯C, ¯C _b belonging to ¯h are symmetric and totally symmetric, respectively. An explicit relation between the "canonical" tensors C, C _b and the "Wagnerian" ones is also derived. We can conclude that the rules of calculation with respect to a Wagner connection are formally the same as those with respect to the classical Cartan connection. We establish some basic curvature identities concerning a Wagner connection, including Bianchi identities. Finally, we present a new, intrinsic definition as well as several tensorial characterizations of Wagner manifolds.     

On the dynamics of turbulent vortical flow

Zusammenfassung Die Wirbelströmung in einer turbulenten kompressiblen Flüssigkeit wird behandelt. Die Bewegungsgleichungen werden durch die Vernachlässigung der kleineren Glieder vereinfacht. Die experimentellen Ergebnisse erlauben eine Fehlerrechnung für einen Fall. Ein wichtiger Schritt in der Vereinfachung ist die Voraussetzung, dass die Radialgradienten viel grösser sind als die Axialgradienten. Für die kräftigen Wirbel erwies sich diese Annahme sowohl durch die Erfahrung als auch aus den wesentlichen theoretischen Betrachtungen heraus als begründet. Die vereinfachten Gleichungen zeigen einige wichtige Aspekte der schnelldrehenden Strömungen und geben einen Anhaltspunkt für die ausführlicheren Studien.

---

Notation r radial co-ordinate - z axial co-ordinate - u, U, u radial velocity component, its time-mean value, and the turbulent perturbation to it - v, V, v tangential or swirl velocity component, etc. - w, W, w axial velocity component, etc. - p, P, p fluid pressure, etc. - ,R, fluid density, etc. - , , , numbers small with respect to unity - C, F, G, G ₀ constants of integration     

Large deviations for the invariant measure of a reaction-diffusion equation with non-Gaussian perturbations

Summary In this paper we establish a large deviations principle for the invariant measure of the non-Gaussian stochastic partial differential equation (SPDE) _t v =v +f(x,v )+(x,v ) . Here is a strongly-elliptic second-order operator with constant coefficients, h:=DH _xx-h, and the space variablex takes values on the unit circleS ¹. The functionsf and are of sufficient regularity to ensure existence and uniqueness of a solution of the stochastic PDE, and in particular we require that 0<mM wherem andM are some finite positive constants. The perturbationW is a Brownian sheet. It is well-known that under some simple assumptions, the solutionv ² is aC ^k (S ¹)-valued Markov process for each 0<1/2, whereC (S ¹) is the Banach space of real-valued continuous functions onS ¹ which are Hölder-continuous of exponent . We prove, under some further natural assumptions onf and which imply that the zero element ofC (S ¹) is a globally exponentially stable critical point of the unperturbed equation _t ⁰ = ⁰ +f(x,⁰), that has a unique stationary distributionv ^K, on (C (S ¹), (C ^K (S ¹))) when the perturbation parameter is small enough. Some further calculations show that as tends to zero,v ^K, tends tov ^K,0, the point mass centered on the zero element ofC (S ¹). The main goal of this paper is to show that in factv ^K, is governed by a large deviations principle (LDP). Our starting point in establishing the LDP forv ^K, is the LDP for the process , which has been shown in an earlier paper. Our methods of deriving the LDP forv ^K, based on the LDP for are slightly non-standard compared to the corresponding proofs for finite-dimensional stochastic differential equations, since the state spaceC (S ¹) is inherently infinite-dimensional.This work was performed while the author was with the Department of Mathematics, University of Maryland, College Park, MD 20742, USA     

K1 of Twisted Rings of Polynomials

We prove that for an arbitrary endomorphism of a ring R the group K1(R[t]) splits into the direct sum of K1(R) and Ñil (r;). Moreover, for any such R and Ñil (R; ) is isomorphic to Ñil (R ; ) for some ring R with : R R – an isomorphism.     

Multiple wiener integrals and nonlinear functionals of a nuclear space valued Wiener process

In this work we develop techniques for the study of nonlinear functionals of a -valued Wiener processW _t, where is the dual of a countably Hilbert nuclear space. We construct stochastic integrals and multiple Wiener integrals of operator-valued processes with respect toW _t. The Wiener decomposition of the space of -valued nonlinear functionals ofW _t is established. We also obtain multiple stochastic integral expansions and representations of -valued nonlinear functionals ofW _t as operator-valued stochastic integrals of Itô type.This research was partially supported by CONACYT grants 22537 and PCEXCNA-040651, and Air Force Office of Scientific Research No. F49620 85 C 0144.Presently at CIMAT, A.P. 402 Guanajuato 36000, GTO, México.