C n -almost automorphic solutions for partial neutral functional differential equations

In this work, we study the existence of C ⁿ -almost periodic solutions and C ⁿ -almost automorphic solutions (n?≥?1), for partial neutral functional differential equations. We prove that the existence of a bounded integral solution on ?⁺ implies the existence of C ⁿ -almost periodic and C ⁿ -almost automorphic strict solutions. When the exponential dichotomy holds for the homogeneous linear equation, we show the uniqueness of C ⁿ -almost periodic and C ⁿ -almost automorphic strict solutions.     

Analyticity for Kuramoto–Sivashinsky‐type equations in two spatial dimensions

I. Stratis In this work, we investigate the analyticity properties of solutions of Kuramoto–Sivashinsky‐type equations in two spatial dimensions, with periodic initial data. In order to do this, we explore the applicability in three‐dimensional models of a spectral method, which was developed by the authors for the one‐dimensional Kuramoto–Sivashinsky equation. We introduce a criterion, which provides a sufficient condition for analyticity of a periodic function u∈C^∞, involving the rate of growth of ?ⁿu, in suitable norms, as n tends to infinity. This criterion allows us to establish spatial analyticity for the solutions of a variety of systems, including Topper–Kawahara, Frenkel–Indireshkumar, and Coward–Hall equations and their dispersively modified versions, once we assume that these systems possess global attractors. Copyright © 2015 John Wiley & Sons, Ltd.     

New tight frames of curvelets and optimal representations of objects with piecewise C2 singularities

This paper introduces new tight frames of curvelets to address the problem of finding optimally sparse representations of objects with discontinuities along piecewise C² edges. Conceptually, the curvelet transform is a multiscale pyramid with many directions and positions at each length scale, and needle‐shaped elements at fine scales. These elements have many useful geometric multiscale features that set them apart from classical multiscale representations such as wavelets. For instance, curvelets obey a parabolic scaling relation which says that at scale 2^?j, each element has an envelope that is aligned along a “ridge” of length 2^?j/2 and width 2^?j. We prove that curvelets provide an essentially optimal representation of typical objects f that are C² except for discontinuities along piecewise C² curves. Such representations are nearly as sparse as if f were not singular and turn out to be far more sparse than the wavelet decomposition of the object. For instance, the n‐term partial reconstruction f obtained by selecting the n largest terms in the curvelet series obeys This rate of convergence holds uniformly over a class of functions that are C² except for discontinuities along piecewise C² curves and is essentially optimal. In comparison, the squared error of n‐term wavelet approximations only converges as n^?1 as n → ∞, which is considerably worse than the optimal behavior. © 2003 Wiley Periodicals, Inc.     

On the well‐posedness of the Cauchy problem for an MHD system in Besov spaces

This paper is devoted to the study of the Cauchy problem of incompressible magneto‐hydrodynamics system in the framework of Besov spaces. In the case of spatial dimension n?3, we establish the global well‐posedness of the Cauchy problem of an incompressible magneto‐hydrodynamics system for small data and the local one for large data in the Besov space ? (?ⁿ), 1?p<∞ and 1?r?∞. Meanwhile, we also prove the weak–strong uniqueness of solutions with data in ? (?ⁿ)∩L²(?ⁿ) for n/2p+2/r>1. In the case of n=2, we establish the global well‐posedness of solutions for large initial data in homogeneous Besov space ? (?²) for 2<p<∞ and 1?r<∞. Copyright © 2008 John Wiley & Sons, Ltd.     

On the well‐posedness of the Euler equations in the Triebel‐Lizorkin spaces

