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

Weak Barriers in Nonlinear Potential Theory

We characterize regular boundary points for p-harmonic functions using weak barriers. We use this to obtain some consequences on boundary regularity. The results also hold for -harmonic functions under the usual assumptions on , and for Cheeger p-harmonic functions in metric spaces.      

Quasi-regular Dirichlet Forms and L^p-resolvents on Measurable Spaces

We prove that for any semi-Dirichlet form on a measurable Lusin space E there exists a Lusin topology with the given -algebra as the Borel -algebra so that becomes quasi-regular. However one has to enlarge E by a zero set. More generally a corresponding result for arbitrary -resolvents is proven.     

Complementability of Spaces of Harmonic Functions

Let U be a bounded open set of the Euclidean space ℝ ^d and let H(U) denote the space of all real-valued continuous functions on that are harmonic on U. We present a sufficient condition on the set ∂ _reg U of all regular points of U that ensures that H(U) is complemented in . We also present examples showing that this condition is not necessary. The proof of the positive result is based upon a general result on complementability of a simplicial function space in a space. Research was supported in part by the grants GA ČR GACR 201/06/0018 and in part by the Research Project MSM 0021620839 from the Czech Ministry of Education.     

Generalized Continuous Posets and a New Cartesian Closed Category

With every subset selection for posets, there is associated a certain ideal completion . As shown by Erné, such completions help to extend classical results on domains and similar structures in the absence of the required joins. Some results about –predistributive or –precontinuous posets and –continuous functions are summarized and supplemented. In particular, several central results on function spaces in domain theory are extended to the setting of productive closed subset selections. The category FSBP, in which objects are finitely separated and upper bounded posets and arrows are continuous functions between them, is shown to be cartesian closed. This research is supported by the National Natural Science Foundation of China, 10471035.     

Two-parameter p, q-variation Paths and Integrations of Local Times

In this paper, we prove two main results. The first one is to give a new condition for the existence of two-parameter -variation path integrals. Our condition of locally bounded -variation is more natural and easy to verify than those of Young. This result can be easily generalized to multi-parameter case. The second result is to define the integral of local time pathwise and then give generalized It’s formula when is only of bounded -variation in . In the case that is of locally bounded variation in , the integral is the Lebesgue–Stieltjes integral and was used by Elworthy, Truman and Zhao. When is of only locally -variation, where , , and , the integral is a two-parameter Young integral of -variation rather than a Lebesgue–Stieltjes integral. In the special case that is independent of , we give a new condition for Meyer's formula and is defined pathwise as a Young integral. For this we prove the local time is of -variation in for each , for each almost surely (-variation in the sense of Lyons and Young, i.e. ).     

From light tails to heavy tails through multiplier

Let X and Y be two independent nonnegative random variables, of which X has a distribution belonging to the class or for some γ ≥ 0 and Y is unbounded. We study how their product XY inherits the tail behavior of X. Under some mild technical assumptions we prove that the distribution of XY belongs to the class or accordingly. Hence, the multiplier Y builds a bridge between light tails and heavy tails.      

Decomposable representations and Lagrangian submanifolds of moduli spaces associated to surface groups

The importance of explicit examples of Lagrangian submanifolds of moduli spaces is revealed by papers such as Dostoglou and Salamon (Ann. of Math (2), 139(3), 581–640, 1994) and Salamon (Proceedings of the international congress of mathematicians, vol.1, 2 (Zürich, 1994), pp. 526–536. Birkhäuser, Basel, 1995): given a 3-manifold M with boundary ?M = Σ, Dostoglou and Salamon use such examples to obtain a proof of the Atiyah-Floer conjecture relating the symplectic Floer homology of the representation space Hom(π₁(Σ = ?M), U)/U (associated to an explicit pair of Lagrangian submanifolds of this representation space) and the instanton homology of the 3-manifold M. In the present paper, we construct a Lagrangian submanifold of the space of representations ${\mathcal{M}_{g,l}:=Hom_\mathcal{C}(\pi_{g,l}, U)/U}The importance of explicit examples of Lagrangian submanifolds of moduli spaces is revealed by papers such as Dostoglou and Salamon (Ann. of Math (2), 139(3), 581–640, 1994) and Salamon (Proceedings of the international congress of mathematicians, vol.1, 2 (Zürich, 1994), pp. 526–536. Birkh?user, Basel, 1995): given a 3-manifold M with boundary ∂M = Σ, Dostoglou and Salamon use such examples to obtain a proof of the Atiyah-Floer conjecture relating the symplectic Floer homology of the representation space Hom(π₁(Σ = ∂M), U)/U (associated to an explicit pair of Lagrangian submanifolds of this representation space) and the instanton homology of the 3-manifold M. In the present paper, we construct a Lagrangian submanifold of the space of representations of the fundamental group π _g,l of a punctured Riemann surface Σ _g,l into an arbitrary compact connected Lie group U. This Lagrangian submanifold is obtained as the fixed-point set of an anti-symplectic involution defined on . We show that the involution is induced by a form-reversing involution β defined on the quasi-Hamiltonian space . The fact that has a non-empty fixed-point set is a consequence of the real convexity theorem for group-valued momentum maps proved in Schaffhauser (A real convexity theorem for quasi-Hamiltonian actions, submitted, 25 p, 2007. ). The notion of decomposable representation provides a geometric interpretation of the Lagrangian submanifold thus obtained. Supported by the Japanese Society for Promotion of Science (JSPS).     

