Graphs with unavoidable subgraphs with large degrees

Let ??(n, m) denote the class of simple graphs on n vertices and m edges and let G ∈ ?? (n, m). There are many results in graph theory giving conditions under which G contains certain types of subgraphs, such as cycles of given lengths, complete graphs, etc. For example, Turan's theorem gives a sufficient condition for G to contain a K_{k + 1} in terms of the number of edges in G. In this paper we prove that, for m = αn², α > (k - 1)/2k, G contains a K_{k + 1}, each vertex of which has degree at least f(α)n and determine the best possible f(α). For m = ?n²/4? + 1 we establish that G contains cycles whose vertices have certain minimum degrees. Further, for m = αn², α > 0 we establish that G contains a subgraph H with δ(H) ≥ f(α, n) and determine the best possible value of f(α, n).     

On the equivalence of the Euler-Pommier operators in spaces of analytic functions

In the space A (θ) of all one-valued functions f(z) analytic in an arbitrary region G ? ? (0 ∈ G) with the topology of compact convergence, we establish necessary and sufficient conditions for the equivalence of the operators L ₁=α _n z ⁿ Δ ⁿ + ... + α₁ zΔ+α₀ E and L ₂= z ⁿ a _n (z)Δ ⁿ + ... + za ₁(z)Δ+a ₀(z)E, where δ: (Δ?)(z)=(f(z)-?(0))/z is the Pommier operator in A(G), n ∈ ?, α _n ∈ ?, a _k (z) ∈ A(G), 0≤k≤n, and the following condition is satisfied: Σ _j=s ^n?1 α _j+1 ∈ 0, s=0,1,...,n?1. We also prove that the operators z ^s+1Δ+β(z)E, β(z) ∈ A _R , s ∈ ?, and z ^s+1 are equivalent in the spaces A _R, 0?R?-∞, if and only if β(z) = 0.     

A SURJECTIVE HOMOMORPHISM OF LOCAL COHOMOLOGY MODULES

Let R be a local ring and M a finitely generated generalized Cohen-Macaulay R-module such that dim _R M = dim _R M/αM + height_Mα a for all ideals α of R. Suppose that H_I ^j(M) ≠ 0 for an ideal I of R and an integer j > height_M I. We show that there exists an ideal J ? such that a. height_M J = j;

b. the natural homomorphism H_I ^j(M) → H_I ^j(M) is an isomorphism, for all i > j; and,

c. the natural homomorphism H_I ^j(M) → H_I ^j(M) is surjective.

By using this theorem, we obtain some results about Betti numbers, coassociated primes, and support of local cohomology modules.     

On the Elementary Retarded,Ultrahyperbolic Solution of the Klein-Gordon Operator,Iterated k Times

Let t = (t₁,…,t_n) be a point of ?ⁿ. We shall write . We put, by the definition, W_α(u, m) = (m^?2u)^{(α ? n)/4}[π^{(n ? 2)/2}2^{(α + n ? 2)/2}Г(α/2)]J_{(α ? n)/2}(m²u)^1/2; here α is a complex parameter, m a real nonnegative number, and n the dimension of the space. W_α(u, m), which is an ordinary function if Re α ≥ n, is an entire distributional function of α. First we evaluate {□ + m²}W_{α + 2}(u, m) = W_α(u, m), where {□ + m²} is the ultrahyperbolic operator. Then we express W_α(u, m) as a linear combination of R_α(u) of differntial orders; R_α(u) is Marcel Riesz's ultrahyperbolic kernel. We also obtain the following results: W_?2k(u, m) = {□ + m²}^kδ, k = 0, 1,…; W₀(u, m) = δ; and {□ + m²}^kW_2k(u, m) = δ. Finally we prove that W_α(u, m = 0) = R_α(u). Several of these results, in the particular case µ = 1, were proved earlier by a completely different method.     

Spectral Criteria of Abstract Sequences; Application to Difference Equations

We suppose that M is a closed subspace of l ^∞(J, X), the space of all bounded sequences {x(n)} _n?J ? X, where J ? {Z⁺,Z} and X is a complex Banach space. We define the M-spectrum σ_M (u) of a sequence u ? l ^∞(J,X). Certain conditions will be supposed on both M and σ_M (u) to insure the existence of u ? M. We prove that if u is ergodic, such that σ_M (u,) is at most countable and, for every λ ? σ_M (u), the sequence e^?iλnu(n) is ergodic, then u ? M. We apply this result to the operator difference equationu(n + 1) = Au(n) + ψ(n), n ? J,and to the infinite order difference equation Σ ^r _k=1 a_k (u(n + k) ? u(n)) + Σ _{s ? Z}?(n ? s)u(s) = h(n), n?J, where ψ?l ^∞(Z,X) such that ψ| _J ? M, A is the generator of a C ₀-semigroup of linear bounded operators {T(t)} _t>0 on X, h ? M, ? ? l ¹(Z) and a_k ?C. Certain conditions will be imposed to guarantee the existence of solutions in the class M.     

The boundary trace and generalized boundary value problem for semilinear elliptic equations with coercive absorption

In the first part of the paper we establish the existence of a boundary trace for positive solutions of the equation ?Δu + g(x, u) = 0 in a smooth domain Ω ? ?^N, for a general class of positive nonlinearities. This class includes every space independent, monotone increasing g which satisfies the Keller‐Osserman condition as well as degenerate nonlinearities g_α,q of the form g_α,q (x, u) = d(x, ?Ω)^α |u|^q?1 u, with α > ?2 and q > 1. The boundary trace is given by a positive regular Borel measure which may blow up on compact sets. In the second part we concentrate on the family of nonlinearities {g_α,q}, determine the critical value of the exponent q (for fixed α > ?2) and discuss (a) positive solutions with an isolated singularity, for subcritical nonlinearities and (b) the boundary value problem for ?Δu + g_α,q (x, u) = 0 with boundary data given by a positive regular Borel measure (possibly unbounded). We show that, in the subcritical case, the problem possesses a unique solution for every such measure. © 2003 Wiley Periodicals, Inc.     

Degree bounds for the circumference of 3‐connected graphs

Let C be a longest cycle in the 3‐connected graph G and let H be a component of G ? V(C) such that |V(H)| ≥ 3. We supply estimates of the form |C| ≥ 2d(u) + 2d(v) ? α(4 ≤ α ≤ 8), where u,v are suitably chosen non‐adjacent vertices in G. Also the exceptional classes for α = 6,7,8 are characterized. © 2005 Wiley Periodicals, Inc. J Graph Theory     

Classes of interval graphs under expanding length restrictions

Let C(α) denote the finite interval graphs representable as intersection graphs of closed real intervals with lengths in [1, α]. The points of increase for C are the rational α ≥ 1. The set D(α) = [∩_β>αC(β)]\C(α) of graphs that appear as soon as we go past α is characterized up to isomorphism on the basis of finite sets E(α) of irreducible graphs for each rational α. With α = p/q and p and q relatively prime, ∣E(α)∣ is computed for all (p,q) with q ? 2 and p = q + 1. When q = 1, E(p) contains only the bipartite star K¹, p_+2. A lowr bound on ∣E(α)∣ is given for all rational α.     

Independent sets in tensor graph powers

The tensor product of two graphs, G and H, has a vertex set V(G) × V(H) and an edge between (u,v) and (u′,v′) iff both u u′ ∈ E(G) and v v′ ∈ E(H). Let A(G) denote the limit of the independence ratios of tensor powers of G, lim, α(Gⁿ)/|V(Gⁿ)|. This parameter was introduced in [Brown, Nowakowski, Rall, SIAM J Discrete Math 9 ( 5 ), 290–300], where it was shown that A(G) is lower bounded by the vertex expansion ratio of independent sets of G. In this article we study the relation between these parameters further, and ask whether they are in fact equal. We present several families of graphs where equality holds, and discuss the effect the above question has on various open problems related to tensor graph products. © 2006 Wiley Periodicals, Inc. J Graph Theory     

On Group Chromatic Number of Graphs

Let G be a graph and A an Abelian group. Denote by F(G, A) the set of all functions from E(G) to A. Denote by D an orientation of E(G). For f ∈ F(G,A), an (A,f)-coloring of G under the orientation D is a function c : V(G)↦A such that for every directed edge uv from u to v, c(u)−c(v) ≠ f(uv). G is A-colorable under the orientation D if for any function f ∈ F(G, A), G has an (A, f)-coloring. It is known that A-colorability is independent of the choice of the orientation. The group chromatic number of a graph G is defined to be the least positive integer m for which G is A-colorable for any Abelian group A of order ≥m, and is denoted by χ_g(G). In this note we will prove the following results. (1) Let H₁ and H₂ be two subgraphs of G such that V(H₁)∩V(H₂)=∅ and V(H₁)∪V(H₂)=V(G). Then χ_g(G)≤min{max{χ_g(H₁), max_v∈V(H2)deg(v,G)+1},max{χ_g(H₂), max_u∈V(H1) deg (u, G) + 1}}. We also show that this bound is best possible. (2) If G is a simple graph without a K_3,3-minor, then χ_g(G)≤5.     

Continuous dependence of the scattering amplitude on the surface of an obstacle

Let D_j,j = 1,2, be two bounded domains (obstacles) in ?ⁿ, n ≥ 2, with the boundaries Γ_j. Let A_j be the scattering amplitude corresponding to D_j. The Dirichlet boundary condition is assumed on Γ_j. A formula is derived for A:= A₁ ? A₂. This formula is used for a derivation of the estimate of ∣A₁ ? A₂∣ in terms of the distance d(Γ₁, Γ₂) between Γ₁ and Γ₂. If d(Gamma;₁, Gamma;₂) ? ?, then ∣A∣ ? c?, where c is a positive constant which depends on Γ₁ and Γ₂ provided that one of the boundaries is of C^1,λ class, 0 < λ < 1, and the other one is a polyhedron which approximates the first one. The results are useful, in particular, for boundary elements method of solving scattering problems.     

Stable outer conjugacy and strong Morita equivalence of group actions on pro-C *-algebras

We show that two continuous inverse limit actions α and β of a locally compact group G on two pro-C ^*-algebras A and B are stably outer conjugate if and only if there is a full Hilbert A-module E and a continuous action u of G on E such that E and E ^*(the dual module of E) are countably generated in M(E)(the multiplier module of E), respectively M(E ^*) and the pair (E, u) implements a strong Morita equivalence between α and β. This is a generalization of a result of F. Combes [Proc. London Math. Soc. 49(1984), 289–306].      

Weighted Weak Behaviour of Fourier-Jacobi Series

Let w(x) = (1 - x)^α (1 + x)^β be a Jacobi weight on the interval [-1, 1] and 1 < p < ∞. If either α > ?1/2 or β > ?1/2 and p is an endpoint of the interval of mean convergence of the associated Fourier-Jacobi series, we show that the partial sum operators S_n are uniformly bounded from L^p,1 to L^p,∞, thus extending a previous result for the case that both α, β > ?1/2. For α, β > ?1/2, we study the weak and restricted weak (p, p)-type of the weighted operators f→uS_n(u^?1f), where u is also Jacobi weight.     

Comparing the Zagreb indices for graphs with small difference between the maximum and minimum degrees

The first Zagreb index M₁(G) and the second Zagreb index M₂(G) of a (molecular) graph G are defined as M₁(G)=∑_u∈V(G)(d(u))² and M₂(G)=∑_uv∈E(G)d(u)d(v), where d(u) denotes the degree of a vertex u in G. The AutoGraphiX system [M. Aouchiche, J.M. Bonnefoy, A. Fidahoussen, G. Caporossi, P. Hansen, L. Hiesse, J. Lacheré, A. Monhait, Variable neighborhood search for extremal graphs. 14. The AutoGraphiX 2 system, in: L. Liberti, N. Maculan (Eds.), Global Optimization: From Theory to Implementation, Springer, 2005; G. Caporossi, P. Hansen, Variable neighborhood search for extremal graphs: 1 The AutoGraphiX system, Discrete Math. 212 (2000) 29-44; G. Caporossi, P. Hansen, Variable neighborhood search for extremal graphs. 5. Three ways to automate finding conjectures, Discrete Math. 276 (2004) 81-94] conjectured that M₁/n≤M₂/m (where n=|V(G)| and m=|E(G)|) for simple connected graphs. Hansen and Vuki?evi? [P. Hansen, D. Vuki?evi?, Comparing the Zagreb indices, Croat. Chem. Acta 80 (2007) 165-168] proved that it is true for chemical graphs and it does not hold for all graphs. Vuki?evi? and Graovac [D. Vuki?evi?, A. Graovac, Comparing Zagreb M₁ and M₂ indices for acyclic molecules, MATCH Commun. Math. Comput. Chem. 57 (2007) 587-590] proved that it is also true for trees. In this paper, we show that M₁/n≤M₂/m holds for graphs with Δ(G)−δ(G)≤2 and characterize the extremal graphs, the proof of which implies the result in [P. Hansen, D. Vuki?evi?, Comparing the Zagreb indices, Croat. Chem. Acta 80 (2007) 165-168]. We also obtain the result that M₁/n≤M₂/m holds for graphs with Δ(G)−δ(G)≤3 and δ(G)≠2.     

Fourier Analysis of Semistable Distributions

We consider the generalized convolution powers G _α ^*u (x) of an arbitrary semistable distribution function G _α (x) of exponent α∈(0,2), and prove that for all j, k∈{0,1,2,…} and u>0 the derivatives G _α ^(k,j)(x;u)=∂ ^k+j G _α ^*u (x)/∂ x ^k ∂ u ^j , x∈ℝ, are of bounded variation on the whole real line ℝ. The proof, along with an integral recursion in j, is new even in the special case of stable laws, and the result provides a framework for possible asymptotic expansions in merge theorems from the domain of geometric partial attraction of semistable laws. An erratum to this article can be found at     

On the Cauchy problem for some abstract nonlinear differential equations

In the present paper, we study the Cauchy problem in a Banach spaceE for an abstract nonlinear differential equation of form $$\frac{{d^2 u}}{{dt^2 }} = - A\frac{{du}}{{dt}} + B(t)u + f(t,W)$$ whereW = (A ₁(t)u,A ₂(t)u,?,A _?(t)u), (A _i (t),i = 1, 2, ?,?), (B(t),t ∈I = [0,b]) are families of closed operators defined on dense sets inE intoE, f is a given abstract nonlinear function onI ×E ^? intoE and ?A is a closed linear operator defined on dense set inE intoE, which generates a semi-group. Further, the existence and uniqueness of the solution of the considered Cauchy problem is studied for a wide class of the families (A _i(t),i = 1, 2, ?,?), (B(t),t ∈I). An application and some properties are also given for the theory of partial diferential equations.     

A degree condition for the circumference of a graph

We present a new condition on the degree sums of a graph that implies the existence of a long cycle. Let c(G) denote the length of a longest cycle in the graph G and let m be any positive integer. Suppose G is a 2-connected graph with vertices x₁,…,x_n and edge set E that satisfies the property that, for any two integers j and k with j < k, x_jx_k ? E, d(x_i) ? j and d(x_k) ? K - 1, we have (1) d(x_i) + d(x_k ? m if j + k ? n and (2) if j + k < n, either m ? n or d(x_j) + d(x_k) ? min(K + 1,m). Then c(G) ? min(m, n). This result unifies previous results of J.C. Bermond and M. Las Vergnas, respectively.     

Global-in-time Uniform Convergence for Linear Hyperbolic-Parabolic Singular Perturbations

We consider the Cauchy problem εu^″ε ＋ δu′ε ＋ Auε = 0, uε（0） = uo, u′ε（0） = ul, where ε 〉 0, δ 〉 0, H is a Hilbert space, and A is a self-adjoint linear non-negative operator on H with dense domain D（A）. We study the convergence of （uε） to the solution of the limit problem ,δu＇ ＋ Au = 0, u（0） = u0. For initial data （u0, u1） ∈ D（A1/2）× H, we prove global-in-time convergence with respect to strong topologies. Moreover, we estimate the convergence rate in the case where （u0, u1）∈ D（A3/2） ∈ D（A1/2）, and we show that this regularity requirement is sharp for our estimates. We give also an upper bound for ｜u′ε（t）｜ which does not depend on ε.     

A Fujita-type global existence—global non-existence theorem for a system of reaction diffusion equations with differing diffusivities

In this paper we condiser non-negative solutions of the initial value problem in ?^N for the system where 0 ? δ ? 1 and pq > 0. We prove the following conditions. Suppose min(p,q)≥1 but pq1.

• (a) If δ = 0 then u=v=0 is the only non-negative global solution of the system.
• (b) If δ>0, non-negative non-globle solutions always exist for suitable initial values.
• (c) If 0<?1 and max(α, β) ≥ N/2, where qα = β + 1, pβ = α + 1, then the conclusion of (a) holds.
• (d) If N > 2, 0 < δ ? 1 and max (α β) < (N - 2)/2, then global, non-trivial non-negative solutions exist which belong to L^∞(?^N×[0, ∞]) and satisfy 0 < u(X, t) ? c∣x∣^?2α and 0 < v(X, t) ? c ∣x∣^?2bT for large ∣x∣ for all t > 0, where c depends only upon the initial data.
• (e) Suppose 0 > δ 1 and max (α, β) < N/2. If N> = 1,2 or N > 2 and max (p, q)? N/(N-2), then global, non-trivial solutions exist which, after makinng the standard ‘hot spot’ change of variables, belong to the weighted Hilbert space H¹ (K) where K(x) ? exp(¼∣x∣²). They decay like e^{[max(α,β)-(N/2)+ε]t} for every ε > 0. These solutions are classical solutions for t > 0.
• (f) If max (α, β) < N/2, then threre are global non-tivial solutions which satisfy, in the hot spot variables where where 0 < ε = ε(u₀, v₀) < (N/2)?;max(α, β). Suppose min(p, q) ? 1.
• (g) If pq ≥ 1, all non-negative solutions are global. Suppose min(p, q) < 1.
• (h) If pg > 1 and δ = 0, than all non-trivial non-negative maximal solutions are non-global.
• (i) If 0 < δ ? 1, pq > 1 and max(α,β)≥ N/2 all non-trivial non-negative maximal solutions are non-global.
• (j) If 0 < δ ≥ 1, pq > 1 and max(α,β) < N/2, there are both global and non-negative solutions.

We also indicate some extensions of these results to moe general systems and to othere geometries.     

A characterization of periodic solutions for time‐fractional differential equations in UMD spaces and applications

We study the fractional differential equation (*) D^αu(t) + BD^βu(t) + Au(t) = f(t), 0 ? t ? 2π (0 ? β < α ? 2) in periodic Lebesgue spaces L^p(0, 2π; X) where X is a Banach space. Using functional calculus and operator valued Fourier multiplier theorems, we characterize, in UMD spaces, the well posedness of (*) in terms of R‐boundedness of the sets {(ik)^α((ik)^α + (ik)^βB + A)^?1}_{k∈ Z} and {(ik)^βB((ik)^α + (ik)^βB + A)^?1}_{k∈ Z} . Applications to the fractional problems with periodic boundary condition, which includes the time diffusion and fractional wave equations, as well as an abstract version of the Basset‐Boussinesq‐Oseen equation are treated. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim