The theorem of the arithmetic and geometric means and its application to a problem in gas dynamics

Zusammenfassung Durch das Theorem der arithmetischen und geometrischen Mitte kann man den maximalen Wert des Produktes von Variablen, die einer linearen Beschränkung unterworfen sind, feststellen. Die vorliegende Arbeit untersucht einige einfache Versionen des Theorems. Die allgemeinste Version ergibt den maximalen Wert des Produktes vonn Variablen, wenn jede Variable zu einer höheren Potenz erhoben wird und die Variablen einer Gruppe vonr linearen Beschränkungen unterworfen sind (r<n). Das Theorem wird dann auf das Problem des maximalen totalen Druckwiedergewinns über einem Stosswellensystem angewandt und schliesslich wird daraus ein ziemlich allgemeines Theorem über das adiabatische Fliessen eines Gases hergeleitet.

---

List of Symbols a _ij given positive constants - b , - f _i , - g _i , - h , - k , - m the arithmetic mean ofn variables, see Equation (2) - M the Mach number - n the number of variables - P _T the total pressure - q the geometric mean ofn variables, see Equation (1) - r the number of constraining conditions on the function to be maximised - R the gas constant - S the entropy - x _i for the Oswatitsch analysis, otherwisex _i represents any variable - y _i - ratio of specific heats - _j Lagrange multiplier - _i given positive constant - W _i shock wave angle of (i–1)th shock     

Commutator Subgroups of the Extended Hecke Groups \bar H(\lambda _q )

Hecke groups H(_q) are the discrete subgroups of generated by S(z) = –(z+ _q)^–1and T(z) = –1/z. The commutator subgroup of H(_q), denoted by H(_q), is studied in [2]. It was shown that H(_q) is a free group of rank q– 1.Here the extended Hecke groups obtained by adjoining to the generators of H(_q) are considered. The commutator subgroup of is shown to be a free product of two finite cyclic groups. Also it is interesting to note that while in the H(_q) case, the index of H(_q) is changed by q, in the case of this number is either 4 for qodd or 8 for qeven.     

Linear extension majority cycles on partial orders

Let P define a partial order on a set X of cardinalityn. A linear extensionL ofP is a linear order withP G L, and is the set of all linear extensions ofP. denotes that subset of withxLy forx, y X. A linear extension majority (LEM) relationM onX is defined byxMy if . Similarly,M is defined byxMy if . An LEM cycle exists if there arex, y, z X withxMyMzMx, and an LEM quasi-cycle exists ifxMyMzMx and the equality part of the definition ofM holds for exactly one pair in the triple. The study shows that no semiorders have LEM cycles or LEM quasi-cycles, and that every interval order has a maximal element under theM relation. LEM cycles and LEM quasi-cycles are also considered for partial orders with specific structures. Simulation is used to determine the relative likelihood with which LEM cycles and LEM quasi-cycles are observed when connected partial orders are generated at random by a specific procedure.Dr. Gehrlein's research was supported through a fellowship from the Center for Advanced Study of the University of Delaware.     

On Some Proximinal Subspaces of Modular Spaces

Let (, , ) be a complete measure space, L⁰ the vector lattice of -measurable real functions on , : L⁰ [0, )] a lattice semimodular, the corresponding modular space, S₀ the ideal generated by and 0,{\text{ }}\exists {\text{ }}s \in {\text{ }}S_{\text{0}} {\text{ such that }}\rho \left( {\frac{{x - s}}{\user1{\lambda }}} \right) < \infty } \right\}$$ " align="middle" border="0"> . In X consider the distance 0:\rho \left( {\frac{{x - y}}{\user1{\lambda }}} \right) \leqq \user1{\lambda }} \right\}$$ " align="middle" border="0"> and, if is convex, the distances d_L, d_o subordinated to the Luxemburg and Amemiya-Orlicz norms, respectively. We give necessary and sufficient conditions for H(S_o) in order to be proximinal in X with the distances d, d_L and d_o.     

The type set for some measures on \mathbb{R}^{2n} with n-dimensional support

Let be realhomogeneous functions in ofdegree and let bethe Borel measure on given by

The Limit of Lebesgue Constants for Summation Methods of the Fourier―Legendre Series Defined by a Multiplier Function

