Spline finite difference methods for singular two point boundary value problems

Summary In this paper we discuss the construction of a spline function for a class of singular two-point boundary value problemx ^–(x u)=f (x, u),u(0)=A,u(1)=B, 0<<1 or =1,2. The boundary conditions may also be of the formu(0)=0,u(1)=B. Three point finite difference methods, using the above splines, are obtained for the solution of the boundary value problem. These methods are of second order and are illustrated by four numerical examples.     

Limits of certain iterates of Post-Widder operators

The paper is a study of the limiting behaviour of the [n t]-th iterates of the well-known Post-Widder operatorsL _{n, x} used in the real inversion of the Laplace transform. It is shown that the limiting operators constitute a semigroup T _t;t0 of class (C ₀) on a family C _,; , >0 of Banach spaces. Applications of the semigroup structure lead to a pointwise saturation theorem forL _{n, x} and a characterization of convex functions inC _, through an inequality involving the action ofL _{n, x}.     

Existence of compatible families of proper regular conditional probabilities

Summary Let (, , ) be a perfect probability space with countably generated, and let IB be a family of sub--fields of . Under a countability condition on the family IB, I show that there exists a family {}_IB of regular conditional probabilities which are everywhere compatible. Under a more stringent condition on IB, I show that the can furthermore be chosen to be everywhere proper. It follows that in the Dobrushin-Lanford-Ruelle formulation of the statistical mechanics of classical lattice systems, every (perfect) probability measure is a Gibbs measure for some specification.Research supported in part by NSF PHY-78-23952NSF Predoctoral Fellow (1976–79) and Danforth Fellow (1979–81).     

On the asymptotic behaviour of first passage times for transient random walk

Summary Let _x denote the time at which a random walk with finite positive mean first passes into (x, ), wherex0. This paper establishes the asymptotic behaviour of Pr { _x >n} asn for fixedx in two cases. In the first case the left hand tail of the step-distribution is regularly varying, and in the second the step-distribution satisfies a one-sided Cramér type condition. As a corollary, it follows that in the first case Pr { _x >n}/Pr{ ₀ >n} coincides with the limit of the same quantity for recurrent random walk satisfying Spitzer's condition, but in the second case the limit is more complicated.     

Interpolation of generalized analytical functions of complex variable

A general approach is proposed to the interpolation of x -analytical functions of a complex variable with an arbitrary –,+[Basis x -analytical functions whose imaginary pan is a polynomial in x, and y are obtained in explicit form.Translated from Vychislitel'naya i Prikladnaya Matematika, No. 58, pp. 3–9, 1986.     

Kennzeichnungen von Minimalschraubflächen Mittels Vertikalisophoten und Horizontalschattengrenzen

In Euclidean space E³, let be a (regular C-) minimal surface without planar points having locally (without loss of generality) the spherical representation n(u,v)=(cos v/cosh u, sin v/cosh u, tanh u), (u,v)G². The corresponding (isothermal) parametrization : x(u,v), (u,v)G can be expressed using agenerating Function (u,v) which satisfies _{uu + vv} – 2_utanh u + =0; the v-curves (coordinate curves u=u₀) in , along each of which the angle between the normal n(u,v) of and the x₃-axis is constant, are thevertical- isophotes of , the u-curves (v=v₀) being their orthogonal trajectories (theorems 1, 2). Considering u-curves and/or v-curves of having additional geometric properties (curves of constant/steepest slope, curves of constant Gaussian curvature, asymptotic curves, lines of curvature or geodesies of ) we prove many newgeometric characterizations of theright helicoid, thecatenoid andScherk's second surface (theorems 3–7). All of these surfaces areminimal hélicoidal surfaces.     

Rates of convergence and optimal spectral bandwidth for long range dependence

Summary For a realization of lengthn from a covariance stationary discrete time process with spectral density which behaves like ^1–2H as 0+ for 1/2<H<1 (apart from a slowly varying factor which may be of unknown form), we consider a discrete average of the periodogram across the frequencies 2j/n,j=1,..., m, wherem andm/n0 asn. We study the rate of convergence of an analogue of the mean squared error of smooth spectral density estimates, and deduce an optimal choice ofm.     

Extensions and selections in subspaces ofC(K)

LetK be a compact Hausdorff space and letFK be a peak interpolation set for a function algebraAC(K). Let be a map fromK to the family of all convex subsets of such that the set {(z, x)zK, x(z)} is open inK×C and such thatg(z)(z) (zK) for somegA. We prove that everyfC(F) satisfyingf(s)(s) (sF) (f(s)closure (s) (sF)) admits an extensionfAA} satisfyingf(z)(z) (zK) (f(z))}closure (z) (zK), respectively). We prove a more general theorem of this kind and present various applications which generalize known dominated interpolation theorems for subspaces ofC(K).     

Limiting behavior of weighted central paths in linear programming

We study the limiting behavior of the weighted central paths{(x(), s())} > 0 in linear programming at both = 0 and = . We establish the existence of a partition (B ,N ) of the index set { 1, ,n } such thatx _i() ands _j () as fori B , andj N , andx _N (),s _B () converge to weighted analytic centers of certain polytopes. For allk 1, we show that thekth order derivativesx ^(k) () ands ^(k) () converge when 0 and . Consequently, the derivatives of each order are bounded in the interval (0, ). We calculate the limiting derivatives explicitly, and establish the surprising result that all higher order derivatives (k 2) converge to zero when .     

Durch graduierte Lie-Algebren definierte Paar-Algebren

