Uniqueness properties of solutions of Schrödinger equations

Under suitable assumptions on the potentials V and a, we prove that if u∈C([0,1],H¹) is a solution of the linear Schrödinger equation

     

Global existence and asymptotic convergence of weak solutions for the one-dimensional Navier-Stokes equations with capillarity and nonmonotonic pressure

We construct global weak solution of the Navier-Stokes equations with capillarity and nonmonotonic pressure. The volume variable v₀ is initially assumed to be in H¹ and the velocity variable u₀ to be in L² on a finite interval [0,1]. We show that both variables become smooth in positive time and that asymptotically in time u→0 strongly in L²([0,1]) and v approaches the set of stationary solutions in H¹([0,1]).     

Existence and nonexistence of global solutions to the Cauchy problem for a nonlinear beam equation

The paper studies the existence and nonexistence of global solutions to the Cauchy problem for a nonlinear beam equation arising in the model in variational form for the neo–Hookean elastomer rod where k₁, k₂>0 are real numbers, g(s) is a given nonlinear function. When g(s)=sⁿ (where n?2 is an integer), by using the Fourier transform method we prove that for any T>0, the Cauchy problem admits a unique global smooth solution u∈C^∞((0, T]; H^∞( R ))∩C([0, T]; H³( R ))∩C¹([0, T]; H^?1( R )) as long as initial data u₀∈W^{4, 1}( R )∩H³( R ), u₁∈L¹( R )∩H^?1( R ). Moreover, when (u₀, u₁)∈H²( R ) × L²( R ), g∈C²( R ) satisfy certain conditions, the Cauchy problem has no global solution in space C([0, T]; H²( R ))∩C¹([0, T]; L²( R ))∩H¹(0, T; H²( R )). Copyright © 2009 John Wiley & Sons, Ltd.     

Well-posedness of the martingale problem for some degenerate diffusion processes occurring in dynamics of populations

In this paper we establish the well-posedness in C([0,∞);[0,1]^d), for each starting point x∈[0,1]d, of the martingale problem associated with a class of degenerate elliptic operators which arise from the dynamics of populations as a generalization of the Fleming-Viot operator. In particular, we prove that such degenerate elliptic operators are closable in the space of continuous functions on [0,1]^d and their closure is the generator of a strongly continuous semigroup of contractions.     

On classical solutions of the compressible Navier-Stokes equations with nonnegative initial densities

