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.     

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.     

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

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

Invertible bimodule categories over the representation category of a Hopf algebra

For any finite-dimensional Hopf algebra H   we construct a group homomorphism BiGal(H)→BrPic(Rep(H))$\mathrm{BiGal}(H)\to \text{BrPic}(\mathrm{Rep}(H))$, from the group of equivalence classes of H  -biGalois objects to the group of equivalence classes of invertible exact Rep(H)$\mathrm{Rep}(H)$-bimodule categories. We discuss the injectivity of this map. We exemplify in the case H=_Tq$H=T_q$ is a Taft Hopf algebra and for this we classify all exact indecomposable Rep(_Tq)$\mathrm{Rep}(T_q)$-bimodule categories.     

Decomposing a graph into bistars

Bárat and the present author conjectured that, for each tree T  , there exists a natural number _kT$k_T$ such that the following holds: If G   is a _kT$k_T$-edge-connected graph such that |E(T)|$|E(T)|$ divides |E(G)|$|E(G)|$, then G has a T-decomposition, that is, a decomposition of the edge set into trees each of which is isomorphic to T  . The conjecture has been verified for infinitely many paths and for each star. In this paper we verify the conjecture for an infinite family of trees that are neither paths nor stars, namely all the bistars S(k,k+1)$S(k,k+1)$.     

Some Liouville-type theorems for harmonic functions on Finsler manifolds

In this paper, we give some Liouville-type theorems for L^p$L^p$(p∈R)$(p\in \mathbb{R})$ harmonic (resp. subharmonic, superharmonic) functions on forward complete Finsler manifolds. Moreover, we derive a gradient estimate for harmonic functions on a closed Finsler manifold. As an application, one obtains that any harmonic function on a closed Finsler manifold with nonnegative weighted Ricci curvature _RicN${\mathit{Ric}}_N$(N∈(n,∞))$(N\in (n,\infty ))$ must be constant.     

Spectral problems of a class of non-self-adjoint one-dimensional Schrodinger operators

In this paper we investigate the one-dimensional Schrodinger operator L(q)$L(q)$ with complex-valued periodic potential q   when q∈_L1[0,1]$q\in L_1[0,1]$ and _qn=0$q_n=0$ for n=0,−1,−2,...$n=0,-1,-2,...$, where _qn$q_n$ are the Fourier coefficients of q   with respect to the system {e^i2πnx}$\{e^{i2\pi nx}\}$. We prove that the Bloch eigenvalues are (2πn+t)²${(2\pi n+t)}^2$ for n∈Z$n\in \mathbb{Z}$, t∈C$t\in \mathbb{C}$ and find explicit formulas for the Bloch functions. Then we consider the inverse problem for this operator.     

Compact covers and function spaces

For a Tychonoff space X  , we denote by _Cp(X)$C_p(X)$ and _Cc(X)$C_c(X)$ the space of continuous real-valued functions on X equipped with the topology of pointwise convergence and the compact-open topology respectively. Providing a characterization of the Lindelöf Σ-property of X   in terms of _Cp(X)$C_p(X)$, we extend Okunev?s results by showing that if there exists a surjection from _Cp(X)$C_p(X)$ onto _Cp(Y)$C_p(Y)$ (resp. from _Lp(X)$L_p(X)$ onto _Lp(Y)$L_p(Y)$) that takes bounded sequences to bounded sequences, then υY is a Lindelöf Σ-space (respectively K-analytic) if υX has this property. In the second part, applying Christensen?s theorem, we extend Pelant?s result by proving that if X is a separable completely metrizable space and Y   is first countable, and there is a quotient linear map from _Cc(X)$C_c(X)$ onto _Cc(Y)$C_c(Y)$, then Y   is a separable completely metrizable space. We study also a non-separable case, and consider a different approach to the result of J. Baars, J. de Groot, J. Pelant and V. Valov, which is based on the combination of two facts: Complete metrizability is preserved by _?p${?}_p$-equivalence in the class of metric spaces (J. Baars, J. de Groot, J. Pelant). If X   is completely metrizable and _?p${?}_p$-equivalent to a first-countable Y, then Y is metrizable (V. Valov). Some additional results are presented.