对称型势函数的逆谱问题

考虑定义在[0,1]区间上的Sturm-Liouville(S-L)微分算子的逆特征值问题.应用Weyl函数性质及Marchenko唯一性定理证明:若势函数是多重对称且在部分区间上已知,则可选取一组适当的特征值唯一确定[0,1]上的势函数.     

一类势函数具有脉冲点的Sturm-Liouville算子的半逆问题

目的研究势函数具有脉冲点的Sturm-Liouville算子在Robin边值条件下的半逆问题。方法根据缺失一个特征值后的一组谱和[0,1/2]区间上的势函数q(x)及边值条件中的参数h利用Pivovarchik的方法进行重构。结果与结论得到了(1/2,1]区间上q(x)和参数H的存在性和唯一性,给出了唯一解相应的重构算法。     

非连续Sturm-Liouville算子的谱分布及其逆特征值问题

研究了定义在[0,1]区间且在点t0∈(0,1)具有界面条件的Sturm-Liouville算子的特征值与定义在子区间[0,t0]与[t0,1]上的两个Sturum-Liouville算子的特征值分布及其逆特征值问题.利用Weyl-Titchmarsh-m-函数的单调性态,证明了这三组谱之间具有交错性关系,并证明了若子区间上的两组谱不相交,则可由这三组谱唯一确定势函数q(x)与边值条件中的参数h和H.     

已知部分势函数的AKNS算子的逆谱问题