Let C[-1,1] be the space of continuous functions f:[-1,1] with the uniform norm, let _Pk be the Legendre polynomials such that _Pk (1)=1, and let _J0 be the Bessel function of zero index. We consider sequences of linear operators (summation methods) _Un:C [-1,1] C[-1,1] defined by a multiplier function as follows:

Hiding Cliques for Cryptographic Security

We demonstrate how a well studied combinatorial optimizationproblem may be used as a new cryptographic primitive. The problemin question is that of finding a "large" clique in a randomgraph. While the largest clique in a random graph with nvertices and edge probability p is very likely tobe of size about , it is widely conjecturedthat no polynomial-time algorithm exists which finds a cliqueof size with significantprobability for any constant > 0. We presenta very simple method of exploiting this conjecture by hidinglarge cliques in random graphs. In particular, we show that ifthe conjecture is true, then when a large clique—of size,say, is randomlyinserted (hidden) in a random graph, finding a clique ofsize remains hard.Our analysis also covers the case of high edge probabilitieswhich allows us to insert cliques of size up to . Our result suggests several cryptographicapplications, such as a simple one-way function.     

On the positive solutions of some nonlinear diffusion problems

We consider the nonlinear diffusion equationu _t –a(x, u _{x x} )+b(x, u)=g(x, u) with initial boundary conditions andu(t, 0)=u(t, 1)=0. Here,a, b, andg denote some real functions which are monotonically increasing with respect to the second variable. Then, the corresponding stationary problem has a positive solution if and only if(0, ^*) or(0, ^*]. The endpoint ^* can be estimated by , where ₁ u denotes the first eigenvalue of the stationary problem linearized at the pointu. The minimal positive steady state solutions are stable with respect to the nonlinear parabolic equation.

---

Zusammenfassung Wir betrachten die nichtlineare Diffusionsgleichungu _t –a(x, u _x ) _x +b(x, u)=g(x, u) mit Randbedingungen undu (t, 0)=u (t, 1)=0. Dabei sinda, b, undg monoton wachsende Funktionen bzgl. des zweiten Argumentes. Das zugehörige stationäre Problem hat genau dann eine positive Lösung, falls (0, ^*) oder(0, ^*]. Der Endpunkt ^* kann durch abgeschätzt werden, wobei ₁ u den ersten Eigenwert des an der Stelleu linearisierten stationären Problems bezeichnet. Die minimale positive stationäre Lösung ist stabil bzgl. der obigen nichtlinearen parabolischen Gleichung.

     

On T 3-Topological Space Omitting Many Cardinals

We prove that for every (infinite cardinal) there is a T ₃-space X with clopen basis, points such that every closed subspace of cardinality < has cardinality < .     

The spectra of closed interpolated operators

Let (E ₀,E ₁) be a compatible couple of Banach spaces, and letE : 0Re1 be the complex interpolation spaces ofE ₀,E ₁. LetT be a closed linear operator onE ₀+E ₁, then the restrictionT ofT to eachE is closed. If we denote by the extended spectrum ofT inE , then, under appropriate conditions, it is shown that the map is an analytic multifunction in the strip {C0<Re<1}. We use these results to give some applications to the spectral theory of semigroups.     

On a family of extremum problems and the properties of an integral

The following extremum problem is studied:

A Delocalization Property for Assembly Maps and an Application in Algebraic K-Theory of Group Rings

Let be a group, F the free -module on the set of finite order elements in , with acting by conjugation, and the ring extension of by % MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeaacaGaaiaabeqaamaabaabaaGcbaWaaiWaaeaada% WcaaqaaiaaigdaaeaatCvAUfKttLearyGqLXgBG0evaGqbciab-5ga% UbaaieaacaGFLbGaaGOmaiaabc8acqWFPbqAcaqGVaGae8NBa42aaq% qaaeaacqGHdicjcqaHZoWzcqGHiiIZcqqHtoWrcaqGGaGaae4Baiaa% bAgacaqGGaGaae4BaiaabkhacaqGKbGaaeyzaiaabkhacaqGGaGae8% NBa4gacaGLhWoaaiaawUhacaGL9baaaaa!563E!\[\left\{ {\frac{1}{n}e2{\text{\pi }}i{\text{/}}n\left| {\exists \gamma \in \Gamma {\text{ of order }}n} \right.} \right\}\]. For a ring R with , we build an injective assembly map , detected by the Dennis trace map. This is proved by establishing a delocalization property for the assembly map in Hochschild homology, namely providing a gluing of simpler assembly maps (i.e. localized at the identity of ) to build , and by delocalizing a known assembly map in K-theory to define . We also prove the delocalization property in cyclic homology and in related theories.     

