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 .     

Existence and Stability Results for Renormalized Solutions to Noncoercive Nonlinear Elliptic Equations with Measure Data

In this paper we prove the existence of a renormalized solution to a class of nonlinear elliptic problems whose prototype is

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

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.     

Uniform Estimates of the Fundamental Solution for a Family of Hypoelliptic Operators

In this paper we are concerned with a family of elliptic operators represented as sum of square vector fields: , in where is the Laplace operator, , and the limit operator is hypoelliptic. It is well known that admits a fundamental solution . Here we establish some a priori estimates uniform in of it, using a modification of the lifting technique of Rothschild and Stein. As a consequence we deduce some a priori estimates uniform in , for solutions of the approximated equation . These estimates can be used in particular while studying regularity of viscosity solutions of nonlinear equations represented in terms of vector fields.     

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.     

Young Integrals and SPDEs

In this note, we study the non-linear evolution problem $dY_t = -A Y_t dt + B(Y_t) dX_t,$ where $XIn this note, we study the non-linear evolution problem where is a -H?lder continuous function of the time parameter, with values in a distribution space, and the generator of an analytical semigroup. Then, we will give some sharp conditions on in order to solve the above equation in a function space, first in the linear case (for any value of in ), and then when satisfies some Lipschitz type conditions (for ). The solution of the evolution problem will be understood in the mild sense, and the integrals involved in that definition will be of Young type.     

The Zaremba Problem with Singular Interfaces as a Corner Boundary Value Problem

We study mixed boundary value problems for an elliptic operator on a manifold with boundary , i.e., in on , where is subdivided into subsets with an interface and boundary conditions on that are Shapiro–Lopatinskij elliptic up to from the respective sides. We assume that is a manifold with conical singularity . As an example we consider the Zaremba problem, where is the Laplacian and Dirichlet, Neumann conditions. The problem is treated as a corner boundary value problem near which is the new point and the main difficulty in this paper. Outside the problem belongs to the edge calculus as is shown in Bull. Sci. Math. (to appear).With a mixed problem we associate Fredholm operators in weighted corner Sobolev spaces with double weights, under suitable edge conditions along of trace and potential type. We construct parametrices within the calculus and establish the regularity of solutions.     

Nonlinear Parabolic Equations with Regularized Derivatives in Colombeau Algebra

We consider several types of nonlinear parabolic equations with singular like potential and initial data. To prove the existence-uniqueness theorems we employ regularized derivatives. As a framework we use Colombeau space and Colombeau vector space      

The Pluri-Fine Topology is Locally Connected

We prove that the pluri-fine topology on any open set in is locally connected. This answers a question by Fuglede.     

Symmetric Stable Processes on Unbounded Domains

Let be a symmetric -stable process in , , . We give necessary and sufficient condition under which the expectation of a very general function of the exit time from horns is finite. These domains include the symmetric domains given by increasing functions studied earlier by various authors. Our methods differ from those in earlier papers in that we obtain our results from estimates on the transition densities instead of harmonic measure. Some of this estimates are of independent interest.Supported in part by NSF grant #9700585-DMS and RTN Harmonic Analysis and Related Problems contract HPRN-CT-2001-00273-HARP.     

Hilbert Space Representations of Cross Product Algebras II

In this paper, we study and classify Hilbert space representations of cross product -algebras of the quantized enveloping algebra with the coordinate algebras of the quantum motion group and of the complex plane, and of the quantized enveloping algebra with the coordinate algebras of the quantum group and of the quantum disc. Invariant positive functionals and the corresponding Heisenberg representations are explicitly described.Presented by S.L. Woronowicz.     

Martingales on Frame Bundles

Let M be a smooth manifold endowed with a symmetric connection . There are two important ways of lift the connection of M to the frame bundle BM, the canonical lift and the horizontal lift . The aim of this work is determine the -martingales and the -martingales on BM. Our results allow to establish new characterizations of harmonic maps from Riemannian manifolds to frame bundles. The research of P. Catuogno is supported in part by FAPESP 01/13158-4 and S. Stelmastchuk is fully supported by FAPESP 02/12154-8.     

