关于A^3中仿射球面的两个定理

本文讨论仿射凸曲面为仿射球面或其一部分的问题。利用椭圆型偏微分方程组解的唯一性定理(或称“拟解析函数法”),文中证明了两个较为广泛的定理(见定理1与2),它们进一步推广了诸如 H-定理,K-定理以及许多关于特殊的 Weingarten 曲面为仿射球面的定理。     

关于A3中仿射Weingarten曲面的一个结果

关于A³中曲面的H-定理和K-定理是众所周知的了. 该文在此基础上对Weingarten曲面作进一步的研究,得到一个更为广泛的定理.     

齐次函数的一个仿射球定理

本文研究了相关齐次函数的仿射球定理.利用Hopf极大值原理,对任意给定的带凹性条件的初等对称曲率问题,获得了此类仿射球定理.特别地,这也给出了Deicke齐次函数定理的一个新证明.     

关于仿射极小平移超曲面

本文属于仿射微分几何。在3-维欧氏空间 E~3中,F.Scherk 定理告诉我们,极小平移曲面必需是平面或 Scherk 曲面az=1n(cos ax/cos ay),a=constant。在一般(n+1)维仿射空间 A~(n+1)中,仿射极小平移超曲面是什么曲面?本文得到了这种曲面共有两类的结果(见定理1)。当 n=2时,这就是引文[3]中的结果(见定理2)。     

Morgan定理的推广

1　前言美国的《数学教师》期刊上多篇文章涉及三角形内某一几何图形面积与原三角形面积之比为定值 ,如文 [1]的 Marion定理 :如图1,对于任一三角形 ,将每边三等分 ,则等分点与顶点联线得到的六边形面积与原三角形面积之比为 110 .文[2 ]利用几何软件将该结论推广得到 Morgan定理 :如图 2 ,对于任一三角形 ,将每边 n等分 ( n为大于或等于3的奇数 ) ,则边上第 n-12 、n 12 个等分点与顶点联线得到的六边形面积与原三角形面积之比为89n2 -1.为了便于推广 ,将 Morgan定理叙述为 :如图 2 ,在△ ABC中 ,A1 、B1 、C1 分别为边 BC、CA、AB的…     

有限域上的仿射辛空间及其应用

本文中，首先给出了有限域Ｆｑ上的２ｖ维仿射辛空间ＡＳＧ（２ｖ，Ｆｑ）和２ｖ次仿射辛群ＡＳｐ２ｖ（Ｆｑ）的概念，然后讨论ＡＳｐ２ｖ（Ｆｑ）作用在ＡＳＧ（２ｖ，Ｆｑ）上的可迁性及一些相关的计数定理，最后给出应用仿射辛空间构作结合方案和认证码的例子。     

中约化子空间上的仿射与伪仿射对偶小波标架

本文讨论中约化子空间上的仿射(伪仿射)对偶小波标架.我们建立了仿射系与伪仿射系之间的一个标架 和对偶标架保持定理,并且在没有任何衰减性假设的条件下获得了仿射(伪仿射)对偶小波标架在傅立叶域上的一个刻画.进一步, 我们也给出了仿射Parseval标架在傅立叶域上的刻画.       

对称等仿射球和极小对称Lagrange子流形的对应

利用对称空间的对偶性,本文建立局部强凸对称等仿射球之集与某复空间形式中的极小对称Lagrange子流形之集间的对应关系,在自然定义的等价意义下,这是一一对应关系.作为这种对应关系的直接应用,本文用完全不同的方法重新证明胡泽军等人最近建立的一个重要定理.该定理对具有平行Fubini-Pick形式的局部强凸等仿射球进行了完全分类.     

仿射括号代数理论与算法及其在几何定理机器证明中的应用

主要讨论仿射括号代数的理论与算法及其在定理机器证明中的应用。文中首次提出了边界扩张算法等几个有效的仿射括号代数算法, 同时分析了边界算子的性质, 为系统实现奠定了基础. 文中也提及了单括号因子整除判定、单项式因子整除判定、仿射几何的构造和对应表示表示等工作. 在符号计算软件 Maple 10中, 应用上述理论与算法实现了仿射几何的定理机器 证明, 并用大约100多个例子进行了测试, 之后将结果进行了比较.     

非Lipschitz仿射映射的半拓扑半群的强遍历定理

本文在Ｂａｎａｃｈ空间中给出了Ｌｉｐｓｃｈｉｔｚｉａｎ仿射拓扑半群的强遍历定理。     

Infinitely many bound state solutions of Schrodinger-Poisson equations in $\mathbb{R}^3$

In this paper, we study a system of Schr\"odinger-Poisson equation \[ \left\{ \begin{array}{c} -\Delta u+a(x)u+K(x)\phi u=|u|^{p-2}u,\quad \quad \quad \ \ \ \ \ \ x\in \mathbb{R}^3, \-\Delta \phi=K(x)u^2,\quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \ x\in \mathbb{R}^3, \end{array} \right. \] where $p\in (4,6)$ and $ K\geq (\not\equiv) 0$. Under some suitable decay assumptions but without any symmetry property on $a$ and $K$, we obtain infinitely many solutions of this system.     

On approximation properties of non-convolution type nonlinear integral operators

In the present paper we state some approximation theorems concerning pointwise convergence and its rate for a class of non-convolution type nonlinear integral operators of the form:Tλ (f;x) = B A Kλ (t,x, f (t))dt , x ∈< a,b >, λ∈Λ. In particular, we obtain the pointwise convergence and its rate at some characteristic points x0 of f as (x,λ ) → (x0,λ0) in L1 < A,B >, where < a,b > and < A,B > are is an arbitrary intervals in R, Λ is a non-empty set of indices with a topology and λ0 an accumulation point of Λ in this topology. The results of the present paper generalize several ones obtained previously in the papers [19]-[23].     

