指数函数的一个充要条件

、预备定理一xlmco(卜:)x= 定理:设f(X,y,…,z),g(X,。的推广y,一)=co·②x黑。〔,(X,函数,则x黑。〔卜g‘X,y, y,…,y, z)…,z)是n维空间D。上的连续函数,若① limX净Xof(x,·g(x,,,〕‘(x,y,… y,,z)_…,z)〕=f:(y:,…,z)是D:_:上的连续efl(y,一z).证明:由①知,存在a>0,对Vx任(x。一a,x。+a)有f(x:,v,…,z)子0再由②得g(x:,y,。二,z)=工喂毖:君瑟鱼2 且xle:mx。a(x,)=0.故根据极限的定义和连续函数的性质有: limx,xo 1 im〔‘+“x,y,一,,〕’‘x,y,一z,〔“g‘Xl,y,…,·)〕“‘1,y.,.,z)X王一x。f(x,,y,一,z)fl(y,…z)+0(x,)f,(y,……     

Banach空间中一类子空间及其锥的性质与证明

设E是实Banach空间,P是E中某锥,设u。∈P,且u。≠θ(即u。>0) 命题1:令E_uo={x│x∈E,且存在λ>O使 -λu≤x≤u。} 则:E_(u。)是E的线性子空间证:∵x,y∈E(uo)λ_1>0,λ_2>0,t -λ_1u_o≤x≤λ_1u_o -λ_2≤g≤λ_2u α,β∈R,当α,β>0时,有 -λ_1αu_o≤αx≤λu_o -λ_2βu_o≤βy≤λβu_o     

Lebedev—Milin不等式的推广

设φ(z)=sum from k=1 to ∞α_kz~k是一个具有正的收敛半径且正规化使得φ(0)=0的任意幂级数。令ψ(z)=e~(φ(z))=sum from k=0 to ∞β_kz~k则Lebedev—Milin不等式可表述如下:     

有限正阶超越整函数的一个注记

本文给出了如下结果:设1)f(z)=sum from n=0 to ∞(0/n)C_nZ~x为整函数;2)其中M(r)表示f(z)在园|z|=r上的最大模,0<α,σ<∞,则f(z)的阶为α。     

π(x)的一个简单性质的初等证明

文[1]中以π(x)表示不大于x的素数个数,即素数函数.素数定理指出(?)π(x)/xlnx=1.反映了素数函数的性态.本文将就“π(X)不能表示为两个实系数多项式的商”给出这一简单性质的初等证明.性质:不存在两个实系数多项式P(x)与Q(x)使得π(x)=P(x)/Q(x)(x=1,2,…)     

与奇、偶函数及周期函数相关的积分运算中的几个问题

本文讨论在一个确定的闭区间〔-a,a〕上,对任一函数f(x)。当定积分integral form n=-a to　∞ (dx/x)时,被积函数f(x)与奇函数的关系。当定积分integral firm　n=-∞ to a(dx/x)integral form n=0(dx/x)时.被积函数(x)与偶函的关系。以及当integral form n=∞ to a T(dx/x)=integral firm n=0 to T时.f(x)与周期函数的关系。     

一些常见的特殊函数的原函数的确定

现行《数学分析》教科书关于不定积分一般有如下表述: 定义1:设F(x)与f(x)在区间I上都有定义,若在I上F'(x)=f(x),则称F(x)为f(x)在区间I上的一个原函数。 定理:若函数f(x)在区间I上连续,则f(x)在I上存在原函数F(x)。     

一般中值定理的推广

下面所有函数都是实变量x,a≤x≤b实值函数。这里a和b是不同的实数。 令f(x)在x=a处有n≥1阶导数。令(T_(n,a)f)(x)表示f(x)在x=a处Taylor多项式的前几项,即     

隐函数存在定理的推广

定理一:若(1)成数;、.、)在(x。,;。)f,:域里连续,且F(x。, (2)在在(x。,y。) (l)在巧八,乒阵在一个连续函数”(X,y,今0使“‘X, 3厂。)=Oy)F(x,y)域里关于变元y递增(或递减)则有:,y。)的某一个邹域里存在一个单值函数y=y(x),且y。一y(x。) J廿目舀,Z‘、月.t曰﹃ 1 21、满足F(x,y(x))二o (2)y=y(x)是连续的 证明:令H(x,}一)=h(x,J)F(x,y),则H(x,y)满足一般隐函数存在条件 1,,H(x,,)在(、。,,一。)价;;域中连续。(因为h(、,一,)、F(x,。!)连续 2 oH(x。,y。)=h(x。,y。)F(x。,y。)=o 3“.H(x,y)关于变元y单调故在(X。,y。’)价};域…     

参数法求轨迹方程新探

