An approximation method for strictly pseudocontractive mappings

Let K$K$ be a closed convex subset of a q$q$-uniformly smooth separable Banach space, T:K→K$T:K\to K$ a strictly pseudocontractive mapping, and f:K→K$f:K\to K$ an L$L$-Lispschitzian strongly pseudocontractive mapping. For any t∈(0,1)$t\in (0,1)$, let _xt$x_t$ be the unique fixed point of tf+(1-t)T$\mathit{tf}+(1-t)T$. We prove that if T$T$ has a fixed point, then {_xt}$\{x_t\}$ converges to a fixed point of T$T$ as t$t$ approaches to 0.     

Concentration and multiplicity of solutions for a fourth-order equation with critical nonlinearity

In this paper, we consider the problem (_Pε)$(P_{\epsilon })$ : Δ²u=u^n+4/n-4+εu,u>0${\mathrm{\Delta }}^{2}u=u^{n+4/n-4}+\epsilon u,u>0$ in Ω,u=Δu=0$\Omega ,u=\mathrm{\Delta }u=0$ on ∂Ω$\mathrm{\partial }\Omega$, where Ω$\Omega$ is a bounded and smooth domain in Rⁿ,n>8${\mathbb{R}}^n,n>8$ and ε>0$\epsilon >0$. We analyze the asymptotic behavior of solutions of (_Pε)$(P_{\epsilon })$ which are minimizing for the Sobolev inequality as ε→0$\epsilon \to 0$ and we prove existence of solutions to (_Pε)$(P_{\epsilon })$ which blow up and concentrate around a critical point of the Robin's function. Finally, we show that for ε$\epsilon$ small, (_Pε)$(P_{\epsilon })$ has at least as many solutions as the Ljusternik–Schnirelman category of Ω$\Omega$.     

On the norming constants for normal maxima

Given n   independent standard normal random variables, it is well known that their maxima _Mn$M_n$ can be normalized such that their distribution converges to the Gumbel law. In a remarkable study, Hall proved that the Kolmogorov distance _dn$d_n$ between the normalized _Mn$M_n$ and its associated limit distribution is less than 3/log?n$3/\log ?n$. In the present study, we propose a different set of norming constants that allow this upper bound to be decreased with _dn≤C(m)/log?n$d_n\le C(m)/\log ?n$ for n≥m≥5$n\ge m\ge 5$. Furthermore, the function C(m)$C(m)$ is computed explicitly, which satisfies C(m)≤1$C(m)\le 1$ and _limm→∞?C(m)=1/3${\lim }_{m\to \infty }?C(m)=1/3$. As a consequence, some new and effective norming constants are provided using the asymptotic expansion of a Lambert W type function.     

Regularity for the fractional Gelfand problem up to dimension 7

We study the problem (−Δ)^su=λe^u${(-\mathrm{\Delta })}^{s}u=\lambda e^u$ in a bounded domain Ω⊂Rⁿ$\Omega \subset {\mathbb{R}}^n$, where λ   is a positive parameter. More precisely, we study the regularity of the extremal solution to this problem. Our main result yields the boundedness of the extremal solution in dimensions n≤7$n\le 7$ for all s∈(0,1)$s\in (0,1)$ whenever Ω   is, for every i=1,...,n$i=1,...,n$, convex in the _xi$x_i$-direction and symmetric with respect to {_xi=0}$\{x_i=0\}$. The same holds if n=8$n=8$ and s?0.28206...$s?0.28206...$, or if n=9$n=9$ and s?0.63237...$s?0.63237...$. These results are new even in the unit ball Ω=_B1$\Omega =B_1$.     

Description of extended eigenvalues and extended eigenvectors of integration operators on the Wiener algebra

In the present paper we consider the Volterra integration operator V   on the Wiener algebra W(D)$W(\mathbb{D})$ of analytic functions on the unit disc D$\mathbb{D}$ of the complex plane C$\mathbb{C}$. A complex number λ$\lambda$ is called an extended eigenvalue of V if there exists a nonzero operator A   satisfying the equation AV=λVA$\mathit{AV}=\lambda \mathit{VA}$. We prove that the set of all extended eigenvalues of V   is precisely the set C?{0}$\mathbb{C}?\{0\}$, and describe in terms of Duhamel operators and composition operators the set of corresponding extended eigenvectors of V$V$. The similar result for some weighted shift operator on _?p${?}_p$ spaces is also obtained.     

Selections and their absolutely continuous invariant measures

