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.     

More on “Connected (n, m)-graphs with minimum and maximum zeroth-order general Randi? index”

Let G be a graph and d(u) denote the degree of a vertex u in G. The zeroth-order general Randi? index ⁰R_α(G) of the graph G is defined as ∑_u∈V(G)d(u)^α, where the summation goes over all vertices of G and α is an arbitrary real number. In this paper we correct the proof of the main Theorem 3.5 of the paper by Hu et al. [Y. Hu, X. Li, Y. Shi, T. Xu, Connected (n,m)-graphs with minimum and maximum zeroth-order general Randi? index, Discrete Appl. Math. 155 (8) (2007) 1044-1054] and give a more general Theorem. We finally characterize ¹ for α<0 the connected G(n,m)-graphs with maximum value ⁰R_α(G(n,m)), where G(n,m) is a simple connected graph with n vertices and m edges.     

On symmetric graphs of valency five

A graph X, with a subgroup G of the automorphism group of X, is said to be (G,s)-transitive, for some s≥1, if G is transitive on s-arcs but not on (s+1)-arcs, and s-transitive if it is -transitive. Let X be a connected (G,s)-transitive graph, and G_v the stabilizer of a vertex v∈V(X) in G. If X has valency 5 and G_v is solvable, Weiss [R.M. Weiss, An application of p-factorization methods to symmetric graphs, Math. Proc. Camb. Phil. Soc. 85 (1979) 43-48] proved that s≤3, and in this paper we prove that G_v is isomorphic to the cyclic group Z₅, the dihedral group D₁₀ or the dihedral group D₂₀ for s=1, the Frobenius group F₂₀ or F₂₀×Z₂ for s=2, or F₂₀×Z₄ for s=3. Furthermore, it is shown that for a connected 1-transitive Cayley graph of valency 5 on a non-abelian simple group G, the automorphism group of is the semidirect product , where R(G) is the right regular representation of G and .     

Constructions of generalized Sidon sets

We give explicit constructions of sets S with the property that for each integer k, there are at most g solutions to k=s₁+s₂,s_i∈S; such sets are called Sidon sets if g=2 and generalized Sidon sets if g?3. We extend to generalized Sidon sets the Sidon-set constructions of Singer, Bose, and Ruzsa. We also further optimize Kolountzakis’ idea of interleaving several copies of a Sidon set, extending the improvements of Cilleruelo, Ruzsa and Trujillo, Jia, and Habsieger and Plagne. The resulting constructions yield the largest known generalized Sidon sets in virtually all cases.     

On certain spaces of vector measures of bounded variation

If (Σ,X) is a measurable space and X a Banach space we investigate the X-inheritance of copies of ?_∞ in certain subspaces Δ(Σ,X) of bvca(Σ,X), the Banach space of all X-valued countable additive measures of bounded variation equipped with the variation norm. Among the consequences of our main theorem we get a theorem of J. Mendoza on the X-inheritance of copies of ?_∞ in the Bochner space L₁(μ,X) and other of the author on the X-inheritance of copies of ?_∞ in bvca(Σ,X).     

Approximating tensor product Bézier surfaces with tangent plane continuity

We present a simple method for degree reduction of tensor product Bézier surfaces with tangent plane continuity in L₂-norm. Continuity constraints at the four corners of surfaces are considered, so that the boundary curves preserve endpoints continuity of any order α. We obtain matrix representations for the control points of the degree reduced surfaces by the least-squares method. A simple optimization scheme that minimizes the perturbations of some related control points is proposed, and the surface patches after adjustment are C^∞ continuous in the interior and G¹ continuous at the common boundaries. We show that this scheme is applicable to surface patches defined on chessboard-like domains.     

Linear-time certifying algorithms for near-graphical sequences

A sequence 〈d₁,d₂,…,d_n〉 of non-negative integers is graphical if it is the degree sequence of some graph, that is, there exists a graph G on n vertices whose ith vertex has degree d_i, for 1≤i≤n. The notion of a graphical sequence has a natural reformulation and generalization in terms of factors of complete graphs.If H=(V,E) is a graph and g and f are integer-valued functions on the vertex set V, then a (g,f)-factor of H is a subgraph G=(V,F) of H whose degree at each vertex v∈V lies in the interval [g(v),f(v)]. Thus, a (0,1)-factor is just a matching of H and a (1, 1)-factor is a perfect matching of H. If H is complete then a (g,f)-factor realizes a degree sequence that is consistent with the sequence of intervals 〈[g(v₁),f(v₁)],[g(v₂),f(v₂)],…,[g(v_n),f(v_n)]〉.Graphical sequences have been extensively studied and admit several elegant characterizations. We are interested in extending these characterizations to non-graphical sequences by introducing a natural measure of “near-graphical”. We do this in the context of minimally deficient (g,f)-factors of complete graphs. Our main result is a simple linear-time greedy algorithm for constructing minimally deficient (g,f)-factors in complete graphs that generalizes the method of Hakimi and Havel (for constructing (f,f)-factors in complete graphs, when possible). It has the added advantage of producing a certificate of minimum deficiency (through a generalization of the Erdös-Gallai characterization of (f,f)-factors in complete graphs) at no additional cost.     

Iterative approximation of a zero of accretive operator in Banach space

This paper introduces an iteration scheme for viscosity approximation of a zero of accretive operator in a reflexive Banach space with weakly continuous duality mapping. A new iterative sequence is introduced and strong convergence of the algorithm {x_n} is proved. The results improve and extend the results of Su [Xiaolong Qin, Yongfu Su, Approximation of a zero point of accretive operator in Banach spaces, J. Math. Anal. Appl. 320 (2007) 415-424] and some others.     

A first-order differential double subordination with applications

Let q₁ and q₂ belong to a certain class of normalized analytic univalent functions in the open unit disk of the complex plane. Sufficient conditions are obtained for normalized analytic functions p to satisfy the double subordination chain q₁(z)?p(z)?q₂(z). The differential sandwich-type result obtained is applied to normalized univalent functions and to Φ-like functions.     

Sample-based polynomial approximation of rational Bézier curves

We present an iteration method for the polynomial approximation of rational Bézier curves. Starting with an initial Bézier curve, we adjust its control points gradually by the scheme of weighted progressive iteration approximations. The L_p-error calculated by the trapezoidal rule using sampled points is used to guide the iteration approximation. We reduce the L_p-error by a predefined factor at every iteration so as to obtain the best approximation with a minimum error. Numerical examples demonstrate the fast convergence of our method and indicate that results obtained using the L₁-error criterion are better than those obtained using the L₂-error and L_∞-error criteria.     

Graph classes and the complexity of the graph orientation minimizing the maximum weighted outdegree

Given an undirected graph with edge weights, we are asked to find an orientation, that is, an assignment of a direction to each edge, so as to minimize the weighted maximum outdegree in the resulted directed graph. The problem is called MMO, and is a restricted variant of the well-known minimum makespan problem. As in previous studies, it is shown that MMO is in P for trees, weak NP-hard for planar bipartite graphs, and strong NP-hard for general graphs. There are still gaps between those graph classes. The objective of this paper is to show tighter thresholds of complexity: We show that MMO is (i) in P for cactus graphs, (ii) weakly NP-hard for outerplanar graphs, and also (iii) strongly NP-hard for graphs which are both planar and bipartite. This implies the NP-hardness for P₄-bipartite, diamond-free or house-free graphs, each of which is a superclass of cactus. We also show (iv) the NP-hardness for series-parallel graphs and multi-outerplanar graphs, and (v) present a pseudo-polynomial time algorithm for graphs with bounded treewidth.     

Group actions and Helly's theorem

We describe a connection between the combinatorics of generators for certain groups and the combinatorics of Helly's 1913 theorem on convex sets. We use this connection to prove fixed point theorems for actions of these groups on nonpositively curved metric spaces. These results are encoded in a property that we introduce called “property FAr”, which reduces to Serre's property FA when r=1. The method applies to S-arithmetic groups in higher Q-rank, to simplex reflection groups (including some nonarithmetic ones), and to higher rank Chevalley groups over polynomial and other rings (for example SLn(Z[x₁,…,xd]), n>2).     

Degree conditions for group connectivity

Let G be a 2-edge-connected simple graph on n≥13 vertices and A an (additive) abelian group with |A|≥4. In this paper, we prove that if for every uv∉E(G), max{d(u),d(v)}≥n/4, then either G is A-connected or G can be reduced to one of K_2,3,C₄ and C₅ by repeatedly contracting proper A-connected subgraphs, where C_k is a cycle of length k. We also show that the bound n≥13 is the best possible.     

Delay-dependent stability of symmetric schemes in Boundary Value Methods for DDEs

We consider the symmetric schemes in Boundary Value Methods (BVMs) applied to delay differential equations y^′(t)=ay(t)+by(t-τ) with real coefficients a and b. If the numerical solution tends to zero whenever the exact solution does, the symmetric scheme with (k₁+m,k₂)-boundary conditions is called τ_k1,k2(0)-stable. Three families of symmetric schemes, namely the Extended Trapezoidal Rules of first (ETRs) and second (ETR₂s) kind, and the Top Order Methods (TOMs), are considered in this paper.By using the boundary locus technology, the delay-dependent stability region of the symmetric schemes are analyzed and their boundaries are found. Then by using a necessary and sufficient condition, the considered symmetric schemes are proved to be τ_ν,ν-1(0)-stable.     

Exponential asymptotic property of a parallel repairable system with warm standby under common-cause failure

We discuss exponential asymptotic property of the solution of a parallel repairable system with warm standby under common-cause failure. This system can be described by a group of partial differential equations with integral boundary. First we show that the positive contraction C₀-semigroup T(t) [Weiwei Hu, Asymptotic stability analysis of a parallel repairable system with warm standby under common-cause failure, Acta Anal. Funct. Appl. 8 (1) (2006) 5-20] which is generated by the operator corresponding to these equations is a quasi-compact operator. Then by using [Weiwei Hu, Asymptotic stability analysis of a parallel repairable system with warm standby under common-cause failure, Acta Anal. Funct. Appl. 8 (1) (2006) 5-20] that 0 is an eigenvalue of the operator with algebraic index one and the C₀-semigroup T(t) is contraction, we conclude that the spectral bound of the operator is zero. By using the above results the exponential asymptotical stability of the time-dependent solution of the system follows easily.     

Quantum Brownian motion and generalizations of Hermite polynomials

We introduce new families of orthogonal polynomials H_D,n, motivated by the non-equilibrium evolution of a quantum Brownian particle (qBp). The H_D,n’s generalize non-trivially the standard Hermite polynomials, employed for classical Brownian motion. We treat several models (labelled by D) for a non-equilibrium qBp, by means of the Wigner function W, in the presence of a “heat bath” at thermal equilibrium, with and without ab initio friction. For long times (for a suitable class of initial conditions), the non-equilibrium Wigner function W should approach, in some sense, the (time-independent) equilibrium Wigner function W_eq,D, which describes the thermal equilibrium of the qBp with the “heat bath” and plays a central role. W_eq,D is chosen to be the weight function which orthogonalizes the H_D,n’s. New results on W_eq,D and on the H_D,n’s are reported. We justify the key role of the H_D,n’s as follows. Using the H_D,n’s, moments W_eq,D,n and W_n are introduced for W_eq,D and W, respectively. At equilibrium, all moments W_eq,D,n except the lowest one (W_eq,D,0) vanish identically. Off-equilibrium, one expects that, for long times (for suitable initial conditions): (i) all non-equilibrium moments W_n (except the lowest moment W₀), will approach zero, while (ii) the lowest non-equilibrium moment W₀ will tend to W_eq,D,0(≠0). To complete the justification, we outline how the approximate long-time non-equilibrium theories determined by W₀ for the different models (D) yield Smoluchowski equations and irreversible evolutions of the qBp towards thermal equilibrium.     

Graphic sequences with a realization containing a generalized friendship graph

Gould, Jacobson and Lehel [R.J. Gould, M.S. Jacobson, J. Lehel, Potentially G-graphical degree sequences, in: Y. Alavi, et al. (Eds.), Combinatorics, Graph Theory and Algorithms, vol. I, New Issues Press, Kalamazoo, MI, 1999, pp. 451-460] considered a variation of the classical Turán-type extremal problems as follows: for any simple graph H, determine the smallest even integer σ(H,n) such that every n-term graphic sequence π=(d₁,d₂,…,d_n) with term sum σ(π)=d₁+d₂+?+d_n≥σ(H,n) has a realization G containing H as a subgraph. Let F_t,r,k denote the generalized friendship graph on kt−kr+r vertices, that is, the graph of k copies of K_t meeting in a common r set, where K_t is the complete graph on t vertices and 0≤r≤t. In this paper, we determine σ(F_t,r,k,n) for k≥2, t≥3, 1≤r≤t−2 and n sufficiently large.     

Identifying codes and locating-dominating sets on paths and cycles

Let G=(V,E) be a graph and let r≥1 be an integer. For a set D⊆V, define N_r[x]={y∈V:d(x,y)≤r} and D_r(x)=N_r[x]∩D, where d(x,y) denotes the number of edges in any shortest path between x and y. D is known as an r-identifying code (r-locating-dominating set, respectively), if for all vertices x∈V (x∈V?D, respectively), D_r(x) are all nonempty and different. Roberts and Roberts [D.L. Roberts, F.S. Roberts, Locating sensors in paths and cycles: the case of 2-identifying codes, European Journal of Combinatorics 29 (2008) 72-82] provided complete results for the paths and cycles when r=2. In this paper, we provide results for a remaining open case in cycles and complete results in paths for r-identifying codes; we also give complete results for 2-locating-dominating sets in cycles, which completes the results of Bertrand et al. [N. Bertrand, I. Charon, O. Hudry, A. Lobstein, Identifying and locating-dominating codes on chains and cycles, European Journal of Combinatorics 25 (2004) 969-987].     

Weighted geometric discrepancies and numerical integration on reproducing kernel Hilbert spaces

We extend the notion of L₂-B-discrepancy introduced in [E. Novak, H. Wo?niakowski, L₂ discrepancy and multivariate integration, in: W.W.L. Chen, W.T. Gowers, H. Halberstam, W.M. Schmidt, and R.C. Vaughan (Eds.), Analytic Number Theory. Essays in Honour of Klaus Roth, Cambridge University Press, Cambridge, 2009, pp. 359-388] to what we shall call weighted geometric L₂-discrepancy. This extension enables us to consider weights in order to moderate the importance of different groups of variables, as well as to consider volume measures different from the Lebesgue measure and classes of test sets different from measurable subsets of Euclidean spaces.We relate the weighted geometric L₂-discrepancy to numerical integration defined over weighted reproducing kernel Hilbert spaces and settle in this way an open problem posed by Novak and Wo?niakowski.Furthermore, we prove an upper bound for the numerical integration error for cubature formulas that use admissible sample points. The set of admissible sample points may actually be a subset of the integration domain of measure zero. We illustrate that particularly in infinite-dimensional numerical integration it is crucial to distinguish between the whole integration domain and the set of those sample points that actually can be used by the algorithms.