Coherence for Product Monoids and their Actions

Let and be two monoids (algebras) in a monoidal category . Further let be a distributive law in the sense of [J. Beck, Lect. Notes Math., 80:119–140, 1969]; naturally yields a monoid . Consider a word in the symbols , , and . The first coherence theorem proved in this paper asserts that all morphisms coincide in , provided they arise as composites of morphisms which are -products of ’s ‘canonical’ structure morphisms, and of , , , , , , , and . Assume now that an object is endowed with both an -object structure , and an -object structure . Further assume that these two structures are compatible, in the sense that they naturally yield an -object . Let be a word in , , , and , which contains a single instance of , in the rightmost position. The second coherence theorem states that all morphisms coincide in , provided they arise as composites of morphisms which are -products of ’s ‘canonical’ structure morphisms, and of , , , , , , , , , and .     

<Emphasis Type="Italic">m</Emphasis>-Dissipativity of Some Gradient Systems with Measurable Potential

We consider the operator in L ²(B, ν) and in L ¹(B, ν) with Neumann boundary condition, where U is an unbounded function belonging to for some q ∈(1, ∞), B is the possibly unbounded convex open set in where U is finite and ν(dx) = C exp (−2U (x))dx is a probability measure, infinitesimally invariant for N ₀. We prove that the closure of N ₀ is a m-dissipative operator both in L ²(B, ν) and in L ¹(B, ν). Moreover we study the properties of ergodicity and strong mixing of the measure ν in the L ² case.      

On the Intertwining of \partial{\mathcal{D}}-Isometries

Let be a strictly pseudoconvex bounded domain in with C ² boundary . If a subnormal m-tuple T of Hilbert space operators has the spectral measure of its minimal normal extension N supported on , then T is referred to as a -isometry. Using some non-trivial approximation theorems in the theory of several complex variables, we establish a commutant lifting theorem for those -isometries whose (joint) Taylor spectra are contained in a special superdomain Ω of . Further, we provide a function-theoretic characterization of those subnormal tuples whose Taylor spectra are contained in Ω and that are quasisimilar to a certain (fixed) -isometry T (of which the multiplication tuple on the Hardy space of the unit ball in is a rather special example). Submitted: September 9, 2007. Revised: October 10, 2007. Accepted: October 24, 2007.     

A Mean-Value Inequality for Non-negative Solutions to the Linearized Monge–Ampère Equation

We prove a mean value inequality for non-negative solutions to in any domain Ω ⊂ ℝ ⁿ , where is the Monge–Ampère operator linearized at a convex function ϕ, under minimal assumptions on the Monge–Ampère measure of ϕ. An application to the Harnack inequality for affine maximal hypersurfaces is included.      

Fine Properties of the Integrated Density of States and a Quantitative Separation Property of the Dirichlet Eigenvalues

We consider one-dimensional difference Schr?dinger equations with real analytic function V(x). Suppose V(x) is a small perturbation of a trigonometric polynomial V ₀(x) of degree k ₀, and assume positive Lyapunov exponents and Diophantine ω. We prove that the integrated density of states is H?lder continuous for any k > 0. Moreover, we show that is absolutely continuous for a.e. ω. Our approach is via finite volume bounds. I.e., we study the eigenvalues of the problem on a finite interval [1, N] with Dirichlet boundary conditions. Then the averaged number of these Dirichlet eigenvalues which fall into an interval , does not exceed , k > 0. Moreover, for , this averaged number does not exceed exp , for any . For the integrated density of states of the problem this implies that for any . To investigate the distribution of the Dirichlet eigenvalues of on a finite interval [1, N] we study the distribution of the zeros of the characteristic determinants with complexified phase x, and frozen ω, E. We prove equidistribution of these zeros in some annulus and show also that no more than 2k ₀ of them fall into any disk of radius exp. In addition, we obtain the lower bound (with δ > 0 arbitrary) for the separation of the eigenvalues of the Dirichlet eigenvalues over the interval [0, N]. This necessarily requires the removal of a small set of energies. Received: February 2006, Accepted: December 2007     

Boundedly UC Spaces and Topologies on Function Spaces

A new interesting topology on graphs of partial maps is introduced. This topology can be considered as a natural extension to a non locally compact setting of former topologies defined by P. Brandi, R. Ceppitelli and K. Back, having applications in mathematical economics, differential equations and in the convergence of dynamic programming models. New characterizations of boundedly Atsuji spaces are given by the coincidence of and the topology τ _ucb of uniform convergence on bounded sets on C(X,Y) and by topological properties of .      

Regularity in Capacity and the Dirichlet Laplacian

Given an open set in , we prove that every function in is zero everywhere on the boundary if and only if is regular in capacity. If in addition is bounded, then it is regular in capacity if and only if the mapping from into is injective, where denotes the Perron solution of the Dirichlet problem. Let be the set of all open subsets of which are regular in capacity. Then one can define metrics and on only involving the resolvent of the Dirichlet Laplacian. Convergence in those metrics will be defined to be the local/global uniform convergence of the resolvent of the Dirichlet Laplacian applied to the constant function . We prove that the spaces and are complete and contain the set of all open sets which are regular in the sense of Wiener (or Dirichlet regular) as a closed subset.     

A Conditional 0–1 Law for the Symmetric <Emphasis Type="Italic">σ</Emphasis>-field

Let (Ω,ℬ,P) be a probability space, a sub-σ-field, and μ a regular conditional distribution for P given . For various, classically interesting, choices of (including tail and symmetric), we prove the following 0–1 law: There is a set such that P(A ₀)=1 and μ(ω)(A)∈{0,1} for all and ω∈A ₀. If ℬ is countably generated (and certain regular conditional distributions exist), the result applies whatever P is.      

Self-Similar Stable Processes Arising from High-Density Limits of Occupation Times of Particle Systems

We extend results on time-rescaled occupation time fluctuation limits of the (d, α, β)-branching particle system (0 < α ≤ 2, 0 < β ≤ 1) with Poisson initial condition. The earlier results in the homogeneous case (i.e., with Lebesgue initial intensity measure) were obtained for dimensions d > α / β only, since the particle system becomes locally extinct if d ≤ α / β. In this paper we show that by introducing high density of the initial Poisson configuration, limits are obtained for all dimensions, and they coincide with the previous ones if d > α / β. We also give high-density limits for the systems with finite intensity measures (without high density no limits exist in this case due to extinction); the results are different and harder to obtain due to the non-invariance of the measure for the particle motion. In both cases, i.e., Lebesgue and finite intensity measures, for low dimensions [d < α (1 + β) / β and d < α (2 + β) / (1 + β), respectively] the limits are determined by non-Lévy self-similar stable processes. For the corresponding high dimensions the limits are qualitatively different: -valued Lévy processes in the Lebesgue case, stable processes constant in time on (0,∞) in the finite measure case. For high dimensions, the laws of all limit processes are expressed in terms of Riesz potentials. If β = 1, the limits are Gaussian. Limits are also given for particle systems without branching, which yields in particular weighted fractional Brownian motions in low dimensions. The results are obtained in the setup of weak convergence of -valued processes. Research supported by MNiSW grant 1P03A1129 (Poland; T. Bojdecki and A. Talarczyk) and by CONACyT grant 45684-F (Mexico; L.G. Gorostiza).     

Collapsing Construction with Nilpotent Structures

A fundamental result concerning collapsed manifolds with bounded sectional curvature is the existence of compatible local nilpotent symmetry structures whose orbits capture all collapsed directions of the local geometry [CFG]. The underlying topological structure is called an N-structure of positive rank. We show that if a manifold M admits such an N-structure , then M admits a one-parameter family of metrics g _∈ with curvature bounded in absolute value while injectivity radii and the diameters of -orbits away from the singular set of uniformly converge to zero as . Moreover, g _∈ is -invariant away from the singular set. This result extends collapsing results in [CG1], [Fu3] and [G]. Q.C. supported partially by a Jingshi research fund from Beijing Normal University. X.R. supported partially by NSF Grant DMS 0504534 and by a Jingshi research fund from Beijing Normal University.     

Distribution of the maxima of random Takagi functions

This paper concerns the maximum value and the set of maximum points of a random version of Takagi’s continuous, nowhere differentiable function. Let F(x):=∑ _n=1^∞ ε _n ϕ(2 ⁿ⁻¹ x), x ∈ R, where ɛ ₁, ɛ ₂, ... are independent, identically distributed random variables taking values in {−1, 1}, and ϕ is the “tent map” defined by ϕ(x) = 2 dist (x, Z). Let p:= P (ɛ ₁ = 1), M:= max {F(x): x ∈ R}, and := {x ∈ [0, 1): F(x) = M}. An explicit expression for M is given in terms of the sequence {ɛ _n }, and it is shown that the probability distribution μ of M is purely atomic if p < , and is singular continuous if p ≧ . In the latter case, the Hausdorff dimension and the multifractal spectrum of μ are determined. It is shown further that the set is finite almost surely if p < , and is topologically equivalent to a Cantor set almost surely if p ≧ . The distribution of the cardinality of is determined in the first case, and the almost-sure Hausdorff dimension of is shown to be (2p − 1)/2p in the second case. The distribution of the leftmost point of is also given. Finally, some of the results are extended to the more general functions Σa ^{n − 1} ɛ _n ϕ(2 ^{n − 1} x), where 0 < a < 1.