Real-Linear Isometries on Spaces of Functions of Bounded Variation

Let X and Y be subsets of the real line with at least two points. We study the surjective real-linear isometries \({T:BV(X)\longrightarrow BV(Y)}\) between the spaces of functions of bounded variation on X and Y with respect to the supremum norm \({\|\cdot\|_\infty}\) and the complete norm \({\|\cdot\|:=\max(\|\cdot\|_\infty,\mathcal{V}(\cdot))}\), where \({\mathcal{V}(\cdot)}\) denotes the total variation of a function. Additively norm preserving maps between these spaces are also characterized as a corollary.     

Linear extensions of some Baire-one functions

Let X be a Hausdorff topological space, and let \({\mathscr {B}}_1(X)\) denote the space of all real Baire-one functions defined on X. Let A be a nonempty subset of X endowed with the topology induced from X, and let \({\mathscr {F}}(A)\) be the set of functions \(A\rightarrow {\mathbb R}\) with a property \({\mathscr {F}}\) making \({\mathscr {F}}(A)\) a linear subspace of \({\mathscr {B}}_1(A)\). We give a sufficient condition for the existence of a linear extension operator \(T_A:{\mathscr {F}}(A)\rightarrow {\mathscr {F}}(X)\), where \({\mathscr {F}}\) means to be piecewise continuous on a sequence of closed and \(G_\delta \) subsets of X and is denoted by \({\mathscr {P}_0}\). We show that \(T_A\) restricted to bounded elements of \({\mathscr {F}}(A)\) endowed with the supremum norm is an isometry. As a consequence of our main theorem, we formulate the conclusion about existence of a linear extension operator for the classes of Baire-one-star and piecewise continuous functions.     

Analysis of some numerical methods on layer adapted meshes for singularly perturbed quasilinear systems

We consider a coupled system of first-order singularly perturbed quasilinear differential equations with given initial conditions. The leading term of each equation is multiplied by a distinct small positive parameter, which induces overlapping layers. The quasilinear system is discretized by using first and second order accurate finite difference schemes for which we derive general error estimates in the discrete maximum norm. As consequences of these error estimates we establish nodal convergence of O((N ^?1 lnN) ^p ),p=1,2, on the Shishkin mesh and O(N ^?p ),p=1,2, on the Bakhvalov mesh, where N is the number of mesh intervals and the convergence is robust in all of the parameters. Numerical computations are included which confirm the theoretical results.     

Conley index of nontrivial invariant sets in a Hilbert space

We study flows defined in a Hilbert space by potential completely continuous fields Id-K(·), where K(·) is an operator close to a homogeneous one. The Conley index of the set of fixed points and separatrices joining them (a nontrivial invariant set) is defined for such flows. By using this index, we prove that the equation K(x) = x has infinitely many solutions of arbitrarily large norm provided that the potential φ: ?φ(·) = K(·) is coercive and has an even leading part. As a corollary, we justify the stability of an arbitrary finite number of solutions under small perturbations of the field. We show that the Conley index differs from the classical rotation theory of vector fields when proving existence theorems.     

Kolmogorov diameters of entire functions of given growth

The paper establishes the decrease rate of the Kolmogorov diameters of entire functions from the space L ²(0, ∞) in terms of minimal Blaschke products on the singularity sets of Borel transforms. Besides, in C(K) the decrease rate of the Kolmogorov diameters is calculated for entire functions with given finite order.     

Asymptotics and Arithmetical Properties of Complexity for Circulant Graphs

Abstract—We study analytical and arithmetical properties of the complexity function for infinite families of circulant C _n (s₁, s_2,…, s _k ) C_2n(s₁, s_2,…, s _k , n). Exact analytical formulas for the complexity functions of these families are derived, and their asymptotics are found. As a consequence, we show that the thermodynamic limit of these families of graphs coincides with the small Mahler measure of the accompanying Laurent polynomials.     

Closable Multipliers

Let (X, μ) and (Y, ν) be standard measure spaces. A function \({\varphi\in L^\infty(X\times Y,\mu\times\nu)}\) is called a (measurable) Schur multiplier if the map S _φ , defined on the space of Hilbert-Schmidt operators from L ₂(X, μ) to L ₂(Y, ν) by multiplying their integral kernels by φ, is bounded in the operator norm. The paper studies measurable functions φ for which S _φ is closable in the norm topology or in the weak* topology. We obtain a characterisation of w*-closable multipliers and relate the question about norm closability to the theory of operator synthesis. We also study multipliers of two special types: if φ is of Toeplitz type, that is, if φ(x, y) = f(x ? y), \({x,y\in G}\), where G is a locally compact abelian group, then the closability of φ is related to the local inclusion of f in the Fourier algebra A(G) of G. If φ is a divided difference, that is, a function of the form (f(x) ? f(y))/(x ? y), then its closability is related to the “operator smoothness” of the function f. A number of examples of non-closable, norm closable and w*-closable multipliers are presented.     

The best <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript> approximation of the Laplace operator by linear bounded operators in the classes of functions of two and three variables

Close two-sided estimates are obtained for the best approximation in the space L _p (? ^m ), m = 2 and 3, 1 ≤ p ≤ ∞, of the Laplace operator by linear bounded operators in the class of functions for which the second power of the Laplace operator belongs to the space L _p (? ^m ). We estimate the best constant in the corresponding Kolmogorov inequality and the error of the optimal recovery of values of the Laplace operator on functions from this class given with an error. We present an operator whose deviation from the Laplace operator is close to the best.     

Asymmetry of Outer space

We study the asymmetry of the Lipschitz metric d on Outer space. We introduce an (asymmetric) Finsler norm \({\|\cdot\|^L}\) that induces d. There is an Out(F _n )-invariant “potential” Ψ defined on Outer space such that when \({\|\cdot\|^L}\) is corrected by dΨ, the resulting norm is quasi-symmetric. As an application, we give new proofs of two theorems of Handel-Mosher, that d is quasi-symmetric when restricted to a thick part of Outer space, and that there is a uniform bound, depending only on the rank, on the ratio of logs of growth rates of any irreducible \({f\in Out(F_n)}\) and its inverse.     

Order closed ideals in pre-Riesz spaces and their relationship to bands

In Archimedean vector lattices bands can be introduced via three different coinciding notions. First, they are order closed ideals. Second, they are precisely those ideals which equal their double disjoint complements. The third concept is that of an ideal which contains the supremum of any of its bounded subsets, provided the supremum exists in the vector lattice. We investigate these three notions and their relationships in the more general setting of Archimedean pre-Riesz spaces. We introduce the notion of a supremum closed ideal, which is related to the third aforementioned notion in vector lattices. We show that for a directed ideal I in a pervasive pre-Riesz space with the Riesz decomposition property these three concepts coincide, provided the double disjoint complement of I is directed. In pervasive pre-Riesz spaces every directed band is supremum closed and every supremum closed directed ideal I equals its double disjoint complement, provided the double disjoint complement of I is directed. In general, in Archimedean pre-Riesz spaces the three notions differ. For this we provide appropriate counterexamples.     

On power deformations of univalent functions

For an analytic function f (z) on the unit disk |z| < 1 with f (0) = f′(0) ? 1 = 0 and f (z) ≠ 0, 0 < |z| < 1, we consider the power deformation f _c (z) = z(f (z)/z) ^c for a complex number c. We determine those values c for which the operator \({f \mapsto f_c}\) maps a specified class of univalent functions into the class of univalent functions. A little surprisingly, we will see that the set is described by the variability region of the quantity zf′(z)/ f (z), |z| < 1, for most of the classes that we consider in the present paper. As an unexpected by-product, we show boundedness of strongly spirallike functions.     

Weighted Rogers–Ramanujan partitions and Dyson crank

In this paper, we refine a weighted partition identity of Alladi. We write formulas for generating functions for the number of partitions grouped with respect to a partition statistic other than the norm. We tie our weighted results as well as the different statistics with the crank of a partition. In particular, we prove that the number of partitions into even number of distinct parts whose odd-indexed parts’ sum is n is equal to the number of partitions of n with non-negative crank.     

Unbounded disjointness preserving linear functionals and operators

Let E and F be Banach lattices. We show first that the disjointness preserving linear functionals separate the points of any infinite dimensional Banach lattice E, which shows that in this case the unbounded disjointness preserving operators from \({E\to F}\) separate the points of E. Then we show that every disjointness preserving operator \({T:E\to F}\) is norm bounded on an order dense ideal. In case E has order continuous norm, this implies that every unbounded disjointness preserving map \({T:E\to F}\) has a unique decomposition T = R + S, where R is a bounded disjointness preserving operator and S is an unbounded disjointness preserving operator, which is zero on a norm dense ideal. For the case that E = C(X), with X a compact Hausdorff space, we show that every disjointness preserving operator \({T:C(X)\to F}\) is norm bounded on a norm dense sublattice algebra of C(X), which leads then to a decomposition of T into a bounded disjointness preserving operator and a finite sum of unbounded disjointness preserving operators, which are zero on order dense ideals.     

Convergence analysis of the rectangular Morley element scheme for second order problem in arbitrary dimensions

We present the convergence analysis of the rectangular Morley element scheme utilised on the second order problem in arbitrary dimensions. Specifically, we prove that the convergence of the scheme is of O(h) order in energy norm and of O(h²) order in L² norm on general d-rectangular triangulations. Moreover, when the triangulation is uniform, the convergence rate can be of O(h²) order in energy norm, and the convergence rate in L² norm is still of O(h²) order, which cannot be improved. Numerical examples are presented to demonstrate our theoretical results.     

Sharp Bounds for Exponential Approximations of NWUE Distributions

Let F be an NWUE distribution with mean 1 and G be the stationary renewal distribution of F. We would expect G to converge in distribution to the unit exponential distribution as its mean goes to 1. In this paper, we derive sharp bounds for the Kolmogorov distance between G and the unit exponential distribution, as well as between G and an exponential distribution with the same mean as G. We apply the bounds to geometric convolutions and to first passage times.     

Optimal Bounds on the Modulus of Continuity of the Uncentered Hardy–Littlewood Maximal Function

We obtain sharp bounds for the modulus of continuity of the uncentered maximal function in terms of the modulus of continuity of the given function, via integral formulas. Some of the results deduced from these formulas are the following: The best constants for Lipschitz and Hölder functions on proper subintervals of ? are Lip? _α (Mf)≤(1+α)^?1Lip? _α (f), α∈(0,1]. On ?, the best bound for Lipschitz functions is \(\operatorname{Lip} ( Mf) \le (\sqrt{2} -1)\operatorname{Lip}( f)\). In higher dimensions, we determine the asymptotic behavior, as d→∞, of the norm of the maximal operator associated with cross-polytopes, Euclidean balls, and cubes, that is, ? _p balls for p=1,2,∞. We do this for arbitrary moduli of continuity. In the specific case of Lipschitz and Hölder functions, the operator norm of the maximal operator is uniformly bounded by 2^?α/q , where q is the conjugate exponent of p=1,2, and as d→∞ the norms approach this bound. When p=∞, best constants are the same as when p=1.     

An hp finite element method for 4th order singularly perturbed problems

We present the analysis for the hp finite element approximation of the solution to singularly perturbed fourth order problems, using a balanced norm. In Panaseti et al. (2016) it was shown that the hp version of the Finite Element Method (FEM) on the so-called Spectral Boundary Layer Mesh yields robust exponential convergence when the error is measured in the natural energy norm associated with the problem. In the present article we sharpen the result by showing that the same hp-FEM on the Spectral Boundary Layer Mesh gives robust exponential convergence in a stronger, more balanced norm. As a corollary we also get robust exponential convergence in the maximum norm. The analysis is based on the ideas in Roos and Franz (Calcolo 51, 423–440, 2014) and Roos and Schopf (ZAMM 95, 551–565, 2015) and the recent results in Melenk and Xenophontos (2016). Numerical examples illustrating the theory are also presented.     

Nikol’skii inequality between the uniform norm and <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">q</Emphasis></Subscript>-norm with jacobi weight of algebraic polynomials on an interval

We study the Nikol’skii inequality for algebraic polynomials on the interval [?1, 1] between the uniform norm and the norm of the space L _q ^(α,β) , 1 ≤ q < ∞, with the Jacobi weight ?(α,β)(x) = (1 ? x) ^α (1 + x) ^β , α ≥ β > ?1. We prove that, in the case α > β ≥ ?1/2, the polynomial with unit leading coefficient that deviates least from zero in the space L _q ^(α+1,,β) with the Jacobi weight ? ^(α+1,β)(x) = (1?x) ^α+1(1+x) ^β is the unique extremal polynomial in the Nikol’skii inequality. To prove this result, we use the generalized translation operator associated with the Jacobi weight. We describe the set of all functions at which the norm of this operator in the space L _q ^(α,β) for 1 ≤ q < ∞ and α > β ≥ ?1/2 is attained.     

Statistical characteristics of continuous functions and statistically weakly invariant sets of controllable system

We continue the investigation of expansion of a concept of invariance for sets which consists in studying statistically invariant sets with respect to control systems and differential inclusions. We consider the statistical characteristics of continuous functions: Upper and lower relative frequency of containing for graph of a function in a given set. We obtain conditions under which statistical characteristics of two various asymptotical equivalent functions coincide; then by the value of one of them it is possible to calculate the value of another one. We adduce the equality for finding relative frequencies of hitting functions the given set in the case when the distance from the graph of one of functions to the given set is a periodic function. A consequence of these statements are conditions of statistically weak invariance of a set with respect to controlled system. For some almost periodic functions we obtain the formulas by which we can calculate the mean values and the statistical characteristics. We also consider the following problem. Let the number λ₀ ∈ [0, 1] be given. It is necessary to find the value c(λ₀) such that the upper solution z(t) of the Cauchy problem does not exceed c(λ₀) with the relative frequency being equal λ₀. Depending on statement of the problem, a value z(t) can be interpreted as the size of population, energy of a particle, concentration of substance, size of manufacture or the price of production.