局部R0-代数

文提出了局部R₀-代数的概念,并给出了相应的等价条件,即(i)R₀-代数L是局部的,(ii) ?x∈L,ord(x)<∞或ord(-x)<∞,(iii)每一个真滤子是primary.另外,我们又证明了任一R₀-代数是局部R₀-代数的子直积.     

可换环上上三角矩阵李代数的局部自同构和局部导子

本文刻画了T_n(R)上的局部自同构和局部导子.利用关于T_n(R)的自同构和导子的主要结果和矩阵计算技巧,本文证明了T_n(R)上的每一个局部自同构是自同构,每一个局部导子是导子,这推广了文献关于T_n(R)的自同构和导子的主要结果.     

范畴 RMRl上的一个函子及范畴A Grn0

本文定义了一个由范畴 _RM_R^l到范畴Ａ G_rn⁰ 的函子Ｇ，并证明了函子Ｇ保持分量正合及全正合，关于范畴ＡＧG_rn⁰ 证明了定理：     

有限特殊射影酉群U4(q)与U5(q)的一个特征性质

设G为有限群,如对每个质数r都有|N_G(R₁)|=|N_(Un(q))(R₂)|,那么G≌U_n(q),此处R₁∈Syl_r(G),R₂∈Syl_r(U_n(q)),n=4或5.     

范畴RMnl上的一个函子

Let _RM_n^l′ be a category which is equivalent to the category of left R-modules.In this paper,we define afunction F:_RM_n^l→_RM_n^l′ and prove that the functor Fpreserves products,direct limits,injections,surjectios and total esactness.Finally,we show that the functor F is a left-adjoint of the inclusion functor I:_RM_n^l′→_RM_n^l. Hence I:_RM_n^l′ is a renective subcategory of _RM_n^l.     

多色经典Ramsey数R( q,q,…,q )(n个)的下界 *

提出了探求n色经典Ramsey数R(q ,q ,… ,q) =R_n(q)的下界的一种方法 ,并用这种方法借助计算机求得6个新的下界:R₄(4)≥ 458,R₃ ( 5 )≥242 ,R₃ ( 6 )≥1 070 ,R₃ (7)≥ 1 214,R₃ (8)≥ 2 834以及R₃ (9)≥ 5 282 .     

代数的导出等价

讨论了代数R_A^m与R_B^m的导出等价与稳定等价问题 利用倾斜复形证明了:当代数A与B导出等价时,代数R_A^m与R_B^m也是导出等价的.推广了有关平凡扩张代数的相应结果.     

Gr-Morita对偶与Morita对偶

设G为有单位元e的群R=(?)R_x和A=(?)A_x都是有单位元的G型强分次环,U=(?)U_z是分次(R,A)一双模.本文主要证明了_RU_A导出一个Gr—Morita对偶当且仅当R_eU_(eAc)导出一个Morita对偶.     

关于多元函数最佳逼近精确阶的Timan问题

关于找一个充分必要条件使Ω^k(f,1/σ)L_p(Rⁿ)=O(A_σ(f)L_p(Rⁿ)),σ→∞,成立的Timan问题被解决.这个条件是Q^k(f,δ)L_p(Rⁿ)=O(Ω^k+1(f,δ)L_p(Rⁿ)),δ→0.     

基础R0-代数的性质及在L*系统中的应用

研究了王国俊教授建立的模糊命题演算的形式演绎系统L^*和与之在语义上相关的R₀-代数,提出了基础R₀-代数的观点并讨论了其中的一些性质,在将L^*系统中的推演证明转化为相应的R₀-代数中的代数运算方面作了一些尝试,作为它的一个应用,证明了L^*系统中的模糊演绎定理。     

Variational approach to scattering of plane elastic waves by diffraction gratings

The scattering of a time‐harmonic plane elastic wave by a two‐dimensional periodic structure is studied. The grating profile is given by a Lipschitz curve on which the displacement vanishes. Using a variational formulation in a bounded periodic cell involving a nonlocal boundary operator, existence of solutions in quasiperiodic Sobolev spaces is investigated by establishing the Fredholmness of the operator generated by the corresponding sesquilinear form. Moreover, by a Rellich identity, uniqueness is proved under the assumption that the grating profile is given by a Lipschitz graph. The direct scattering problem for transmission gratings is also investigated. In this case, uniqueness is proved except for a discrete set of frequencies. Copyright © 2010 John Wiley & Sons, Ltd.     

Differential Galois theory and non-integrability of planar polynomial vector fields

