A recurrence property of smooth functions

LetP andQ be real polynomials of degreesd ande, respectively, andf a periodic function. It is shown that, iff iss times differentiable atQ(0), wheres≧7de ³ log 14e ³, then for every ɛ>0 the diophantine inequality ≧FF5C;P(x)f(Q(x)) -P(0)f(Q(0)) -y≧ εx≠0, has a solution. This settles in particular a question raised by Furstenberg and Weiss [6].     

Maximal solutions of semilinear elliptic equations with locally integrable forcing term

We study the existence of a maximal solution of −Δu+g(u)=f(x) in a domain Ω ∈ ℝ ^N with compact boundary, assuming thatf ∈ (L _loc ¹ (Ω))₊ and thatg is nondecreasing,g(0)≥0 andg satisfies the Keller-Osserman condition. We show that if the boundary satisfies the classicalC _1,2 Wiener criterion, then the maximal solution is a large solution, i.e., it blows up everywhere on the boundary. In addition, we discuss the question of uniqueness of large solutions. This research was partially supported by an EC Grant through the RTN Program “Front-Singularities”, HPRN-CT-2002-00274.     

On double sine and cosine transforms,Lipschitz and Zygmund classes

We consider complex-valued functions f ∈ L 1 (R+2),where R +:= [0,∞),and prove sufficient conditions under which the double sine Fourier transform f ss and the double cosine Fourier transform f cc belong to one of the two-dimensional Lipschitz classes Lip(α,β) for some 0 α,β≤ 1;or to one of the Zygmund classes Zyg(α,β) for some 0 α,β≤ 2.These sufficient conditions are best possible in the sense that they are also necessary for nonnegative-valued functions f ∈ L 1 (R+2).     

Explosive solutions of elliptic equations with absorption and nonlinear gradient term

Letf be a non-decreasing C¹-function such that andF(t)/f ² a(t)→ 0 ast → ∞, whereF(t)=∫ ₀ ^t f(s) ds anda ∈ (0, 2]. We prove the existence of positive large solutions to the equationΔu +q(x)|Δu| ^a =p(x)f(u) in a smooth bounded domain Ω ⊂R^N, provided thatp, q are non-negative continuous functions so that any zero ofp is surrounded by a surface strictly included in Ω on whichp is positive. Under additional hypotheses onp we deduce the existence of solutions if Ω is unbounded.     

On the dynamics of composite entire functions

Letf andg be nonlinear entire functions. The relations between the dynamics off⊗g andg⊗f are discussed. Denote byℐ (·) andF(·) the Julia and Fatou sets. It is proved that ifz∈C, thenz∈ℐ8464 (f⊗g) if and only ifg(z)∈ℐ8464 (g⊗f); ifU is a component ofF(f○g) andV is the component ofF(g○g) that containsg(U), thenU is wandering if and only ifV is wandering; ifU is periodic, then so isV and moreover,V is of the same type according to the classification of periodic components asU. These results are used to show that certain new classes of entire functions do not have wandering domains. The second author was supported by Max-Planck-Gessellschaft ZFDW, and by Tian Yuan Foundation, NSFC.     

Harmonic maps from manifolds of <Emphasis Type="Italic">L</Emphasis><Superscript>∞</Superscript>-Riemannian metrics

For a bounded domain Ω ⊂ R ⁿ endowed with L ^∞-metric g, and a C ⁵-Riemannian manifold (N, h) ⊂ R ^k without boundary, let u ∈ W ^1,2(Ω, N) be a weakly harmonic map, we prove that (1) u ∈ C ^α (Ω, N) for n = 2, and (2) for n ≥ 3, if, in additions, g ∈ VMO(Ω) and u satisfies the quasi-monotonicity inequality (1.5), then there exists a closed set Σ ⊂ Ω, with H ^n-2(Σ) = 0, such that for some α ∈ (0, 1). C. Y. Wang Partially supported by NSF.     

An ergodic theorem on Banach lattices

