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     

Blow Up in a Nonlinearly Damped Wave Equation

In this paper we consider the nonlinearly damped semilinear wave equation u_tt – Δu + au_t |u_t|^{m – 2} = bu|u|^{p – 2} associated with initial and Dirichlet boundary conditions. We prove that any strong solution, with negative initial energy, blows up in finite time if p > m. This result improves an earlier one in [2].     

Wavelet Approximation of Distributions with Bounded Variation Derivatives

Let BV ^r denote the space of distributions f such that the distributional derivatives D ^α f with |α|≤r exist as measures of bounded variation. This paper discusses estimates for wavelet coefficients of BV ^r distributions, direct (Jackson) and inverse (Bernstein) inequalities for n-term approximation of elements of BV ^r in the L _p spaces using compactly supported wavelets. In particular, optimal rates of approximation are established. Linear approximation in similar contexts is also considered for comparison. This research was supported by the 2003–2007 Academic Grant of Prof. P. Wojtaszczyk awarded by the Foundation for Polish Science. Part of this research was supported within the HASSIP framework.     

New Algorithm for Ordered Tree-to-Tree Correction Problem

The ordered tree-to-tree correction problem is to compute the minimum edit cost of transforming one ordered tree to another one. This paper presents a new algorithm for this problem. Given two ordered trees S and T, our algorithm runs in O(|S| |T| + min { ²_S|T| + ^2.5_{S T}, ²_T|S| + ^2.5_{T S}) time, where _S denotes the number of leaves of S and _S denotes the depth of S. The previous best algorithms for this problem run in O(|S| |T| min { _S, _S} min { _T, _T}) time (K. Zhang and D. Shasha, SIAM J. Comput.18, No. 6 (1989), 1245–1262) and in O(min {|S|²|T| log₂ |T|, |T|²|S| log₂ |S|}) time (P. N. Klein, in “Algorithms—ESA'98, 6th Annual European Symposium” (G. Bilardi, G. F. Italiano, A. Pietracaprina, and G. Pucci, Eds.), Lecture Notes in Computer Science, Vol. 1461, pp. 91–102, Springer-Verlag, Berlin/New York, 1998). As a comparison, our algorithm is asymptotically faster for certain kind of trees.     

Sharp A 2 inequality for Haar shift operators

As a Corollary to the main result of the paper, we give a new proof of the inequality

L∞-boundedness of L2-projections on splines for a geometric mesh

In this paper we complete the investigations started by [14.]. We study C. de Boor's conjecture of the L_∞-boundedness of the L₂-projection P on smooth splines in the special case of a geometric mesh x = {q^v}. A connection to the interpolation projection is established and the uniform boundedness of ¦|P¦|_π with respect to q is proved.     

Large centralizers in finite solvable groups

In 1955 R. Brauer and K. A. Fowler showed that ifG is a group of even order >2, and the order |Z(G)| of the center ofG is odd, then there exists a strongly real) elementx∈G−Z whose centralizer satisfies|C _G(x)|>|G|^1/3. In Theorem 1 we show that every non-abeliansolvable groupG contains an elementx∈G−Z such that|C _G(x)|>[G:G′∩Z]^1/2 (and thus|C _G(x)|>|G|^1/3). We also note that if non-abelianG is either metabelian, nilpotent or (more generally) supersolvable, or anA-group, or any Frobenius group, then|C _G(x)|>|G|^1/2 for somex∈G−Z. In Theorem 2 we prove that every non-abelian groupG of orderp ^mqⁿ (p, q primes) contains a proper centralizer of order >|G|^1/2. Finally, in Theorem 3 we show that theaverage |C(x)|, x∈G, is ≧c|G| ^1/3 for metabelian groups, wherec is constant and the exponent 1/3 is best possible.     

The Dirichlet problem for the minimal surface system in arbitrary dimensions and codimensions

Let Ω be a bounded C² domain in ?ⁿ and ? ?Ω → ?^m be a continuous map. The Dirichlet problem for the minimal surface system asks whether there exists a Lipschitz map f : Ω → ?^m with f|_?Ω = ? and with the graph of f a minimal submanifold in ?^n+m. For m = 1, the Dirichlet problem was solved more than 30 years ago by Jenkins and Serrin [12] for any mean convex domains and the solutions are all smooth. This paper considers the Dirichlet problem for convex domains in arbitrary codimension m. We prove that if ψ : ¯Ω → ?^m satisfies 8nδ sup_Ω |D²ψ| + √2 sup_?Ω |Dψ| < 1, then the Dirichlet problem for ψ|_?Ω is solvable in smooth maps. Here δ is the diameter of Ω. Such a condition is necessary in view of an example of Lawson and Osserman [13]. In order to prove this result, we study the associated parabolic system and solve the Cauchy‐Dirichlet problem with ψ as initial data. © 2003 Wiley Periodicals, Inc.     

NA随机场对数律的收敛速度

设d是一个正整数, N ^d是d -维正整数格点.设{X_n , n∈N ^d} 是一同分布的负相伴随机场, 记S_n =∑_{k≤ n} X_k, S_n^(k)=S_n-X_k, 如果r >2, EX₁ = 0 和σ²= Var(X₁}, 则存在一个正数M:=100√(r-2)(1+σ²)使得下列条件等价 (I)E |X₁|^r (log|X₁|)^d-1-r/2 <∞; (II)∑_{n∈ N^d} |n|^r/2-2P(max_{1≤ k≤ n} |S_n^(k)|≥ (2^d+1 )ε√|n| log |n |) <∞,∨ε > M; (III)∑_{n∈N ^d} |n|^r/2-2P(max_{1≤ k≤n} |S_k |≥ε√| n} log| n |) <∞,∨ε > M. (III)\ \ $\sum\limits_{{{\bf n}}\in {{\cal N}}^{d}} |n|^{r/2-2} P(\max\limits_{{\bf 1}\leq{\bf k}\leq{\bf n}}|S_{{\bf k}}|\geq \varepsilon \sqrt{|{\bf n}|\log |{\bf n}|})<\infty$, $\forall\varepsilon>M$.     

