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

Gap, Excess and Bornological Convergence

Let be the nonempty subsets of a metric space 〈X, d〉. Some classical convergences in - such as convergence in Hausdorff distance, Attouch-Wets convergence and Wijsman convergence - have been shown to be compatible with the weak topology on induced by all gap and excess functionals with fixed left argument ranging in some bornology. Here we consider an arbitrary ideal of subsets of X and compare the gap and excess topology so generated with the corresponding convergence defined in terms of truncations by elements of the ideal. Dedicated to the memory of Flora Daniel.     

The geometric invariants $${\Omega^{n}}$$ of a product of groups

We compute the geometric invariants of a product G × H of groups in terms of and . This gives a sufficient condition in terms of and for a normal subgroup of G × H with abelian quotient to be of type F _n . We give an example involving the direct product of the Baumslag–Solitar group BS_1,2 with itself.      

Inertial Iterative Process for Fixed Points of Certain Quasi-nonexpansive Mappings

This paper deals with a general formalism which consists in approximating a point in a nonempty set , in a real Hilbert space , by a sequence such that , where , are in and is a sequence included in a certain class of self-mappings on , such that every fixed point set of contains . This iteration method is inspired by an implicit discretization of the second order ‘heavy ball with friction’ dynamical system. Under suitable conditions on the parameters and the operators , we prove that this scheme generates a sequence which converges weakly to an element of . In particular, by appropriate choices of , this algorithm works for approximating common fixed points of infinite countable families of a wide class of operators which includes -averaged quasi-nonexpansive mappings for .      

What is so special with the powerset operation?

The powerset operator, , is an operator which (1) sends sets to sets,(2) is defined by a positive formula and (3) raises the cardinality of its argument, i.e., |(x)|>|x|. As a consequence of (3), has a proper class as least fixed point (the universe itself). In this paper we address the questions: (a) How does contribute to the generation of the class of all positive operators? (b) Are there other operators with the above properties, independent of ? Concerning (a) we show that every positive operator is a combination of the identity, powerset, and almost constant operators. This enables one to define what a -independent operator is. Concerning (b) we show that every -independent bounded positive operator is not -like.Mathematics Subject Classification (2000): Primary 03E05, secondary 03E20     

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 .     

Extremal stochastic integrals: a parallel between max-stable processes and α-stable processes

We construct extremal stochastic integrals of a deterministic function with respect to a random Fréchet () sup-measure. The measure is sup-additive rather than additive and is defined over a general measure space , where is a deterministic control measure. The extremal integral is constructed in a way similar to the usual stable integral, but with the maxima replacing the operation of summation. It is well-defined for arbitrary , and the metric metrizes the convergence in probability of the resulting integrals.This approach complements the well-known de Haan's spectral representation of max-stable processes with Fréchet marginals. De Haan's representation can be viewed as the max-stable analog of the LePage series representation of stable processes, whereas the extremal integrals correspond to the usual stable stochastic integrals. We prove that essentially any strictly stable process belongs to the domain of max-stable attraction of an Fréchet, max-stable process. Moreover, we express the corresponding Fréchet processes in terms of extremal stochastic integrals, involving the kernel function of the stable process. The close correspondence between the max-stable and stable frameworks yields new examples of max-stable processes with non-trivial dependence structures.This research was partially supported by a fellowship of the Horace H. Rackham School of Graduate Studies at the University of Michigan and the NSF Grant DMS-0505747 at Boston University.     

Regularity of Solution Maps of Differential Inclusions Under State Constraints

Consider a differential inclusion under state constraints

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 .      

The Gold Partition Conjecture

We present the Gold Partition Conjecture which immediately implies the – Conjecture and tight upper bound for sorting. We prove the Gold Partition Conjecture for posets of width two, semiorders and posets containing at most elements. We prove that the fraction of partial orders on an -element set satisfying our conjecture converges to when approaches infinity. We discuss properties of a hypothetical counterexample.     

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.     

A Dual Criterion for Maximal Monotonicity of Composition Operators

In this paper we present a dual criterion for the maximal monotonicity of the composition operator , where is a maximal monotone (set-valued) operator and is a continuous linear map with the adjoint , and are reflexive Banach spaces, and the product notation indicates composition. The dual criterion is expressed in terms of the closure condition involving the epigraph of the conjugate of Fitzpatrick function associated with , and the operator As an easy application, a dual criterion for the maximality of the sum of two maximal monotone operators is also given. The work of this author was completed while at the School of Mathematics, University of New South Wales, Sydney, Australia.     

