The enriched Vietoris monad on representable spaces

Employing a formal analogy between ordered sets and topological spaces, over the past years we have investigated a notion of cocompleteness for topological, approach and other kind of spaces. In this new context, the down-set monad becomes the filter monad, cocomplete ordered set translates to continuous lattice, distributivity means disconnectedness, and so on. Curiously, the dual(?) notion of completeness does not behave as the mirror image of the one of cocompleteness; and in this paper we have a closer look at complete spaces. In particular, we construct the “up-set monad” on representable spaces (in the sense of L. Nachbin for topological spaces, respectively C. Hermida for multicategories); we show that this monad is of Kock–Zöberlein type; we introduce and study a notion of weighted limit similar to the classical notion for enriched categories; and we describe the Kleisli category of our “up-set monad”. We emphasise that these generic categorical notions and results can be indeed connected to more “classical” topology: for topological spaces, the “up-set monad” becomes the lower Vietoris monad, and the statement “X   is totally cocomplete if and only if X^op$X^{\mathrm{op}}$ is totally complete” specialises to O. Wyler's characterisation of the algebras of the Vietoris monad on compact Hausdorff spaces as precisely the continuous lattices.     

Rigidity of symmetric products

Given a metric continuum X, we consider the following hyperspaces of X  : 2^X$2^X$, _Cn(X)$C_n(X)$ and _Fn(X)$F_n(X)$ (n∈N$n\in \mathbb{N}$). Let _F1(X)={{x}:x∈X}$F_1(X)=\{\{x\}:x\in X\}$. A hyperspace K(X)$K(X)$ of X   is said to be rigid provided that for every homeomorphism h:K(X)→K(X)$h:K(X)\to K(X)$ we have that h(_F1(X))=_F1(X)$h(F_1(X))=F_1(X)$. In this paper we study under which conditions a continuum X   has a rigid hyperspace _Fn(X)$F_n(X)$.     

Constant-sign and sign-changing solutions for nonlinear eigenvalue problems

We prove the existence of multiple constant-sign and sign-changing solutions for a nonlinear elliptic eigenvalue problem under Dirichlet boundary condition involving the p$p$-Laplacian. More precisely, we establish the existence of a positive solution, of a negative solution, and of a nontrivial sign-changing solution when the eigenvalue parameter λ$\lambda$ is greater than the second eigenvalue _λ2${\lambda }_2$ of the negative p$p$-Laplacian, extending results by Ambrosetti–Lupo, Ambrosetti–Mancini, and Struwe. Our approach relies on a combined use of variational and topological tools (such as, e.g., critical points, Mountain-Pass theorem, second deformation lemma, variational characterization of the first and second eigenvalue of the p$p$-Laplacian) and comparison arguments for nonlinear differential inequalities. In particular, the existence of extremal nontrivial constant-sign solutions plays an important role in the proof of sign-changing solutions.     

Affine transformations of finite vector spaces with large orders or few cycles

Let V be a d-dimensional vector space over a field of prime order p. We classify the affine transformations of V   of order at least p^d/4$p^d/4$, and apply this classification to determine the finite primitive permutation groups of affine type, and of degree n  , that contain a permutation of order at least n/4$n/4$. Using this result we obtain a classification of finite primitive permutation groups of affine type containing a permutation with at most four cycles.     

Global existence and asymptotic behaviour of solutions for the generalized Boussinesq equation

In this paper, we prove the existence and the uniqueness of global solution for the Cauchy problem for the generalized Boussinesq equation. Under some assumptions, we also show that the _L∞$L_{\infty }$ norm of small solution of the Cauchy problem for the generalized Boussinesq equation decays to zero as t$t$ tends to the infinity.     

Transversality family of expanding rational semigroups

