A note on a generalization of Macdonald’s identities forA l andB l

Let η(q) denote the Dedekind’s η-function. Macdonald obtained identities for η(q) ^{dim g} where g is complex simple finite dimensional Lie algebra. The aim of this paper is to obtain generalization of the above identities in the case of g=A _l andB _l. We also get new formulas for the generating functions of the Ramanujan’s τ-function and ?_α-functions.     

Methods of solving Fredholm equations optimal on classes of functions

This paper is devoted to the solution of linear Fredholm equations in the unit s-dimensional cube for classes of functions with a dominant mixed derivative of order r in each variable. We present an algorithm for obtaining the solution over the whole domain with an error O(N^?r ln^2s?1 N) in the uniform metric using the values of the given functions at O(N ln^2s?1 N) points and consisting of O(N ln^2s?1 N) elementary operations. We show that these estimates can only be improved at the expense of the exponent of ln N.     

On von neumann's variation of the weierstrass-stone theorem

Let X be a compact HausdorfF space and let D(X) be the set of all continuous real-valued functions f defined on X and such that 0 ≤ f(x) ≤ 1, for all x ? X. The set D(X) is equipped with the uniform topology. We characterize the uniform closure of subsets A ? D(X) containing 0 and 1 and ?ψ + (1 ? ?)η, whenever they contain ?, ψ and η     

关于凸体覆盖的Hadwiger猜想的两个等价形式

令K是一个内部(记作intK)包含原点o的凸体,bdK为其边界,m为覆盖K所需的intK的平移的最小个数.本文证明,存在正实数η和含于η(bdK)的m元点集C1使得C1+int K覆盖K;存在正实数η′、实数γ∈(0,1)和含于η′(bd K)的m元点集C2使得C2+γK覆盖K.基于这两个事实,本文得到关于凸体覆盖的Hadwiger猜想的两个等价形式.本文还引入一个可以替代宗传明提出的攻克Hadwiger猜想的数量方案中的γm(K)的新泛函.     

给定匹配数和独立数时图零度的上界

设G是一个有n个点的简单图,分别记η(G),m(G)和α(G)为图G的零度、匹配数和独立数.设θ(G)是一个非负整数,定义为使图G成为二部图至少需要从G的边集中删去的边数.本文运用二部划分运算,证明了对于有n个点并且不含有圈长为2的倍数的圈为子图的简单图G,有η(G)≤n-2m(G)+20(G)和η(G)≤2α(G)+2θ(G)-n.     

Extension of maps and ordering

LetX be a topological space,Y a closed subspace and π:x→T, ψ:Y→T be two continuous maps. We shall say that ψ can be extended by π if there exists a continuous man η=ν(π, ψ):X→T such that: η| _x?y ?π, η| _Y =ψ. Clearly a similar definition can be given in the category of real or complex algebraic varietes. In this paper we give some sufficient conditions to ensure that map ψ can be extended by π. In particular we study the topological and the real algebraic case. It seems that the last setting is the more interesting.     

On optimal backward perturbation bounds for the linear least squares problem

Consider the linear least squares problem min _x ‖b?Ax‖₂ whereA is anm×n (m<n) matrix, andb is anm-dimensional vector. Lety be ann-dimensional vector, and let ηls(y) be the optimal backward perturbation bound defined by $$\eta _{LS} (y) = \inf \{ ||F||_F :y is a solution to \mathop {min}\limits_x ||b - (A + F)x||_2 \} .$$ . An explicit expression of ηls(y) (y≠0) has been given in [8]. However, if we define the optimal backward perturbation bounds ηmls(y) by $$\eta _{MLS} (y) = \inf \{ ||F||_F :y is the minimum 2 - norm solution to \mathop {min}\limits_x ||b - (A + F)x||_2 \} ,$$ , it may well be asked: How to derive an explicit expression of ηmls(y)? This note gives an answer. The main result is: Ifb≠0 andy≠0, then ηmls(y)=ηls (y).     

Gauss legendre quadrature formulas over a tetrahedron

