Weak solution of (r, (x, u(x)) u′(x))′ = (Fu)′(x) with r(0, u(0))u′(0) = ku(0), r(L, u(L))u′ (L) = hu(L) and k, h are suitable elements of [0, ∞]

We consider weak solutions to the nonlinear boundary value problem (r, (x, u(x)) u′(x))′ = (Fu)′(x) with r(0, u(0)) u′(0) = ku(0), r(L, u(L)) u′(L) = hu(L) and k, h are suitable elements of [0, ∞]. In addition to studying some new boundary conditions, we also relax the constraints on r(x, u) and (Fu)(x). r(x, u) > 0 may have a countable set of jump discontinuities in u and r(x, u)^?1?L_q((0, L) × (0, p)). F is an operator from a suitable set of functions to a subset of L_p(0, L) which have nonnegative values. F includes, among others, examples of the form (Fu)(x) = (1 ? H(x ? x₀)) u(x₀), (Fu)(x) = ∫_x^Lf(y, u(y)) dy where f(y, u) may have a countable set of jump discontinuities in u or F may be chosen so that (Fu)′(x) = ? g(x, u(x)) u′(x) ? q(x) u(x) ? f(x, u(x)) where q is a distributional derivative of an L₂(0, L) function.     

On a nonconvolution Volterra resolvent

Under fairly weak assumptions, the solutions of the system of Volterra equations x(t) = ∝₀^ta(t, s) x(s) ds + f(t), t > 0, can be written in the form x(t) = f(t) + ∝₀^tr(t, s) f(s) ds, t > 0, where r is the resolvent of a, i.e., the solution of the equation r(t, s) = a(t, s) + ∝₀^ta(t, v) r(v, s)dv, 0 < s < t. Conditions on a are given which imply that the resolvent operator f ∝₀^tr(t, s) f(s) ds maps a weighted L¹ space continuously into another weighted L¹ space, and a weighted L^∞ space into another weighted L^∞ space. Our main theorem is used to study the asymptotic behavior of two differential delay equations.     

An application of L-functions of imaginary quadratic fields

Let F₁(x, y),…, F_2h+1(x, y) be the representatives of equivalent classes of positive definite binary quadratic forms of discriminant ?q (q is a prime such that q ≡ 3 mod 4) with integer coefficients, then the number of integer solutions of F_i(x, y) = n (i = 1,…, 2h + 1) can be calculated for each natural number n using L-functions of imaginary quadratic field $\text{Q}$((?q)^1/2).     

Stability of Unique Solvability in an Ill-Posed Dirichlet Problem

Suppose that Ω ? ∝ ⁿ is a compact domain with Lipschitz boundary ?Ω which is the closure of its interior Ω₀. Consider functions ? _i , τ _i : Ω→ ∝ belonging to the space L _q (Ω) for q ∈ (1, +∞] and a locally Holder mapping F: Ω × ∝ → ∝ such that F(·, 0) ≡ 0 on Ω. Consider two quasilinear inhomogeneous Dirichlet problems $$\left\{ {_{u = \tau _i \quad \quad \quad \quad \quad \quad \quad \;\;\,\operatorname{on} \;\partial \Omega ,}^{\Delta u_i = F(x,\;u_i ) + \varphi _i (x)\quad \operatorname{on} \;\Omega _0 ,} } \right.\quad \quad i = 1,\;2.$$ In this paper, we study the following problem: Under certain conditions on the function F generally not ensuring either the uniqueness or the existence of solutions in these problems, estimate the deviation of the solutions u _i (assuming that they exist) from each other in the uniform metric, using additional information about the solutions u _i . Here we assume that the solutions are continuous, although their continuity is a consequence of the constraints imposed on F, τ_i, ?_i. For the additional information on the solutions u _i , i = 1, 2 we take their values on the grid; in particular, we show that if their values are identical on some finite grid, then these functions coincide on Ω.     

A distance-labelling problem for hypercubes

Let i₁≥i₂≥i₃≥1 be integers. An L(i₁,i₂,i₃)-labelling of a graph G=(V,E) is a mapping ?:V→{0,1,2,…} such that |?(u)−?(v)|≥i_t for any u,v∈V with d(u,v)=t, t=1,2,3, where d(u,v) is the distance in G between u and v. The integer ?(v) is called the label assigned to v under ?, and the difference between the largest and the smallest labels is called the span of ?. The problem of finding the minimum span, λ_i1,i2,i3(G), over all L(i₁,i₂,i₃)-labellings of G arose from channel assignment in cellular communication systems, and the related problem of finding the minimum number of labels used in an L(i₁,i₂,i₃)-labelling was originated from recent studies on the scalability of optical networks. In this paper we study the L(i₁,i₂,i₃)-labelling problem for hypercubes Q_d (d≥3) and obtain upper and lower bounds on λ_i1,i2,i3(Q_d) for any (i₁,i₂,i₃).     

Stable viscosity matrices for systems of conservation laws

A natural class of appropriate viscosity matrices for strictly hyperbolic systems of conservation laws in one space dimension, u₁ + f(u)_x = 0, u?R^m, is studied. These matrices are admissible in the sense that small-amplitude shock wave solutions of the hyperbolic system are shown to be limits of smooth traveling wave solutions of the parabolic system u_t + f(u)_x = v(Du_x)_x as ifv → 0 if D is in this class. The class is determined by a linearized stability requirement: The Cauchy problem for the equation u₁ + f′(u₀) u_x = vDu_xx should be well posed in L² uniformly in v as v → 0. Previous examples of inadmissible viscosity matrices are accounted for through violation of the stability criterion.     

Stability of Friedrichs's scheme in the maximum norm for hyperbolic systems in one space dimension

We are concerned with Friedrichs's scheme for an initial value problem u_t(t, x) = A(t, x)u_x(t, x), u(0, x) = u₀(x), where u₀(x) belongs to L_∞, not to L₂. We show that Friedrichs's scheme is stable in the maximum norm ·_L∞, provided that the system is regularly hyperbolic and that the eigenvalues d_i(t, x) (i = 1,2,..., N) of the N XN matrix A(t, x) satisfy the conditions 1±λd_i(t, x)?0 (i = 1,2,..., N), where λ is a mesh ratio.     

Unique response Roman domination in graphs

A function f:V(G)→{0,1,2} is a Roman dominating function if every vertex u for which f(u)=0 is adjacent to at least one vertex v for which f(v)=2. A function f:V(G)→{0,1,2} with the ordered partition (V₀,V₁,V₂) of V(G), where V_i={v∈V(G)∣f(v)=i} for i=0,1,2, is a unique response Roman function if x∈V₀ implies |N(x)∩V₂|≤1 and x∈V₁∪V₂ implies that |N(x)∩V₂|=0. A function f:V(G)→{0,1,2} is a unique response Roman dominating function if it is a unique response Roman function and a Roman dominating function. The unique response Roman domination number of G, denoted by u_R(G), is the minimum weight of a unique response Roman dominating function. In this paper we study the unique response Roman domination number of graphs and present bounds for this parameter.     

A polynomial dual of partitions

Let P(x) = Σ_i=0ⁿa_ixⁱ be a nonnegative integral polynomial. The polynomial P(x) is m-graphical, and a multi-graph G a realization of P(x), provided there exists a multi-graph G containing exactly P(1) points where a_i of these points have degree i for 0≤i≤n. For multigraphs G, H having polynomials P(x), Q(x) and number-theoretic partitions (degree sequences) π, ?, the usual product P(x)Q(x) is shown to be the polynomial of the Cartesian product G × H, thus inducing a natural product π? which extends that of juxtaposing integral multiple copies of ?. Skeletal results are given on synthesizing a multi-graph G via a natural Cartesian product G₁ × … × G_k having the same polynomial (partition) as G. Other results include an elementary sufficient condition for arbitrary nonnegative integral polynomials to be graphical.     

Bessel Property of the System of Root Functions of a Second-Order Singular Operator on an Interval

For the system of root functions of an operator defined by the differential operation ?u″ + p(x)u′ + q(x)u, x ∈ G = (0, 1), with complex-valued singular coefficients, sufficient conditions for the Bessel property in the space L₂(G) are obtained and a theorem on the unconditional basis property is proved. It is assumed that the functions p(x) and q(x) locally belong to the spaces L₂ and W₂^?1, respectively, and may have singularities at the endpoints of G such that q(x) = q_R(x) +q′S(x) and the functions q_S(x), p(x), q ₂ ^S (x)w(x), p²(x)w(x), and q_R(x)w(x) are integrable on the whole interval G, where w(x) = x(1 ? x).     

Labeling graphs with two distance constraints

Given a graph G and integers p,q,d₁ and d₂, with p>q, d₂>d₁?1, an L(d₁,d₂;p,q)-labeling of G is a function f:V(G)→{0,1,2,…,n} such that |f(u)−f(v)|?p if d_G(u,v)?d₁ and |f(u)−f(v)|?q if d_G(u,v)?d₂. A k-L(d₁,d₂;p,q)-labeling is an L(d₁,d₂;p,q)-labeling f such that max_v∈V(G)f(v)?k. The L(d₁,d₂;p,q)-labeling number ofG, denoted by , is the smallest number k such that G has a k-L(d₁,d₂;p,q)-labeling. In this paper, we give upper bounds and lower bounds of the L(d₁,d₂;p,q)-labeling number for general graphs and some special graphs. We also discuss the L(d₁,d₂;p,q)-labeling number of G, when G is a path, a power of a path, or Cartesian product of two paths.     

On the Attainable Order of Collocation Methods for Delay Differential Equations with Proportional Delay

To analyze the attainable order of m-stage implicit (collocation-based) Runge-Kutta methods for the delay differential equation (DDE) y′(t) = by(qt), 0 < q ≤ 1 with y(0) = 1, and the delay Volterra integral equation (DVIE) y(t) = 1 + $\tfrac{b}{q}\int {_0^{qt} }$ y(s) ds with proportional delay qt, 0 < q ≤ 1, our particular interest lies in the approximations (and their orders) at the first mesh point t = h for the collocation solution v(t) of the DDE and the iterated collocation solution u _it(t) of the DVIE to the solution y(t). Recently, H. Brunner proposed the following open problem: “For m ≤ 3, do there exist collocation points c _i = c _i(q), i = 1, 2,..., m in [0,1] such that the rational approximant v(h)is the (m, m)-Padé approximant to y(h)? If these exist, then |v(h) ? y(h)| = O(h ^2m+1) but what is the collocation polynomial M _m(t; q) = K Π _i=1 ^m (t ? c _i) of v(th), t ∈ [0, 1]?” In this paper, we solve this question affirmatively, and give the related results between the collocation solution v(t) of the DDE and the iterated collocation solution u _it(t) of the DVIE. We also answer to Brunner's second open question in the case that one collocation point is fixed at the right end point of the interval.     

On the locating chromatic number of Kneser graphs

Let c be a proper k-coloring of a connected graph G and Π=(C₁,C₂,…,C_k) be an ordered partition of V(G) into the resulting color classes. For a vertex v of G, the color code of v with respect to Π is defined to be the ordered k-tuple c_Π(v):=(d(v,C₁),d(v,C₂),…,d(v,C_k)), where d(v,C_i)=min{d(v,x)|x∈C_i},1≤i≤k. If distinct vertices have distinct color codes, then c is called a locating coloring. The minimum number of colors needed in a locating coloring of G is the locating chromatic number of G, denoted by χ_L(G). In this paper, we study the locating chromatic number of Kneser graphs. First, among some other results, we show that χ_L(KG(n,2))=n−1 for all n≥5. Then, we prove that χ_L(KG(n,k))≤n−1, when n≥k². Moreover, we present some bounds for the locating chromatic number of odd graphs.     

Theorems on asymptotics for singular Sturm-Liouville operators with various boundary conditions

We consider the Sturm-Liouville operator L(y) = ?d ² y/dx ² + q(x)y in the space L ₂[0, π], where the potential q(x) is a complex-valued distribution of the first order of singularity; i.e., q(x) = u′(x), u ∈ L ²[0, π]. (Here the derivative is understood in the sense of distributions.) We obtain asymptotic formulas for the eigenvalues and eigenfunctions of the operator in the case of the Neumann-Dirichlet conditions [y ^[1](0) = 0, y(π) = 0] and Neumann conditions [y ^[1](0) = 0, y ^[1](π) = 0] and refine similar formulas for all types of boundary conditions. The leading and second terms of asymptotics are found in closed form.     

Weighted inequalities for fractional type operators with some homogeneous kernels

In this paper, we study integral operators of the form Tαf(x)=∫Rn|x-A1y|-α1 ··· |x-Amy|-αmf(y)dy,where Ai are certain invertible matrices, αi 0, 1 ≤ i ≤ m, α1 + ··· + αm = n-α, 0 ≤α n. For 1/q = 1/p-α/n , we obtain the Lp (Rn, wp)-Lq(Rn, wq) boundedness for weights w in A(p, q) satisfying that there exists c 0 such that w(Aix) ≤ cw(x), a.e. x ∈ Rn , 1 ≤ i ≤ m.Moreover, we obtain theappropriate weighted BMO and weak type estimates for certain weights satisfying the above inequality. We also give a Coifman type estimate for these operators.     

A tracing of the fractional temperature field

This paper is devoted to a study of L~q-tracing of the fractional temperature field u(t, x)—the weak solution of the fractional heat equation(?_t +(-?_x)~α)u(t, x) = g(t, x) in L~p(R_+~(1+n)) subject to the initial temperature u(0, x) = f(x) in L~p(R~n).     

Estimation of states and parameters in continuous non-linear systems with discrete observations

We consider a class of continuous non-linear systems defined by the ordinary differential equation x = f(x, t) + g(x, t)u, where u is an unknown input representing noise or disturbances. The object is to estimate states and parameters in these systems by means of a fixed number of discrete observations y_i = h(x(t_i), t_i) + v_i, 1 ? i ? m, where the v_i represents unknown errors in the measurements y_i. No statistical assumptions are made concerning the nature of the unknown input u or the unknown measurement errors v_i. A weighted least squares criterion is defined as a measure of the optimal estimate. A result concerning the existence of solutions of the differential equation which minimize the criterion is presented. The necessary conditions for an optimal estimate, a set of Euler-Lagrange equations and multi-point discontinuous non-linear boundary conditions, are given. The multi-point problem is converted to an equivalent continuous two-point boundary value problem of larger dimension in the case in which the observations are assumed to be linear functions of the state. A pair of equivalent quasilinearization algorithms is defined for the two-point system and the multi-point system. Quadratic convergence for these algorithms is proved.     

Convergence to strong nonlinear diffusion waves for solutions to p-system with damping on quadrant

In this paper, we consider the so-called p-system with linear damping on quadrant. We show that for a certain class of given large initial data (v₀(x),u₀(x)), the corresponding initial-boundary value problem admits a unique global smooth solution (v(x,t),u(x,t)) and such a solution tends time-asymptotically, at the Lp (2?p?∞) optimal decay rates, to the corresponding nonlinear diffusion wave which satisfies (1.9) provided the corresponding prescribed initial error function (V₀(x),U₀(x)) lies in (H³(R⁺)∩L¹(R⁺))×(H²(R⁺)∩L¹(R⁺)).     

Fractional integrals, potential operators and two-weight, weak type norm inequalities on spaces of homogeneous type

We prove two-weight, weak type norm inequalities for potential operators and fractional integrals defined on spaces of homogeneous type. We show that the operators in question are bounded from L^p(v) to L^q,∞(u), 1<p?q<∞, provided the pair of weights (u,v) verifies a Muckenhoupt condition with a “power-bump” on the weight u.     

A uniform finite element method for a conservative singularly perturbed problem

We examine the problem ϵ(p(x)u′) + (q(x)u)′ − r(x)u = f(x) for 0 < x < 1, p>0, q>0, r ⩾ 0; p, q, r and f in C²[0, 1], ϵ in (0, 1], u(0) and u(1) given. Existence of a unique solution u and bounds on u and its derivatives are obtained. Using finite elements on an equidistant mesh of width h we generate a tridiagonal difference scheme which is shown to be uniformly second order accurate for this problem (i.e., the nodal errors are bounded by Ch², where C is independent of h and ϵ). With a natural choice of trial functions, uniform first order accuracy is obtained in the L^∞(0, 1) norm. Using trial functions which interpolate linearly between the nodal values generated by the difference scheme gives uniform first order accuracy in the L¹(0, 1) norm.