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     

Theorem of Bartle,Dunford, and Schwartz concerning vector measures

We show the existence, for an arbitrary vector measure: x (where X is a Banach space and gs is a-algebra of subsets of a set S) of a functional x X (X is the conjugate space of X) such that is absolutely continuous with respect to _x, _x (E)=(E)>, E gs.Translated from Matematicheskie Zametki, Vol. 7, No. 2, pp. 247–254, February, 1970.     

Finite Extensions of Topogenities

Let X = Y Z, Y Z = Ø, < be a topogenity on Y, a topology on X. A (<, )-extension is a topogenity < on X such that < ¦Y = <, (<) = . We establish some properties of (<, )-extensions and construct all of them in the case of a finite Z.     

Isomorphismen von rechtseiträumen

Spaces called rectangular spaces were introduced in [5] as incidence spaces (P,G) whose set of linesG is equipped with an equivalence relation and whose set of point pairs P² is equipped with a congruence relation , such that a number of compatibility conditions are satisfied. In this paper we consider isomorphisms, automorphisms, and motions on the rectangular spaces treated in [5]. By an isomorphism of two rectangular spaces (P,G, , ) and (P,G, , ) we mean a bijection of the point setP onto P which maps parallel lines onto parallel lines and congruent points onto congruent points. In the following, we consider only rectangular spaces of characteristic 2 or of dimension two. According to [5] these spaces can be embedded into euclidean spaces. In case (P,G, , ) is a finite dimensional rectangular space, then every congruence preserving bijection ofP onto P is in fact an isomorphism from (P,G, , ) onto (P,G, , ) (see (2.4)). We then concern ourselves with the extension of isomorphisms. Our most important result is the theorem which states that any isomorphism of two rectangular spaces can be uniquely extended to an isomorphism of the associated euclidean spaces (see (3.2)). As a consequence the automorphisms of a rectangular space (P,G, , ) are precisely the restrictions (onP) of the automorphisms of the associated euclidean space which fixP as a whole (see (3.3)). Finally we consider the motions of a rectangular space (P,G, , ). By a motion of(P. G,, ) we mean a bijection ofP which maps lines onto lines, preserves parallelism and satisfies the condition((x), (y)) (x,y) for allx, y P. We show that every motion of a rectangular space can be extended to a motion of the associated euclidean space (see (4.2)). Thus the motions of a rectangular space (P,G, , ) are seen to be the restrictions of the motions of the associated euclidean space which mapP into itself (see (4.3)). This yields an explicit representation of the motions of any rectangular plane (see (4.4)).

---

---

Herrn Professor Burau zum 85. Geburtstag gewidmet     

A Characterisation of the Generalized Quadrangle Q (5, q) Using Cohomology

If a GQ S of order (s, s) is contained in a GQ S of order (s, s ²) as a subquadrangle, then for each point X of S\S the set of points of S collinear with X form an ovoid of S. Thas and Payne proved that if S= (4,q),q even, and is an elliptic quadric for each XS\S,thenS (5,q). In this paper we provide a single proof for the q odd and q even cases by establishing a link between the geometry involved and the first cohomology group of a related simplicial complex.     

Über konvergente Zerlegungen von Matrizen

LetA, M, N ben × n real matrices, letA=M–N, letA andM be nonsingular. LetMy0 implyNy0 (where the prime denotes the transpose). ThenAy0 impliesNy0 if and only if the spectral radius (M ^–1 N) ofM ^–1 N is less than one. This complements a result of Mangasarian, given in [1]. The same conclusions are true ifA, M, andN are replaced byA, M, andN respectively. The proof given here does not make use of the Perron-Frobenius theorem.

---

---

Herrn Professor Dr. Johannes Weissinger zum 60. Geburtstag gewidmet     

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.     

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.     

Quadratic spline interpolation on uniform meshes

The interpolation problem at uniform mesh points of a quadratic splines(x _i)=f _i,i=0, 1,...,N ands(x ₀)=f₀ is considered. It is known that s–f=O(h ³) and s–f=O(h ²), whereh is the step size, and that these orders cannot be improved. Contrary to recently published results we prove that superconvergence cannot occur for any particular point independent off other than mesh points wheres=f by assumption. Best error bounds for some compound formulae approximatingf _i andf _i ⁽³⁾ are also derived.     

Existenzaussagen für gewisse Zweipunkt-Randwertaufgaben

Zusammenfassung Für Randwertaufgaben der Form–u–l ₀ ...u–l ₀ ...u=f(x, u) mitl ₀R,lR,f definiert und stetig auf {a<-x<-b, |u|<} wird eine Existenzaussage gewonnen, fallsf inu linear durch die aufeinanderfolgenden Eigenwerte der zugehörigen linearen Aufgabe beschränkt ist. Zum Beweis betrachtet man die äquivalente Hammersteinsche Integralgleichung mit nichtsymmetrischem Kern. Mit Hilfe des Schauderschen Fixpunktsatzes erhält man für diese Integralgleichung Existenzaussagen, welche Ergebnisse von Dolph verallgemeinern.

