考虑一维热方程
∂ty-Δy=0, 在 (0, T)×Ω中
的数据同化问题. 未知初始条件, 已知(0, T0)时间内可以测量方程的解在Ω中某一点的值, 经典的数据同化是要求解方程的初值, 但此问题在热方程中是不适定的, 该文借助控制转换的方法给出了在时刻T(T>T0)方程解的估计.
该文研究了一般混合变分不等式解的捆集近似算法. 该方法综合应用Cohen$^{[3]}$所介绍的辅助原理和Kiwiel$^{[11]}$所介绍的关于非光滑凸优化的捆集Bregman近似方法, 构造迭代序列{xn}. 在迭代算法的每一步, 通过求解迭代子问题获得当前迭代点xn. 一方面, xn是迭代子问题的近似极小值点(非精确极小值点); 另一方面, 在迭代的每一子问题中, 根据非光滑凸泛函f 的次梯度, 构造分段光滑的凸泛函fk用以替代非光滑泛函f, 这两方面使得迭代算法的每个子问题都容易求解, 迭代点xn容易获得. 该文首先介绍如何构造作者的迭代算法, 如何判别当前迭代点的好坏以及算法的终止条件. 其次, 在映象T满足伪Dunn性质的条件下, 证明了迭代算法产生的迭代序列{xn}收敛于一般混合变分不等式的解.
该文通过比较几种迭代矩阵的谱半径, 首次证明了经预条件子I+Sα的IMGS迭代方法$^{[1-2]}$比经典的AOR迭代方法收敛速度快; 其次证明了预条件SOR方法比经典的SOR方法收敛速度快.最后, 证明了有关迭代矩阵的谱半径关于参数的单调性, 改进了一些已知的结论.
不适定问题应用广泛. 该文针对自共轭算子方程的特征值是实数的特殊性质, 建立了自共轭算子方程不适定问题的复参数迭代算法. 证明了算法的正则性, 保证解的误差估计达到最优的收敛阶数, 并通过数值实验对结论进行了验证.
该文证明了半平面中一类由修正核表示的次调和函数在无穷远处有增长估计u(z)= o(y1-αz|m+α), 推广了解析函数与调和函数的结果.
该文引入了一个集合的广义高阶相依(邻接)集和集值映射的广义高阶锥方向相依(邻接)导数, 基于这些导数概念, 获得了约束条件分别由一个集合和集值映射决定的集值优化问题的广义高阶必要和充分最优性条件.
该文运用分歧方法研究二阶非线性不定权特征值问题 u''+rh(t)f(u)=0, 0<t<1, u(0)=u(1)=0 结点解的全局结构, 这里r ∈R 是参数, 权函数h ∈C[0,1] 可变号.
该文运用正规族理论给出关于某类代数微分方程整函数解有穷增长级的一般估计, 同时讨论了一类增长级为1的代数微分方程.
提出一个具移动锥的强向量均衡问题, 得到它的解的存在性与解集的闭性. 作为其应用, 得到强向量F -隐式变分不等式与强向量F -隐式互补问题的解.
该文对由一类积分算子和加权 Lipschitz函数生成的向量值多线性算子证明了其加权有界性. 该积分算子包括 Calder\'on-Zygmund 奇异积分算子, 分数次积分算子, Littlewood-Paley 算子, Marcinkiewicz 算子和Bochner-Riesz算子.
将2尺度正交多小波有m逼近阶的定义推广到尺度因子为a(a≥2)的情形, 给出了a尺度正交多小波具有m阶逼近阶的充分必要条件, 研究了a尺度矩阵符号的分解; 在此基础上根据a 尺度正交多尺度函数的m 阶平衡性的定义, 给出了三个a尺度正交多小波具有m阶平衡阶的充分必要条件; 然后,对理论结果通过例子进行了验证.
该文利用Crandall-Liggett半群定理和完全增长算子的性质, 得到初始值属于L1(Ω) 的非齐次发展方程第一边值问题弱解的存在性.
该文主要研究了Banach空间中的二次迭代集值函数方程. 得到了非单调解的存在性和唯一性. 进而获得了解对给定函数的连续依赖性的条件.
该文讨论了(sr)×sn正规部分因子设计折叠反转的问题, 其中r(≥2)是一个整数, s是一个素数或素数幂. 给出了(sr)×sn正规部分因子设计的折叠反转方案的一般结构, 分别在未分区组和分区组的情形下给出了初始设计与扩大设计间的联系, 把s水平正规部分因子设计的折叠反转的相关结果推广到(sr)×sn正规部分因子设计的情形.
该文利用Phragmén-Lindel\"{o}f条件和d -拟齐次概念对于S(D)=P(D)-∂2/∂2n+1)型算子进行了讨论, 给出了其连续线性右逆存在的一个必要条件.
该文引用Knopp-Kojima的方法, 定义了Dirichlet级数的级及正规增长级, 并以此研究了Dirichlet级数在全平面的正规增长性, 得到了Dirichlet级数在全平面的正规增长级的等价条件.
该文在q -一致光滑的Banach空间根据粘滞逼近法建立了一迭代序列来逼近一族严格伪压缩映射的公共不动点,这一公共不动点还是某一变分不等式的解,其结论推广了近期一些相关结果.
该文研究具强阻尼项的Kirchhoff型方程utt-M(||\nabla u||2)Δu-Δut+g(x, u)+h(ut)=f(x)的初边值问题的解的长时间行为,其中M(s)=1+sm/2, m≥1. 该文用两种方法证明上述问题对应的算子半群S(t)在相空间X=(H2(Ω)∩H01(Ω)×H01(Ω)中整体吸引子的存在性, 最后对抽象条件加以验证并给出具体实例.
Ward利用亚纯标架具体给出了有限能量的1-uniton对应的全纯向量丛,该向量丛的底空间为有理直纹面. Ward所用的亚纯标架的奇异结构与1-uniton的广义解的奇异结构相对应. 该文推广了Ward的方法,具体给出了一些Ward孤子对应的全纯向量丛,这些Ward孤子的广义解仅具有单极点或仅具有一个二阶极点.
该文得到了广义凸空间上的KKM型定理并由此得到了截口问题的解析型择一性定理. 作为上述结论的应用, 讨论了广义凸空间上变分不等式 解的存在性问题. 该文的主要结论改进和推广了文献中的相应结论.
该文引入并研究了两类具有复阶的解析函数族P(λ, b, n, A, B)、\widehat{P}(λ, b, n, A, B)的多种性质, 特别是函数族P(λ, b, n, A, B)的一个充分条件以及其系数估计的性质, 还考虑了函数族\widehat{P}(λ, b, n, A, B)的一个从属条件以及部分和等问题.该文所得到的结果推广了一些已有的定理.
该文主要在Lebesgue空间, 齐次Herz空间Kqα, p(Rn)和齐次~Morrey-Herz 空间Kp, qα, λ(Rn) 上建立了由n维分数次Hardy 算子和BMO函数生成的多线性交换子He, b的有界性.
对一类含源项非定常奇异摄动对流扩散问题, 作者构造了移动网格下的Crank-Nicolson差分格式, 介绍了移动网格的网格迭代方法和算法, 并通过数值实验实现了算法, 将求解的误差与均匀网格下求解的误差相比较, 证明了在移动网格下运用Crank-Nicolson差分格式求解这类奇异摄动问题能有效的克服数值振荡, 得到较好的结果.
该文推广了邓彬和陈果良在文献[7]中所得的关于矩阵的广义Bott-Duffin逆的若干结果. 基于算子的空间分解理论,证明了这些结果对无穷维希尔伯特空间上的有界线性算子也是成立的. 值得指出的是该文所用的数学思想和方法与文献[7]中所用的方法是完全不同的.
在非紧完备L -凸度量空间中建立了转移紧开值MLC映射的Ky Fan匹配定理, 作为应用, 获得了Fan-Browder型重合定理、极大元定理、极大极小不等式和鞍点定理.
该文研究了形如F=α+β的Randers度量的性质, 得到了局部对偶平坦的Randers度量的充要条件. 同时刻画了当α具有常数曲率或β为闭的1 -形式时的Randers度量.
该文利用散度空间的性质, 给出了一些非协调板元误差估计的新方法, 得到误差的能量模和L2模的估计. 较以前的方法更直接简便, 并且能够达到所要求的阶数.
该文在较宽松的条件下, 利用MÖnch不动点定理和分段估计的方法证明了Banach空间非线性脉冲Volterra型积分方程解的存在性定理, 改进并推广了已有的结果. 最后给出了对Banach空间一阶非线性脉冲混合型积分-微分方程初值问题的应用.
该文证明了具有非倍测度的Marcinkiewicz积分交换子μb 不仅是(Mqp(ν), Mts(ν))有界, (Mqp(ν), Lip(β-n/p))有界, 而且还是(Mqp(ν), RBMO(ν)的有界算子.
该文证明了一类粗糙核Marcinkiewicz积分与Lipschitz 函数生成的交换子在Herz-Hardy空间到弱Herz 空间中的有界性.
该文研究R3+1中的非线性Schr\"{o}dinger-Klein-Gordon耦合方程组的Cauchy问题, 在对非线性项和初值的适当假设下, 运用粘性方法, 能量方法以及紧性讨论, 证明了整体弱解的存在性.
研究了两个代数体函数在角域内分担公共值的唯一性问题, 得到了一些结果.