Plurisubharmonic Functions on the Octonionic Plane and <Emphasis Type="Italic">Spin</Emphasis>(9)-Invariant Valuations on Convex Sets

A new class of plurisubharmonic functions on the octonionic plane is introduced. An octonionic version of theorems of A.D. Aleksandrov (Vestnik Leningrad. Univ. Ser. Mat. Meh. Astr. 13(1):5–24, 1958) and Chern-Levine-Nirenberg (Global Analysis, pp. 119–139, 1969), and Błocki (Proc. Am. Math. Soc. 128(12):3595–3599, 2000) are proved. These results are used to construct new examples of continuous translation invariant valuations on convex subsets of . In particular, a new example of Spin(9)-invariant valuation on ℝ¹⁶ is given. Partially supported by ISF grant 1369/04.     

Boundary Limits for Bounded Quasiregular Mappings

In this paper we establish results on the existence of nontangential limits for weighted -harmonic functions in the weighted Sobolev space , for some q>1 and w in the Muckenhoupt A _q class, where is the unit ball in . These results generalize the ones in Sect. 3 of Koskela et al., Trans. Am. Math. Soc. 348(2), 755–766, 1996, where the weight was identically equal to one. Weighted -harmonic functions are weak solutions of the partial differential equation

On the Number of Topological Types Occurring in a Parameterized Family of Arrangements

Let be an o-minimal structure over ℝ, a closed definable set, and

The Balian-Low theorem and regularity of Gabor systems

For any positive real numbers A, B, and d satisfying the conditions , d>2, we construct a Gabor orthonormal basis for L²(ℝ), such that the generating function g∈L²(ℝ) satisfies the condition:∫_ℝ|g(x)|²(1+|x| ^A )/log ^d (2+|x|)dx < ∞ and .     

Triebel-Lizorkin Spaces of Para-Accretive Type and a Tb Theorem

In this article, we use a discrete Calderón-type reproducing formula and Plancherel-Pôlya-type inequality associated to a para-accretive function to characterize the Triebel-Lizorkin spaces of para-accretive type $\dot{F}^{\alpha,q}_{b,p}In this article, we use a discrete Calderón-type reproducing formula and Plancherel-P?lya-type inequality associated to a para-accretive function to characterize the Triebel-Lizorkin spaces of para-accretive type , which reduces to the classical Triebel-Lizorkin spaces when the para-accretive function is constant. Moreover, we give a necessary and sufficient condition for the boundedness of paraproduct operators. From this, we show that a generalized singular integral operator T with M _b TM _b ∈WBP is bounded from to if and only if and T ^* b=0 for , where ε is the regularity exponent of the kernel of T. Chin-Cheng Lin supported by National Science Council, Republic of China under Grant #NSC 97-2115-M-008-021-MY3. Kunchuan Wang supported by National Science Council, Republic of China under Grant #NSC 97-2115-M-259-009 and NCU Center for Mathematics and Theoretic Physics.     

Closure Properties of Solutions to Heat Inequalities

We prove that if u ₁,u ₂:(0,∞)×ℝ ^d →(0,∞) are sufficiently well-behaved solutions to certain heat inequalities on ℝ ^d then the function u:(0,∞)×ℝ ^d →(0,∞) given by also satisfies a heat inequality of a similar type provided . On iterating, this result leads to an analogous statement concerning n-fold convolutions. As a corollary, we give a direct heat-flow proof of the sharp n-fold Young convolution inequality and its reverse form. Both authors were supported by EPSRC grant EP/E022340/1.     

A D’Alembert Formula for Flat Surfaces in the 3-Sphere

We find all the flat surfaces in the unit 3-sphere $\mathbb{S}^{3}We find all the flat surfaces in the unit 3-sphere that pass through a given regular curve of with a prescribed tangent plane distribution along this curve. The formula that solves this problem may be seen as a geometric analogue of the classical D’Alembert formula that solves the Cauchy problem for the homogeneous wave equation. We also provide several applications of this geometric D’Alembert formula, including a classification of the flat M?bius strips of  .      

Retracts in Polydisk and Analytic Varieties with the <Emphasis Type="Italic">H</Emphasis><Superscript>∞</Superscript>-Extension Property

