2007年高考中解析几何存在性问题浅析

涉及到某种数学对象是否存在的问题，常称为存在性问题，存在性问题根据其问题特征大体可以分为如下三类：1）证明某种对象一定存在，可以称为“肯定型问题”；2）证明某种对象一定不存在，可以称为“否定型问题”；3）探究某种对象是否存在，或者探究某类对象存在的条件，可以称为“探究型存在性问题”。     

带双参数的半线性椭圆方程正解存在与不存在性以及一个预值结论

研究带有双参数的半线性椭圆方程在Robin边界下正解的存在与不存在性.证明了对任意的边界参数c(0c∞),存在λ*=λ*(c)∞,当0λ≤λ*,方程存在一个最小解u_λ,而任意其它的解是对应抛物方程整体解存在与不存在的一个预值.     

二阶Sturm-Liouville特征值问题解的存在与非存在性

讨论了二阶Sturm-Liouville特征值边值问题解的存在性与非存在性,得到了边值问题至少有一个正解的特征值λ的存在区间的结论.进一步,给出了边值问题没有正解的特征值存在区间.     

非线性系统有理首次积分的不存在性和部分存在性

该文的目的是给出一般非线性系统存在和部分存在有理首次积分的判别准则. 作者给出系统存在有理首次积分的必要条件, 在此基础上进一步给出系统不存在其它有理首次积分(在函数独立的意义下)的判定准则.     

一类具交错扩散的强耦合退化抛物方程组解的整体存在与非存在性

本文研究了一类具交错扩散的强耦合拟线性退化抛物方程组初边值问题正古典解的局部存在,整体存在与非整体存在性.利用正则化方法和先验估计技巧证明了该问题正古典解的局部存在性,并且分别给出了该问题是否存在整体古典解的充分条件.结果表明当种群内竞争强于种群间互惠作用时,此问题存在整体解;而当两种群具有强互惠作用时,所有解都是非整体的.     

广义Davey-Stewartson方程组的整体解及自相似解

本文研究Dalvey-Stewartson方程组的整体解与自相似解的存在性.首先,运用Ba- nach不动点定理得到一个关于解整体存在性的一般性定理,然后把一类特殊的初始值用到该存在性结果上去从而得到自相似解存在的结论.     

n阶非线性常微分方程的非线性两点边值问题

本文利用打靶法,给出了ｎ阶非线性常微分方程具有非线性两点边界条件的边值问题存在解与存在唯一解的一般性结果,并将所得结果应用于Ｌｉｐｓｃｈｉｔｚ方程的两点过值问题,给出了存在解与存在唯一解的具体的充分条件。     

非线性算子的歧点

本文研究了Banach空间中非线性全连续算子在不假设Fréchet可微的条件下,歧点的存在性和不存在性.利用齐次算子,获得了这类算子歧点的存在和不存在的充分条件,推广和改进了已有文献中的结果.     

一类平面五次系统的极限环

研究了一类生化反应模型得到了极限环不存在或存在唯一的如下条件：１）若Ｐ＜０，则系统（１）存在唯一稳定的极限环．２）若Ｐ≥０．则系统（１）不存在极限环．     

一类泛函微分方程半正问题的正周期解

运用Krasnosel’skii不动点理论研究了一类含参泛函微分方程半正问题正周期解的存在性．获得了当参数充分小时正周期解的存在性结果以及半正问题正周期解存在的充分条件．丰富了一阶泛函微分方程解的存在性理论．     

Distribution of types of symmetry of tensors of high degree

The asymptotic distribution of tensors of degree N in symmetry types is studied in this paper.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 155, pp. 181–186, 1986.     

Estimates of stability of characterization of additive types of distributions

An estimate of stability of characterization of distribution types is obtained for the case of additive types. Under some conditions, the estimate has the order ε^1/3L(ε), where L(ε) is a slowly varying function. Proceedings of the Seminar on Stability Problems for Stochastic Models, Moscow, Russia, 1996, Part I.     

一类完全正则半群簇子簇格的性质

本文研究了完全正则半群簇的子簇格［Ｖ＋∩ＰＶ，Ｖ＋∩ＰＶ］的某些格运算性质，我们证明了簇Ｖ＋∩ＰＶ可分解为Ｖ与Ｖ＋∩ＰＶ的并；对任意完全正则半群簇Ｗ，有Ｗ∩（Ｖ∨Ｖ＋∩ＰＶ）＝（Ｗ∩Ｖ）∨（Ｗ∩Ｖ＋∩ＰＶ）．特别地，我们得到了等式Ｖ＋∩ＰＶ＝Ｖ成立的若干条件．     

Study of the blow-up of solutions of systems of equations of hydrodynamic type

Mathematical Notes - We study the initial boundary-value problem for three-dimensional systems of equations of pseudoparabolic type. The system is similar to the Oskolkov system, but differs from...     

Characterization of types of asymptotic discernibility of families of hypotheses

We give a characterization of the types of asymptotic discernibility of families of hypotheses in the case of hypothetical measures that are not, in general, mutually absolutely continuous. The case when the logarithm of the likelihood ratio admits an asymptotic expansion of the type of an expansion with local asymptotic normality is examined in detail. Examples are studied.Translated fromTeoriya Sluchainykh Protsessov, Vol. 15, pp. 64–71, 1987.     

Bases of the identities of products of certain varieties of groups

The following theorem is proved: The product of any variety of two-step solvable groups and a variety having a finite basis of identity relations has a finite basis of identity relations.Translated from Matematicheskie Zametki, Vol. 5, No. 1, pp. 137–144, January, 1969.     

Preservation of equivalence of derivations under reduction of depth of formulas

In this paper we consider derivations in the (&, )-fragment of the intuitionistic propositional calculus. As is known, replacement of any occurrence of a formula [F] in a sequent S by an occurrence of the formula [p], where p is a new propositional variable, with the simultaneous addition to the antecedent of the formula F p or p F depending on the sign of the occurrence of F in S, leaves the derivability unchanged. We give a proof of the fact that the natural extension of this transformation to derivations preserves the relation of equivalence of derivations, i.e., transformed derivations are equivalent if and only if the originals are equivalent. (Derivations are considered equivalent if certain of their normal forms coincide, or, what is the same, if their deductive terms coincide.) It is proved that by the iteration of this transformation, each derivation of an arbitrary sequent S can be transformed into a derivation of a sequent S, depending only on S, whose succedent is a variable, and in the antecedent there occur only formulas of the form a,a & b, a b,,(a b) c, a & b c, a (b & c), wherea, b, c are variables. Here if S is balanced, then S is also balanced. (A sequent is called balanced if each variable occurs in it no more than twice.) The familiar correspondence between certain concepts of the theory of categories and concepts of the theory of proofs allows one to assert that there has been constructed a univalent functor, mapping a free Cartesian closed category into itself.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 88, pp. 197–207, 1979.