Existence of solutions for a two point boundary value problem

We consider the two point boundary value problemF[y]=y″?f(x,y,y′)=0,a≤x≤b, y(a)=A, y(b)=B. Assuming thatf satisfies certain differential inequalities associated with the existence ofF-subfunctions andF-superfunctions, and thatf also satisfies a suitable growth condition with respect toy′, we prove that the two point boundary value problem has a solutiony with (x, y(x), y′(x)) in a specified region; indeed we show that the problem has a maximal and a minimal solution in this region. Our results unify and generalize earlier results of K. Ako, L. K. Jackson, M. Nagumo, and others.     

关于图的L(3,2,1)-标号问题

图G的L( 2 ,1 )标号是一个从顶点集V(G)到非负整数集的函数f(x) .使得若d(x ,y) =1 .则｜f(x) -f(y) ｜≥ 2 ;若d(x ,y) =2 ,则｜f(x) -f(y)｜≥ 1 .图G的L( 2 ,1 )标号数λ(G)是使得G有max{f(v) ∶v∈V(G) }=k的L( 2 ,1 )标号中的最小数k .本文将L( 2 ,1 ) 标号问题推广到更一般的情形即L( 3,2 ,1 ) 标号问题 .我们首先定义了图G的顶点 3 着色及图的 3 色数 χ3 (G)等有关概念 ,并推导出 3 色数 χ3 (G)的上界 ;然后根据 χ3 (G)与λ3 (G)的关系 ,得出了对一般图G ,有λ3 (G) ≤ 3maxH Gδ(H) (Δ2 -Δ 1 )这一一般关系式 ;最后证明了对一般平面图G ,有λ3 (G)≤ 1 5(Δ2 -Δ 1 ) ,并得出了其它几类平面图的λ3 (G)的上界 .     

关于几类图的L(2,1)标号问题

图G的L( 2 ,1 )标号是一个从顶点集V(G)到非负整数集的函数f(x) ,使得若d(x ,y) =1 ,则｜f(x) -f(y) ｜≥ 2 ;若d(x ,y) =2 ,则｜f(x) -f(y) ｜≥ 1 .图G的L( 2 ,1 ) 标号数λ(G)是使得G有max{f(v) ∶v∈V(G) }=k的L( 2 ,1 )标号中的最小数k .Griggs和Yeh猜想对最大度为Δ的一般图G ,有λ(G) ≤Δ2 .本文给出了Kneser图 ,Mycieklski图 ,Descartes图 ,Halin图的λ值的上界 ,并证明了上述猜想对以上几类图成立     

Solutions of Elliptic Equations ΔU+K(x)e2u=f(x)

In this paper we consider the elliptic equation Δu + K(x)e^{2u} = f(x), which arises from prescribed curvature problem in Riemannian geometry. It is proved that if K(x) is negative and continuous in R², then for any f ∈ L²_{loc} (R²) such that f(x) ≤ K(x), the equation possesses a positive solution. A uniqueness theorem is also given.     

保持序和等价关系的自然偏序变换半群

设X为一个集合,■_X为X上的全变换半群.设E是X上的一个等价关系,定义T_E(X)={f∈■_X:■(x,y)∈E,(f(x),f(y))∈E},则T_E(X)是由等价关系E所确定的■_X的子半群.本文中,所考虑的集合X是一个有限全序集,同时E是非平凡的且所有的E-类都是凸集.显然■_E(X)={f∈T_E(X):■_x,y∈X,x≤y蕴涵f(x)≤f(y)}是T_E(X)的一个子半群.我们赋予■_E(X)自然偏序并讨论何时■_E(X)中的两个元素是关于这个偏序是相关的,然后确定■_E(X)中那些关于≤是相容的元素.此外,还描述了极大(极小)元和覆盖元.     

素环上强保持2-Jordan乘积的映射

对于给定的正整数k≥1,环R上的元x,y的k-Jordan乘积定义为{x,y}_k={{x,y}_(k-1),y}_1,其中{x,y}_0=x,{x,y}_1=xy+yx.假设R是包含有单位元与一非平凡幂等元的素环.本文证明了R上的满射f满足{f(x),f(y)}2={x,y}_2对所有x,y∈R成立当且仅当存在λ∈l(R的可扩展中心)且λ~3=1,使得下列之一成立:(1)若R的特征不为2,则f(x)=λx对所有x∈R成立;(2)若R的特征为2,则f(x)=λx+μ(x)对所有x∈R成立,其中μ:R→l是一个映射.作为应用,得到了因子von Neumann代数上保持上述性质映射的结构.     

