论文部分内容阅读
将Chou与Gao的关于微分几何中曲线定理机器证明的方法推广到微分几何曲面定理中.改进了经典的Wronskian行列式,它可以用于判断微分域中的有限个元素是否在其常数域上线性相关.基于Wronskian行列式,可以用代数语言来描述微分几何曲面理论中的几何表述,进而用特征列方法来证明这些定理.
基于特征列方法和Wronskian行列式的曲面定理机器证明
【摘 要】
：
将Chou与Gao的关于微分几何中曲线定理机器证明的方法推广到微分几何曲面定理中.改进了经典的Wronskian行列式,它可以用于判断微分域中的有限个元素是否在其常数域上线性相关.基于Wronskian行列式,可以用代数语言来描述微分几何曲面理论中的几何表述,进而用特征列方法来证明这些定理.
【出 处】
：
中国科学(A辑:数学)
【发表日期】
：
2008年05期
其他文献
假设Ω=B_R:={x∈R~N:|x|0,N≥7,2~*=(2N)/(N-2),我们得到了如下半线性问题无穷多解的存在性:-Δu=μ/(|x|~2)u+|u|~(2*-2)u+λu,∈Ω, u=0,x∈■Ω.其中λ∈R,μ∈R.这些解由不同的节点来区分.
期刊
本文研究了Euler-Poisson半导体模型弱熵解的大时间行为,得到了一致有界的弱熵解随着时间t指数衰减到稳态解.本文的结果不需要假定解是"小"的,也不需要假定解的正则性.
期刊
考虑两个符号的等长本原代换诱导的子移位.通过探讨存在Li-Yorke混沌集的等价刻画以及证明Schweizer-Smltal混沌集的不存在性,彻底地揭示了这类子移位在Li-Yorke意义与Schweizer-Smltal意义下可能出现的混沌性态.
期刊
设Q~2=[0,1]~2是Eulid空间R~2上的单位正方形,T_(α,β)是如下定义在Schwartz函数类S(R~3)上振荡奇异积分算子T_(α,β)f(x,y,z)=∫_(Q~2)f(x-t,y-s,2-t~ks~j)e~(-it~(-β_(1_s)-β_2))t~(-1-α_1)s~(-1-α_2)dtds.本文首先建立了该算子的L~p有界性,然后利用这些结果获得了乘积空间上的一些奇异积分
期刊
令X为RD-空间,即Coifman和Weiss意义下的齐型空间且满足逆双倍条件.设X具有"维数"n.对α∈(0,∞),分别记H~p_α(X),H~p_d(X)和H~(*,p)(X)为X上相应于非切向极大函数,二进极大函数和主极大函数的Hardy空间.利用一个新建立的Calderón再生公式,证明了当p∈(1,∞]时这些Hardy空间等价于L~p(X)及当p∈(n/(n+1),1]时这些Hardy空
期刊
令H表示复可分的Hilbert空间,L(H)表示H上全体有界线性算子的集合.算子T∈L(H)称为是强不可约的,如果不存在非平凡的幂等元与T可交换.对强不可约算子的近似不变量给出比以往文献更精细的刻画.主要结果如下:对任意具有连通谱的有界线性算子T及ε>0,存在强不可约算子A,使得‖A-T‖
期刊
讨论了非线性偏微分动力学系统的演化方程的代数动力学解法与算法.首先,引进时间平移泛函偏微分算子,把偏微分方程的初值问题提升为泛函偏微分方程的初值问题,建立起泛函空间的代数动力学运动方程;把物理场的动力学系统的时间演化的局域微分规律和整体积分规律,用泛函空间的李代数和李群的语言表示出来;在泛函空间的代数动力学的框架内求得了用时间的Taylor级数表示的局域收敛的偏微分方程的精确解.在时间的Taylo
期刊
基于一阶剪切变形理论与经典屈曲理论,着重分析黏弹性层合板和层合圆柱壳蠕变屈曲的瞬时弹性临界荷载与持久临界荷载.利用Laplace变换,由压屈方程导出相空间的临界荷载,根据Laplace逆变换的初、终值定理得到瞬时弹性临界荷载与持久临界荷载,论证了两种临界荷载的黏弹性解与准弹性解是等同的.构造扰动模型对持久临界荷载的含义进行说明.以硼纤维/环氧树脂基复合材料为例,分析了层合板与层合圆柱壳所对应的两种
期刊