首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 62 毫秒
1.
2.
Ohne Zusammenfassung Zusatz bei der Korrektur: Ein vollständiger und korrekter Beweis für die Entscheidbarkeit der eingangs angeführten Aanderaaschen Klasse ((0, ), (, , ...)) erscheint demnächst im JSL (S.O. Aanderaa/H.R.Lewis: Prefix classes of Krom formulas). Ebendort wird auch die Reduktionstypeneigenschaft für ((0, ), (0, 0, )) und ((0, )), (0, 0, )) nachgewiesen, während ((0, ), (, )) sich als entscheidbar herausgestellt hat (s. E. Börger: Eine entscheidbare Klasse von Kromformeln. ZMLG 19 (1973), 117–120.) Der Kromsche Reduktionstyp konnte mittlerweile einerseits zu ((0, ), (0, 4)) verschärft werden (s. D. Rödding, E. Börger: The undecidability of (0, 4)-formulae with binary disjunctions, vorgetragen auf dem Logic Coll. Bristol 1973, ein abstract erscheint im JSL), andererseits kündigt H.R.Lewis die Reduktionstypeneigenschaft für ((0, ), (0, 1)) an (s. H.R.Lewis: Krom formulas with one dyadic predicate letter. Notices AMS 20, 5 (1973) A-500, abstr. no. 73T-E78.)Dieser Aufsatz geht aus der Dissertation [2] hervor, die dem Fachbereich Mathematik der Mathematisch-Naturwissenschaftlichen Fakultät der Universität Münster im Sommersemester 1971 vorgelegt worden ist. Die Ergebnisse stammen aus dem Wintersemester 1970/71. Eine Ankündigung der hauptsächlichen Resultate ist in den Notices of the American Mathematical Society 19, 2 (1972) A-333 unter der abstract no. * 72T-E24 erschienen.  相似文献   

3.
Arató  N.  Márkus  L. 《Analysis Mathematica》1986,12(4):307-312
Lu(t)+(u,F)g(t)=f(t), tS. , ( F, g). .

The authors wish to thank Professor Yu. A. Rozanov for his help and discussions.  相似文献   

4.
, . . .

The authors wish to thank the referee whose comments improved the presentation of the paper. In fact, the present form of Lemma 2, which was originally very long, is due to the referee.  相似文献   

5.
. L p , 0<p<, . , f, {E n (f) p } 1 p>0 .

The author expresses his thanks to S. B. Stekin for the attention he has paid to this work.  相似文献   

6.
In the class F1 of functions f(), regular and univalent in the annulus ={<||<1} and satisfying the conditions ¦f()¦ < 1 and f() 0 for , ¦f()¦=1 ¦¦=1, for f(l)=1, one finds the set of the values D(A)=f(A): f for an arbitrary fixed point A. One makes use of the method of variations and certain facts from the theory 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. 82–92, 1985.  相似文献   

7.
8.
. . . . : {ja j },j=1,2,... — , f(x) , , f [1](x) — f .  相似文献   

9.
We develop a method for extending results about ultrafilters into a more general setting. In this paper we shall be mainly concerned with applications to cardinality logics. For example, assumingV=L, Gödel's Axiom of Constructibility, we prove that if > then the logic with the quantifier there exist many is (,)-compact if and only if either is weakly compact or is singular of cofinality<. As a corollary, for every infinite cardinals and , there exists a (,)-compact non-(,)-compact logic if and only if either < orcf<cf or < is weakly compact.Counterexamples are given showing that the above statements may fail, ifV=L is not assumed.However, without special assumptions, analogous results are obtained for the stronger notion of [,]-compactness.  相似文献   

10.
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.  相似文献   

