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

Zeros of the Macdonald function of complex order

The z  -zeros of the modified Bessel function of the third kind _Kν(z)$K_{\nu }(z)$, also known as modified Hankel function or Macdonald function, are considered for arbitrary complex values of the order ν$\nu$. Approximate expressions for the zeros, applicable in the cases of very small or very large |ν|$\left|\nu \right|$, are given. The behaviour of the zeros for varying |ν|$\left|\nu \right|$ or argν$\arg \nu$, obtained numerically, is illustrated by means of some graphics.     

A note on irreducible,infinite Coxeter groups

A new proof is given for the statement: For an irreducible, infinite Coxeter group (W,S)$(W,S)$ and w∈W$w\in W$, if wSw^-1=S${\mathit{wSw}}^{-1}=S$, then w=1$w=1$ (the identity element of W).     

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

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.     

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.     

Maximum principles and isoperimetric inequalities for some Monge–Ampère-type problems

In this note we derive a maximum principle for an appropriate functional combination of u(x)$u(\mathbf{x})$ and |∇u|²${|\mathrm{\nabla }u|}^2$, where u(x)$u(\mathbf{x})$ is a strictly convex classical solution to a general class of Monge–Ampère equations. This maximum principle is then employed to establish some isoperimetric inequalities of interest in the theory of surfaces of constant Gauss curvature in R^N+1${\mathbb{R}}^{N+1}$.     

Global unique continuation from a half space for the Schrödinger equation

We obtain a global unique continuation result for the differential inequality |(i_∂t+Δ)u|?|V(x)u|$|(i{\partial }_t+\mathrm{\Delta })u|?|V(x)u|$ in Rⁿ⁺¹${\mathbb{R}}^{n+1}$. This is the first result on global unique continuation for the Schrödinger equation with time-independent potentials V(x)$V(x)$ in Rⁿ${\mathbb{R}}^n$. Our method is based on a new type of Carleman estimates for the operator i_∂t+Δ$i{\partial }_t+\mathrm{\Delta }$ on Rⁿ⁺¹${\mathbb{R}}^{n+1}$. As a corollary of the result, we also obtain a new unique continuation result for some parabolic equations.     

Existence and separation of positive radial solutions for semilinear elliptic equations

We consider the semilinear elliptic equation Δu+K(|x|)u^p=0$\mathrm{\Delta }u+K(|x|)u^p=0$ in R^N${\mathbf{R}}^N$ for N>2$N>2$ and p>1$p>1$, and study separation phenomena of positive radial solutions. With respect to intersection and separation, we establish a classification of the solution structures, and investigate the structures of intersection, partial separation and separation. As a consequence, we obtain the existence of positive solutions with slow decay when the oscillation of the function r^−?K(r)$r^{-?}K(r)$ with ?>−2$?>-2$ around a positive constant is small near r=∞$r=\infty$ and p   is sufficiently large. Moreover, if the assumptions hold in the whole space, the equation has the structure of separation and possesses a singular solution as the upper limit of regular solutions. We also reveal that the equation changes its nature drastically across a critical exponent _pc$p_c$ which is determined by N   and the order of the behavior of K(r)$K(r)$ as r=|x|→0$r=|x|\to 0$ and ∞. In order to understand how subtle the structure is on K   at p=_pc$p=p_c$, we explain the criticality in a similar way as done by Ding and Ni (1985) [6] for the critical Sobolev exponent p=(N+2)/(N−2)$p=(N+2)/(N-2)$.