首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 78 毫秒
1.
H (G), f(g)H (G) , (, 1)- OHMC G. , OHMC, A. H. . , . , OHMC, lim supp n=, , ,n .. . , 117 234 . . -   相似文献   

2.
We consider the (&, )-fragment of the intuitionistic propositional calculus. It is proved that under the standard transformation of a Gentzen derivation into a natural derivation(), the length of (())22·length( ). There is constructed a sequence of Gentzen derivations of length i, for which the length of (( i))21/3·length(i), which shows that the upper bound obtained is not too weak.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 88, pp. 192–196, 1979.  相似文献   

3.
We show that for any simple piecewise Ljapunov contour there exists a power weight such that the essential norm |S | in the spaceL 2(, ) does not depend on the angles of the contour and it is given by formula (2). All such weights are described. For the union =12 of two simple piecewise Lyapunov curves we prove that the essential norm |S | inL 2() is minimal if both 1 and 2 are smooth in some neighborhoods of the common points. It is the case when the norm |S | in the spaceL 2() as well as inL 2(, ) does not depend on the values of the angles and it can be calculated by formula (5).  相似文献   

4.
Sufficient conditions for bang-bang and singular optimal control are established in the case of linear operator equations with cost functionals which are the sum of linear and quadratic terms, that is,Ax=u,J(u)=(r,x)+(x,x), >0. For example, ifA is a bounded operator with a bounded inverse from a Hilbert spaceH into itself and the control setU is the unit ball inH, then an optimal control is bang-bang (has norm l) if 0<1/2;A –1*r·A –1–2, but is singular (an interior point ofU) if >1/2A –1*r·A2.This work was supported by NRC Grant No. A-4047 and NSF Grant No. GP-7445.  相似文献   

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

6.
Niche width theory, a part of organizational ecology, predicts whether specialist or generalist forms of organizations have higher fitness, in a continually changing environment. To this end, niche width theory uses a mathematical model borrowed from biology. In this paper, we first loosen the specialist-generalist dichotomy, so that we can predict the optimal degree of specialization. Second, we generalize the model to a larger class of environmental conditions, on the basis of the model's underlying assumptions. Third, we criticize the way the biological model is treated in sociological theory. Two of the model's dimensions seem to be confused, i.e., that of trait and environment; the predicted optimal specialization is a property of individual organizations, not of populations; and, the distinction between fine and coarse grained environments is superfluous.  相似文献   

7.
The method of penalty functions is used to construct an optimal controller that guides a singularly perturbed system (vehicle) into a small neighborhood of a specified (target) position. It is proved that the convergence of the path of the vehicle to the exact-guidance path as the penalty coefficient increases without bound is uniform with respect to a singular parameter.  相似文献   

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

9.
10.
11.
In this paper it is proved that for any numbers A and B, 0k(x), k=1, 2, ..., whose graphs lie in the strip 0x1, AyB. It is shown that for the space Lp, p>1, there is no analogous basis in a strip theorem.Translated from Matematicheskie Zametki, Vol. 10, No. 6, pp. 635–640, December, 1971.  相似文献   

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

14.
    
( « . III») - B p,q g(x) F p,q g(x) ( ) R n . --, . : , , , .  相似文献   

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

16.
Pointwise convergence of expansions with respect to certain product systems   总被引:1,自引:0,他引:1  
- , - n An-,. , . , ¦n¦=1 (n=1,2, ), . , — — , .  相似文献   

17.
, . . .

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

18.
19.
We consider hypergroups associated with Jacobi functions () (x), (–1/2). We prove the existence of a dual convolution structure on [0,+[i(]0,s 0]{{) =++1,s 0=min(,–+1). Next we establish a Lévy-Khintchine type formula which permits to characterize the semigroup and the infinitely divisible probabilities associated with this dual convolution, finally we prove a central limit theorem.  相似文献   

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

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