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.     

Iteratively reweighted least squares minimization for sparse recovery

Under certain conditions (known as the restricted isometry property, or RIP) on the m × N matrix Φ (where m < N), vectors x ∈ ?^N that are sparse (i.e., have most of their entries equal to 0) can be recovered exactly from y := Φx even though Φ^?1(y) is typically an (N ? m)—dimensional hyperplane; in addition, x is then equal to the element in Φ^?1(y) of minimal ??₁‐norm. This minimal element can be identified via linear programming algorithms. We study an alternative method of determining x, as the limit of an iteratively reweighted least squares (IRLS) algorithm. The main step of this IRLS finds, for a given weight vector w, the element in Φ^?1(y) with smallest ??₂(w)‐norm. If x⁽ⁿ⁾ is the solution at iteration step n, then the new weight w⁽ⁿ⁾ is defined by w := [|x|² + ε]^?1/2, i = 1, …, N, for a decreasing sequence of adaptively defined ε_n; this updated weight is then used to obtain x^{(n + 1)} and the process is repeated. We prove that when Φ satisfies the RIP conditions, the sequence x⁽ⁿ⁾ converges for all y, regardless of whether Φ^?1(y) contains a sparse vector. If there is a sparse vector in Φ^?1(y), then the limit is this sparse vector, and when x⁽ⁿ⁾ is sufficiently close to the limit, the remaining steps of the algorithm converge exponentially fast (linear convergence in the terminology of numerical optimization). The same algorithm with the “heavier” weight w = [|x|² + ε]^?1+τ/2, i = 1, …, N, where 0 < τ < 1, can recover sparse solutions as well; more importantly, we show its local convergence is superlinear and approaches a quadratic rate for τ approaching 0. © 2009 Wiley Periodicals, Inc.     

Longtime behavior for a nonlinear wave equation arising in elasto‐plastic flow

The paper studies the longtime behavior of solutions to the initial boundary value problem (IBVP) for a nonlinear wave equation arising in elasto‐plastic flow u_tt?div{|?u|^m?1?u}?λΔu_t+Δ²u+g(u)=f(x). It proves that under rather mild conditions, the dynamical system associated with above‐mentioned IBVP possesses a global attractor, which is connected and has finite Hausdorff and fractal dimension in the phase spaces X₁=H(Ω) × L²(Ω) and X=(H³(Ω)∩H(Ω)) × H(Ω), respectively. Copyright © 2008 John Wiley & Sons, Ltd.     

Optimal large‐time behavior of the Vlasov‐Maxwell‐Boltzmann system in the whole space

In this paper we study the large‐time behavior of classical solutions to the two‐species Vlasov‐Maxwell‐Boltzmann system in the whole space \input amssym ${\Bbb R}^3$ . The existence of global‐in‐time nearby Maxwellian solutions is known from Strain in 2006. However, the asymptotic behavior of these solutions has been a challenging open problem. Building on our previous work on time decay for the simpler Vlasov‐Poisson‐Boltzmann system, we prove that these solutions converge to the global Maxwellian with the optimal decay rate of O(t^{−3/2 + 3/(2r)}) in the L (L)‐norm for any 2 ≤ r ≤ ∞ if initial perturbation is smooth enough and decays in space velocity fast enough at infinity. Moreover, some explicit rates for the electromagnetic field tending to 0 are also provided. © 2011 Wiley Periodicals, Inc.     

Entropy Numbers in Weighted Function Spaces and Eigenvalue Distributions of Some Degenerate Pseudodifferential Operators II

This paper is the continuation of [17]. We investigate mapping and spectral properties of pseudodifferential operators of type Ψ with χ χ ? ? and 0 ≤ γ ≤ 1 in the weighted function spaces B (?ⁿ, w(x)) and F (?ⁿ, w(x)) treated in [17]. Furthermore, we study the distribution of eigenvalues and the behaviour of corresponding root spaces for degenerate pseudodifferential operators preferably of type b₂(x) b(x, D) b₁(x), where b₁(x) and b₂(x) are appropriate functions and b(x, D) ? Ψ. Finally, on the basis of the Birman-Schwinger principle, we deal with the “negative spectrum” (bound states) of related symmetric operators in L₂.     

On Ramsey‐type positional games