11.
12.
It is argued that gravitational descendants in the theory of topological gravity coupled to topological Landau-Ginzburg theory (not necessarily conformal) can be constructed from matter fields alone (without metric fields and ghosts). In this sense topological gravity is induced. We discuss the mechanism of this effect (that turns out to be connected with K. Saito's higher residue pairing: Ki(i(1),2)=K0(1,2)), and demonstrate how it works in a simplest nontrivial example: correlator on a sphere with four marked points. We also discuss some results on k-point correlators on a sphere. From the idea of induced topological gravity it follows that the theory of pure topological gravity (without topological matter) is equivalent to the trivial Landau-Ginzburg theory (with quadratic superpotential).Published in Teoreticheskaya i Matematicheskaya Fizika, Vol. 95, No. 2, pp. 307–316, May, 1993.  相似文献   

13.
14.
[4] , [C,(, )];- (, 0 1) s, [C,(+,+)]- s , 0 0< , (i) , ; > > 1 , (ii) ,>0; >=1 ,>1-1/, [C,(,)- [C,(+,+)]- .

This work was done while the author was a visiting researcher at the Steklov Mathematical Institute, Moscow, U.S.S.R.  相似文献   

15.
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()=c1+c22+... regular and univalent in the circleU={||<1} and such that f(1)f(2)=1 for 12U (the class of Bieberbach-Eilenberg functions). Here one solves the problem of the maximum of |f(0)| in the class of functions f()R with a fixed value f(0, where 0 is an arbitrary point U, and of the maximum of |f(0)| 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.  相似文献   

16.
Summary For a commutative cancellative semigroup S, we define the rank of S intrinsically. This definition implies that the rank of S equals the usual rank of its group of quotients. We also characterize the rank in terms of embeddability into a rational vector space of the greatest power cancellative image of S.  相似文献   

17.
Let be a group of *-automorphisms on the algebra of bounded linear operators on a complex Hilbert space H. Then the strongly closed convex hull of the orbit of any compact operator under consists of compact operators. The same is true if one replaces compact by nuclear, Hilbert-Schmidt or positive Fredholm. We further discuss these results in the framework of the noncommutative mean ergodic theorem of KOVACS and SZ#x00FC;CS and formulate an analogous theorem for the algebra of compact operators on a complex Hilbert space.

Gefördert von der Deutschen Forschungsgemeinschaft im Rahmen des Forschungsvorhabens Ko 506/1.  相似文献   

18.
In the paper one investigates the dependence of Weyl's solution ,)=c(,)+n()s(,) of the Sturm-Liouville equation y+q()y=2y on the spectral parameter . Under the condition that the potential q is bounded from below and q()exp(c0+c[in1 ¦¦), it is proved for {ie217-01} for any positive values and A. If q()>1 and {ie217-02} for all >0, then in the semiplane >0 the Weyl solution (, ) is obtained from the Weyl solution (,x) is obtained from the Weyl solution eix with zero potential, with the aid of a generalization of B. Ya Levin's transformation operators.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 170, pp. 184–206, 1989.I express my sincere gratitude to L. A. Pastur and I. V. Ostrovskii for valuable advice and discussions.  相似文献   

19.
Let (x) denote the number of those integers n with (n) x, where denotes the Euler function. Improving on a well-known estimate of Bateman (1972), we show that (x)-Ax R(x), where A=(2)(3)/(6) and R(x) is essentially of the size of the best available estimate for the remainder term in the prime number theorem.  相似文献   

20.
Summary Consider a stationary process {X n(), – < n < . If the measure of the process is finite (the measure of the whole sample space finite), it is well known that ergodicity of the process {X n(), - < n < and of each of the subprocesses {X n(), 0 n < , {X n(), – < n 0 are equivalent (see [3]). We shall show that this is generally not true for stationary processes with a sigma-finite measure, specifically for stationary irreducible transient Markov chains. An example of a stationary irreducible transient Markov chain {X n(), - < n <} with {itXn(), 0 n < < ergodic but {X n(), < n 0 nonergodic is given. That this can be the case has already been implicitly indicated in the literature [4]. Another example of a stationary irreducible transient Markov chain with both {X n(), 0 n < and {itX n(),-< < n 0} ergodic but {X n(), - < n < nonergodic is presented. In fact, it is shown that all stationary irreducible transient Markov chains {X n(), - < n < < are nonergodic.This research was supported in part by the Office of Naval Research.John Simon Guggenheim Memorial Fellow.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号