The reduced expressions in a Coxeter system with a strictly complete Coxeter graph

Let (W,S)$(W,S)$ be a Coxeter system with a strictly complete Coxeter graph. The present paper concerns the set Red(z)$\mathrm{Red}(z)$ of all reduced expressions for any z∈W$z\in W$. By associating each bc-expression to a certain symbol, we describe the set Red(z)$\mathrm{Red}(z)$ and compute its cardinal |Red(z)|$|\mathrm{Red}(z)|$ in terms of symbols. An explicit formula for |Red(z)|$|\mathrm{Red}(z)|$ is deduced, where the Fibonacci numbers play a crucial role.     

A verified method for bounding clusters of zeros of analytic functions

In this paper, we propose a verified method for bounding clusters of zeros of analytic functions. Our method gives a disk that contains a cluster of m   zeros of an analytic function f(z)$f(z)$. Complex circular arithmetic is used to perform a validated computation of n  -degree Taylor polynomial p(z)$p(z)$ of f(z)$f(z)$. Some well known formulae for bounding zeros of a polynomial are used to compute a disk containing a cluster of zeros of p(z)$p(z)$. A validated computation of an upper bound for Taylor remainder series of f(z)$f(z)$ and a lower bound of p(z)$p(z)$ on a circle are performed. Based on these results, Rouché's theorem is used to verify that the disk contains the cluster of zeros of f(z)$f(z)$. This method is efficient in computation of the initial disk of a method for finding validated polynomial factor of an analytic function. Numerical examples are presented to illustrate the efficiency of the proposed method.     

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.     

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

On a backward parabolic problem with local Lipschitz source

We consider the regularization of the backward in time problem for a nonlinear parabolic equation in the form _ut+Au(t)=f(u(t),t)$u_t+Au(t)=f(u(t),t)$, u(1)=φ$u(1)=\phi$, where A is a positive self-adjoint unbounded operator and f is a local Lipschitz function. As known, it is ill-posed and occurs in applied mathematics, e.g. in neurophysiological modeling of large nerve cell systems with action potential f   in mathematical biology. A new version of quasi-reversibility method is described. We show that the regularized problem (with a regularization parameter β>0$\beta >0$) is well-posed and that its solution _Uβ(t)$U_{\beta }(t)$ converges on [0,1]$[0,1]$ to the exact solution u(t)$u(t)$ as β→0⁺$\beta \to 0^{+}$. These results extend some earlier works on the nonlinear backward problem.     

Functional calculus for semigroup generators via transference

In this article we apply a recently established transference principle in order to obtain the boundedness of certain functional calculi for semigroup generators. In particular, it is proved that if −A   generates a _C0$C_0$-semigroup on a Hilbert space, then for each τ>0$\tau >0$ the operator A   has a bounded calculus for the closed ideal of bounded holomorphic functions on a (sufficiently large) right half-plane that satisfy f(z)=O(e^−τRe(z))$f(z)=O(e^{-\tau \mathrm{Re}(z)})$ as |z|→∞$|z|\to \infty$. The bound of this calculus grows at most logarithmically as τ↘0$\tau \searrow 0$. As a consequence, f(A)$f(A)$ is a bounded operator for each holomorphic function f (on a right half-plane) with polynomial decay at ∞. Then we show that each semigroup generator has a so-called (strong) m  -bounded calculus for all m∈N$m\in \mathbb{N}$, and that this property characterizes semigroup generators. Similar results are obtained if the underlying Banach space is a UMD space. Upon restriction to so-called γ-bounded semigroups, the Hilbert space results actually hold in general Banach spaces.     

Global and local behavior of zeros of nonpositive type

A generalized Nevanlinna function Q(z)$Q(z)$ with one negative square has precisely one generalized zero of nonpositive type in the closed extended upper halfplane. The fractional linear transformation defined by _Qτ(z)=(Q(z)−τ)/(1+τQ(z))$Q_{\tau }(z)=(Q(z)-\tau )/(1+\tau Q(z))$, τ∈R∪{∞}$\tau \in \mathbb{R}\cup \{\infty \}$, is a generalized Nevanlinna function with one negative square. Its generalized zero of nonpositive type α(τ)$\alpha (\tau )$ as a function of τ is being studied. In particular, it is shown that it is continuous and its behavior in the points where the function extends through the real line is investigated.     