We prove local‐in‐time unique existence and a blowup criterion for solutions in the Triebel‐Lizorkin space for the Euler equations of inviscid incompressible fluid flows in ?ⁿ, n ≥ 2. As a corollary we obtain global persistence of the initial regularity characterized by the Triebel‐Lizorkin spaces for the solutions of two‐dimensional Euler equations. To prove the results, we establish the logarithmic inequality of the Beale‐Kato‐Majda type, the Moser type of inequality, as well as the commutator estimate in the Triebel‐Lizorkin spaces. The key methods of proof used are the Littlewood‐Paley decomposition and the paradifferential calculus by J. M. Bony. © 2002 John Wiley & Sons, Inc.     

Semi‐strong and strong solutions for variable density asymmetric fluids in unbounded domains

We establish the existence of local in time semi‐strong solutions and global in time strong solutions for the system of equations describing flows of viscous and incompressible asymmetric fluids with variable density in general three‐dimensional domains with boundary uniformly of class C³. Under suitable assumptions, uniqueness of local semi‐strong solutions is also proved. Copyright © 2016 John Wiley & Sons, Ltd.     

Global C2‐Estimates for Convex Solutions of Curvature Equations

We establish a C² a priori estimate for convex hypersurfaces whose principal curvatures κ=(κ₁,…, κ_n) satisfy σ_k(κ(X))=f(X,ν(X)), the Weingarten curvature equation. We also obtain such an estimate for admissible 2‐convex hypersurfaces in the case k=2. Our estimates resolve a longstanding problem in geometric fully nonlinear elliptic equations.© 2015 Wiley Periodicals, Inc.     

Rate of convergence of the mean curvature flow

We study the flow M_t of a smooth, strictly convex hypersurface by its mean curvature in ?^{n + 1}. The surface remains smooth and convex, shrinking monotonically until it disappears at a critical time T and point x^* (which is due to Huisken). This is equivalent to saying that the corresponding rescaled mean curvature flow converges to a sphere Sⁿ of radius √n. In this paper we will study the rate of exponential convergence of a rescaled flow. We will present here a method that tells us that the rate of the exponential decay is at least 2/n. We can define the “arrival time” u of a smooth, strictly convex, n‐dimensional hypersurface as it moves with normal velocity equal to its mean curvature via u(x) = t if x ∈ M_t for x ∈ Int(M₀). Huisken proved that, for n ≥ 2, u(x) is C² near x^*. The case n = 1 has been treated by Kohn and Serfaty [11]; they proved C³‐regularity of u. As a consequence of the obtained rate of convergence of the mean curvature flow, we prove that u is not necessarily C³ near x^* for n ≥ 2. We also show that the obtained rate of convergence 2/n, which arises from linearizing a mean curvature flow, is the optimal one, at least for n ≥ 2. © 2007 Wiley Periodicals, Inc.     

The steady states and convergence to equilibria for a 1‐D chemotaxis model with volume‐filling effect

We consider a chemotaxis model with volume‐filling effect introduced by Hillen and Painter. They also proved the existence of global solutions for a compact Riemannian manifold without boundary. Moreover, the existence of a global attractor in W^{1, p}(Ω??ⁿ), p>n, p?2, was proved by Wrzosek. He also proved that the ω‐limit set consists of regular stationary solutions. In this paper, we prove that the 1‐D stationary problem has at most an infinitely countable number of regular solutions. Furthermore, we show that as t→∞ the solution of the 1‐D evolution problem converges to an equilibrium in W^{1, p}, p?2. Copyright © 2009 John Wiley & Sons, Ltd.     

Prescribing scalar curvature on Sn and related problems,part II: Existence and compactness

