Harmonic measures for a point may form a square

Let X be a Green domain in Rd, d?2, x∈X, and let Mx(P(X)) denote the compact convex set of all representing measures for x. Recently it has been proven that the set of harmonic measures , U open in X, x∈U, which is contained in the set of extreme points of Mx(P(X)), is dense in Mx(P(X)). In this paper, it is shown that Mx(P(X)) is not a simplex (and hence not a Poulsen simplex). This is achieved by constructing open neighborhoods U₀, U₁, U₂, U₃ of x such that the harmonic measures are pairwise different and . In fact, these measures form a square with respect to a natural L²-structure. Since the construction is mainly based on having certain symmetries, it can be carried out just as well for Riesz potentials, the Heisenberg group (or any stratified Lie algebra), and the heat equation (or more general parabolic situations).     

A further three critical points theorem

If X is a real Banach space, we denote by W_X the class of all functionals possessing the following property: if {u_n} is a sequence in X converging weakly to u∈X and lim inf_n→∞Φ(u_n)≤Φ(u), then {u_n} has a subsequence converging strongly to u.In this paper, we prove the following result:Let X be a separable and reflexive real Banach space; an interval; a sequentially weakly lower semicontinuous C¹ functional, belonging to W_X, bounded on each bounded subset of X and whose derivative admits a continuous inverse on X^∗; a C¹ functional with compact derivative. Assume that, for each λ∈I, the functional Φ−λJ is coercive and has a strict local, not global minimum, say .Then, for each compact interval [a,b]⊆I for which , there exists r>0 with the following property: for every λ∈[a,b] and every C¹ functional with compact derivative, there exists δ>0 such that, for each μ∈[0,δ], the equation

Φ^′(x)=λJ^′(x)+μΨ^′(x)     

Exposed sets in potential theory

Let U be a relatively compact open subset of a harmonic space, and H(U) be the function space of all continuous functions on which are harmonic on U. We give a complete characterization of the H(U)-exposed subsets of . This extends the results of [J. Lukeš, T. Mocek, M. Smr?ka, J. Spurný, Choquet like sets in function spaces, Bull. Sci. Math. 127 (2003) 397-437].     

On upper bounds for positive solutions of semilinear equations

