A construction of complete minimal,but not uniformly minimal,exponential systems with real separable spectrum inL p andC

We construct real separable sequences { _n } such that the corresponding systems of exponentials exp(i _n t) are complete and minimal, but not uniformly minimal, in the spacesL ^p (–, ), 1p<, orC[–, ].Translated fromMatematicheskie Zametki, Vol. 58, No. 4, pp. 582–595, October, 1995.The work was supported by the Russian Foundation for Basic Research under grant No. 93-011-205     

An approach to infinitary temporal proof theory

Aim of this work is to investigate from a proof-theoretic viewpoint a propositional and a predicate sequent calculus with an –type schema of inference that naturally interpret the propositional and the predicate until–free fragments of Linear Time Logic LTL respectively. The two calculi are based on a natural extension of ordinary sequents and of standard modal rules. We examine the pure propositional case (no extralogical axioms), the propositional and the first order predicate cases (both with a possibly infinite set of extralogical axioms). For each system we provide a syntactic proof of cut elimination and a proof of completeness.Supported by MIUR COFIN 02 Teoria dei Modelli e Teoria degli Insiemi, loro interazioni ed applicazioni.Supported by MIUR COFIN 02 PROTOCOLLO.Mathematics Subject Classification (2000):03B22, 03B45, 03F05     

Darstellung einer Ordnung von Maßen durch Stoppzeiten

Summary Given a stochastic matrixP on the state spaceI an ordering for measures inI can be defined in the following way: iff(f)(f) for allf in a sufficiently rich subcone of the cone of positiveP-subharmonic functions. It is shown that, if, are probability measures with , then in theP-process (X _n)_n0 having as initial distribution there exists a stopping time such thatX is distributed according to. In addition, can be chosen in such a way, that for every positive subharmonicf with(f)< the submartingale (f(X _n))_n0 is uniformly integrable.     

Triple Positive Solutions for Multipoint Conjugate Boundary Value Problems

For the nth order nonlinear differential equation y ⁽ⁿ⁾(t)=f(y(t)), t [0,1], satisfying the multipoint conjugate boundary conditions, y ^(j)(a_i) = 0,1 i k, 0 j n _i - 1, 0 =a ₁ < a ₂ < < a _k = 1, and _i=1 ^k n _i =n, where f: [0, ) is continuous, growth condtions are imposed on f which yield the existence of at least three solutions that belong to a cone.     

Some Applications of Critical Point Theory of Distance Functions on Riemannian Manifolds

In this paper, we use the theory of critical points of distance functions to study the rigidity and topology of Riemannian manifolds with sectional curvature bounded below. We prove that an n-dimensional complete connected Riemannian manifold M with sectional curvature K _M 1 is isometric to an n-dimensional Euclidean unit sphere if M has conjugate radius bigger than /2 and contains a geodesic loop of length 2. We also prove that if M is an n(3)-dimensional complete connected Riemannian manifold with K _M 1 and radius bigger than /2, then any closed connected totally geodesic submanifold of dimension not less than two of M is homeomorphic to a sphere.     

On the acceleration of limit periodic continued fractions

Summary A continued fraction (c.f.)K(a _n /1) is called limit periodic if . Fora anda(–,–1/4],a0, Thron-Waadeland (1980) examined a modification of a limit periodic c.f. for accelerating the convergence. This acceleration remains modest if thea _n converge only logarithmically. Thus it is proposed to apply an Euler summability method to the series equivalent to the c.f. Properties of the equivalent function are derived. These properties are used for choosing appropriate parameters for the summability method such that a considerable acceleration can be expected even if thea _n converge logarithmically.Dedicated to Prof. F.L. Bauer on the occasion of his 60th birthday     

Extremes of a Gaussian Process and the Constant H α

Consider a triangular array of standard Gaussian random variables {_n,i, i 0, n 1} such that {_n,i, i 0} is a stationary normal sequence for each n 1. Let _n,k = corr(_n,i,_n,i+k). If (1-_n,k)log n _k (0,) as n for some k, then the locations where the extreme values occur cluster and the limiting distribution of the maxima is still the Gumbel distribution as in the stationary or i.i.d. case, but shifted by a parameter measuring the clustering. Triangular arrays of Gaussian sequences are used to approximate a continuous Gaussian process X(t), t 0. The cluster behavior of the random sequence refers to the behavior of the extremes values of the continuous process. The relation is analyzed. It reveals a new definition of the constants H used for the limiting distribution of maxima of continuous Gaussian processes and provides further understanding of the limit result for these extremes.     

Approximate computation of the positive eigenvalue of a positive operator with a nonlinear occurrence of a parameter

A method is indicated for the approximate determination of the positive eigenvalue of the problem x–Qx=0, >0, xK, x0, whereK is a cone in Banach space and Q is an operator-valued function positive relative toK.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 58, pp. 37–39, 1976.     

On the existence of wave operators for the Klein-Gordon equation

The problem of existence of wave operators for the Klein-Gordon equation ( _t ² –+²+iV_1t+V₂)u(x,t)=0 (x R ⁿ,t R, n3, >0) is studied where V₁ and V₂ are symmetric operators in L₂(R ⁿ) and it is shown that conditions similar to those of Veseli-Weidmann (Journal Functional Analysis 17, 61–77 (1974)) for a different class of operators are also sufficient for the Klein-Gordon equation.     

