On quotients of non‐Archimedean Fréchet spaces

It is proved when a non‐Archimedean Fréchet space E of countable type has a quotient isomorphic to ??^?, c^?₀ or c₀ × ??^?. It is also shown when E has a non‐normable quotient with a continuous norm. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On the asymptotic stability of steady solutions of the Navier–Stokes equations in unbounded domains

We consider the problem of the asymptotic behaviour in the L²‐norm of solutions of the Navier–Stokes equations. We consider perturbations to the rest state and to stationary motions. In both cases we study the initial‐boundary value problem in unbounded domains with non‐compact boundary. In particular, we deal with domains with varying and possibly divergent exits to infinity and aperture domains. Copyright © 2007 John Wiley & Sons, Ltd.     

On the independence number of the Erdős‐Rényi and projective norm graphs and a related hypergraph

The Erd?s‐Rényi and Projective Norm graphs are algebraically defined graphs that have proved useful in supplying constructions in extremal graph theory and Ramsey theory. Their eigenvalues have been computed and this yields an upper bound on their independence number. Here we show that in many cases, this upper bound is sharp in the order of magnitude. Our result for the Erd?s‐Rényi graph has the following reformulation: the maximum size of a family of mutually non‐orthogonal lines in a vector space of dimension three over the finite field of order q is of order q^3/2. We also prove that every subset of vertices of size greater than q^2/2 + q^3/2 + O(q) in the Erd?s‐Rényi graph contains a triangle. This shows that an old construction of Parsons is asymptotically sharp. Several related results and open problems are provided. © 2007 Wiley Periodicals, Inc. J Graph Theory 56: 113–127, 2007     

Commuting polarities and maximal partial ovoids of H(4,q2)

In PG(4,q²), q odd, let Q(4,q²) be a non‐singular quadric commuting with a non‐singular Hermitian variety H(4,q²). Then these varieties intersect in the set of points covered by the extended generators of a non‐singular quadric Q₀ in a Baer subgeometry Σ₀ of PG(4,q²). It is proved that any maximal partial ovoid of H(4,q²) intersecting Q₀ in an ovoid has size at least 2(q²+1). Further, given an ovoid O of Q₀, we construct maximal partial ovoids of H(4,q²) of size q³+1 whose set of points lies on the hyperbolic lines 〈P,X〉 where P is a fixed point of O and X varies in O\{P}. © 2009 Wiley Periodicals, Inc. J Combin Designs 17: 307–313, 2009     

Partial regularity criteria for suitable weak solutions of the three‐dimensional liquid crystals flow

In this paper, we establish some new interior regularity criteria for suitable weak solutions of the liquid crystals flow in terms of the smallness of the scaled L^p,q‐norm of the velocity field or the vorticity, which extends the results by Scheffer in [Communications in Mathematical Physics 1980; 73 :1–42]. Copyright © 2016 John Wiley & Sons, Ltd.     

Quicksilver Solutions of a q‐Difference First Painlevé Equation

In this paper, we present new, unstable solutions, which we call quicksilver solutions, of a q‐difference Painlevé equation in the limit as the independent variable approaches infinity. The specific equation we consider in this paper is a discrete version of the first Painlevé equation (qP_I), whose phase space (space of initial values) is a rational surface of type . We describe four families of almost stationary behaviors, but focus on the most complicated case, which is the vanishing solution. We derive this solution's formal power series expansion, describe the growth of its coefficients, and show that, while the series is divergent, there exist true analytic solutions asymptotic to such a series in a certain q‐domain. The method, while demonstrated for qP_I, is also applicable to other q‐difference Painlevé equations.     

A non‐existence result on Cameron–Liebler line classes

Cameron–Liebler line classes are sets of lines in PG(3, q) that contain a fixed number x of lines of every spread. Cameron and Liebler classified Cameron–Liebler line classes for x ∈ {0, 1, 2, q² ? 1, q², q² + 1} and conjectured that no others exist. This conjecture was disproven by Drudge for q = 3 [8] and his counterexample was generalized to a counterexample for any odd q by Bruen and Drudge [4]. A counterexample for q even was found by Govaerts and Penttila [9]. Non‐existence results on Cameron–Liebler line classes were found for different values of x. In this article, we improve the non‐existence results on Cameron–Liebler line classes of Govaerts and Storme [11], for q not a prime. We prove the non‐existence of Cameron–Liebler line classes for 3 ≤ x < q/2. © 2007 Wiley Periodicals, Inc. J Combin Designs 16: 342–349, 2008     

Certain classes of potentials for p ‐Laplacian to be non‐degenerate