Chernoff's Theorem and Discrete Time Approximations of Brownian Motion on Manifolds

Let be a one-parameter family of positive integral operators on a locally compact space . For a possibly non-uniform partition of define a finite measure on the path space by using a) for the transition between any two consecutive partition times of distance and b) a suitable continuous interpolation scheme (e.g. Brownian bridges or geodesics). If necessary normalize the result to get a probability measure. We prove a version of Chernoff's theorem of semigroup theory and tightness results which yield convergence in law of such measures as the partition gets finer. In particular let be a closed smooth submanifold of a manifold . We prove convergence of Brownian motion on , conditioned to visit at all partition times, to a process on whose law has a density with respect to Brownian motion on which contains scalar, mean and sectional curvatures terms. Various approximation schemes for Brownian motion on are also given.      

Second Order Elliptic Equations in $\mathbb{R}^{d} $ with Piecewise Continuous Coefficients

The existence and uniqueness of solutions of second order elliptic differential equations in are proved. The coefficients of second order terms are allowed to have discontinuity at finitely many parallel hyper-planes in and the first derivatives of solutions can have jumps at the hyper-planes.      

Estimates of the Green’s Functions for the Elasto-static Equations and Stokes Equations in a Three Dimensional Lipschitz Domain

In this paper, we study a Green’s functions G ^E , G ^S for an elasto-static equations and Stokes equations in a three-dimensional bounded Lipschitz domain Ω. We prove that there is a positive constant c > 0 depending on the Lipschitz constant such that for all . Furthermore, we show that there is a positive constant η ∈ (0,1) depending on the Lipschitz constant such that for all . The second author is partially supported by Korea Research Foundation Grant KRF C-00005.     

Schur–Weyl Reciprocity between the Quantum Superalgebra and the Iwahori–Hecke Algebra

In this paper, we establish Schur–Weyl reciprocity between the quantum general super Lie algebra and the Iwahori–Hecke algebra . We introduce the sign -permutation representation of on the tensor space of dimensional -graded -vector space . This action commutes with that of derived from the vector representation on . Those two subalgebras of satisfy Schur–Weyl reciprocity. As special cases, we obtain the super case (), and the quantum case (). Hence this result includes both the super case and the quantum case, and unifies those two important cases.Presented by A. Verschoren.     

Increasing functions and inverse Santaló inequality for unconditional functions

Let be a convex function and be its Legendre tranform. It is proved that if is invariant by changes of signs, then . This is a functional version of the inverse Santaló inequality for unconditional convex bodies due to J. Saint Raymond. The proof involves a general result on increasing functions on together with a functional form of Lozanovskii’s lemma. In the last section, we prove that for some c > 0, one has always . This generalizes a result of B. Klartag and V. Milman.      

Brake orbits type solutions to some class of semilinear elliptic equations

We consider a class of semilinear elliptic equations of the form

Branching Rules, Kostka–Foulkes Polynomials and q-multiplicities in Tensor Product for the Root Systems B n , C n and D n

The Kostka–Foulkes polynomials related to a root system can be defined as alternating sums running over the Weyl group associated to . By restricting these sums over the elements of the symmetric group when is of type or , we obtain again a class of Kostka–Foulkes polynomials. When is of type or there exists a duality between these polynomials and some natural -multiplicities and in tensor products [11]. In this paper we first establish identities for the which implies in particular that they can be decomposed as sums of Kostka–Foulkes polynomials with nonnegative integer coefficients. Moreover these coefficients are branching coefficients This allows us to clarify the connection between the -multiplicities and the polynomials defined by Shimozono and Zabrocki. Finally we show that and coincide up to a power of with the one dimension sum introduced by Hatayama and co-workers when all the parts of are equal to , which partially proves some conjectures of Lecouvey and Shimozono and Zabrocki.Presented by P. Littelmann.