Growth and Hölder conditions for the sample paths of Feller processes

Let (A,D(A)) be the infinitesimal generator of a Feller semigroup such that C _c ^∞(ℝ ⁿ )⊂D(A) and A|C _c ^∞(ℝ ⁿ ) is a pseudo-differential operator with symbol −p(x,ξ) satisfying |p(•,ξ)|_∞≤c(1+|ξ|²) and |Imp(x,ξ)|≤c ₀Rep(x,ξ). We show that the associated Feller process {X _t } _{t ≥0} on ℝ ⁿ is a semimartingale, even a homogeneous diffusion with jumps (in the sense of [21]), and characterize the limiting behaviour of its trajectories as t→0 and ∞. To this end, we introduce various indices, e.g., β_∞ ^x :={λ>0:lim _{|ξ|→∞ | x − y |≤2/|ξ|}|p(y,ξ)|/|ξ|^λ=0} or δ_∞ ^x :={λ>0:liminf _{|ξ|→∞ | x − y |≤2/|ξ| |ε|≤1}|p(y,|ξ|ε)|/|ξ|^λ=0}, and obtain a.s. (ℙ ^x ) that lim _{t →0} t ^−1/λ _{s ≤ t} |X _s −x|=0 or ∞ according to λ>β_∞ ^x or λ<δ_∞ ^x . Similar statements hold for the limit inferior and superior, and also for t→∞. Our results extend the constant-coefficient (i.e., Lévy) case considered by W. Pruitt [27]. Received: 21 July 1997 / Revised version: 26 January 1998     

Algebraic relations for reciprocal sums of odd terms in Fibonacci numbers

In this paper, we prove the algebraic independence of the reciprocal sums of odd terms in Fibonacci numbers ∑ _n=1^∞ F _2n−1⁻¹, ∑ _n=1^∞ F _2n−1⁻², ∑ _n=1^∞ F _2n−1⁻³ and write each ∑ _n=1^∞ F _2n−1^−s (s≥4) as an explicit rational function of these three numbers over ℚ. Similar results are obtained for various series including the reciprocal sums of odd terms in Lucas numbers.      

Symplectic embeddings of polydisks

If P and P ^′ are symplectic polydisks of radii R ₁≤...≤R _n and R ₁ ^′≤...≤R _n ^′, respectively, then we prove that P symplectically embeds in P ^′ provided that C(n)R ₁≤R ₁ ^′ and C(n)R ₁...R _n ≤R ₁ ^′...R _n ^′. Up to a constant factor, these conditions are optimal.     

Wavelet expansions of fractal measures

Let μ be a measure on ℝⁿ that satisfies the estimate μ(B _r(x))≤cr ^α for allx ∈ ℝⁿ and allr ≤ 1 (B _r(x) denotes the ball of radius r centered atx. Let ϕ _j,k ^(ɛ) (x)=2 ^nj2ϕ^(ɛ)(2 ^j x-k) be a wavelet basis forj ∈ ℤ, κ ∈ ℤⁿ, and ∈ ∈E, a finite set, and letP _j (T)=Σ_ɛ,k <T,ϕ _j,k ^(ɛ) >ϕ _j,k ^(ɛ) denote the associated projection operators at levelj (T is a suitable measure or distribution). Iff ∈Ls ^p(dμ) for 1 ≤p ≤ ∞, we show thatP _j(f dμ) ∈ L^p(dx) and ||P _j (fdμ)||L _p(dx)≤c2 ^{j((n-α)/p′))}||f||L _p(dμ) for allj ≥ 0. We also obtain estimates for the limsup and liminf of ||P _j (fdμ)||L _p(dx) under more restrictive hypotheses. Communicated by Guido Weiss     

Combined perturbation bounds: Ⅱ. Polar decompositions

In this paper, we study the perturbation bounds for the polar decomposition A= QH where Q is unitary and H is Hermitian. The optimal (asymptotic) bounds obtained in previous works for the unitary factor, the Hermitian factor and singular values of A are σ2r||△Q||2F ≤ ||△A||2F,1/2||△H||2F ≤ ||△A||2F and ||△∑||2F ≤ ||△A||2F, respectively, where ∑ = diag(σ1, σ2,..., σr, 0,..., 0) is the singular value matrix of A and σr denotes the smallest nonzero singular value. Here we present some new combined (asymptotic)perturbation bounds σ2r ||△Q||2F 1/2||△H||2F≤ ||△A||2F and σ2r||△Q||2F ||△∑ ||2F ≤||△A||2F which are optimal for each factor. Some corresponding absolute perturbation bounds are also given.     

