Traces on algebras of parameter dependent pseudodifferential operators and the eta-invariant

We identify Melrose's suspended algebra of pseudodifferential operators with a subalgebra of the algebra of parametric pseudodifferential operators with parameter space . For a general algebra of parametric pseudodifferential operators, where the parameter space may now be a cone , we construct a unique ``symbol valued trace', which extends the -trace on operators of small order. This construction is in the spirit of a trace due to Kontsevich and Vishik in the nonparametric case. Our trace allows us to construct various trace functionals in a systematic way. Furthermore, we study the higher-dimensional eta-invariants on algebras with parameter space . Using Clifford representations we construct for each first order elliptic differential operator a natural family of parametric pseudodifferential operators over . The eta-invariant of this family coincides with the spectral eta-invariant of the operator.

     

A priori estimates for second order operators with symplectic characteristic manifold

We prove Fefferman's SAK Principle for a class of classical pseudodifferential operators on with symplectic characteristic manifold.

     

Radix representations, self-affine tiles, and multivariable wavelets

We investigate the connection between radix representations for and self-affine tilings of . We apply our results to show that Haar-like multivariable wavelets exist for all dilation matrices that are sufficiently large.

     

On functions whose graph is a Hamel basis

We say that a function is a Hamel function ( ) if , considered as a subset of , is a Hamel basis for . We prove that every function from into can be represented as a pointwise sum of two Hamel functions. The latter is equivalent to the statement: for all there is a such that . We show that this fails for infinitely many functions.

     

Conformal actions of on Lorentz manifolds

We prove that, for , a locally faithful action of or of by conformal transformations of a connected Lorentz manifold must be a proper action.

     

The size of the Dini subdifferential

Given a lower semicontinuous function , we prove that the points of , where the lower Dini subdifferential contains more than one element, lie in a countable union of sets which are isomorphic to graphs of some Lipschitzian functions defined on . Consequently, the set of all these points has a null Lebesgue measure.

     

Porous measures on : Local structure and dimensional properties

We study dimensional properties of porous measures on . As a corollary of a theorem describing the local structure of nearly uniformly porous measures we prove that the packing dimension of any Radon measure on has an upper bound depending on porosity. This upper bound tends to as porosity tends to its maximum value.

     

Cube-approximating bounded wavelet sets in

We prove that for any real expansive matrix , there exists a bounded -dilation wavelet set in the frequency domain (the inverse Fourier transform of whose characteristic function is a band-limited single wavelet in the time domain ). Moreover these wavelet sets can approximate a cube in arbitrarily. This result improves Dai, Larson and Speegle's result about the existence of (basically unbounded) wavelet sets for real expansive matrices.

     

boundedness of discrete singular Radon transforms

We prove that if is a Calderón-Zygmund kernel and is a polynomial of degree with real coefficients, then the discrete singular Radon transform operator

extends to a bounded operator on , . This gives a positive answer to an earlier conjecture of E. M. Stein and S. Wainger.

     

Low regularity global well-posedness for the Zakharov and Klein-Gordon-Schrödinger systems

We prove low regularity global well-posedness for the 1d Zakharov system and the 3d Klein-Gordon-Schrödinger system, which are systems in two variables and . The Zakharov system is known to be locally well-posed in and the Klein-Gordon-Schrödinger system is known to be locally well-posed in . Here, we show that the Zakharov and Klein-Gordon-Schrödinger systems are globally well-posed in these spaces, respectively, by using an available conservation law for the norm of and controlling the growth of via the estimates in the local theory.

     

A version of Burkholder's theorem for operator-weighted spaces

Let be an operator weight, i.e. a weight function taking values in the bounded linear operators on a Hilbert space . We prove that if the dyadic martingale transforms are uniformly bounded on for each dyadic grid in , then the Hilbert transform is bounded on as well, thus providing an analogue of Burkholder's theorem for operator-weighted -spaces. We also give a short new proof of Burkholder's theorem itself. Our proof is based on the decomposition of the Hilbert transform into ``dyadic shifts'.

     

On homeomorphisms and quasi-isometries of the real line

We show that the group of piecewise-linear homeomorphisms of having bounded slopes surjects onto the group of all quasi-isometries of . We prove that the following groups can be imbedded in : the group of compactly supported piecewise-linear homeomorphisms of , the Richard Thompson group , and the free group of continuous rank.

     

Dahlberg's bilinear estimate for solutions of divergence form complex elliptic equations

We consider divergence form elliptic operators , defined in , where the coefficient matrix is , uniformly elliptic, complex and -independent. Using recently obtained results concerning the boundedness and invertibility of layer potentials associated to such operators, we show that if in , then for any vector-valued we have the bilinear estimate

where and where is the usual non-tangential maximal operator. The result is new even in the case of real symmetric coefficients and generalizes an analogous result of Dahlberg for harmonic functions on Lipschitz graph domains. We also identify the domain of the generator of the Poisson semigroup for the equation in

     

Functions of bounded variation, the derivative of the one dimensional maximal function, and applications to inequalities

We prove that if is of bounded variation, then the uncentered maximal function is absolutely continuous, and its derivative satisfies the sharp inequality . This allows us to obtain, under less regularity, versions of classical inequalities involving derivatives.

     

Characterizations of function spaces on the sphere using frames

In this paper we introduce a polynomial frame on the unit sphere of , for which every distribution has a wavelet-type decomposition. More importantly, we prove that many function spaces on the sphere , such as , and Besov spaces, can be characterized in terms of the coefficients in the wavelet decompositions, as in the usual Euclidean case . We also study a related nonlinear -term approximation problem on . In particular, we prove both a Jackson-type inequality and a Bernstein-type inequality associated to wavelet decompositions, which extend the corresponding results obtained by R. A. DeVore, B. Jawerth and V. Popov (``Compression of wavelet decompositions', Amer. J. Math. 114 (1992), no. 4, 737-785).

     

Exact multiplicity result for the perturbed scalar curvature problem in

Let denote the closure of in the norm Let and define the constants and Let We consider the following problem for

We show an exact multiplicity result for for all small .

     

Sharp Gaussian bounds and -growth of semigroups associated with elliptic and Schrödinger operators

We prove sharp large time Gaussian estimates for heat kernels of elliptic and Schrödinger operators, including Schrödinger operators with magnetic fields. Our estimates are then used to prove that for general (magnetic) Schrödinger operators , we have the -estimate (for large ):

where is the spectral bound of The same estimate holds for elliptic and Schrödinger operators on general domains.

     

``Lebesgue measure' on , II

Let be the set of real numbers, and define . We construct a complete measure space where the -algebra contains the Borel subsets of , and is a translation-invariant measure such that for any measurable rectangle , if , then , where is Lebesgue measure on . The measure is not -finite. We prove three Fubini theorems, namely, the Fubini theorem, the mean Fubini-Jensen theorem, and the pointwise Fubini-Jensen theorem. Finally, as an application of the measure , we construct, via selfadjoint operators on , a ``Schrödinger model' of the canonical commutation relations: , , .

     

Lineability and spaceability of sets of functions on

We show that there is an infinite-dimensional vector space of differentiable functions on every non-zero element of which is nowhere monotone. We also show that there is a vector space of dimension of functions every non-zero element of which is everywhere surjective.

     

On the existence of eigenvalues of Toeplitz operators on planar regions

A study is made of the eigenvalues of self-adjoint Toeplitz operators on multiply connected planar regions having holes. The presence of eigenvalues is detected through an analysis of the zeros of translations of theta functions restricted to in .