Minimal error difference formulas

The usual formula for the r^th difference of f(X), at intervals of h, may introduce an error of 2^rε, where ε is the |error| in f(X). When f(X) is either an exact polynomial of the n^th degree, or very closely approximated by one within a finite interval, say [?1, 1], the r^th difference, at X = X₀, is expressible as ∑ⁿ⁺¹_i=1 a_i f(X_i), where for certain points X_i within [?1, 1], depending upon (X₀, h), ∑ⁿ⁺¹_i=1 |a_i| may be very much less than 2^r. Nodes X_i that minimize ∑ⁿ⁺¹_i=1|a_i| are said to provide “minimal error difference formulas”. For very small h, close approximations to them are obtainable from similar derivative formulas. For other combinations (X₀, h), non-minimal formulas for equally spaced X_i's, with a_i's precomputed to higher accuracy than that in f(X), greatly reduce ∑ⁿ⁺¹_i=1|a_i| from 2^r, ensure its approach to zero with h, and in many cases also yield more decimals and significant figures than the direct differencing of f(X). For r = 1, simple conditions for the non-existence of any expression ∑ⁿ⁺¹_i=1 a_i f(X_i), which improves ∑ⁿ⁺¹_i=1|a_i| to be <2, are given for (X₀, h), expressed as h ≥ h₀ which depends upon X₀ and extrema of Chebyshev polynomials.     

On the sup-norm of Maass cusp forms of large level

We establish upper bounds for the sup-norm of Hecke-Maass eigenforms on arithmetic surfaces. In a first part, the case of open modular surfaces is studied. Let f{f} be an Hecke–Maass cuspidal newform of square-free level N{N} and bounded Laplace eigenvalue. Recently, V. Blomer and R. Holowinsky [Invent. Math., 179 (3)] provide a non-trivial bound when f{f} is non-exceptional. Our approach is different in that we rely on the geometric side of the trace formula. The improved bound ||f||_￥ << N^-1/23 ||f||₂{||f||_\infty \ll N^{-1/23} ||f||_2} is established. In a second part, we show that a corresponding result holds true for compact arithmetic surfaces and with a better exponent 1/12. The proof requires an estimate for the number of lattice points in a certain annulus domain. A key input is that a congruence subgroup (multiplicative group) is included in an order (ring). This structure enables us to introduce a diophantine argument.     

