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.     

Gleason's problem for harmonic Bergman and Bloch functions on half-spaces

On the setting of the half-spaceR ^n–1×R ₊, we investigate Gleason's problem for harmonic Bergman and Bloch functions. We prove that Gleason's problem for the harmonicL ^p -Bergman space is solvable if and only ifp>n. We also prove that Gleason's problem for the harmonic (little) Bloch space is solvable.     

On the Robin Boundary Condition for Laplace's Equation in Lipschitz Domains

Abstract

Let Ω be a bounded Lipschitz domain in ? ⁿ , n ≥ 3 with connected boundary. We study the Robin boundary condition ?u/?N + bu = f ∈ L ^p (?Ω) on ?Ω for Laplace's equation Δu = 0 in Ω, where b is a non-negative function on ?Ω. For 1 < p < 2 + ?, under suitable compatibility conditions on b, we obtain existence and uniqueness results with non-tangential maximal function estimate ‖(?u)*‖ _p  ≤ C‖f‖ _p , as well as a pointwise estimate for the associated Robin function. Moreover, the solution u is represented by a single layer potential.     

Catenarian Numbers

An integer n is called catenarian if, whenever L/K is an n-dimensional field extension, all maximal chains of fields going from K to L have the same length. Catenarian field extensions and catenarian groups are defined analogously. If n is an even positive integer, 6n is non-catenarian. If n ≥ 3 is odd, there exist infinitely many odd primes p such that p ² n is non-catenarian. A finite-dimensional field extension is catenarian iff its maximal separable subextension is. If q < p are odd primes where q divides p ? 1 (resp., q divides p + 1), every (resp., not every) group of order p ² q is catenarian.     

Dispersive Estimates of Solutions to the Wave Equation with a Potential in Dimensions n ≥ 4

We prove dispersive estimates for solutions to the wave equation with a real-valued potential V ∈ L ^∞(R ⁿ ), n ≥ 4, satisfying V(x) = O(?x?^?(n+1)/2?ε), ε > 0.     

Real Hypersurfaces Having Many Pseudo-hyperplanes

Abstract

Let nand dbe natural integers satisfying n ≥ 3 and d ≥ 10. Let Xbe an irreducible real hypersurface Xin ? ⁿ of degree dhaving many pseudo-hyperplanes. Suppose that Xis not a projective cone. We show that the arrangement ? of all d ? 2 pseudo-hyperplanes of Xis trivial, i.e., there is a real projective linear subspace Lof ? ⁿ (?) of dimension n ? 2 such that L ? Hfor all H ∈ ?. As a consequence, the normalization of Xis fibered over ?¹in quadrics. Both statements are in sharp contrast with the case n = 2; the first statement also shows that there is no Brusotti-type result for hypersurfaces in ? ⁿ , for n ≥ 3.     

The Stability in W s,p (Γ) Spaces of L 2-Projections on Some Convex Sets

ABSTRACT

For a polygonal open bounded subset of ?², of boundary Γ, we study stability estimates for the projection operator from L ¹(Γ) on a convex set K _h of continuous piecewise affine functions satisfying bound constraints. We establish stability estimates in L ^p (Γ) and in W ^s,p (Γ) for 1 ≤ p ≤ ∞ and 0 < s ≤ 1. This kind of result plays a crucial role in error estimates for the numerical approximation of optimal control problems of partial differential equations with bilateral control constraints.     

Random Measures and Applications

Abstract

A mapping Z(·) from a δ-ring ?₀(?) into the vector space of random variables L ^p (P) is a vector-valued measure if it is σ-additive in the metric of its range. It is a vector measure if the range is a Banach space and a random measure if also its values are independent on disjoint sets. An important reason for this study is to construct integrals relative to such Zs, which typically do not have finite variation. For this, it is essential to find a controlling (σ-finite) measure for Z that is not available if 0 <p < 1, and here the random measure is taken to be p-stable and utilize properties of infinitely divisible distributions. In the case of p = 2, Z(·) induces a bimeasure, and if p > 2 is an integer it induces a polymeasure, either of which need not be (signed) measures on product spaces. Important applications lead to all these possibilities. In all those cases, a detailed analysis of vector-valued set functions is presented, with special focus for the cases of 0 <p < 1 and p = 2 where probability and Bochner's L ^{2, 2} boundedness plays a key role. Specialization if Z is stationary, harmonizable, and/or isotropic are discussed using the group structure of ? ⁿ , n ≥ 1, extending it for an lca group G. If Z is Banach valued or a quasi-martingale measure, methods of obtaining integrals are outlined in the last section, and open problems motivated by applications are pointed out at various places.     

Strichartz Estimates for Non-selfadjoint Operators and Applications

Abstract

We prove Strichartz type estimates for non-selfadjoint pseudo-differential operators of order m with a curvature condition on the characteristic set. Local solvability results for the corresponding equations with L ^n/m potential (where n > m stands for the number of variables) and for the corresponding semi-linear equations with a non-linearity of order m/n ≤ α ≤ 2m/(n ? m) follow. This is achieved using a parametrix construction and a Brenner inequality for Fourier integral operators with complex phase.     

Random and Deterministic Triangle Generation of Three-Dimensional Classical Groups III

Let p₁, p₂, p₃ be primes. This is the final paper in a series of three on the (p₁, p₂, p₃)-generation of the finite projective special unitary and linear groups PSU ₃(pⁿ), PSL ₃(pⁿ), where we say a noncyclic group is (p₁, p₂, p₃)-generated if it is a homomorphic image of the triangle group T_{p1, p2, p3} . This article is concerned with the case where p₁ = 2 and p₂ ≠ p₃. We determine for any primes p₂ ≠ p₃ the prime powers pⁿ such that PSU ₃(pⁿ) (respectively, PSL ₃(pⁿ)) is a quotient of T = T_{2, p2, p3} . We also derive the limit of the probability that a randomly chosen homomorphism in Hom(T, PSU ₃(pⁿ)) (respectively, Hom(T, PSL ₃(pⁿ))) is surjective as pⁿ tends to infinity.     

