Solving systems of polynomial inequalities over a real closed field in subexponential time

Let _m= (₁,..., _m) denote an ordered field, where _i+1>0 is infinitesimal relative to the elements of _i, 0 < –i < m (by definition, ₀= ). Given a system of inequalities f₁ > 0, ..., f_s > 0, f_s+1 0, ..., f_k 0, where f_{j m} [X₁,..., X_n] are polynomials such that, and the absolute value of any integer occurring in the coefficients of the f_js is at most 2^M. An algorithm is constructed which tests the above system of inequalities for solvability over the real closure of _m in polynomial time with respect to M, ((d)ⁿd₀)^n+m. In the case _m=, the algorithm explicitly constructs a family of real solutions of the system (provided the latter is consistent). Previously known algorithms for this problem had complexity of the order ofM(d d ₀ ^{m 2U(n)} .Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Maternaticheskogo Instituta im. V. A. Steklova Akad. Nauk SSSR, Vol. 174, pp. 3–36, 1988.     

Intrinsic ultracontractivity of Dirichlet Laplacians in non-smooth domains

We give a general criterion for the intrinsic ultracontractivity of Dirichlet Laplacians – _D on domainsD ofR ^d d 3, based on the Lieb's formula. It applies to various classes of domains (e.g. John, Hölder andL ^p-averaging domains) and gives new conditions for intrinsic ultracontractivity in terms of the Minkowski dimension of the boundary D. In particular, isotropic self-similar fractals and domains satisfying a c-covering condition are considered.     

Equivalent Sets of Solutions of the Klein–Gordon Equation with a Constant Electric Field

We argue extensively in favor of our earlier choice of the in and out states (among the solutions of a wave equation with one-dimensional potential). In this connection, we study the nonstationary and stationary families of complete sets of solutions of the Klein–Gordon equation with a constant electric field. A nonstationary set _Pv consists of the solutions with the quantum number p _v=p ⁰ v–p₃. It can be obtained from the nonstationary set _P3 with the quantum number p ₃ by a boost along the x ₃ axis (in the direction of the electric field) with the velocity –v. By changing the gauge, we can bring the solutions in all sets to the same potential without changing quantum numbers. Then the transformations of solutions in one set (with the quantum number p _v) to the solutions in another set (with the quantum number p _v) have group properties. The stationary solutions and sets have the same properties as the nonstationary ones and are obtainable from stationary solutions with the quantum number p ⁰ by the same boost. It turns out that each set can be obtained from any other by gauge manipulations. All sets are therefore equivalent, and the classification (i.e., assigning the frequency sign and the in and out indices) in any set is determined by the classification in the set _P3, where it is obvious.     

The Spectral Theory of Amenable Actions and Invariants of Discrete Groups

Let G denote a semisimple group, a discrete subgroup, B=G/P the Poisson boundary. Regarding invariants of discrete subgroups we prove, in particular, the following:(1) For any -quasi-invariant measure on B, and any probablity measure on , the norm of the operator () on L ²(B,) is equal to (), where is the unitary representation in L ²(X,), and is the regular representation of .(2) In particular this estimate holds when is Lebesgue measure on B, a Patterson–Sullivan measure, or a -stationary measure, and implies explicit lower bounds for the displacement and Margulis number of (w.r.t. a finite generating set), the dimension of the conformal density, the -entropy of the measure, and Lyapunov exponents of .(3) In particular, when G=PSL₂() and is free, the new lower bound of the displacement is somewhat smaller than the Culler–Shalen bound (which requires an additional assumption) and is greater than the standard ball-packing bound.We also prove that ()=_G() for any amenable action of G and L ¹(G), and conversely, give a spectral criterion for amenability of an action of G under certain natural dynamical conditions. In addition, we establish a uniform lower bound for the -entropy of any measure quasi-invariant under the action of a group with property T, and use this fact to construct an interesting class of actions of such groups, related to 'virtual' maximal parabolic subgroups. Most of the results hold in fact in greater generality, and apply for instance when G is any semi-simple algebraic group, or when is any word-hyperbolic group, acting on their Poisson boundary, for example.     

Implicit elliptic boundary-value problems with discontinuous nonlinearities

Let be a bounded domain in ⁿ (n3) having a smooth boundary, let be an essentially bounded real-valued function defined on × ^h, and let be a continuous real-valued function defined on a given subset Y of Y ^h. In this paper, the existence of strong solutions u W ^2,p (, ^h) W _o ^1,p (n/2<p<+) to the implicit elliptic equation (–u)=(x,u), with u=(u₁, u₂, ..., u_h) and u=(u ₁, u ₂, ..., u _h), is established. The abstract framework where the problem is placed is that of set-valued analysis.     

Local isometric immersions of two-dimensional metrics inE 4 with prescribed Gaussian torsion

Suppose that in a domain R(, B) of variables (r, ): (0 r , ₁ +B(r–r ₀ ) ₂–B(r–r₀), where > 0, B > 0, ₁ < 0 < ₂ are numbers) a metric ds² = dr² +G(r, )d ² and a function k(r, ) are given. The problem of isometrically immersing ds² in E ⁴ with prescribed Gaussian torsion is considered. The following is proved: The class C ⁵ metric ds ² is locally realized in the form of a class C ³ surface F ² whose Gaussian torsion is the prescribed class C ³ function (r, ).Translated from Ukrainskii Geometricheskii Sbornik, No. 35, pp. 38–47, 1992.     

The Ramsey property for collections of sequences not containing all arithmetic progressions

A family of sequences has the Ramsey property if for every positive integerk, there exists a least positive integerf (k) such that for every 2-coloring of {1,2, ...,f (k)} there is a monochromatick-term member of . For fixed integersm > 1 and 0 q < m, let _q(m) be the collection of those increasing sequences of positive integers {x ₁,..., x_k} such thatx _i+1 – x_i q(modm) for 1 i k – 1. Fort a fixed positive integer, denote byA _t the collection of those arithmetic progressions having constant differencet. Landman and Long showed that for allm 2 and 1 q < m, _q(m) does not have the Ramsey property, while _q(m) A _m does. We extend these results to various finite unions of _q(m) 's andA _t 's. We show that for allm 2, _q=1 ^m–1 _q(m) does not have the Ramsey property. We give necessary and sufficient conditions for collections of the form _q(m) ( _{t T} A _t) to have the Ramsey property. We determine when collections of the form _a(m₁) _b(m₂) have the Ramsey property. We extend this to the study of arbitrary finite unions of _q(m)'s. In all cases considered for which has the Ramsey property, upper bounds are given forf .     

Characterization,structure and analysis on abelian ℒ∞ groups

An abelian topological group is an group if and only if it is a locally -compactk-space and every compact subset in it is contained in a compactly generated locally compact subgroup. Every abelian groupG is topologically isomorphic to G ₀ where ₀ andG ₀ is an abelian group where every compact subset is contained in a compact subgroup. Intrinsic definitions of measures, convolution of measures, measure algebra,L ₁-algebra, Fourier transforms of abelian groups are given and their properties are studied.     

A remark on normal derivations of Hilbert-Schmidt type

LetB (H) denote the algebra of operators on the separable Hilbert spaceH. LetC ₂ denote the (Hilbert) space of Hilbert-Schmidt operators onH, with norm .₂ defined by S ₂ ² =(S,S)=tr(SS ^*). GivenA, B B (H), define the derivationC (A, B):B(H)B(H) byC(A, B)X=AX-XB. We show that C(A,B)X+S ₂ ² =C(A,B)X ₂ ² +S ₂ ² holds for allXB(H) and for everySC ₂ such thatC(A, B)S=0 if and only if reducesA, ker S reducesB, andA | S and B| ker S are unitarily equivalent normal operators. We also show that ifA, BB(H) are contractions andR(A, B)B(H)B(H) is defined byR(A, B)X=AXB-X, thenSC ₂ andR(A, B)S=0 imply R(A,B)X+S ₂ ² =R(A,B)X ₂ ² +S ₂ ² for allXB(H).     

Best approximation and best unilateral approximation of the kernel of a biharmonic equation and optimal renewal of the values of operators

For the classB _p , 0 < 1, 1p , of 2-periodic functions of the form f(t)=u(,t), whereu (,t) is a biharmonic function in the unit disk, we obtain the exact values of the best approximation and best unilateral approximation of the kernel K(t) of the convolution f= K *g, gl, with respect to the metric of L₁. We also consider the problem of renewal of the values of the convolution operator by using the information about the values of the boundary functions.Translated from Ukrainskii Matematicheskii Zhurnal, Vol.47, No. 11, pp. 1549–1557, November, 1995.     

Comparison theorems for nonlinear evolution equations and their application to the investigation of the dependence of the solutions of the equation ut=δϕ(u) ON ϕ and on the boundary conditions

One obtains estimates of the form, whereu. are generalized solutions of the equationsdu/dt=Au, du/dt=Bu whileA, B are non-linear,m-dissipative operators in a Banach space, and there exists an operatorP:D(A)D(B), such thatPw · W+BPw –Aw, uniformly on some setw. These results are applied to the investigation of the dependence of the solutions of the Cauchy, Dirichlet problems and of the problem with the boundary condition –du/dn=(u) for the equation u₁=(u) on the continuous nondecreasing functions and.Translated from Problemy Matematicheskogo Analiza, No. 9, pp. 183–198, 1984.The author is sincerely grateful to O. A. Ladyzhenskaya and N. N. Ural'tseva for their interest in this paper and for useful discussions.     

Spectral functions of zeros in the Besselq-functions

Zeta functions _v(z; q)= _n=1 [j_vn(q)]^–z and partition functions Z_v(t; q)=_n exp[–tj _vn ² (q)] related to the zeros j_vn(q) of the Bessel q-functions J_v(x; q) and J _v ⁽²⁾ (x; q) are studied and explicit formulas for _v(2n; q) at n=±1, ±2, ... are obtained. The poles of _v(z; q) in the complex plane and the corresponding residues are found. Asymptotics of the partition functions Z_v(t; q) at t 0 are investigated.Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 107, No. 3, pp. 397–414, June, 1996.     

Best approximations of continuous functions by spline functions

An investigation of the approximation on [0, 1] of functionsf (x) by spline functions s(f,; x) of degree 2r-1 and of deficiency r (r>1) depending on the vector function = ₁ (x),..., _r-1(x) and interpolatingf (x) at fixed points. For the optimal choice of the vector ₀, exact estimates are obtained of the norms f(x)-s (f, ₀; x)_C[0,1] and f (x)-s (f, ₀; x)_{L[0, 1]} on the function classes H Translated from Matematicheskie Zametki, Vol. 8, No. 1, pp. 41–46, July, 1970.In conclusion we would like to thank N. P. Korneichuk for suggesting this problem and for his valuable advice.     

Application of Hermite-Mahler polynomials to the approximation of the values ofp-adic exponential function

We shall give a further application of Hermite-Mahler polynomials to the consideration ofp-adic exponential function. An effective lower bound is obtained for max {| – | _p ,P(e )| _p }, where is an algebraic number satisfying || _p <p ^–/(p–1), and 0 is ap-adic number with | | _p depending on the degree of the polynomialPZ[y]. The bound obtained implies the transcendence ofe if ap-adic number satisfying 0 < || _p <p ^–/(p–1) is algebraic or can be well approximated by algebraic numbers.This work was carried out while the author was a research fellow of the Alexander von Humboldt Foundation.     

Limit theorems for multitype continuous time Markov branching processes

Summary Let X(t)=(X ₁ (t), X ₂ (t), , X _t (t)) be a k-type (2k<) continuous time, supercritical, nonsingular, positively regular Markov branching process. Let M(t)=((m _ij (t))) be the mean matrix where m _ij (t)=E(X _j (t)¦X _r (0)= _ir for r=1, 2, , k) and write M(t)=exp(At). Let be an eigenvector of A corresponding to an eigenvalue . Assuming second moments this paper studies the limit behavior as t of the stochastic process . It is shown that i) if 2 Re >₁, then · X(t)e{–t¦ converges a.s. and in mean square to a random variable. ii) if 2 Re ₁ then [ · X(t)] f(v · X(t)) converges in law to a normal distribution where f(x)=(x) ^–1 if 2 Re <₁ and f(x)=(x log x)^–1 if 2 Re =₁, ₁ the largest real eigenvalue of A and v the corresponding right eigenvector.Research supported in part under contracts N0014-67-A-0112-0015 and NIH USPHS 10452 at Stanford University.     

The existence of probability measures with specified projections

Let X and Y be locally compact-compact topological spaces, F X×Y is closed, and P(F) is the set of all Borel probability measures on F. For us to find, for the pair of probability measures (_x, _y P (X)×P(Y), a probability measure P(F) such that _X = _X ^–1 , _Y = _Y ^–1 it is necessary and sufficient that, for any pair of Borel sets A X, B Y for which (A× B) F=Ø, the condition _XA+ _YB 1 holds.Translated from Matematicheskie Zametki, Vol. 14, No. 4, pp. 573–576, October, 1973.     

Higher-Dimensional Representations of the Reflection Equation Algebra

We consider a new method for constructing finite-dimensional irreducible representations of the reflection equation algebra. We construct a series of irreducible representations parameterized by Young diagrams. We calculate the spectra of central elements s _k=Tr_q L ^k of the reflection equation algebra on q-symmetric and q-antisymmetric representations. We propose a rule for decomposing the tensor product of representations into irreducible representations.     

Embeddings of Lorentz—Marcinkiewicz spaces with mixed norms

X(Y) f -:X(Y)={fM(×): f_{X(Y)=f(x,.)YX<} . =(0, ), M (×) — , ×, X, Y, Z— . X(Y) Z(×).     

On the construction and calculation of optimal nonlifting critical airfoils

Numerical calculations are carried out in the hodograph plane to construct optimal critical airfoil shapes and the flow about them. These optimal airfoil shapes give the highest free-stream Mach numberM for a given thickness ratio and tail angle _t (nonlifting) for which the flow is nowhere supersonic. A relationship betweenM and for various _t is given. Analytical and numerical solutions to the same problem are found on the basis of transonic small-disturbance theory. These results provide a limiting case asM 1, 0 and agree well with the calculations of the full problem. Using a numerical method to calculate the flow about general (subsonic) airfoils, a comparison is made between the critical free-stream Mach numbers for some standard airfoil shapes and the optimal free stream Mach number of the corresponding and _t . A significant increase in the critical free-stream Mach number is found for the optimal airfoils.     

Application of Topological Degree to the Study of Bifurcation in von Kármán Equations

The aim of this paper is to illustrate the use of topological degree for the study of bifurcation in von Kármán equations with two real positive parameters and for a thin elastic disk lying on the elastic base under the action of a compressing force, which may be written in the form of an operator equation F(x, , ) = 0 in some real Banach spaces X and Y. The bifurcation problem that we study is a mathematical model for a certain physical phenomenon and it is very important in the mechanics of elastic constructions. We reduce the bifurcation problem in the solution set of equation F(x, , ) = 0 at a point (0, ₀, ₀) X × IR ₊ ² to the bifurcation problem in the solution set of a certain equation in IR ⁿ at a point (0, ₀, ₀) IR ⁿ × IR ₊ ², where n = dim Ker F _x (0, ₀, ₀) and F _x (0, ₀, ₀): X Y is a Fréchet derivative of F with respect to x at (0, ₀, ₀). To solve the bifurcation problem obtained as a result of reduction, we apply homotopy and degree theory.