Intersection domains and the sum of two complex hyperbolic metrics

In this article, we prove that the intersection of the unit ball in ℂⁿ with an affine transformation of it is a negatively curved domain. The two-dimensional case is due to Cheung and Wu.     

Holomorphic extension associated with Fourier-Legendre expansions

In this article we prove that if the coefficients of a Fourier-Legendre expansion satisfy a suitable Hausdorff-type condition, then the series converges to a function which admits a holomorphic extension to a cut-plane. Furthermore, we prove that a Laplace-type (Laplace composed with Radon) transform of the function describing the jump across the cut is the unique Carlsonian interpolation of the Fourier coefficients of the expansion. We can thus reconstruct the discontinuity function from the coefficients of the Fourier-Legendre series by the use of the Pollaczek polynomials.     

The coefficients of the Laurent series expansions of real analytic functions

Letf be a real analytic function of a real variable such that 0 is an isolated (possibly essential) singularity off. In the existing literature the coefficients of the Laurent series expansion off around 0 are obtained by applying Cauchy's integral formula to the analytic continuation off on the complex plane. Here by means of a conformal mapping we derive a formula which determines the Laurent coefficients off solely in terms of the values off and the derivatives off at a real point of analyticity off. Using a more complicated mapping, we similarly determine the coefficients of the Laurent expansion off around 0 where now 0 is a singularity off which is not necessarily isolated.     

On equality of line type and variety type of real hypersurfaces in Cn

Recently McNeal proved, by analytic methods, that the D’Angelo type of a boundary point of a convex domain agrees with the maximal order of contact of the boundary with complex lines. We give an elementary geometric proof and generalization of McNeal’s theorem. Communicated by Steven Krantz     

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

A remark on a maximal function over a Cantor set of directions

LetM _e ⁰ be the maximal operator over segments of length 1 with directions belonging to a Cantor set. It has been conjectured that this operator is bounded onL ². We consider a sequence of operators over finite sets of directions converging toM _e ⁰ . We improve the previous estimate for the (L ²,L ²)-norm of these particular operators. We also prove thatM _e ⁰ is bounded from some subsets ofL ² toL ². These subsets are composed of positive functions whose Fourier transforms have a very weak decay or are supported in a vertical strip. Partially supported by Spanish DGICYT grant no. PB90-0187.     

Average decay estimates for Fourier transforms of measures supported on curves

We consider Fourier transforms of densities supported on curves in ℝ^d. We obtain sharp lower and close to sharp upper bounds for the decay rates of as R → ∞.     

On the approximation of measurable functions by continuous functions

We present a characterization of the completed Borel measure spaces for which every measurable function, with values in a separable Frechet space, is the almost everywhere limit of a sequence of continuous functions. From this characterization one can easily obtain results that have appeared recently in the literature, in a more general form. We also examine what happens when the range is a subset of an arbitrary Banach space, and show that this case often reduces to the separable case.     

A characterization of the higher dimensional groups associated with continuous wavelets

A subgroup D of GL (n, ℝ) is said to be admissible if the semidirect product of D and ℝ ⁿ , considered as a subgroup of the affine group on ℝ ⁿ , admits wavelets ψ ∈ L²(ℝ ⁿ ) satisfying a generalization of the Calderón reproducing, formula. This article provides a nearly complete characterization of the admissible subgroups D. More precisely, if D is admissible, then the stability subgroup D_x for the transpose action of D on ℝ ⁿ must be compact for a. e. x. ∈ ℝ ⁿ ; moreover, if Δ is the modular function of D, there must exist an a ∈ D such that |det a| ≠ Δ(a). Conversely, if the last condition holds and for a. e. x ∈ ℝ ⁿ there exists an ε > 0 for which the ε-stabilizer D _x ^ε is compact, then D is admissible. Numerous examples are given of both admissible and non-admissible groups.     

Monotonicity inequalities for ther-area and a degeneracy theorem forr-minimal graphs

