关于隐函数存在唯一性定理的新证明

由方程F(x,y)=0所确定的隐函数的存在唯一性定理是多元函数微分学的基础理论。本文试用微分方程的有关解的存在性理论及Picard逐步逼近法给予新的证明。 定理1.如果函数方程 F(x,y)=0 (1)满足:Ⅰ)F(x,y)在闭矩形R:|x-x_0|≤a,|y-y_0|≤b上连续。 Ⅱ)偏导数(F_x)′(x,y),(F_y)′(x,y)在R上亦连续。     

中心二次曲线切线的新求法

<正>在高等学校教材《解析几何》中,对二次曲线的一般求法及过中心二次曲线正常点的切线的特殊求法,都有明确的阐述.但对过有奇异点的中心二次曲线外任一点的切线却没有涉及,为了完善其理论,下面给出求过有奇异点的中心二次曲线外任一点的切线的一种新方法.为了方便,约定1 二次曲线方程 F（x,y）=a_(11)x~2+2a_(12)xy+a_(22)y~2+2a_(13)x+2a_(23)y+a_(33)=0（1）2 F_1(x,y)=a_(11)x+a_(12)y+a_(13),F_2(x,y)=a_(12)x+a_(22)y+a_(23),F_3(x,y)=a_(13)x+a_(23)y+a_(33)定理1 如果二次曲线 （1）有奇异点,则I_3=0.证设（x_0,y_0）为（1）的奇异点.由奇异点的定义,有F_1(x_0 ,y_0)=a_(11)x_0+a_(12)y_0+a_(13)=0 ,F(x_0,y_0)=a_(12)x_0+a_(22)y_0+a_(23)=0,F(x_0,y_0)=0而,F(x,y)=xF_1(x,y)+yF_2(x,y)+F_3(x,y)=0故,F_3(x_0,y_0)=a_(13)x_0+a_(23)y_0+a_(33)=0显然(2)有非零解(x_0,y_0,1),由齐次线性方程组有非零解的必要条件,有I_3=0 证毕注 这个定理给出了判断二次曲线无奇异点的方法.这个定理的逆命题不成立.但是当(2)有解(x_0,y_0,1)时,二次曲线有奇异点.由定理1,可得推论 二次曲线(1)有唯一奇异点的必要条件是I_3=0,且a_(12)~2≠a_(11)·a_(22)由推论知,中心二次曲线若有奇异点,则一定是唯一的奇异点.?     

双曲型方程一种反问题的唯一性和稳定性

本文研究双曲型方程一种反问题,即是由条件: u_(tt)=△u P(x,y)u,(t>0,(x,y)∈R~2) u|t=0=O,u_t|t=0=(x,y),((x,y)∈R~2) u_x|x=0=g(y,f),(f≥0,y∈R~1) 确定函数对(p,u)的问题是文章[1]的推广,与[1]研究的问题不同,处理方法都是用能量不等式方法。这种问题不是古典意义下适定的,但是按Тuxонов意义下条件适定的[2]。我们给出了相应的条件适定的集合F和F_o,证明了唯一性稳定性的两个定理。     

广义Liénard系统闭轨的存在性

本文研究广义Liénard系统x=φ(y),y=-φ(y)f(x)-g(x)闭轨的存在性问题.获得了保证此系统存在闭轨的两组充分条件.在我们的定理中f(x)允许无限次变号,特别在我们的定理2中,去掉了以往关于Liénard系统极限环存在性结果中f(0)<0(或>0)的常设条件.     

广义凸函数与弱近似凸集

定义广义凸集和F-G广义凸函数等概念,并给出条件P1、P2,指出:若F在K上满足条件P1、P2,则 (V)λ∈(0,1),(V)u1,u2∈[0,1],u1≠u2,(V)x,y∈K,有F(x,y,λu1+(1-λ)u2)=F[F(x,y,u1),F(x,y,u2),λ].P1采用集合方法研究F-G广义凸函数.首先给出闭...     