Onp-absolutely summing constants of banach spaces

Given 1≦p<∞ and a real Banach spaceX, we define thep-absolutely summing constantμ _p(X) as inf{Σ _i ^=1/m |x*(x _i)|^p p Σ _i ^=1/m ‖x _i‖^p p]¹ p}, where the supremum ranges over {x*∈X*; ‖x*‖≤1} and the infimum is taken over all sets {x ₁,x ₂, …,x _m} ⊂X such that Σ _i ^=1/m ‖x _i‖>0. It follows immediately from [2] thatμ _p(X)>0 if and only ifX is finite dimensional. In this paper we find the exact values ofμ _p(X) for various spaces, and obtain some asymptotic estimates ofμ _p(X) for general finite dimensional Banach spaces. This is a part of the author’s Ph.D. Thesis prepared at the Hebrew University of Jerusalem, under the supervision of Prof. A. Dvoretzky and Prof. J. Lindenstrauss.     

The speed of convergence of a martingale

LetX _n, n≧0, be a martingale with respect to the σ-fieldsF _n and letB _n ² =Σ_1≧n E{(X ₁−X ₁₋₁)²|F ₁₋₁} It is known that ifB ₁ ² <∞ on some set Ω₀ thenX _∞=limX _n exists and is finite a.e. on Ω₀ We show that under suitable conditions there exists a constant ν<∞ for which lim supB _n ⁻¹ {log logB _n ² }^−1/2|X _∞−X _n−1 | ≦ √2(η+1). If “the fluctuations ofB _n are small” (in the sense of the Corollary) then ν=0 and the usual upper bound of a law of the iterated logrithm results. This upper bound is not necessarily achieved, though. Research supported in part by the NSF under Grant No. MCS 72-04534A04.     

Removable singularities and non-uniqueness of solutions of a singular diffusion equation

 We prove that the solution u of the equation u _t =Δlog u, u>0, in (Ω\{x ₀})×(0,T), Ω⊂ℝ², has removable singularities at {x ₀}×(0,T) if and only if for any 0<α<1, 0<a<b<T, there exist constants ρ₀, C ₁, C ₂>0, such that C ₁ |x−x ₀|^α≤u(x,t)≤C ₂|x−x ₀|^−α holds for all 0<|x−x ₀|≤ρ₀ and a≤t≤b. As a consequence we obtain a sufficient condition for removable singularities at {∞}×(0,T) for solutions of the above equation in ℝ²×(0,T) and we prove the existence of infinitely many finite mass solutions for the equation in ℝ²×(0,T) when 0≤u ₀∉L ¹ (ℝ²) is radially symmetric and u ₀L _loc ¹(ℝ²). Received: 16 December 2001 / Revised version: 20 May 2002 / Published online: 10 February 2003 Mathematics Subject Classification (1991): 35B40, 35B25, 35K55, 35K65     

Instances of the Conjecture of Chang

