A connection between circular colorings and periodic schedules

We show that there is a curious connection between circular colorings of edge-weighted digraphs and periodic schedules of timed marked graphs. Circular coloring of an edge-weighted digraph was introduced by Mohar [B. Mohar, Circular colorings of edge-weighted graphs, J. Graph Theory 43 (2003) 107-116]. This kind of coloring is a very natural generalization of several well-known graph coloring problems including the usual circular coloring [X. Zhu, Circular chromatic number: A survey, Discrete Math. 229 (2001) 371-410] and the circular coloring of vertex-weighted graphs [W. Deuber, X. Zhu, Circular coloring of weighted graphs, J. Graph Theory 23 (1996) 365-376]. Timed marked graphs [R.M. Karp, R.E. Miller, Properties of a model for parallel computations: Determinancy, termination, queuing, SIAM J. Appl. Math. 14 (1966) 1390-1411] are used, in computer science, to model the data movement in parallel computations, where a vertex represents a task, an arc uv with weight c_uv represents a data channel with communication cost, and tokens on arc uv represent the input data of task vertex v. Dynamically, if vertex u operates at time t, then u removes one token from each of its in-arc; if uv is an out-arc of u, then at time t+c_uv vertex u places one token on arc uv. Computer scientists are interested in designing, for each vertex u, a sequence of time instants {f_u(1),f_u(2),f_u(3),…} such that vertex u starts its kth operation at time f_u(k) and each in-arc of u contains at least one token at that time. The set of functions is called a schedule of . Computer scientists are particularly interested in periodic schedules. Given a timed marked graph , they ask if there exist a period p>0 and real numbers x_u such that has a periodic schedule of the form f_u(k)=x_u+p(k−1) for each vertex u and any positive integer k. In this note we demonstrate an unexpected connection between circular colorings and periodic schedules. The aim of this note is to provide a possibility of translating problems and methods from one area of graph coloring to another area of computer science.     

A remark on Ricceri's conjecture for a class of nonlinear eigenvalue problems

Consider the eigenvalue problem : −Δu=λf(x,u) in Ω, u=0 on ∂Ω, where Ω is a bounded smooth domain in RN. Denote by the set of all Carathéodory functions f:Ω×R→R such that for a.e. x∈Ω, f(x,⋅) is Lipschitzian with Lipschitz constant L, f(x,0)=0 and , and denote by (resp. ) the set of λ>0 such that has at least one nonzero classical (resp. weak) solution. Let λ₁ be the first eigenvalue for the Laplacian-Dirichlet problem. We prove that and . Our result is a positive answer to Ricceri's conjecture if use f(x,u) instead of f(u) in the conjecture.     

Carleson embeddings for Sobolev spaces via heat equation

Let u(t,x) be the solution of the heat equation (∂_t-Δ_x)u(t,x)=0 on subject to u(0,x)=f(x) on Rⁿ. The main goal of this paper is to characterize such a nonnegative measure μ on that f(x)?u(t²,x) induces a bounded embedding from the Sobolev space , p∈[1,n) into the Lebesgue space , q∈(0,∞).     

A unique solution to a nonlinear elliptic equation

The purpose of this paper is to prove the existence of a unique, classical solution to the nonlinear elliptic partial differential equation −∇⋅(a(u(x))∇u(x))=f(x) under periodic boundary conditions, where u(x₀)=u₀ at x₀∈Ω, with Ω=TN, the N-dimensional torus, and N=2,3. The function a is assumed to be smooth, and a(u(x))>0 for , where G⊂R is a bounded interval. We prove that if the functions f and a satisfy certain conditions, then a unique classical solution u exists. The range of the solution u is a subset of a specified interval . Applications of this work include stationary heat/diffusion problems with a source/sink, where the value of the solution is known at a spatial location x₀.     

Existence and asymptotic behavior of blow-up solutions to weighted quasilinear equations

Given a bounded domain Ω we consider local weak blow-up solutions to the equation Δ_pu=g(x)f(u) on Ω. The non-linearity f is a non-negative non-decreasing function and the weight g is a non-negative continuous function on Ω which is allowed to be unbounded on Ω. We show that if Δ_pw=−g(x) in the weak sense for some and f satisfies a generalized Keller-Osserman condition, then the equation Δ_pu=g(x)f(u) admits a non-negative local weak solution such that u(x)→∞ as x→∂Ω. Asymptotic boundary estimates of such blow-up solutions will also be investigated.     

Upper Semicontinuity of Morse Sets of a Discretization of a Delay-Differential Equation: An Improvement

In this paper, we consider a discrete delay problem with negative feedback x(t)=f(x(t), x(t−1)) along with a certain family of time discretizations with stepsize 1/n. In the original problem, the attractor admits a nice Morse decomposition. We proved in (T. Gedeon and G. Hines, 1999, J. Differential Equations151, 36-78) that the discretized problems have global attractors. It was proved in (T. Gedeon and K. Mischaikow, 1995, J. Dynam. Differential Equations7, 141-190) that such attractors also admit Morse decompositions. In (T. Gedeon and G. Hines, 1999, J. Differential Equations151, 36-78) we proved certain continuity results about the individual Morse sets, including that if f(x, y)=f(y), then the individual Morse sets are upper semicontinuous at n=∞. In this paper we extend this result to the general case; that is, we prove for general f(x, y) with negative feedback that the Morse sets are upper semicontinuous.     

Large solutions of semilinear elliptic equations under the Keller-Osserman condition

We consider the equation Δu=p(x)f(u) where p is a nonnegative nontrivial continuous function and f is continuous and nondecreasing on [0,∞), satisfies f(0)=0, f(s)>0 for s>0 and the Keller-Osserman condition where . We establish conditions on the function p that are necessary and sufficient for the existence of positive solutions, bounded and unbounded, of the given equation.     

Sublinear singular elliptic problems with two parameters

We establish several existence and nonexistence results for the boundary value problem −Δu+K(x)g(u)=λf(x,u)+μh(x) in Ω, u=0 on ∂Ω, where Ω is a smooth bounded domain in , λ and μ are positive parameters, h is a positive function, while f has a sublinear growth. The main feature of this paper is that the nonlinearity g is assumed to be unbounded around the origin. Our analysis shows the importance of the role played by the decay rate of g combined with the signs of the extremal values of the potential K(x) on . The proofs are based on various techniques related to the maximum principle for elliptic equations.     

Spike solutions of a nonlinear Schrödinger equation with degenerate potential

We study the existence of positive solutions to the elliptic equation ε²Δu(x,y)−V(y)u(x,y)+f(u(x,y))=0 for (x,y) in an unbounded domain subject to the boundary condition u=0 whenever is nonempty. Our potential V depends only on the y variable and is a bounded or unbounded domain which may coincide with . The positive parameter ε is tending to zero and our solutions u_ε concentrate along minimum points of the unbounded manifold of critical points of V.     

Strong continuity of generalized Feynman-Kac semigroups: Necessary and sufficient conditions

Let (E,D(E)) be a strongly local, quasi-regular symmetric Dirichlet form on L²(E;m) and ((Xt)_t?0,(Px)_x∈E) the diffusion process associated with (E,D(E)). For u∈De(E), u has a quasi-continuous version and has Fukushima's decomposition: , where is the martingale part and is the zero energy part. In this paper, we study the strong continuity of the generalized Feynman-Kac semigroup defined by , t?0. Two necessary and sufficient conditions for to be strongly continuous are obtained by considering the quadratic form (Qu,Db(E)), where Qu(f,f):=E(f,f)+E(u,f²) for f∈Db(E), and the energy measure μ〈u〉 of u, respectively. An example is also given to show that is strongly continuous when μ〈u〉 is not a measure of the Kato class but of the Hardy class with the constant (cf. Definition 4.5).     

A remark on the existence of entire positive solutions for a class of semilinear elliptic systems

Under the simple conditions on f and g, we show that entire positive radial solutions exist for the semilinear elliptic system Δu=p(|x|)f(v), Δv=q(|x|)g(u), x∈RN, N?3, where the functions are continuous.     

Ground state solutions for a semilinear elliptic problem with a convection term

By a sub-supersolution method and a perturbed argument, we improve the earlier results concerning the existence of ground state solutions to a semilinear elliptic problem −Δu+p(x)q|∇u|=f(x,u), u>0, x∈RN, , where q∈(1,2], for some α∈(0,1), p(x)?0, ∀x∈RN, and f:RN×(0,∞)→[0,∞) is a locally Hölder continuous function which may be singular at zero.     

A note on harmonic quasiconformal mappings

In this note we show that a harmonic quasiconformal mapping f=u+iv with respect to the Poincaré metric of the upper half plane onto itself such that v(x,y)=v(y) or u(x,y)=u(x) is a conformal mapping.     

On global attractor for m-Laplacian parabolic equation with local and nonlocal nonlinearity

In this paper, we study the long-time behavior of solutions for m-Laplacian parabolic equation in Ω×(0,∞) with the initial data u(x,0)=u₀(x)∈Lq, q?1, and zero boundary condition in ∂Ω. Two cases for a(x)?a₀>0 and a(x)?0 are considered. We obtain the existence and Lp estimate of global attractor A in Lp, for any p?max{1,q}. The attractor A is in fact a bounded set in if a(x)?a₀>0 in Ω, and A is bounded in if a(x)?0 in Ω.     

Factors and vertex-deleted subgraphs

A relationship is considered between an f-factor of a graph and that of its vertex-deleted subgraphs. Katerinis [Some results on the existence of 2n-factors in terms of vertex-deleted subgraphs, Ars Combin. 16 (1983) 271-277] proved that for even integer k, if G-x has a k-factor for each x∈V(G), then G has a k-factor. Enomoto and Tokuda [Complete-factors and f-factors, Discrete Math. 220 (2000) 239-242] generalized Katerinis’ result to f-factors, and proved that if G-x has an f-factor for each x∈V(G), then G has an f-factor for an integer-valued function f defined on V(G) with even. In this paper, we consider a similar problem to that of Enomoto and Tokuda, where for several vertices x we do not have to know whether G-x has an f-factor. Let G be a graph, X be a set of vertices, and let f be an integer-valued function defined on V(G) with even, |V(G)-X|?2. We prove that if and if G-x has an f-factor for each x∈V(G)-X, then G has an f-factor. Moreover, if G excludes an isolated vertex, then we can replace the condition with . Furthermore the condition will be when |X|=1.     

Interior estimates for solutions of a fourth order nonlinear partial differential equation

Let be a locally strongly convex hypersurface, given by the graph of a convex function xn+1=f(x₁,…,xn) defined in a convex domain Ω⊂Rn. M is called a α-extremal hypersurface, if f is a solution of