On Boundary Regularity of the Navier–Stokes Equations

Abstract

We study boundary regularity of weak solutions of the Navier–Stokes equations in the half-space in dimension n ≥ 3. We prove that a weak solution u which is locally in the class L ^{p, q} with 2/p + n/q = 1, q > n near boundary is Hölder continuous up to the boundary. Our main tool is a pointwise estimate for the fundamental solution of the Stokes system, which is of independent interest.     

Positive Toeplitz Operators Between the Harmonic Bergman Spaces

On the setting of the upper half space we study positive Toeplitz operators between the harmonic Bergman spaces. We give characterizations of bounded and compact positive Toeplitz operators taking a harmonic Bergman space b ^p into another b ^q for 1<p<, 1<q<. The case p=1 or q=1 seems more intriguing and is left open for further investigation. Also, we give criteria for positive Toeplitz operators acting on b ² to be in the Schatten classes. Some applications are also included.     

A Graph-based Equilibrium Problem for the Limiting Distribution of Nonintersecting Brownian Motions at Low Temperature

We consider n nonintersecting Brownian motion paths with p prescribed starting positions at time t=0 and q prescribed ending positions at time t=1. The positions of the paths at any intermediate time are a determinantal point process, which in the case p=1 is equivalent to the eigenvalue distribution of a random matrix from the Gaussian unitary ensemble with external source. For general p and q, we show that if a temperature parameter is sufficiently small, then the distribution of the Brownian paths is characterized in the large n limit by a vector equilibrium problem with an interaction matrix that is based on a bipartite planar graph. Our proof is based on a steepest descent analysis of an associated (p+q)×(p+q) matrix-valued Riemann–Hilbert problem whose solution is built out of multiple orthogonal polynomials. A new feature of the steepest descent analysis is a systematic opening of a large number of global lenses.     

Some permutation groups of degreep=6q+1

Transitive permutation groups of degrees 43, 67, 79, 103 and 139 are classified.In this note we consider insoluble transitive permutation groups of degreeq = 6q+1 wherep andq are primes and summarise the computations whereby these groups have been classified for some small values ofq. The result which allows progress on this problem is due to McDonough [1]; he showed that if such a group has a Sylowp-normaliser of order 3p then it is isomorphic either toPSL(3, 3) orPAL(3, 5) (of degrees 13, 31 respectively). Using this theorem machine computations along the lines of those done by Parker, Nikolai and Appel [3, 2] for degreesp=2q+1 andp=4q+1 give the following     

Bivariate hermite interpolation and applications to Algebraic Geometry

Summary We try to solve the bivariate interpolation problem (1.3) for polynomials (1.1), whereS is a lower set of lattice points, and for theq-th interpolation knot,A _q is the set of orders of derivatives that appear in (1.3). The number of coefficients |S| is equal to the number of equations |A _q |. If this is possible for all knots in general position, the problem is almost always solvable (=a.a.s.). We seek to determine whether (1.3) is a.a.s. An algorithm is given which often gives a positive answer to this. It can be applied to the solution of a problem of Hirschowitz in Algebraic Geometry. We prove that for Hermite conditions (1.3) (when allA _q are lower triangles of orderp) andP is of total degreen, (1.3) is a.a.s. for allp=1, 2, 3 and alln, except for the two casesp=1,n=2 andp=1,n=4.Dedicated to R. S. Varga on the occasion of his sixtieth birthdayThis work has been partly supported by the Texas ARP and the Deutsche Forschungsgemeinschaft     

A reduction theorem for the McKay conjecture

The McKay conjecture asserts that for every finite group G and every prime p, the number of irreducible characters of G having p’-degree is equal to the number of such characters of the normalizer of a Sylow p-subgroup of G. Although this has been confirmed for large numbers of groups, including, for example, all solvable groups and all symmetric groups, no general proof has yet been found. In this paper, we reduce the McKay conjecture to a question about simple groups. We give a list of conditions that we hope all simple groups will satisfy, and we show that the McKay conjecture will hold for a finite group G if every simple group involved in G satisfies these conditions. Also, we establish that our conditions are satisfied for the simple groups PSL₂(q) for all prime powers q≥4, and for the Suzuki groups Sz(q) and Ree groups R(q), where q=2 ^e or q=3 ^e respectively, and e>1 is odd. Since our conditions are also satisfied by the sporadic simple group J ₁, it follows that the McKay conjecture holds (for all primes p) for every finite group having an abelian Sylow 2-subgroup.     

Small solutions of polynomial congruences

Let p be prime and q|p − 1. Suppose x ^q ≡ a(mod p) has a solution. We estimate the size of the smallest solution x ₀ with 0 < x ₀ < p. We prove that |x ₀| ≪ p ³/² q ⁻¹ log p. By applying the Burgess character sum estimates, and estimates of certain exponential sums due to Bourgain, Glibichuk and Konyagin, we derive refinements of our result.     

The Cauchy problem for nonhomogeneous Navier-Stokes equations inL q([0,T);L p)

In this paper the Cauchy problem for a class of nonhomogeneous Navier-Stokes equations in the infinite cylinderS _T =ℝⁿ x [0,T) is considered. We construct a unique local solution inL ^q([0,T);L ^p (ℝ ⁿ )) for a class of nonhomogeneous Navier-Stokes equations provided that initial data are inL ^r (ℝ ⁿ ), wherer>1 is an exponent determined by the structure of nonlinear terms andp,q are such that 2/q=n(1/r−1/p). Meanwhile under suitable conditions we also obtain thatu(t)≠L ^q([0,∞];L ^p (ℝ ⁿ )) provided that initial data are sufficiently small. This work is supported by the National Natural Sciences Foundation of China and the Foundation of LNM Laboratory of Institute of Mechanics of the Chinese Academy of Sciences.     

Trust-region and other regularisations of linear least-squares problems

We consider methods for regularising the least-squares solution of the linear system Ax=b. In particular, we propose iterative methods for solving large problems in which a trust-region bound ‖x‖≤Δ is imposed on the size of the solution, and in which the least value of linear combinations of ‖Ax−b‖₂ ^q and a regularisation term ‖x‖₂ ^p for various p and q=1,2 is sought. In each case, one or more “secular” equations are derived, and fast Newton-like solution procedures are suggested. The resulting algorithms are available as part of the ALAHAD optimization library. This work was partially supported by EPSRC grants EP/E053351/1 and EP/F005369/1.     

Finite presentation of alternating groups

Graham Higman posed the question: How small can the integersp andq be made, while maintaining the property that all but finitly many alternating and symmetric groups are factor groups of Δ(2,p,q)=<x,y:x ²=y ^p =3 (xy) ^q =1>? He proved that for a sufficiently largen, the alternating group is a homomorphic image of the triangle group Δ(2,p,q) wherep=3 andq=7. Later, his result was generalized by proving the result forp=3 andq≥7. Choosingp=4 andq≥17 in this paper we have answered the “Hiqman Question”.     

Differentiable functions defined in closed sets. A problem of Whitney

In 1934, Whitney raised the question of how to recognize whether a function f defined on a closed subset X of ℝ ⁿ is the restriction of a function of class 𝒞 ^p . A necessary and sufficient criterion was given in the case n=1 by Whitney, using limits of finite differences, and in the case p=1 by Glaeser (1958), using limits of secants. We introduce a necessary geometric criterion, for general n and p, involving limits of finite differences, that we conjecture is sufficient at least if X has a “tame topology”. We prove that, if X is a compact subanalytic set, then there exists q=q _X (p) such that the criterion of order q implies that f is 𝒞 ^p . The result gives a new approach to higher-order tangent bundles (or bundles of differential operators) on singular spaces. Oblatum 21-XI-2001 & 3-VII-2002?Published online: 8 November 2002 RID="*" ID="*"Research partially supported by the following grants: E.B. – NSERC OGP0009070, P.M. – NSERC OGP0008949 and the Killam Foundation, W.P. – KBN 5 PO3A 005 21.     

Surfaces with pg?=?q?=?1, K2?=?8 and nonbirational bicanonical map

We prove that if the bicanonical map of a minimal surface of general type S with p _g  = q = 1 and K_S²=8{K_{S}^2=8} is nonbirational, then it is a double cover onto a rational surface. An application of this theorem is the complete classification of minimal surfaces of general type with p_g=q=1, K_S²=8{p_{g}=q=1, K_{S}^2=8} and nonbirational bicanonical map.     

Diagonally implicit general linear methods for ordinary differential equations

We investigate some classes of general linear methods withs internal andr external approximations, with stage orderq and orderp, adjacent to the class withs=r=q=p considered by Butcher. We demonstrate that interesting methods exist also ifs+1=r=q, p=q orq+1,s=r+1=q, p=q orq+1, ands=r=q, p=q+1. Examples of such methods are constructed with stability function matching theA-acceptable generalized Padé approximations to the exponential function.The work of Z. Jackiewicz was partially supported by the National Science Foundation under grant NSF DMS-9208048.     

Pseudo-Paley graphs and skew Hadamard difference sets from presemifields

Let (K, + ,*) be an odd order presemifield with commutative multiplication. We show that the set of nonzero squares of (K, *) is a skew Hadamard difference set or a Paley type partial difference set in (K, +) according as q is congruent to 3 modulo 4 or q is congruent to 1 modulo 4. Applying this result to the Coulter–Matthews presemifield and the Ding–Yuan variation of it, we recover a recent construction of skew Hadamard difference sets by Ding and Yuan [7]. On the other hand, applying this result to the known presemifields with commutative multiplication and having order q congruent to 1 modulo 4, we construct several families of pseudo-Paley graphs. We compute the p-ranks of these pseudo-Paley graphs when q = 3⁴, 3⁶, 3⁸, 3¹⁰, 5⁴, and 7⁴. The p-rank results indicate that these graphs seem to be new. Along the way, we also disprove a conjecture of René Peeters [17, p. 47] which says that the Paley graphs of nonprime order are uniquely determined by their parameters and the minimality of their relevant p-ranks. Dedicated to Dan Hughes on the occasion of his 80th birthday.     

Extinction of solutions to a class of fast diffusion systems with nonlinear sources

Y. Wang In this paper, the finite time extinction of solutions to the fast diffusion system u_t=div(|?u|^{p ? 2}?u) + v^m, v_t=div(|?v|^{q ? 2}?v) + uⁿ is investigated, where 1 < p,q < 2, m,n > 0 and is a bounded smooth domain. After establishing the local existence of weak solutions, the authors show that if mn > (p ? 1)(q ? 1), then any solution vanishes in finite time provided that the initial data are ‘comparable’; if mn = (p ? 1)(q ? 1) and Ω is suitably small, then the existence of extinction solutions for small initial data is proved by using the De Giorgi iteration process and comparison method. On the other hand, for 1 < p = q < 2 and mn < (p ? 1)², the existence of at least one non‐extinction solution for any positive smooth initial data is proved. Copyright © 2015 John Wiley & Sons, Ltd.     

Singular solutions of some nonlinear parabolic equations

We consider the existence and uniqueness of singular solutions for equations of the formu ₁=div(|Du|^p−2 Du)-φu), with initial datau(x, 0)=0 forx⇑0. The function ϕ is a nondecreasing real function such that ϕ(0)=0 andp>2. Under a growth condition on ϕ(u) asu→∞, (H1), we prove that for everyc>0 there exists a singular solution such thatu(x, t)→cδ(x) ast→0. This solution is unique and is called a fundamental solution. Under additional conditions, (H2) and (H3), we show the existence of very singular solutions, i.e. singular solutions such that ∫_|x|≤r u(x,t)dx→∞ ast→0. Finally, for functions ϕ which behave like a power for largeu we prove that the very singular solution is unique. This is our main result. In the case ϕ(u)=u ^q, 1≤q, there are fundamental solutions forq<p*=p-1+(p/N) and very singular solutions forp-1<q<p*. These ranges are optimal. Dedicated to Professor Shmuel Agmon     

Algebraically stable general linear methods and the <Emphasis Type="Italic">G</Emphasis>-matrix

The standard algebraic stability condition for general linear methods (GLMs) is considered in a modified form, and connected to a branch of Control Theory concerned with the discrete algebraic Riccati equation (DARE). The DARE theory shows that, for an algebraically stable method, there is a minimal G-matrix, G ^*, satisfying an equation, rather than an inequality. This result, and another alternative reformulation of algebraic stability, are applied to construct new GLMs with 2 steps and 2 stages, one of which has order p=4 and stage order q=3. The construction process is simplified by method-equivalence, and Butcher’s simplified order conditions for the case p≤q+1.      

Tables on fifth power residuacity

In this paper 2 ^p 1 (modq),q=10p+1,p 3 (mod 4),p andq prime, is expressed uniquely (except for changes in sign and interchange ofx, y) in the formq=w ²+25 (x ²+y ²)/2+125z ², 4wz=y ²–x ²–4xy, withw, x, y, z odd, forp<10⁵. For 10⁵<p<10⁶, allp such that 2 ^p 1 (mod 10p + 1),p 3 (mod 4),p and 10p + 1 prime, are listed.     

An overdetermined problem in nonlinear elliptic equations of second order

We define some functionals involvingu(x) andx'u _i , whereu(x) is a classical solution of the equation (q ^p-2 u _i ) _i +k(u)q ^p =0,p > 1, and prove that such functionals satisfy a second order elliptic differential equation. By a suitable choice of such functionals we investigate an overdetermined problem.Partially supported by Regione Autonoma della Sardegna.     

Analysis on the minimal representation of O(p,q): III. Ultrahyperbolic equations on

For the group O(p,q) we give a new construction of its minimal unitary representation via Euclidean Fourier analysis. This is an extension of the q=2 case, where the representation is the mass zero, spin zero representation realized in a Hilbert space of solutions to the wave equation. The group O(p,q) acts as the Möbius group of conformal transformations on , and preserves a space of solutions of the ultrahyperbolic Laplace equation on . We construct in an intrinsic and natural way a Hilbert space of solutions so that O(p,q) becomes a continuous irreducible unitary representation in this Hilbert space. We also prove that this representation is unitarily equivalent to the representation on L²(C), where C is the conical subvariety of the nilradical of a maximal parabolic subalgebra obtained by intersecting with the minimal nilpotent orbit in the Lie algebra of O(p,q).