On convection in a fluid filling the cavity of a moving solid body

The problem of simultaneous motion about a fixed point O of a solid body and unevenly heated viscous incompressible fluid completely filling a finite cavity of the body is considered in linear formulation. The center of mass of the system body plus fluid in the state of mechanical equilibrium is assumed to coincide with point O. The theorem on solvability of the Cauchy problem for small unsteady equilibrium perturbations is proved, and normal perturbations and the spectrum of the problem arising in the analysis of such perturbations are investigated. It is shown that the whole spectrum consists of normal eigenvalues and lies in some half-band containing the real axis. It is shown that the respective system of root vectors is complete. Properties of the spectrum and the dependence on Rayleigh numbers are investigated. Rayleigh numbers for which the real parts of eigenvalues are positive,i.e. when the generated oscillating normal perturbations are damped in time, are evaluated in the case of the fluid being heated from below and above.     

Spherical rarefaction flow in the neighbourhood of a reflection point of a “boundary” characteristic

The structure of the one-dimensional steady spherically symmetric rarefaction flow of an ideal (inviscid and non-heat-conducting) gas in the neighbourhood of a reflection point of a “boundary” C⁻-characteristic is investigated in principal order. The “boundary” C⁻-characteristic separates the gas at rest from the flow due to the outward motion of a piston which confines the gas. In the rt plane, where r is the distance from the centre of symmetry and t is the time, the reflection point, which coincides with the point of arrival on the t axis of the boundary characteristic, coincides with the origin of coordinates. The initial velocity of the piston may be zero (for positive acceleration) or finite. When two symmetrical plane pistons advance, the “derived” derivatives of all the flow parameters on the C⁻-characteristic at the origin of coordinates, which in this case lies on the plane of symmetry, are finite. When a cylindrical and spherical piston advance, the derived derivative of the pressure (velocity) of the gas on the C⁻-characteristic at the origin of coordinates becomes minus (plus)-infinity although without intersecting characteristics of the same family [1–4].     

L2-approximation of real-valued functions with interpolatory constraints

We construct the polynomial p_m,n^* of degree m which interpolates a given real-valued function f L²[a, b] at pre-assigned n distinct nodes and is the best approximant to f in the L₂-sense over all polynomials of degree m with the same interpolatory character. It is shown that the L₂-error p_m,n^* − f → 0 as m → ∞ if f C[a, b].     

The thermal equilibrium state of semiconductor devices

The thermal equilibrium state of two oppositely charged gases confined to a bounded domain , m = 1,2 or m = 3, is entirely described by the gases' particle densities p, n minimizing the total energy (p, n). it is shown that for given P, N > 0 the energy functional admits a unique minimizer in {(p, n) ε L²(Ω) x L ²(Ω) : p, n ≥ 0, _Ωp = P, _Ωn = N} and that p, n ε C(Ω) ∩ L^∞(Ω).

The analysis is applied to the hydrodynamic semiconductor device equations. These equations in general possess more than one thermal equilibrium solution, but only the unique solution of the corresponding variational problem minimizes the total energy. It is equivalent to prescribe boundary data for electrostatic potential and particle densities satisfying the usual compatibility relations and to prescribe V^e and P, N for the variational problem.     

The local boundedness of the perturbed motions of a gyroscope in gimbals with dissipative and accelerating forces

The motion of an unbalanced gyroscope in gimbals in a central Newtonian field of forces is considered, taking the masses of the suspension rings into account. It is assumed that there is a moment of forces of viscous friction acting on the axis of rotation of one of the rings, and there is an accelerating (electromagnetic) moment applied to the axis of rotation axis of the other ring. The equations of motion have a partial solution such that the mean velocity of the outer ring is perpendicular to the direction from the centre of gravitation S to the stationary point O, the middle plane of the inner ring contains this direction, and the gyroscope rotates about SO with an arbitrary constant angular velocity.     

Evolution of a regular precession of a solid body carrying a visco-elastic disk

The motion of inertia is studied of a system consisting of an axisymmetric solid body with fixed point and a homogeneous visco-elastic disk lying in the equatorial plane of the ellipsoid of inertia of the solid body (the center of disk coincides with the fixed point). In the case of a solid disk immobilized relative to the solid body the system accomplishes a regular precession (the case of Euler motion of a symmetric solid body with a fixed point /1/). The deformation of the disk is taking place in the plane of the disk, and is accompanied by energy dissipation is the cause of the regular precession finishing by steady rotation about the vector of the moment of momentum of the system /2/.     