Nodal Solutions of the Brezis-Nirenberg Problem in Dimension 6

We show that the classical Brezis-Nirenberg problem $$-\Delta u=u|u|+\lambda u \ \ \ \ \ \ \ in \ \ \ \Omega, \\ u=0 \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ on \ \ \ \partial\Omega,$$ when $\Omega$ is a bounded domain in $\mathbb R^6$ has a sign-changing solution which blows-up at a point in $\Omega$ as $\lambda$ approaches a suitable value $\lambda_0>0.$     

Unitarily invariant norm and $Q$-norm estimations for the Moore--Penrose inverse of multiplicative perturbations of matrices

Let $B$ be a multiplicative perturbation of $A\in\mathbb{C}^{m\times n}$ given by $B=D_1^* A D_2$, where $D_1\in\mathbb{C}^{m\times m}$ and $D_2\in\mathbb{C}^{n\times n}$ are both nonsingular. New upper bounds for $\Vert B^\dag-A^\dag\Vert_U$ and $\Vert B^\dag-A^\dag\Vert_Q$ are derived, where $A^\dag,B^\dag$ are the Moore-Penrose inverses of $A$ and $B$, and $\Vert \cdot\Vert_U,\Vert \cdot\Vert_Q$ are any unitarily invariant norm and $Q$-norm, respectively. Numerical examples are provided to illustrate the sharpness of the obtained upper bounds.     

A note on a fourth order degenerate parabolic equation in higher space dimensions

We are concerned with existence, positivity property and long-time behavior of solutions to the following initial boundary value problem of a fourth order degenerate parabolic equation in higher space dimensions      

Double Biproduct Hom-Bialgebra and Related Quasitriangular Structures

Let(H, β) be a Hom-bialgebra such that β~2= id_H.(A, α_A) is a Hom-bialgebra in the left-left Hom-Yetter-Drinfeld category (_H~H)YD and(B, α_B) is a Hom-bialgebra in the right-right Hom-Yetter-Drinfeld category YD_H~H. The authors define the two-sided smash product Hom-algebra(A■H■B, α_A ? β ? α_B) and the two-sided smash coproduct Homcoalgebra(A◇H◇B, α_A ? β ? α_B). Then the necessary and sufficient conditions for(A■H■B, α_A ? β ? α_B) and(A◇H◇B, α_A ? β ? α_B) to be a Hom-bialgebra(called the double biproduct Hom-bialgebra and denoted by(A_◇~■H_◇~■B, α_A ? β ? α_B)) are derived. On the other hand, the necessary and sufficient conditions for the smash coproduct Hom-Hopf algebra(A◇H, α_A ? β) to be quasitriangular are given.     

Variational Inclusion Systems in $\mathbb{R}^N$

The authors study the existence of nontrivial solutions to p-Laplacian variational inclusion systems

Numerical blow-up for a nonlinear heat equation

This paper concerns the study of the numerical approximation for the following initialboundary value problem

Elliptic Systems with a Partially Sublinear Local Term

Let $1 0.$ This is in sharp contrast to D'Aprile and Mugnai's non-existence results.     

THE FIRST BOUNDARY VALUE PROBLEM FOR SOLUTIONS OF DEGENERATE QUASUJNEAR PARABOLIC EQUATIONS

In this paper, the author proves the existence and uniqueness of nonnegative solution for the first boundary value problem of uniform degenerated parabolic equation $$\[\left\{ {\begin{array}{*{20}{c}} {\frac{{\partial u}}{{\partial t}} = \sum {\frac{\partial }{{\partial {x_i}}}\left( {v(u){A_{ij}}(x,t,u)\frac{{\partial u}}{{\partial {x_j}}}} \right) + \sum {{B_i}(x,t,u)} \frac{{\partial u}}{{\partial {x_i}}}} + C(x,t,u)u\begin{array}{*{20}{c}} {}&{(x,t) \in [0,T]} \end{array},}\{u{|_{t = 0}} = {u_0}(x),x \in \Omega ,}\{u{|_{x \in \partial \Omega }} = \psi (s,t),0 \le t \le T} \end{array}} \right.\]$$ $$\[\left( {\frac{1}{\Lambda }{{\left| \alpha \right|}^2} \le \sum {{A_{ij}}{\alpha _i}{\alpha _j}} \le \Lambda {{\left| \alpha \right|}^2},\forall a \in {R^n},0 < \Lambda < \infty ,v(u) > 0\begin{array}{*{20}{c}} {and}&{v(u) \to 0\begin{array}{*{20}{c}} {as}&{u \to 0} \end{array}} \end{array}} \right)\]$$ under some very weak restrictions, i.e. $\[{A_{ij}}(x,t,r),{B_i}(x,t,r),C(x,t,r),\sum {\frac{{\partial {A_{ij}}}}{{\partial {x_j}}}} ,\sum {\frac{{\partial {B_i}}}{{\partial {x_i}}} \in \overline \Omega } \times [0,T] \times R,\left| {{B_i}} \right| \le \Lambda ,\left| C \right| \le \Lambda ,\],\[\left| {\sum {\frac{{\partial {B_i}}}{{\partial {x_i}}}} } \right| \le \Lambda ,\partial \Omega \in {C^2},v(r) \in C[0,\infty ).v(0) = 0,1 \le \frac{{rv(r)}}{{\int_0^r {v(s)ds} }} \le m,{u_0}(x) \in {C^2}(\overline \Omega ),\psi (s,t) \in {C^\beta }(\partial \Omega \times [0,T]),0 < \beta < 1\],\[{u_0}(s) = \psi (s,0).\]$