Comparison of the Bergman and Szegö kernels

The quotient of the Szegö and Bergman kernels for a smooth bounded pseudoconvex domains in Cn is bounded from above by a constant multiple of for any p>n, where δ is the distance to the boundary. For a class of domains that includes those of D?Angelo finite type and those with plurisubharmonic defining functions, the quotient is also bounded from below by a constant multiple of for any p<−1. Moreover, for convex domains, the quotient is bounded from above and below by constant multiples of δ.     

Independence results for variants of sharply bounded induction

The theory , axiomatized by the induction scheme for sharply bounded formulae in Buss’ original language of bounded arithmetic (with ⌊x/2⌋ but not ⌊x/2^y⌋), has recently been unconditionally separated from full bounded arithmetic S₂. The method used to prove the separation is reminiscent of those known from the study of open induction.We make the connection to open induction explicit, showing that models of can be built using a “nonstandard variant” of Wilkie’s well-known technique for building models of IOpen. This makes it possible to transfer many results and methods from open to sharply bounded induction with relative ease.We provide two applications: (i) the Shepherdson model of IOpen can be embedded into a model of , which immediately implies some independence results for ; (ii) extended by an axiom which roughly states that every number has a least 1 bit in its binary notation, while significantly stronger than plain , does not prove the infinity of primes.     

Sub-criticality of non-local Schrödinger systems with antisymmetric potentials and applications to half-harmonic maps

We consider non-local linear Schrödinger-type critical systems of the type(1) where Ω is antisymmetric potential in L²(R,so(m)), v is an Rm valued map and Ωv denotes the matrix multiplication. We show that every solution v∈L²(R,Rm) of (1) is in fact in , for every 2?p<+∞, in other words, we prove that the system (1) which is a-priori only critical in L² happens to have a subcritical behavior for antisymmetric potentials. As an application we obtain the regularity of weak 1/2-harmonic maps into C² compact sub-manifolds without boundary.     

On strong convergence to 3D steady vortex sheets

In this paper, we first establish a strong convergence criterion of approximate solutions for the 3D steady incompressible Euler equations. For axisymmetric flows, under the assumption that the vorticity is of one sign and uniformly bounded in L¹ space, we obtain a sufficient and necessary condition for the strong convergence in of approximate solutions. Furthermore, for one-sign and L¹-bounded vorticity, it is shown that if a sequence of approximate solutions concentrates at an isolated point in (r,z)-plane, then the concentration point can appear neither in the region near the axis (including the symmetry axis itself) nor in the region far away from the axis. Finally, we present an example of approximates solutions which converge strongly in by using Hill's spherical vortex.     

Liouville type theorems for the Euler and the Navier–Stokes equations

We prove Liouville type theorems for weak solutions of the Navier–Stokes and the Euler equations. In particular, if the pressure satisfies p∈L¹(0,T;L¹(RN)) with , then the corresponding velocity should be trivial, namely v=0 on RN×(0,T). In particular, this is the case when p∈L¹(0,T;Hq(RN)), where Hq(RN), q∈(0,1], the Hardy space. On the other hand, we have equipartition of energy over each component, if p∈L¹(0,T;L¹(RN)) with . Similar results hold also for the magnetohydrodynamic equations.     

Existence for nonlinear evolution inclusions with nonlocal retarded initial conditions

In this paper, we prove a sufficient condition for the global existence of bounded C⁰-solutions for a class of nonlinear functional differential evolution equation of the form where X is a real Banach space, A is the infinitesimal generator of a nonlinear compact semigroup, is a nonempty, convex, weakly compact valued, and almost strongly–weakly u.s.c. multi-function, and is nonexpansive.     

Modulation spaces, Wiener amalgam spaces, and Brownian motions

We study the local-in-time regularity of the Brownian motion with respect to localized variants of modulation spaces and Wiener amalgam spaces . We show that the periodic Brownian motion belongs locally in time to and for (s−1)q<−1, and the condition on the indices is optimal. Moreover, with the Wiener measure μ on T, we show that and form abstract Wiener spaces for the same range of indices, yielding large deviation estimates. We also establish the endpoint regularity of the periodic Brownian motion with respect to a Besov-type space . Specifically, we prove that the Brownian motion belongs to for (s−1)p=−1, and it obeys a large deviation estimate. Finally, we revisit the regularity of Brownian motion on usual local Besov spaces , and indicate the endpoint large deviation estimates.     

On partial synchronization of nonlinear oscillations of two Berger plates coupled by internal subdomains

The problem of nonlinear oscillations of two Berger plates occupying bounded domains Ω in different parallel planes and coupled by internal subdomains Ω₁⊂Ω is considered. A dynamical system generated by the problem in the space is studied. The long-time behavior of the trajectories of the system and its dependence on the value of the coupling parameter γ is described in terms of the system global attractor. In particular, we prove a synchronization phenomenon at the level of attractor for the system. Namely, we consider a (limiting) dynamical system generated by a suitable second order in time evolution equation in the space consisting of the elements from H with coordinates equal for the values of the spatial variable x from the closed set : , and prove that the attractor of the system describing oscillations of two partially coupled Berger plates approaches the attractor of the limiting system as γ tends to the infinity.     

On the irrationality of factorial series III

In this paper we derive some irrationality and linear independence results for series of the form where is either a non-negative integer sequence with υ_n = o(log n/log log n) or a non-decreasing integer sequence with .     

