Holder连续函数空间的插值空间的不等式

考虑空间C~(m,λ)(Ω__)的完备性和所嵌入的空间的问题,对Jensen不等式给出了直接的证明方法,利用Jensen不等式给出了Holder连续函数的例子。指出当Ω是非凸集时空间C1(Ω__)不能嵌入空间C~(0,λ)(Ω__)。给出C(Ω__)和C~(0,λ)(Ω__)是Banach空间证明的具体表述过程,通过建立Holder连续函数空间的插值空间的不等式,给出了空间C~(0,μ)(Ω__)嵌入的空间的证明;在Ω是Rn中的有界开集条件下,应用Arzela-Ascoli定理给出了空间C~(0,μ)(Ω__)紧嵌入的空间的证明,对相关经典知识给予了新的改造表述。     

一类欧拉积分公式的计算方法及应用

研究考虑一类欧拉积分公式的计算问题,旨在对其实现简化证明。这类欧拉积分公式是成对出现的,可分别被看作复数的实部和虚部。首先通过应用复数的欧拉公式表示,转化一个含复参变量的广义积分形式,并采用对参变量的求导方法来建立常微分方程,通过求解此微分方程给出了欧拉积分的解析表达式,然后分别取实部和虚部来得出欧拉积分公式。接下来应用所得的欧拉积分公式,利用两无穷限广义积分交换次序,给出了一类广义积分的用实变方法的计算结果,还对相关几类广义积分的计算给出了统一的推导方法,并剖析了几类广义积分之间的相互联系。最后,揭示了Γ函数和欧拉积分公式的重要作用。     

函数列广义积分的极限定理及其应用

考虑函数列在广义积分下的极限问题,运用函数列的极限理论,在函数列一致有界和内闭一致收敛条件下,给出黎曼可积函数列积分的极限定理结果;在函数列广义积分一致收敛条件下,给出广义积分下函数列积分的极限定理结果,以及广义积分下的函数列积分的控制收敛定理.     

变动区间上的确界函数是连续函数的证明

研究了连续函数在变动区间上的确界函数的连续性问题.通过变动区间与单位区间的对应关系，将变动区间上的确界函数表示为单位区间上的确界函数.利用2个函数的上确界相减的不等式，由函数的一致连续性，证明了变动区间上的确界函数是一致连续的.     

半格上算子的方程描述

文中定义了半格上的算子，给出了半格上算子的几个等价描述，得到如下定理：设（Ｌ，Ｖ）表示Ｌ是一并半格，Ｆ是Ｌ到自身的一个映射，则如下几条等价：（１）Ｆ是Ｌ上的闭包算子。（２）Ｖｘ，ｙ∈Ｌ，ｘＶＦ（Ｆ（ｘ）ＶＦ（ｙ））＝Ｆ（ｘＶｙ）；３）Ｆ是Ｌ上的闭包算子，且满足Ｆ（Ｆ（ｘ）ＶＦ（ｙ））＝Ｆ（ｘＶｙ）；（４）Ｆ满足，ｘ≤Ｆ（ｘ）且Ｆ（Ｆ（ｘ）ＶＦ（ｙ））＝Ｆ（ｘＶｙ）。另外，还给出拓扑内部算子的方程描     

一阶半线性常微分方程初值问题的上下解方法

考虑一阶半线性常微分方程初值问题整体解的存在性问题,在上下解存在的条件下,给出整体解的存在唯一性定理,通过实例说明上下解方法的应用.     

Laplace算子的特征函数系在三个空间中的完备性证明方法

考虑Laplace算子在Dirichlet边界条件下的特征值和特征函数的性质问题,利用变分方法给出了Laplace算子的特征值和特征函数的存在性。运用特征值序列趋向于无穷大,首先证明了特征函数系在空间H_0~1(Ω)中是一组正交完备系,然后利用空间H_0~1(Ω)在空间L~2(Ω)中的稠密性,证明了特征函数系在空间L~2(Ω)中是一组标准正交完备系,最后利用二阶椭圆型偏微分方程解的L~2先验估计结果,给出了特征函数系在空间H~2(Ω)∩H_0~1(Ω)中是一组完备系。对经典知识给予了深刻发掘,并给予严密完善的证明。     

一些奇异实积分的特殊复围道积分计算方法

选择多值函数的一个分支和特殊的复围道路径积分,利用留数理论,给出了一些奇异实积分的计算结果.     

最大模估计和一类Jensen不等式的应用

利用最大模估计方法给出了一类Jensen不等式的直接证明,并列举了这几个不等式的应用,给出了一些相关不等式的发展变化.     

等时曲线是摆线的证明

为了考虑等时曲线的求解问题,建立质点沿光滑曲线从一定高度下滑所需时间的公式,将该问题转化为一个积分方程的求解问题。对无限区间上的积分方程,利用拉普拉斯变换方法给出了求解方法,得到了积分方程解的解析表达式,然后将其变化为一个常微分方程的求解问题。对有限区间上的积分方程,利用含参变量积分的求导和积分交换次序方法,得到积分方程解的解析表达式。然后将等时曲线问题,转化为一个常微分方程的求解问题,通过求解得到等时曲线解的解析表达式,即摆线的方程形式,从而给出了具有等时性的曲线一定是摆线的证明过程,对等时曲线的问题给予了完整的解决。