首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 468 毫秒
1.
The celebrated theorem established by Martin Davis, Hilary Putnam, and Julia Robinson in 1961 states that every effectively enumerable set of natural numbers has an exponential Diophantine representation. This theorem was improved by the author in two ways:
•  to the existence of a Diophantine representation,  相似文献   

2.
Precise upper bounds are obtained for the minimum weight of minor faces in normal plane maps and 3-polytopes with specified maximum vertex degree. Translated fromMatematicheskie Zametki, Vol. 64, No. 5, pp. 648–657, November, 1998. The research of the first named author was supported in part by the Visiting Fellowship Research Grant GR/K00561 from the Engineering and Physical Sciences Research Council and by the Russian Foundation for Basic Research under grant No. 96-01-01614 and No. 97-01-01075.  相似文献   

3.
Some important aspects of chaos random variables such as decoupling, an almost sure representation (a Karhunen-Loeve expansion) and integrability are discussed here, the first being a tool for, and the third as a consequence of, the second. The main goal in this note is to learn about the structure of the limit laws ofU-processes.Research partially supported by National Science Foundation Grant No. DMS-9000132 and University of Connecticut Grant No. G12-913501.  相似文献   

4.
In this paper we obtain local L p estimates for the parabolic polyharmonic equations by a straightforward approach. Yao was supported by the Innovation Foundation of Shanghai University (Grant No. A10-0101-08-905), Shanghai Leading Academic Discipline Project (Grant No. J50101) and Key Disciplines of Shanghai Municipality (Grant No. S30104). Zhou was supported by the National Basic Research Program of China (Grant No. 2006CB705700), National Natural Science Foundation of China (Grant No. 60532080), and the Key Project of Chinese Ministry of Education (Grant No. 306017)  相似文献   

5.
An algorithm for the recovery of the parameter field of elastic waves by the method diffraction tomography is suggested. A priori information is taken into account in probabilistic form. Under different assumptions on the statistical correlations of the parameter field, different modifications of the algorithm are considered. The notion of the information sensitivity of the measurement field with respect to a fixed linear parameter field is introduced. It is shown that the greater the energy of the useful signal that has passed through the medium with a nonhomogeneity, the higher the information sensitivity of a given system of tomographic functionals.Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 239, 1997, pp. 225–235.This work was supported in part by the Russian Foundation for Basic Research (Grant No. 96-05-65904).  相似文献   

6.
We study inverse nodal problems for the second order differential operators on a star-type graph satisfying the standard matching conditions at the interior vertex. We prove uniqueness theorems and obtain a constructive solution to the inverse problems of this class. Original Russian Text Copyright ? 2009 Yurko V. A. The author was supported by the Russian Foundation for Basic Research (Grant 07-01-00003) and the National Science Council of Taiwan (Grant 07-01-92000-NSC-a). __________ Saratov. Translated from Sibirskiĭ Matematicheskiĭ Zhurnal, Vol. 50, No. 2, pp. 469–475, March–April, 2009.  相似文献   

7.
The paper is concerned with the study of plasticity models described by differential equations with stop and play operators. We suggest sufficient conditions for the global stability of a unique periodic solution for the scalar models and for the vector models with biaxial inputs of a particular form, namely the sum of a uniaxial function and a constant term. For another class of simple biaxial inputs, we present an example of the existence of unstable periodic solutions. The paper was written during the research stay of D. Rachinskii at the Technical University Munich supported by the research fellowship from the Alexander von Humboldt Foundation. His work was partially supported by the Russian Science Support Foundation, Russian Foundation for Basic Research (Grant No. 01-01-00146, 03-01-00258), and the Grants of the President of Russia (Grant No. MD-87.2003.01, NS-1532.2003.1). The support is gratefully acknowledged.  相似文献   

8.
The solution is determined by the method of separation of variables. The method is justified by using a suitable space of generalized functions. Boundary conditions “are hidden” in this space. Bibliography: 5 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 218, 1994, pp. 56–66. Original article This work was supported by the Russian Foundation of Fundamental Research (Grant No. 93-011-16148). Translated by T. N. Surkova.  相似文献   

9.
An asymptotic expansion uniform with respect to a parameter is obtained for a multiple Cauchy integral with a rapidly oscillating exponential in the integrand under the assumption that the singularity lines are in a general position.Translated fromMatematicheskie Zametki, Vol. 58, No. 2, pp. 231–242, August, 1995.The work was financially supported by the Russian Foundation for Basic Research under grant No. 94-01-00193-a.  相似文献   

10.
We study generalized polar decompositions of densely defined closed linear operators in Hilbert spaces and provide some applications to relatively (form) bounded and relatively (form) compact perturbations of self-adjoint, normal, and m-sectorial operators. Based upon work partially supported by the US National Science Foundation under Grant Nos. DMS-0400639 and FRG-0456306, and the Austrian Science Fund (FWF) under Grant No. Y330.  相似文献   