Let K denote the graph obtained from the complete graph K_s+t by deleting the edges of some K_t‐subgraph. We prove that for each fixed s and sufficiently large t, every graph with chromatic number s+t has a K minor. © 2010 Wiley Periodicals, Inc. J Graph Theory 65: 343–350, 2010     

On Σ1-definable Functions Provably Total in I ∏

We prove the following theorem: Let φ(x) be a formula in the language of the theory PA^? of discretely ordered commutative rings with unit of the form ?yφ′(x,y) with φ′ and let ∈ Δ₀ and let fφ: ? → ? such that f_φ(x) = y iff φ′(x,y) & (?z < y) φ′(x,z). If I ∏ ∈(?x ≥ 0), φ then there exists a natural number K such that I ∏ ? ?y?x(x > y ? ?φ(x) < x^K). Here I ∏₁^? denotes the theory PA^? plus the scheme of induction for formulas φ(x) of the form ?yφ′(x,y) (with φ′) with φ′ ∈ Δ₀.     

On invariant measures of extensions of Markov transition functions

By using the LITTLEWOOD matrices A_2n we generalize CLARKSON' S inequalities, or equivalently, we determine the norms ‖A_2n: l(L_P) → l(L_P)‖ completely. The result is compared with the norms ‖A_2n: l → l‖, which are calculated implicitly in PIETSCH [6].     

An artificial boundary condition for an advection–diffusion equation

Consider the advection–diffusion equation: u₁ + au_x1 ? vδu = 0 in ?ⁿ × ?⁺ with initial data u⁰; the Support of u⁰ is contained in ?(x₁ < 0) and a: ?ⁿ → ? is positive. In order to approximate the full space solution by the solution of a problem in ? × ?⁺, we propose the artificial boundary condition: u₁ + au_x1 = 0 on ∑. We study this by means of a transmission problem: the error is an O(v²) for small values of the viscosity v.     

Two‐dimensional chemotaxis models with fractional diffusion

In this paper we study the Cauchy problem for the fractional diffusion equation u_t + (?Δ)^α/2u=?·(u?(Δ^?1u)), generalizing the Keller–Segel model of chemotaxis, for the initial data u₀ in critical Besov spaces ?(?²) with r∈[1, ∞], where 1<α<2. Making use of some estimates of the linear dissipative equation in the frame of mixed time–space spaces, the Chemin ‘mono‐norm method,’ Fourier localization technique and the Littlewood–Paley theory, we obtain a local well‐posedness result. We also consider analogous ‘doubly parabolic’ models. Copyright © 2008 John Wiley & Sons, Ltd.     

A Reuniformization for Contractive Mappings in Uniform Spaces

Let X be a complete uniform HAUSDORFF space with a uniformity generated by a saturated family of pseudometrics ?? = {?_α(x, y): α ? A} and let T: X → X be a continuous mapping. The paper contains necessary and sufficient conditions for the existence of a new family of pseudometrics ??*={?*(x, y): α*?A*} generated the same topology such that T is contractive with respect to ??*.     

Superconvergence of a 3D finite element method for stationary Stokes and Navier‐Stokes problems

For the Poisson equation on rectangular and brick meshes it is well known that the piecewise linear conforming finite element solution approximates the interpolant to a higher order than the solution itself. In this article, this type of supercloseness property is established for a special interpolant of the Q₂ ? P element applied to the 3D stationary Stokes and Navier‐Stokes problem, respectively. Moreover, applying a Q₃ ? P postprocessing technique, we can also state a superconvergence property for the discretization error of the postprocessed discrete solution to the solution itself. Finally, we show that inhomogeneous boundary values can be approximated by the Lagrange Q₂‐interpolation without influencing the superconvergence property. Numerical experiments verify the predicted convergence rates. Moreover, a cost‐benefit analysis between the two third‐order methods, the post‐processed Q₂ ? P discretization, and the Q₃ ? P discretization is carried out. © 2004 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2005     

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     

m‐ary Search trees when m ≥ 27: A strong asymptotics for the space requirements

It is known that the joint distribution of the number of nodes of each type of an m‐ary search tree is asymptotically multivariate normal when m ≤ 26. When m ≥ 27, we show the following strong asymptotics of the random vector X_n = ^t(X, … , X), where X denotes the number of nodes containing i ? 1 keys after having introduced n ? 1 keys in the tree: There exist (nonrandom) vectors X, C, and S and random variables ρ and φ such that (X_n ? nX)/n ? ρ(C cos(τ₂log n + φ) + S sin(τ₂log n + φ)) →_n→∞ 0 almost surely and in L²; σ₂ and τ₂ denote the real and imaginary parts of one of the eigenvalues of the transition matrix, having the second greatest real part. © 2004 Wiley Periodicals, Inc. Random Struct. Alg., 2004     

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.     

A multilevel finite element method in space‐time for the Navier‐Stokes problem

A multilevel finite element method in space‐time for the two‐dimensional nonstationary Navier‐Stokes problem is considered. The method is a multi‐scale method in which the fully nonlinear Navier‐Stokes problem is only solved on a single coarsest space‐time mesh; subsequent approximations are generated on a succession of refined space‐time meshes by solving a linearized Navier‐Stokes problem about the solution on the previous level. The a priori estimates and error analysis are also presented for the J‐level finite element method. We demonstrate theoretically that for an appropriate choice of space and time mesh widths: h_j ～ h, k_j ～ k, j = 2, …, J, the J‐level finite element method in space‐time provides the same accuracy as the one‐level method in space‐time in which the fully nonlinear Navier‐Stokes problem is solved on a final finest space‐time mesh. © 2005 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2005     

The red‐shift effect and radiation decay on black hole spacetimes

We consider solutions to the linear wave equation □_g? = 0 on a (maximally extended) Schwarzschild spacetime with parameter M > 0, evolving from sufficiently regular initial data prescribed on a complete Cauchy surface Σ, where the data are assumed only to decay suitably at spatial infinity. (In particular, the support of ? may contain the bifurcate event horizon.) It is shown that the energy flux F(??) of the solution (as measured by a strictly timelike T? that asymptotically matches the static Killing field) through arbitrary achronal subsets ?? of the black hole exterior region satisfies the bound F(??) ≤ C E(v + u), where v and u denote the infimum of the Eddington‐Finkelstein advanced and retarded time of ??, v₊ denotes max{1, v}, and u₊ denotes max{1, u}, where C is a constant depending only on the parameter M, and E depends on a suitable norm of the solution on the hypersurface t ? u + v = 1. (The bound applies in particular to subsets ?? of the event horizon or null infinity.) It is also shown that ? satisfies the pointwise decay estimate |?| ≤ C Ev in the entire exterior region, and the estimates |r?| ≤ C_R?E(1 + |u|)^?1/2 and |r^1/2?| ≤ C_R?Eu in the region {r ≥ R?} ∩ J⁺(Σ) for any R? > 2M. The estimates near the event horizon exploit an integral energy identity normalized to local observers. This estimate can be thought to quantify the celebrated red‐shift effect. The results in particular give an independent proof of the classical result |?| ≥ C E of Kay and Wald without recourse to the discrete isometries of spacetime. © 2009 Wiley Periodicals, Inc.     

Enumeration of graphs by degree sequence

The degree sequence (d₀, d₁, …, d_p-1) of a graph G of order p is defined by d_k = the number of points of G of degree k. Methods of Robinson are extended to produce a generating function F(x₀, x₁, x₂, …) where the coefficient of x…x is the number of graphs of order p having degree sequence (d₀, …, d_p-1).     

Subelliptic Estimates for a Class of Degenerate Elliptic Integro-Differential Operators

In this paper we prove subelliptic estimates for operators of the form Δ_x + λ² (x)S in ?^N = ? × ?, where the operator S is an elliptic integro - differential operator in ?^N and λ is a nonnegative Lipschitz continuous function.     

A note on a third‐order multi‐point boundary value problem at resonance

Based on the coincidence degree theory of Mawhin, we prove some existence results for the following third‐order multi‐point boundary value problem at resonance where f: [0, 1] × R³ → R is a continuous function, 0 < ξ₁ < ??? < ξ_m < 1, α_i ∈ R, i = 1, …, m, m ≥ 1 and 0 < η₁ < η₂ < ??? < η_n < 1, β_j ∈ R, j = 1, 2, …, n, n ≥ 2. In this paper, the dimension of the linear space Ker L (linear operator L is defined by Lx = x′^′′) is equal to 2. Since all the existence results for third‐order differential equations obtained in previous papers are for the case dim Ker L = 1, our work is new.