Embeddings of Lorentz—Marcinkiewicz spaces with mixed norms

X(Y) f -:X(Y)={fM(×): f_{X(Y)=f(x,.)YX<} . =(0, ), M (×) — , ×, X, Y, Z— . X(Y) Z(×).     

Modular Transformations of Ramanujan's Fifth and Seventh Order Mock Theta Functions

In his last letter to Hardy, Ramanujan defined 17 functions F(q), where |q| < 1. He called them mock theta functions, because as q radially approaches any point e ^2ir (r rational), there is a theta function F _r(q) with F(q) – F _r(q) = O(1). In this paper we obtain the transformations of Ramanujan's fifth and seventh order mock theta functions under the modular group generators + 1 and –1/, where q = e ⁱ. The transformation formulas are more complex than those of ordinary theta functions. A definition of the order of a mock theta function is also given.     

On the almost everywhere convergence of double Fourier series of integrable functions

, . . Q _k [0,2],k=1,2, — . F(x, y)L(T), T=[0, 2]², G(x, y)L(T) , G(x,y)=F(x,y) Q=Q ₁ ×Q ₂ - .     

Remarks on the perturbation of analytic matrix functions III

As in [N], [LN] the Newton diagram is used in order to get information about the first terms of the Puiseux expansions of the eigenvalues () of the perturbed matrix pencilT(, )=A()+B(, ) in the neighbourhood of an unperturbed eigenvalue () ofA(). In fact sufficient conditions are given which assure that the orders of these first terms correspond to the partial multiplicities of the eigenvalue ₀ ofA().     

On some algebras diagonalized by M-bases of ℓ2

We study reflexive algebrasA whose invariant lattices LatA are generated by M-bases of ². Examples are given whereA differs from ( being the rank one subalgebra ofA), and where together with the identity I is not strongly dense inA. For M-bases in a special class, we characterize the cases when they are strong, and also when the identity I is the ultraweak limit of a sequence of contractions in . We show that this holds provided that I is approximable by compact operators inA at any two points of ². We show that the spaceA+^* (where is the annihilator of ) is ultraweakly dense in (²), and characterize the M-bases in this class for which the sum is direct. We give a class of automorphisms ofA which are strongly continuous but not spatial.     

Discrete Spectrum of Differential Operators in Spectral Gaps under Nonnegative Perturbations of High Order

Let A be a self-adjoint elliptic second-order differential operator, let (, ) be an inner gap in the spectrum of A, and let B(t) = A + tW ^* W, where W is a differential operator of higher order. Conditions are obtained under which the spectrum of the operator B(t) in the gap (, ) is either discrete, or does not accumulate to the right-hand boundary of the spectral gap, or is finite. The quantity N(, A, W, ), (, ), > 0 (the number of eigenvalues of the operator B(t) passing the point (, ) as t increases from 0 to ) is considered. Estimates of N(, A, W, ) are obtained. For the perturbation W ^* W of a special form, the asymptotics of N(, A, W, ) as + is given. Bibliography: 5 titles.     

On some approximately balanced combinatorial cooperative games

A model of taxation for cooperativen-person games is introduced where proper coalitions Are taxed proportionally to their value. Games with non-empty core under taxation at rate-balanced. Sharp bounds on in matching games (not necessarily bipartite) graphs are estabLished. Upper and lower bounds on the smallest in bin packing games are derived and euclidean random TSP games are seen to be, with high probability,-balanced for0.06.     

Measure properties of the set of initial data yielding non uniqueness for a class of differential inclusions

We study uniqueness property for the Cauchy problemxV(x), x(0)=, whereVR ⁿR is a locally Lipschitz continuous, quasiconvex function (i.e. the sublevel sets {Vc} are convex) and V(x) is the generalized gradient ofV atx. We prove that if 0V(x) forV(x)b, then the set of initial data {V=b} yielding non uniqueness of solution in a geometric sense has (n–1)-dimensional Hausdorff measure zero in {V=b}.     

Sensitivity analysis of the greatest eigenvalue of a symmetric matrix via the ɛ-subdifferential of the associated convex quadratic form

LetA(·) be ann × n symmetric affine matrix-valued function of a parameteruR ^m , and let (u) be the greatest eigenvalue ofA(u). Recently, there has been interest in calculating (u), the subdifferential of atu, which is useful for both the construction of efficient algorithms for the minimization of (u) and the sensitivity analysis of (u), namely, the perturbation theory of (u). In this paper, more generally, we investigate the Legendre-Fenchel conjugate function of (·) and the -subdifferential (u) of atu. Then, we discuss relations between the set (u) and some perturbation bounds for (u).The author is deeply indebted to Professor J. B. Hiriart-Urruty who suggested this study and provided helpful advice and constant encouragement. The author also thanks the referees and the editors for their substantial help in the improvement of this paper.     

Finite presentability of Steinberg groups over group rings

LetA be a finitely generated commutative -algebra with Krull dimensiond, and let be an arbitrary finite group. It is proved that the Steinberg groupSt _n (A) is finitely presented whenevern4. If, in addition,nd+3, andK ₁ (A) andK ₂ (A) are finitely generated, thenE _n (A) andGL _n (A) are finitely presented.The Project supported by National Natural Science Foundation of China.     

A r (Ω)-Weighted Imbedding Inequalities for A-Harmonic Tensors

We prove the basic A _r ()-weighted imbedding inequalities for A-harmonic tensors. These results can be used to estimate the integrals for A-harmonic tensors and to study the integrability of A-harmonic tensors and the properties of the homotopy operator T: C (D, ^l )C (D, ^l–1).     

Disintegration with respect to L p-density functions and singular measures

Summary Let A be a real or complex commutative ordered algebra with identity and involution. Let denote the set of positive multiplicative linear functionals on A. Equip with the topology of simple convergence. For a fixed non-negative probability measure on the set _p of linear functionals f on A which admit an integral representation of the form with FL _p () (1p) is biuniquely identified with L _p () via the map tfF. The norm on _p under which this map becomes an isometry is characterized and a formula for approximating F is derived. The linear functionals which admit representation of the form with are also characterized and appropriately normed. The theory is applied to solve abstract versions of trigonometric and n-dimensional moment problems as well as provide an alternate point of view to the theory of L _p-spaces. New proofs of classical theorems are offered.Research for this paper was sponsored in part by the Danish Natural Science Research Council (Grant No.511-10302) and in part by the National Science Foundation (Grant No. MCS78-03397)The results contained herein include the proofs of theorems announced in [15]     

Discretely normed Abelian groups

A discrete norm on an Abelian groupA is a non-negative function · A which satisfies the triangle inequality, is homogenous with respect to scaling ofA by and is bounded away from 0 onA/{0}.A countable Abelian group is discretely normed if and only if the group is free.     

A nonlinear equation for linear programming

We present a characterization of the normal optimal solution of the linear program given in canonical form max{c ^tx: Ax = b, x 0}. (P) We show thatx ^* is the optimal solution of (P), of minimal norm, if and only if there exists anR > 0 such that, for eachr R, we havex ^* = (rc – A^t_r)₊. Thus, we can findx ^* by solving the following equation for _r A(rc – A^t_r)₊ = b. Moreover,(1/r) _r then converges to a solution of the dual program.On leave from The University of Alberta, Edmonton, Canada. Research partially supported by the National Science and Engineering Research Council of Canada.     

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.     

Application of Hermite-Mahler polynomials to the approximation of the values ofp-adic exponential function

We shall give a further application of Hermite-Mahler polynomials to the consideration ofp-adic exponential function. An effective lower bound is obtained for max {| – | _p ,P(e )| _p }, where is an algebraic number satisfying || _p <p ^–/(p–1), and 0 is ap-adic number with | | _p depending on the degree of the polynomialPZ[y]. The bound obtained implies the transcendence ofe if ap-adic number satisfying 0 < || _p <p ^–/(p–1) is algebraic or can be well approximated by algebraic numbers.This work was carried out while the author was a research fellow of the Alexander von Humboldt Foundation.     

Some results about the spectrum of commutative Banach algebras under the weak topology and applications

LetA be a commutative Banach algebra with a nonempty spectrum A. By weak we denote the relative weak topology induced on A by (A ^*,A ^**). In this note we study some properties of the topological space (A, weak) and present some applications of the results obtained and tools used to amenability, weakly compact homomorphisms, weakly compact subsets of the spectrum of the uniform algebras and to a characterization of the synthesizable ideals of the algebraA.     

Complete Subobjects of Fuzzy Sets Over MV-Algebras

A subobjects structure of the category -FSet of -fuzzy sets over a complete MV-algebra is investigated, where an -fuzzy set is a pair A = (A, ) such that A is a set and : A × A is a special map. Special subobjects (called complete) of an -fuzzy set A which can be identified with some characteristic morphisms A ^* = (L × L, ) are then investigated. It is proved that some truth-valued morphisms are characteristic morphisms of complete subobjects.     

Latteninterpolation bei einer Funktion von zwei Veränderlichen

Summary In each lattice point , of a rectangular net a numerical valueu is given. A bicubical and twice continuously differentiable function is constructed interpolating the valuesu . The method is known as «spline interpolation».     

Strong rightD-domains

An integral domainR is called rightD-domain if its lattice of all right ideals is distributive. In § 2 a sufficient condition for an integral domainR is given such thatR is a rightD-domain if and only ifR is a leftD-domain. For example each integral domain which is algebraic over its center satisfies this criterion. Furthermore, a rightD-domain is called strong if its lattice of all fractional right ideals is distributive. Examples of strong rightD-domains are given in §4. Each overring of a strong rightD-domain is also a strong rightD-domain whereas arbitrary rightD-domains may have overrings which are no rightD-domains. Section 3 is mainly concerned with the set * of all left invertible fractional right ideals and the mapping :**,II _l ^–1 whereI _l ^–1 denotes the left inverse ofI. For example, equivalent conditions are given for * to be a sublattice of and it is shown that is bijective if and only if (IJ)=(I)+(J) holds for allI,J*. Finally, §5 deals with (right)D-domains which are algebraic over their centersC. It is proved thatR is invariant if and only ifC is a commutative Prüfer domain andR the integral closure ofC inQ(R).