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 (∗).     

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 some algebraic difference equations in , related to families of conics or cubics: generalization of the Lyness' sequences

In this paper and in a forthcoming one, we study difference equations in of the types (2)(4)(6) which are linked to families of conics, cubics and quartics, respectively. These equations generalize Lyness' one u_n+2u_n=a+u_n+1 studied in several papers, whose behavior was completely elucidated in [G. Bastien, M. Rogalski, in press] through methods which are transposed in the present paper for the study of (1) and (2), and in the forthcoming one for (3). In particular we prove in the present paper a form of chaotic behavior for solutions of difference equations (1) and (2), and find all the possible periods for these solutions.     

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.     

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.     

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.     

A note on the nonexistence of solutions for prescribed mean curvature equations on a ball

We prove the nonexistence of solutions for a prescribed mean curvature equation when p?1 and the positive parameter λ is small. The result extends theorems of Narukawa and Suzuki, and Finn, from the case of n=2,p=1 to all n?2,p?1. Moreover, our proof is very simple and the result is not limited to positive (and negative) solutions. We also show that a similar result for positive solutions is still true if |u|^p−1u is replaced by the exponential nonlinearity e^u−1.     

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.     

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.     

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.     

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 .     

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.     

Regularity of solutions for an integral system of Wolff type

We consider the fully nonlinear integral systems involving Wolff potentials:(1) whereThis system includes many known systems as special cases, in particular, when and γ=2, system (1) reduces to(2) The solutions (u,v) of (2) are critical points of the functional associated with the well-known Hardy–Littlewood–Sobolev inequality. We can show that (2) is equivalent to a system of semi-linear elliptic PDEs which comprises the well-known Lane–Emden system and Yamabe equation.We obtain integrability and regularity for the positive solutions to systems (1). A regularity lifting method by contracting operators is used in proving the integrability, and while deriving the Lipschitz continuity, a brand new idea – Lifting Regularity by Shrinking Operators is introduced. We hope to see many more applications of this new idea in lifting regularities of solutions for nonlinear problems.     

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.     

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.     

Nonlinear elliptic equations with subhomogeneous potentials

We prove the existence of nonnegative symmetric solutions to the semilinear elliptic equation

     

Regularity for obstacle problems in infinite dimensional Hilbert spaces

In this paper we study fully nonlinear obstacle-type problems in Hilbert spaces. We introduce the notion of Q-elliptic equation and prove existence, uniqueness, and regularity of viscosity solutions of Q-elliptic obstacle problems. In particular we show that solutions of concave problems with semiconvex obstacles are in the space .     

Multibump nodal solutions for an indefinite superlinear elliptic problem

We define some Nehari-type constraints using an orthogonal decomposition of the Sobolev space and prove the existence of multibump nodal solutions for an indefinite superlinear elliptic problem.     

On the regularity of the Navier-Stokes equation in a thin periodic domain

We address the global regularity of solutions of the Navier-Stokes equations in a thin domain Ω=[0,L₁]×[0,L₂]×[0,?] with periodic boundary conditions, where L₁,L₂>0 and ?∈(0,1/2). We prove that if

     

Large time behavior for a viscous Hamilton-Jacobi equation with Neumann boundary condition

We prove the existence and the uniqueness of strong solutions for the viscous Hamilton-Jacobi equation: with Neumann boundary condition, and initial data μ₀, a continuous function. The domain Ω is a bounded and convex open set with smooth boundary, a∈R,a≠0 and p>0. Then, we study the large time behavior of the solution and we show that for p∈(0,1), the extinction in finite time of the gradient of the solution occurs, while for p?1 the solution converges uniformly to a constant, as t→∞.