在轨迹的求法中,参数法占有重要地位,应用十分广泛。某些轨迹问题,动点坐标(x,y)间无明显的直接关系,利用普通方法求轨迹方程往往比较困难和繁杂。若x、y是某参变量t的函数,其函数关系较容易获得,不妨就选t作参数,运用参数法求出轨迹的参数方程 x=g(t) y=φ(t),再消去参数得普通方程f(x,y)=0,使问题迎刃而解。     

黎曼积分的一个等价定义

众所周知,黎曼积分的定义有两个“任意性”,本文将其中的区间任意分改为等分,证明了由此定义的较弱积分与黎曼积分等价。从而使我们对黎曼积分有了进一步的认识。设函数f(x)在[a,b]上有定义,在[a,b]内插入n-1个等分点x_1=a (b-a)/ni,i=1,2,……,n-1。使 a=x_o相似文献   

柯西积分概念及其与黎曼积分的比较

本文首先介绍黎曼(Riemann)积分的概念,再由阶梯函数的积分定义和性质,引出柯西(Cauchy)积分,并与黎曼积分进行了比较.一、黎曼积分概念设函数f(x)在区间[a,b]上有定义,给区间[a,b]一个分割法a=x_0相似文献   

微分方程“分离变量法”可靠性的证明

在用初等积分法解古典微分方程时,“分离变量法”是最基本的一种方法,而在一般的教本上只介绍方法,对此方法求解的可靠性并没有给出证明,下边给出“分离变量法”可靠性的一个证明: 在方程(dy)/(dx)=f(x,y)中,若f(x、y)可以表示成两个单变量函数之积,则方程是可分离变量的方程:     

关于常系数线性非齐次递推关系的求解

本文利用构造生成函数的方法给出常系数线性非齐次递推关系:h(n)=a1h(n-1) … akh(n-k) f(n)解的-般公式及其应用,其中f(x)为一般函数.本文的方法是对文献[1][2]中特殊形式f(x)=βnP1(n)求解的一种推广,此方法更具有一般性.     

一类奇异积分算子的加权Triebel-Lizorkin 有界性

利用 Littlewood-Paley 分解及插值方法得到了奇异积分算子Tf(x)=∑+∞j=-∞Kj*f(x)在加权Triebel-Lizorkin空间上的有界性,作为应用,对粗糙核奇异积分Tf(x)=p.v.∫Rn(Ω(y′))/(│y│n)f(x-y)dy也得到了相应结果.     

在圆环域内的非线性椭圆方程的正的径向对称解的存在性

本文讨论非线性椭圆型方程△u f(｜x｜,u)=0在环形区域内的Dirichlet(Dirichlet-Neumann)边值问题。     

具有无界位势奇点集的非齐次Hamilton系统

本研究方程Ax=△↓V（x) f(t)(HS)的周期解存在性问题,在一般条件下得到了无究多个互不相同的周期与广义周期解,其中x=(x1,...,xn),xi∈R^2(1≤i≤n),A是R^2×...×R^2上的正定矩阵,V∈C^1(R^2/{0}×...×R^2/{0},R),f是以T为周期的可积函数。     

Rolle定理与构造性证明

在高等数学的命题论证中,可能需要构造一个辅助函数或辅助命题,这就是构造性证明。一些较难的证明题,常常需要采用构造性证明,但是在进行构造性证明时,最难掌握的是如何设置辅助函数和辅助命题。本文通过Rolle定理在构造性证明的运用,介绍常用的构造性证明方法。Rollo定理:若函数f(x)满足:(1)在闭区间〔a,b〕上连续,(2)在开区间(a,b)内可导, (3)f(a)=f(b),则至少存在一点ξ∈(a,b),使 f'(ξ)=0．微分中值定理一章中,对Lagrange定理和 Cauchy定理,一般教材均是以Rolle定理为基础,运用构造性证明的方法进行论证的。     

二阶非线性中立型强迫泛函微分方程的振动性和渐近性

本讨论了二阶非线性中立型强迫泛函微分方程[x(t)-p(t)x(t-τ)]″＋Q（t)f[x(t),x(g(t)))=h(t)的振动性和渐近性，得到了两个差别准则。     

"分式"教学札记

一、分式的分母不能为零,这个概念是教学的要点,而这个概念可通过下列问题得到加强： 1．分式的字母的取值范围为什么会扩大或缩小？ 根据分式的基本性质,分式的分子、分母同乘以（或除以）不等于零的整式,分式的值不变。 例1 42)4)(2()2)(2(82422 = - -=- -xxxxxxxxx ,分式82422- -xxx和分式)4()2( xx的值相等,但字母x的许可值却不相同,前者x2,x-4,后者x-4,也就是说后者字母x的许可值范围扩大了,为什么？由于分子和分母同除以x-2：x-20否则原分式无意义,而分式)4()2( xx中,当x-2=0即x=2时,)4()2( xx=4222 =32,因…