Well-posedness and persistence properties for the Novikov equation

Recently, Novikov found a new integrable equation (we call it the Novikov equation in this paper), which has nonlinear terms that are cubic, rather than quadratic, and admits peaked soliton solutions (peakons). Firstly, we prove that the Cauchy problem for the Novikov equation is locally well-posed in the Besov spaces (which generalize the Sobolev spaces Hs) with the critical index . Then, well-posedness in Hs with , is also established by applying Kato's semigroup theory. Finally, we present two results on the persistence properties of the strong solution for the Novikov equation.     

Steady compressible Navier-Stokes-Fourier system for monoatomic gas and its generalizations

We consider steady compressible Navier-Stokes-Fourier system for a gas with pressure p and internal energy e related by the constitutive law p=(γ−1)?e, γ>1. We show that for any there exists a variational entropy solution (i.e. solution satisfying the weak formulation of balance of mass and momentum, entropy inequality and global balance of total energy). This result includes the model for monoatomic gas (). If , these solutions also fulfill the weak formulation of the pointwise total energy balance.     

Well-posedness of a dissipative nonlinear electrohydrodynamic system in modulation spaces

In this paper we prove the local and global well-posedness of a dissipative nonlinear electrohydrodynamic system in modulation spaces under certain conditions of s, q, and σ.     

The local well-posedness and existence of weak solutions for a generalized Camassa-Holm equation

A generalization of the Camassa-Holm equation, a model for shallow water waves, is investigated. Using the pseudoparabolic regularization technique, its local well-posedness in Sobolev space Hs(R) with is established via a limiting procedure. In addition, a sufficient condition for the existence of weak solutions of the equation in lower order Sobolev space Hs with is developed.     

Well-posedness and ill-posedness for a fifth-order shallow water wave equation

In this paper we establish a new bilinear estimate in suitable Bourgain spaces by using a fundamental estimate on dyadic blocks for the Kawahara equation which was obtained by the [k;Z] multiplier norm method of Tao (2001) [2]; then the local well-posedness of the Cauchy problem for a fifth-order shallow water wave equation in with is obtained by the Fourier restriction norm method. And some ill-posedness in with is derived from a general principle of Bejenaru and Tao.     

A new partial regularity result for non-autonomous convex integrals with non-standard growth conditions

We establish C1,γ-partial regularity of minimizers of non-autono-mous convex integral functionals of the type: , with non-standard growth conditions into the gradient variable

     

Higher Kurtz randomness

A real x is -Kurtz random (-Kurtz random) if it is in no closed null set ( set). We show that there is a cone of -Kurtz random hyperdegrees. We characterize lowness for -Kurtz randomness as being -dominated and -semi-traceable.     

Carleson measure problems for parabolic Bergman spaces and homogeneous Sobolev spaces

Let be the space of solutions to the parabolic equation having finite norm. We characterize nonnegative Radon measures μ on having the property , 1≤p≤q<∞, whenever . Meanwhile, denoting by v(t,x) the solution of the above equation with Cauchy data v₀(x), we characterize nonnegative Radon measures μ on satisfying , β∈(0,n), p∈[1,n/β], q∈(0,∞). Moreover, we obtain the decay of v(t,x), an isocapacitary inequality and a trace inequality.     

Stability to the global large solutions of 3-D Navier-Stokes equations

In this paper, we consider the stability to the global large solutions of 3-D incompressible Navier-Stokes equations in the anisotropic Sobolev spaces. In particular, we proved that for any , given a global large solution v∈C([0,∞);H0,s₀(R³)∩L³(R³)) of (1.1) with and a divergence free vector satisfying for some sufficiently small constant depending on , v, and , (1.1) supplemented with initial data v(0)+w₀ has a unique global solution in u∈C([0,∞);H0,s₀(R³)) with ∇u∈L²(R⁺,H0,s₀(R³)). Furthermore, uh is close enough to vh in C([0,∞);H0,s(R³)).     

Scattering above energy norm of solutions of a loglog energy-supercritical Schrödinger equation with radial data

We prove global well-posedness and scattering of -solutions of the loglog energy-supercritical Schrödinger equation , 0<c<cn, n={3,4}, with radial data , . This is achieved, roughly speaking, by extending Bourgain's argument in Bourgain (1999) [1] (see also Grillakis, 2000 [5]) and Tao's argument in Tao (2005) [10] in high dimensions.     

A non-implication between fragments of Martin’s Axiom related to a property which comes from Aronszajn trees

We introduce a property of forcing notions, called the anti-, which comes from Aronszajn trees. This property canonically defines a new chain condition stronger than the countable chain condition, which is called the property .In this paper, we investigate the property . For example, we show that a forcing notion with the property does not add random reals. We prove that it is consistent that every forcing notion with the property has precaliber ℵ₁ and for forcing notions with the property fails. This negatively answers a part of one of the classical problems about implications between fragments of .     

