Faber-hypercyclic operators

Let Ω be a bounded domain of the complex plane whose boundary is a closed Jordan curve and (F _n ) _n≥0 the sequence of Faber polynomials of Ω. We say that a bounded linear operator T on a separable Banach space X is Ω-hypercyclic if there exists a vector x of X such that {F _n (T)x: n ≥ 0} is dense in X. We show that many of the results in the spectral theory of hypercyclic operators involving the unit disk or its boundary have Ω-hypercyclic counterparts which involve the domain Ω or its boundary. The influence of the geometry of Ω or the smoothness of its boundary on Faber-hypercyclicity is also discussed.     

Sobolev functions whose inner trace at the boundary is zero

Let Ω⊂R ⁿ be an arbitrary open set. In this paper it is shown that if a Sobolev functionf∈W ^1,p (Ω) possesses a zero trace (in the sense of Lebesgue points) on ϖΩ, thenf is weakly zero on ϖΩ in the sense thatf∈W ₀ ^1,p (Ω).     

Some results related to interpolation on hardy spaces of regular martingales

Let (Ω,F, P) be a probability space and {F _n}_n≥0 a regular increasing sequence of sub-σ-fields ofF. LetH ₁(Ω) be the usual Hardy space ofF _n-martingales. We show that the couple (H ₁(Ω),L _∞(Ω)) is a partial retract of (L ₁(Ω),L _∞(Ω)). It is also proved that (L _p(Ω),BMO(Ω)) is a partial retract of (L _p(Ω),L _∞(Ω)) for all 1<p<∞.     

Punishing Factors for Finitely Connected Domains

Let Ω and Π be two finitely connected hyperbolic domains in the complex plane \Bbb C{\Bbb C} and let R(z, Ω) denote the hyperbolic radius of Ω at z and R(w, Π) the hyperbolic radius of Π at w. We consider functions f that are analytic in Ω and such that all values f(z) lie in the domain Π. This set of analytic functions is denoted by A(Ω, Π). We prove among other things that the quantities C_n(W,P) := sup_{f ? A(W,P)}sup_{z ? W}\frac|f⁽ⁿ⁾(z)| R(f(z),P)n! (R(z,W))ⁿC_n(\Omega,\Pi)\,:=\,\sup_{f\in A(\Omega,\Pi)}\sup_{z\in \Omega}\frac{\vert f^{(n)}(z)\vert\,R(f(z),\Pi)}{n!\,(R(z,\Omega))^n} are finite for all n ? \Bbb N{n \in {\Bbb N}} if and only if ∂Ω and ∂Π do not contain isolated points.     

A Reflexivity Result Concerning Banach Space Operators with a Multiply Connected Spectrum