Non-commutative operator Bohr inequality

It is shown that if A, B, X are Hilbert space operators such that X?γI, for the positive real number γ, and p,q>1 with 1/p+1/q=1, then |A−B|²?p|A|²+q|B|² with equality if and only if (1−p)A=B and γ||||A−B|²|||?|||p|A|²X+qX|B|²||| for every unitarily invariant norm. Moreover, if in addition A, B are normal and X is any Hilbert-Schmidt operator, then ‖δ_A,B²(X)‖₂?‖p|A|²X+qX|B|²‖₂ with equality if and only if (1−p)AX=XB.     

Rigidity theorems for hypersurfaces with constant mean curvature

Let M ⁿ be a compact oriented hypersurface of a unit sphere \(\mathbb{S}^{n + 1} \) (1) with constant mean curvature H. Given an integer k between 2 and n ? 1, we introduce a tensor ? related to H and to the second fundamental form A of M, and show that if |?|² ≤ B _H,k and tr(? ³) ≤ C _n,k |?|³, where B _H,k and C _n,k are numbers depending only on H, n and k, then either |?|² ≡ 0 or |?|² ≡ B _H,k . We characterize all M ⁿ with |?|² ≡ B _H,k . We also prove that if \(\left| A \right|^2 \leqslant 2\sqrt {k(n - k)}\) and tr(? ³) ≤ C _n,k |?|³ then |A|² is constant and characterize all M ⁿ with |A|² in the interval \(\left[ {0,2\sqrt {k\left( {n - k} \right)} } \right] \) . We also study the behavior of |?|², with the condition additional tr(? ³) ≤ C _n,k |?|³, for complete hypersurfaces with constant mean curvature immersed in space forms and show that if sup _M |?|² = B _H,k and this supremum is attained in M ⁿ then M ⁿ is an isoparametric hypersurface with two distinct principal curvatures of multiplicities k y n ? k. Finally, we use rotation hypersurfaces to show that the condition on the trace of ? ³ is necessary in our results; more precisely, for each integer k with 2 ≤ k ≤ n ? 1 and \(H \geqslant 1/\sqrt {2n - 1} \) there is a complete hypersurface M ⁿ in \(\mathbb{S}^{n + 1} \) (1) with constant mean curvature H such that sup _M |?|² = B _H,k , and this supremum is attained in M ⁿ , and which is not a product of spheres.     

A measuring argument for finite permutation groups

LetG be a finite transitive permutation group on a finite setS. LetA be a nonempty subset ofS and denote the pointwise stabilizer ofA inG byC _G (A). Our main result is the following inequality: [G :C _G (A)]≥|G|^|A|/|S|. This paper is a part of the author’s Ph.D. thesis research, carried out at Tel Aviv University under the supervision of Professor Marcel Herzog.     

Functions of bounded boundary rotation