We study the Navier-Stokes equations for compressible barotropic fluids in a bounded or unbounded domain Ω of R³. We first prove the local existence of solutions (ρ,u) in C([0,T_*]; (ρ^∞ +H³(Ω)) × under the assumption that the data satisfies a natural compatibility condition. Then deriving the smoothing effect of the velocity u in t>0, we conclude that (ρ,u) is a classical solution in (0,T_**)×Ω for some T_** ∈ (0,T_*]. For these results, the initial density needs not be bounded below away from zero and may vanish in an open subset (vacuum) of Ω.     

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.     

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

Multiple solutions of some boundary value problems with parameters

In this paper, we study the existence and multiplicity of nontrivial solutions for the following second-order Dirichlet nonlinear boundary value problem with odd order derivative: −u^″(t)+au^′(t)+bu(t)=f(t,u(t)) for all t∈[0,1] with u(0)=u(1)=0, where a,b∈R¹, f∈C¹([0,1]×R¹,R¹). By using the Morse theory, we impose certain conditions on f which are able to guarantee that the problem has at least one nontrivial solution, two nontrivial solutions and infinitely many solutions, separately.     

Regularity for a Schrödinger equation with singular potentials and application to bilinear optimal control

We study the Schrödinger equation i∂_tu+Δu+V₀u+V₁u=0 on R³×(0,T), where V₀(x,t)=|x-a(t)|^-1, with a∈W^2,1(0,T;R³), is a coulombian potential, singular at finite distance, and V₁ is an electric potential, possibly unbounded. The initial condition u₀∈H²(R³) is such that . The potential V₁ is also real valued and may depend on space and time variables. We prove that if V₁ is regular enough and at most quadratic at infinity, this problem is well-posed and the regularity of the initial data is conserved for the solution. We also give an application to the bilinear optimal control of the solution through the electric potential.     

Blowup of solutions for improved Boussinesq type equation

The paper studies the existence and uniqueness of local solutions and the blowup of solutions to the initial boundary value problem for improved Boussinesq type equation u_tt−u_xx−u_xxtt=σ(u)_xx. By a Galerkin approximation scheme combined with the continuation of solutions step by step and the Fourier transform method, it proves that under rather mild conditions on initial data, the above-mentioned problem admits a unique generalized solution u∈W^2,∞([0,T];H²(0,1)) as long as . In particular, when σ(s)=as^p, where a≠0 is a real number and p>1 is an integer, specially a<0 if p is an odd number, the solution blows up in finite time. Moreover, two examples of blowup are obtained numerically.     

Schauder estimates for a degenerate second order elliptic operator on a cube

In the present article we are concerned with a class of degenerate second order differential operators LA,b defined on the cube d[0,1], with d?1. Under suitable assumptions on the coefficients A and b (among them the assumption of their Hölder regularity) we show that the operator LA,b defined on C²(d[0,1]) is closable and its closure is m-dissipative. In particular, its closure is the generator of a C₀-semigroup of contractions on C(d[0,1]) and C²(d[0,1]) is a core for it. The proof of such result is obtained by studying the solvability in Hölder spaces of functions of the elliptic problem λu(x)−LA,bu(x)=f(x), x∈d[0,1], for a sufficiently large class of functions f.     

Holomorphic Hermitian vector bundles over the Riemann sphere

We give a complete classification of isomorphism classes of all SU(2)-equivariant holomorphic Hermitian vector bundles on CP¹. We construct a canonical bijective correspondence between the isomorphism classes of SU(2)-equivariant holomorphic Hermitian vector bundles on CP¹ and the isomorphism classes of pairs ({Hn}_n∈Z,T), where each Hn is a finite dimensional Hilbert space with Hn=0 for all but finitely many n, and T is a linear operator on the direct sum _⊕n∈ZHn such that T(Hn)⊂Hn+2 for all n.     

Positive solutions of nonlinear three-point boundary-value problems

Let a∈C[0,1], b∈C([0,1],(−∞,0]). Let φ₁(t) be the unique solution of the linear boundary value problem

u″(t)+a(t)u′(t)+b(t)u(t)=0,t∈(0,1),u(0)=0,u(1)=1.     

Blowup stability of solutions of the nonlinear heat equation with a large life span

We study the Cauchy problem for the nonlinear heat equation u_t-?u=|u|^p-1u in R^N. The initial data is of the form u₀=λ?, where ?∈C₀(R^N) is fixed and λ>0. We first take 1<p<p_f, where p_f is the Fujita critical exponent, and ?∈C₀(R^N)∩L¹(R^N) with nonzero mean. We show that u(t) blows up for λ small, extending the H. Fujita blowup result for sign-changing solutions. Next, we consider 1<p<p_s, where p_s is the Sobolev critical exponent, and ?(x) decaying as |x|^-σ at infinity, where p<1+2/σ. We also prove that u(t) blows up when λ is small, extending a result of T. Lee and W. Ni. For both cases, the solution enjoys some stable blowup properties. For example, there is single point blowup even if ? is not radial.     

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.     

Schauder estimates for a class of second order elliptic operators on a cube

We consider a class of second order elliptic operators on a d-dimensional cube S_d. We prove that if the coefficients are of class C^k+δ(S_d), with k=0,1 and δ∈(0,1), then the corresponding elliptic problem admits a unique solution u belonging to C^k+2+δ(S_d) and satisfying non-standard boundary conditions involving only second order derivatives.     

Nodal solutions for singularly perturbed equations with critical exponential growth

The existence and concentration behavior of nodal solutions are established for the equation −?²Δu+V(z)u=f(u) in Ω, where Ω is a domain in R², not necessarily bounded, V is a positive Hölder continuous function and f∈C¹ is an odd function having critical exponential growth.     

Results on infinite-dimensional topology and applications to the structure of the critical set of nonlinear Sturm-Liouville operators

We consider the nonlinear Sturm-Liouville differential operator F(u)=−u″+f(u) for u∈H_D²([0,π]), a Sobolev space of functions satisfying Dirichlet boundary conditions. For a generic nonlinearity we show that there is a diffeomorphism in the domain of F converting the critical set C of F into a union of isolated parallel hyperplanes. For the proof, we show that the homotopy groups of connected components of C are trivial and prove results which permit to replace homotopy equivalences of systems of infinite-dimensional Hilbert manifolds by diffeomorphisms.     

Supremum principles for the higher-order derivatives of solutions to the Dirichlet problem for parabolic equations without compatibility conditions between the data

The Dirichlet problem is considered for the heat equation ut=auxx, a>0 a constant, for (x,t)∈[0,1]×[0,T], without assuming any compatibility condition between initial and boundary data at the corner points (0,0) and (1,0). Under some smoothness restrictions on the data (stricter than those required by the classical maximum principle), weak and strong supremum and infimum principles are established for the higher-order derivatives, ut and uxx, of the bounded classical solutions. When compatibility conditions of zero order are satisfied (i.e., initial and boundary data coincide at the corner points), these principles allow to estimate the higher-order derivatives of classical solutions uniformly from below and above on the entire domain, except that at the two corner points. When compatibility conditions of the second order are satisfied (i.e., classical solutions belong to on the closed domain), the results of the paper are a direct consequence of the classical maximum and minimum principles applied to the higher-order derivatives. The classical principles for the solutions to the Dirichlet problem with compatibility conditions are generalized to the case of the same problem without any compatibility condition. The Dirichlet problem without compatibility conditions is then considered for general linear one-dimensional parabolic equations. The previous results as well as some new properties of the corresponding Green functions derived here allow to establish uniformL¹-estimates for the higher-order derivatives of the bounded classical solutions to the general problem.     

Pullback attractors for a class of non-autonomous nonclassical diffusion equations

We consider the first initial boundary value problem for the non-autonomous nonclassical diffusion equation u_t−εΔu_t−Δu+f(u)=g(t), ε∈[0,1], in a bounded domain in R^N. Under a Sobolev growth rate of the nonlinearity f and a suitable exponential growth of the external force g, using the asymptotic a priori estimate method, we prove the existence of pullback D-attractors in the space and the upper semicontinuity of at ε=0.