Incomplete Self‐Similar Blow‐Up in a Semilinear Fourth‐Order Reaction‐Diffusion Equation

Blow‐up behavior for the fourth‐order semilinear reaction‐diffusion equation (1) is studied. For the classic semilinear heat equation from combustion theory (2) various blow‐up patterns were investigated since 1970s, while the case of higher‐order diffusion was studied much less. Blow‐up self‐similar solutions of (1) of the form are constructed. These are shown to admit global similarity extensions for t > T : The continuity at t = T is preserved in the sense that This is in a striking difference with blow‐up for (2) , which is known to be always complete in the sense that the minimal (proper) extension beyond blow‐up is u(x, t) ≡+∞ for t > T . Difficult fourth‐order dynamical systems for extension pairs {f(y), F(y)} are studied by a combination of various analytic, formal, and numerical methods. Other nonsimilarity patterns for (1) with nongeneric complete blow‐up are also discussed.     

Asymptotically self‐similar global solutions for a higher‐order semilinear parabolic equation

In this paper, we study the higher‐order semilinear parabolic equation where m, p>1 and $a\,\in\,\mathbb{R}$. For p>1+2m/N, we prove that the global existence of mild solutions for small initial data with respect to some norm. Some of those solutions are proved to be asymptotic self‐similar. Copyright © 2009 John Wiley & Sons, Ltd.     

Hermitian Spectral Theory and Blow‐Up Patterns for a Fourth‐Order Semilinear Boussinesq Equation

Two families of asymptotic blow‐up patterns of nonsimilarity and similarity kinds are studied in the Cauchy problem for the fourth‐order semilinear wave, or Boussinesq‐type, equation The first countable family is constructed by matching with linearized patterns obtained via eigenfunctions (generalized Hermite polynomials) of a related quadratic pencil of linear operators. The second family comprises nonlinear blow‐up patterns given by self‐similar solutions. The results have their counterparts in the classic second‐order semilinear wave equation which was known to admit blow‐up solutions since Keller's work in 1957.     

Small degree out‐branchings

Using a suitable orientation, we give a short proof of a strengthening of a result of Czumaj and Strothmann 4 : Every 2‐edge‐connected graph G contains a spanning tree T with the property that for every vertex v. As an analogue of this result in the directed case, we prove that every 2‐arc‐strong digraph D has an out‐branching B such that . A corollary of this is that every k‐arc‐strong digraph D has an out‐branching B such that , where . We conjecture that in this case would be the right (and best possible) answer. If true, this would again imply a strengthening of a result from 4 concerning spanning trees with small degrees in k‐connected graphs when k ≥ 2. We prove that for acyclic digraphs the existence of an out‐branching satisfying prescribed bounds on the out‐degrees of each vertex can be checked in polynomial time. A corollary of this is that the existence of arc‐disjoint branchings , , where the first is an out‐branching rooted at s and the second an in‐branching rooted at t, can be checked in polynomial time for the class of acyclic digraphs © 2003 Wiley Periodicals, Inc. J Graph Theory 42: 297–307, 2003     

Eulerian subgraphs in 3‐edge‐connected graphs and Hamiltonian line graphs

In this paper, we show that if G is a 3‐edge‐connected graph with and , then either G has an Eulerian subgraph H such that , or G can be contracted to the Petersen graph in such a way that the preimage of each vertex of the Petersen graph contains at least one vertex in S. If G is a 3‐edge‐connected planar graph, then for any , G has an Eulerian subgraph H such that . As an application, we obtain a new result on Hamiltonian line graphs. © 2003 Wiley Periodicals, Inc. J Graph Theory 42: 308–319, 2003     

A two‐grid method for mixed finite‐element solution of reaction‐diffusion equations

We present a scheme for solving two‐dimensional, nonlinear reaction‐diffusion equations, using a mixed finite‐element method. To linearize the mixed‐method equations, we use a two grid scheme that relegates all the Newton‐like iterations to a grid Δ_H much coarser than the original one Δ_h, with no loss in order of accuracy so long as the mesh sizes obey . The use of a multigrid‐based solver for the indefinite linear systems that arise at each coarse‐grid iteration, as well as for the similar system that arises on the fine grid, allows for even greater efficiency. © 1999 John Wiley & Sons, Inc. Numer Methods Partial Differential Eq 15: 317–332, 1999     

Asymptotics of solutions for sub critical non‐convective type equations

We study the Cauchy problem for non‐linear dissipative evolution equations (1) where ?? is the linear pseudodifferential operator and the non‐linearity is a quadratic pseudodifferential operator (2) û ≡ ?_x→ξ u is the Fourier transformation. We consider non‐convective type non‐linearity, that is we suppose that a(t,0,y) ≠ 0. Let the initial data , are sufficiently small and have a non‐zero total mass , where is the weighted Sobolev space. Then we give the main term of the large time asymptotics of solutions in the sub critical case. Copyright © 2004 John Wiley & Sons, Ltd.     

Method for Solving the Multidimensional n‐Wave Resonant Equations and Geometry of Generalized Darboux‐Manakov‐Zakharov Systems

The intrinsic geometric properties of generalized Darboux‐Manakov‐Zakharov systems of semilinear partial differential equations (1) for a real‐valued function u(x₁, …, x_n) are studied with particular reference to the linear systems in this equation class. System (1) is overdetermined and will not generally be involutive in the sense of Cartan: its coefficients will be constrained by complicated nonlinear integrability conditions. We derive tools for explicitly constructing involutive systems of the form (1) , essentially solving the integrability conditions. Specializing to the linear case provides us with a novel way of viewing and solving the multidimensional n‐wave resonant interaction system and its modified version. For each integer n≥ 3 and nonnegative integer k, our procedure constructs solutions of the n‐wave resonant interaction system depending on at least k arbitrary functions each of one variable. The construction of these solutions relies only on differentiation, linear algebra, and the solution of ordinary differential equations.     

Uniqueness of weak solutions in critical space of the 3‐D time‐dependent Ginzburg‐Landau equations for superconductivity

We prove the uniqueness of weak solutions of the 3‐D time‐dependent Ginzburg‐Landau equations for super‐conductivity with initial data (ψ₀, A₀)∈ L² under the hypothesis that (ψ, A) ∈ L^s(0, T; L^r,∞) × (0, T; with Coulomb gauge for any (r, s) and satisfying + = 1, + = 1, ≥ , ≥ and 3 < r ≤ 6, 3 < ≤ ∞. Here L^r,∞ ≡ is the Lorentz space. As an application, we prove a uniqueness result with periodic boundary condition when ψ₀ ∈ , A₀ ∈ L³ (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Solutions of symmetry‐constrained least‐squares problems

In this paper, two new matrix‐form iterative methods are presented to solve the least‐squares problem: and matrix nearness problem: where matrices and are given; ??₁ and ??₂ are the set of constraint matrices, such as symmetric, skew symmetric, bisymmetric and centrosymmetric matrices sets and S_XY is the solution pair set of the minimum residual problem. These new matrix‐form iterative methods have also faster convergence rate and higher accuracy than the matrix‐form iterative methods proposed by Peng and Peng (Numer. Linear Algebra Appl. 2006; 13 : 473–485) for solving the linear matrix equation AXB+CYD=E. Paige's algorithms, which are based on the bidiagonalization procedure of Golub and Kahan, are used as the framework for deriving these new matrix‐form iterative methods. Some numerical examples illustrate the efficiency of the new matrix‐form iterative methods. Copyright © 2008 John Wiley & Sons, Ltd.     

Arc‐chromatic number of digraphs in which every vertex has bounded outdegree or bounded indegree

A k‐digraph is a digraph in which every vertex has outdegree at most k. A ‐digraph is a digraph in which a vertex has either outdegree at most k or indegree at most l. Motivated by function theory, we study the maximum value Φ (k) (resp. ) of the arc‐chromatic number over the k‐digraphs (resp. ‐digraphs). El‐Sahili [3] showed that . After giving a simple proof of this result, we show some better bounds. We show and where θ is the function defined by . We then study in more detail properties of Φ and . Finally, we give the exact values of and for . © 2006 Wiley Periodicals, Inc. J Graph Theory 53: 315–332, 2006     

Density of universal classes of series‐parallel graphs

A class of graphs ordered by the homomorphism relation is universal if every countable partial order can be embedded in . It is known (see [ 1 , 3 ]) that the class of k‐colorable graphs, for any fixed , induces a universal partial order. In 4 , a surprisingly small subclass of which is a proper subclass of the series‐parallel graphs (the K₄‐minor‐free graphs) is shown to be universal. On another side, Pan and Zhu in 7 proved a density result that for each rational number , there is a K₄‐minor‐free graph with circular chromatic number equal to a/b. In this note, we show for each rational number a/b within this interval the class of K₄‐minor‐free graphs with circular chromatic number a/b is universal if and only if , 5/2 or 3. This shows yet another surprising richness of the K₄‐minor‐free class that it contains universal classes as dense as the rational numbers. © 2006 Wiley Periodicals, Inc. J Graph Theory     

On k‐detour subgraphs of hypercubes

A spanning subgraph G of a graph H is a k‐detour subgraph of H if for each pair of vertices , the distance, , between x and y in G exceeds that in H by at most k. Such subgraphs sometimes also are called additive spanners. In this article, we study k‐detour subgraphs of the n‐dimensional cube, , with few edges or with moderate maximum degree. Let denote the minimum possible maximum degree of a k‐detour subgraph of . The main result is that for every and On the other hand, for each fixed even and large n, there exists a k‐detour subgraph of with average degree at most . © 2007 Wiley Periodicals, Inc. J Graph Theory 57: 55–64, 2008     

The quasi‐randomness of hypergraph cut properties

Let satisfy and suppose a k‐uniform hypergraph on n vertices satisfies the following property; in any partition of its vertices into k sets of sizes , the number of edges intersecting is (asymptotically) the number one would expect to find in a random k‐uniform hypergraph. Can we then infer that H is quasi‐random? We show that the answer is negative if and only if . This resolves an open problem raised in 1991 by Chung and Graham [J AMS 4 (1991), 151–196]. While hypergraphs satisfying the property corresponding to are not necessarily quasi‐random, we manage to find a characterization of the hypergraphs satisfying this property. Somewhat surprisingly, it turns out that (essentially) there is a unique non quasi‐random hypergraph satisfying this property. The proofs combine probabilistic and algebraic arguments with results from the theory of association schemes. © 2011 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2011     

Spanning k‐arc‐strong subdigraphs with few arcs in k‐arc‐strong tournaments

Given a k‐arc‐strong tournament T, we estimate the minimum number of arcs possible in a k‐arc‐strong spanning subdigraph of T. We give a construction which shows that for each k ≥ 2, there are tournaments T on n vertices such that every k‐arc‐strong spanning subdigraph of T contains at least arcs. In fact, the tournaments in our construction have the property that every spanning subdigraph with minimum in‐ and out‐degree at least k has arcs. This is best possible since it can be shown that every k‐arc‐strong tournament contains a spanning subdigraph with minimum in‐ and out‐degree at least k and no more than arcs. As our main result we prove that every k‐arc‐strong tournament contains a spanning k‐arc‐strong subdigraph with no more than arcs. We conjecture that for every k‐arc‐strong tournament T, the minimum number of arcs in a k‐arc‐strong spanning subdigraph of T is equal to the minimum number of arcs in a spanning subdigraph of T with the property that every vertex has in‐ and out‐degree at least k. We also discuss the implications of our results on related problems and conjectures. © 2004 Wiley Periodicals, Inc. J Graph Theory 46: 265–284, 2004     

C‐perfect hypergraphs

Let ${\mathcal{H}}=({{X}},{\mathcal{E}})Let ${\mathcal{H}}=({{X}},{\mathcal{E}})$ be a hypergraph with vertex set X and edge set ${\mathcal{E}}$. A C‐coloring of ${\mathcal{H}}$ is a mapping ?:X→? such that |?(E)|<|E| holds for all edges ${{E}}\in{\mathcal{E}}$ (i.e. no edge is multicolored). We denote by $\bar{\chi}({\mathcal{H}})$ the maximum number |?(X)| of colors in a C‐coloring. Let further $\alpha({\mathcal{H}})$ denote the largest cardinality of a vertex set S?X that contains no ${{E}}\in{\mathcal{E}}$, and $\tau({\mathcal{H}})=|{{X}}|-\alpha({\mathcal{H}})$ the minimum cardinality of a vertex set meeting all $E \in {\mathcal{E}}$. The hypergraph ${\mathcal{H}}$ is called C‐perfect if $\bar{\chi}({\mathcal{H}}\prime)=\alpha({\mathcal{H}}\prime)$ holds for every induced subhypergraph ${\mathcal{H}}\prime\subseteq{\mathcal{H}}$. If ${\mathcal{H}}$ is not C‐perfect but all of its proper induced subhypergraphs are, then we say that it is minimally C‐imperfect. We prove that for all r, k∈? there exists a finite upper bound h(r, k) on the number of minimally C‐imperfect hypergraphs ${\mathcal{H}}$ with $\tau({\mathcal{H}})\le {{k}}$ and without edges of more than r vertices. We give a characterization of minimally C‐imperfect hypergraphs that have τ=2, which also characterizes implicitly the C‐perfect ones with τ=2. From this result we derive an infinite family of new constructions that are minimally C‐imperfect. A characterization of minimally C‐imperfect circular hypergraphs is presented, too. © 2009 Wiley Periodicals, Inc. J Graph Theory 64: 132–149, 2010     

Existence of 3‐chromatic Steiner quadruple systems

A Steiner quadruple system of order v (briefly SQS (v)) is a pair (X, ), where X is a v‐element set and is a set of 4‐element subsets of X (called blocks or quadruples), such that each 3‐element subset of X is contained in a unique block of . The chromatic number of an SQS(v)(X, ) is the smallest m for which there is a map such that for all , where . The system (X, ) is equitably m‐chromatic if there is a proper coloring with minimal m for which the numbers differ from each other by at most 1. Linek and Mendelsohn showed that an equitably 3‐chromatic SQS(v) exists for v ≡ 4, 8, 10 (mod 12), v ≥ 16. In this article we show that an equitably 3‐chromatic SQS(v) exists for v ≡ 2 (mod 12) with v > 2. © 2006 Wiley Periodicals, Inc. J Combin Designs 15: 469–477, 2007     

Existence of multiple positive solutions for −Δu−μ(u/∣x∣2)=u2*−1+σf(x)

In this paper, we consider the semilinear elliptic problem where Ω??^N (N?3) is a bounded smooth domain such that 0∈Ω, σ>0 is a real parameter, and f(x) is some given function in L^∞(Ω) such that f(x)?0, f(x)?0 in Ω. Some existence results of multiple solutions have been obtained by implicit function theorem, monotone iteration method and Mountain Pass Lemma. Copyright © 2002 John Wiley & Sons, Ltd.     

Hyperbolic limit of the Jin‐Xin relaxation model

We consider the special Jin‐Xin relaxation model We assume that the initial data ( ) are sufficiently smooth and close to ( ) in L^∞ and have small total variation. Then we prove that there exists a solution ( ) with uniformly small total variation for all t ≥ 0, and this solution depends Lipschitz‐continuously in the L¹ norm with respect to time and the initial data. Letting , the solution converges to a unique limit, providing a relaxation limit solution to the quasi‐linear, nonconservative system These limit solutions generate a Lipschitz semigroup on a domain containing the functions with small total variation and close to . This is precisely the Riemann semigroup determined by the unique Riemann solver compatible with (0.1). © 2005 Wiley Periodicals, Inc.     

Belohorec‐type oscillation theorem for second order sublinear dynamic equations on time scales

Consider the Emden‐Fowler sublinear dynamic equation (0.1) where $p\in C(\mathbb{T},R)$, where $\mathbb{T}$ is a time scale, 0 < α < 1. When p(t) is allowed to take on negative values, we obtain a Belohorec‐type oscillation theorem for (0.1). As an application, we get that the sublinear difference equation (0.2) is oscillatory, if and the sublinear q‐difference equation (0.3) where $t\in q^{\mathbb{N}_0}, q>1$, is oscillatory, if