Classes of functionsU _k, which generalize starlike functions in the same manner that the classV _k of functions with boundary rotation bounded bykπ generalizes convex functions, are defined. The radius of univalence and starlikeness is determined. The behavior off _α(z) = ∫ ₀ ^z [f'(t)]^α dt is determined for various classes of functions. It is shown that the image of |z|<1 underV _kfunctions contains the disc of radius 1/k centered at the origin, andV _k functions are continuous in |z|≦1 with the exception of at most [k/2+1] points on |z|=1.     

Indefinite locally conformal Kähler manifolds

We study the basic properties of an indefinite locally conformal Kähler (l.c.K.) manifold. Any indefinite l.c.K. manifold M with a parallel Lee form ω is shown to possess two canonical foliations F and Fc, the first of which is given by the Pfaff equation ω=0 and the second is spanned by the Lee and the anti-Lee vectors of M. We build an indefinite l.c.K. metric on the noncompact complex manifold Ω₊=(Λ₊?Λ₀)/Gλ (similar to the Boothby metric on a complex Hopf manifold) and prove a CR extension result for CR functions on the leafs of F when M=Ω₊ (where is −²|z₁|−?−²|zs|+²|zs+1|+?+²|zn|>0). We study the geometry of the second fundamental form of the leaves of F and Fc. In the degenerate cases (corresponding to a lightlike Lee vector) we use the technique of screen distributions and (lightlike) transversal bundles developed by A. Bejancu et al. [K.L. Duggal, A. Bejancu, Lightlike Submanifolds of Semi-Riemannian Manifolds and Applications, vol. 364, Kluwer Academic, Dordrecht, 1996].     

Ergodic Subequivalence Relations Induced by a Bernoulli Action

Let Γ be a countable group and denote by S{\mathcal{S}} the equivalence relation induced by the Bernoulli action G\curvearrowright [0, 1]^G{\Gamma\curvearrowright [0, 1]^{\Gamma}}, where [0, 1]^Γ is endowed with the product Lebesgue measure. We prove that, for any subequivalence relation R{\mathcal{R}} of S{\mathcal{S}}, there exists a partition {X _i } _i≥0 of [0, 1]^Γ into R{\mathcal{R}}-invariant measurable sets such that R_|X0{\mathcal{R}_{\vert X_{0}}} is hyperfinite and R_|Xi{\mathcal{R}_{\vert X_{i}}} is strongly ergodic (hence ergodic and non-hyperfinite), for every i ≥ 1.     

Generating primitive positive clones

Suppose is a set of operations on a finite set A. Define PPC() to be the smallest primitive positive clone on A containing . For any finite algebra A, let PPC#(A) be the smallest number n for which PPC(CloA) = PPC(Clo _n A). S. Burris and R. Willard [2] conjectured that PPC#(A) ≤|A| when CloA is a primitive positive clone and |A| > 2. In this paper, we look at how large PPC#(A) can be when special conditions are placed on the finite algebra A. We show that PPC#(A) ≤|A| holds when the variety generated by A is congruence distributive, Abelian, or decidable. We also show that PPC#(A) ≤|A| + 2 if A generates a congruence permutable variety and every subalgebra of A is the product of a congruence neutral algebra and an Abelian algebra. Furthermore, we give an example in which PPC#(A) ≥|A| - 1)² so that these results are not vacuous. Received August 30, 1999; accepted in final form April 4, 2000.     

The Bergman kernel: Explicit formulas,deflation, Lu Qi-Keng problem and Jacobi polynomials

We investigate the Bergman kernel function for the intersection of two complex ellipsoids {(z,w ₁,w ₂) ∈ C ⁿ⁺²: |z ₁|²+...+|z _n |²+|w ₁| ^q < 1, |z ₁|²+...+|z _n |²+|w ₂| ^r < 1}. We also compute the kernel function for {(z ₁,w ₁,w ₂) ∈ C³: |z ₁|^2/n + |w ₁| ^q < 1, |z ₁|^2/n + |w ₂| ^r < 1} and show deflation type identity between these two domains. Moreover in the case that q = r = 2 we express the Bergman kernel in terms of the Jacobi polynomials. The explicit formulas of the Bergman kernel function for these domains enables us to investigate whether the Bergman kernel has zeros or not. This kind of problem is called a Lu Qi-Keng problem.     

Set-theoretic constructions of nonshrinking open covers

A family {M_α|α?A} is a shrinking of a cover {O_α|α?A} of a topological space if {M_α|α?A} also covers and M_α?O_α for all α?A.?⁺⁺ implies that there is a normal space such that every increasing open cover of it has a clopen shrinking but there is an open cover having no closed shrinking.? implies that there is a P-space (i.e. a space having a normal product with every metric space), which has an increasing open cover having no closed shrinking. This space is used in [17] to show that any space which has a normal product with every P-space is metrizable.