We establish monotonicity inequalities for the r-area of a complete oriented properly immersed r-minimal hypersurface in Euclidean space under appropriate quasi-positivity assumptions on certain invariants of the immersion. The proofs are based on the corresponding first variational formula. As an application, we derive a degeneracy theorem for an entire r-minimal graph whose defining function ƒ has first and second derivatives decaying fast enough at infinity: Its Hessian operator D² ƒ has at least n − r null eigenvalues everywhere.     

Spherical means and the restriction phenomenon

Let Γ be a smooth compact convex planar curve with arc length dm and let dσ=ψ dm where ψ is a cutoff function. For Θ∈SO (2) set σ_Θ(E) = σ(ΘE) for any measurable planar set E. Then, for suitable functions f in ℝ², the inequality.

Local and improper Daniell-Loomis integrals

In this paper we start from previous results obtained in [7] on the abstract space of Daniell-Loomis integrable functionsL, which is constructed like to the Daniell extension process, but without continuity assumptions on the elementary integral. The localized integral is used to prove thatL consists of those functions whose local upper and lower integrals are equal and finite, or thatL is closed with respect to improper integration. Our results are also holded in integration with respect to finitely additive measures.     

Characterizations of orthonormal scale functions: A probabilistic approach

The construction of a multiresolution analysis starts with the specification of a scale function. The Fourier transform of this function is defined by an infinite product. The convergence of this product is usually discussed in the context of L ²(R).Here, we treat the convergence problem by viewing the partial products as probabilities, converging weakly to a probability defined on an appropriate sequence space. We obtain a sufficient condition for this convergence, which is also necessary in the case where the scale function is continuous. These results extend and clarify those of Cohen [2] and Hernández et al. [4]. The method also applies to more general dilation schemes that commute with translations by Z ^d .     

The construction of single wavelets in d-dimensions

Sets K in d-dimensional Euclidean space are constructed with the property that the inverse Fourier transform of the characteristic function 1 _K is a single dyadic orthonormal wavelet. The construction is characterized by its generality in the procedure, by its computational implementation, and by its simplicity. The general case in which the inverse Fourier transforms of the characteristic functions 1K ¹, ..., 1K ^L are a family of orthonormal wavelets is treated in [27].     

Construction of wavelet sets with certain self-similarity properties

A measurable set Q ⊂ R ⁿ is a wavelet set for an expansive matrix A if F ⁻¹ _(ΧQ) is an A-dilation wavelet. Dai, Larson, and Speegle [7] discovered the existence of wavelet sets in R _n associated with any real n ×n expansive matrix. In this work, we construct a class of compact wavelet sets which do not contain the origin and which are, up to a certain linear transformation, finite unions of integer translates of an integral selfaffine tile associated with the matrix B = A ^t. Some of these wavelet sets may have good potential for applications because of their tractable geometric shapes.     

Riesz sequences of translates and generalized duals with support on [0, 1]

If the integer translates of a function ø with compact support generate a frame for a subspace W of L ²(?),then it is automatically a Riesz basis for W, and there exists a unique dual Riesz basis belonging to W. Considerable freedom can be obtained by considering oblique duals, i.e., duals not necessarily belonging to W. Extending work by Ben-Artzi and Ron, we characterize the existence of oblique duals generated by a function with support on an interval of length one. If such a generator exists, we show that it can be chosen with desired smoothness. Regardless whether ø is polynomial or not, the same condition implies that a polynomial dual supported on an interval of length one exists.     

A transference theorem for hermite expansions

A transference theorem for multipliers of Hermite expansions is proved. The result allows to transfer weightedL ²(ℝ ⁿ ) estimates from lower to higher dimensions. Research of the author supported by grant BFM2003-06335-603-03 of the D.G.I..     

Double bubbles in<Emphasis Type="Bold">S</Emphasis><Superscript>3</Superscript> and<Emphasis Type="Bold">H</Emphasis><Superscript>3</Superscript>

We prove the double bubble conjecture in the three-sphereS ³ and hyperbolic three-spaceH ³ in the cases where we can apply Hutchings theory: