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

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.     

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.     

Capturing two elements in unavoidable minors of 3-connected binary matroids

Let M be a 3-connected binary matroid and let n   be an integer exceeding 2. Ding, Oporowski, Oxley, and Vertigan proved that there is an integer f(n)$f(n)$ so that if |E(M)|>f(n)$|E(M)|>f(n)$, then M has a minor isomorphic to one of the rank-n wheel, the rank-n   tipless binary spike, or the cycle or bond matroid of _K3,n$K_{3,n}$. This result was recently extended by Chun, Oxley, and Whittle to show that there is an integer g(n)$g(n)$ so that if |E(M)|>g(n)$|E(M)|>g(n)$ and x∈E(M)$x\in E(M)$, then x is an element of a minor of M isomorphic to one of the rank-n wheel, the rank-n   binary spike with a tip and a cotip, or the cycle or bond matroid of _K1,1,1,n$K_{1,1,1,n}$. In this paper, we prove that, for each i   in {2,3}$\{2,3\}$, there is an integer _hi(n)$h_i(n)$ so that if |E(M)|>_hi(n)$|E(M)|>h_i(n)$ and Z is an i-element rank-2 subset of M, then M has a minor from the last list whose ground set contains Z.     

Structured total least norm and approximate GCDs of inexact polynomials

The determination of an approximate greatest common divisor (GCD) of two inexact polynomials f=f(y)$f=f(y)$ and g=g(y)$g=g(y)$ arises in several applications, including signal processing and control. This approximate GCD can be obtained by computing a structured low rank approximation S^*(f,g)$S^{*}(f,g)$ of the Sylvester resultant matrix S(f,g)$S(f,g)$. In this paper, the method of structured total least norm (STLN) is used to compute a low rank approximation of S(f,g)$S(f,g)$, and it is shown that important issues that have a considerable effect on the approximate GCD have not been considered. For example, the established works only yield one matrix S^*(f,g)$S^{*}(f,g)$, and therefore one approximate GCD, but it is shown in this paper that a family of structured low rank approximations can be computed, each member of which yields a different approximate GCD. Examples that illustrate the importance of these and other issues are presented.     

Symmetrization for linear and nonlinear fractional parabolic equations of porous medium type

We establish symmetrization results for the solutions of the linear fractional diffusion equation _∂tu+(−Δ)^σ/2u=f${\partial }_{t}u+{(-\mathrm{\Delta })}^{\sigma /2}u=f$ and its elliptic counterpart hv+(−Δ)^σ/2v=f$hv+{(-\mathrm{\Delta })}^{\sigma /2}v=f$, h>0$h>0$, using the concept of comparison of concentrations. The results extend to the nonlinear version, _∂tu+(−Δ)^σ/2A(u)=f${\partial }_{t}u+{(-\mathrm{\Delta })}^{\sigma /2}A(u)=f$, but only when the nondecreasing function A:_R+→_R+$A:{\mathbb{R}}_{+}\to {\mathbb{R}}_{+}$ is concave. In the elliptic case, complete symmetrization results are proved for B(v)+(−Δ)^σ/2v=f$B(v)+{(-\mathrm{\Delta })}^{\sigma /2}v=f$ when B(v)$B(v)$ is a convex nonnegative function for v>0$v>0$ with B(0)=0$B(0)=0$, and partial results hold when B is concave. Remarkable counterexamples are constructed for the parabolic equation when A is convex, resp. for the elliptic equation when B   is concave. Such counterexamples do not exist in the standard diffusion case σ=2$\sigma =2$.     

Homotopy of area decreasing maps by mean curvature flow

Let f:M→N$f:M\to N$ be a smooth area decreasing map between two Riemannian manifolds (M,_gM)$(M,{\mathrm{g}}_M)$ and (N,_gN)$(N,{\mathrm{g}}_N)$. Under weak and natural assumptions on the curvatures of (M,_gM)$(M,{\mathrm{g}}_M)$ and (N,_gN)$(N,{\mathrm{g}}_N)$, we prove that the mean curvature flow provides a smooth homotopy of f to a constant map.     

The Dirichlet problem for the fractional Laplacian: Regularity up to the boundary

We study the regularity up to the boundary of solutions to the Dirichlet problem for the fractional Laplacian. We prove that if u   is a solution of (−Δ)^su=g${(-\mathrm{\Delta })}^{s}u=g$ in Ω  , u≡0$u\equiv 0$ in Rⁿ\Ω${\mathbb{R}}^n\backslash \Omega$, for some s∈(0,1)$s\in (0,1)$ and g∈L^∞(Ω)$g\in L^{\infty }(\Omega )$, then u   is C^s(Rⁿ)$C^s({\mathbb{R}}^n)$ and u/δ^s_|Ω$u/{\delta }^s{|}_{\Omega }$ is C^α$C^{\alpha }$ up to the boundary ∂Ω   for some α∈(0,1)$\alpha \in (0,1)$, where δ(x)=dist(x,∂Ω)$\delta (x)=\mathrm{dist}(x,\partial \Omega )$. For this, we develop a fractional analog of the Krylov boundary Harnack method.     

Frequency-dependent interpolation rules using first derivatives for oscillatory functions

We construct frequency-dependent rules to interpolate oscillatory functions y(x)$y(x)$ with frequency ω$\omega$ of the form,

y(x)=_f1(x)cos(ωx)+_f2(x)sin(ωx),$y(x)=f_1(x)\cos (\omega x)+f_2(x)\sin (\omega x)\text{,}$

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.     

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}}^{+}$.     

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.     

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.