In this article we consider the Gauss Legendre Quadrature method for numerical integration over the standard tetrahedron: {(x, y, z)|0 ≤ x, y, z ≤ 1, x + y + z ≤ 1} in the Cartesian three‐dimensional (x, y, z) space. The mathematical transformation from the (x, y, z) space to (ξ, η, ζ) space is described to map the standard tetrahedron in (x, y, z) space to a standard 2‐cube: {(ξ, η, ζ)| ? 1 ≤ ζ, η, ζ ≤ 1} in the (ξ, η, ζ) space. This overcomes the difficulties associated with the derivation of new weight coefficients and sampling points. The effectiveness of the formulas is demonstrated by applying them to the integration of three nonpolynomial, three polynomial functions and to the evaluation of integrals for element stiffness matrices in linear three‐dimensional elasticity. © 2005 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2006     

A spectral technique for random satisfiable 3CNF formulas

Let I be a random 3CNF formula generated by choosing a truth assignment ? for variables x₁, x_n uniformly at random and including every clause with i literals set true by ? with probability p_i, independently. We show that for any constants 0 ≤ η₂,η₃ ≤ 1 there is a constant d_min so that for all d ≥ d_min a spectral algorithm similar to the graph coloring algorithm of Alon and Kahale will find a satisfying assignment with high probability for p₁ = d/n², p₂ = η₂d/n², and p₃ = η₃d/n². Appropriately setting the η_i's yields natural distributions on satisfiable 3CNFs, not‐all‐equal‐sat 3CNFs, and exactly‐one‐sat 3CNFs. © 2008 Wiley Periodicals, Inc. Random Struct. Alg., 2008     

具有不变凸多目标规划的η-近似方法

建立了与多目标规划问题等价的η-近似多目标规划问题;对η-近似多目标规划问题引入η-拉格朗日函数和η-鞍点,并给出了η-鞍点与原多目标规划问题有效解之间的关系。     

A limit theorem for matrix-solutions of Hamiltonian systems

The following limit theorem on Hamiltonian systems (resp. corresponding Riccati matrix equations) is shown: Given(N, N)-matrices,A, B, C andn ∈ {1,…, N} with the following properties:A and kemelB(x) are constant, rank(I, A, …, A ^n?1) B(x)≠N,B(x)∈C _n(R), andB(x)(A ^T)^j-1 C(x)∈C _n-j(R) forj=1, …, n. Then \(\mathop {\lim }\limits_{x \to x_0 } \eta _1^T \left( x \right)V\left( x \right)U^{ - 1} \left( x \right)\eta _2 \left( x \right) = d_1^T \left( {x_0 } \right)U\left( {x_0 } \right)d_2 \) forx ₀∈R, whenever the matricesU(x), V(x) are a conjoined basis of the differential systemU′=AU + BV, V′=CU?A ^TV, and whenever η_i(x)∈R ^N satisfy η_i(x ₀)=U(x ₀)d _i ∈ imageU(x ₀) η′_i-Aη_ni(x) ∈ imageB(x),B(x)(η′_i(x)-Aη_i(x)) ∈C _n-1 R fori=1,2.     

New proximal algorithms for a class of (A,η)-accretive variational inclusion problems with non-accretive set-valued mappings

In this work, by using Xu’s inequality, Nalder’s results, the notion of(A,η)-accretive mappings and the new resolvent operator technique associated with(A, η)- accretive mappings due to Lan et al., we study the existence of solutions for a new class of(A, η)-accretive variational inclusion problems with non-accretive set-valued mappings and the convergence of the iterative sequences generated by the algorithms in Banach spaces. Our results are new and extend, improve and unify the corresponding results in this field.     

Multichromatic numbers,star chromatic numbers and Kneser graphs

We investigate the relation between the multichromatic number (discussed by Stahl and by Hilton, Rado and Scott) and the star chromatic number (introduced by Vince) of a graph. Denoting these by χ* and η*, the work of the above authors shows that χ*(G) = η*(G) if G is bipartite, an odd cycle or a complete graph. We show that χ*(G) ≤ η*(G) for any finite simple graph G. We consider the Kneser graphs , for which χ* = m/n and η*(G)/χ*(G) is unbounded above. We investigate particular classes of these graphs and show that η* = 3 and η* = 4; (n ≥ 1), and η* = m - 2; (m ≥ 4). © 1997 John Wiley & Sons, Inc. J Graph Theory 26: 137–145, 1997     

