方程dx/(dt)=φ(y)-F(x),dy/(dt)=h(y)-g(x)极限环存在条件的一点减弱

对更一般的非线性微分方程极限环存在性定理[1]有了初步的结果.本文对[1]中的定理3中的(4°),在对h(y)的限制有所减弱,而与[1]有相同的结果。在以下的讨论中,设φ(y)、F(x)、g(x):R→R为C′函数,方程(1)只有唯一的有限奇点(0,0),记λ(x,y)=integral from n=0 to x(x)dx+integral from n=0 to xφ(y)dy,对每个常数c≥0,称曲线入(x,y)=c为等位线·对此有: 定理:若(1°)xg(x)>0(x≠0),(2°)yφ(y)>0(y≠0),(3°)有δ>0使0<|x|<8时,xF(x)<0,0<|y|<6时,yh(y)≥0;(4°)有常数M>0,N>0,k>0>k′,L>0,使X≥M时,F(x)>k,x≤-M时,F(x)相似文献   

一类线性和非线性抛物型方程的问题

本文讨论一类线性和半线性抛物型方程带有附加条件∫0^∞ u(x,t)dx=h(t)或其导函数某点值为已知的若干反问题,证明了这些反问题解的存在性和唯一性,并且给出了关于未知参数的精确计算公式。     

求一类微分方程特征值上,下界的数值方法

本文首先导出了以y″ λρ(x)y=0的特征值集为其零点集的整函数ω(λ),其中ρ(x)为分段函数(每个小段为线性或零次函数),据此,给出了一个求(ρ(x)y＇)＇ λq(x)y=0的特征值上、下界的数值方法。     

关于整函数求实零点的一族含三个参变函数的大范围收敛的迭代法

本文考虑了一族含三个参变函数α(x),β(x),c(x)的迭代程序(5)。证明了当取α(x)>0,0<β(x)≤1,c(x)≤0时,程序(5)在求整函数实零点时具有广义大范围收敛特征。显然所得结果包含了文[1]的结果。     

关于极值点、拐点问题的探讨

利用数学归纳法及相关引理将文献[1]中通过考察U0-(x0)和U0 (x0)内f′(x)或f(x)的符号来判断(x0,f(x0))为曲线y=f(x)的拐点的充分条件推广到通过考察U0-(x0)和U0 (x0)内f(n)(x)的符号来判断(x0,f(x0))是否为曲线y=f(x)的拐点与极值点,并在此基础上得到若y=f(x)在点x=x0的某去心邻域内具有(n-1)阶导数,在x=x0具有n阶导数(n≥2),如果f′(x0)=f″(x0)=…=f(n-1)(x0)=0,而f(n)(x0)≠0,则当n为奇数时,(x0,f(x0))是拐点不是极值点;当n为偶数时,(x0,f(x0))是极值点不是拐点,且当f(n)(x0)>0时为极小值点,当f(n)(x0)<0时为极大值点.最后将本文所得三定理举例加以应用.     

求解条件极值问题的两个充分条件

笔者给出并证明了两个判断条件极值的充分条件.可求解函数z=f(x,y)在附加条件为φ(x,y)=0和函数u=f(x,y,z)在附加条件为φ(x,y,z)=0的条件极值问题.利用Lagrange乘数法求出驻点,再用笔者给出求解条件极值的上述方法即可解决驻点是否为极值点.     

避免丢失条件极值点的探讨

求解函数u=f(p)在条件φ(p)=0下的极值,不时出现丢失极值点的情况,当z是从条件中解出的隐函数因变量时,对于φz=0或在v=φ(p)的驻点处丢失的极值点已经引起人们的注意[1],但对于φz不存在或v=φ(p)的偏导数不存在而引起丢失极值点的情况容易被忽视.本文主要讨论这种情况.条件极值通常用两种方法解决,一是从条件中解出隐函数代入u=f(p)中化为无条件极值,二是用拉格朗日乘数法直接求驻点,但如果不注意各种方法中的条件,均可能丢失极值点.下面举例加以说明.例1　求原点到曲面(x-y)2-z2=1上的最短距离.此即求函数f(x,y,z)=x2+y2+z2(1)在条件(x-y…     

二元函数微分中值定理“中间点”的渐近性

讨论了二元函数微分中值定理中的“中间点”当点B(x_0+△x,y_0+△y)沿直线段AB向点A(x_0,y_0)逼近时的渐近性,推广了文[1—2]的结果,获得了更为一般的数学表达式。     

关于齐次有理分式函数极限的存在性

讨论了齐次有理分式函数f(x,y)当(x,y)趋于(0,0)时极限存在性的问题,给出了一组判断方法及其证明.     

两点关于平面对称的充要条件

给出了空间两点P(x ,y ,z)和Q(x0 ,y0 ,z0 )关于平面π :Ax +By +Cz +D =0对称的一个充分必要条件。     

椭圆型偏微分方程初值问题的比较原理

对一类二阶椭圆型偏微分方程的初值问题的粘性解进行研究.在u0(x)是RN上的一致连续函数,H在RN×φ(N)上连续且H是退化椭圆的假设下,给出初值问题ut+H(Du,D2u)=0,0t+∞u(x,0)=u0(x),x∈RN的比较原理.     

非线性二阶三点边值问题的存在性原理

应用Leray-Schauder抉择和锥不动点定理,建立了非线性二阶三点边值问题{ y"+f(t,y)=0,0相似文献   

基于差分激光三角法的薄零件厚度测量研究

为了精确自动测量薄零件的厚度,设计了一种基于差分激光三角法的厚度测量系统。利用双路激光对称布置,由两个CCD接收上下光路的反射/散射光斑,实现薄零件的厚度自动测量。采用平行直线双线性查表法标定测量系统,进行了标定实验和厚度测量实验。多次实验表明,系统的标准差均小于0.009。     

无限的概念与数学基础

实无限不能随便应用;现行实数理论与ZFC公理集合论中都有矛盾.实践中的除不尽、开不尽、测不准的事实必须得到尊重;对于点、直线、平行线、实数、相等、导数、函数等基本数学名词,都应当提出近似、全能近似、理想三类不同的术语.没有误差的数学理论是从实践中的近似情形取误差界趋向于0的极限得到的.实数系统的可接受性依赖于实践.     

含参变量的奇偶函数的积分

给出了多元奇偶函数的概念，并将在对称区间上奇偶函数的定积分的性质，通过定义在区间［ａ，－ａ］上的函数Ｆ（ｘ）＝（ｘ）ｆ（ｘ，ｙ）ｄｙ的奇偶性，推广到多元奇偶函数在对称区域上的积分中，从而简化了此类积分的计算方法。     

椭圆曲线y^2=nx（x^2＋2）的整数点

设n是大于1的无平方因子正奇数.运用二次和四次Diophantine方程的性质证明了：当n的素因数p都满足p≡5或7（mod 8）时,椭圆曲线E：y^2=nx（x^2＋2）仅有整数点（x,y）=（0,0）.     

γ- 次微分意义下的非光滑规划的最优条件

作者曾引进了 Ｒｎ 上的γ－ 次微分和 γ－ 凸性的定义,利用 γ－ 次微分给出了一 个新的全局极小的必要条件。利用 γ－ 凸性给出了一 些全局极小 的充分条件。γ－ 凸函数是相 对较大的一 类凸函数,例如有一些 γ－ 凸函数是处处不连续的,而且 γ－ 凸函数的局部极小总是全局极小。它完全不同于导数,梯度及次微分,并且克服了它们的一些缺点。在本文中,利用 γ－ 次微分和 γ－ 凸性的概念,给出了一类非光滑规划问题（ Ｎ Ｓ Ｐ） ：ｍｉｎ ｆ（ ｘ） ,ｘ ∈ Ｓ＝ ｛ ｘ ∈ Ｒｎ｜ ｇｉ（ ｘ） ,ｉ ＝ １ ,２ ,…, ｍ ｝ 的一些最优性条件。主要结果有：如果 ｘ ∈ Ｓ 是（ Ｎ Ｓ Ｐ） 的最优解,那么存在 λｉ ∈ Ｒ 使０ ∈γ（ ｆ ＋ ∑ｍｉ ＝ １ λｉｇｉ）（ ｘ ） ,∑ｍｉ ＝ １ λｉｇｉ（ ｘ ） ＝ ０ ,λｉ ≥０ 。设 ｆ（ ｘ） ,ｇｉ（ ｘ）（ ｉ ＝ １ ,２ ,…, ｍ ） 是 γ－ 凸函数,ｘ ∈ Ｓ,如果存在数 λｉ≥０ ,使得∑ｍｉ ＝ １ λｉｇｉ（ ｘ ） ＝ ０ ,ｘ 是函数 ｆ ＋ ∑ｍｉ ＝ １ λｉｇｉ 的局部最优解,则 ｘ 是（ Ｎ Ｓ Ｐ） 最优解     

湍流、不动点与周期轨的稳定性

本文对区间连续自映射,讨论了湍流与不动点的关系：若x0∈I及ω（x0,f）中的不动点c,满足：c0,对g∈ωε（f）,g的所有周期轨也都是简单的。     

级数求和的一个定理

建立了由函数恒等式 f(x) =af(bx) +cg(x)所导出的函数项级数∑∞n =0 ang(bnx)与∑∞n =0 a-ng(b-nx)的求和定理 ,并给出了具体应用的实例