Injectivity of rotation invariant windowed Radon transforms

We consider rotation invariant windowed Radon transforms that integrate a function over hyperplanes by using a radial weight (called window). T. Quinto proved their injectivity for square integrable functions of compact support. This cannot be extended in general. Actually, when the Laplace transform of the window has a zero with positive real part δ, the windowed Radon transform is not injective on functions with a Gaussian decay at infinity, depending on δ. Nevertheless, we give conditions on the window that imply injectivity of the windowed Radon transform on functions with a more rapid decay than any Gaussian function.     

Extensions of some fixed point theorems of Rhoades

The classical Radon transform, R, maps an integrable function in Rⁿ to its integrals over all n ? 1 dimensional hyperplanes, and the exterior Radon transform is the transform R restricted to hyperplanes that do not intersect a given disc. A singular value decomposition for the exterior transform is given for spaces of square integrable functions on the exterior of the disc. This decomposition in orthogonal functions explicitly produces the null space and range of the exterior transform and gives a new method for inverting the transform modulo the null space. A modification of this method is given that will exactly invert functions of compact support. These results generalize theorems of R. M. Perry and the author. A singular value decomposition for the Radon transform that integrates over spheres in Rⁿ containing the origin is also given. This follows from the singular value decomposition for R and yields the null space and a new inversion method for this transform.     

Null spaces and ranges for the classical and spherical Radon transforms

Let R be the classical Radon transform that integrates a function over hyperplanes in Rⁿ and let SM be the transform that integrates a function over spheres containing the origin in Rⁿ. We prove continuity results for both transforms and explicitly give the null space of R for a class of square integrable functions on the exterior of a ball in Rⁿ as well as the null space of SM for square integrable functions on a ball. We show SM: L²(Rⁿ) → L²(Rⁿ) is one-one, and we characterize the range of SM on classes of smooth functions and square integrable functions by certain moment conditions. If g(x) is a Schwartz function on Rⁿ that is zero to infinite order at x = 0, we prove moment conditions sufficient for g to be in the range of SM(C^∞(Rⁿ)). We apply our results on SM to existence and uniqueness theorems for solutions to a characteristic initial value problem for the Darboux partial differential equation.     

Iteration of holomorphic maps on Lie balls

We investigate iterations of fixed-point free holomorphic self-maps on a Lie ball of any dimension, where a Lie ball is a bounded symmetric domain and the open unit ball of a spin factor which can be infinite dimensional. We describe the invariant domains of a holomorphic self-map f on a Lie ball D when f   is fixed-point free and compact, and show that each limit function of the iterates (fⁿ)$(f^n)$ has values in a one-dimensional disc on the boundary of D  . We show that the Möbius transformation _ga$g_a$ induced by a nonzero element a in D may fail the Denjoy–Wolff-type theorem, even in finite dimension. We determine those which satisfy the theorem.     

A limit theorem for order preserving nonexpansive operators inL 1

We prove the following theorem:Let T be an order preserving nonexpansive operator on L ₁ (μ) (or L ₁ ⁺ ) of a σ-finite measure, which also decreases theL _∞-norm, and let S=tI+(1?t)T for 0<t<1. Then for everyf ∈ L_p (1<p<∞),the sequence S ⁿf converges weakly in L_p. (The assumptions do not imply thatT is nonexpansive inL _p for anyp>1, even ifμ is finite.) For the proof we show that ∥S ⁿ⁺¹ f?S ⁿf∥ _p → 0 for everyf ∈L _p, 1<p<∞, and apply toS the following theorem:Let T be order preserving and nonexpansive in L ₁ ⁺ , and assume that T decreases theL _∞-norm. Then forg ∈L _p (1<p<∞) Tⁿg is weakly almost convergent. If forf ∈ L_p we have T ⁿ⁺¹ f?T ⁿ f → 0weakly, then T ⁿf converges weakly in L_p (1<p<∞).     

BEST MONOTONE L_■-APPROXIMATIONS IN SEVERAL VARIABLES

Given a continuous function f defined on the unit cube of R~n and a convexfunction _t,_t(0)-0,_t(x)>0,for x>0,we prove that the set ofbest L~(t)-approximations by monotone functions has exactly one elementft,which is also a continuous function.Moreover if the family of convexfunctions {_t}t>0 converges uniformly on compact sets to a function _0,then the best approximation f_t→f_0 uniformly,as t→0,where fo is thebest approximation of f within the Orlicz space L~(0) The best approxima-tions{f_t}are obtained as well as minimizing integrals or the Luxemburgnorm     

Uniqueness of positive radial solutions for quasilinear elliptic equations in an annulus