二阶微分方程组正周期解的存在性

考虑二阶微分方程组{x″+H(t)x’+A(t)x=F(t,x),0相似文献   

三类含绝对值的函数的可导性

使用导数定义以及数学归纳原理,探讨了三类含绝对值的函数的可导性,证明了(1)若y=|f(x)|在x₀点处可导,则y=f(x)在x₀点的可导性取决于f (x₀)与f’(x₀);(2)对于任意的正整数k,y=(x-a)^k|x-a|在x=a处具有k阶导数,不具有k+1阶导数;(3)若g(x)在x=a处连续,则y=|x-a|g(x)在x=a处的可导性取决于g(a).     

对称曲线方程的求法

众所周知，函y＝f(x)的图象和它的反函y＝f(x)的图象关于直y＝X对称。由此我们可以想到，如果一个函数f（x，y）＝0存在反函数f（y，x）＝0的话，那么f（xy）＝0的图象关于直线l：y＝x的对称图象的方程为f（y，x）＝0。于是我们可以进一步推想，对任意曲线C：f（x，y）＝0关于直郭：y＝x的对称曲线是什么阶定理1任意曲线C：f（x，y）＝0关于直线l：y＝x的对称曲线c的方程为f（y，x）＝0证设点户为曲线C上的任意一点，则点户／X．外关于直线z的对称点。（土，人在cAl。“．“点户和点／关于直线J对称，。二；z。。。。。＋s。，，一一。＋…     

三阶椭园——抛物型非齐次方程的一个边值问题

设D_1是由直线y=0,x=1,y=l和x=-1上的线段A(-1、0)B(1、0),BB_0(1、l),B_0A_0(-1,l),A_0A所围成的矩形区域。用D_2表示由线段AB和下半园周σ{(xy)|x~2-y~2=1 y≤0}所围成的区域。把σ的部分弧AN(0,-1)和NB分别记为σ_1和σ_2,把带有开线节AB的区域D_1和D_2的并记为D。问题,要求确定函数u(x,y),使之1)在闭区域D上连续;2)在区域D内部具有连续的一阶偏导数u_x,u_y;3)是方程(2)在y≠0的区域D上的正则解;4)满足边界条件     

一类弹性梁方程三个正解的存在性

利用Williams-Leggett定理，得到了两端固定的弹性梁方程y′′′′（x）－f（y）（x）＝0，y（0）＝y（1）＝y′（0）＝y′（1）＝0三个正确的存在性结果。     

关于多元函数条件极值问题

<正>本文利用多元函数微分学求解条件极值问题的拉格朗日乘子法[1-2]给出了关于多元函数条件极值问题的两个结论.结论 1设曲线L的方程为φ(x,y)=0,其中:φ(x,y)的偏导数连续且φy(x,y)不为零.P(a,b)为L外一点,PQ为点P到曲线L的最短距离,Q点在曲线L上,则连线PQ必位于曲线L在点Q的法线上.     

二元函数极值讨论的2种方法

<正>1基本理论定理1(极值充分条件)[1]设二元函数f在P0(x0,y0)的某邻域U(P0)内具有二阶连续偏导数,且P0是f的稳定点,则当Hf(P0)是正定矩阵时,f在P0取得极小值应;当H f(P0)是负定矩阵时,f在P0取得极大值;当Hf(P0)是不定矩阵时,f在P0不取极值.其中Hf(P0)为黑赛矩阵.     

关于函数连续性的研究

在数学分析教材中用函数f(x)在点x0的连续定义和用复合函数的连续性定理来论述初等函数在其定义域中的连续性时,存在一定的问题.通过函数f(x)在点x0连续的一般性定义,明确了初等函数在其定义域中的连续性,从而揭示初等函数连续性的实质.     

一类p-Laplacian-Rayleigh方程周期正解的存在性