考虑定义在［0,1］区间上AKNS算子的逆谱问题。证明了假设2组势函数在区间［a,1］(a∈(0,1/2］)上已知且它们的差属于L^p空间, 若2个系统的共同特征值的数量足够大则这2组势函数相等,且共同特征值的数量与系数p和a有关。     

函数项级数积分的若干定理

§1 引言设数列{c_n}终归为正(即存在某一正整数 N,对一切 n≥N,皆有 c_n≥0),又设{u_n(x)}为 c~k[0,1]中的函数列(此地 k 为某一正整数,c~k[0,1]为区间[0,1]中的所有 k 次连续可微函数全体所构成的函数空间),若函数级数(?)c_nu_n(x)还在区间(0,1)上处处收敛,则由此在[0,1]上定义一函数.f(x)=(?)c_nu_n(x)x∈[0,1](1.1)     

一类四阶次线性奇异边值问题的正解

利用锥上的不动点定理给出一类四阶次线性奇异微分方程边值问题C~2[0,1]和C~3[0,1]正解存在的充分必要条件及正解的唯一性.这个结果可用于判断给定的边值问题正解的存在性和唯一性.     

对2005年数学高考北京卷压轴题的解法探究

在课改进程中,数学高考在加强“双基”考察的同时,凸显了考察学生创造性学习能力的命题导向,2005年北京卷压轴题(理、20)就是典型一例。原题:设f(x)是定义在[0,1]上的函数,若存在x*∈(0,1),使得f(x)在[0,x*]上单调递增,在[x*,1]上单调递减,则称f(x)为[0,1]上的单峰函数,x*为峰点,包含峰点的区间为含峰区间。对任意的[0,1]上的单峰函数f(x),下面研究缩短其含峰区间长度的方法。(Ⅰ)证明:对任意的x1,x2∈(0,1),x1相似文献   

一类平顶单峰映射的迭代

主要研究区间[0,1]上一类在[0,a]上线性严格递增,在[b,1]上线性严格递减,而在[a,b]上为常值的非单调平顶单峰自映射的迭代,讨论在n次迭代后的平顶区间的个数以及平顶区间的结构.     

一类一阶常微分系统周期边值问题正解的存在唯一性

本文研究了一阶常微分系统周期边值问题■的正解的存在唯一性，其中a,b∈C([0,1],[0,∞))且在[0,1]的任何子区间上不恒为0,f,g:R→R连续，f(0)≥0,g(0)≥0且f(t),g(t)关于t∈[0,∞)单调递增.主要结果的证明基于Schauder不动点定理和Leray-Schauder度理论.     

关于幂型非线性边值问题

§1 问题的叙述考虑在沿区间[0,1]切开的复平面上,求一个全纯函数Φ(z)=u+iv,使其满足条件(1) [Φ~+(t)]~a+[Φ~+(t)]~a=f(t),f∈(0,1),0相似文献   

Vitali不可测集的注记

设Z是[0,1]区间上Vitali不可测集,Z_0Z,以E(z)表[0,1]区间上与z等价的元素全体,则为[0,1]区间上的一个子集。现在要问F的可测性如何?本文前三个定理确定F的可测性,第四个定理指出Vitali不可测集有一个可测的不可列子集。     

关于幂型非线性边值问题

§1 问题的叙述考虑在沿区间[0,1]切开的缸平面上,求一个全纯函数φ(z)=u+iv,使其满足条件 (1) [φ~+(t)]~a+[φ~-(t)]~a=f(t),t ∈(0,1),0相似文献   

Aceive耗散色散方程边界控制全局指数稳定估计

在区间[0,1]上利用边界控制来研究Aceive耗散色散方程的全局指数稳定性问题,首先通过Banach不动点定理和算子半群理论证明解的存在性和唯一性,应用一些不等式和分部积分理论证明Aceive耗散色散方程在边界控制律u(0,t)=ux(0,t)=u(1,t)=0,uxx(1,t)=-(α)/(2)ux(1,t)下是L2全局指数稳定的.     

样本区间的概率分布及其性质

设(X1,X2,…,Xn)为服从I=[0,1]上的均匀分布的简单随机样本,它们将[0,1]分成(n+1)个样本区间,以Y0,Y1,…,Yn分别表示这些样本区间的长度,利用顺序统计量的性质讨论Yi(1≤i≤n+1)的概率性质。     

直觉区间值模糊逻辑算子

首先提出了用直觉区间值去表示命题的真值;然后定义了直觉区间值模糊逻辑上的算子－补,t-范、t－余范和蕴函算子,并讨论了它们与I[0,1]及[0,1]上的相应算子的内在联系,指出它们可用I[0,1]及[０,１]上相应逻辑算子表示。     

微积分中值公式推广

本文先给出一道分析命题,然后将它与微积分中值公式联系起来。命题1 设函数f(x)在区间[0,1]上可导,而且f(0)=0,f(1)≡1,则对任何存在[0,1]中n个不同数x_1,…,x_n,便得     

样条插值的一致收敛性

设 是区间[0,1]的一列分划;sp(3,△R)是对于分划△R 的三次样条函数空间,即若s(x),则s (x)i=0,1,…,NR-1;且 s(x)[0,1].记 对干连续函数[0,1] ,在sp(3,△k)中构造它的插值样条s(x),常见的三种,即三次周期型插值样条(若f(0)=f(1)的话)、三次自然型插值样条,(在[1]中称为(Ⅱ’)型插值样条)和三次(Ⅰ’)型插值样条(见[1] p94)。这三种样条在[2]中分别用插值算子L△Kf,N△Kf和S△Kf来表示,它们都是线性、幂等因而是投影算子。 I.J.Schoenberg[3] 曾提出过这样的问题:对于满足△k→0的分划列△R,是否对[0,1]上的一切连续函数f都有P△Kf-f…     

起点和首次反步的判别法则及其关于精确度优良性的分析

设S是定义在区间[0,1]上的单峰函数的全体.那么,通过实验的方法可以求得S中的任意函数f(x)在[0,1]上极值点的最佳逼近.当实验次数是任意时,黄金分割法是达到这种最佳逼近的一个重要方法,并且可以把分数法(斐波那奇方法)看成是灵活应用黄金分割法的特例.     

单模动力系数第三大n—周期的存在性和唯一性

讨论关于单模动力系统，迭代是动力系统中最简单的模型，这些一维模型呈现很好的数学结构，某函数是区间[0,1]上具有连续自映射的单模凸函数F（x)，且该系统还依赖于某一特征实参数λ∈[0,1]。利用逆序列函数hn-1(λ)的性质，证明了对于单模凸函数F(x)第三大n-周期的MSS序列P＝RL^n-4R^2，存在某一自然数n0,当自然数n不小于该自然数时，则在某一区间（λRL^n-4R,λRL^n-4)中，一定存在与该MSS序列相对应的特征实参数λRN^N-4R^2，并且该值具有唯一性。     

区间值模糊图的图塔分解与表示定理

利用偏序集的同构关系研究区间值模糊图的图塔分解与表示.借助于所定义的[0,1]上区间集的划分,研究区间值模糊图的图集表示,证明[0,1]上区间集的划分与其对应的图集具有相同的序结构.同时,给出区间值模糊图的图塔分解及运算法则,建立区间值模糊图塔与区间值模糊图的同构关系.作为模糊图运算及其应用的基础性研究,得到了图集与区间值模糊图的转换定理.