We consider a multiply connected domain Ω which is obtained by removing n closed disks which are centered at λ _j with radius r _j for j = 1, . . . , n from the unit disk. We assume that T is a bounded linear operator on a separable reflexive Banach space whose spectrum contains ∂Ω and does not contain the points λ₁, λ₂, . . . , λ _n , and the operators T and r _j (T − λ _j I)⁻¹ are polynomially bounded. Then either T has a nontrivial hyperinvariant subspace or the WOT-closure of the algebra {f(T) : f is a rational function with poles off [`(W)]{\overline\Omega}} is reflexive.     

Pipes, Cigars, and Kreplach: the Union of Minkowski Sums in Three Dimensions

Let Ω be a set of pairwise-disjoint polyhedral obstacles in R ³ with a total of n vertices, and let B be a ball in R ³. We show that the combinatorial complexity of the free configuration space F of B amid Ω:, i.e., (the closure of) the set of all placements of B at which B does not intersect any obstacle, is O(n ^2+ε ), for any ε >0; the constant of proportionality depends on ε. This upper bound almost matches the known quadratic lower bound on the maximum possible complexity of F . The special case in which Ω is a set of lines is studied separately. We also present a few extensions of this result, including a randomized algorithm for computing the boundary of F whose expected running time is O(n ^2+ε ). Received July 6, 1999, and in revised form April 25, 2000. Online publication August 18, 2000.     

Potential space estimates in local Hardy spaces for Green potentials in convex domains

Let Ω be a bounded co.nvex domain in Rn(n≥3) and G(x,y) be the Green function of the Laplace operator -△ on Ω. Let hrp(Ω) = {f ∈ D'(Ω) :(E)F∈hp(Rn), s.t. F|Ω = f}, by the atom characterization of Local Hardy spaces in a bounded Lipschitz domain, the bound of f→(△)2(Gf) for every f ∈ hrp(Ω) is obtained, where n/(n 1)＜p≤1.     

Simultaneous Packing and Covering in Sequence Spaces

We adapt a construction of Klee (1981) to find a packing of unit balls in ℓ _p (1≤p<∞) which is efficient in the sense that enlarging the radius of each ball to any R>2^1−1/p covers the whole space. We show that the value 2^1−1/p is optimal. Dedicated to the memory of Victor Klee.     

Kinetic Connectivity for Unit Disks

We describe a kinetic data structure (KDS) that maintains the connected components of the union of a set of unit-radius disks moving in the plane. We assume that the motion of each disk can be specified by a low-degree algebraic trajectory; this trajectory, however, can be modified in an on-line fashion. While the disks move continuously, their connectivity changes at discrete times. Our main result is an O(n) space data structure that takes O(log n\slash \kern -1pt log log n) time per connectivity query of the form ``are disks A and B in the same connected component?' A straightforward approach based on dynamically maintaining the overlap graph requires Ω (n ² ) space. Our data structure requires only linear space and must deal with O(n ^{2 + ε} ) updates in the worst case, each requiring O(log ² n) amortized time, for any ε>0 . This number of updates is close to optimal, since a set of n moving unit disks can undergo Ω (n ² ) connectivity changes. Received September 20, 2000, and in revised form January 19, 2001. Online publication April 6, 2001.     

Visible Vectors and Discrete Euclidean Medial Axis

We denote by ℳ _R ⁿ the test neighbourhood sufficient to extract the Euclidean Medial Axis of any n-dimensional discrete shape whose inner radius is no greater than R. In this paper, we study properties of discrete Euclidean disks overlappings so as to prove that in any given dimension n, ℳ _R ⁿ tends to the set of visible vectors as R tends to infinity.     

On the stability of Thomson’s vortex configurations inside a circular domain

The paper is devoted to the analysis of stability of the stationary rotation of a system of n identical point vortices located at the vertices of a regular n-gon of radius R ₀ inside a circular domain of radius R. Havelock stated (1931) that the corresponding linearized system has exponentially growing solutions for n ⩾ 7 and in the case 2 ⩽ n ≤ 6 — only if the parameter p = R ₀²/R ² is greater than a certain critical value: p _*n < p < 1. In the present paper the problem of nonlinear stability is studied for all other cases 0 < p ⩽ p _*n , n = 2, ..., 6. Necessary and sufficient conditions for stability and instability for n ≠ = 5 are formulated. A detailed proof for a vortex triangle is presented. A part of the stability conditions is substantiated by the fact that the relative Hamiltonian of the system attains a minimum on the trajectory of the stationary motion of the vortex triangle. The case where the sign of the Hamiltonian is alternating requires a special approach. The analysis uses results of KAM theory. All resonances up to and including the 4th order occurring here are enumerated and investigated. It has turned out that one of them leads to instability.     

Solutions of elliptic equations involving critical Sobolev exponents with neumann boundary conditions

We consider the problem −Δu=|u| ^p−1u+λu in Ω with on δΩ, where Ω is a bounded domain inR ^N ,p=(N+2)/(N−2) is the critical Sobolev exponent,n the outward pointing normal and λ a constant. Our main result is that if Ω is a ball inR ^N , then for every λ∈R the problem admits infinitely many solutions. Next we prove that for every bounded domain Ω inR ³, symmetric with respect to a plane, there exists a constant μ>0 such that for every λ<μ this problem has at least one non-trivial solution. This work was supported by the Paris VI-Leiden exchange program Supported by the Netherlands organisation for scientific research NWO, under number 611-306-016.     

On quasi-similarity of subnormal operators

For a compact subset K in the complex plane, let Rat(K) denote the set of the rational functions with poles off K. Given a finite positive measure with support contained in K, let R2(K,v) denote the closure of Rat(K) in L2(v) and let Sv denote the operator of multiplication by the independent variable z on R2(K, v), that is, Svf = zf for every f∈R2(K, v). SupposeΩis a bounded open subset in the complex plane whose complement has finitely many components and suppose Rat(Ω) is dense in the Hardy space H2(Ω). Letσdenote a harmonic measure forΩ. In this work, we characterize all subnormal operators quasi-similar to Sσ, the operators of the multiplication by z on R2(Ω,σ). We show that for a given v supported onΩ, Sv is quasi-similar to Sσif and only if v/■Ω■σ and log(dv/dσ)∈L1(σ). Our result extends a well-known result of Clary on the unit disk.     

D p spaces on bounded symmetric domains ofC n

In this paper, the spaceD ^p(Ω) of functions holomorphic on bounded symmetric domain ofC ⁿ is defined. We prove thatH ^p(Ω)⊂D ^p(Ω) if 0<p≤2, andD ^p(Ω)⊂H ^p(Ω) ifp≥2, and both the inclusions are proper. Further, we find that some theorems onH ^p(Ω) can be extended to a wider classD ^p(Ω) for 0<p≤2.     

A numerical approach to a minimum problem with applications in image segmentation

A numerical approach to the problem: minF ^λ(E), whereF ^λ(E)=P(E,R ⁿ )+λ|Ω/E|, is considered. The functionalF ^λ is approximated, using techniques of Γ-convergence, with a sequence of functionals that are successively discretized by finite differences. A relation between the index of the approximating sequence and the meshsize of the domain is found.

---

Riassunto Viene presentato un approccio numerico del problema: minF ^λ(E), doveF ^λ(E)=P(E,R ⁿ )+λ|Ω/E|. Il funzionaleF ^λ viene approssimato, usando tecniche di Γ-convergenza, con una successione di funzionali, successivamente discretizzati con differenze finite. Viene trovata una relazione tra l'indice della successione approssimante e il passo del reticolo del dominio.

     

Strong approximation ofGSBV functions by piecewise smooth functions

Let Ω be an open and bounded subset ofR ⁿ with locally Lipschitz boundary. We prove that the functionsv∈SBV(Ω,R ^m ) whose jump setS _vis essentially closed and polyhedral and which are of classW ^{k, ∞} (S _v,R ^m) for every integerk are strongly dense inGSBV ^p(Ω,R ^m ), in the sense that every functionu inGSBV ^p(Ω,R ^m ) is approximated inL ^p(Ω,R ^m ) by a sequence of functions {v _k{_j∈N with the described regularity such that the approximate gradients ∇v _jconverge inL ^p(Ω,R ^nm ) to the approximate gradient ∇u and the (n−1)-dimensional measure of the jump setsS _{v j} converges to the (n−1)-dimensional measure ofS _u. The structure ofS _v can be further improved in casep≤2.

---

Sunto Sia Ω un aperto limitato diR ⁿ con frontiera localmente Lipschitziana. In questo lavoro si dimostra che le funzioniv∈SBV(Ω,R ^m ) con insieme di saltoS _v essenzialmente chiuso e poliedrale che sono di classeW ^{k, ∞} (S _v,R ^m ) per ogni interok sono fortemente dense inGSBV ^p(Ω,R ^m ), nel senso che ogni funzioneu∈GSBV ^p(Ω,R ^m ) è approssimata inL ^p(Ω,R ^m ) da una successione di funzioni {v _j}_j∈N con la regolaritá descritta tali che i gradienti approssimati ∇v _jconvergono inL ^p(Ω,R ^nm ) al gradiente approssimato ∇u e la misura (n−1)-dimensionale degli insiemi di saltoS _{v j}converge alla misura (n−1)-dimensionale diS _u. La struttura diS _vpuó essere migliorata nel caso in cuip≤2.

     

Erd?s-Ko-Rado theorem for irreducible imprimitive reflection groups

Let Ω be a finite set, and let G be a permutation group on Ω. A subset H of G is called intersecting if for any σ, π ∈ H, they agree on at least one point. We show that a maximal intersecting subset of an irreducible imprimitive reflection group G(m, p, n) is a coset of the stabilizer of a point in {1, …, n} provided n is sufficiently large.     

On a singular integral on product spaces

We show that if K(x,y)=Ω(x,y)/|x|ⁿ|y|^m is a Calder n-Zygmund kerned on Rⁿ×R^m, where Ω∈L²(Sⁿ⁻¹×S^m−1) and b(x,y) is any bounded function which is radial with x∈Rⁿ and y∈R^m respectively, then b(x,y)K(x,y) is the kernel of a convolution operator which is bounded on L^p(Rⁿ×R^m) for 1<p<∞ and n≧2, m≧2. Project supported by NSFC     

A Helly-Type Theorem for Line Transversals to Disjoint Unit Balls

   Abstract. Let F be a family of disjoint unit balls in R ³ . We prove that there is a Helly-number n ₀ ≤ 46 , such that if every n ₀ members of F ( | F | ≥ n ₀ ) have a line transversal, then F has a line transversal. In order to prove this we prove that if the members of F can be ordered in a way such that every 12 members of F are met by a line consistent with the ordering, then F has a line transversal. The proof also uses the recent result on geometric permutations for disjoint unit balls by Katchalski, Suri, and Zhou.     

A note on the multilinear singular integral operators

Lp(Rn) boundedness is considered for the multilinear singular integral operator defined by TAf(x) = ∫Rn Ω(x - y)/|x - y|n 1 (A(x) - A(y) - (△)A(y)(x - y))f(y)dy,where Ω is homogeneous of degree zero, integrable on the unit sphere and has vanishing moment of order one. A has derivatives of order one in BMO(Rn). We give a smoothness condition which is fairly weaker than that Ω∈ Lipα(Sn-1) (0 ＜α≤ 1) and implies the Lp(Rn) (1 ＜ p ＜ oo) boundedness for the operator TA. Some endpoint estimates are also established.