We consider various forms of the Conjecture of Chang. Part A constitutes an introduction. Donder and Koepke have shown that if ρ is a cardinal such that ρ ≧ ω₁, and (ρ⁺⁺,ρ⁺↠(ρ⁺, ρ), then 0⁺ exists. We obtain the same conclusion in Part B starting from some other forms of the transfer hypothesis. As typical corollaries, we get: Theorem A.Assume that there exists cardinals λ, κ, such that λ ≧ K ⁺ ≧ω₂ and (λ⁺, λ)↠(K ⁺,K. Then 0⁺ exists. Theorem B.Assume that there exists a singularcardinal κ such that(K ⁺,K↠(ω₁, ω₀. Then 0⁺ exists. Theorem C.Assume that (λ ⁺⁺, λ). Then 0⁺ exists (also ifK=ω ₀. Remark. Here, as in the paper of Donder and Koepke, “O⁺ exists” is a matter of saying that the hypothesis is strictly stronger than “L(μ) exists”. Of course, the same proof could give a few more sharps overL(μ), but the interest is in expecting more cardinals, coming from a larger core model. Theorem D.Assume that (λ ⁺⁺, λ)↠(K ⁺, K) and thatK≧ω ₁. Then 0⁺ exists. Remark 2. Theorem B is, as is well-known, false if the hypothesis “κ is singular” is removed, even if we assume thatK≧ω ₂, or that κ is inaccessible. We shall recall this in due place. Comments. Theorem B and Remark 2 suggest we seek the consistency of the hypothesis of the form:K ⁺, K↠(ω_n +1, ω_n), for κ singular andn≧0. 0266 0152 V 3 The consistency of several statements of this sort—a prototype of which is (N _ω+1,N _ω)↠(ω₁, ω₀) —have been established, starting with an hypothesis slightly stronger than: “there exists a huge cardinal”, but much weaker than: “there exists a 2-huge cardinal”. These results will be published in a joint paper by M. Magidor, S. Shelah, and the author of the present paper.     

Bers-orlicz spaces on the product riemann surface

In this paper, the Bers-Orlicz spaces on the automorphic formA _α ^ϕ (G) (orEA _α ^ϕ (G)) andL _α ^ϕ (G) on the product Riemann surfaces are studied. We prove that eachf∈A _α ^ϕ (G) is a cusp form. Forf∈A _α ^ϕ (G), we give the reproducing formula. And, we give the projective operatorP _gga fromL _α ^ϕ (G) toA _α ^ϕ (G) toEA _α ^ϕ (G)). After giving some fundamental properties of the Poincaré series, we prove a dual theoremA _α ^ϕ (G)=(EA _α ^ϕ (G)). Supported by the National Nature Science Foundation of China     

A homological characterization of hyperbolic groups

A finitely presented group G is hyperbolic iff H ⁽¹⁾ ₁(G,ℝ)=0=⁽¹⁾ ₂(G, ℝ), where H ⁽¹⁾ _* (resp. ⁽¹⁾ _*) denotes the ℓ₁-homology (resp. reduced ℓ₁-homology). If Γ is a graph, then every ℓ₁ 1-cycle in Γ with real coefficients can be approximated by 1-cycles of compact support. A 1-relator group G is hyperbolic iff H ⁽¹⁾ ₁(G,ℝ)=0. Oblatum: 30-IV-1997 & 14-V-1998 / Published online: 14 January 1999     

On the Cantor-Bendixson derivative, resolvable ranks, and perfect set theorems of A. H. Stone

A Borel derivative on the hyperspace 2 ^X of a compactumX is a Borel monotone mapD: 2 ^X →2 ^X . The derivative determines a Cantor-Bendixson type rank δ:2^X → ω₁ ∪ {∞} . We show that ifA⊂2 ^X is analytic andZ⊂A intersects stationary many layers δ₋₁({ξ}), then for almost all σ,F∩δ₋₁({ξ}) cannot be separated fromZ ∩∪ _a<ξ ^δ−1({a}) (and also fromZ ∩∪ _a>ξ ^δ−1({a}) by anyF _σ-set. Another main result involves a natural partial order on 2 ^X related to the derivative. The results are obtained in a general framework of “resolvable ranks” introduced in the paper. During our work on this paper the second author was a Visiting Professor at the Miami University, Ohio. This author would like to express his gratitude to the Department of Mathematics and Statistics for the hospitality.     

Everywhere H?lder continuity of the spatial gradient of weak solutions to nonlinear parabolic systems

We consider weak solutions to the parabolic system ∂u ⁱ∂t−D _α A _i ^α (∇u)=B _i(∇u) in (i=1,...,) (Q=Ω×(0,T), R ⁿ a domain), where the functionsB _i may have a quadratic growth. Under the assumptionsn≤2 and ∇u ɛL _loc ^4+δ (Q; R ^nN ) (δ>0) we prove that ∇u is locally H?lder continuous inQ.     

Cyclic elements of the shift operator in weighted anisotropic spaces of holomorphic functions in the polydisk

Let ϕ(r) = (ϕ₁(r₁), …, ϕ_n(r_n)) be a vector-valued function on R ₊ ⁿ . A necessary and sufficient condition is obtained under which any function f ∈, H^∞ (D ⁿ ), f(z) ≠ 0, z ∈, D ⁿ , is cyclic in the corresponding weighted space L^p(ϕ), where D ⁿ is the unit polydisk in C ⁿ. Bibliography: 13 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 327, 2005, pp. 226–234.     

On the bestL 1-approximations of functional classes by splines under restrictions imposed on their derivatives

We find the exact asymptotics (asn→∞) of the bestL ₁-approximations of classesW ₁ ^r of periodic functions by spliness∈S _{2n, r∼-1} (S _{2n, r∼-1} is a set of 2π-periodic polynomial splines of orderr−1, defect one, and with nodes at the pointskπ/n,k∈ℤ) such that V ₀ ^2π s( ^r-1)≤1+ɛ _n , where {ɛ _n } _n=1 ^∞ is a decreasing sequence of positive numbers such that ɛ _n n ²→∞ and ɛ _n →0 asn→∞. Dnepropetrovsk University, Dnepropetrovsk. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 51, No. 4, pp. 435–444, April, 1999.     

The limiting distribution of the trace of a random plane partition

We study the asymptotic behaviour of the trace (the sum of the diagonal parts) τ _n = τ _n (ω) of a plane partition ω of the positive integer n, assuming that ω is chosen uniformly at random from the set of all such partitions. We prove that (τ _n − c ₀ n ^2/3)/c ₁ n ^1/3 log^1/2 n converges weakly, as n → ∞, to the standard normal distribution, where c ₀ = ζ(2)/ [2ζ(3)]^2/3, c ₁ = √(1/3/) [2ζ(3)]^1/3 and ζ(s) = Σ _j=1^∞ j ^−s . Partial support given by the National Science Fund of the Bulgarian Ministry of Education and Science, grant No. VU-MI-105/2005.     

On the distribution of reducible polynomials

Let ℛ _n (t) denote the set of all reducible polynomials p(X) over ℤ with degree n ≥ 2 and height ≤ t. We determine the true order of magnitude of the cardinality |ℛ _n (t)| of the set ℛ _n (t) by showing that, as t → ∞, t ² log t ≪ |ℛ₂(t)| ≪ t ² log t and t ⁿ ≪ |ℛ _n (t)| ≪ t _n for every fixed n ≥ 3. Further, for 1 < n/2 < k < n fixed let ℛ _k,n (t) ⊂ ℛ _n (t) such that p(X) ∈ ℛ _k,n (t) if and only if p(X) has an irreducible factor in ℤ[X] of degree k. Then, as t → ∞, we always have t ^k+1 ≪ |ℛ _k,n (t)| ≪ t ^k+1 and hence |ℛ _n−1,n (t)| ≫ |ℛ _n (t)| so that ℛ _n−1,n (t) is the dominating subclass of ℛ _n (t) since we can show that |ℛ _n (t)∖ℛ _n−1,n (t)| ≪ t ⁿ⁻¹(log t)².On the contrary, if R _n ^s (t) is the total number of all polynomials in ℛ _n (t) which split completely into linear factors over ℤ, then t ²(log t) ⁿ⁻¹ ≪ R _n ^s (t) ≪ t ² (log t) ⁿ⁻¹ (t → ∞) for every fixed n ≥ 2.      

Continuation of Time Bounds for a Regularized Boussinesq System

We study the periodic solution of a perturbed regularized Boussinesq system (Bona et al., J. Nonlinear Sci. 12:283–318, 2002, Bona et al., Nonlinearity 17:925–952, 2004), namely the system η _t +u _x +β(−η _xxt +u _xxx )+α((ηu) _x +ηη _x +uu _x )=0,u _t +η _x +β(η _xxx −u _xxt )+α((ηu) _x +ηη _x +uu _x )=0, with 0<α,β≤1. We prove that the solution, starting from an initial datum of size ε, remains smaller than ε for a time scale of order (ε ⁻¹ α ⁻¹ β)², whereas the natural time is of order ε ⁻¹ α ⁻¹ β.     

Solution of the Transmission Problem

The solution of the following transmission problem for the Laplace equation is constructed: Δu ₊=0 in G ⁺, Δu ₋=0 in G ⁻, u ₊−u ₋=f in ∂ G ⁺, n⋅(∇ u ₊−a ∇ u ₋)+b τ⋅(∇ u ₊−∇ u ₋)+h ₊ u ₊+h ₋ u ₋=g in ∂ G ⁺.     

On simple modules of Hecke algebras of type Dn

This is a continuation of our previous work. We classify all the simple ℋ_q(D _n )-modules via an automorphismh defined on the set { λ | D^λ ≠ 0}. Whenf _n(q) ≠ 0, this yields a classification of all the simple ℋ ^q (D _n)- modules for arbitrary n. In general ( i. e., q arbitrary), if λ⁽¹⁾ = λ⁽²⁾,wegivea necessary and sufficient condition ( in terms of some polynomials ) to ensure that the irreducible ℋ_q,1(B _n )- module D^λ remains irreducible on restriction to ℋ_q(D _n ).