This is a sequel to [30], which studies the prescribing scalar curvature problem on Sⁿ. First we present some existence and compactness results for n = 4. The existence result extends that of Bahri and Coron [4], Benayed, Chen, Chtioui, and Hammami [6], and Zhang [39]. The compactness results are new and optimal. In addition, we give a counting formula of all solutions. This counting formula, together with the compactness results, completely describes when and where blowups occur. It follows from our results that solutions to the problem may have multiple blowup points. This phenomena is new and very different from the lower-dimensional cases n = 2, 3. Next we study the problem for n ≥ 3. Some existence and compactness results have been given in [30] when the order of flatness at critical points of the prescribed scalar curvature functions K(x) is β ϵ (n − 2, n). The key point there is that for the class of K mentioned above we have completed L^∞ apriori estimates for solutions of the prescribing scalar curvature problem. Here we demonstrate that when the order of flatness at critical points of K(x) is β = n − 2, the L^∞ estimates for solutions fail in general. In fact, two or more blowup points occur. On the other hand, we provide some existence and compactness results when the order of flatness at critical points of K(x) is β ϵ [n − 2,n). With this result, we can easily deduce that C^∞ scalar curvature functions are dense in C^1,α (0 < α < 1) norm among positive functions, although this is generally not true in the C² norm. We also give a simpler proof to a Sobolev-Aubin-type inequality established in [16]. Some of the results in this paper as well as that of [30] have been announced in [29]. © 1996 John Wiley & Sons, Inc.     

Closed characteristics on non-degenerate star-shaped hypersurfaces in R<Subscript>2n</Subscript>

In this paper, firstly we establish the relation theorem between the Maslov-type index and the index defined by C. Viterbo for star-shaped Hamiltonian systems. Then we extend the iteration formula ofC. Viterbo for non-degenerate star-shaped Hamiltonian systems to the general case. Finally we prove that there exist at least two geometrically distinct closed characteristics on any non-degenerate star-shaped compact smooth hypersurface on R²ⁿ with n > 1. Here we call a hypersurface non-degenerate, if all the closed characteristics on the given hypersurface together with all of their iterations are non-degenerate as periodic solutions of the corresponding Hamiltonian system. We also study the ellipticity of closed characteristics whenn = 2     

Partial Regularity for Singular Solutions to the Monge‐Ampère Equation

We prove that solutions to the Monge‐Ampère inequality in ?ⁿ are strictly convex away from a singular set of Hausdorff (n‐1)‐dimensional measure zero. Furthermore, we show this is optimal by constructing solutions to det D²u = 1 with singular set of Hausdorff dimension as close as we like to n‐1. As a consequence we obtain W^2,1 regularity for the Monge‐Ampère equation with bounded right‐hand side and unique continuation for the Monge‐Ampère equation with sufficiently regular right‐hand side. © 2015 Wiley Periodicals, Inc.     

Edge‐decompositions of Kn,n into isomorphic copies of a given tree

We construct an incidence structure using certain points and lines in finite projective spaces. The structural properties of the associated bipartite incidence graphs are analyzed. These n × n bipartite graphs provide constructions of C₆‐free graphs with Ω(n^4/3 edges, C₁₀‐free graphs with Ω(n^6/5) edges, and Θ(7,7,7)‐free graphs with Ω(n^8/7) edges. Each of these bounds is sharp in order of magnitude. © 2005 Wiley Periodicals, Inc. J Graph Theory 49: 1–10, 2005     

Vanishing viscosity limit of the Navier‐Stokes equations to the euler equations for compressible fluid flow

We establish the vanishing viscosity limit of the Navier‐Stokes equations to the isentropic Euler equations for one‐dimensional compressible fluid flow. For the Navier‐Stokes equations, there exist no natural invariant regions for the equations with the real physical viscosity term so that the uniform sup‐norm of solutions with respect to the physical viscosity coefficient may not be directly controllable. Furthermore, convex entropy‐entropy flux pairs may not produce signed entropy dissipation measures. To overcome these difficulties, we first develop uniform energy‐type estimates with respect to the viscosity coefficient for solutions of the Navier‐Stokes equations and establish the existence of measure‐valued solutions of the isentropic Euler equations generated by the Navier‐Stokes equations. Based on the uniform energy‐type estimates and the features of the isentropic Euler equations, we establish that the entropy dissipation measures of the solutions of the Navier‐Stokes equations for weak entropy‐entropy flux pairs, generated by compactly supported C² test functions, are confined in a compact set in H^?1, which leads to the existence of measure‐valued solutions that are confined by the Tartar‐Murat commutator relation. A careful characterization of the unbounded support of the measure‐valued solution confined by the commutator relation yields the reduction of the measurevalued solution to a Dirac mass, which leads to the convergence of solutions of the Navier‐Stokes equations to a finite‐energy entropy solution of the isentropic Euler equations with finite‐energy initial data, relative to the different end‐states at infinity. © 2010 Wiley Periodicals, Inc.     

On Monge‐Ampère equations with homogenous right‐hand sides

We study the regularity and behavior at the origin of solutions to the two‐dimensional degenerate Monge‐Ampère equation det D²_u = |x|^α with α > ?2. We show that when α > 0, solutions admit only two possible behaviors near the origin, radial and nonradial, which in turn implies C^{2, δ}‐regularity. We also show that the radial behavior is unstable. For α < 0 we prove that solutions admit only the radial behavior near the origin. © 2008 Wiley Periodicals, Inc.     

Asymptotic profile of solutions for strongly damped Klein‐Gordon equations

We consider the Cauchy problem in R ⁿ for strongly damped Klein‐Gordon equations. We derive asymptotic profiles of solutions with weighted L^1,1( R ⁿ) initial data by a simple method introduced by the second author. Furthermore, from the obtained asymptotic profile, we get the optimal decay order of the L²‐norm of solutions. The obtained results show that the wave effect will be relatively weak because of the mass term, especially in the low‐dimensional case (n = 1,2) as compared with the strongly damped wave equations without mass term (m = 0), so the most interesting topic in this paper is the n = 1,2 cases to compare the difference.     

The scaling window for a random graph with a given degree sequence

We consider a random graph on a given degree sequence D, satisfying certain conditions. Molloy and Reed defined a parameter Q = Q(D) and proved that Q = 0 is the threshold for the random graph to have a giant component. We introduce a new parameter R = R( \begin{align*}\mathcal {D}\end{align*}) and prove that if |Q| = O(n^‐1/3R^2/3) then, with high probability, the size of the largest component of the random graph will be of order Θ(n^2/3R^‐1/3). If |Q| is asymptotically larger than n^‐1/3R^2/3 then the size of the largest component is asymptotically smaller or larger than n^2/3R^‐1/3. Thus, we establish that the scaling window is |Q| = O(n^‐1/3R^2/3). © 2012 Wiley Periodicals, Inc. Random Struct. Alg., 2012     

On the binary codes with parameters of doubly-shortened 1-perfect codes

We show that any binary (n = 2 ^k − 3, 2 ^n−k , 3) code C ₁ is a cell of an equitable partition (perfect coloring) (C ₁, C ₂, C ₃, C ₄) of the n-cube with the quotient matrix ((0, 1, n−1, 0)(1, 0, n−1, 0)(1, 1, n−4, 2)(0, 0, n−1, 1)). Now the possibility to lengthen the code C ₁ to a 1-perfect code of length n + 2 is equivalent to the possibility to split the cell C ₄ into two distance-3 codes or, equivalently, to the biparticity of the graph of distances 1 and 2 of C ₄. In any case, C ₁ is uniquely embedable in a twofold 1-perfect code of length n + 2 with some structural restrictions, where by a twofold 1-perfect code we mean that any vertex of the space is within radius 1 from exactly two codewords. By one example, we briefly discuss 2 − (n, 3, 2) multidesigns with similar restrictions. We also show a connection of the problem with the problem of completing latin hypercuboids of order 4 to latin hypercubes.     

On codes with covering radius 1 and minimum distance 2

We show that a code C of length n over an alphabet Q of size q with minimum distance 2 and covering radius 1 satisfies |C| ≥ qⁿ⁻¹/(n − 1). For the special case n = q = 4 the smallest known example has |C| = 31. We give a construction for such a code C with |C| = 28.