Representation ofL p-norms and isometric embedding inL p-spaces

For fixed 1≦p<∞ theL _p-semi-norms onR ⁿ are identified with positive linear functionals on the closed linear subspace ofC(R ⁿ ) spanned by the functions |<ξ, ·>| ^p , ξ∈R ⁿ . For every positive linear functional σ, on that space, the function Φ_σ:R ⁿ →R given by Φ_σ is anL _p-semi-norm and the mapping σ→Φ_σ is 1-1 and onto. The closed linear span of |<ξ, ·>| ^p , ξ∈R ⁿ is the space of all even continuous functions that are homogeneous of degreep, ifp is not an even integer and is the space of all homogeneous polynomials of degreep whenp is an even integer. This representation is used to prove that there is no finite list of norm inequalities that characterizes linear isometric embeddability, in anyL _p unlessp=2. Supported by the National Science Foundation MCS-79-06634 at U.C. Berkeley.     

Semiclassical Pseudodifferential Calculus and the Reconstruction of a Magnetic Field

We give a procedure for reconstructing a magnetic field and electric potential from boundary measurements given by the Dirichlet to Neumann map for the magnetic Schrödinger operator in R ⁿ , n ≥ 3. The magnetic potential is assumed to be continuous with L ^∞ divergence and zero boundary values. The method is based on semiclassical pseudodifferential calculus and the construction of complex geometrical optics solutions in weighted Sobolev spaces.     

The Compact Law of the Iterated Logarithm for Multivariate Stochastic Approximation Algorithms

Abstract

We consider a sequence (Z _n ) _n≥1 defined by a general multivariate stochastic approximation algorithm and assume that (Z _n ) converges to a solution z* almost surely. We establish the compact law of the iterated logarithm for Z _n by proving that, with probability one, the limit set of the sequence (Z _n  ? z*) suitably normalized is an ellipsoid. We also give the law of the iterated logarithm for the l ^p norms, p ∈ [1, ∞], of (Z _n  ? z*).     

A Nonlinear Version of Noether's Type Theorem

Abstract

Let L be a line bundle on a smooth curve C, which defines a birational morphism onto Φ(C) ? P ^r . We prove that, under suitable assumptions on L, which are satisfied by Castelnuovo's curves, a generic section in H ⁰(C, L ²) can be written as α² + β² + γ², with α, β, γ ∈ H ⁰(C, L). If there are no quadrics of rank 3 containing Φ(C), this is true for any section. For canonical curves, this gives a non linear version of Noether's Theorem.     

Minimal Blocking Sets in PG(n, 2) and Covering Groups by Subgroups

In this article we prove that a set of points B of PG(n, 2) is a minimal blocking set if and only if ?B? = PG(d, 2) with d odd and B is a set of d + 2 points of PG(d, 2) no d + 1 of them in the same hyperplane. As a corollary to the latter result we show that if G is a finite 2-group and n is a positive integer, then G admits a ? _n+1-cover if and only if n is even and G? (C ₂) ⁿ , where by a ? _m -cover for a group H we mean a set 𝒞 of size m of maximal subgroups of H whose set-theoretic union is the whole H and no proper subset of 𝒞 has the latter property and the intersection of the maximal subgroups is core-free. Also for all n < 10 we find all pairs (m,p) (m > 0 an integer and p a prime number) for which there is a blocking set B of size n in PG(m,p) such that ?B? = PG(m,p).     

A Generalization of a Lemma of Sullivan

Consider an irreducible polynomial of the form f(X) = X ^p  ? aX ? b ∈ 𝔽[X] and α a root of f(X), where 𝔽 is a field of characteristic p. In 1975, F.J. Sullivan stated a lemma that provides the trace, taken with respect to the extension 𝔽(α)/𝔽, of elements of the form α ⁿ , where 0 ≤ n ≤ p ² ? 1. We present a generalization of Sullivan's Lemma and provide another proof of the original lemma. We explain how computing Tr(α ⁿ ) for n < p ^r can be reduced to computing the traces Tr(α ^m ) for all m ≤ r(p ? 1).     

Nilpotency of q-Skew Derivations

ABSTRACT

Let R be a prime algebra of characteristic not 2, and let δ be a q-skew σ-derivation of R. We show that if δ²ⁿ  = 0 and q ⁿ  ≠ ?1, then δ^2n?1 = 0.     

On Self-Associated Sets of Points in Small Projective Spaces

We study moduli of “self-associated” sets of points in P ⁿ for small n. In particular, we show that for n = 5 a general such set arises as a hyperplane section of the Lagrangian Grassmanian LG(5,10) ? P ¹⁵. For n = 6, a general such set arises as a hyperplane section of the Grassmanian G(2,6) ? P ¹⁴. We also make a conjecture for the next case n = 7. Our results are analogues of Mukai's characterization of general canonically embedded curves in P ⁶ and P ⁷, respectively.     

On a Question of Glasby,Praeger, and Xia

A Jordan partition λ(m, n, p) = (λ₁, λ₂, … , λ _m ) is a partition of mn associated with the expression of a tensor V _m  ? V _n of indecomposable KG-modules into a sum of indecomposables, where K is a field of characteristic p and G a cyclic group of p-power order. It is standard if λ _i  = m + n ? 2i + 1 for all i. We answer a recent question of Glasby, Praeger, and Xia who asked for necessary and sufficient conditions for λ(m, n, p) to be standard.