A non-steady flow of liquid in a porous pipe with variable permeability

LetB denote the infinitesimal operator of a strongly continuous semigroup S(t), with resolvent R_λ, on Banach space L. We define related operators P and V so that λR_λf = Pf + λVf + o(λ), as λ → 0⁺. For α, η > 0 and possibly unbounded, linear operator A, we let U_{α, η}(t) represent a strongly continuous semigroup generated by αA + ηB. We show that under appropriate simultaneous convergence of α and η, U_{α, η}(t) converges strongly to a strongly continous semigroup U(t), having infinitesimal operator characterized through PA(VA)^rf where r =min{j ? 0, PA(VA)^j ≠ 0}. We apply the abstract perturbation theorem to a singular perturbation initial-value problem, of Tihonov-type, for a non-linear system of ordinary differential equations.     

Homogenization of the stationary periodic Maxwell system in the case of constant permeability

The homogenization problem in the small period limit for the stationary periodic Maxwell system in ℝ³ is considered. It is assumed that the permittivity η^ε(x)=η(ε⁻x), ε > 0, is a rapidly oscillating positive matrix function and the permeability μ₀ is a constant positive matrix. For all four physical fields (the electric and magnetic field intensities, the electric displacement field, and the magnetic flux density), we obtain uniform approximations in the L ₂(ℝ³)-norm with order-sharp remainder estimates. __________ Translated from Funktsional’nyi Analiz i Ego Prilozheniya, Vol. 41, No. 2, pp. 3–23, 2007 Original Russian Text Copyright ? by M. Sh. Birman and T. A. Suslina Dedicated to the memory of the great mathematician Mark Grigor’evich Krein Supported by RFBR grants no. 05-01-01076-a, 05-01-02944-YaF-a.     

具有N策略和负顾客的反馈抢占型M/G/1重试可修排队模型解的渐近行为

研究具有N策略和负顾客的反馈抢占型M/G/1重试可修排队模型的时间依赖解的渐近行为.当初步服务的失效率函数η(x),主要服务的失效率函数μ(x)和修理时间的失效率函数ψ(x)满足0η≤η(x)≤η∞,0μ≤μ(x)≤μ∞,0ψ≤ψ(x)≤ψ∞并且η(x)是Lipschitz连续函数时,证明模型的时间依赖解指数稳定.     

Split map and idempotent separating congruence

This paper finds a new class of generalized convex function which satisfies the following properties: It's level set is η-convex set; Every feasible Kuhn-Tucker point is a global minimum; If Slater's constraint qualification holds, then every minimum point is Kuhn-Tucker point; Weak duality and strong duality hold between primal problem and it's Mond-Weir dual problem.     

Sparse effective membership problems via residue currents

We use residue currents on toric varieties to obtain bounds on the degrees of solutions to polynomial ideal membership problems. Our bounds depend on (the volume of) the Newton polytope of the polynomial system and are therefore well adjusted to sparse polynomial systems. We present sparse versions of Max N?ther??s AF?+?BG Theorem, Macaulay??s Theorem, and Kollár??s Effective Nullstellensatz, as well as recent results by Hickel and Andersson?CG?tmark.     

Solvability of a Multi-Point Boundary Value Problem at Resonance

Let f: [0, 1] × R² → R be a function satisfying Caratheodory’s conditions and e(t) ∈ L¹[0, 1]. Let η_i ∈ (0, 1), i = 1, …, k, with 0 s< η₁ < … < η_k < 1, be given. This paper is concerned with the problem of existence of a solution for the multi-point boundary value problem . Conditions for the existence of a solution for the above boundary value problem are given using Leray Schauder Continuation theorem.     

The Kleisli Category is a Category Of Fractions

We consider a generalised notion of category of fractions associated with a class Φ of permitted replacement situations between zig-zags in a category C. The Kleisli category associated with a monad [T, η, μ] in C is shown to be a special case in which the arrows {ηX X ? C} become left-invertible after passage to fractions.