Convergence of the modified Mann’s iteration method for asymptotically strict pseudo-contractions

Let C$C$ be a closed convex subset of a real Hilbert space H$H$ and assume that T$T$ is an asymptotically κ$\kappa$-strict pseudo-contraction on C$C$ with a fixed point, for some 0≤κ<1$0\le \kappa <1$. Given an initial guess _x0∈C$x_0\in C$ and given also a real sequence {_αn}$\left\{{\alpha }_n\right\}$ in (0, 1), the modified Mann’s algorithm generates a sequence {_xn}$\left\{x_n\right\}$ via the formula: _xn+1=_αnxn+(1−_αn)Tⁿ_xn$x_{n+1}={\alpha }_n{x}_n+(1-{\alpha }_n)T^n{x}_n$, n≥0$n\ge 0$. It is proved that if the control sequence {_αn}$\left\{{\alpha }_n\right\}$ is chosen so that κ+δ<_αn<1−δ$\kappa +\delta <{\alpha }_n<1-\delta$ for some δ∈(0,1)$\delta \in (0,1)$, then {_xn}$\left\{x_n\right\}$ converges weakly to a fixed point of T$T$. We also modify this iteration method by applying projections onto suitably constructed closed convex sets to get an algorithm which generates a strongly convergent sequence.     

On a Mann type implicit iteration process for continuous pseudo-contractive mappings

Let K$K$ be a nonempty closed convex subset of a Banach space E$E$, T:K→K$T:K\to K$ a continuous pseudo-contractive mapping. Suppose that {_αn}$\left\{{\alpha }_n\right\}$ is a real sequence in [0,1]$[0,1]$ satisfying appropriate conditions; then for arbitrary _x0∈K$x_0\in K$, the Mann type implicit iteration process {_xn}$\left\{x_n\right\}$ given by _xn=_αnxn−1+(1−_αn)T_xn,n≥0$x_n={\alpha }_n{x}_{n-1}+(1-{\alpha }_n)T{x}_n,n\ge 0$, strongly and weakly converges to a fixed point of T$T$, respectively.     

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.     

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

Blow-up and propagation of disturbances for fast diffusion equations

This paper is concerned with the Cauchy problem for the fast diffusion equation _ut−Δu^m=αu^_p1$u_t-\Delta u^m=\alpha u^{p_1}$ in R^N${\mathbb{R}}^N$ (N≥1$N\ge 1$), where m∈(0,1)$m\in (0,1)$, _p1>1$p_1>1$ and α>0$\alpha >0$. The initial condition _u0$u_0$ is assumed to be continuous, nonnegative and bounded. Using a technique of subsolutions, we set up sufficient conditions on the initial value _u0$u_0$ so that u(t,x)$u(t,x)$ blows up in finite time, and we show how to get estimates on the profile of u(t,x)$u(t,x)$ for small enough values of t>0$t>0$.     

Reflection principle and Ocone martingales

Let M=_(Mt)t≥0$M={\left(M_t\right)}_{t\ge 0}$ be any continuous real-valued stochastic process. We prove that if there exists a sequence _(an)n≥1${\left(a_n\right)}_{n\ge 1}$ of real numbers which converges to 0 and such that M$M$ satisfies the reflection property at all levels _an$a_n$ and 2_an$2a_n$ with n≥1$n\ge 1$, then M$M$ is an Ocone local martingale with respect to its natural filtration. We state the subsequent open question: is this result still true when the property only holds at levels _an$a_n$? We prove that this question is equivalent to the fact that for Brownian motion, the σ$\sigma$-field of the invariant events by all reflections at levels _an$a_n$, n≥1$n\ge 1$ is trivial. We establish similar results for skip free Z$\mathbb{Z}$-valued processes and use them for the proof in continuous time, via a discretization in space.     

Cumulants of the maximum of the Gaussian random walk

Let _X1,_X2,…$X_1,X_2,\dots$ be independent variables, each having a normal distribution with negative mean −β<0$-\beta <0$ and variance 1. We consider the partial sums _Sn=_X1+?+_Xn$S_n=X_1+?+X_n$, with _S0=0$S_0=0$, and refer to the process {_Sn:n≥0}$\{S_n:n\ge 0\}$ as the Gaussian random walk. This paper is concerned with the cumulants of the maximum _Mβ=max{_Sn:n≥0}$M_{\beta }=max\{S_n:n\ge 0\}$.     

Stable categories of higher preprojective algebras

We introduce (n+1)$(n+1)$-preprojective algebras of algebras of global dimension n$n$. We show that if an algebra is n$n$-representation-finite then its (n+1)$(n+1)$-preprojective algebra is self-injective. In this situation, we show that the stable module category of the (n+1)$(n+1)$-preprojective algebra is (n+1)$(n+1)$-Calabi–Yau, and, more precisely, it is the (n+1)$(n+1)$-Amiot cluster category of the stable n$n$-Auslander algebra of the original algebra. In particular this stable category contains an (n+1)$(n+1)$-cluster tilting object. We show that even if the (n+1)$(n+1)$-preprojective algebra is not self-injective, under certain assumptions (which are always satisfied for n∈{1,2}$n\in \{1,2\}$) the results above still hold for the stable category of Cohen–Macaulay modules.     

New general convergence theory for iterative processes and its applications to Newton–Kantorovich type theorems

Let T:D⊂X→X$T:D\subset X\to X$ be an iteration function in a complete metric space X$X$. In this paper we present some new general complete convergence theorems for the Picard iteration _xn+1=T_xn$x_{n+1}=T{x}_n$ with order of convergence at least r≥1$r\ge 1$. Each of these theorems contains a priori and a posteriori error estimates as well as some other estimates. A central role in the new theory is played by the notions of a function of initial conditions   of T$T$ and a convergence function   of T$T$. We study the convergence of the Picard iteration associated to T$T$ with respect to a function of initial conditions E:D→X$E:D\to X$. The initial conditions in our convergence results utilize only information at the starting point _x0$x_0$. More precisely, the initial conditions are given in the form E(_x0)∈J$E\left(x_0\right)\in J$, where J$J$ is an interval on _R+${\mathbb{R}}_{+}$ containing 0. The new convergence theory is applied to the Newton iteration in Banach spaces. We establish three complete ω$\omega$-versions of the famous semilocal Newton–Kantorovich theorem as well as a complete version of the famous semilocal α$\alpha$-theorem of Smale for analytic functions.     

On Mann iteration in Hilbert spaces

Let K$K$ be a compact convex subset of a real Hilbert space H$H$; T:K→K$T:K\to K$ a hemicontractive map. Let {_αn}$\left\{{\alpha }_n\right\}$ be a real sequence in [0,1] satisfying appropriate conditions; then for arbitrary _x0∈K$x_0\in K$, the sequence {_xn}$\left\{x_n\right\}$ defined iteratively by _xn=_αnxn−1+(1−_αn)T_xn$x_n={\alpha }_n{x}_{n-1}+(1-{\alpha }_n)T{x}_n$, n≥1$n\ge 1$ converges strongly to a fixed point of T$T$.     

Which finite simple groups are unit groups?

We prove that if G$G$ is a finite simple group which is the unit group of a ring, then G$G$ is isomorphic to: (a) a cyclic group of order 2; or (b) a cyclic group of prime order 2^k−1$2^k-1$ for some k$k$; or (c) a projective special linear group _PSLn(_F2)${PSL}_n\left({\mathbb{F}}_2\right)$ for some n≥3$n\ge 3$. Moreover, these groups do all occur as unit groups. We deduce this classification from a more general result, which holds for groups G$G$ with no non-trivial normal 2-subgroup.     

Minimum degree and disjoint cycles in generalized claw-free graphs

For s≥3$s\ge 3$ a graph is _K1,s$K_{1,s}$-free if it does not contain an induced subgraph isomorphic to _K1,s$K_{1,s}$. Cycles in _K1,3$K_{1,3}$-free graphs, called claw-free graphs, have been well studied. In this paper we extend results on disjoint cycles in claw-free graphs satisfying certain minimum degree conditions to _K1,s$K_{1,s}$-free graphs, normally called generalized claw-free graphs. In particular, we prove that if G$G$ is _K1,s$K_{1,s}$-free of sufficiently large order n=3k$n=3k$ with δ(G)≥n/2+c$\delta \left(G\right)\ge n/2+c$ for some constant c=c(s)$c=c\left(s\right)$, then G$G$ contains k$k$ disjoint triangles. Analogous results with the complete graph _K3$K_3$ replaced by a complete graph _Km$K_m$ for m≥3$m\ge 3$ will be proved. Also, the existence of 2$2$-factors for _K1,s$K_{1,s}$-free graphs with minimum degree conditions will be shown.     

On weighted Hilbert spaces and integration of functions of infinitely many variables

We study aspects of the analytic foundations of integration and closely related problems for functions of infinitely many variables _x1,_x2,…∈D$x_1,x_2,\dots \in D$. The setting is based on a reproducing kernel k$k$ for functions on D$D$, a family of non-negative weights _γu${\gamma }_u$, where u$u$ varies over all finite subsets of N$\mathbb{N}$, and a probability measure ρ$\rho$ on D$D$. We consider the weighted superposition K=_∑uγuku$K={\sum }_u{\gamma }_u{k}_u$ of finite tensor products _ku$k_u$ of k$k$. Under mild assumptions we show that K$K$ is a reproducing kernel on a properly chosen domain in the sequence space D^N$D^{\mathbb{N}}$, and that the reproducing kernel Hilbert space H(K)$H\left(K\right)$ is the orthogonal sum of the spaces H(_γuku)$H\left({\gamma }_u{k}_u\right)$. Integration on H(K)$H\left(K\right)$ can be defined in two ways, via a canonical representer or with respect to the product measure ρ^N${\rho }^{\mathbb{N}}$ on D^N$D^{\mathbb{N}}$. We relate both approaches and provide sufficient conditions for the two approaches to coincide.     

Mosco convergence of the sets of fixed points for one-parameter nonexpansive semigroups

We consider the Mosco convergence of the sets of fixed points for one-parameter strongly continuous semigroups of nonexpansive mappings. One of our main results is the following: Let C$C$ be a closed convex subset of a Hilbert space E$E$. Let {T(t):t≥0}$\{T\left(t\right):t\ge 0\}$ be a strongly continuous semigroup of nonexpansive mappings on C$C$. The set of all fixed points of T(t)$T\left(t\right)$ is denoted by F(T(t))$F\left(T\left(t\right)\right)$ for each t≥0$t\ge 0$. Let τ$\tau$ be a nonnegative real number and let {_tn}$\left\{t_n\right\}$ be a sequence in R$\mathbb{R}$ satisfying τ+_tn≥0$\tau +t_n\ge 0$ and _tn≠0$t_n\ne 0$ for n∈N$n\in \mathbb{N}$, and _limntn=0${lim}_n{t}_n=0$. Then {F(T(τ+_tn))}$\left\{F\left(T(\tau +t_n)\right)\right\}$ converges to _?t≥0F(T(t))${?}_{t\ge 0}F\left(T\left(t\right)\right)$ in the sense of Mosco.