Generalized Differential Inclusions in Banach Spaces

We study a new type of solutions to differential inclusions in Banach spaces, which we call directional solutions. The idea is based on the observation that for a differentiable function and a closed set

Number of Complete N-ary Subtrees on Galton-Watson Family Trees

We associate with a Bienaymé-Galton-Watson branching process a family tree rooted at the ancestor. For a positive integer , define a complete -ary tree to be the family tree of a deterministic branching process with offspring generating function . We study the random variables and counting the number of disjoint complete -ary subtrees, rooted at the ancestor, and having height and , respectively. Dekking (1991) and Pakes and Dekking (1991) find recursive relations for and involving the offspring probability generation function (pgf) and its derivatives. We extend their results determining the probability distributions of and . It turns out that they can be expressed in terms of the offspring pgf, its derivatives, and the above probabilities. We show how the general results simplify in case of fractional linear, geometric, Poisson, and one-or-many offspring laws.      

-measures for branching exit Markov systems and their applications to differential equations

Semilinear equations Lu=(u) where L is an elliptic differential operator and is a positive function can be investigated by using (L,)-superdiffusions. In a special case u=u² a powerful probabilistic tool – the Brownian snake – introduced by Le Gall was successfully applied by him and his school to get deep results on solutions of this equation. Some of these results (but not all of them) were extended by Dynkin and Kuznetsov to general equations by applying superprocesses. An important role in the theory of the Brownian snake and its applications is played by measures _x on the space of continuous paths. Our goal is to introduce analogous measures related to superprocesses (and to general branching exit Markov systems). They are defined on the space of measures and we call them -measures. Using -measures allows to combine some advantages of Brownian snakes and of superprocesses as tools for a study of semilinear PDEs.Partially supported by National Science Foundation Grant DMS-0204237 and DMS-9971009Mathematics Subject Classification (2000): Primary 31C15, Secondary 35J65, 60J60     

The \bar \partial -Neumann operator and commutators of the Bergman projection and multiplication operators

We prove that compactness of the canonical solution operator to restricted to (0, 1)-forms with holomorphic coefficients is equivalent to compactness of the commutator defined on the whole L _(0,1)²(Ω), where is the multiplication by and is the orthogonal projection of L _(0,1)²(Ω) to the subspace of (0, 1) forms with holomorphic coefficients. Further we derive a formula for the -Neumann operator restricted to (0, 1) forms with holomorphic coefficients expressed by commutators of the Bergman projection and the multiplications operators by z and . Partially supported by the FWF grant P19147-N13.     

On <Emphasis Type="Italic">L</Emphasis><Subscript>α,ω</Subscript> complete extensions of complete theories of Boolean algebras

For a complete first order theory of Boolean algebras T which has nonisomorphic countable models, we determine the first limit ordinal = (T) such that We show that for some and for all other Ts, A nonprincipal ideal I of B is almost principal, if a is a principal ideal of B} is a maximal ideal of B. We show that the theory of Boolean algebras with an almost principal ideal has complete extensions and characterize them by invariants similar to the Tarskis invariants.Mathematics Subject Classification (2000): Primary 03C15, Secondary 03C35, 06E05Revised version: 2 February 2004     

Bounded universal functions in one and several complex variables

We show how to obtain functions that are universal for the ball of , where . The existence of our functions will follow from universality criteria, but we also show how to construct them. Then we study the connection between certain interpolating sequences, runaway automorphisms, and the existence of universal functions on domains in .      

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.      

On Approximate Efficiency in Multiobjective Programming

This paper is focused on approximate ( -efficient) solutions of multiobjective mathematical programs. We introduce a new -efficiency concept which extends and unifies different notions of approximate solution defined in the literature. We characterize these -efficient solutions in convex multiobjective programs through approximate solutions of linear scalarizations, which allow us to obtain parametric representations of different -efficiency sets. Several classical -efficiency notions are considered in order to show the concepts introduced and the results obtained.This research was partially supported by Ministerio de Ciencia y Tecnología (Spain), project BFM2003-02194.