Extending a previous result of Tang [1] we prove the uniqueness of positive radial solutions of Δ_pu+f(u)=0, subject to Dirichlet boundary conditions on an annulus in Rⁿ with 2<p≤n, under suitable hypotheses on the nonlinearity f. This argument also provides an alternative proof for the uniqueness of positive solutions of the same problem in a finite ball (see [9]), in the complement of a ball or in the whole space Rⁿ (see [10], [3] and [11]).     

Properties of derivations on some convolution algebras

For all convolution algebras L ¹[0, 1); L _loc ¹ and A(ω) = ∩ _n L ¹(ω _n ), the derivations are of the form D _μ f = Xf * μ for suitable measures μ, where (Xf)(t) = tf(t). We describe the (weakly) compact as well as the (weakly) Montel derivations on these algebras in terms of properties of the measure μ. Moreover, for all these algebras we show that the extension of D _μ to a natural dual space is weak-star continuous.     

Weighted tight frames of exponentials on a finite interval

Given a finite intervalI?R, a characterization is given for those discrete sets of real numbers Λ and associated sequences {c _λ}_λ∈Λ, withc _λ>0, having the properties that every functionf∈L ²(I) can be expanded inL ²(I) as the unconditionally convergent series $$f = \sum\limits_{\lambda \in \Lambda } {\hat f} (\lambda )c_\lambda e^{2\pi i\lambda x} $$ and that the range of the mappingL ²(I)→L _μ ² :f→f has finite codimension inL _μ ² , iff denotes the Fourier transform off and μ is the measure μ = ∑_λ∈Λ c _λ δ_λ.     

On uniqueness of invariant measures for finite‐ and infinite‐dimensional diffusions

We prove uniqueness of “invariant measures,” i.e., solutions to the equation L*μ = 0 where L = Δ + B · ∇ on ℝⁿ with B satisfying some mild integrability conditions and μ being a probability measure on ℝⁿ. This solves an open problem posed by S. R. S. Varadhan in 1980. The same conditions are shown to imply that the closure of L on L¹(μ) generates a strongly continuous semigroup having μ as its unique invariant measure. The question whether an extension of L generates a strongly continuous semigroup on L¹(μ) and whether such an extension is unique is addressed separately and answered positively under even weaker local integrability conditions on B. The special case when B is a gradient of a function (i.e., the “symmetric case”) in particular is studied and conditions are identified ensuring that L*μ = 0 implies that L is symmetric on L²(μ) or L*μ = 0 has a unique solution. We also prove infinite‐dimensional analogues of the latter two results and a new elliptic regularity theorem for invariant measures in infinite dimensions. © 1999 John Wiley & Sons, Inc.     

Functional calculi of second-order elliptic partial differential operators with bounded measurable coefficients

Consider a second-order elliptic partial differential operatorL in divergence form with real, symmetric, bounded measurable coefficients, under Dirichlet or Neumann conditions on the boundary of a strongly Lipschitz domain Ω. Suppose that 1 <p < ∞ and μ > 0. ThenL has a bounded H_∞ functional calculus in L^p(Ω), in the sense that ¦¦f (L +cI)u¦¦_p ≤C sup_¦arλ¦<μ ^¦f¦ ¦‖u¦‖_p for some constantsc andC, and all bounded holomorphic functionsf on the sector ¦ argλ¦ < μ that contains the spectrum ofL +cI. We prove this by showing that the operatorsf(L + cI) are Calderón-Zygmund singular integral operators.     

Pointwise convergence of the iterates of a harris-recurrent Markov operator

LetP be a Markov operator recurrent in the sense of Harris, withσ-finite invariant measureμ. (1) Ifμ is finite andP aperiodic, then forf ∈L ₁(μ),P ⁿf →f fdμ a.e. (2) Ifμ is infinite,P ⁿf → 0 a.e. for everyf ∈L _p (μ), 1≦p <∞.     

A local property ofL-regular sets

A compact subsetK of the unit ball in ? ⁿ is said to beL-regular if the extremal function $$h_K (z) = \sup \{ f(z):f \in PSH,f< 0f \leqslant - 1 on K\} $$ is continuous. With a method from an earlier paper we prove thatL-regularity is essentially a local property of the setK. As a corollary we note that, in the special case when ? ⁿ ,L-regularity is nothing but a local property ofK.     

Lifting measures to Markov extensions

Generalizing a theorem ofHofbauer (1979), we give conditions under which invariant measures for piecewise invertible dynamical systems can be lifted to Markov extensions. Using these results we prove:

