On the Gap between the First Eigenvalues of the Laplacian on Functions and p-Forms

We study the first positive eigenvalue ^(p) ₁(g) of the Laplacian on p-forms for a connected oriented closed Riemannianmanifold (M, g) of dimension m. We show that for 2 p m – 2 a connected oriented closed manifold M admits three metrics g _i (i = 1, 2, 3) such that ^(p) ₁(g ₁)> ⁽⁰⁾ ₁(g ₁),^(p) ₁(g ₂) < ⁽⁰⁾ ₁(g ₂) and^(p) ₁(g ₃)= ⁽⁰⁾ ₁(g ₃).Furthermore, if (M, g) admits a nontrivial parallel p-form,then ^(p) ₁ ⁽⁰⁾ ₁ always holds.     

A trust region method for implicit orthogonal distance regression

Let a family of curves or surfaces be given in implicit form via the model equationf (x,)=0, wherex ^d and ^m is a parameter vector. We present a trust region algorithm for solving the problem:find a parameter vector ^* such that the contour f(x, ^*)=0is a best fit to given data {z_i} _i ⁿ =1 ^d in a least squares sense. Specifically, we seek ^* and {x _i ^* } _i ⁿ =1 such thatf (x _i ^* , ^*) = 0,i=1,...,n, and _i=1 ⁿ z _i –x _i ^* ₂ ² is minimal. The termorthogonal distance regression is used to describe such constrained nonlinear least squares problems.     

On the asymptotic equivalence ofL pmetrics for convergence to normality

Summary This paper is concerned with the rate of convergence to zero of theL _pmetrics _np1p, constructed out of differences between distribution functions, for departure from normality for normed sums of independent and identically distributed random variables with zero mean and unit variance. It is shown that the _np are, under broad conditions, asymptotically equivalent in the strong sense that, for 1p, p, _np/_np is universally bounded away from zero and infinity asn.     

Random Walks Crossing High Level Curved Boundaries

Let {S _n} be a random walk, generated by i.i.d. increments X _i which drifts weakly to in the sense that as n . Suppose k0, k1, and E|X ₁|^1\k = if k>1. Then we show that the probability that S. crosses the curve nan ^K before it crosses the curve n –an ^k tends to 1 as a . This intuitively plausible result is not true for k = 1, however, and for 1/2 <k<1, the converse results are not true in general, either. More general boundaries g(n) than g(n) = n ^k are also considered, and we also prove similar results for first passages out of regions like { (n, y): n1, |y| (a + n) ^k } as a .     

Einschließungsaussagen für gewöhnliche Differentialoperatoren

Summary For differential operatorsM of second order (as defined in (1.1)) we describe a method to prove Range-Domain implications—Mu–u and an algorithm to construct these functions , , , . This method has been especially developed for application to non-inverse-positive differential operators. For example, for non-negativea ₂ and for given functions = we require =C ₀[0, 1] C ₂([0, 1]–T) whereT is some finite set), (M) (t)(t), (t[0, 1]–T) and certain additional conditions for eachtT. Such Range-Domain implications can be used to obtain a numerical error estimation for the solution of a boundary value problemMu=r; further, we use them to guarantee the existence of a solution of nonlinear boundary value problems between the bounds- and .     

A spectral mapping theorem for scalar-type spectral operators in locally convex spaces

LetT be a continuous scalar-type spectral operator defined on a quasi-complete locally convex spaceX, that is,T=fdP whereP is an equicontinuous spectral measure inX andf is aP-integrable function. It is shown that (T) is precisely the closedP-essential range of the functionf or equivalently, that (T) is equal to the support of the (unique) equicontinuous spectral measureQ ^* defined on the Borel sets of the extended complex plane ^* such thatQ ^*({})=0 andT=zdQ _*(z). This result is then used to prove a spectral mapping theorem; namely, thatg((T))=(g(T)) for anyQ ^*-integrable functiong: ^{* *} which is continuous on (T). This is an improvement on previous results of this type since it covers the case wheng((T))/{} is an unbounded set in a phenomenon which occurs often for continuous operatorsT defined in non-normable spacesX.     

Interpolation theorems for a family of spanning subgraphs

Let G be a graph with order p, size q and component number . For each i between p – and q, let be the family of spanning i-edge subgraphs of G with exactly components. For an integer-valued graphical invariant if H H is an adjacent edge transformation (AET) implies |(H)-(H^')|1 then is said to be continuous with respect to AET. Similarly define the continuity of with respect to simple edge transformation (SET). Let M _j() and m _j() be the invariants defined by . It is proved that both M _p–() and m _p–(;) interpolate over , if is continuous with respect to AET, and that M _j() and m _j() interpolate over , if is continuous with respect to SET. In this way a lot of known interpolation results, including a theorem due to Schuster etc., are generalized.     

G-closure of some particular sets of admissible material characteristics for the problem of bending of thin elastic plates

In Ref. 1, we considered theG-closure of some initially given arbitrary setU of the positive-definite, symmetrical plane tensorsD of the 2nd rank, connected with the differential operator ·D · in two dimensions. Here, theG-closure procedure is applied to the 4th-order operator ··D ·· in a plane, arising in the theory of plates and containing self-adjoint tensorsD of the 4th rank. The paper generalizes some results obtained earlier in Refs. 2 and 3. The complete solution of the general problem of regularization, which presupposes the arbitrary character of the initially given setU, is not yet obtained.     

Generalizations of the projection method with applications to SOR theory for hermitian positive semidefinite linear systems

Summary Ann×n complex matrixB is calledparacontracting if B₂1 and 0x[N(I-B)]Bx₂<x₂. We show that a productB=B _k B _k–1 ...B ₁ ofk paracontracting matrices is semiconvergent and give upper bounds on the subdominant eigenvalue ofB in terms of the subdominant singular values of theB _i 's and in terms of the angles between certain subspaces. Our results here extend earlier results due to Halperin and due to Smith, Solomon and Wagner. We also determine necessary and sufficient conditions forn numbers in the interval [0, 1] to form the spectrum of a product of two orthogonal projections and hence characterize the subdominant eigenvalue of such a product. In the final part of the paper we apply the upper bounds mentioned earlier to provide an estimate on the subdominant eigenvalue of the SOR iteration matrix associated with ann×n hermitian positive semidefinite matrixA none of whose diagonal entries vanish.The work of this author was supported in part by NSF Research Grant No. MCS-8400879     

Shape-preserving Kolmogorov widths of classes of <Emphasis Type="Italic">s</Emphasis>-monotone integrable functions

Let s ₀ and let ₊ ^s be the set of functions x defined on a finite interval I and such that, for all collections of s + 1 pairwise different points t ₀,..., t _s I, the corresponding divided differences [x; t ₀,...,t _s ] of order s are nonnegative. Let ₊ ^s B _{p +} ^s B _p, 1 p where B _p is a unit ball in the space L _p, and let ₊ ^s L _{q +} ^s L _q, 1 q . For every s 3 and 1 q p , we determine the exact orders of the shape-preserving Kolmogorov widths {x - y} \right\ L_q , $$]]>, where M ⁿ is the collection of all affine linear manifolds M ⁿ in L _q such that dim M ⁿ n and M ⁿ ₊ ^s L _q .Translated from Ukrainskyi Matematychnyi Zhurnal, Vol. 56, No. 7, pp. 901–926, July, 2004.     

Determinants in net subgroups

Suppose R is a commutative ring with 1, =( _ij ) is a fixedD-net of ideals of R of ordern, and G is the corresponding net subgroup of the general linear group GL (n, R). There is constructed for a homomorphismdet of the subgroup G() into a certain Abelian group (). Let I be the index set {1...,n}. For each subset I let ()= _{ij ji} , wherei, ranges over all indices in and j independently over the indices in the complement I ((I) is the zero ideal). Letdet (a) denote the principal minor of order ||n of the matrixa G () corresponding to the indices in , and let' () be the Cartesian product of the multiplicative groups of the quotient rings R/() over all subsets I. The homomorphismdet is defined as follows: It is proved that if R is a semilocal commutative Bezout ring, then the kernelKer det coincides with the subgroup E() generated by all transvections in G(). For these R is also definedTm det .Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 114, pp. 37–49, 1982.     

Arithmetic of the Modular Function j1,8

Since the genus of the modular curve X_1 (8) = _1 (8) * is zero, we find a field generator j _1,8(z) = ₃(2z)/₃(4z) (₃(z) := _n ein ^2z ) such that the function field over X ₁(8) is (j _1,8). We apply this modular function j _1,8 to the construction of some class fields over an imaginary quadratic field K, and compute the minimal polynomial of the singular value of the Hauptmodul N(j _1,8) of (j _1,8).     

Hauptregelflächen einer Verallgemeinerten Regelfläche mit Zentralregelfläche

We consider generalized ruled surfaces in euclidean n-space ⁿ with k-dimensional generators and central ruled surface of dimension k–m+1 (O < m < k). Every orthogonal trajectoryy of the generators of defines a principal ruled surface _y with generators totally orthogonal to the generators of . In each generator of _y there exists an ellipsoid — called the indicatrix of the distribution parameters — which is defined by the distribution parameters of the tangent spaces to or _y. Formulars will be given for the distribution parameters of and _y .

---

---

Herrn Prof. Dr. H.R. Müller zum 70. Geburtstag     

A comparison theorem for the mean exit time from a domain in a Kähler manifold

Let M be a Kähler manifold with Ricci and antiholomorphic Ricci curvature bounded from below. Let be a domain in M with some bounds on the mean and JN-mean curvatures of its boundary . The main result of this paper is a comparison theorem between the Mean Exit Time function defined on and the Mean Exit Time from a geodesic ball of the complex projective space ⁿ () which involves a characterization of the geodesic balls among the domain . In order to achieve this, we prove a comparison theorem for the mean curvatures of hypersurfaces parallel to the boundary of , using the Index Lemma for Submanifolds.Work partially supported by a DGICYT Grant No. PS87-0115-C03-01.     

On Localization of Connective Covers

A result of Neisendorfer says that, for every connected p-complete finite complex Y with ₂Y torsion, the p-completion of P_{K(/p, 1)} (Ym) and Y are of the same homotopy type for any positive integer m. Here, P_{K(/p, 1)}(Ym) is the periodization functor of Bousfield and Ym) is the m-connective cover of the space Y. The proof of this result depends on Millers Theorem of Sullivans conjecture. The aim in this paper is to study the phenomenon without the use of Millers Theorem.AMS Subject Classification (2000): 55P60     

Sur certaines algèbres associées à une mesure de Guelfand

Let be a Guelfand measure (cf. [A, B]) on a locally compact groupG DenoteL ₁ (G)=*L ₁(G)* the commutative Banach algebra associated to . We show thatL ₁ (G) is semi-simple and give a characterization of the closed ideals ofL ₁ (G). Using the -spherical Fourier transform, we characterize all linear bounded operators inL ₁ (G) which are invariants by -translations (i.e. such that ¹(( _x f) )=( _x ((f)) for eachxG andfL ₁ (G); where _x f(y)=f(xy); x,y G). WhenG is compact, we study the algebraL ₁ (G) and obtain results analogous to ones obtained for the commutative case: we show thatL ₁ (G) is regular, all closed sets of its Guelfand spectrum are sets of synthesis and establish theorems of harmonic synthesis for functions inL _p (G) (p=1,2 or +).

     

Transfinite interpolation on the medians of a triangle and best L 1-approximation

Let be a triangle in and let be the set of its three medians. We construct interpolants to smooth functions using transfinite (or blending) interpolation on The interpolants are of type f(₁)+g(₂)+h(₃), where (₁,₂,₃) are the barycentric coordinates with respect to the vertices of . Based on an error representation formula, we prove that the interpolant is the unique best L¹-approximant by functions of this type subject the function to be approximated is from a certain convexity cone in C³().Received: 17 December 2003     

Non removable edges in 3-connected cubic graphs

LetG be a cyclicallyk-edge-connected cubic graph withk 3. Lete be an edge ofG. LetG be the cubic graph obtained fromG by deletinge and its end vertices. The edgee is said to bek-removable ifG is also cyclicallyk-edge-connected. Let us denote by S _k (G) the graph induced by thek-removable edges and by N _k (G) the graph induced by the non 3-removable edges ofG. In a previous paper [7], we have proved that N ₃(G) is empty if and only ifG is cyclically 4-edge connected and that if N ₃(G) is not empty then it is a forest containing at least three trees. Andersen, Fleischner and Jackson [1] and, independently, McCuaig [11] studied N ₄(G). Here, we study the structure of N _k (G) fork 5 and we give some constructions of graphs such thatN _k (G) = E(G). We note that the main result of this paper (Theorem 5) has been announced independently by McCuaig [11].

---

Résumé SoitG un graphe cubique cyliquementk-arête-connexe, aveck 3. Soite une arête deG et soitG le graphe cubique obtenu à partir deG en supprimante et ses extrémités. L'arêtee est ditek-suppressible siG est aussi cycliquementk-arête-connexe. Désignons par S _k (G) le graphe induit par les arêtesk-suppressibles et par N _k (G) celui induit par les arêtes nonk-suppressibles. Dans un précédent article [7], nous avons montré que N ₃(G) est vide si et seulement siG est cycliquement 4-arête-connexe et que si N ₃(G) n'est pas vide alors c'est une forêt possédant au moins trois arbres. Andersen, Fleischner and Jackson [1] et, indépendemment, McCuaig [11] ont étudié N ₄(G). Ici, nous étudions la structure de N _k (G) pourk 5 et nous donnons des constructions de graphes pour lesquelsN _k (G) = E(G). Nous signalons que le résultat principal de cet article (Théorème 5) a été annoncé indépendamment par McCuaig [11].

     

Second-Order Elliptic Equation of Divergence Form Having a Compactly Supported Solution

An equation of the form -div (gu) = u has a solution u of class C ₀ , where g is a real positive definite matrix-valued function belonging to the Holder classes with exponent less than 1. From the spectral point of view, this means that there exists a Schrodinger operator with periodic metric and the spectrum of this operator contains an eigenvalue of infinite multiplicity. Bibliography: 9 titles.     

On the exactness of a theorem of Mazur and Orlicz

For a preassigned unbounded sequence {S_n} of complex numbers, and preassigned complex numbers z₁ and z₂z₁ we construct: 1) regular matrices A=a_nk and B=b_nk such that the same bounded sequences are summable by these matrices and that , and ; 2) regular matrices A⁽¹⁾)=a _nk ⁽¹⁾ and B⁽¹⁾=b _nk ⁽¹⁾ such that B⁽¹⁾ A⁽¹⁾, and, . Our results show that the well known theorem of MazurOrlicz on the bounded consistency of two regular matrices, one of which is boundedly stronger than the other, is exact.Translated from Matematicheskie Zametki, Vol. 11, No. 4, pp. 431–436, April, 1972.