序列覆盖的闭映射保持可度量性

设f:X→Y是连续的满映射. f称为序列覆盖映射,若{y})是Y中的收敛序列,则存在X中的收敛序列{xn},使得每一xn∈f-1(yn);f称为1序列覆盖映射,若对于每-y∈Y,存在x∈f-1(y),使得如果{yn}是Y中收敛于点y的序列,则有X中收敛于点x的序列{xn},使得每一xn∈f-1(yn).本文研究度量空间序列覆盖的闭映射之构造,否定地回答了Topology and its Applications上提出的一个问题.     

新二元三角插值多项式的构造

设Ω=[-πxπ,-πyπ],C(Ω)表示关于x,y均以2π为周期的连续函数空间.若f(x,y)∈C(Ω),取结点组为(xk,yl)=(2k+2n 1)π,(2l 2+m 1)πk=0,1,2,…,2n,l=0,1,2,…,2m,则我们获得一个二元三角插值多项式Cn,m(f;x,y)=M1N∑k=2n0∑l=2m0f(xk,yl).1+2∑nα=1cosα(x-xk)+2∑mβ=1cosβ(y-yl)+4∑nα=1∑mβ=1cosα(x-xk)cosβ(y-yl)其中M=2m+1,N=2n+1.为改进其收敛性,本文构造一个新的因子ρα,β,使得带有该因子ρα,β的二元三角插值多项式Ln,m(f;x,y)可以在全平面上一致地收敛到每个连续的f(x,y),且具有最佳逼近阶.     

一类三阶微分方程组多点边值问题解的存在性

利用拓扑度理论和上下解方法讨论了一类三阶微分方程组{x′′′（t）＋f1（t,y（t）,x′（t）,x″（t））=0,0≤t≤1,y′′′（t）＋f2（t,x（t）,y′（t）,y″（t））=0,0≤t≤1在适当的条件下解的存在性.     

奇摄动向量问题的边界层和内层现象

本文考虑非线性向量边值问题:εy″=f(x,y,z,y',ε), y(0)=A₁ y(1)=B₁ εz″=f(x,y,z,z',ε), z(0)=A₂ z(1)=B₂其中ε是正的小参数,0≤x≤1,f,g是R4中的连续函数。在适当的假设下,利用微分不等式理论,我们证明了上述问题的解的存在性,并得到包括边界层和内层在内的解的估计.     

一类乘积核的本征值分布

本文讨论了一类形如 G( x,y) =m1( x) K( x,y) m2 ( y)的乘积核所诱导的积分算子的本征值的分布问题 ,其中 K ( x,y)∈ CΩ×Ω 是正定的 .当 m1( x) ,m2 ( x)∈ CΩ 并且 m1( x) m2 ( x) 0时 ,我们证明了TG∶ L2 ( Ω)→L2 ( Ω)是迹算子 ,其本征值非负并得到了一个迹公式∑n∈ Nλn( TG) =∫Ωm1( x) K ( x,x) m2 ( x) dx.对于 m1( x) ,m2 ( x)∈ L∞( Ω)的情形 ,我们证明了一个稍弱的结果 .∑n∈ N|λn( TG) | ‖ m1. m2 ‖L∞∫ΩK( x,x) dx.     

Vertex-distinguishing E-total Coloring of Complete Bipartite Graph K_(7,n) when 7≤n≤95

Let G be a simple graph. A total coloring f of G is called an E-total coloring if no two adjacent vertices of G receive the same color, and no edge of G receives the same color as one of its endpoints. For an E-total coloring f of a graph G and any vertex x of G, let C(x) denote the set of colors of vertex x and of the edges incident with x, we call C(x) the color set of x. If C(u)≠ C(v) for any two different vertices u and v of V(G), then we say that f is a vertex-distinguishing E-total coloring of G or a VDET coloring of G for short. The minimum number of colors required for a VDET coloring of G is denoted by χ_(vt)~e(G) and is called the VDET chromatic number of G. The VDET coloring of complete bipartite graph K_(7,n)(7 ≤ n ≤ 95) is discussed in this paper and the VDET chromatic number of K_(7,n)(7 ≤ n ≤ 95) has been obtained.     

Jacobi elliptic functions and change of variable in a convolution

We solve the functional equation

具有Heyting结构的Ockham代数

引入一个具有Heyting结构Ockham代数,简称HO-代数．所谓HO-代数,是指具有（2,2,2,1,0,0）类型的代数（L;∧,∨,→,f,0,1）．其中（L;f）是Ockham代数,（L;→）是Heyting代数,且运算f和→由恒等式f（x→y）=f^2（x）∧f（y）与f（x）→y=f^2（x）∨y所连结．主要讨论了HO-代数的同余关系的性质．并刻画了其次直不可约代数的某些性质．     

查甫雷金方程的唯一性定理(Ⅰ)

<正>考虑下列混合型议程的唯一性问题 K(y)u_(xx)+u_(yy)=0 (K(0)=0;当y≠0时,■(1) 所考慮的區域D由三條曲綾圍成.其一是雙曲區域(y<0)中由原點引出的特徵线Γ_1,它滿足下面條件     

Shrinkability of Minimal Elements in Sphere Representations of Posets

Let k be a positive integer and let P = (X,≤) be a poset. We call P a k-sphere order provided there is a mapping f which assigns to each element x $ \in$ X a ball f(x) in Rk so that x ≤ y in P if and only if f(x) $ \subseteq$ f(y). We ask: Given that P is a k-sphere order, does there necessarily exist a representation f with the property that every minimal element of P is assigned a ball of radius zero? The answer is “yes” for k = 1, but “no” for all k ≥ 2.     

弱条件下同胚的ACL性质

假设Ｄ是Ｒｎ（ｎ２）中的区域，ｙ＝ｆ（ｘ）：ＤＲｎ是一个同胚．如果ｆ（ｘ）的模伸张Ｋ（ｘ，ｆ）适合条件Ａ，则ｆ（ｘ）是ＡＣＬ的．     

单位球面间等距映射的线性延拓

本文研究实赋范空间E和F的单位球面S_1(E)和S_1(F)之间的等距映射线性延拓问题。得到:若T:S_1(E)→S_1(F)是一个满等距映射,且对于(?)x,y∈S_1(E),有‖T(x)-|λ|T(y)‖≤‖x-|λ|y‖,(?)λ∈R,则T可延拓为全空间上的实线性算子。     

Weighted Inequalities for Certain Maximal Functions in Orlicz Spaces

Let M_g be the maximal operator defined by $$M_g f\left( x \right) = \sup \frac{{\int_a^b {f\left( y \right)g\left( y \right){\text{d}}y} }}{{\int_a^b {g\left( y \right){\text{d}}y} }}$$ , where g is a positive locally integrable function on R and the supremum is taken over all intervals [a,b] such that 0≤a≤x≤b/η(b?a), here η is a non-increasing function such that η (0) = 1 and $\mathop {{\text{lim}}}\limits_{t \to {\text{ + }}\infty } \eta \left( t \right) = 0$ η (t) = 0. This maximal function was introduced by H. Aimar and L. L. Forzani [AF]. Let Φ be an N - function such that Φ and its complementary N - function satisfy Δ₂. It gives an A′_Φ(g) type characterization for the pairs of weights (u,v) such that the weak type inequality $$u\left( {\left\{ {x \in {\text{R}}\left| {M_g f\left( x \right) >\lambda } \right.} \right\}} \right) \leqslant \frac{C}{{\Phi \left( \lambda \right)}}\int_{\text{R}} {\Phi \left( {\left| f \right|v} \right)} $$ holds for every f in the Orlicz space L_Φ(v). And, there are no (nontrivial) weights w for which (w,w) satisfies the condition A′_Φ(g).     

一类广义变换半群的格林关系

设X是一个全序集,E是X上的一个凸等价关系．令 OE（X）={f∈TE（X）：Ax,y∈X,x≤y→f（x）≤f（y））, 其中TE（X）是E-保持变换半群．对于取定的θ∈OE（X）,在OE（X）上定义运算fog=fθg,使OE（X）成为广义半群OE（X;θ）．对于有限全序集X上的凸等价关系E,本文刻画了广义半群OE（X;θ）的正则元,描述了这个半群的格林关系．