1. IfT is anS-unimodal map with an attracting invariant Cantor set, then ∫log|T′|dμ=0 for the unique invariant measure μ on the Cantor set.
2. IfT is piecewise invertible, iff is the Radon-Nikodym derivative ofT with respect to a σ-finite measurem, if logf has bounded distortion underT, and if μ is an ergodicT-invariant measure satisfying a certain lower estimate for its entropy, then μ?m iffh _μ (T)=Σlogf dμ.

     

Carleson measures,BMO spaces and balayages associated to Schrdinger operators

Let L be a Schrdinger operator of the form L =-? + V acting on L~2(R~n), n≥3, where the nonnegative potential V belongs to the reverse Hlder class B_q for some q≥n. Let BMO_L(R~n) denote the BMO space associated to the Schrdinger operator L on R~n. In this article, we show that for every f ∈ BMO_L(R~n) with compact support, then there exist g ∈ L~∞(R~n) and a finite Carleson measure μ such that f(x) = g(x) + S_(μ,P)(x) with ∥g∥∞ + |||μ|||c≤ C∥f∥BMO_L(R~n), where S_(μ,P)=∫(R_+~(n+1))Pt(x,y)dμ(y, t),and Pt(x, y) is the kernel of the Poisson semigroup {e-~(t(L)~(1/2))}t0 on L~2(R~n). Conversely, if μ is a Carleson measure, then S_(μ,P) belongs to the space BMO_L(R~n). This extends the result for the classical John-Nirenberg BMO space by Carleson(1976)(see also Garnett and Jones(1982), Uchiyama(1980) and Wilson(1988)) to the BMO setting associated to Schrdinger operators.     

Compact Sobolev imbeddings on finite measure spaces

We provide conditions on a finite measure μ on $\text{R}$ⁿ which insure that the imbeddings W^{k, p}($\text{R}$ⁿdμ)?L^p($\text{R}$ⁿdμ) are compact, where 1 ? p < ∞ and k is a positive integer. The conditions involve uniform decay of the measure μ for large ¦x¦ and are satisfied, for example, by $\text{dμ = e}{}^{\mathrm{?¦x¦\alpha }}\text{dx,}\text{where}\text{α > 1}$.     

Commutation properties of automorphism groups and mappings of von Neumann algebras

We prove a commutation theorem for point ultraweakly continuous oneparameter groups of automorphisms of von Neumann algebras. If α_t, is such a group in Aut($\text{R}$) for a von Neumann algebra $\text{R}$, we show the equivalence of the following three conditions on an ultraweakly continuous linear transformation μ: $\text{R}$ → $\text{R}$: (a) μ commutes weakly with the infinitesimal generator for α_t; (b) μ ° α_t = α_t ° μ, t ∈ R; and (c) μ leaves invariant each of the spectral subspaces associated with α_t. A simple condition which is applicable when μ is an automorphism is pointed out.     

Solution of the wave equation in Rn + 1 with data on a characteristic cone

A unified treatment of the problem is presented for both odd and even space dimensions. In contrast to previous results for odd n, when the space dimension is even, there is no general existence although the uniqueness holds. A necessary and sufficient condition for admissible data is given. Of independent interest are several versions of the “Plancherel theorem” of the Radon transform, in the space L₂¹(Rⁿ) of all functions whose gradients are square integrable.     

Linear transformations of monotone functions on the discrete cube

For a function f:{0,1}ⁿ→R and an invertible linear transformation L∈GL_n(2), we consider the function Lf:{0,1}ⁿ→R defined by Lf(x)=f(Lx). We raise two conjectures: First, we conjecture that if f is Boolean and monotone then I(Lf)≥I(f), where I(f) is the total influence of f. Second, we conjecture that if both f and L(f) are monotone, then f=L(f) (up to a permutation of the coordinates). We prove the second conjecture in the case where L is upper triangular.     

Approximation of functions of finite variation by superpositions of a Sigmoidal function

The aim of this note is to generalize a result of Barron [1] concerning the approximation of functions, which can be expressed in terms of the Fourier transform, by superpositions of a fixed sigmoidal function. In particular, we consider functions of the type h(x) = ∫ℝ^d ƒ (〈t, x〉)dμ(t), where μ is a finite Radon measure on ℝ^d and ƒ : ℝ → ℂ is a continuous function with bounded variation in ℝ We show (Theorem 2.6) that these functions can be approximated in L₂-norm by elements of the set G_n = {Σ_i=0^staggeredn c_ig(〈a_i, x〉 + b_i) : a_iℝ^d, b_i, c_iℝ}, where g is a fixed sigmoidal function, with the error estimated by C/n^1/2, where C is a positive constant depending only on f. The same result holds true (Theorem 2.9) for f : ℝ → ℂ satisfying the Lipschitz condition under an additional assumption that ∫ℝ^d6t6e^d|u(t)| > ∞