Extinction, decay and blow-up for Keller-Segel systems of fast diffusion type

We consider the quasi-linear Keller-Segel system of singular type, where the principal part Δum represents a fast diffusion like 0<m<1. We first construct a global weak solution with small initial data in the scaling invariant norm for all dimensions N?2 and all exponents q?2. As for the large initial data, we show that there exists a blow-up solution in the case of N=2. In the second part, the decay property in Lr with 1<r<∞ for with the mass conservation is shown. On the other hand, in the case of , the extinction phenomenon of solution is proved. It is clarified that the case of exhibits the borderline in the sense that the decay and extinction occur when the diffusion power m changes across . For the borderline case of , our solution decays in Lr exponentially as t→∞.     

Characterizations of Besov-type and Triebel-Lizorkin-type spaces via maximal functions and local means

Let s∈R. In this paper, the authors first establish the maximal function characterizations of the Besov-type space with and τ∈[0,∞), the Triebel-Lizorkin-type space with p∈(0,∞), q∈(0,∞] and τ∈[0,∞), the Besov-Hausdorff space with p∈(1,∞), q∈[1,∞) and and the Triebel-Lizorkin-Hausdorff space with and , where t^′ denotes the conjugate index of t∈[1,∞]. Using this characterization, the authors further obtain the local mean characterizations of these function spaces via functions satisfying the Tauberian condition and establish a Fourier multiplier theorem on these spaces. All these results generalize the existing classical results on Besov and Triebel-Lizorkin spaces by taking τ=0 and are also new even for Q spaces and Hardy-Hausdorff spaces.     

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 global solution to the Klein-Gordon-Hartree equation below energy space

In this paper, we consider the Cauchy problem for Klein-Gordon equation with a cubic convolution nonlinearity in R³. By making use of Bourgain's method in conjunction with a precise Strichartz estimate of S. Klainerman and D. Tataru, we establish the Hs (s<1) global well-posedness of the Cauchy problem for the cubic convolution defocusing Klein-Gordon-Hartree equation. Before arriving at the previously discussed conclusion, we obtain global solution for this non-scaling equation with small initial data in Hs₀×Hs₀−1 where but not , for this equation that we consider is a subconformal equation in some sense. In doing so a number of nonlinear prior estimates are already established by using Bony's decomposition, flexibility of Klein-Gordon admissible pairs which are slightly different from that of wave equation and a commutator estimate. We establish this commutator estimate by exploiting cancellation property and utilizing Coifman and Meyer multilinear multiplier theorem. As far as we know, it seems that this is the first result on low regularity for this Klein-Gordon-Hartree equation.     

Compactifications of the homeomorphism group of a graph

Let Γ be a countable locally finite graph and let H(Γ) and H₊(Γ) denote the homeomorphism group of Γ with the compact-open topology and its identity component. These groups can be embedded into the space of all closed sets of Γ×Γ with the Fell topology, which is compact. Taking closure, we have natural compactifications and . In this paper, we completely determine the topological type of the pair and give a necessary and sufficient condition for this pair to be a (Q,s)-manifold. The pair is also considered for simple examples, and in particular, we find that has homotopy type of RP³. In this investigation we point out a certain inaccuracy in Sakai-Uehara's preceding results on for finite graphs Γ.     

Global well-posedness of the Cauchy problem of the fifth-order shallow water equation

By using the I-method, we prove that the Cauchy problem of the fifth-order shallow water equation is globally well-posed in the Sobolev space Hs(R) provided .     

Homology of artinian and Matlis reflexive modules, I

Let R be a commutative local noetherian ring, and let L and L^′ be R-modules. We investigate the properties of the functors and . For instance, we show the following:

(a)

if L and L^′ are artinian, then is artinian, and is noetherian over the completion ;

(b)

if L is artinian and L^′ is Matlis reflexive, then , , and are Matlis reflexive.

Also, we study the vanishing behavior of these functors, and we include computations demonstrating the sharpness of our results.     

Classical predicative logic-enriched type theories

A logic-enriched type theory (LTT) is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named and , which we claim correspond closely to the classical predicative systems of second order arithmetic and . We justify this claim by translating each second order system into the corresponding LTT, and proving that these translations are conservative. This is part of an ongoing research project to investigate how LTTs may be used to formalise different approaches to the foundations of mathematics.The two LTTs we construct are subsystems of the logic-enriched type theory , which is intended to formalise the classical predicative foundation presented by Herman Weyl in his monograph Das Kontinuum. The system has also been claimed to correspond to Weyl’s foundation. By casting and as LTTs, we are able to compare them with . It is a consequence of the work in this paper that is strictly stronger than .The conservativity proof makes use of a novel technique for proving one LTT conservative over another, involving defining an interpretation of the stronger system out of the expressions of the weaker. This technique should be applicable in a wide variety of different cases outside the present work.