Identities for the Widder transform and transforms with Bessel function kernels

In the present paper, we consider the classical Widder transform, the H_ν-transform, the K_ν-transform, and the Y_ν-transform. Some identities involving these transforms and many others are given. By making use of these identities, a number of new Parseval-Goldstein type identities are obtained for these and other well-known integral transforms.     

On Tauberian theorems for (A)(C, α) summability method

In this paper we introduce some Tauberian conditions for the (A)(C, α) summability method. These results extend and generalize some of the classical Tauberian theorems for the Abel summability method.     

Characterizing geometric designs, II

We provide a characterization of the classical point-line designs PG₁(n,q), where n?3, among all non-symmetric 2-(v,k,1)-designs as those with the maximal number of hyperplanes. As an application of this result, we characterize the classical quasi-symmetric designs PGn−2(n,q), where n?4, among all (not necessarily quasi-symmetric) designs with the same parameters as those having line size q+1 and all intersection numbers at least qn−4+?+q+1. Finally, we also give an explicit lower bound for the number of non-isomorphic designs having the same parameters as PG₁(n,q); in particular, we obtain a new proof for the known fact that this number grows exponentially for any fixed value of q.     

Some new almost sure results on the functional increments of the uniform empirical process

Given an observation of the uniform empirical process α_n, its functional increments α_n(u+a_n⋅)−α_n(u) can be viewed as a single random process, when u is distributed under the Lebesgue measure. We investigate the almost sure limit behaviour of the multivariate versions of these processes as n→∞ and a_n↓0. Under mild conditions on a_n, a convergence in distribution and functional limit laws are established. The proofs rely on a new extension of the usual Poissonisation tools for the local empirical process.     

Convergence analysis of modified iterative approaches in geodesic spaces with curvature bounded above

The objective of this article is to establish a new modified iteration process for nonexpansive mappings in complete CAT(κ) spaces. We prove strong and Δ‐convergence theorems of the proposed method in such spaces under some standard conditions. Furthermore, numerical experiments of non‐trivial examples are also provided to show performance and comparison speed of convergence with many previously known methods. Our main result extended and improved the corresponding recent results announced by many researchers.     

Weakly interacting particle systems on inhomogeneous random graphs

We consider weakly interacting diffusions on time varying random graphs. The system consists of a large number of nodes in which the state of each node is governed by a diffusion process that is influenced by the neighboring nodes. The collection of neighbors of a given node changes dynamically over time and is determined through a time evolving random graph process. A law of large numbers and a propagation of chaos result is established for a multi-type population setting where at each instant the interaction between nodes is given by an inhomogeneous random graph which may change over time. This result covers the setting in which the edge probabilities between any two nodes are allowed to decay to 0 as the size of the system grows. A central limit theorem is established for the single-type population case under stronger conditions on the edge probability function.     

Hilbert-style axiomatization of first-degree entailment and a family of its extensions

This paper presents a Hilbert-style system for the logic of first-degree entailment defined in a Fmla-Fmla framework. The effective use of this formulation as a basis for a whole family of systems extending the logic of first-degree entailment in various directions is shown. By systematizing this family, some new systems are uncovered, and some other well-established logics (such as the first-degree entailment fragment of Priest's Logic of Paradox) obtain new axiomatization. Semantics for the key systems from the family is formulated.     

整数环上一类三阶矩阵方程有解的充要条件

给出了整数环上一类三阶矩阵方程有解的充要条件.     

Quantum feedback control: how to use verification theorems and viscosity solutions to find optimal protocols

While feedback control has many applications in quantum systems, finding optimal control protocols for this task is generally challenging. So-called ‘verification theorems’ and ‘viscosity solutions’ provide two useful tools for this purpose: together they give a simple method to check whether any given protocol is optimal, and provide a numerical method for finding optimal protocols. While treatments of verification theorems usually use sophisticated mathematical language, this is not necessary. In this article we give a simple introduction to feedback control in quantum systems, and then describe verification theorems and viscosity solutions in simple language. We also illustrate their use with a concrete example of current interest.