三角模族T_(q,p)-LGN与逻辑系统LGN

首先, 给出一种新的带两个参数的左连续三角模族T(q,p)-LGN((q,p)∈[-1,1]×(-∞,0))及其伴随蕴涵算子族R(q,p)-LGN((q,p)∈[-1,1]×(-∞,0)), 分别简称它们为左连续三角模族T(p,q)-LGN及伴随蕴涵算子族R(q,p)-LGN;然后,定义了LGN三角模族的概念(基于此族的模糊逻辑系统等价于系统L,G与L*(或NM) 的所有定理的交LGN);最后,证明了左连续三角模族T(q,p)-LGN是LGN三角模族的一个子族.     

非线性椭圆障碍问题很弱解的全局可积性

本文研究一类非线性椭圆方程的K_(ψ,θ)~r(Ω)-障碍问题很弱解u的全局可积性,其中u的可积指数r满足max{1,p-1}r p n.令θ_*=max{θ,ψ},若θ_*∈W~(1,q)(Ω),q r,则上述问题的很弱解u具有全局可积性,这里r充分接近p.     

A Variational ODE and its Application to an Elliptic Problem

In this paper,we consider the following ODE problem(P)where f ∈ C((0, ∞)×R,R),f(r,s)goes to p(r)and q(r)uniformly in r>0 as s→0 and s→ ∞,respectively,0≤p(r)≤q(r)∈ L~∞(0,∞).Moreover,for r>0,f(r,s)is nondecreasing in s≥0.Some existenceand non-existence of positive solutions to problem(P)are proved without assuming that p(r)≡0 and q(r)hasa limit at infinity.Based on these results,we get the existence of positive solutions for an elliptic problem.     

格蕴涵代数定义的简化

证明定义有二元运算→和零元运算(固定元)0的非空集合L(即:L是(2,0)型代数)只要满足四条算律就可成为格蕴涵代数.因此,在定义格蕴涵代数时,我们不必要求L是有界有余格,从L是(2,0)型代数出发即可,这样大大简化了格蕴涵代数的定义.     

模态条件方程的一类新解

研究了仅涉及幂等uninorm和t-operator的模态条件方程的解．证明了如下三种情况：(i)一个t-operator与一个幂等uninorm是模态的当且仅当存在唯一新的非平凡解；(ii)一个幂等uninorm与一个t-operator是模态的也当且仅当存在唯一新的非平凡解；(iii)给出了两个幂等uninorm满足模态条件方程的充要条件．     

对“关于y″+py′+qy=Ae~(ax)的特解”一文的意见

文[1]利用待定系数法导出二阶常系数微分方程y″ py′ qy=Aeax(1)特解的一般公式,有实用价值,但有几个问题提出来与作者商榷.1.在“主要结果”中,当令f(r)=r2 pr q后所列原方程的三个特解式中,后两个解式都是错的,第2和第3个解式中分别少写了x和x2.2.在“结果的证明”中只证明α是特征方程r2 pr q=0的单根时的情形,即令(1)的特解为y*=Bxeax,代入方程(1)合并同类项后得(2Bα pB)eax B(α2 pα q)xeax=Aeax文中说“比较系数得B=A2α p”.实际上应说明由于α是特征方程的单根,即有f(α)=α2 pα q=0,f′(α)=2α p≠0,从而约去非零因子eax…     

有限域上一类方程解数的注记

设Fq是含有q个元素的有限域,其中q=pr,r≥1,p是奇素数.研究了有限域Fq上Markoff-Hurwitz类型方程,并给出了当其增广次数矩阵在剩余类环Z/(q-1)Z中可逆时其解数公式的组合证明方法.进一步研究了其推广形式,并得到了此推广形式的方程在特殊条件下的解数公式.     

关于wF(p,r,q)算子类

作为wA(p,r)算子类的一个推广,该文介绍了一类更广泛的算子类即 wF(p,r,q)算子类,它包含A(p,r)类而含于F(p,r,q)类之中, 进而考虑了该类算子的特征, 包含关系, 正规性和幂性质等等.     

关于Littlewood的一个问题

本文证明了: (1)如果{a_n}_n~N=1是非负不减序列,p>0,q>0,0≤r≤1,且p(q+r)≥q+p,则sum from n=1 to N(a_n~pA_n~q)(sum from m=n to N(a_n~(1+p/q)~r≤1·sum from n=1 to N(a_n~pA_n~q)~(1+p/q),其中A_n=sum from m=n to n (a_m).上述不等式在0≤r≤1时完全解决了H.Alzer~([4])在1996年提出的一个问题,且1是最佳常数; (2)如果{a_n}_n~N=1是非负序列,p,p≥1,r>0,r(p-1)≤2(q-1),令α=((p-1)(q+r)+p~2+1)/(p+1) β=(2p+2r+p-1)/(q+1),σ=(q+r-1)/(p+q+r)则sum from n=1 to N (a_n~p)sum from i=1 to n (a_i~qA_i~r)≤2~σsum from n=1 to N(a_n~αA_n~β)(0.2)(0.2)式改进了G.Be(?)et~([2,3])在1987年对Littlewood一个问题的结果,常数因子的3/2降为2~(3/2)=1.2598…     

L_n×L_2上几类特殊类型格蕴涵代数方程的解法

在格蕴涵代数中提出了加既约元、乘既约元,研究了一类重要的格蕴涵代数L_n×L_2中元素的不可约有限分解, 并将这一理论用于研究L_n×L_2上的几类格蕴涵代数方程,讨论了方程有解的充分必要条件,在此基础上给出了方程的具体解集.     

On a class of self-similar processes with stationary increments in higher order Wiener chaoses

We study a class of self-similar processes with stationary increments belonging to higher order Wiener chaoses which are similar to Hermite processes. We obtain an almost sure wavelet-like expansion of these processes. This allows us to compute the pointwise and local Hölder regularity of sample paths and to analyse their behaviour at infinity. We also provide some results on the Hausdorff dimension of the range and graphs of multidimensional anisotropic self-similar processes with stationary increments defined by multiple Wiener–Itô integrals.     

A REPRESENTATION FORMULA RELATED TO SCHR(O)DINGER OPERATORS

Schr(o)dinger operator is a central subject in the mathematical study of quantum mechanics.Consider the Schrodinger operator H = -△ V on R, where △ = d2/dx2 and the potential function V is real valued. In Fourier analysis, it is well-known that a square integrable function admits an expansion with exponentials as eigenfunctions of -△. A natural conjecture is that an L2 function admits a similar expansion in terms of "eigenfunctions" of H, a perturbation of the Laplacian (see [7], Ch. Ⅺ and the notes), under certain condition on V.     

Qualitative Analysis of Bifurcating Solutions in the Lengyel-Epstein Model

One of the most fundamental problems in theoretical biology is to explain the mechanisms by which patterns and forms are created in the＇living world. In his seminal paper ＂The Chemical Basis of Morphogenesis＂, Turing showed that a system of coupled reaction-diffusion equations can be used to describe patterns and forms in biological systems. However, the first experimental evidence to the Turing patterns was observed by De Kepper and her associates（1990） on the CIMA reaction in an open unstirred reactor, almost 40 years after Turing＇s prediction. Lengyel and Epstein characterized this famous experiment using a system of reaction-diffusion equations. The Lengyel-Epstein model is in the form as follows     

(0,1 ;0)-INTERPOLATION ON INFINITE INTERVAL (-∞, +∞)

In this paper, we study the explicit representation and convergence of (0, 1; 0)-interpolation on infinite interval, which means to determine a polynomial of degree ≤ 3n - 2 when the function values are prescribed at two set of points namely the zeros of Hn(x) and H′n(x) and the first derivatives at the zeros of H′n(x).     

On a class of Riemann surfaces

It is considered the class of Riemann surfaces with dimT1 = 0, where T1 is a subclass of exact harmonic forms which is one of the factors in the orthogonal decomposition of the spaceΩH of harmonic forms of the surface, namely The surfaces in the class OHD and the class of planar surfaces satisfy dimT1 = 0. A.Pfluger posed the question whether there might exist other surfaces outside those two classes. Here it is shown that in the case of finite genus g, we should look for a surface S with dimT1 = 0 among the surfaces of the form Sg\K , where Sg is a closed surface of genus g and K a compact set of positive harmonic measure with perfect components and very irregular boundary.     

CONTENTS OF VOLUME 30

正~~     

Instructions for contributions

正Applied Mathematics-A Journal of Chinese Universities,Series B(Appl.Math.J.Chinese Univ.,Ser.B)is a comprehensive applied mathematics journal jointly sponsored by Zhejiang University,China Society for Industrial and Applied Mathematics,and Springer-Verlag.It is a quarterly journal with     

Journal of Mathematical Research with Applications Guide for Authors

正Journal overview:Journal of Mathematical Research with Applications(JMRA),formerly Journal of Mathematical Research and Exposition(JMRE)created in 1981,one of the transactions of China Society for Industrial and Applied Mathematics,is a home for original research papers of the highest quality in all areas of mathematics with applications.The target audience comprises:pure and applied mathematicians,graduate students in broad fields of sciences and technology,scientists and engineers interested in mathematics.     

Staircase transportation problems with superadditive rewards and cumulative capacities

A cumulative-capacitated transportation problem is studied. The supply nodes and demand nodes are each chains. Shipments from a supply node to a demand node are possible only if the pair lies in a sublattice, or equivalently, in a staircase disjoint union of rectangles, of the product of the two chains. There are (lattice) superadditive upper bounds on the cumulative flows in all leading subrectangles of each rectangle. It is shown that there is a greatest cumulative flow formed by the natural generalization of the South-West Corner Rule that respects cumulative-flow capacities; it has maximum reward when the rewards are (lattice) superadditive; it is integer if the supplies, demands and capacities are integer; and it can be calculated myopically in linear time. The result is specialized to earlier work of Hoeffding (1940), Fréchet (1951), Lorentz (1953), Hoffman (1963) and Barnes and Hoffman (1985). Applications are given to extreme constrained bivariate distributions, optimal distribution with limited one-way product substitution and, generalizing results of Derman and Klein (1958), optimal sales with age-dependent rewards and capacities.To our friend, Philip Wolfe, with admiration and affection, on the occasion of his 65th birthday.Research was supported respectively by the IBM T.J. Watson and IBM Almaden Research Centers and is a minor revision of the IBM Research Report [6].