STABILITY AND ALMOST PERIODIC SOLUTIONS OF NEUTRAL FUNCTIONAL DIFFERENTIAL EQUATIONS WITH INFINITE DELAY

Itiswellknownthattheexistenceofalmostperiodicsolutionsiscloselyrelatedtothestabilityofsolutions.Forfunctionaldifferentialequationswithinfinitedelay,Y.Hin.[5'6]studiedtheproblemsontheexistenceofalmostperiodicsolutionsandthestability.However,therearefewpapersll2]dealingwithneutralfunctionaldifferentialequationswithinfinitedelay.Inthepresentpaper,forneutralfunctionaldifferentialequationswithinfinitedelay,weprovetheinherencetheoremfortheuniformlystableoperatorD(t),definethestabilitywithrespecttot…     

Interpolation by holomorphic automorphisms and embeddings in Cn

Let n > 1 and let C ⁿ denote the complex n-dimensional Euclidean space. We prove several jet-interpolation results for nowhere degenerate entire mappings F:C ⁿ →C ⁿ and for holomorphic automorphisms of C ⁿ on discrete subsets of C ⁿ.We also prove an interpolation theorem for proper holomorphic embeddings of Stein manifolds into C ⁿ.For each closed complex submanifold (or subvariety) M ⊂ C ⁿ of complex dimension m < n we construct a domain Ω ⊂C ⁿ containing M and a biholomorphic map F: Ω → C ⁿ onto C ⁿ with J F ≡ 1such that F(M) intersects the image of any nondegenerate entire map G:C ^n−m →C ⁿ at infinitely many points. If m = n − 1, we construct F as above such that C ⁿ ∖F(M) is hyperbolic. In particular, for each m ≥ 1we construct proper holomorphic embeddings F:C ^m →C ^m−1 such that the complement C ^m+1 ∖F(C ^m )is hyperbolic.     

Lipschitz selections of set-valued mappings and Helly’s theorem

We prove a Helly-type theorem for the family of all m-dimensional convex compact subsets of a Banach space X. The result is formulated in terms of Lipschitz selections of set-valued mappings from a metric space (M, ρ) into this family. Let M be finite and let F be such a mapping satisfying the following condition: for every subset M′ ⊂ M consisting of at most 2^m+1 points, the restriction F|_M′ of F to M′ has a selection f_M′ (i. e., f_M′(x) ∈ F(x) for all x ∈ M′) satisfying the Lipschitz condition ‖ƒ_M′(x) − ƒ_M′(y)‖_X ≤ ρ(x, y), x, y ∈ M′. Then F has a Lipschitz selection ƒ: M → X such that ‖ƒ(x) − ƒ(y)‖_X ≤ γρ(x,y), x, y ∈ M where γ is a constant depending only on m and the cardinality of M. We prove that in general, the upper bound of the number of points in M′, 2^m+1, is sharp. If dim X = 2, then the result is true for arbitrary (not necessarily finite) metric space. We apply this result to Whitney’s extension problem for spaces of smooth functions. In particular, we obtain a constructive necessary and sufficient condition for a function defined on a closed subset of R ² to be the restriction of a function from the Sobolev space W _∞ ² (R ²).A similar result is proved for the space of functions on R ² satisfying the Zygmund condition.     

Nearly flat almost monotone measures are big pieces of lipschitz graphs

A concentrated (ξ, m) almost monotone measure inR ⁿ is a Radon measure Φ satisfying the two following conditions: (1) Θ ^m (Φ,x)≥1 for every x ∈spt (Φ) and (2) for everyx ∈R ⁿ the ratioexp [ξ(r)]r^−mΦ(B(x,r)) is increasing as a function of r>0. Here ξ is an increasing function such thatlim _r→0-ξ(r)=0. We prove that there is a relatively open dense setReg (Φ) ∋spt (Φ) such that at each x∈Reg(Φ) the support of Φ has the following regularity property: given ε>0 and λ>0 there is an m dimensional spaceW ⊂R ⁿ and a λ-Lipschitz function f from x+W into x+W^‖ so that (100-ε)% ofspt(Φ) ∩B (x, r) coincides with the graph of f, at some scale r>0 depending on x, ε, and λ.     

Sobolev spaces related to Schrödinger operators with polynomial potentials

The aim of this note is to prove the following theorem. Let

Lösungsanzahl der Gleichung |xd−czyd|=p

For a homogenous polynomP ∈ℤ[X, Y] of degreed and forh ∈ ℕ letL(P, h) be the number of coprime solutions of the equation |P(x,y)|=h. Ift(h) is the number of distinct primefactors ofh, a theorem of Bombieri-Schmidt [1] givesL(P, h)≤Md ^t(h) +1 in the cased≥3. We prove for a finite collection of polynomialsP _w ∈ℤ[X, Y] under some conditions, that for almost allh ∈ℤ (Satz 1; “almost all” in the sense “except finitely many cases”). As a corollary (Folgerung 3/4) we get for sufficiently large primesp, that the equation |x ^d −c ^z y ^d |=p has at mostd+1 many solutions (x, y, z) ∈ ℕ ³ withc∤y. Ford=2 we get an analogon to a theorem of Mao-Hua (Folgerung 5).      

Three results on the regularity of the curves that are invariant by an exact symplectic twist map

A theorem due to G. D. Birkhoff states that every essential curve which is invariant under a symplectic twist map of the annulus is the graph of a Lipschitz map. We prove: if the graph of a Lipschitz map h:T→R is invariant under a symplectic twist map, then h is a little bit more regular than simply Lipschitz (Theorem 1); we deduce that there exists a Lipschitz map h:T→R whose graph is invariant under no symplectic twist map (Corollary 2). Assuming that the dynamic of a twist map restricted to a Lipschitz graph is bi-Lipschitz conjugate to a rotation, we obtain that the graph is even C ¹ (Theorem 3). Then we consider the case of the C ⁰ integrable symplectic twist maps and we prove that for such a map, there exists a dense G _δ subset of the set of its invariant curves such that every curve of this G _δ subset is C ¹ (Theorem 4).     

The equator map and the negative exponential functional

We define a negative exponential harmonic map from the ballB ⁿ of ℝ_n into the sphereS ⁿ of ℝ ⁿ⁺¹ . We prove that the equator map is a negative exponential harmonic map, but not stable for the negative exponential functional whenn≥2. Moreover, we consider maps from a ballB ⁿ into the unit sphereS ^m of ℝ_m+1 wherem≥2, and prove that no nonconstant, non surjective map can reach either the minimum or the maximum of the negative exponential functional.     

Generic Immersions of the Two-Sphere to R<Superscript>3</Superscript> and Their Skeletons

Let f:S ² ↬ R ³ be a generic smooth immersion. The skeleton of f is the following triple (Γ, D, p): Γ ⊂ R ³ is the 1-polyhedron of singular points of f, D = f⁻¹(Γ) ⊂ S ² is also a 1-polyhedron, and p : D → Γ, x ↦ f(x), is the projection. For triples of the form (D,Γ,p), where Γ has at most four vertices, we give an iff-condition under which the triple is the skeleton of a smooth immersion f : S ² ↬ R ³. Bibliography: 4 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 299, 2003, pp. 300–313.     

A characterization ofC 1-convex sets in Sobolev spaces

In this paper we prove that, ifK is a closed subset ofW ₀ ^1,p (Ω,R ^m ) with 1<p<+∞ andm≥1, thenK is stable under convex combinations withC ¹ coefficients if and only if there exists a closed and convex valued multifunction from Ω toR ^m such that The casem=1 has already been studied by using truncation arguments which rely on the order structure ofR (see [2]). In the casem>1 a different approach is needed, and new techniques involving suitable Lipschitz projections onto convex sets are developed. Our results are used to prove the stability, with respect to the convergence in the sense of Mosco, of the class of convex sets of the form (*); this property may be useful in the study of the limit behaviour of a sequence of variational problems of obstacle type. This article was processed by the author using the Springer-Verlag TEX mamath macro package 1990     

Submanifolds with constant Möbius scalar curvature in <Emphasis Type="Italic">S</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

 Let M ^m be a m-dimensional submanifold in the n-dimensional unit sphere S ⁿ without umbilic point. Two basic invariants of M ^m under the M?bius transformation group of S ⁿ are a 1-form Φ called M?bius form and a symmetric (0,2) tensor A called Blaschke tensor. In this paper, we prove the following rigidity theorem: Let M ^m be a m-dimensional (m≥3) submanifold with vanishing M?bius form and with constant M?bius scalar curvature R in S ⁿ , denote the trace-free Blaschke tensor by . If , then either ||?||≡0 and M ^m is M?bius equivalent to a minimal submanifold with constant scalar curvature in S ⁿ ; or and M ^m is M?bius equivalent to in for some c≥0 and . Received: 15 May 2002 / Revised version: 3 February 2003 Published online: 19 May 2003 RID="*" ID="*" Partially supported by grants of CSC, NSFC and Outstanding Youth Foundation of Henan, China. RID="†" ID="†" Partially supported by the Alexander Humboldt von Stiftung and Zhongdian grant of NSFC. Mathematics Subject Classification (2000): Primary 53A30; Secondary 53B25     

A new inductive approach to the lace expansion for self-avoiding walks

Summary. We introduce a new inductive approach to the lace expansion, and apply it to prove Gaussian behaviour for the weakly self-avoiding walk on ℤ ^d where loops of length m are penalised by a factor e ^{−β/m p} (0<β≪1) when: (1) d>4, p≥0; (2) d≤4, . In particular, we derive results first obtained by Brydges and Spencer (and revisited by other authors) for the case d>4, p=0. In addition, we prove a local central limit theorem, with the exception of the case d>4, p=0. Received: 29 October 1997 / In revised form: 15 January 1998     

Two Extensions to Finsler's Recurring Theorem

Finsler's theorem asserts the equivalence of (i) and (ii) for pairs of real quadratic forms f and g on R ⁿ : (i) f( ξ ) >0 for all ξ≠ 0 with g( ξ ) =0; (ii) f-λ g>0 for some λ∈ R. We prove two extensions: 1. We admit a vector-valued quadratic form g: R ⁿ → R ^k , for which we show that (i) implies that f-λ . . . g>0 on an ( n-k+1 ) -dimensional subspace Y R ⁿ for some λ∈ R ^k . 2. In the nonstrict version of Finsler's theorem for indefinite g we replace R ⁿ by a real vector space X . Accepted 22 February 1998     

Analytic functions over a field of power series

 We extend the notion of absolute convergence for real series in several variables to a notion of convergence for series in a power series field ℝ((t ^Γ)) with coefficients in ℝ. Subsequently, we define a natural notion of analytic function at a point of ℝ((t ^Γ))^m. Then, given a real function f analytic on a open box I of ℝ ^m , we extend f to a function f ^★ which is analytic on a subset of ℝ((t ^Γ)) ^m containing I. We prove that the functions f ^★ share with real analytic functions certain basic properties: they are , they have usual Taylor development, they satisfy the inverse function theorem and the implicit function theorem. Received: 5 October 2000 / Revised version: 19 June 2001 / Published online: 12 July 2002     

Density of weighted wavelet frames

If ψ ∈ L²(R), Λ is a discrete subset of the affine groupA =R ⁺ ×R, and w: Λ →R ⁺ is a weight function, then the weighted wavelet system generated by ψ, Λ, and w is . In this article we define lower and upper weighted densities D _w ⁻ (Λ) and D _w ⁺ (Λ) of Λ with respect to the geometry of the affine group, and prove that there exist necessary conditions on a weighted wavelet system in order that it possesses frame bounds. Specifically, we prove that if W(ψ, Λ, w) possesses an upper frame bound, then the upper weighted density is finite. Furthermore, for the unweighted case w = 1, we prove that if W(ψ, Λ, 1) possesses a lower frame bound and D _w ⁺ (Λ⁻¹) < ∞, then the lower density is strictly positive. We apply these results to oversampled affine systems (which include the classical affine and the quasi-affine systems as special cases), to co-affine wavelet systems, and to systems consisting only of dilations, obtaining some new results relating density to the frame properties of these systems.     

Quasiperiodic solutions of higher dimensional Duffing’s equations via the KAM theorem

In this paper, we consider the higher dimensional second order differential equations of the formẍ + ∇F(x,t) = 0,x ∈R ⁿ with a class of weakly coupled potentials F( x, t ), periodically depending on t. We prove the existence of infinitely many quasi-periodic solutions for such equations via the KAM theorem.     

Center conditions III: Parametric and model center problems

We consider an Abel equation (*)y’=p(x)y ² +q(x)y ³ withp(x), q(x) polynomials inx. A center condition for (*) (closely related to the classical center condition for polynomial vector fields on the plane) is thaty ₀=y(0)≡y(1) for any solutiony(x) of (*). Folowing [7], we consider a parametric version of this condition: an equation (**)y’=p(x)y ² +εq(x)y ³ p, q as above, ε ∈ ℂ, is said to have a parametric center, if for any ɛ and for any solutiony(ɛ,x) of (**)y(ɛ, 0)≡y(ɛ, 1).. We give another proof of the fact, shown in [6], that the parametric center condition implies vanishing of all the momentsm _k (1), wherem _k (x)=∫ ₀ ^{x pk} (t)q(t)(dt),P(x)=∫ ₀ ^x p(t)dt. We investigate the structure of zeroes ofm _k (x) and generalize a “canonical representation” ofm _k (x) given in [7]. On this base we prove in some additional cases a composition conjecture, stated in [6, 7] for a parametric center problem. The research of the first and the third author was supported by the Israel Science Foundation, Grant No. 101/95-1 and by the Minerva Foundation.     

The greatest prime factor of the integers in a short interval (III)

LetP(x) denote the greatest prime factor of II_z<n≤x+x1/2 n. In this paper, we prove thatP(x)>x ^0.723 holds true for a sufficiently largex. Project supported by the Tian Yuan Itam in the National Natural Science Foundation of China.     

THE EIGENVALUE DISTRIBUTION OF A HUBERT-SCHMIDT-TYPE OPERATOR

Abstract

We prove the following theorem in answer to a question raised by P Nowosad and R Tovar in [3]. If K is a kernel operator on L²(x,u) with kernel K(x, y) if P(x): = U_X |K(x, y)|² d μ(y))½ and Q(x): = (U_X |K (y, x)|² d μ(y))½ and if _x PQdμ < ∞, then σ|λ_i|² < ∫_X PQd μ where (λ_i) is the se = zuence of eigenvalues of K.