Effective Replaceability of the Omega—Rule for Restricted Sequents of the First–Order Linear Temporal Logic

We consider an effective replaceability of the omega–rule for the always operator in a restricted first–order linear temporal logic. This work is a continuation of two previous papers of the author where an infinitary (with the omega–rule) calculus without loop rules was constructed and founded. In the present paper, we use this calculus to construct the so–called saturated calculus consisting of four decidable deductive procedures replacing the omega–rule for the always operator.     

On the Order of Affine Wavelet Approximation

Suppose h∈L~2(R), α_0>1, b_0>0 and h_(mn) (x) =α_0~(-m/2)h(α_0~(-m)x - nb_0),m,n∈Zand suppose that {h_(mn)} is a frame with frame bounds A,B>0,where <·,·> is the standard inner product on L~2(R) and ||·|| is the L~2 norm on R .Wecall {h_(mn)} the affine frame. Denote its dual frame by {h_(mn)} .It is well known that forany f ∈L~2 (R),     

On the Approximation of Combination of Linear Operators

Let f(x)∈C_(2π).For Valle-Poussin integrals V_n(f,x)=(2n)!! 1(2n-1)!! 2πintegral grom -πto π(f(x 1)cos~(2n)t/2 dt), Z.Ditzian and G.Freud considered the approximation of their combination writingV_(n,1)(f,x)=2V_(2n-1)(f,x)-V_(n-1)(f,x),V_(n,2)(f,x)=8/3V_(4n-1)(f,x)-2V_(2n-1)(f,x) 1/3V_(n-1)(f,x), they proved that V_(n,1)(f,x)-f(x)=O(ω_4(f,1/n~(1/2))), V_(n,2)(f,x)-f(x)=O(ω_6(f,1/n(1/2))) In this paper, using the asymptotic expansions of linear operators with many terms,we generalize the above result to the case of eombination of m terms, where mis an arbtirary positive integer.     

On “Pre-historic” Linear Programming and the Figure of the Earth

In this paper, we develop algorithms to solve generalized Fermat–Torricelli problems with both positive and negative weights and multifacility location problems involving distances generated by Minkowski gauges. We also introduce a new model of clustering based on squared distances to convex sets. Using the Nesterov smoothing technique and an algorithm for minimizing differences of convex functions introduced by Tao and An, we develop effective algorithms for solving these problems. We demonstrate the algorithms with a variety of numerical examples.     

On Fast Polynomial Algorithms and Lower Bounds of the Linear Complexity

ＯｎＦａｓｔＰｏｌｙｎｏｍｉａｌＡｌｇｏｒｉｔｈｍｓａｎｄＬｏｗｅｒＢｏｕｎｄｓｏｆｔｈｅＬｉｎｅａｒＣｏｍｐｌｅｘｉｔｙＬｉＬｅｉ（李磊）（Ｘｉ＇ａｎＪｉａｏｔｏｎｇＵｎｉｖｅｒｓｉｔｙ，Ｘｉ＇ａｎ，Ｃｈｉｎａ，＆ＡｏｍｏｒｉＵｎｉｖｅｒｓｉｔｙ，...     

On the Oscillation of the Fourth Order Differential Equations