Suppose that E is a bounded domain of class C^2,λ in and L is a uniformly elliptic operator in E. The set of all positive solutions of the equation Lu=ψ(u) in E was investigated by a number of authors for various classes of functions ψ. In Dynkin and Kuznetsov (Comm. Pure Appl. Math. 51 (1998) 897) we defined, for every Borel subset Γ of ∂E, two such solutions u_Γ?w_Γ. We also introduced a class of solutions u_ν in 1-1 correspondence with a certain class of σ-finite measures ν on ∂E. With every we associated a pair (Γ,ν) where Γ is a Borel subset of ∂E and . We called this pair the fine boundary trace of u and we denoted in tr(u).Let u⊕v stand for the maximal solution dominated by u+v. We say that u belongs to the class if the condition tr(u)=(Γ,ν) implies that u?w_Γ⊕u_ν and we say that u belongs to if the condition tr(u)=(Γ,ν) implies that u?u_Γ⊕u_ν.It was proved in Dynkin and Kuznetsov (1998) that, under minimal assumptions on L and ψ, the class contains all bounded domains. It follows from results of Mselati (Thése de Doctorat de l'Université Paris 6, 2002; C.R. Acad. Sci. Paris Sér. I 332 (2002); Mem. Amer. Math. Soc. (2003), to appear), that all E of the class C⁴ belong to where Δ is the Laplacian and ψ(u)=u². [Mselati proved that, in his case, u_Γ=w_Γ and therefore the condition tr(u)=(Γ,ν) implies u=u_Γ⊕u_ν=w_Γ⊕u_ν.]By modifying Mselati's arguments, we extend his result to ψ(u)=u^α with 1<α?2 and all bounded domains of class C^2,λ.We start from proving a general localization theorem: under broad assumptions on L, ψ if, for every y∈∂E there exists a domain such that E′⊂E and ∂E∩∂E′ contains a neighborhood of y in ∂E.     

Minimax theorems for limits of parametrized functions having at most one local minimum lying in a certain set

In this paper, we establish some minimax theorems, of purely topological nature, that, through the variational methods, can be usefully applied to nonlinear differential equations. Here is a (simplified) sample: Let X be a Hausdorff topological space, I⊆R an interval and . Assume that the function Ψ(x,⋅) is lower semicontinuous and quasi-concave in I for all x∈X, while the function Ψ(⋅,q) has compact sublevel sets and one local minimum at most for each q in a dense subset of I. Then, one has

     

Carleson measure problems for parabolic Bergman spaces and homogeneous Sobolev spaces

Let be the space of solutions to the parabolic equation having finite norm. We characterize nonnegative Radon measures μ on having the property , 1≤p≤q<∞, whenever . Meanwhile, denoting by v(t,x) the solution of the above equation with Cauchy data v₀(x), we characterize nonnegative Radon measures μ on satisfying , β∈(0,n), p∈[1,n/β], q∈(0,∞). Moreover, we obtain the decay of v(t,x), an isocapacitary inequality and a trace inequality.     

A family of invariants of rooted forests

Let A be a commutative k-algebra over a field of k and Ξ a linear operator defined on A. We define a family of A-valued invariants Ψ for finite rooted forests by a recurrent algorithm using the operator Ξ and show that the invariant Ψ distinguishes rooted forests if (and only if) it distinguishes rooted trees T, and if (and only if) it is finer than the quantity α(T)=|Aut(T)| of rooted trees T. We also consider the generating function with , where is the set of rooted trees with n vertices. We show that the generating function U(q) satisfies the equation . Consequently, we get a recurrent formula for U_n (n?1), namely, U₁=Ξ(1) and U_n=ΞS_n−1(U₁,U₂,…,U_n−1) for any n?2, where are the elementary Schur polynomials. We also show that the (strict) order polynomials and two well-known quasi-symmetric function invariants of rooted forests are in the family of invariants Ψ and derive some consequences about these well-known invariants from our general results on Ψ. Finally, we generalize the invariant Ψ to labeled planar forests and discuss its certain relations with the Hopf algebra in Foissy (Bull. Sci. Math. 126 (2002) 193) spanned by labeled planar forests.     

Density of extremal measures in parabolic potential theory

It is shown that, for the heat equation on , d ≥ 1, any convex combination of harmonic (= caloric) measures , where U ₁, . . . , U _k are relatively compact open neighborhoods of a given point x, can be approximated by a sequence of harmonic measures such that each W _n is an open neighborhood of x in . Moreover, it is proven that, for every open set U in containing x, the extremal representing measures for x with respect to the convex cone of potentials on U (these measures are obtained by balayage, with respect to U, of the Dirac measure at x on Borel subsets of U) are dense in the compact convex set of all representing measures. Since essential ingredients for a proof of corresponding results in the classical case (or more general elliptic situations; see Hansen and Netuka in Adv. Math. 218(4):1181–1223, 2008) are not available for the heat equation, an approach heavily relying on the transit character of the hyperplanes , , is developed. In fact, the new method is suitable to obtain convexity results for limits of harmonic measures and the density of extremal representing measures on for practically every space–time structure which is given by a sub-Markov semigroup (P _t ) _t>0 on a space X′ such that there are strictly positive continuous densities with respect to a (non-atomic) measure on X′. In particular, this includes many diffusions and corresponding symmetric processes given by heat kernels on manifolds and fractals. Moreover, the results may be applied to restrictions of the space–time structure on arbitrary open subsets. I. Netuka’s research was supported in part by the project MSM 0021620839 financed by MSMT, by the grant 201/07/0388 of the Grant Agency of the Czech Republic, and by CRC-701, Bielefeld.     

Compact almost automorphic solutions to integral equations with infinite delay

Given a∈L¹(R) and the generator A of an L¹-integrable resolvent family of linear bounded operators defined on a Banach space X, we prove the existence of compact almost automorphic solutions of the semilinear integral equation for each f:R×X→X compact almost automorphic in t, for each x∈X, and satisfying Lipschitz and Hölder type conditions. In the scalar linear case, we prove that a∈L¹(R) positive, nonincreasing and log-convex is sufficient to obtain the existence of compact almost automorphic solutions.     

The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras

The probability measures on compact Hausdorff spaces K form a compact convex subset PK of the space of measures with the vague topology. Every continuous map of compact Hausdorff spaces induces a continuous affine map extending f. Together with the canonical embedding associating to every point its Dirac measure and the barycentric map β associating to every probability measure on PK its barycenter, we obtain a monad (P,ε,β). The Eilenberg-Moore algebras of this monad have been characterised to be the compact convex sets embeddable in locally convex topological vector spaces by Swirszcz [T. Swirszcz, Monadic functors and convexity, Bul. Acad. Polon. Sci. Sér. Sci. Math. Astron. Phys. 22 (1974) 39-42].We generalise this result to compact ordered spaces in the sense of Nachbin [L. Nachbin, Topology and Order, Von Nostrand, Princeton, NJ, 1965. Translated from the 1950 monograph “Topologia e Ordem” (in Portugese). Reprinted by Robert E. Kreiger Publishing Co., Huntington, NY, 1967]. The probability measures form again a compact ordered space when endowed with the stochastic order. The maps ε and β are shown to preserve the stochastic orders. Thus, we obtain a monad over the category of compact ordered spaces and order preserving continuous maps. The algebras of this monad are shown to be the compact convex ordered sets embeddable in locally convex ordered topological vector spaces.This result can be seen as a step towards the characterisation of the algebras of the monad of probability measures on the category of stably compact spaces (see [G. Gierz, K.H. Hofmann, K. Keimel, J.D. Lawson, M. Mislove, D.S. Scott, Continuous Lattices and Domains, Encyclopedia Math. Appl., vol. 93, Cambridge University Press, 2003, Section VI-6]).     

On an eigenvalue problem involving variable exponent growth conditions

We study the problem in Ω, u=0 on ∂Ω, where Ω is a bounded domain in R^N, is a continuous function and λ and ε are two positive constants. We prove that for any ε>0 each λ∈(0,λ₁) is an eigenvalue of the above problem, where λ₁ is the principal eigenvalue of the Laplace operator on Ω. Moreover, for each eigenvalue λ∈(0,λ₁) it corresponds a unique eigenfunction. The proofs will be based on the Banach fixed point theorem combined with adequate variational techniques.     

The bicompletion of the Hausdorff quasi-uniformity

We study conditions under which the Hausdorff quasi-uniformity UH of a quasi-uniform space (X,U) on the set P₀(X) of the nonempty subsets of X is bicomplete.Indeed we present an explicit method to construct the bicompletion of the T₀-quotient of the Hausdorff quasi-uniformity of a quasi-uniform space. It is used to find a characterization of those quasi-uniform T₀-spaces (X,U) for which the Hausdorff quasi-uniformity of their bicompletion on is bicomplete.     

Transmission problems and spectral theory for singular integral operators on Lipschitz domains

We prove the well-posedness of the transmission problem for the Laplacian across a Lipschitz interface, with optimal non-tangential maximal function estimates, for data in Lebesgue and Hardy spaces on the boundary. As a corollary, we show that the spectral radius of the (adjoint) harmonic double layer potential K∗ in is less than , whenever is a bounded convex domain and 1<p?2.     

Deduction of L. Hörmander's extension of Ásgeirsson's mean value theorem

L. Hörmander's extension of Ásgeirsson's mean value theorem states that if u is a solution of the inhomogeneous ultrahyperbolic equation (Δ_x−Δ_y)u=f, , , then

     

A bounded property for gradients of diffusion semigroups on Euclidean spaces

We consider uniformly elliptic diffusion processes X(t,x) on Euclidean spaces , with some conditions in terms of the drift term (see assumptions A2 and A3). By using interpolation theory, we show a bounded property which gives an estimate of involving |x| and but not ||∇f||_∞, and a power of smaller than 1.     

Quasi sure analysis of local times of anticipating smooth semimartingales

Let be the anticipating smooth semimartingale and be its generalized local time. In this paper, we give some estimates about the quasi sure property of Xt and its quadratic variation process t〈X〉. We also study the fractional smoothness of and prove that the quadratic variation process of can be constructed as the quasi sure limit of the form , where is a sequence of subdivisions of [a,b], , i=0,1,…,n².