On the radius of spatial analyticity for semilinear symmetric hyperbolic systems

We study the problem of propagation of analytic regularity for semi-linear symmetric hyperbolic systems. We adopt a global perspective and we prove that if the initial datum extends to a holomorphic function in a strip of radius (= width) _ε0${\epsilon }_0$, the same happens for the solution u(t,⋅)$u(t,\cdot )$ for a certain radius ε(t)$\epsilon (t)$, as long as the solution exists. Our focus is on precise lower bounds on the spatial radius of analyticity ε(t)$\epsilon (t)$ as t grows.     

Parameter space for families of parabolic-like mappings

In this paper we study families of degree 2 parabolic-like mappings _(fλ)λ∈Λ${(f_{\lambda })}_{\lambda \in \Lambda }$ (as defined in [4]). We prove that the hybrid conjugacies between a nice analytic family of degree 2 parabolic-like mappings and members of the family _Per1(1)${\mathit{Per}}_1(1)$ induce a continuous map χ:Λ→C$\chi :\Lambda \to \mathbb{C}$, which under suitable conditions restricts to a ramified covering from the connectedness locus of _(fλ)λ∈Λ${(f_{\lambda })}_{\lambda \in \Lambda }$ to the connectedness locus _M1?{1}$M_1?\{1\}$ of _Per1(1)${\mathit{Per}}_1(1)$. As an application, we prove that the connectedness locus of the family _Ca(z)=z+az²+z³$C_a(z)=z+a{z}^2+z^3$, a∈C$a\in \mathbb{C}$ presents baby _M1$M_1$.     

Simple geometry facilitates iterative solution of a nonlinear equation via a special transformation to accelerate convergence to third order

Direct substitution _xk+1=g(_xk)$x_{k+1}=g(x_k)$ generally represents iterative techniques for locating a root z   of a nonlinear equation f(x)$f(x)$. At the solution, f(z)=0$f(z)=0$ and g(z)=z$g(z)=z$. Efforts continue worldwide both to improve old iterators and create new ones. This is a study of convergence acceleration by generating secondary solvers through the transformation _gm(x)=(g(x)-m(x)x)/(1-m(x))$g_m(x)=(g(x)-m(x)x)/(1-m(x))$ or, equivalently, through partial substitution _gmps(x)=x+G(x)(g-x)$g_{m\mathrm{ps}}(x)=x+G(x)(g-x)$, G(x)=1/(1-m(x))$G(x)=1/(1-m(x))$. As a matter of fact, _gm(x)≡_gmps(x)$g_m(x)\equiv g_{m\mathrm{ps}}(x)$ is the point of intersection of a linearised g   with the g=x$g=x$ line. Aitken's and Wegstein's accelerators are special cases of _gm$g_m$. Simple geometry suggests that m(x)=(g^′(x)+g^′(z))/2$m(x)=(g^{\prime }(x)+g^{\prime }(z))/2$ is a good approximation for the ideal slope of the linearised g  . Indeed, this renders a third-order _gm$g_m$. The pertinent asymptotic error constant has been determined. The theoretical background covers a critical review of several partial substitution variants of the well-known Newton's method, including third-order Halley's and Chebyshev's solvers. The new technique is illustrated using first-, second-, and third-order primaries. A flexible algorithm is added to facilitate applications to any solver. The transformed Newton's method is identical to Halley's. The use of m(x)=(g^′(x)+g^′(z))/2$m(x)=(g^{\prime }(x)+g^{\prime }(z))/2$ thus obviates the requirement for the second derivative of f(x)$f(x)$. Comparison and combination with Halley's and Chebyshev's solvers are provided. Numerical results are from the square root and cube root examples.     

Regularity of Hölder continuous solutions of the supercritical quasi-geostrophic equation

We present a regularity result for weak solutions of the 2D quasi-geostrophic equation with supercritical (α<1/2$\alpha <1/2$) dissipation α(−Δ)${(-\mathrm{\Delta })}^{\alpha }$: If a Leray–Hopf weak solution is Hölder continuous θ∈Cδ(R²)$\theta \in C^{\delta }({\mathbb{R}}^2)$ with δ>1−2α$\delta >1-2\alpha$ on the time interval [t₀,t]$[t_0,t]$, then it is actually a classical solution on (t₀,t]$(t_0,t]$.