This article mainly concerns retracts in polydisk, analytic varieties with the H ^∞-extension property and the three-point Pick problem on . Arising in the study of Nevanlinna-Pick interpolation on the bidisk, Agler and McCarthy recently discovered a remarkable theorem which characterizes subsets in the bidisk with the polynomial extension property, and in this case, these subsets are retracts. To study H ^∞-extensions of holomorphic functions from subvarieties of polydisk, one naturally is concerned with retracts in polydisk. Under certain mild assumptions, it is shown that subvarieties with H ^∞-extension property are exactly retracts. Furthermore, we apply our argument to determine those retracts whose retractions are unique. In particular, a retract in having at least two different retractions is exactly a balanced disk. As an application, we give a sufficient condition of the uniqueness of the solution for the three-point Pick problem on .      

A Fully Nonlinear Nonhomogeneous Neumann Problem

Let Ω be an open bounded set in ℝ^N, N≥3, with connected Lipschitz boundary ∂Ω and let a(x,ξ) be an operator of Leray–Lions type (a(⋅,∇u) is of the same type as the operator |∇u|^p−2∇u, 1<p<N). If τ is the trace operator on ∂Ω, [φ] the jump across ∂Ω of a function φ defined on both sides of ∂Ω, the normal derivative ∂/∂ν_a related to the operator a is defined in some sense as 〈a(⋅,∇u),ν〉, the inner product in ℝ^N, of the trace of a(⋅,∇u) on ∂Ω with the outward normal vector field ν on ∂Ω. If β and γ are two nondecreasing continuous real functions everywhere defined in ℝ, with β(0)=γ(0)=0, f∈L¹(ℝ^N), g∈L¹(∂Ω), we prove the existence and the uniqueness of an entropy solution u for the following problem,

Exotic smooth structures on small 4-manifolds

Let M be either or . We construct the first example of a simply-connected irreducible symplectic 4-manifold that is homeomorphic but not diffeomorphic to M. Dedicated to Ronald J. Stern on the occasion of his sixtieth birthday Mathematics Subject Classification (2000)  Primary 57R55; Secondary 57R17, 57M05     

Hardy Spaces and bmo on Manifolds with Bounded Geometry

We develop the theory of the “local” Hardy space and John-Nirenberg space when M is a Riemannian manifold with bounded geometry, building on the classic work of Fefferman-Stein and subsequent material, particularly of Goldberg and Ionescu. Results include – duality, L ^p estimates on an appropriate variant of the sharp maximal function, and bmo-Sobolev spaces, and action of a natural class of pseudodifferential operators, including a natural class of functions of the Laplace operator, in a setting that unifies these results with results on L ^p -Sobolev spaces. We apply results on these topics to some interpolation theorems, motivated in part by the search for dispersive estimates for wave equations.      

The Invariant and Quasi-invariant Transformations of the Stable Lévy Processes

Let ξ(t),t∈[0,1] be a strictly stable Lévy process with the index of stability α∈(0,2). By ℘ _ξ we denote the law of ξ in the Skorokhod space . For arbitrary ξ we construct ℘ _ξ -quasi-invariant semigroup of transformations of . Under some nondegeneracy condition on the spectral measure of the stable process we construct ℘ _ξ -quasi-invariant group of transformations of . In symmetric case this group is a group of the invariant transformations.      

Geometry of finite-dimensional normed spaces,and continuous functions on the Euclidean sphere

Let ℝⁿ be the n-dimensional Euclidean space, and let { · } be a norm in Rⁿ. Two lines ℓ₁ and ℓ₂ in ℝⁿ are said to be { · }-orthogonal if their { · }-unit direction vectors e ₁ and e ₂ satisfy {e ₁ + e ₂} = {e ₁ − e ₂}. It is proved that for any two norms { · } and { · }′ in ℝⁿ there are n lines ℓ₁, ..., ℓ_n that are { · }-and { · }′-orthogonal simultaneously. Let be a continuous function on the unit sphere with center O. It is proved that there exists an (n − 1)-cube C centered at O, inscribed in , and such that all sums of values of f at the vertices of (n − 3)-faces of C are pairwise equal. If the function f is even, then there exists an n-cube with the same properties. Furthermore, there exists an orthonormal basis e ₁, ..., e _n such that for 1 ≤ i ≤ j ≤ n we have . Bibliography: 8 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 329, 2005, pp. 107–117.     