Pair algebras which have a non degenerate (left- and right-) invariant bilinear form and for which the inner derivation algebra is completely reducible are characterised by pairs (C,), where C is a n×n matrix satisfying certain conditions and is a sequence of n integers equal to 0 or 1. They occur as pair algebras of type (S(C,)_–1,S(C,)₁), xuy=[[x,u],y], where (S(C,)_r)_r is the gradation induced by . in the Kac-Moody algebraS(C). If C is an affin Cartan matrix (as in the case of Lie triple systems), there exists a finite dimensional simple Lie algebrag and a Aut (g), ord =m< such that the pair algebra is isomorphic to the pair algebra (g _–1,g ₁), xuy=[[x,u],y] (product ing), whereg _i. is the eigenspace of of eigenvalue ⁱ, a primitive m-th root of unity.     

The existence of probability measures with specified projections

Let X and Y be locally compact-compact topological spaces, F X×Y is closed, and P(F) is the set of all Borel probability measures on F. For us to find, for the pair of probability measures (_x, _y P (X)×P(Y), a probability measure P(F) such that _X = _X ^–1 , _Y = _Y ^–1 it is necessary and sufficient that, for any pair of Borel sets A X, B Y for which (A× B) F=Ø, the condition _XA+ _YB 1 holds.Translated from Matematicheskie Zametki, Vol. 14, No. 4, pp. 573–576, October, 1973.     

∑II∑ threshold formulas

A II formula has the form, where eachL is either a variable or a negated variable. In this paper we study the computation of threshold functions by II formulas. By combining the proof of the Fredman-Komlós bound [5, 10] and a counting argument, we show that fork andn large andkn/2, every II formula computing the threshold functionT _k ⁿ has size at least exp . Fork andn large andkn ^2/3, we show that there exist II formulas for computingT _k ⁿ with size at most exp .     

On the existence of multiple solutions of nonhomogeneous elliptic equations involving critical Sobolev exponents

Letp=2N/(N –2),N 3 be the limiting Sobolev exponent and ^N a bounded smooth domain. We show that for H ^–1(),f satisfies some conditions then–u=c ₁ u ^p–1 +f(x,u) + admits at least two positive solutions.     

A Periodicity Theorem in K-Theory for Finite Covariant Systems

Let A be a complex Banach algebra. In this paper, we prove a periodicity theorem that K(S ² A, G, )K(A, G,), where (A,G,) is a finite covariant system and K(A,G,) is an Abelian group associated with (A,G,).     

Spinc Structures and Scalar Curvature Estimates

In this note, we look at estimates for the scalar curvature of a compact, connected Riemannian manifold Mwhich are related to spin ^c Dirac operators.We show that one may not enlarge a Kähler metric with positiveRicci curvature without making smaller somewhere on M.More generally, if f: N M is an area-nonincreasing map of a certain topological type,then the scalar curvature k of Ncannot be everywhere larger than f.If k f, then N is isometric to M × F, where F possesses a parallel untwisted spinor.We also give explicit upper bounds for min for arbitrary Riemannian metrics on certainsubmanifolds of complex projective space.In certain cases, these estimates are sharp:we give examples where equality is obtained.     

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.     

Remarks on some classes of Fourier coefficients

In this paper equivalent classes of the classes M' and S' _{p r}, p >1, 0,r {0,1,2,...,[]} defined by Sheng [5] are obtained. Then it is shown that the classes of Fourier coefficients S _p, S' _p(case r==0) and S _p(), p>1, defined by . V. Stanojevi, V. B. Stanojevi Sheng and the author of the present note are identical. As a corollary of this result, the L ¹-estimate for cosine series, obtained in [10], is refined.     

γ-Subdifferential and γ-convexity of functions on a normed space

In this paper, the -subdifferential is introduced for investigating the global behavior of real-valued functions on a normed spaceX. Iff: DX attains its global minimum onD atx ^*, then 0 f(x ^*). This necessary condition always holds, even iff is not continuous orx ^* is at the boundary of its domain. Nevertheless, it is useful because, by choosing a suitable ₊, many local minima cannot satisfy this necessary condition. For the sufficient conditions, the so-called -convex functions are defined. The class of these functions is rather large. For example, every periodic function on the real line is a -convex function. There are -convex functions which are not continuous everywhere. Every function of bounded variation can be represented as the difference of two -convex functions. For all that, -convex functions still have properties similar to those of convex functions. For instance, each -local minimizer off is at the same time a global one. Iff attains its global minimum onD, then it does so at least at one point of its -boundary.This research was supported by the Alexander von Humboldt Foundation. The author thanks Professors R. Bulirsch, K. H. Hoffmann, and H. G. Bock for inviting him to Munich and Augsburg where this research was done.     

Regressions and monotone chains II: The poset of integer intervals

A regressive function (also called a regression or contractive mapping) on a partial order P is a function mapping P to itself such that (x)x. A monotone k-chain for is a k-chain on which is order-preserving; i.e., a chain x ₁<...ksuch that (x ₁)...(x_k). Let P _nbe the poset of integer intervals {i, i+1, ..., m} contained in {1, 2, ..., n}, ordered by inclusion. Let f(k) be the least value of n such that every regression on P _nhas a monotone k+1-chain, let t(x,j) be defined by t(x, 0)=1 and t(x,j)=x ^t(x,j–1). Then f(k) exists for all k (originally proved by D. White), and t(2,k) < f(K) <t( + _k, k) , where _k 0 as k. Alternatively, the largest k such that every regression on P _nis guaranteed to have a monotone k-chain lies between lg^*(n) and lg^*(n)–2, inclusive, where lg^*(n) is the number of appliations of logarithm base 2 required to reduce n to a negative number. Analogous results hold for choice functions, which are regressions in which every element is mapped to a minimal element.     

On a problem of B. I. Golubov

. . . : s_n(x) — , _n-(, 1)- n L ². , . , : a _k l ² _n () [0,1] , (*) , (**) . a _k l ² u _n () [0,1] , (**), (*) .