Given a positive integer n and an exponent 1 ≤ α ≤ ∞. We will find explicitly the optimal bound r_n such that if the L^α norm of a potential q (t ) satisfies ‖q ‖equation/tex2gif-inf-2.gif < r_n then the n ^th Dirichlet eigenvalue of the onedimensional p ‐Laplacian with the potential q (t ): (|u ′|^{p –2} u ′)′ + (λ + q (t )) |u |^{p –2}u = 0 (1 < p < ∞) will be positive. Using these bounds, we will construct, for the Dirichlet, the Neumann, the periodic or the antiperiodic boundary conditions, certain classes of potentials q (t ) so that the p ‐Laplacian with the potential q (t ) is non‐degenerate, which means that the above equation with λ = 0 has only the trivial solution verifying the corresponding boundary condition. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On the <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> norm of spectral clusters for compact manifolds with boundary

We use microlocal and paradifferential techniques to obtain L ⁸ norm bounds for spectral clusters associated with elliptic second-order operators on two-dimensional manifolds with boundary. The result leads to optimal L ^q bounds, in the range 2⩽q⩽∞, for L ² - normalized spectral clusters on bounded domains in the plane and, more generally, for two-dimensional compact manifolds with boundary. We also establish new sharp L ^q estimates in higher dimensions for a range of exponents q̅_n⩽q⩽∞. The authors were supported by the National Science Foundation, Grants DMS-0140499, DMS-0099642, and DMS-0354668.     

Global Well‐Posedness of the Three‐Dimensional Primitive Equations with Only Horizontal Viscosity and Diffusion

In this paper, we consider the initial boundary value problem of the three‐dimensional primitive equations for planetary oceanic and atmospheric dynamics with only horizontal eddy viscosity in the horizontal momentum equations and only horizontal diffusion in the temperature equation. Global well‐posedness of the strong solution is established for any H² initial data. An N‐dimensional logarithmic Sobolev embedding inequality, which bounds the L^∞‐norm in terms of the L^q‐norms up to a logarithm of the L^p‐norm for p > N of the first‐order derivatives, and a system version of the classic Grönwall inequality are exploited to establish the required a~priori H² estimates for global regularity.© 2016 Wiley Periodicals, Inc.     

Spaces of functions with dominating mixed properties of smoothness as <Emphasis Type="Italic">B</Emphasis>-products

It is proved, that certain known function spaces (such as S _p,q ^s B, S _p,q ^s F spaces of functions of mixed smoothness and approximation spaces A _p,q ^s ) can be characterized in terms of spaces of Sobolev-Liouville and Nikolskii-Besov type spaces and so called “B-products”. The representation theorems of S _p,q ^s B spaces are proved using B-products and covering method. It is proved that space S _p,q ^s B is a “real” method interpolation space for the pair of corresponding spaces of Nikolskii-Besov type.     

Magnetohydrodynamic shear flow along a flat plate with uniform suction or blowing

An analysis is made of the steady shear flow of an incompressible viscous electrically conducting fluid past an electrically insulating porous flat plate in the presence of an applied uniform transverse magnetic field. It is shown that steady shear flow exists for suction at the plate only when the square of the suction parameter S is less than the magnetic parameter Q. In this case the velocity at a given point increases with increase in either the magnetic field or suction velocity. The shear stress at the plate increases with increase in either S or the free-stream shear-rate parameter σ₁ or Q. The analysis further reveals that solution exists for steady shear flow past a porous flat plate subject to blowing only when the square of the blowing parameter S₁ is less than Q. It is found that the induced magnetic field at a given location decreases with increase in Q. Further the wall shear stress decreases with increase in S₁. No steady shear flow is possible for blowing at the plate when S₁² > Q. Received: June 16, 2004; revised: October 24, 2004     

Viscous compressible barotropic symmetric flows with free boundary under general mass force Part I: Uniform‐in‐time bounds and stabilization

We consider symmetric flows of a viscous compressible barotropic fluid with a free boundary, under a general mass force depending both on the Eulerian and Lagrangian co‐ordinates, with arbitrarily large initial data. For a general non‐monotone state function p, we prove uniform‐in‐time energy bound and the uniform bounds for the density ρ, together with the stabilization as t → ∞ of the kinetic and potential energies. We also obtain H¹‐stabilization of the velocity v to zero provided that the second viscosity is zero. For either increasing or non‐decreasing p, we study the L^λ‐stabilization of ρ and the stabilization of the free boundary together with the corresponding ω‐limit set in the general case of non‐unique stationary solution possibly with zones of vacuum. In the case of increasing p and stationary densities ρ_S separated from zero, we establish the uniform‐in‐time H¹‐bounds and the uniform stabilization for ρ and v. All these results are stated and mainly proved in the Eulerian co‐ordinates. They are supplemented with the corresponding stabilization results in the Lagrangian co‐ordinates in the case of ρ_S separated from zero. Copyright © 2005 John Wiley & Sons, Ltd.     

A posteriori error estimates of stabilized finite volume method for the Stokes equations

In this work, the residual‐type posteriori error estimates of stabilized finite volume method are studied for the steady Stokes problem based on two local Gauss integrations. By using the residuals between the source term and numerical solutions, the computable global upper and local lower bounds for the errors of velocity in H¹ norm and pressure in L² norm are derived. Furthermore, a global upper bound of u ? u_h in L²‐norm is also derived. Finally, some numerical experiments are provided to verify the performances of the established error estimators. Copyright © 2015 John Wiley & Sons, Ltd.     

On the irrotational approximation to steady supersonic flow

Under the hypothesis that the initial perturbation has small BV norm, we prove that in any bounded domain the L¹ norm of the difference between solutions to the isentropic Euler system of steady supersonic flow and the system of steady irrotational supersonic flow with the same initial data can be bounded by the cube of the total variation of the initial perturbation.     

Convergence analysis and computational testing of the finite element discretization of the Navier–Stokes alpha model

This report performs a complete analysis of convergence and rates of convergence of finite element approximations of the Navier–Stokes‐α (NS‐α) regularization of the NSE, under a zero‐divergence constraint on the velocity, to the true solution of the NSE. Convergence of the discrete NS‐α approximate velocity to the true Navier–Stokes velocity is proved and rates of convergence derived, under no‐slip boundary conditions. Generalization of the results herein to periodic boundary conditions is evident. Two‐dimensional experiments are performed, verifying convergence and predicted rates of convergence. It is shown that the NS‐α‐FE solutions converge at the theoretical limit of O(h²) when choosing α = h, in the H¹ norm. Furthermore, in the case of flow over a step the NS‐α model is shown to resolve vortex separation in the recirculation zone. © 2009 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2010     

Convergence to equilibria and blowup behavior of global strong solutions to the Stokes approximation equations for two-dimensional compressible flows with large data

This paper concerns the large time behavior of strong and classical solutions to the two-dimensional Stokes approximation equations for the compressible flows. We consider the unique global strong solution or classical solution to the two-dimensional Stokes approximation equations for the compressible flows with large external potential force, together with a Navier-slip boundary condition, for arbitrarily large initial data. Under the conditions that the corresponding steady state exists uniquely with the steady state density away from vacuum, we prove that the density is bounded from above independently of time, consequently, it converges to the steady state density in L^p and the velocity u converges to the steady state velocity in W^1,p for any 1p<∞ as time goes to infinity; furthermore, we show that if the initial density contains vacuum at least at one point, then the derivatives of the density must blow up as time goes to infinity.     

On the irrotational approximation to steady supersonic flow

Under the hypothesis that the initial perturbation has small BV norm, we prove that in any bounded domain the L¹ norm of the difference between solutions to the isentropic Euler system of steady supersonic flow and the system of steady irrotational supersonic flow with the same initial data can be bounded by the cube of the total variation of the initial perturbation.     

On Clarkson's inequality in the real case

The best constant in a generalized complex Clarkson inequality is C_p,q (?) = max {2^1–1/p , 2^1/q , 2^{1/q –1/p +1/2}} which differs moderately from the best constant in the real case C_p,q (?) = max {2^1–1/p , 2^1/q ,B_p,q }, where . For 1 < q < 2 < p < ∞ the constant C_p,q (?) is equal to B_p,q and these numbers are difficult to calculate in general. As applications of the generalized Clarkson inequalities the (p, q)‐Clarkson inequalities in Lebesgue spaces, in mixed norm spaces and in normed spaces are presented. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A consistent numerical scheme for self‐gravitating fluid dynamics

In this article, we present a numerical scheme for the 3‐D system of self‐gravitating fluid dynamics in the collisional case as well as in the non‐collisional case. Consistency in the sense of distributions is proved in 1‐D and in absence of pressure. In the other cases consistency is proved under the numerical assumptions of boundedness of the velocity field in the CFL condition and of boundedness of the gradient of the gravitation potential. In 2‐D and 3‐D, concentrations of matter in strings and points can cause a theoretical difficulty in the pressureless case although one observes that the scheme still works. The initial data are L^∞ functions in velocity and L¹ functions in density. Applications are given to numerical simulations of the role of dark matter and gravitational collapse in cosmology as well as Jeans theory. © 2012 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 2013