用重合度定理讨论一类具奇性的p-Laplacian-Rayleigh方程(|x'|p-2x')'+f(x')+g(t,x)=0周期正解的存在性问题,其中p1,f:R→R为任意连续函数,g(t,x):R×(0,+∞)→R连续,且在x=0处具有奇性。假设f小于指数增长,证明此类p-Laplacian-Rayleigh方程至少存在一个周期正解,给出周期正解存在的充分条件。应用文中定理,证明两类方程存在周期正解。     

一类三次Hamiltonian系统Abelian积分的零点个数估计

利用Picard-Fuchs方程法研究如下扰动Hamiltonian系统{x=y+εf(x,y),y=-x-x~3+εg(x,y),其中0|ε|■1,f(x,y)和g(x,y)是关于x和y的n次多项式。得到相应Abelian积分I(h)=∮_(Γh)g(x+y)dx-f(x,y)dy在开区间(0,+∞)上零点个数B(n)≤3[n-1/2],其中Γ_h是代数曲线H(x,y)=1/2y~2+1/2x~2+1/4x~4=h,h∈(0,+∞)所定义的卵形线。     

A型样本统计深度函数的渐近性质

设D(.;.)是一个A型统计深度函数,函数h满足以下条件:对任意正数M(i)(i) lim‖x‖→∞sup‖xf‖≤M,i=1,…,rh(x;x1 ,…,xr) = 0,(ii) limn→∞sup‖x‖≤M|∫h(x;x1,…,xr)d(F(x1,…,xr) - Fn(x1,…,xr))|= 0,a.s.则limn→∞supx∈Rd|D(x;Fn)-D(x;F)|=0 a.s. 令(θ)n=maxx∈RdD(x;Fn),h连续且D(x,F)有惟一的最深点Q,则lim (θ)n=0 a.s.     

三阶非线性微分方程三点边值问题解的存在性（英文）

利用上下解方法以及Schauder不动点定理和Ascoli定理,研究三阶非线性微分方程的非线性混合三点边值问题{y''(x)=f(x,y,y',y″),y(b)=A,y'(c)=g(y'(a)),k(y(a),y(c),y'(a),y'(c),y″(a),y″(c))=0,解的存在性,其中函数f和k均为连续函数并满足一定的单调性质,f满足Nagumo条件,g是一个同胚映射。得到新的存在性结果,实例给出了主要结果的应用。     

关于半质环交换性的注记

设R为结合环。文献[3]证明了:设R是具有正则元的半质环,如果R满足条件:对于任意的x,y∈R,都存在一个与x,y有关的整数n=n(x,y)≥1,使得(xy)n+k=xn+kyn+k,k=0,1,2,则R为交换环。给出上述结果的一个简短证明,并将其推广,证明了定理:设R是具有正则元的半质环,如果R满足条件:对于任意的x,y∈R,都存在一个与x,y有关的整数n=n(x,y)≥1,使得(xy)n+k=yn+kxn+k,k=0,1,2,则R为交换环。     

微分中值定理证明中辅助函数的构造

由复数x+yi与直角坐标平面上的点(x,y)(x,y∈R)的一一对应关系,将复平面与直角坐标平面看成是一致的,通过复数乘法运算构造出一系列拉格朗日中值定理证明中满足罗尔中值定理条件的辅助函数,并明确指出了柯西中值定理证明中辅助函数的构造方法.     

关于不定积分的第一换元法

<正>定理(第一换元法或称凑微分法)设∫f(x)dx=F(x)+c,且u=(?)(x)为可微函数,则∫f((?)(x))(?)′(x)dx=F((?)(x))+c.运用第一换元法或称凑微分法的关键在于将被积表达式中(?)′(x)dx凑成某个函数(?)(x)的微分,即(?)′(x)dx=d(?)(x).如何寻找(?)′(x)dx,针对高职院校的高等数学教材,总结了4种方法.1利用dx=1/ad(ax+b),其中:a,b均为常数,且a≠0