Asymptotic expansions for Riesz fractional derivatives of Airy functions and applications

Riesz fractional derivatives of a function, (also called Riesz potentials), are defined as fractional powers of the Laplacian. Asymptotic expansions for large x are computed for the Riesz fractional derivatives of the Airy function of the first kind, Ai(x), and the Scorer function, Gi(x). Reduction formulas are provided that allow one to express Riesz potentials of products of Airy functions, and , via and . Here Bi(x) is the Airy function of the second type. Integral representations are presented for the function A₂(a,b;x)=Ai(x−a)Ai(x−b) with a,b∈R and its Hilbert transform. Combined with the above asymptotic expansions they can be used for computing asymptotics of the Hankel transform of . These results are used for obtaining the weak rotation approximation for the Ostrovsky equation (asymptotics of the fundamental solution of the linearized Cauchy problem as the rotation parameter tends to zero).     

A numerical characterization of the S2-ification of a Rees algebra

Let A be a local ring with maximal ideal . For an arbitrary ideal I of A, we define the generalized Hilbert coefficients . When the ideal I is -primary, j_k(I)=(0,…,0,(−1)^ke_k(I)), where e_k(I) is the classical kth Hilbert coefficient of I. Using these coefficients we give a numerical characterization of the homogeneous components of the S₂-ification of S=A[It,t⁻¹], extending previous results obtained by the author to not necessarily -primary ideals.     

Regularity theorems for parabolic equations

We study regularity properties of solutions of a parabolic equation in R₊×R^d, d?3 under fairly general conditions on the drift term coefficients. The results are already new for the case a=I, , b=b(x) and .     

Generalization of transitive fraternal augmentations for directed graphs and its applications

Let be a directed graph. A transitive fraternal augmentation of is a directed graph with the same vertex set, including all the arcs of and such that for any vertices x,y,z,

1.

if and then or (fraternity);

2.

if and then (transitivity).

In this paper, we explore some generalization of the transitive fraternal augmentations for directed graphs and its applications. In particular, we show that the 2-coloring number col₂(G)≤O(∇₁(G)∇₀(G)²), where ∇_k(G) (k≥0) denotes the greatest reduced average density with depth k of a graph G; we give a constructive proof that ∇_k(G) bounds the distance (k+1)-coloring number col_k+1(G) with a function f(∇_k(G)). On the other hand, ∇_k(G)≤(col_2k+1(G))^2k+1. We also show that an inductive generalization of transitive fraternal augmentations can be used to study nonrepetitive colorings of graphs.     

Existence-uniqueness results for a class of singular boundary value problems-II

In this paper we establish existence-uniqueness of solution of a class of singular boundary value problem −(p(x)y^′′(x))=q(x)f(x,y) for 0<x?b and y(0)=a, α₁y(b)+β₁y^′(b)=γ₁, where p(x) satisfies (i) p(x)>0 in (0,b), (ii) p(x)∈C¹(0,r), and for some r>b, (iii) is analytic in and q(x) satisfies (i) q(x)>0 in (0,b), (ii) q(x)∈L¹(0,b) and for some r>b, (iii) is analytic in with quite general conditions on f(x,y). Region for multiple solutions have also been determined.     

Distance irredundance and connected domination numbers of a graph

Let k be a positive integer and G be a connected graph. This paper considers the relations among four graph theoretical parameters: the k-domination number γ_k(G), the connected k-domination number ; the k-independent domination number and the k-irredundance number ir_k(G). The authors prove that if an ir_k-set X is a k-independent set of G, then , and that for k?2, if ir_k(G)=1, if ir_k(G) is odd, and if ir_k(G) is even, which generalize some known results.     

Transcendence of certain infinite products

We prove the transcendence results for the infinite product , where Ek(x), Fk(x) are polynomials, α is an algebraic number, and r?2 is an integer. As applications, we give necessary and sufficient conditions for transcendence of and , where Fn and Ln are Fibonacci numbers and Lucas numbers respectively, and {ak}_k?0 is a sequence of algebraic numbers with log‖ak‖=o(rk).     

Monotonicity of zeros of Laguerre polynomials

Denote by x_nk(α), k=1,…,n, the zeros of the Laguerre polynomial . We establish monotonicity with respect to the parameter α of certain functions involving x_nk(α). As a consequence we obtain sharp upper bounds for the largest zero of .     

Beta-expansion and continued fraction expansion

For any real number β>1, let ε(1,β)=(ε₁(1),ε₂(1),…,εn(1),…) be the infinite β-expansion of 1. Define . Let x∈[0,1) be an irrational number. We denote by kn(x) the exact number of partial quotients in the continued fraction expansion of x given by the first n digits in the β-expansion of x. If is bounded, we obtain that for all x∈[0,1)?Q,

     

Cubicity, boxicity, and vertex cover

A k-dimensional box is the cartesian product R₁×R₂×?×R_k where each R_i is a closed interval on the real line. The boxicity of a graph G, denoted as box(G), is the minimum integer k such that G is the intersection graph of a collection of k-dimensional boxes. A unit cube in k-dimensional space or a k-cube is defined as the cartesian product R₁×R₂×?×R_k where each R_i is a closed interval on the real line of the form [a_i,a_i+1]. The cubicity of G, denoted as cub(G), is the minimum k such that G is the intersection graph of a collection of k-cubes. In this paper we show that cub(G)≤t+⌈log(n−t)⌉−1 and , where t is the cardinality of a minimum vertex cover of G and n is the number of vertices of G. We also show the tightness of these upper bounds.F.S. Roberts in his pioneering paper on boxicity and cubicity had shown that for a graph G, and , where n is the number of vertices of G, and these bounds are tight. We show that if G is a bipartite graph then and this bound is tight. We also show that if G is a bipartite graph then . We point out that there exist graphs of very high boxicity but with very low chromatic number. For example there exist bipartite (i.e., 2 colorable) graphs with boxicity equal to . Interestingly, if boxicity is very close to , then chromatic number also has to be very high. In particular, we show that if , s≥0, then , where χ(G) is the chromatic number of G.     

Exponential stability of wave equations with potential and indefinite damping

First, we consider the linear wave equation utt−uxx+a(x)ut+b(x)u=0 on a bounded interval (0,L)⊂R. The damping function a is allowed to change its sign. If is positive and the spectrum of the operator (_∂xx−b) is negative, exponential stability is proved for small . Explicit estimates of the decay rate ω are given in terms of and the largest eigenvalue of (_∂xx−b). Second, we show the existence of a global, small, smooth solution of the corresponding nonlinear wave equation utt−σx(ux)+a(x)ut+b(x)u=0, if, additionally, the negative part of a is small enough compared with ω.     

The utilization of total mass to determine the switching points in the symmetric boundary control problem with a linear reaction term

The authors study the problem , and u(0,t)=u(1,t)=ψ(t), where ψ(t)=u₀ for t2k<t<t2k+1 and ψ(t)=0 for , with t₀=0 and the sequence tk is determined by the equations , for , and , for k=2,4,6,… and where 0<m<M. Note that the switching points , are unknown. Existence and uniqueness are demonstrated. Theoretical estimates of the tk and tk+1−tk are obtained and numerical verifications of the estimates are presented. The case of ux(0,t)=ux(1,t)=ψ(t) is also considered and analyzed.     

Hypergeometric series solutions of linear operator equations

Let K be a field and L:K[x]→K[x] be a linear operator acting on the ring of polynomials in x over the field K. We provide a method to find a suitable basis {b_k(x)} of K[x] and a hypergeometric term c_k such that is a formal series solution to the equation L(y(x))=0. This method is applied to construct hypergeometric representations of orthogonal polynomials from the differential/difference equations or recurrence relations they satisfied. Both the ordinary cases and the q-cases are considered.     

Log-concavity and LC-positivity

A triangle {a(n,k)}_0?k?n of nonnegative numbers is LC-positive if for each r, the sequence of polynomials is q-log-concave. It is double LC-positive if both triangles {a(n,k)} and {a(n,n−k)} are LC-positive. We show that if {a(n,k)} is LC-positive then the log-concavity of the sequence {xk} implies that of the sequence {zn} defined by , and if {a(n,k)} is double LC-positive then the log-concavity of sequences {xk} and {yk} implies that of the sequence {zn} defined by . Examples of double LC-positive triangles include the constant triangle and the Pascal triangle. We also give a generalization of a result of Liggett that is used to prove a conjecture of Pemantle on characteristics of negative dependence.     

Positive definite matrices and differentiable reproducing kernel inequalities

Let I⊆R be a interval and be a reproducing kernel on I. By the Moore-Aronszajn theorem, every finite matrix k(xi,xj) is positive semidefinite. We show that, as a direct algebraic consequence, if k(x,y) is appropriately differentiable it satisfies a 2-parameter family of differential inequalities of which the classical diagonal dominance is the order 0 case. An application of these inequalities to kernels of positive integral operators yields optimal Sobolev norm bounds.     

Fonction asymptotique de Samuel des sections hyperplanes et multiplicité

Let (A,m_A,k) be a local noetherian ring and I an m_A-primary ideal. The asymptotic Samuel function (with respect to I) : A?R∪{+∞} is defined by , ∀x∈A. Similarly, one defines, for another ideal J, as the minimum of as x varies in J. Of special interest is the rational number . We study the behavior of the asymptotic Samuel function (with respect to I) when passing to hyperplane sections of A as one does for the theory of mixed multiplicities.     

Homogeneous polynomials as Lyapunov functions in the stability research of solutions of difference equations

The linear autonomous system of difference equations x(n+1)=Ax(n) is considered, where is a real nonsingular k×k matrix. In this paper it has been proved that if W(x) is any homogeneous polynomial of m-th degree in x, then there exists a unique homogeneous polynomial V(x) of m-th degree such that ΔV=V(Ax)-V(x)=W(x) if and only if where are the eigenvalues of the matrix A. The theorem on the instability has also been proved.