On the existence of local strong solutions for the Navier-Stokes equations in completely general domains

There are only very few results on the existence of unique local in time strong solutions of the Navier-Stokes equations for completely general domains Ω⊆R³, although domains with edges and corners, bounded or unbounded, are very important in applications. The reason is that the L^q-theory for the Stokes operator A is available in general only in the Hilbert space setting, i.e., with q=2. Our main result for a general domain Ω is optimal in a certain sense: Consider an initial value and a zero external force. Then the condition is sufficient and necessary for the existence of a unique local strong solution u∈L⁸(0,T;L⁴(Ω)) in some interval [0,T), 0<T≤∞, with u(0)=u₀, satisfying Serrin’s condition . Note that Fujita-Kato’s sufficient condition u₀∈D(A^1/4) is strictly stronger and therefore not optimal.     

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³)).     

A fractional porous medium equation

We develop a theory of existence, uniqueness and regularity for the following porous medium equation with fractional diffusion, with m>m_?=(N−1)/N, N?1 and f∈L¹(RN). An L¹-contraction semigroup is constructed and the continuous dependence on data and exponent is established. Nonnegative solutions are proved to be continuous and strictly positive for all x∈RN, t>0.     

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.     

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 index formula and the spectral shift function for relatively trace class perturbations

We compute the Fredholm index, index(DA), of the operator DA=(d/dt)+A on L²(R;H) associated with the operator path , where (Af)(t)=A(t)f(t) for a.e. t∈R, and appropriate f∈L²(R;H), via the spectral shift function ξ(⋅;A₊,A₋) associated with the pair (A₊,A₋) of asymptotic operators A_±=A(±∞) on the separable complex Hilbert space H in the case when A(t) is generally an unbounded (relatively trace class) perturbation of the unbounded self-adjoint operator A₋.We derive a formula (an extension of a formula due to Pushnitski) relating the spectral shift function ξ(⋅;A₊,A₋) for the pair (A₊,A₋), and the corresponding spectral shift function ξ(⋅;H₂,H₁) for the pair of operators in this relative trace class context,This formula is then used to identify the Fredholm index of DA with ξ(0;A₊,A₋). In addition, we prove that index(DA) coincides with the spectral flow of the family {A(t)}_t∈R and also relate it to the (Fredholm) perturbation determinant for the pair (A₊,A₋): with the choice of the branch of ln(detH(⋅)) on C₊ such thatWe also provide some applications in the context of supersymmetric quantum mechanics to zeta function and heat kernel regularized spectral asymmetries and the eta-invariant.     

On an inhomogeneous slip-inflow boundary value problem for a steady flow of a viscous compressible fluid in a cylindrical domain

We investigate a steady flow of a viscous compressible fluid with inflow boundary condition on the density and inhomogeneous slip boundary conditions on the velocity in a cylindrical domain Ω=Ω₀×(0,L)∈R³. We show existence of a solution , p>3, where v is the velocity of the fluid and ρ is the density, that is a small perturbation of a constant flow (, ). We also show that this solution is unique in a class of small perturbations of . The term u⋅∇w in the continuity equation makes it impossible to show the existence applying directly a fixed point method. Thus in order to show existence of the solution we construct a sequence (vn,ρn) that is bounded in and satisfies the Cauchy condition in a larger space L_∞(0,L;L₂(Ω₀)) what enables us to deduce that the weak limit of a subsequence of (vn,ρn) is in fact a strong solution to our problem.     

On the Korteweg–de Vries Equation: Convergent Birkhoff Normal Form

The Korteweg–de Vries equation (KdV)[formula]is a completely integrable Hamiltonian system of infinite dimension with phase space the Sobolev spaceH^N(S¹; ), (N?1), Hamiltonian (q):=∫_S1((∂_xq(x))²+q(x)³) dx, and Poisson structure ∂/∂x. The functionq≡0 is an elliptic fixed point. We prove that for anyN?1, the Korteweg–de Vries equation (and thus the entire KdV-hierarchy) admits globally defined real analytic action-angle variables. As a consequence it follows that in a neighborhood ofq≡0 inH¹(S¹; ), the KdV-Hamiltonian (and similarly any Hamiltonian in the KdV-hierarchy) admits a convergent Birkhoff normal form; to the best of our knowledge this is the first such example in infinite dimension. Moreover, using the constructed action-angle variables, we analyze the regularity properties of the Hamiltonian vectorfield of KdV.     

Isochronicity conditions for some planar polynomial systems

We study the isochronicity of centers at O∈R² for systems , , where A,B∈R[x,y], which can be reduced to the Liénard type equation. Using the so-called C-algorithm we have found 27 new multiparameter isochronous centers.     

Radially increasing minimizing surfaces or deformations under pointwise constraints on positions and gradients

In this paper, we prove existence of radially symmetric minimizersu_A(x)=U_A(|x|), having U_A(⋅)AC monotone and increasing, for the convex scalar multiple integral(∗ ) among those u(⋅) in the Sobolev space. Here, |∇u(x)| is the Euclidean norm of the gradient vector and B_R is the ball ; while A is the boundary data.Besides being e.g. superlinear (but no growth needed if (∗) is known to have minimum), our Lagrangian?^∗∗:R×R→[0,∞] is just convex lsc and and ?^∗∗(s,⋅) is even; while ρ₁(⋅) and ρ₂(⋅) are Borel bounded away from .Remarkably, (∗) may also be seen as the calculus of variations reformulation of a distributed-parameter scalar optimal control problem. Indeed, state and gradient pointwise constraints are, in a sense, built-in, since ?^∗∗(s,v)=∞ is freely allowed.     

On partial regularity for weak solutions to the Navier-Stokes equations

In this paper, we study the partial regularity of the general weak solution u∈L∞(0,T;L2(Ω))∩L2(0,T;H1(Ω)) to the Navier-Stokes equations, which include the well-known Leray-Hopf weak solutions. It is shown that there is a absolute constant ε such that for the weak solution u, if either the scaled local L^q(1?q?2) norm of the gradient of the solution, or the scaled local ) norm of u is less than ε, then u is locally bounded. This implies that the one-dimensional Hausdorff measure is zero for the possible singular point set, which extends the corresponding result due to Caffarelli et al. (Comm. Pure Appl. Math. 35 (1982) 717) to more general weak solution.     

On holomorphic domination, I

Let X be a separable Banach space and u:X→R locally upper bounded. We show that there are a Banach space Z and a holomorphic function h:X→Z with u(x)<‖h(x)‖ for x∈X. As a consequence we find that the sheaf cohomology group Hq(X,O) vanishes if X has the bounded approximation property (i.e., X is a direct summand of a Banach space with a Schauder basis), O is the sheaf of germs of holomorphic functions on X, and q?1. As another consequence we prove that if f is a C¹-smooth -closed (0,1)-form on the space X=L₁[0,1] of summable functions, then there is a C¹-smooth function u on X with on X.     

Strong trajectory attractors for dissipative Euler equations

The 2D Euler equations with periodic boundary conditions and extra linear dissipative term Ru, R>0 are considered and the existence of a strong trajectory attractor in the space is established under the assumption that the external forces have bounded vorticity. This result is obtained by proving that any solution belonging the proper weak trajectory attractor has a bounded vorticity which implies its uniqueness (due to the Yudovich theorem) and allows to verify the validity of the energy equality on the weak attractor. The convergence to the attractor in the strong topology is then proved via the energy method.     

Global existence and convergence rates of smooth solutions for the compressible magnetohydrodynamic equations

In this paper, we are concerned with the global existence and convergence rates of the smooth solutions for the compressible magnetohydrodynamic equations in R³. We prove the global existence of the smooth solutions by the standard energy method under the condition that the initial data are close to the constant equilibrium state in H³-framework. Moreover, if additionally the initial data belong to L^p with , the optimal convergence rates of the solutions in L^q-norm with 2≤q≤6 and its spatial derivatives in L²-norm are obtained.     

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.     

Global solutions and blow-up phenomena to a shallow water equation

A nonlinear shallow water equation, which includes the famous Camassa-Holm (CH) and Degasperis-Procesi (DP) equations as special cases, is investigated. The local well-posedness of solutions for the nonlinear equation in the Sobolev space Hs(R) with is developed. Provided that does not change sign, u₀∈Hs () and u₀∈L¹(R), the existence and uniqueness of the global solutions to the equation are shown to be true in u(t,x)∈C([0,∞);Hs(R))∩C¹([0,∞);Hs−1(R)). Conditions that lead to the development of singularities in finite time for the solutions are also acquired.     

BLO spaces associated with the Ornstein–Uhlenbeck operator

Let (Rn,|⋅|,dγ) be the Gauss measure metric space, where Rn denotes the n-dimensional Euclidean space, |⋅| the Euclidean norm and for all x∈Rn the Gauss measure. In this paper, for any a∈(0,∞), the authors introduce some BLOa(γ) space, namely, the space of functions with bounded lower oscillation associated with a given class of admissible balls with parameter a. Then the authors prove that the noncentered local natural Hardy–Littlewood maximal operator is bounded from BMO(γ) of Mauceri and Meda to BLOa(γ). Moreover, a characterization of the space BLOa(γ), via the local natural maximal operator and BMO(γ), is given. The authors further prove that a class of maximal singular integrals, including the corresponding maximal operators of both imaginary powers of the Ornstein–Uhlenbeck operator and Riesz transforms of any order associated with the Ornstein–Uhlenbeck operator, are bounded from L^∞(γ) to BLOa(γ).