Let I=[0,1]$I=[0,1]$ and let P be a partition of I   into a finite number of intervals. Let _τ1${\tau }_1$, _τ2${\tau }_2$; I→I$I\to I$ be two piecewise expanding maps on P  . Let G⊂I×I$G\subset I\times I$ be the region between the boundaries of the graphs of _τ1${\tau }_1$ and _τ2${\tau }_2$. Any map τ:I→I$\tau :I\to I$ that takes values in G is called a selection of the multivalued map defined by G  . There are many results devoted to the study of the existence of selections with specified topological properties. However, there are no results concerning the existence of selection with measure-theoretic properties. In this paper we prove the existence of selections which have absolutely continuous invariant measures (acim). By our assumptions we know that _τ1${\tau }_1$ and _τ2${\tau }_2$ possess acims preserving the distribution functions F⁽¹⁾$F^{(1)}$ and F⁽²⁾$F^{(2)}$. The main result shows that for any convex combination F   of F⁽¹⁾$F^{(1)}$ and F⁽²⁾$F^{(2)}$ we can find a map η   with values between the graphs of _τ1${\tau }_1$ and _τ2${\tau }_2$ (that is, a selection) such that F is the η-invariant distribution function. Examples are presented. We also study the relationship of the dynamics of our multivalued maps to random maps.     

Crossing number additivity over edge cuts

Consider a graph G$G$ with a minimal edge cut F$F$ and let _G1$G_1$, _G2$G_2$ be the two (augmented) components of G−F$G-F$. A long-open question asks under which conditions the crossing number of G$G$ is (greater than or) equal to the sum of the crossing numbers of _G1$G_1$ and _G2$G_2$—which would allow us to consider those graphs separately. It is known that crossing number is additive for |F|∈{0,1,2}$\left|F\right|\in \{0,1,2\}$ and that there exist graphs violating this property with |F|≥4$\left|F\right|\ge 4$. In this paper, we show that crossing number is additive for |F|=3$\left|F\right|=3$, thus closing the final gap in the question.     

Hypergroups and invariant complemented subspaces

Let K   be a hypergroup with a Haar measure. The purpose of the present paper is to initiate a systematic approach to the study of the class of invariant complemented subspaces of _L∞(K)$L_{\infty }(K)$ and _C0(K)$C_0(K)$, the class of left translation invariant w^?$w^{?}$-subalgebras of _L∞(K)$L_{\infty }(K)$ and finally the class of non-zero left translation invariant C^?$C^{?}$-subalgebras of _C0(K)$C_0(K)$ in the hypergroup context with the goal of finding some relations between these function spaces. Among other results, we construct two correspondences: one, between closed Weil subhypergroups and certain left translation invariant w^?$w^{?}$-subalgebras of _L∞(K)$L_{\infty }(K)$, and another, between compact subhypergroups and a specific subclass of the class of left translation invariant C^?$C^{?}$-subalgebras of _C0(K)$C_0(K)$. By the help of these two characterizations, we extract some results about invariant complemented subspaces of _L∞(K)$L_{\infty }(K)$ and _C0(K)$C_0(K)$.     

Disjoint paths in tournaments

Given k   pairs of vertices (_si,_ti)$(s_i,t_i)$(1≤i≤k)$(1\le i\le k)$ of a digraph G, how can we test whether there exist k   vertex-disjoint directed paths from _si$s_i$ to _ti$t_i$ for 1≤i≤k$1\le i\le k$? This is NP-complete in general digraphs, even for k=2$k=2$ [2], but for k=2$k=2$ there is a polynomial-time algorithm when G is a tournament (or more generally, a semicomplete digraph), due to Bang-Jensen and Thomassen [1]. Here we prove that for all fixed k there is a polynomial-time algorithm to solve the problem when G is semicomplete.     

A continuum of unusual self-adjoint linear partial differential operators

In an earlier publication a linear operator _THar$T_{\mathrm{Har}}$ was defined as an unusual self-adjoint extension generated by each linear elliptic partial differential expression, satisfying suitable conditions on a bounded region Ω$\Omega$ of some Euclidean space. In this present work the authors define an extensive class of _THar$T_{\mathrm{Har}}$-like self-adjoint operators on the Hilbert function space _L2(Ω);$L_2(\Omega );$ but here for brevity we restrict the development to the classical Laplacian differential expression, with Ω$\Omega$ now the planar unit disk. It is demonstrated that there exists a non-denumerable set of such _THar$T_{\mathrm{Har}}$-like operators (each a self-adjoint extension generated by the Laplacian), each of which has a domain in _L2(Ω)$L_2(\Omega )$ that does not lie within the usual Sobolev Hilbert function space W²(Ω)$W^2(\Omega )$. These _THar$T_{\mathrm{Har}}$-like operators cannot be specified by conventional differential boundary conditions on the boundary of ∂Ω$\mathrm{\partial }\Omega$, and may have non-empty essential spectra.