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

On multilinear polynomials in four variables evaluated on matrices

Let K   be an algebraically closed field of characteristic 0 and let _Mn(K)$M_n(K)$, n?3$n?3$, be the matrix ring over K  . We will show that the image of any multilinear polynomial in four variables evaluated on _Mn(K)$M_n(K)$ contains all matrices of trace 0.     

Asymptotic expansions for elliptic-like regularizations of semilinear evolution equations

Consider in a real Hilbert space H the Cauchy problem (_P0$P_0$): u^′(t)+Au(t)+Bu(t)=f(t)$u^{\prime }(t)+Au(t)+Bu(t)=f(t)$, 0≤t≤T$0\le t\le T$; u(0)=_u0$u(0)=u_0$, where −A   is the infinitesimal generator of a _C0$C_0$-semigroup of contractions, B is a nonlinear monotone operator, and f is a given H-valued function. Inspired by the excellent book on singular perturbations by J.L. Lions, we associate with problem (_P0$P_0$) the following regularization (_Pε$P_{\epsilon }$): −εu^″(t)+u^′(t)+Au(t)+Bu(t)=f(t)$-\epsilon u^{″}(t)+u^{\prime }(t)+Au(t)+Bu(t)=f(t)$, 0≤t≤T$0\le t\le T$; u(0)=_u0$u(0)=u_0$, u^′(T)=_uT$u^{\prime }(T)=u_T$, where ε>0$\epsilon >0$ is a small parameter. We investigate existence, uniqueness and higher regularity for problem (_Pε$P_{\epsilon }$). Then we establish asymptotic expansions of order zero, and of order one, for the solution of (_Pε$P_{\epsilon }$). Problem (_Pε$P_{\epsilon }$) turns out to be regularly perturbed of order zero, and singularly perturbed of order one, with respect to the norm of C([0,T];H)$C([0,T];H)$. However, the boundary layer of order one is not visible through the norm of L²(0,T;H)$L^2(0,T;H)$.     

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

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.     

The inverse inertia problem for the complements of partial k-trees

Let F$\mathbb{F}$ be an infinite field with characteristic not equal to two. For a graph G=(V,E)$G=(V,E)$ with V={1,…,n}$V=\{1,\dots ,n\}$, let S(G;F)$S(G;\mathbb{F})$ be the set of all symmetric n×n$n\times n$ matrices A=[_ai,j]$A=[a_{i,j}]$ over F$\mathbb{F}$ with _ai,j≠0$a_{i,j}\ne 0$, i≠j$i\ne j$ if and only if ij∈E$ij\in E$. We show that if G is the complement of a partial k  -tree and m?k+2$m?k+2$, then for all nonsingular symmetric m×m$m\times m$ matrices K   over F$\mathbb{F}$, there exists an m×n$m\times n$ matrix U   such that U^TKU∈S(G;F)$U^{T}KU\in S(G;\mathbb{F})$. As a corollary we obtain that, if k+2?m?n$k+2?m?n$ and G is the complement of a partial k-tree, then for any two nonnegative integers p and q   with p+q=m$p+q=m$, there exists a matrix in S(G;R)$S(G;\mathbb{R})$ with p positive and q negative eigenvalues.     

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.     

On oriented graphs whose skew spectral radii do not exceed 2

Let S(G^σ)$S(G^{\sigma })$ be the skew adjacency matrix of the oriented graph G^σ$G^{\sigma }$ of order n   and _λ1,_λ2,…,_λn${\lambda }_1,{\lambda }_2,\dots ,{\lambda }_n$ be all eigenvalues of S(G^σ)$S(G^{\sigma })$. The skew spectral radius _ρs(G^σ)${\rho }_s(G^{\sigma })$ of G^σ$G^{\sigma }$ is defined as max{|_λ1|,|_λ2|,…,|_λn|}$\max \{|{\lambda }_1|,|{\lambda }_2|,\dots ,|{\lambda }_n|\}$. In this paper, we investigate oriented graphs whose skew spectral radii do not exceed 2.     

Permanents,Doty coalgebras and dominant dimension of Schur algebras

A (hidden) multiplication on _AZ(n,r)$A_{\mathbb{Z}}(n,r)$, the Z$\mathbb{Z}$-dual of the integral Schur algebra _SZ(n,r)$S_{\mathbb{Z}}(n,r)$ is explicitly constructed, possibly without a unit. The image of the multiplication map is shown to be spanned by bipermanents. Let k   be any field of characteristic p>0$p>0$. The image of the induced multiplication on _Ak(n,r)=_AZ(n,r)_⊗Zk$A_k(n,r)=A_{\mathbb{Z}}(n,r){\otimes }_{\mathbb{Z}}k$ turns out to coincide with the Doty coalgebra _Dn,r,p$D_{n,r,p}$ of truncated symmetric powers. Combined with a new straightening formula for bipermanents, it is proved that such a multiplication induces an isomorphism _Ak(n,r)_⊗Sk(n,r)Ak(n,r)≅_Ak(n,r)$A_k(n,r){\otimes }_{S_k(n,r)}{A}_k(n,r)\cong A_k(n,r)$ as _Sk(n,r)$S_k(n,r)$-bimodules if and only if r≤n(p−1)$r\le n(p-1)$, if and only if _Dn,r,p=_Ak(n,r)$D_{n,r,p}=A_k(n,r)$. As a result, _Sk(n,r)$S_k(n,r)$ is a gendo-symmetric algebra, and its dominant dimension is at least two and admits a combinatorial characterization as long as r≤n(p−1)$r\le n(p-1)$.     

Inequalities for modified Bessel functions and their integrals

Simple inequalities for some integrals involving the modified Bessel functions _Iν(x)$I_{\nu }(x)$ and _Kν(x)$K_{\nu }(x)$ are established. We also obtain a monotonicity result for _Kν(x)$K_{\nu }(x)$ and a new lower bound, that involves gamma functions, for _K0(x)$K_0(x)$.     

A sharp upper bound on the signless Laplacian spectral radius of graphs

Let G be a simple connected graph of order n   with degree sequence _d1,_d2,…,_dn$d_1,d_2,\dots ,d_n$ in non-increasing order. The signless Laplacian spectral radius ρ(Q(G))$\rho (Q(G))$ of G   is the largest eigenvalue of its signless Laplacian matrix Q(G)$Q(G)$. In this paper, we give a sharp upper bound on the signless Laplacian spectral radius ρ(Q(G))$\rho (Q(G))$ in terms of _di$d_i$, which improves and generalizes some known results.     

A core-free semicovering of the Hawaiian Earring

The connected covering spaces of a connected and locally path-connected topological space X   can be classified by the conjugacy classes of those subgroups of _π1(X,x)${\pi }_1(X,x)$ which contain an open normal subgroup of _π1(X,x)${\pi }_1(X,x)$, when endowed with the natural quotient topology of the compact-open topology on based loops. There are known examples of semicoverings (in the sense of Brazas) that correspond to open subgroups which do not contain an open normal subgroup. We present an example of a semicovering of the Hawaiian Earring H$\mathbb{H}$ with corresponding open subgroup of _π1(H)${\pi }_1(\mathbb{H})$ which does not contain any   nontrivial normal subgroup of _π1(H)${\pi }_1(\mathbb{H})$.