61.IntroductionWeconsiderthefourthorderdifferentialequationx(`)(t)-p(t)lx(t)I'sgnx(t)=O,(1.l)wherea>l,isconstant,andp(t)ispositivecontinuousfunctionon[t,,oo),to>o.Werestrictourattentiontothosenontrivialsolutionsx(t)of(1.1)whichexistonsomehalf-[ine[T:,co)cy[t,,oo),suchasolutioniscalledapropersolutionof(1.l).ApropersolutioniscalledoscillatoryifithasarbitrarilylargezerosFotherwiseitiscallednonoscillatory.Wecon-sidertheoscillationandnonoscillationofpropersolutionsof(l,l).WeletEdenotethesetofall…     

On the Pseudo-Primeness of Meromorphic Functions of Infinite Order

In this paper the pseudo -primeness of meromorphic functions of infinite order is dissoussed in detail and quite a few result are obtained, which are improvments of that of Ozawa.     

On the Parameters of the Singular Part of the Horn—Sergeichuk Regularizing Decomposition

A simple method is given for a priori determination of the number of Jordan blocks and their orders in the regularizing decomposition of a square matrix. This decomposition was proposed by R. Horn and V. Sergeichuk. It is attained by congruence transformations and makes it possible to separate the regular and singular parts of the matrix.     

On the Mean Value of the Infinite Order Legendre Series

ＯｎｔｈｅＭｅａｎＶａｌｕｅｏｆｔｈｅＩｎｆｉｎｉｔｅＯｒｄｅｒＬｅｇｅｎｄｒｅＳｅｒｉｅｓＷａｎｇＡｎｂｉｎ（ＤｅｐｔｏｆＭａｔｈ．，ＹｕｅｙａｎｇＴｅａｃｈｅｒｓＣｏｌｌｅｇｅ．４１４０００）Ａｂｓｔｒａｃｔ：Ｉｎｔｈｉｓｐａｐｅｒ，ｗｅｓｔｕｄ...     

On the Classification of Arc-transitive Circulant Digraphs of Order Odd-Prime-Squared

A Cayley graph F = Cay（G, S） of a group G with respect to S is called a circulant digraph of order pk if G is a cyclic group of the same order. Investigated in this paper are the normality conditions for arc-transitive circulant （di）graphs of order p^2 and the classification of all such graphs. It is proved that any connected arc-transitive circulant digraph of order p^2 is, up to a graph isomorphism, either Kp2, G（p^2,r）, or G（p,r）[pK1], where r｜p- 1.     

On the Accurate Order of Approximatlon of Some Classes of Functions

1.Introduction. Let E_n(f)_([a,b])be the best approximation of degree n to f(x)∈C_([a,b]), w_k(f,δ)_([a,b]) is the k-th modulus of smoothness of f(x) in [a,b]. In 1914, S.Bernstein [1] proved that E_n(|x|)_([-1.1]) exists. Since then, S. Bernstein, S.Nikol'skii, M. Hasson and the author worked in this direction to     

Existence and Life Span of Periodic Solutions for the First Order Quasilinear Hyperbolic Equations

g1.IntroductionWeconsiderthefollowingfirstorderquasilinearhyperbolicequationswithinternaIdissipa-tlveterm:U, A(U)U. F(U)=o(1.1)whereUeR2isunknownvectorfunction,A(U)is2X2knownsmoothmatrix,F(U)is2X2knownsmoothvectorfunction.Itiswell-knownthatCauchyproblemoftheequations(l.1)hasbeenwidelystudied(Ll-6J),however,theequations(l.1)withperiedicinitialdatahasbeenhardlystudiedandonesfindthatitiscomplicatedforproblemwithperiodicinitialdata.Becausetheperiodicdis-turbanceLlirectlyinfluencesthebounde…     

On the Product of Almost Dunford–Pettis and Order Weakly Compact Operators

In this paper, we give some results on the product of positive almost Dunford–Pettis and interval preserving order weakly compact operators. As consequence, we derive some interesting consequences. Also, we look at the dual counterpart.     

On the Fekete and Szeg? Problem for Starlike Mappings of Order α

Let S_α~*be the familiar class of normalized starlike functions of order α in the unit disk. In this paper, we establish the Fekete and Szeg? inequality for the class S_α~*, and then we generalize this result to the unit ball in a complex Banach space or on the unit polydisk in C~n.     

Asymptotic and Oscillatory Behavior of Solutions of First Order Neutral Differential Equations

This paper has made researches on first order neutral differential equations with variable coefficients and several deviations. The asymptotic behavior of nonoscillatory solutions of the equations are discussed. Necessary and sufficient conditions and several sufficient conditions for the oscillations of the equations are obtained. The relevent results in [1—3] are improved and generalized .     

On the Pseudo—Primensee of Meromorphic Functions of Infinite Order

In this paper the pseudo-primeness of meromorphic functions of infinite order is disscossed in detail and quite a few result are obtained,which ae improvments of that of Ozawa.     

On the L∞ Norm of the First Eigenfunction of the Dirichlet Laplacian

We obtain the asymptotic behaviour for the L norm of the first eigenfunction of the Dirichlet Laplace operator on a conic sector over a geodesic disc in as . We are led to conjecture that for an open, bounded and convex set D with inradius and diameter d, where and      

On the Absence of a First Order COrrection for the Number of Bound States of a Schrödinger operator with Coulomb Singularity

Contents

1 Introduction 616

2 Regularizaton of the Singular Operator 620

3 Functional Calculus with Projections 621

A The Kutaanheimo–Stiefel Transform and All That 625

B Some Remarks on a Result of Petkov and Robert on the Counting Function in the Context of Compact Group Actions 627

B.1 Introduction and Principal Statements 627

B.2 Sketch of a Proof of Theorem 10 632

B.3 On the Initial Conditions Yielding Periodic Orbits of Regularized and Unregularized Hamiltonians 634

B.4 On the Vanishing of the Second Coefficient 635     

The Asymptotic Stability of the First Order Time Lag Dynamic System

It is well known that the differential equation of a control system with feedback device ku(t) is usually written as du(t)/dt+(c+k)u(t)=X(t) (1) However. strickly speaking, since time lag always exists, this equation should be represented by the following difference-differential equation du(t)/dt+cu(t)+ku(t-x)=X(t) (2) where τ>0 may be constant or function of time t.     

On the Existence of Nontrivial Solutions of Quasi-asymptotically Linear Problem for the P-Laplacian

In this paper, we study the existence of nontrivial solutions for the following Dirichlet problem for the p-Laplacian (p > 1):where Ω is a bounded domain in Rn (A≥1) and f(x,u) is quasi-asymptotically linear with respect to |u|p-2 u at infinity. Recently it was proved that the above problem has a positive solution under the condition that f(x, s)/sp-1 is nondecrcasing with respect to s for all x ∈Ω and some others. In this paper. by improving the methods in the literature, we prove that the functional corresponding to the above problem still satisfies a weakened version of (P.S.) condition even if f(x, s)/sp-1 isn't a nondecreasing function with respect to s, and then the above problem has a nontrivial weak solution by Mountain Pass Theorem.