An infinite dimensional analogue of the Albeverio-Röckner's theorem on Fukushima's conjecture

LetX be the solution of the SDE:dX _t = (X _t)dB _t +b(X _t)dt, with andb C _b (R) such that >0 for some constant , andB a real Brownian motion. Let be the law ofX onE=C([0, 1],R) andk E* – {0}, whereE* is the topological dual space ofE. Consider the classical form: _k (u, v)=u / kv / kd, whereu andv are smooth functions onE. We prove that, if _k is closable for anyk in a dense subset ofE* and if the smooth functions are contained in the domain of the generator of the closure of _k , must be a constant function.     

Asymptotics of the Discrete Spectrum of the Three-Particle Schrödinger Difference Operator on a Lattice

We consider the Hamiltonian H (K) of a system consisting of three bosons that interact through attractive pair contact potentials on a three-dimensional integer lattice. We obtain an asymptotic value for the number N(K,z) of eigenvalues of the operator H₀(K) lying below z0 with respect to the total quasimomentum K0 and the spectral parameter z–0.     

Extremal problems in classes of univalent functions,omitting prescribed values

Section 1 of the paper is devoted to extremal problems in the classes of conformal homeomorphisms of the circle and the annulus, connected directly with the problem on the maximum of the conformal modulus in the family of doubly connected domains. In Secs. 2 and 3 one considers the class R of functions f()=c₁+c₂²+... regular and univalent in the circleU={||<1} and such that f(₁)f(₂)=1 for ₁₂U (the class of Bieberbach-Eilenberg functions). Here one solves the problem of the maximum of |f(₀)| in the class of functions f()R with a fixed value f(₀, where ₀ is an arbitrary point U, and of the maximum of |f(₀)| in the entire class R. For the proof one makes use of the method of the moduli of families of curves.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 144, pp. 94–114, 1985.     

Testing for Unit Roots in a Nearly Nonstationary Spatial Autoregressive Process

The limiting distribution of the normalized periodogram ordinate is used to test for unit roots in the first-order autoregressive model _st= _s-1,t+_s,t-1- _s-1,t-1+_st. Moreover, for the sequence _n = e ^c/n , _n = e ^d/n of local Pitman-type alternatives, the limiting distribution of the normalized periodogram ordinate is shown to be a linear combination of two independent chi-square random variables whose coefficients depend on c and d. This result is used to tabulate the asymptotic power of a test for various values of c and d. A comparison is made between the periodogram test and a spatial domain test.     

Recurrence and transience for random walks with stationary increments

Summary Let S _n = ₁+...+ _n , n1, be the partial sums of stationary, dependent random variables in ^m . The probability space can be partitioned into I _t I _r , where I _t = {S _n} and I _r ={each S _n is limit point of (S _n)_n1}. This result follows from the inclusion{S _n > for n>0}I _t a.s., which is obtained by using Kac's inequality.     

Existence for the Cahn-Hilliard phase separation model with a nondifferentiable energy

Summary The Cahn-Hilliard model for phase separation in a binary alloy leads to the equations (I) u_t=w, (II) w= (u)– u with an associated energy functional F(u)=f [(u)+ +¦u¦²/2] dx. In this paper we discuss the existence theory for initial bounday value problems arising from modifications to the Cahn-Hilliard model due to the addition of the non-differentiable term ¦u¦dx to the energy F(u).     

Weighted sums of I.I.D. Random variables attracted to integrals of stable processes

Summary Under the assumption of the convergence of partial sum processesZ _n (t) of i.i.d. random variables to an -stable Lévy processZ()(t), 0<2, the convergence of weighted sums f _n (u)dZ _n (u) to f(u)dZ ₍₎(u) is studied. The general convergence result is then applied to examine the domain of attraction of the fractional stable process.Supported in part by Grant-in-Aid for Scientific Research, No. 60740103, Ministry of Education, Science and Culture     

Extremal solutions for nonlinear parabolic problems with discontinuities

This paper examines nonlinear parabolic initial-boundary value problems with a discontinuous forcing term, which is locally of bounded variation. Assuming that there exist an upper solution and a lower solution , we prove the existence of a maximal and of a minimal solution within the order interval [,] L ^P (P xZ). Our approach is based on a Jordan-type decomposition for the discontinuous forcing term and on a fixed point theorem for nondecreasing maps in ordered Banach spaces.     

K-loops and Bruck loops on ℝ×ℝ

Using the function (x)=cosh x, K-loops on × are constructed. Since every K-loop is a Bruck loop, we have also examples for Bruck loops. Furthermore we investigate the group of the automorphisms _a,b of the K-loop which satisfy the equation a(bc)=(ab)_a,b(c).Dedicated to Professor Dr. Oswald Giering on the occasion of his 60 th birthday     

Reverse Functional Inequalities and Their Applications to Nonlinear Elliptic Boundary Value Problems

We establish some reverse inequalities. We give applications to nonlinear elliptic boundary value problems containing a parameter which have two branches of solutions u (0) and U (>0) of which the first is continuous at the origin and the second increases indefinitely as 0.     

On term by term dyadic differentiability of Walsh series

. . . . : {ja _j },j=1,2,... — , f(x) , , f ^[1](x) — f .