Curves on Quasi-Schemes

This paper concerns curves on noncommutative schemes, hereafter called quasi-schemes. Aquasi-scheme X is identified with the category ofquasi-coherent sheaves on it. Let X be a quasi-scheme having a regularly embeddedhypersurface Y. Let C be a curve on X which is in good position withrespect to Y (see Definition 5.1) – this definition includes a requirement that Xbe far from commutative in a certain sense. Then C is isomorphic to , where n is the number of points of intersection of Cwith Y. Here , or rather , is the quotient category -graded modules over the commutative polynomial ring, modulo the subcategory ofmodules having Krull dimension n – 2. This is a hereditary category whichbehaves rather like , the category of quasi-coherentsheaves on .     

Une interprétation du théorème de colonnetti

Summary Considering an elastic-plastic continuum, the plastic deformations of which are given, it is prooved in a general way thatColonnetti's function (4), where ( _x , ..., _xy , ...) is the stress tensor, ( ) the plastic-strain tensor and the elastic potential energy, differs only by a constant value from the fictitious strain energy evaluated from the total strain as if it were purely elastic. Consequently, both functions are simultaneously minima andColonnetti's theorem can be rephrased in terms of fictitious (elastic) strain energy.     

Continuity Conditions for a Class of Gaussian Chaos Processes Related to Continuous Additive Functionals of Lévy Processes

Let be sequences of real numbers which are symmetric in k. Let be independent sequences of independent normal random variables with mean zero and variance one. For each fixed choice of we consider

An Application of U(g)-bimodules to Representation Theory of Affine Lie Algebras

Let be the affine Lie algebra associated to the simple finite-dimensional Lie algebra . We consider the tensor product of the loop -module associated to the irreducible finite-dimensional -module V() and the irreducible highest weight -module L _k,. Then L _k, can be viewed as an irreducible module for the vertex operator algebra M _k,0. Let A(L _k,) be the corresponding -bimodule. We prove that if the -module is zero, then the -module is irreducible. As an example, we apply this result on integrable representations for affine Lie algebras.     

Galois Cohomology in Degree Three and Homogeneous Varieties

The central result of this paper is the following generalization of a result of the author on products of Severi–Brauer varieties. Let G be a semi-simple linear algebraic group over a field k. Let V be a generalized flag variety under G. Then there exist finite extensions k_i of k for 1im, elements _i in Br k_i and a natural exact sequence

Weakly Periodic Sequences of Bounded Linear Transformations: a Spectral Characterization

Let X and Y be two Hilbert spaces, and the space of bounded linear transformations from X into Y. Let {A } be a weakly periodic sequence of period T. Spectral theory of weakly periodic sequences in a Hilbert space is studied by H. L. Hurd and V. Mandrekar (1991). In this work we proceed further to characterize {A _n} by a positive measure and a number T of -valued functions a ₀, . . . ,a _T–1; in the spectral form , where and is an -valued Borel set function on [0, 2) such that      

On the dimension of the cartesian product of relations and orders

It is known that for incidence structures and , max , wheref dim stands for Ferrers relation. We shall show that under additional assumptions on and , both bounds can be improved. Especially it will be shown that the square of a three-dimensional ordered set is at least four-dimensional.     

A Necessary and Sufficient Condition for the Existence of Some Ternary [n, k, d] Codes Meeting the Greismer Bound

Let k and d be any integers such that k 4 and . Then there exist two integers and in {0,1,2} such that . The purpose of this paper is to prove that (1) in the case k 5 and (,) = (0,1), there exists a ternary code meeting the Griesmer bound if and only if and (2) in the case k 4 and (,) = (0,2) or (1,1), there is no ternary code meeting the Griesmer bound for any integers k and d and (3) in the case k 5 and , there is no projective ternary code for any integers k and such that 1k-3, where and for any integer i 0. In the special case k=6, it follows from (1) that there is no ternary linear code with parameters [233,6,154] , [234,6,155] or [237,6,157] which are new results.