We study a necessary condition for the integrability of the polynomials vector fields in the plane by means of the differential Galois Theory. More concretely, by means of the variational equations around a particular solution it is obtained a necessary condition for the existence of a rational first integral. The method is systematic starting with the first order variational equation. We illustrate this result with several families of examples. A key point is to check whether a suitable primitive is elementary or not. Using a theorem by Liouville, the problem is equivalent to the existence of a rational solution of a certain first order linear equation, the Risch equation. This is a classical problem studied by Risch in 1969, and the solution is given by the “Risch algorithm”. In this way we point out the connection of the non integrability with some higher transcendent functions, like the error function.     

Weber problems with mixed distances and regional demand

We consider a location problem where the distribution of the existing facilities is described by a probability distribution and the transportation cost is given by a combination of transportation cost in a network and continuous distance. The motivation is that in many cases transportation cost is partly given by the cost of travel in a transportation network whereas the access to the network and the travel from the exit of the network to the new facility is given by a continuous distance.      

Quadratic integral games and causal synthesis

The game problem for an input-output system governed by a Volterra integral equation with respect to a quadratic performance functional is an untouched open problem. In this paper, it is studied by a new approach called projection causality. The main result is the causal synthesis which provides a causal feedback implementation of the optimal strategies in the saddle point sense. The linear feedback operator is determined by the solution of a Fredholm integral operator equation, which is independent of data functions and control functions. Two application examples are included. The first one is quadratic differential games of a linear system with arbitrary finite delays in the state variable and control variables. The second is the standard linear-quadratic differential games, for which it is proved that the causal synthesis can be reduced to a known result where the feedback operator is determined by the solution of a differential Riccati operator equation.

     

Completeness theorem for topological class models

A topological class logic is an infinitary logic formed by combining a first-order logic with the quantifier symbols O and C. The meaning of a formula closed by quantifier O is that the set defined by the formula is open. Similarly, a formula closed by quantifier C means that the set is closed. The corresponding models are a topological class spaces introduced by Ćirić and Mijajlović (Math Bakanica 1990). The completeness theorem is proved. This research was supported by the Ministry of Science, Technology and Development, Republic of Serbia, through Mathematical Institute, under grant 144013.     

Mixed Method for Compressible Miscible Displacement with Dispersion in Porous Media

Compressible miscible displacement of one fluid by another in porous media is modelled by a nonlinear parabolic system. A finite element procedure is introduced to approximate the concentration of one fluid and the pressure of the mixture. The concentration is treated by a Galerkin method while the pressure is treated by a parabolic mixed finite element method. The effect of dispersion, which is neglected in [1], is considered. Optimal order estimates in L2 are derived for the errors in the approximate solutions.     

Exterior Minimum-Penalty Path-Following Methods in Semidefinite Programming

A semidefinite programming problem is a mathematical program in which the objective function is linear in the unknowns and the constraint set is defined by a linear matrix inequality. This problem is nonlinear, nondifferentiable but convex. It covers several standard problems, such as linear and quadratic programming, and has many applications in engineering. In this paper, we introduce the notion of minimal-penalty path, which is defined as the collection of minimizers for a family of convex optimization problems, and propose two methods for solving the problem by following the minimal-penalty path from the exterior of the feasible set. Our first method, which is also a constraint-aggregation method, achieves the solution by solving a sequence of linear programs, but exhibits a zigzagging behavior around the minimal-penalty path. Our second method eliminates the above drawback by following efficiently the minimum-penalty path through the centering and ascending steps. The global convergence of the methods is proved and their performance is illustrated by means of an example.     

Permeability of Clustered Fiber Networks: Modeling of the Unit Cell

The paper is focused on estimating the permeability of a clustered fiber network by variational methods. First, a laminar flow in ducts is considered by using polynomial trial functions. Then, a longitudinal flow through a square array is described by expanding the flow-rate field in trigonometric and Laurent series. Finally, a formal scheme for estimating the longitudinal permeability in a cluster with an irregular distribution of fibers is given. The irregular distribution is modeled by setting an individual effective radius for each fiber and then letting this fiber reach its minimum gravitational energy. The results obtained here form a basis for future predictions of the permeability of fibrous reinforcements.     

Automation and group structures in certain economic adjustment mechanisms

It is shown that the economic adjustment mechanism developed by Hurwicz and his associates has the structure of automata. It is then shown that certain price adjustment mechanisms, having an acceptability condition, impose a group structure upon the automaton. This condition is a bilinear invariance implied by a budget constraint. Then the automaton is defined by a subgroup, depending on agents' tastes, technologies and strategies, and by the representations of the subgroup imposed by the automaton.     

Fast nonlinear stratified flow over an obstacle

Fast 2-D stratified flow over a hard obstacle is considered. The problem is reduced to a linear boundary value problem by a nonlinear substitution. The linear problem is studied by potential theory. The solution of the nonlinear problem is justified by some estimates.