---

Summary This note contains an existence theorem for a two-point boundary value problem of the form–u–l ₀ u–l ₀ u=f(x, u) wherel ₀R,l ₀R,f defined and continuous on {a<-xb, |u|<} iff is linear bounded inu by the successive eigenvalues of the corresponding linear problem. To prove this result we consider the equivalent Hammerstein integral equation with non-symmetric kernel. Schauders fixpoint principle supplies existence theorems for integral equations of this type which generalize results of Dolph in some sense.

     

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.     

Convexity of Nonlinear Image of a Small Ball with Applications to Optimization

Let f: XY be a nonlinear differentiable map, X,Y are Hilbert spaces, B(a,r) is a ball in X with a center a and radius r. Suppose f (x) is Lipschitz in B(a,r) with Lipschitz constant L and f (a) is a surjection: f (a)X=Y; this implies the existence of >0 such that f (a)^* yy, yY. Then, if r,/(2L), the image F=f(B(a,)) of the ball B(a,) is convex. This result has numerous applications in optimization and control. First, duality theory holds for nonconvex mathematical programming problems with extra constraint x–a. Special effective algorithms for such optimization problems can be constructed as well. Second, the reachability set for small power control is convex. This leads to various results in optimal control.     

Circles and spheres in pseudo-Riemannian geometry

Summary A totally umbilical pseudo-Riemannian submanifold with the parallel mean curvature vector field is said to be an extrinsic sphere. A regular curve in a pseudo-Riemannian manifold is called a circle if it is an extrinsic sphere. LetM be ann-dimensional pseudo-Riemannian submanifold of index (0n) in a pseudo-Riemannian manifold with the metricg and the second fundamental formB. The following theorems are proved. For ₀ = +1 or –1, ₁ = +1, –1 or 0 (2–2 ₀+ ₁2n–2–2) and a positive constantk, every circlec inM withg(c, c) = ₀ andg( _c c, _c c) = ₁ k ² is a circle in iffM is an extrinsic sphere. For ₀ = +1 or –1 (–₀n–), every geodesicc inM withg(c, c) = ₀ is a circle in iffM is constant isotropic and B(x,x,x) = 0 for anyx T(M). In this theorem, assume, moreover, that 1n–1 and the first normal space is definite or zero at every point. Then we can prove thatM is an extrinsic sphere. When = 0 orn, this fact does not hold in general.     

On local uniqueness of the solution of boundary-value problems

In this paper we present conditions under which differentiability of the mappings F: ACⁿ(I) Lⁿ(I) and :ACⁿ(I) Rⁿ at x₀ ACⁿ(I) and the uniqueness of the solution of the boundaryvalue problem u = F(x₀)(u), (x₀)(u) = 0 imply local uniqueness of the solution x₀ of the boundary-value problem x = F(x), (x) = 0.Translated from Matematicheskie Zametki, Vol. 15, No. 6, pp. 891–895, June, 1974.The author thanks A. Ya. Lepin for the help he has given him in the preparation of this paper.     

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.     

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.     

Parties d'ensembles B-normaux

For a given subset A of the set R of real numbers, we defined M(A) as the infimum of all the lengths of the finite intervals I such that there exists a sequence of real numbers in I such that A is the associated normal set B(). We prove that if A is a subset of A, such that all the multiples k.a' belongs to A (for each non zero integer k and each element a of A), then M(A) is less or equal to 2.M(A). Thus the family of the subsets A such that M(A) is finite is closed under intersection and finite union.     

Curves and 0-cycles on projective surfaces

LetC be a smooth curve with ag _n ¹ , i.e. a linear system of dimension 1 and degreen, lying on a smooth projective surfaceS. Let :S P ^N be the map associated to the line bundleK _S +[C] and letD be a general divisor of the given linear systemg _n ¹ . LetV be the linear space spanned by the image ofD through . We study the case in whichn:=dimV=1 and in general we discuss the case in whichn is small. The starting point is an analysis of the adjunction map using Bogomolov-Reider-Serrano techniques; several results from curve theory are also needed.     

α-Convexity of Schlicht functions

Upper and lower bounds are obtained for the radius of-convexity, R, of the schlicht within ¦z¦< 1 functions g(z), g(0)=0, and g(0)=1, for values ranging from 0 to 0.313.... The exact value of R is determined for 0.313... < 1. The results constitute the solution to a problem recently posed by the Roumanianmathematician P. T. Mocanu [1].Translated from Matematicheskie Zametki, Vol. 11, No. 2, pp. 227–232, February, 1972.     

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.