The kernels of irreducible representations of the general linear group

A derivation for the kernel of the irreducible representation T_(λ) of the general linear group GL_n(C) is given. This is then applied to the problem of determining necessary and sufficient conditions under which T_(λ)(A) = T_(λ)(B), where A and B are linear transformations, not necessarily invertible. Finally, conditions are obtained under which normality of T_(λ)(A) implies normality of A.     

Oscillation criteria for second-order nonlinear differential equations with integrable coefficient

In this paper, we consider the second-order nonlinear differential equation

[a(t)|y′(t)|^σ−1y′(t)|′+q(t)f(y(t))=r(t)

where σ > 0 is a constant, a C(R, (0, ∞)), q C(R, R), f C(R, R), xf(x) > 0, f′(x) ≥ 0 for x ≠ 0. Some new sufficient conditions for the oscillation of all solutions of (*) are obtained. Several examples which dwell upon the importance of our results are also included.     

Large eigenvalues of the laplacian

Let G be a simple graph on n vertices and let L=L(G) be the Laplacian matrix of G corresponding to some ordering of the vertices. It is known that λ≤n for any eigenvalue λ of L. In this note we characterize when n is an eigenvalue of L with multiplicity m.     

Linear circulant matricesover a finite field

Rings of polynomials R_N = Z_p[x]/x^N − 1 which are isomorphic to Z_P^N are studied, where p is prime and N is an integer. If I is an ideal in R_N, the code K whose vectors constitute the isomorphic image of I is a linear cyclic code. If I is a principle ideal and K contains only the trivial cycle 0 and one nontrivial cycle of maximal least period N, then the code words of K/ 0 obtained by removing the zero vector can be arranged in an order which constitutes a linear circulant matrix, C. The distribution of the elements of C is such that it forms the cyclic core of a generalized Hadamard matrix over the additive group of Z_Pp. A necessary condition that C = K/ 0 be linear circulant is that for each row vector v of C, the periodic infinite sequence a(v) produced by cycling the elements of v be period invariant under an arbitrary permutation of the elements of the first period. The necessary and sufficient condition that C be linear circulant is that the dual ideal generated by the parity check polynomial h(χ) of K be maximal (a nontrivial, prime ideal of R_N), with N = p^k − 1 and k = deg (h(χ)).     

A note on the perron root of a weighted t-th Order mean of nonnegative matrices

In this paper we compare the spectral radius of a weighted additive mean L of order t involving Hadamard powers of nonnegative matrices with the corresponding mean R of the respective spectral radii especially, when all matrices are row stochastic, we obtain L≥R for t≥1 and L≤R for 0 ≤ t ≤ 1.     

On the fast rotation of a heavy rigid body about a fixed point

Fast rotation of a symmetric heavy rigid body about a fixed point (the kinetic energy is large in comparison with the potential) is considered in cases when the resonance equations of Euler's motion /1, 2/ are approximately satisfied at the initial instant (the body is assumed to effect turns, ε is small, during time . It is shown that during that time ( ) a finite deviation from inertial motion takes place. Such mechanical effect is similar to the precession of a fast top, except that it is more “early” (in the considered time scale the top precession is slow). Approximate equations that define the motion in the principal order and are integrable in quadratures. The formal process of derivation of higher approximations is indicated, and a geometric interpretation of motions is given.     

Existence and uniqueness of positive solutions to a linear transport equation in a metric space

The linear functional equation ∂_tz = L(z) − rz is considered. The linear operator L acts on a linear metric space of real functions z depending on t and on a parameter ω belonging to a subset of ^m. The existence and uniqueness to a nonnegative solution of the initial value problem is shown. An application to a kinetic equation is performed.     

On-line construction of the upper envelope of triangles and surface patches in three dimensions

In this paper, we describe a randomized incremental algorithm for computing the upper envelope (i.e., the pointwise maximum) of a set of n triangles in three dimensions. This algorithm is an on-line algorithm. It is structure-sensitive: the expected cost of inserting the n-th triangle is O(log nΣ_r=1ⁿτ(r)/r²) and depends on the expected size τ(r) of an intermediate result for r triangles. Since τ(r) can be Θ(r²(r)) in the worst case, this cost is bounded in the worst case by O(n(n) log n). (The expected behaviour is analyzed by averaging over all possible orderings of the input.) The main new characteristics is the use of a two-level history graph. (The history graph is an auxiliary data structure maintained by randomized incremental algorithms.) Our algorithm is fairly simple and appears to be efficient in practice. It extends to surfaces and surface patches of fixed maximum algebraic degree.     

Further ways to approximate the exponential of a matrix

A product formula is established, and applied to approximate exp(A) in terms of the exponentials of the components of a splitting,or additive decomposition, of A. In the cases considered, these latter exponentials are given by explicit formulae. Thus, the exponentials of L, D, U in the splitting A= L + D + U are easily computed, since L and U are nilpotent and D is diagonal. A formula for the exponential of a rank one matrix is given, and may be used in conjunction with any one of a number of expressions of A as a sum of matrices of rank one. A priori estimates of the relative errors in the approximations thus obtained are supplied. The methods described were suggested by, and are extensions of the "splitting" methods described by C. Moler and C. Van Loan [SIAM Review 20 (1978), p. 826].     

Choosability of planar graphs

A graph G = G(V, E) with lists L(v), associated with its vertices v V, is called L-list colourable if there is a proper vertex colouring of G in which the colour assigned to a vertex v is chosen from L(v). We say G is k-choosable if there is at least one L-list colouring for every possible list assignment L with L(v) = k v V(G).

Now, let an arbitrary vertex v of G be coloured with an arbitrary colour f of L(v). We investigate whether the colouring of v can be continued to an L-list colouring of the whole graph. G is called free k-choosable if such an L-list colouring exists for every list assignment L (L(v) = k v V(G)), every vertex v and every colour f L(v). We prove the equivalence of the well-known conjecture of Erd s et al. (1979): “Every planar graph is 5-choosable” with the following conjecture: “Every planar graph is free 5-choosable”.     

Energy dissipation bounds for hear flows for a model in large eddy simulation

This report gives an upper bound for the time average of the energy dissipation rate, including energy dissipation due to viscous dissipation and turbulent diffusion in a model for the motion of large eddies in a turbulent flow. The bound is only a function of the reference velocity U, the domain diameter L, the eddy size δ, and surprisingly, the Reynolds number.     

On L(d,1)-labelings of graphs

Given a graph G and a positive integer d, an L(d,1)-labeling of G is a function f that assigns to each vertex of G a non-negative integer such that if two vertices u and v are adjacent, then |f(u)−f(v)|d; if u and v are not adjacent but there is a two-edge path between them, then |f(u)−f(v)|1. The L(d,1)-number of G, λ_d(G), is defined as the minimum m such that there is an L(d,1)-labeling f of G with f(V){0,1,2,…,m}. Motivated by the channel assignment problem introduced by Hale (Proc. IEEE 68 (1980) 1497–1514), the L(2,1)-labeling and the L(1,1)-labeling (as d=2 and 1, respectively) have been studied extensively in the past decade. This article extends the study to all positive integers d. We prove that λ_d(G)Δ²+(d−1)Δ for any graph G with maximum degree Δ. Different lower and upper bounds of λ_d(G) for some families of graphs including trees and chordal graphs are presented. In particular, we show that the lower and the upper bounds for trees are both attainable, and the upper bound for chordal graphs can be improved for several subclasses of chordal graphs.     

ℓ-homology of right-angled Coxeter groups based on barycentric subdivisions

Associated to any finite flag complex L there is a right-angled Coxeter group W_L and a contractible cubical complex Σ_L on which W_L acts properly and cocompactly, and such that the link of each vertex is L. It follows that if L is a triangulation of , then Σ_L is a contractible n-manifold. We establish vanishing (in a certain range) of the reduced ℓ²-homology of Σ_L in the case where L is the barycentric subdivision of a cellulation of a manifold. In particular, we prove the Singer Conjecture (on the vanishing of the reduced ℓ²-homology except in the middle dimension) in the case of Σ_L where L is the barycentric subdivision of a cellulation of , n=6,8.