11.
In this paper, an explicit formulation for multivariate truncated power functions of degree one is given firstly. Based on multivariate truncated power functions of degree one, a formulation is presented which counts the number of non-negative integer solutions of s×(s 1) linear Diophantine equations and it can be considered as a multi-dimensional versions of the formula counting the number of non-negative integer solutions of ax by = n which is given by Popoviciu in 1953.  相似文献   

12.
In this paper, we introduce the m-Cartan matrix and observe that some properties of the quadratic form associated to the Cartan matrix of an Euclidean diagram can be generalized to the m-Cartan matrix of a McKay quiver. We also describe the McKay quiver for a finite abelian subgroup of a special linear group. This work was supported by National Natural Science Foundation of China (Grant No. 10671061) and the Research Foundation for Doctor Programme (Grant No. 200505042004)  相似文献   

13.
Let κ be an algebraically closed field. It has been proved by Zhang and Xu that if a bocs is of tame representation type, then the degree of the diffierential of the first solid arrow must be less than or equal to 3. We will prove in the present paper that: The bocs is still wild when the degree of the diffierential of the first arrow is equal to 3. Especially, the bocs with only one solid arrow is of tame type if and only if the degree of the diffierential of the arrow is less than or equal to 2. Moreover,...  相似文献   

14.
This paper justifies the necessity of introducing corrections for the ray curvature into the standard procedure of the tomographic inversion in the case of using traveltime data for the creeping waves. The results of relevant numerical experiments are presented. Bibliography: 3 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 218, 1994, pp 67–71. This work was supported by the Russian Foundation of Fundamental Research (Grant 93-05-9961). Translated by A. P. Krauklis.  相似文献   

15.
Representations for the solution of the Zakai equation in terms of multiple Stratonovich integrals are derived. A new semigroup (the Feynman-Stratonovich semigroup) associated with the Zakai equation is introduced and using the relationship between multiple Stratonovich integrals and iterated Stratonovich integrals, a representation for the unnormalized conditional density,u(t,x), solely in terms of the initial density and the semigroup, is obtained. In addition, a Fourier seriestype representation foru(t,x) is given, where the coefficients in this representation uniquely solve an infinite system of partial differential equations. This representation is then used to obtain approximations foru(t,x). An explicit error bound for this approximation, which is of the same order as for the case of multiple Wiener integral representations, is obtained. Research supported by the National Science Foundation and the Air Force Office of Scientific Research Grant No. F49620 92 J 0154 and the Army Research Office Grant No. DAAL03-92-G0008.  相似文献   

16.
In this paper, the following assertion is illustrated with some examples. In practically all cases, the problem on natural oscillations for linear holonomic nondissipative mechanical systems reduces to the problem of determining eigenvalues and eigenelements of the corresponding self-adjoint operator acting in the Hilbert space generated by the quadratic form of the kinetic energy. Bibliography: 1 title. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 218, 1994, pp. 12–16. This work was supported by the Russian Foundation of Fundamental Research (Grant 93-011-16148). Translated by N. S. Zabanikova.  相似文献   

17.
Necessary and sufficient conditions for the dynamic equivalence of two waves propagating in an elastic p-layer medium and undergoing all kinds of exchanges on the medium interfaces are formulated. These conditions are represented in the form of equalities involving powers of the reflection and refraction coefficients occurring in the expressions for the intensities of these waves. Bibliography: 5 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 218, 1994, pp. 166–175. This work was supported by the Russian Foundation of Fundamental Research (Grant 93-011-16148). Translated by N. S. Zabavnikova.  相似文献   

18.
This paper investigates the asymptotic properties of the modified likelihood ratio statistic for testing homogeneity in bivariate normal mixture models with an unknown structural parameter. It is shown that the modified likelihood ratio statistic has χ22 null limiting distribution.  相似文献   

19.
A representation of the anticanonical K3 surface of a singular pencil of conics is described. This generalizes the well-known Shokurov theorem.Translated fromMatematicheskie Zametki, Vol. 63, No. 6, pp. 903–910, June, 1998.The author is greatly indebted to V. A. Iskovskikh, Yu. G. Prokhorov, and I. A. Chel'tsov for fruitful discussions.This research was supported by the Russian Foundation for Basic Research under grant No. 96-01-00820 and by INTAS under grant No. 93-2805.00-00-00.  相似文献   

20.
C. Radoux (J. Comput. Appl. Math., 115 (2000) 471-477) obtained a computational formula of Hankel determinants on some classical combinatorial sequences such as Catalan numbers and polynomials, Bell polynomials, Hermite polynomials, Derangement polynomials etc. From a pair of matrices this paper introduces two kinds of numbers. Using the first kind of numbers we give a unified treatment of Hankel determinants on those sequences, i.e., to consider a general representation of Hankel matrices on the first kind of numbers. It is interesting that the Hankel determinant of the first kind of numbers has a close relation that of the second kind of numbers.  相似文献   

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

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