E is a Banach lattice that is weakly sequentially complete and has a weak unitu. TLf _n=ϕ means that the infimum of |f _n−ϕ| andu converges strongly to zero.T is a positive contraction operator onE andA _n=(1/n)(I+T+...+T ⁿ⁻¹). Without an additional assumption onE, the “truncated limit” TLA _nf need not exist forf inE. This limit exists for eachf ifE satisfies the following additional assumption (C): For everyf inE ₊ and for every numberα>0, there is a numberβ=β(f, α) such that ifg is inE ₊, ‖g‖≦1, 0≦f′≦f and ‖f′‖>α then ‖f′+g‖≧‖g‖+β. Research of this author is partially supported by NSERC Grant A3974. Research of this author is partially supported by NSF Grant 8301619.     

Closures of finitely generated ideals in Hardy spaces

LetH ^∞ be the algebra of bounded analytic functions in the unit diskD. LetI=I(f ₁,...,f _N) be the ideal generated byf ₁,...,f _N∈H ^∞ andJ=J(f ₁,...,f _N) the ideal of the functionsf∈H ^∞ for which there exists a constantC=C(f) such that |f(z)|≤C(|f ₁ (z)|+...;+|f _N (z)|),z∈D. It is clear that , but an example due to J. Bourgain shows thatJ is not, in general, in the norm closure ofI. Our first result asserts thatJ is included in the norm closure ofI ifI contains a Carleson-Newman Blaschke product, or equivalently, if there existss>0 such that

Multivalued perturbations ofm-accretive differential inclusions

Given anm-accretive operatorA in a Banach spaceX and an upper semicontinuous multivalued mapF: [0,a]×X→2 ^X , we consider the initial value problemu′∈−Au+F(t,u) on [0,a],u(0)=x ₀. We concentrate on the case when the semigroup generated by—A is only equicontinuous and obtain existence of integral solutions if, in particular,X* is uniformly convex andF satisfies β(F(t,B))≤k(t)β(B) for all boundedB⊂X wherek∈L ¹([0,a]) and β denotes the Hausdorff-measure of noncompactness. Moreover, we show that the set of all solutions is a compactR _δ-set in this situation. In general, the extra condition onX* is essential as we show by an example in whichX is not uniformly smooth and the set of all solutions is not compact, but it can be omited ifA is single-valued and continuous or—A generates aC _o-semigroup of bounded linear operators. In the simpler case when—A generates a compact semigroup, we give a short proof of existence of solutions, again ifX* is uniformly (or strictly) convex. In this situation we also provide a counter-example in ℝ⁴ in which no integral solution exists. The author gratefully acknowledges financial support by DAAD within the scope of the French-German project PROCOPE.     

环域上一类拟线性椭圆型方程的正径向解的存在性

The existence of positive radial solutions of the equation -din( |Du|p-2Du)=f(u) is studied in annular domains in Rn,n≥2. It is proved that if f(0)≥0, f is somewherenegative in (0,∞), limu→0^ f‘ (u)=0 and limu→∞ (f(u)/u^p-1)=∞, then there is alarge positive radial solution on all annuli. If f(0)≤0 and satisfies certain conditions, then the equation has no radial solution if the annuli are too wide.     

On the singular set of stationary harmonic maps

LetM andN be compact riemannian manifolds, andu a stationary harmonic map fromM toN. We prove thatH ⁿ⁻² (Σ)=0, wheren=dimM and Σ is the singular set ofu. This is a generalization of a result of C. Evans [7], where this is proved in the special caseN is a sphere. We also prove that, ifu is a weakly harmonic map inW ^1,n (M, N), thenu is smooth. This extends results of F. Hélein for the casen=2, or the caseN is a sphere ([9], [10]).     

Equations d’evolution du second ordre associees a des operateurs monotones

This paper extends some recent results of V. Barbu. It is concerned with bounded solutions of the problem:u″∈Au, u′(0)∈ϖj(u(0)−a) whereA is a maximal monotone operator in a Hilbert spaceH, a∈D(A) andj is a strictly convex l.s.c. function fromH to [0,+∞]. An existence and uniqueness theorem for this problem is proved. Takingj to be the indicator function of a pointu ₀∈D(A), one obtains a bounded solutionu(t) of the initial value problem:u″∈Au, u(0)=u ₀. Denotingu(t)=S _1/2(t)u₀ one obtains a semi-group of contractions onD(A). The generator of this semigroup is denoted byA _1/2. Further properties ofS _1/2(t) andA _1/2 are studied.      

Nonstandard arithmetic of iterated polynomials

LetK be an algebraic number field of finite degree andf(X,T) a polynomial overK. For eachφ(X)∈Z[X], we denote byE(φ) the set of all integersa with φ ^m (a) =φ ⁿ (a) for somem≠n. In this paper, we give a condition for a polynomialφ(X)∈Z[X] to satisfy the following; If forn∈N, there existr∈K anda∈Z−E(φ) such thatf r, φ ^m (a)=0, then there exists a rational functiong(X) overK andk∈N such thatf(g(T)), φ ^k (T))=0 .     

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 λ.     

Closed convex hull of the family of multivalently close-to-convex functions of order β

In this paper the closed convex hulls of the compact familiesC _β(p), of multivalently close to convex functions of order β andV ₀ ^k (p), of multivalent functions of bounded boundary rotation, have been determined, respectively for β≥1 andk≥2(p+1)/p. Extreme points of these convex hulls are partially characterised. For a fixed pointz ₀∈D={z:|z|<1}, a new familyC _β(p, z₀) is defined through Montel normalisation and its closed convex hull is also foud. Sharp coefficient estimates for functions subordinate to or majorised by some function inC _β(p) orC' _β(p) are discussed for β>0. It is shown that iff is subordinate to some function inC _β(p) then each Taylor coefficient off is dominated by the corresponding coefficient of the function .     

Generalized Padé-type approximants to continuous functions

Summary We define generalized Padé-type approximants to continuous functions on a compact subset Eof Rⁿsatisfying the Markov's inequality and we show that the Fourier series expansion of a generalized Padé-type approximant to a u ∈ C ^∞(E ) matches the Fourier series expansion of uas far as possible. After studying the errors, we give integral representations and an answer to the convergence problem of a generalized Padé-type approximation sequence.     

Asymptotic behavior of solutions for a class of retarded difference equations

Consider the retarded difference equationx _n −x _n−1 =F(−f(x _n )+g(x _n−k )), wherek is a positive integer,F,f,g:R→R are continuous,F andf are increasing onR, anduF(u)>0 for allu≠0. We show that whenf(y)≥g(y) (resp. f(y)≤g(y)) fory∈R, every solution of (*) tends to either a constant or −∞ (resp. ∞) asn→∞. Furthermore, iff(y)≡g(y) fory∈R, then every solution of (*) tends to a constant asn→∞. Project supported by NNSF (19601016) of China and NSF (97-37-42) of Hunan     

A short proof of a theorem of Bertilsson by direct use of Löwner’s method

LetS denote the class of schlicht functions. D. Bertilsson proved recently that forf∈S, p<0 and1<-N<-2|p|+1 the modulus of theNth Taylor coefficient of (f′) ^p takes its maximal value iff is the Koebe function. Here a short proof of a generalisation of this result is presented.     

Singular semi-linear equations inL 1(R)

Letg be a positive continuous function onR which tends to zero at −∞ and which is not integrable overR. The boundary-value problem −u″+g(u)=f, u′(±∞)=0, is considered forf∈L ¹(R). We show that this problem can have a solution if and only ifg is integrable at −∞ and if this is so then the problem is solvable precisely when ∫ _−∞ ^∞ . Some extensions of this result are also given. Sponsored by the United States Army under Contract No. DAAG29-75-C-0024 and by the National Science Foundation, Grant MPS 75-05501.     

On the growth of mass for a viscous Hamilton-Jacobi equation

We investigate the large time behavior of positive solutions with finite mass for the viscous Hamilton-Jacobi equationu _t = Δu + |Δu| ^p ,t>0,x ∈ ℝ ^N , wherep≥1 andu(0,.)=u ₀≥0,u ₀≢0,u ₀∈L ¹. DenotingI _∞=lim _t→∞‖u(t)‖₁≤∞, we show that the asymptotic behavior of the mass can be classified along three cases as follows: