On the density of 2‐colorable 3‐graphs in which any four points span at most two edges

Let ex₂(n, K) be the maximum number of edges in a 2‐colorable K‐free 3‐graph (where K={123, 124, 134} ). The 2‐chromatic Turán density of K is $\pi_{2}({K}_{4}^-) =lim_{{n}\to \infty} {ex}_{2}({n}, {K}_{4}^-)/\left(_{3}^{n}\right)Let ex₂(n, K) be the maximum number of edges in a 2‐colorable K‐free 3‐graph (where K={123, 124, 134} ). The 2‐chromatic Turán density of K is $\pi_{2}({K}_{4}^-) =lim_{{n}\to \infty} {ex}_{2}({n}, {K}_{4}^-)/\left(_{3}^{n}\right)$. We improve the previously best known lower and upper bounds of 0.25682 and 3/10?ε, respectively, by showing that This implies the following new upper bound for the Turán density of K In order to establish these results we use a combination of the properties of computer‐generated extremal 3‐graphs for small n and an argument based on “super‐saturation”. Our computer results determine the exact values of ex(n, K) for n≤19 and ex₂(n, K) for n≤17, as well as the sets of extremal 3‐graphs for those n. © 2009 Wiley Periodicals, Inc. J Combin Designs 18: 105–114, 2010     

Wave operator for the system of the Dirac–Klein–Gordon equations

We prove the existence of the wave operator for the system of the massive Dirac–Klein–Gordon equations in three space dimensions x∈ R ³ where the masses m, M>0. We prove that for the small final data , (?, ?)∈ H ^{2 + µ, 1} × H ^{1 + µ, 1}, with and , there exists a unique global solution for system (1) with the final state conditions Copyright © 2010 John Wiley & Sons, Ltd.     

Finite difference approximations and dynamics simulations for the Lévy Fractional Klein‐Kramers equation

The Klein‐Kramers equation describes position and velocity distribution of Langevin dynamics, the diffusion equation and Fokker‐Planck equation are its special cases for characterizing position distribution and velocity distribution, respectively. Incorporating the mechanisms of Lévy flights into the Klein‐Kramers formalism leads to the Lévy fractional Klein‐Kramers equation, which can effectively describe Lévy flights in the presence of an external force field in the phase space. For numerically solving the Lévy fractional Klein‐Kramers equation, this article presents the explicit and implicit finite difference schemes. The discrete maximum principle is generalized, using this result the detailed stability and convergence analyses of the schemes are given. And the extrapolation and some other possible techniques for improving the convergent rate or making the schemes efficient in more general cases are also discussed. The extensive numerical experiments are performed to confirm the effectiveness of the numerical schemes or simulate the superdiffusion processes. © 2011 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2011     

Stability of Cahn‐Hilliard fronts

We prove stability of the kink solution of the Cahn‐Hilliard equation ∂_tu = ∂( ∂u − u/2 + u³/2), x ∈ ℝ. The proof is based on an inductive renormalization group method, and we obtain detailed asymptotics of the solution as t → ∞. We prove stability of the kink solution of the Cahn‐Hilliard equation ∂_tu = ∂( ∂u − u/2 + u³/2), x ∈ ℝ. The proof is based on an inductive renormalization group method, and we obtain detailed asymptotics of the solution as t → ∞. © 1999 John Wiley & Sons, Inc.     

Global attractors for 2‐D wave equations with displacement‐dependent damping

In this paper the long‐time behaviour of the solutions of 2‐D wave equation with a damping coefficient depending on the displacement is studied. It is shown that the semigroup generated by this equation possesses a global attractor in H(Ω) × L₂(Ω) and H²(Ω)∩H(Ω) × H(Ω). Copyright © 2009 John Wiley & Sons, Ltd.     

Graph minors and linkages

Bollobás and Thomason showed that every 22k‐connected graph is k‐linked. Their result used a dense graph minor. In this paper, we investigate the ties between small graph minors and linkages. In particular, we show that a 6‐connected graph with a K minor is 3‐linked. Further, we show that a 7‐connected graph with a K minor is (2,5)‐linked. Finally, we show that a graph of order n and size at least 7n?29 contains a K minor. © 2005 Wiley Periodicals, Inc. J Graph Theory 49: 75–91, 2005     

Comparing different fractions of a factorial design: a metal cutting case study

Full factorial designs of a significant size are very rarely performed in industry due to the number of trials involved and unavailable time and resources. The data in this paper were obtained from a six‐factor full factorial (2⁶) designed experiment that was conducted to determine the optimum operating conditions for a steel milling operation. Fractional‐factorial designs 2 (one‐eighth) and 2 (one‐fourth, using a fold‐over from the one‐eighth) are compared with the full 2⁶ design. Four of the 2 are de‐aliased by adding four more runs. In addition, two 12‐run Plackett–Burman experiments and their combination into a fold‐over 24‐run experiment are considered. Many of the one‐eighth fractional‐factorial designs reveal some significant effects, but the size of the estimates varies much due to aliasing. Adding four more runs improves the estimation considerably. The one‐quarter fraction designs yield satisfactory results, compared to the full factorial, if the ‘correct’ parameterization is assumed. The Plackett–Burman experiments, estimating all main effects, always perform worse than the equivalent regular designs (which have fewer runs). When considering a reduced model many of the different designs are more or less identical. The paper provides empirical evidence for managers and engineers that the choice of an experimental design is very important and highlights how designs of a minimal size may not always result in productive findings. Copyright © 2006 John Wiley & Sons, Ltd.     

Über die Radon-Transformation kreissymmetrischer Funktionen und ihre Beziehung zur Sommerfeldschen Theorie der Hankelfunktionen

For the Radon transform of functions with circular symmetry an inversion formula is proved in a new and elementary way. The inversion formula combined with Fourier theory is applied to Sommer-feld's integral for H, yielding a representation of products which generalizes Nicholson's integral for |H| ².     

Blowup for nonlinear wave equations describing boson stars

We consider the nonlinear wave equation modeling the dynamics of (pseudorelativistic) boson stars. For spherically symmetric initial data, u₀(x) ∈ C (?³), with negative energy, we prove blowup of u(t, x) in the H^1/2‐norm within a finite time. Physically this phenomenon describes the onset of “gravitational collapse” of a boson star. We also study blowup in external, spherically symmetric potentials, and we consider more general Hartree‐type nonlinearities. As an application, we exhibit instability of ground state solitary waves at rest if m = 0. © 2007 Wiley Periodicals, Inc.     

Global attractor and decay estimates of solutions to a class of nonlinear evolution equations

In this work, we prove the existence of global attractor for the nonlinear evolution equation u_tt?Δu?Δu_t?Δu_tt + g(x, u)=f(x) in X=(H²(Ω)∩H(Ω)) × (H²(Ω)∩H(Ω)). This improves a previous result of Xie and Zhong in (J. Math. Anal. Appl. 2007; 336 :54–69.) concerning the existence of global attractor in H(Ω) × H(Ω) for a similar equation. Further, the asymptotic behavior and the decay property of global solution are discussed. Copyright © 2010 John Wiley & Sons, Ltd.     

ITERATIONS OF SATISFACTION CLASSES AND MODELS OF PEANO ARITHMETIC

We consider iterations of satisfaction classes and apply them to construct expansions of models of Peano arithmetic to models of A|Δ+∑-AC. 1991 MSC: 03F35, 03C62.     

Function Spaces with Exponential Weights II

This paper is a continuation of [8]. We study weighted function spaces of type B and F on the Euclidean space Rⁿ, where u is a weight function of at most exponential growth. In particular, u(χ (±|χ|) is an admissible weight. We deal with atomic decompositions of these spaces. Furthermore, we prove that the spaces B and F are isomorphic to the corresponding unweighted spaces B and F.     

Nonstationary Stokes system in weighted Sobolev spaces

We consider an initial‐boundary value problem for nonstationary Stokes system in a bounded domain Omega??³ with slip boundary conditions. We assume that Ω is crossed by an axis L. Let us introduce the following weighted Sobolev spaces with finite norms: and where ?(x) = dist{x, L}. We proved the result. Given the external force f∈L_{2, ?µ}(Ω^T), initial velocity v₀∈H(Ω), µ∈?₊\? there exist velocity v∈H(Ω^T) and the pressure p, ?p∈L_{2, ?µ}(Ω^T) and a constant c, independent of v, p, f, such that As we consider the Stokes system in weighted Sobolev spaces the following two things must be used:

• 1. the slip boundary condition and
• 2. the Helmholtz–Weyl decomposition.

Copyright © 2010 John Wiley & Sons, Ltd.     

On series of signed vectors and their rearrangements

Let x₁,…,x_m∈ \input amssym $ \Bbb R$ n be a sequence of vectors with ∥x_i∥₂ ≤ 1 for all i. It is proved that there are signs ε₁,…,ε_m = ±1 such that where C₁, C₂ are some numerical constants. It is also proved that there are signs ε,…,ε = ±1 and a permutation π of {1,…,m} such that where C^′ is some other numerical constant. © 2011 Wiley Periodicals, Inc. Random Struct. Alg., 2011     

The circular chromatic number of the Mycielskian of G

In a search for triangle-free graphs with arbitrarily large chromatic numbers, Mycielski developed a graph transformation that transforms a graph G into a new graph μ(G), we now call the Mycielskian of G, which has the same clique number as G and whose chromatic number equals χ(G) + 1. Chang, Huang, and Zhu [G. J. Chang, L. Huang, & X. Zhu, Discrete Math, to appear] have investigated circular chromatic numbers of Mycielskians for several classes of graphs. In this article, we study circular chromatic numbers of Mycielskians for another class of graphs G. The main result is that χ_c(μ(G)) = χ(μ(G)), which settles a problem raised in [G. J. Chang, L. Huang, & X. Zhu, Discrete Math, to appear, and X. Zhu, to appear]. As χ_c(G) = and χ(G) = , consequently, there exist graphs G such that χ_c(G) is as close to χ(G) − 1 as you want, but χ_c(μ(G)) = χ(μ(G)). © 1999 John Wiley & Sons, Inc. J Graph Theory 32: 63–71, 1999     

Subgraphs smaller than the girth

For graphs A, B, let () denote the number of subsets of nodes of A for which the induced subgraph is B. If G and H both have girth > k, and if () = () for every k-node tree T, then for every k-node forest F, () = (). Say the spread of a tree is the number of nodes in a longest path. If G is regular of degree d, on n nodes, with girth > k, and if F is a forest of total spread ≤k, then the value of () depends only on n and d.     

Uniform stability of spectral nonlinear Galerkin methods

This article provides a stability analysis for the backward Euler schemes of time discretization applied to the spatially discrete spectral standard and nonlinear Galerkin approximations of the nonstationary Navier‐Stokes equations with some appropriate assumption of the data (λ, u₀, f). If the backward Euler scheme with the semi‐implicit nonlinear terms is used, the spectral standard and nonlinear Galerkin methods are uniform stable under the time step constraint Δt ≤ (2/λλ₁). Moreover, if the backward Euler scheme with the explicit nonlinear terms is used, the spectral standard and nonlinear Galerkin methods are uniform stable under the time step constraints Δt = O(λ) and Δt = O(λ), respectively, where λ ≤ λ, which shows that the restriction on the time step of the spectral nonlinear Galerkin method is less than that of the spectral standard Galerkin method. © 2004 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2004     

A two‐level method in space and time for the Navier‐Stokes equations

A two‐level method in space and time for the time‐dependent Navier‐Stokes equations is considered in this article. The approximate solution u_M∈H_M is decomposed into the large eddy component v∈H_m(m < M) and the small eddy component w∈H. We obtain the large eddy component v by solving a standard Galerkin equation in a coarse‐level subspace H_m with a time step length k, whereas the small eddy component w is derived by solving a linear equation in an orthogonal complement subspace H with a time step length pk, where p is a positive integer. The analysis shows that our two‐level scheme has long‐time stability and can reach the same accuracy as the standard Galerkin method in fine‐level subspace H_M for an appropriate configuration of p and m. Moreover, some numerical examples are provided to complement our theoretical analysis. © 2012 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2013     

Word maps and spectra of random graph lifts

We study here the spectra of random lifts of graphs. Let G be a finite connected graph, and let the infinite tree T be its universal cover space. If λ₁ and ρ are the spectral radii of G and T respectively, then, as shown by Friedman (Graphs Duke Math J 118 (2003), 19–35), in almost every n‐lift H of G, all “new” eigenvalues of H are ≤ O(λ ρ^1/2). Here we improve this bound to O(λ ρ^2/3). It is conjectured in (Friedman, Graphs Duke Math J 118 (2003) 19–35) that the statement holds with the bound ρ + o(1) which, if true, is tight by (Greenberg, PhD thesis, 1995). For G a bouquet with d/2 loops, our arguments yield a simple proof that almost every d‐regular graph has second eigenvalue O(d^2/3). For the bouquet, Friedman (2008). has famously proved the (nearly?) optimal bound of . Central to our work is a new analysis of formal words. Let w be a formal word in letters g,…,g. The word map associated with w maps the permutations σ₁,…,σ_k ∈ S_n to the permutation obtained by replacing for each i, every occurrence of g_i in w by σ_i. We investigate the random variable X that counts the fixed points in this permutation when the σ_i are selected uniformly at random. The analysis of the expectation ??(X) suggests a categorization of formal words which considerably extends the dichotomy of primitive vs. imprimitive words. A major ingredient of a our work is a second categorization of formal words with the same property. We establish some results and make a few conjectures about the relation between the two categorizations. These conjectures suggest a possible approach to (a slightly weaker version of) Friedman's conjecture. As an aside, we obtain a new conceptual and relatively simple proof of a theorem of A. Nica (Nica, Random Struct Algorithms 5 (1994), 703–730), which determines, for every fixed w, the limit distribution (as n →∞) of X. A surprising aspect of this theorem is that the answer depends only on the largest integer d so that w = u^d for some word u. © 2010 Wiley Periodicals, Inc. Random Struct. Alg., 2010     

Phase transition for potentials of high‐dimensional wells

For a potential function that attains its global minimum value at two disjoint compact connected submanifolds N^± in , we discuss the asymptotics, as ? → 0, of minimizers u_? of the singular perturbed functional under suitable Dirichlet boundary data . In the expansion of E _? (u_?) with respect to , we identify the first‐order term by the area of the sharp interface between the two phases, an area‐minimizing hypersurface Γ, and the energy c of minimal connecting orbits between N⁺ and N^?, and the zeroth‐order term by the energy of minimizing harmonic maps into N^± both under the Dirichlet boundary condition on ?Ω and a very interesting partially constrained boundary condition on the sharp interface Γ. © 2012 Wiley Periodicals, Inc.