The higher-order Picone identity and comparison of half-linear differential equations of even order

An identity of the Picone type for higher-order half-linear ordinary differential operators of the form and where p_j and P_j, j=0,…,n, are continuous functions defined on [a,b] and , is derived and then the Sturmian comparison theory for the corresponding 2nth-order equations l_α[x]=0 and L_α[y]=0 based on this identity is developed.     

Pointwise characterizations of Besov and Triebel–Lizorkin spaces and quasiconformal mappings

In this paper, the authors characterize, in terms of pointwise inequalities, the classical Besov spaces and Triebel–Lizorkin spaces for all s∈(0,1) and p,q∈(n/(n+s),∞], both in Rn and in the metric measure spaces enjoying the doubling and reverse doubling properties. Applying this characterization, the authors prove that quasiconformal mappings preserve on Rn for all s∈(0,1) and q∈(n/(n+s),∞]. A metric measure space version of the above morphism property is also established.     

The Weyl-type asymptotic formula for biharmonic Steklov eigenvalues on Riemannian manifolds

Let Ω be a bounded domain with C²-smooth boundary in an n-dimensional oriented Riemannian manifold. It is well known that for the biharmonic equation Δ²u=0 in Ω with the condition u=0 on ∂Ω, there exists an infinite set {uk} of biharmonic functions in Ω with positive eigenvalues {λk} satisfying on ∂Ω. In this paper, by a new method we establish the Weyl-type asymptotic formula for the counting function of the biharmonic Steklov eigenvalues λk.     

Remark on the global existence and large time asymptotics of solutions for the quadratic NLS

We study the global in time existence of small solutions to the nonlinear Schrödinger equation with quadratic interactions (0.1) We prove that if the initial data u₀ satisfy smallness conditions in the weighted Sobolev norm, then the solution of the Cauchy problem (0.1) exists globally in time. Furthermore, we prove the existence of the usual scattering states and find the large time asymptotics of the solutions.     

Local solutions for a coupled system of Kirchhoff type

We investigate the existence of local solutions of the following coupled system of Kirchhoff equations subject to nonlinear dissipation on the boundary: (∗) Here {Γ₀,Γ₁} is an appropriate partition of the boundary Γ of Ω and ν(x), the outer unit normal vector at x∈Γ₁.By applying the Galerkin method with a special basis for the space where lie the approximations of the initial data, we obtain local solutions of the initial-boundary value problem for (∗).     

Regularity of trajectory attractor and upper semicontinuity of global attractor for a 2D non-Newtonian fluid

There are two results within this paper. The one is the regularity of trajectory attractor and the trajectory asymptotic smoothing effect of the incompressible non-Newtonian fluid on 2D bounded domains, for which the solution to each initial value could be non-unique. The other is the upper semicontinuity of global attractors of the addressed fluid when the spatial domains vary from Ωm to Ω=R×(−L,L), where is an expanding sequence of simply connected, bounded and smooth subdomains of Ω such that Ωm→Ω as m→+∞. That is, let A and Am be the global attractors of the fluid corresponding to Ω and Ωm, respectively, we establish that for any neighborhood O(A) of A, the global attractor Am enters O(A) if m is large enough.     

CERES in higher-order logic

We define a generalization of the first-order cut-elimination method CERES to higher-order logic. At the core of lies the computation of an (unsatisfiable) set of sequents (the characteristic sequent set) from a proof π of a sequent S. A refutation of in a higher-order resolution calculus can be used to transform cut-free parts of π (the proof projections) into a cut-free proof of S. An example illustrates the method and shows that can produce meaningful cut-free proofs in mathematics that traditional cut-elimination methods cannot reach.     

Blow-up behavior outside the origin for a semilinear wave equation in the radial case

We consider the semilinear wave equation in the radial case with conformal subcritical power nonlinearity. If we consider a blow-up point different from the origin, then we exhibit a new Lyapunov functional which is a perturbation of the one-dimensional case and extend all our previous results known in the one-dimensional case. In particular, we show that the blow-up set near non-zero non-characteristic points is of class C¹, and that the set of characteristic points is made of concentric spheres in finite number in for any R>1.     

On the layered nearest neighbour estimate, the bagged nearest neighbour estimate and the random forest method in regression and classification

Let be identically distributed random vectors in R^d, independently drawn according to some probability density. An observation is said to be a layered nearest neighbour (LNN) of a point if the hyperrectangle defined by and contains no other data points. We first establish consistency results on , the number of LNN of . Then, given a sample of independent identically distributed random vectors from R^d×R, one may estimate the regression function by the LNN estimate , defined as an average over the Y_i’s corresponding to those which are LNN of . Under mild conditions on r, we establish the consistency of towards 0 as n→∞, for almost all and all p≥1, and discuss the links between r_n and the random forest estimates of Breiman (2001) [8]. We finally show the universal consistency of the bagged (bootstrap-aggregated) nearest neighbour method for regression and classification.     

Smoothness of the moduli space of complexes of coherent sheaves on an abelian or a projective K3 surface

For an abelian or a projective K3 surface X over an algebraically closed field k, consider the moduli space of the objects E in Db(Coh(X)) satisfying and Hom(E,E)≅k. Then we can prove that is smooth and has a symplectic structure.