We study finitely generated expanding semigroups of rational maps with overlaps on the Riemann sphere. We show that if a d$d$-parameter family of such semigroups satisfies the transversality condition, then for almost every parameter value the Hausdorff dimension of the Julia set is the minimum of 2 and the zero of the pressure function. Moreover, the Hausdorff dimension of the exceptional set of parameters is estimated. We also show that if the zero of the pressure function is greater than 2$2$, then typically the 2-dimensional Lebesgue measure of the Julia set is positive. Some sufficient conditions for a family to satisfy the transversality conditions are given. We give non-trivial examples of families of semigroups of non-linear polynomials with the transversality condition for which the Hausdorff dimension of the Julia set is typically equal to the zero of the pressure function and is less than 2$2$. We also show that a family of small perturbations of the Sierpinski gasket system satisfies that for a typical parameter value, the Hausdorff dimension of the Julia set (limit set) is equal to the zero of the pressure function, which is equal to the similarity dimension. Combining the arguments on the transversality condition, thermodynamical formalisms and potential theory, we show that for each a∈C$a\in \mathbb{C}$ with |a|≠0,1$\left|a\right|\ne 0,1$, the family of small perturbations of the semigroup generated by {z²,az²}$\{z^2,a{z}^2\}$ satisfies that for a typical parameter value, the 2-dimensional Lebesgue measure of the Julia set is positive.     

Nonlinear diffusion with a bounded stationary level surface

We consider nonlinear diffusion of some substance in a container (not necessarily bounded) with bounded boundary of class C²$C^2$. Suppose that, initially, the container is empty and, at all times, the substance at its boundary is kept at density 1. We show that, if the container contains a proper C²$C^2$-subdomain on whose boundary the substance has constant density at each given time, then the boundary of the container must be a sphere. We also consider nonlinear diffusion in the whole RN${\mathbb{R}}^N$ of some substance whose density is initially a characteristic function of the complement of a domain with bounded C²$C^2$ boundary, and obtain similar results. These results are also extended to the heat flow in the sphere SN${\mathbb{S}}^N$ and the hyperbolic space HN${\mathbb{H}}^N$.     

A spectral radius type formula for approximation numbers of composition operators

For approximation numbers _an(_Cφ)$a_n(C_{\phi })$ of composition operators _Cφ$C_{\phi }$ on weighted analytic Hilbert spaces, including the Hardy, Bergman and Dirichlet cases, with symbol φ   of uniform norm <1, we prove that _limn→∞?[_an(_Cφ)]^1/n=e^{−1/Cap[φ(D)]}${\lim }_{n\to \infty }?{[a_n(C_{\phi })]}^{1/n}={\mathrm{e}}^{-1/\mathrm{Cap}[\phi (\mathbb{D})]}$, where Cap[φ(D)]$\mathrm{Cap}[\phi (\mathbb{D})]$ is the Green capacity of φ(D)$\phi (\mathbb{D})$ in D$\mathbb{D}$. This formula holds also for H^p$H^p$ with 1≤p<∞$1\le p<\infty$.     

Logarithmic bump conditions and the two-weight boundedness of Calderón–Zygmund operators

We prove that if a pair of weights (u,v)$(u,v)$ satisfies a sharp _Ap$A_p$-bump condition in the scale of all log bumps or certain loglog bumps, then Haar shifts map L^p(v)$L^p(v)$ into L^p(u)$L^p(u)$ with a constant quadratic in the complexity of the shift. This in turn implies the two weight boundedness for all Calderón–Zygmund operators. This gives a partial answer to a long-standing conjecture. We also give a partial result for a related conjecture for weak-type inequalities. To prove our main results we combine several different approaches to these problems; in particular we use many of the ideas developed to prove the _A2$A_2$ conjecture. As a byproduct of our work we also disprove a conjecture by Muckenhoupt and Wheeden on weak-type inequalities for the Hilbert transform. This is closely related to the recent counterexamples of Reguera, Scurry and Thiele.     

Some convergence results for quasilinear parabolic boundary value problems in cylindrical domains of large size

The goal of this paper is to study the asymptotic behavior of the solution of the quasilinear parabolic boundary value problems defined on cylindrical domains when one or several directions go to infinity. We show that the dimension of the space can be reduced and the rate of convergence is analyzed. The evolution p$p$-Laplacian equations and the generalized heat problems are considered.     

Inequivalent representations of matroids over prime fields

It is proved that for each prime field GF(p)$\mathit{GF}(p)$, there is an integer _np$n_p$ such that a 4-connected matroid has at most _np$n_p$ inequivalent representations over GF(p)$\mathit{GF}(p)$. We also prove a stronger theorem that obtains the same conclusion for matroids satisfying a connectivity condition, intermediate between 3-connectivity and 4-connectivity that we term “k-coherence”.