Differential geometry of tensor product immersions II

In the first part of this series, we prove that the tensor product immersionf ₁ f _2k of2k isometric spherical immersions of a Riemannian manifoldM in Euclidean space is of-type with k and classify tensor product immersionsf ₁ f _2k which are ofk-type. In this article we investigate the tensor product immersionsf ₁ f _2k which are of (k+1)-type. Several classification theorems are obtained.     

L r Estimates for Degenerate Elliptic Problems

We prove L ^r estimates for the Dirichlet problem –div(a(x,u,Du))=f with f in L ^q for 1q+, where the operator satisfies (|s|)|| ^p a(x,s,), with p>1. These estimates are obtained without symmetrization and are sharp in some cases.     

L p Spectral Independence of Elliptic Operators via Commutator Estimates

Let {T _p:q ₁ p q ₂} be a family of consistent C ₀ semigroups on L ^p(), with q ₁,q ₂ [1,) and open. We show that certain commutator conditions on T _p and on the resolvent of its generator A _p ensure the p independence of the spectrum of A _p for p [q ₁,q ₂.Applications include the case of Petrovskij correct systems with Hölder continuous coefficients, Schrödinger operators, and certain elliptic operators in divergence form with real, but not necessarily symmetric, or complex coefficients.     

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.     

Bonds for a functional on a class of functions with positive real parts

We establish sharp upper and lower bounds for the functionalJ (p)- Re{p (z)-zp'(z)/p(z), 1. where ¦z¦=r is fixed, 0 <r <1, p(z).P_n (A, B), –1 B < a 1, a certain class of regular functions in the disk with values in the right halfplane.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 42, No. 5, pp. 686–689, May, 1990.     

A chord-stretching map of a convex loop is an isometry

Let ⁿ be n-dimensional Euclidean space, and let : [0, L] ⁿ and : [0, L] ⁿ be closed rectifiable arcs in ⁿ of the same total length L which are parametrized via their arc length. is said to be a chord-stretched version of if for each 0s tL, |(t)–(s)| |(t)–(s)|. is said to be convex if is simple and if ([0, L]) is the frontier of some plane convex set. Individual work by Professors G. Choquet and G. T. Sallee demonstrated that if were simple then there existed a convex chord-stretched version of . This result led Professor Yang Lu to conjecture that if were convex and were a chord-stretched version of then and would be congruent, i.e. any chord-stretching map of a convex arc is an isometry. Professor Yang Lu has proved this conjecture in the case where and are C ² curves. In this paper we prove the conjecture in general.     

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 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.     

Reconstructing dimensions of intersections of convex sets

Denoting by dimA the dimension of the affine hull of the setA, we prove that if {K _i:i T} and {K _i ^j :i T} are two finite families of convex sets inR ⁿ and if dim {K _i :i S} = dim {K _i ^j :i S}for eachS T such that|S| n + 1 then dim {K _i :i T} = dim {K _i : {i T}}.     

Einschliessungsaussagen für Differentialoperatoren vierter Ordnung und ein Verfahren zur Berechnung von Schrankenfunktionen

For a linear fourth order ordinary differential operator M we study Range Domain Implications (RDI). Let C_o [O,1] be positive; we show under what conditions there exists a C_O[O,1] such that the following RDI holds: Mu(x) (x) (0x1) u(x) (0x1). In particular we provide a numerical procedure to calculate .RDI are used to obtain error estimations and to solve related nonlinear problems.The basic idea to prove RDI is to split M into a product of second order differential operators which are easier to handle. For the general case that there exists no global splitting the concept of a local splitting is introduced.

---

---

The author would like to thank the European Research Office of the United States Army for their kind interest.     

The core of a chain complete poset with no one-way infinite fence and no tower

Like dismantling for finite posets, a perfect sequence = P : of a chain complete posetP represents a canonical procedure to produce a coreP . It has been proved that if the posetP contains no infinite antichain then this coreP is a retract ofP andP has the fixed point property iffP has this property. In this paper the condition of having no infinite antichain is replaced by a weaker one. We show that the same conclusion holds under the assumption thatP does not contain a one-way infinite fence or a tower.Supported by a grant from The National Natural Science Foundation of China.     

A Local Approach to 1-Homogeneous Graphs

Let bea distance-regular graph with diameter d. For vertices x and y of at distancei, 1 i d, we define the setsC _i(x,y) = i–1(x) (y), A _i (x,y) = _i (x) (y) and B _i (x,y) = _i+1(x) (y).Then we say has the CAB_j property,if the partition CAB _i (x,y) = {C _i (x,y),A _i (x,y),B _i (x,y)}of the local graph of y is equitable for each pairof vertices x and y of at distance i j. We show that in with the CAB_j property then the parameters ofthe equitable partitions CAB i(x,y) do not dependon the choice of vertices x and y atdistance i for all i j. The graph has the CAB property if it has the CAB _d property. We show the equivalence of the CAB property and the1-homogeneous property in a distance-regular graph with a ₁ 0. Finally, we classify the 1-homogeneous Terwilligergraphs with c ₂ 2.     

Small Ball Estimates in <Emphasis Type="Italic">p</Emphasis>-Variation for Stable Processes

Let Z _t , t 0 be a strictly stable process on with index (0, 2]. We prove that for every p > , there exists = _{, p} and such that

K1 for Triangulated Categories

For a small triangulated category we describe Neeman's K ₁ in terms of generators and relations. This result extends to triangulated categories Sherman's and Nenashev's results on Quillen's K ₁ for exact categories. The generators are double distinguished triangles, and the relations are the diagonal double distinguished triangles and the relations associated to the so-called coherent 3×3 double diagrams.     

On a Test Statistic for Linear Trend

Let {W(s)} _s 0 be a standard Wiener process. The supremum of the squared Euclidian norm Y (t)², of the R²-valued process Y(t)=(1/t W(t), {12/t ³ int_{0 t} s dW (s)– {3/t} W(t)), t [, 1], is the asymptotic, large sample distribution, of a test statistic for a change point detection problem, of appearance of linear trend. We determine the asymptotic behavior P {sup _t [, 1] Y(t)² > u as u , of this statistic, for a fixed (0,1), and for a moving = (u) 0 at a suitable rate as u . The statistical interest of our results lie in their use as approximate test levels.     

Über Positive Resolventenwerte Positiver Operatoren

In this paper we study the positive resolvent values of positive operators respectively of positive elements in Banach lattice ordered algebras. In the matrix case these values are just the inverse M-matrices. One of the main results is the following: Let A be a Banach lattice ordered algebra. A positive invertible element xA is a resolvent value of a positive element yA if and only if the element x satisfies the negative principle: If aA, < 0 and xaa then xa 0.     

Lévy–Khintchine Formula and Dual Convolution Semigroups Associated with Laguerre and Bessel Functions

In this work we consider a system of partial differential operators D ₁,D ₂ on K=[0,+[×R, whose eigenfunctions are the functions (x,t), (x,t)K, =((R0)×N)(0×[0,+[), which are related to the Laguerre functions for ((R 0)×N)(0,0) and which are the Bessel functions for (0×[0,+[). We provide K and with a convolution structure. We prove a Lévy–Khintchine formula on K, which permits us to characterize dual convolution semigroups on .     

Residues of higher order and holomorphic vector fields

LetX ₁ andX ₂ be two holomorphic vector fields on a manifoldV with complex dimensionp. Assume that they have the same singular set . For all , it is known (after Chern-Bott) that each of the vector fields defines a residual characteristic classC ₁(V,X ₁)(resp.C ₁(V,X ₂)) inH ^2p (V, V-), which is a lift of the usual characteristic classC ₁ (V) of the tangent bundle. The differenceC ₁ (V,X ₂)-C ₁ (V,X ₁) belongs then to the image of in the exact sequence. In fact, there exists a canonical liftC ₁ (V,X ₁,X ₂) of this difference inH ^2p–1(V-): we will call itthe residual class of order 2 (associated toI, X ₁ andX ₂). This class is localized near the points whereX ₁ andX ₂ are colinear: we will explain this precisely in terms of Grothendieck residues. The formula that we obtain can be interpreted as a generalization of the purely algebraic identity, obtained from the general one as a byproduct: where ( ₁, , _p) and ( ₁,, _p ) denote two families of non-zero complex numbers, such that all denominators in this formula do not vanish. (This identity corresponds in fact to the case whereX ₁ andX ₂ are non-degenerate at the same isolated singular point.)If the _i 's (1ip) depend now differentiably (resp. holomorphically) on a real (resp. complex) parametert then, denoting by the derivative with respect tot, and assuming all numbers lying in a denominator not to be 0, we can deduce from the above identity the following derivation formula:     

Exact Values of Widths of Classes of Analytic Functions on the Disk and Best Linear Approximation Methods

In the Hardy space H _p, (p1, 0< 1, H _p,1 H _p) we develop best linear approximation methods (previously studied by Taikov and Ainulloev) for the classes W(r,,) of analytic functions on the unit disk and calculate the exact values of linear, Gelfand, and informational n-widths of these classes.     

On a Lower Bound of L p Norms in the Central Limit Theorem for ϕ-Mixing Random Variables

We derive lower bounds of the L _p norms _np for all p, 1p, in the central limit theorem for -mixing random variables with finite sixth-order moments in a strictly stationary case and finite eighth-order moments in a not necessarily stationary one.