Dual Wavelet Frames and Riesz Bases in Sobolev Spaces

This paper generalizes the mixed extension principle in L ₂(ℝ ^d ) of (Ron and Shen in J. Fourier Anal. Appl. 3:617–637, 1997) to a pair of dual Sobolev spaces H ^s (ℝ ^d ) and H ^−s (ℝ ^d ). In terms of masks for φ,ψ ¹,…,ψ ^L ∈H ^s (ℝ ^d ) and , simple sufficient conditions are given to ensure that (X ^s (φ;ψ ¹,…,ψ ^L ), forms a pair of dual wavelet frames in (H ^s (ℝ ^d ),H ^−s (ℝ ^d )), where

Real Paley-Wiener type theorems for the Dunkl transform on {\mathcal{S}}'(\mathbb{R}^{d})

We prove real Paley-Wiener type theorems for the Dunkl transform ℱ _D on the space of tempered distributions. Let T∈S′(ℝ ^d ) and Δ _κ the Dunkl Laplacian operator. First, we establish that the support of ℱ _D (T) is included in the Euclidean ball , M>0, if and only if for all R>M we have lim  _n→+∞ R ⁻²ⁿ Δ _κ ⁿ T=0 in S′(ℝ ^d ). Second, we prove that the support of ℱ _D (T) is included in ℝ ^d ∖B(0,M), M>0, if and only if for all R<M, we have lim  _n→+∞ R ²ⁿ  ℱ _D ⁻¹(‖y‖⁻²ⁿ ℱ _D (T))=0 in S′(ℝ ^d ). Finally, we study real Paley-Wiener theorems associated with -slowly increasing function.      

Dilation of Newton Polytope and <Emphasis Type="Italic">p</Emphasis>-adic Estimate

Let f(X) be a polynomial in n variables over the finite field  \mathbbF_q\mathbb{F}_{q}. Its Newton polytope Δ(f) is the convex closure in ℝ ⁿ of the origin and the exponent vectors (viewed as points in ℝ ⁿ ) of monomials in f(X). The minimal dilation of Δ(f) such that it contains at least one lattice point of $\mathbb{Z}_{>0}^{n}$\mathbb{Z}_{>0}^{n} plays a vital pole in the p-adic estimate of the number of zeros of f(X) in  \mathbbF_q\mathbb{F}_{q}. Using this fact, we obtain several tight and computational bounds for the dilation which unify and improve a number of previous results in this direction.     

Classification and existence of positive solutions of fourth-order nonlinear difference equations

We consider a class of fourth-order nonlinear difference equations of the form

On sum-product bases

We investigate additive-multiplicative bases in . Let , s>2, and . It is proved that , provided min {|B| ^s/2|A|^(s−2)/2,|A| ^s/2|B|^(s−2)/2}>p ^s/2. This note is supported by “Balaton Program Project” and OTKA grants K 61908, K 67676.     

On Convergence and Convolutions of Random Signed Measures

Let μ _n be a sequence of random finite signed measures on the locally compact group G equal to either or ℝ ^d . We give weak conditions on the sequence μ _n and on functions K such that the convolution product μ _n *K, and its derivatives, converge in law, in probability, or almost surely in the Banach spaces or L ^p (G). Examples for sequences μ _n covered are the empirical process (possibly arising from dependent data) and also random signed measures where is some (nonparametric) estimator for the measure ℙ, including the usual kernel and wavelet based density estimators with MISE-optimal bandwidths. As a statistical application, we apply the results to study convolutions of density estimators.      

( m,n)-Equidista nt Sets i n $\ mathbb{R}^{k},\ mathbb{S}^{k}$ , a nd ℙk

We call a metric space X (m,n)-equidistant if, when A⊆X has exactly m points, there are exactly n points in X each of which is equidistant from (the points of) A. We prove that, for k≥2, the Euclidean space ℝ ^k contains an (m,1)-equidistant set if and only if k≥m. Although the sphere is (3,2)-equidistant, and ℝ⁴ contain no (4,2)-equidistant sets. We discuss related results about projective spaces, and state a conjecture about analogous to the Double Midset Conjecture.