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

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.     

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.     

Quasi-Banach spaces of almost universal disposition

We show that for each p∈(0,1]$p\in (0,1]$ there exists a separable p  -Banach space _Gp${\mathbb{G}}_p$ of almost universal disposition, that is, having the following extension property: for each ε>0$\epsilon >0$ and each isometric embedding g:X→Y$g:X\to Y$, where Y is a finite-dimensional p-Banach space and X   is a subspace of _Gp${\mathbb{G}}_p$, there is an ε  -isometry f:Y→_Gp$f:Y\to {\mathbb{G}}_p$ such that x=f(g(x))$x=f(g(x))$ for all x∈X$x\in X$.     

On some relative convexities

We study two types of relative convexities of convex functions f and g. We say that f is convex relative to g   in the sense of Palmer (2002, 2003), if f=h(g)$f=h(g)$, where h   is strictly increasing and convex, and denote it by f_?(1)g$f{?}_{(1)}g$. Similarly, if f is convex relative to g   in the sense studied in Rajba (2011), that is if the function f−g$f-g$ is convex then we denote it by f_?(2)g$f{?}_{(2)}g$. The relative convexity relation _?(2)${?}_{(2)}$ of a function f   with respect to the function g(x)=cx²$g(x)=c{x}^2$ means the strong convexity of f. We analyze the relationships between these two types of relative convexities. We characterize them in terms of right derivatives of functions f and g, as well as in terms of distributional derivatives, without any additional assumptions of twice differentiability. We also obtain some probabilistic characterizations. We give a generalization of strong convexity of functions and obtain some Jensen-type inequalities.     

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

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

Kadec–Klee property and fixed points

Let X be a reflexive Banach space which does not have the Kadec–Klee property. Then there exists a compact mapping f   from the unit ball _BX$B_X$ of X   to the dual space X^?$X^{?}$ such that _infx∈BX‖f(x)‖>0${\inf }_{x\in B_X}\Vert f(x)\Vert >0$ and 〈f(x),x〉<‖f(x)‖$〈f(x),x〉<\Vert f(x)\Vert$ for every x∈_BX$x\in B_X$.     

Small time global null controllability for a viscous Burgers' equation despite the presence of a boundary layer

In this work, we are interested in the small time global null controllability for the viscous Burgers' equation _yt−_yxx+y_yx=u(t)$y_t-y_{xx}+y{y}_x=u(t)$ on the line segment [0,1]$[0,1]$. The right-hand side is a scalar control playing a role similar to that of a pressure. We set y(t,1)=0$y(t,1)=0$ and restrict ourselves to using only two controls (namely the interior one u(t)$u(t)$ and the boundary one y(t,0)$y(t,0)$). In this setting, we show that small time global null controllability still holds by taking advantage of both hyperbolic and parabolic behaviors of our system. We use the Cole–Hopf transform and Fourier series to derive precise estimates for the creation and the dissipation of a boundary layer.     

Sur la répartition des puissances modulo 1

For almost all x>1$x>1$, (xⁿ)$(x^n)$(n=1,2,…)$(n=1,2,\dots )$ is equidistributed modulo 1, a classical result. What can be said on the exceptional set? It has Hausdorff dimension one. Much more: given an (b_n)$(b_n)$ in [0,1[$[0,1[$ and ε>0$\epsilon >0$, the x  -set such that |xⁿ−b_n|<ε$|x^n-b_n|<\epsilon$ modulo 1 for n   large enough has dimension 1. However, its intersection with an interval [1,X]$[1,X]$ has a dimension <1, depending on ε and X. Some results are given and a question is proposed.     

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

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

Existence and examples of quantum isometry groups for a class of compact metric spaces

We formulate a definition of isometric action of a compact quantum group (CQG) on a compact metric space, generalizing Banica's definition for finite metric spaces. For metric spaces (X,d)$(X,d)$ which can be isometrically embedded in some Euclidean space, we prove the existence of a universal object in the category of the compact quantum groups acting isometrically on (X,d)$(X,d)$. In fact, our existence theorem applies to a larger class, namely for any compact metric space (X,d)$(X,d)$ which admits a one-to-one continuous map f:X→Rⁿ$f:X\to {\mathbb{R}}^n$ for some n   such that _d0(f(x),f(y))=?(d(x,y))$d_0(f(x),f(y))=?(d(x,y))$ (where _d0$d_0$ is the Euclidean metric) for some homeomorphism ?   of R⁺${\mathbb{R}}^{+}$.     

On the q-Bernstein polynomials of rational functions with real poles

The paper aims to investigate the convergence of the q  -Bernstein polynomials _Bn,q(f;x)$B_{n,q}(f;x)$ attached to rational functions in the case q>1$q>1$. The problem reduces to that for the partial fractions (x−α)^−j${(x-\alpha )}^{-j}$, j∈N$j\in \mathbb{N}$. The already available results deal with cases, where either the pole α   is simple or α≠q^−m$\alpha \ne q^{-m}$, m∈_N0$m\in {\mathbb{N}}_0$. Consequently, the present work is focused on the polynomials _Bn,q(f;x)$B_{n,q}(f;x)$ for the functions of the form f(x)=(x−q^−m)^−j$f(x)={(x-q^{-m})}^{-j}$ with j?2$j?2$. For such functions, it is proved that the interval of convergence of {_Bn,q(f;x)}$\{B_{n,q}(f;x)\}$ depends not only on the location, but also on the multiplicity of the pole – a phenomenon which has not been considered previously.