Second Order Nonlinear Evolution Inclusions Ⅰ： Existence and Relaxation Results

This is the first part of a work on second order nonlinear, nonmonotone evolution inclusions defined in the framework of an evolution triple of spaces and with a multivalued nonlinearity depending on both x（t） and x（t）. In this first part we prove existence and relaxation theorems. We consider the case of an usc, convex valued nonlinearity and we show that for this problem the solution set is nonempty and compact in C^1 （T, H）. Also we examine the Isc, nonconvex case and again we prove the existence of solutions. In addition we establish the existence of extremal solutions and by strengthening our hypotheses, we show that the extremal solutions are dense in C^1 （T, H） to the solutions of the original convex problem （strong relaxation）. An example of a nonlinear hyperbolic optimal control problem is also discussed.     

Properties of the solution set of nonlinear evolution inclusions

In this paper we examine nonlinear, nonautonomous evolution inclusions defined on a Gelfand triple of spaces. First we show that the problem with a convex-valued,h*-usc inx orientor fieldF(t, x) has a solution set which is anR _δ-set inC(T, H). Then for the problem with a nonconvex-valuedF(t, x) which ish-Lipschitz inx, we show that the solution set is path-connected inC(T, H). Subsequently we prove a strong invariance result and a continuity result for the solution multifunction. Combining these two results we establish the existence of periodic solutions. Some examples of parabolic partial differential equations with multivalued terms are also included. This work was done while the authors were visiting the Florida Institute of Technology.     

Nonlinear Boundary Value Problems for Second Order Differential Inclusions

In this paper we study two boundary value problems for second order strongly nonlinear differential inclusions involving a maximal monotone term. The first is a vector problem with Dirichlet boundary conditions and a nonlinear differential operator of the form x ↦ a(x, x′)′. In this problem the maximal monotone term is required to be defined everywhere in the state space ℝ^N. The second problem is a scalar problem with periodic boundary conditions and a differential operator of the form x ↦ (a(x)x′)′. In this case the maximal monotone term need not be defined everywhere, incorporating into our framework differential variational inequalities. Using techniques from multivalued analysis and from nonlinear analysis, we prove the existence of solutions for both problems under convexity and nonconvexity conditions on the multivalued right-hand side.     

Nodal solutions of multi-point boundary value problems

We study the nonlinear boundary value problem consisting of the equation y^″+w(t)f(y)=0 on [a,b] and a multi-point boundary condition. By relating it to the eigenvalues of a linear Sturm-Liouville problem with a two-point separated boundary condition, we obtain results on the existence and nonexistence of nodal solutions of this problem. We also discuss the changes in the existence question for different types of nodal solutions as the problem changes.     

Computable analysis of a boundary‐value problem for the generalized KdV–Burgers equation

In this paper, we investigate the computability of the solution operator of the generalized KdV‐Burgers equation with initial‐boundary value problem. Here, the solution operator is a nonlinear map H^{3m ? 1}(R⁺) × H^m(0,T)→C([0,T];H^{3m ? 1}(R⁺)) from the initial‐boundary value data to the solution of the equation. By a technique that is widely used for the study of nonlinear dispersive equation, and using the type 2 theory of effectivity as computable model, we prove that the solution map is Turing computable, for any integer m ≥ 2, and computable real number T > 0. Copyright © 2014 John Wiley & Sons, Ltd.     

Periodic problems and problems with discontinuities for nonlinear parabolic equations

In this paper we study nonlinear parabolic equations using the method of upper and lower solutions. Using truncation and penalization techniques and results from the theory of operators of monotone type, we prove the existence of a periodic solution between an upper and a lower solution. Then with some monotonicity conditions we prove the existence of extremal solutions in the order interval defined by an upper and a lower solution. Finally we consider problems with discontinuities and we show that their solution set is a compact R -set in (CT, L ²(Z)).     

Nonsmooth generalized guiding functions for periodic differential inclusions

We consider the periodic problem for differential inclusions in $$ \user2{\mathbb{R}}^{\rm N} $$ with a nonconvex-valued orientor field F(t, ζ), which is lower semicontinuous in $$ \zeta \in \user2{\mathbb{R}}^{\rm N} $$ Using the notion of a nonsmooth, locally Lipschitz generalized guiding function, we prove that the inclusion has periodic solutions. We have two such existence theorems. We also study the “convex” periodic problem and prove an existence result under upper semicontinuity hypothesis on F(t, ·) and using a nonsmooth guiding function. Our work was motivated by the recent paper of Mawhin-Ward [23] and extends the single-valued results of Mawhin [19] and the multivalued results of De Blasi-Górniewicz-Pianigiani [4], where either the guiding function is C¹ or the conditions on F are more restrictive and more difficult to verify.     

Pullback attractors for a two-dimensional Navier-Stokes model in an infinite delay case

We prove the existence of solutions for a Navier-Stokes model in two dimensions with an external force containing infinite delay effects in the weighted space C_γ(H). Then, under additional suitable assumptions, we prove the existence and uniqueness of a stationary solution and the exponential decay of the solutions of the evolutionary problem to this stationary solution. Finally, we study the existence of pullback attractors for the dynamical system associated to the problem under more general assumptions.     

Solutions of a class of Hamiltonian elliptic systems in

We study the existence of ground state solutions for the following elliptic systems in R^N

where b=(b₁,…,b_N) is a constant vector and HC¹(R^N×R²,R) is nonperiodic in variables x and super-quadratic as |z|→∞. By a recent critical point theorem for strongly indefinite problem, we obtain the existence of at least one ground state solution.     

Necessary and sufficient conditions for the existence of positive solutions of fourth order multi-point boundary value problems

This paper investigates the existence of positive solutions of singular multi-point boundary value problems of fourth order ordinary differential equation with p-Laplacian. A necessary and sufficient condition for the existence of C²[0,1] positive solution as well as pseudo-C³[0,1] positive solution is given by means of the fixed point theorems on cones.     

Existence of Multiple Positive Solutions of Inhomogeneous Semi–Linear Elliptic Problems Involving Critical Exponents ∗

We consider the obstacle problem for the degenerate Monge-Ampére equation. We prove the existence of the greatest viscosity sub-solution u(x) below a given obstacle φ(x), and its C ^{1, 1}-regularity which is optimal. Then the solution satisfies the concave uniformly elliptic equation if it doesn't touch the obstacle. We use the author's previous work to show the C ^{1, α}-regularity of the free boundary, ?{u(x) = φ(x)}. Finally, we discuss the stability of this free boundary.     

ON THE SOLVABILITY OF NONLINEAR BOUNDARY VALUE PROBLEMS FOR FUNCTIONAL DIFFERENTIAL EQUATIONS

Sufficient conditions are established for the solvability of the boundary value problem where p : C(I; R ⁿ) × C(I; R ⁿ) L(I; R ⁿ), q : C(I; R ⁿ) L(I; R ⁿ), l : C(I, R ⁿ) × C(I; R ⁿ) R ⁿ, and c _n : C(I, R ⁿ) R ⁿ are continuous operators, and p(x, ) and l(x, ) are linear operators for any fixed .     

Existence of self-dual non-topological solutions in the Chern–Simons Higgs model

In this paper we investigate the existence of non-topological solutions of the Chern–Simons Higgs model in R². A long standing problem for this equation is: Given N vortex points and β>8π(N+1), does there exist a non-topological solution in R² such that the total magnetic flux is equal to β/2? In this paper, we prove the existence of such a solution if . We apply the bubbling analysis and the Leray–Schauder degree theory to solve this problem.     

Alternating Sign Multibump Solutions of Nonlinear Elliptic Equations in Expanding Tubular Domains

Let Γ denote a smooth simple curve in ? ^N , N ≥ 2, possibly with boundary. Let Ω _R be the open normal tubular neighborhood of radius 1 of the expanded curve RΓ: = {Rx | x ∈ Γ??Γ}. Consider the superlinear problem ? Δu + λu = f(u) on the domains Ω _R , as R → ∞, with homogeneous Dirichlet boundary condition. We prove the existence of multibump solutions with bumps lined up along RΓ with alternating signs. The function f is superlinear at 0 and at ∞, but it is not assumed to be odd. If the boundary of the curve is nonempty our results give examples of contractible domains in which the problem has multiple sign changing solutions.     

The Structure of the Set of Extremal Solutions of Ill-Posed Operator Equation Tx = y with codim R(T) = 1

In this paper, we study the problem of the ill-posed operator equation Tx = y with codim R(T) = 1 in normed linear spaces. The structure of the set of extremal solutions of the equation has been obtained by the maximal elements of the ones in N(T?) and the generalized inverse T ⁺ of T. Furthermore, the representation of the set of the extremal solutions of the equation is given formally.     

The Number of Monochromatic Schur Triples

In this paper, we prove that in every 2-coloring of the set {1, , N } = R B, one can find at least N² / 22 + O(N) monochromatic solutions of the equation x + y = z. This solves a problem of Graham et al. .     

Existence and Multiplicity Results for the Nonlinear Klein-Gordon Equation

In this work, we study the multiplicity of solutions for a stationary nonhomogeneous problem associated to the nonlinear one-dimensional Klein-Gordon Equation. We prove that the existence of positive solutions is equivalent to the solvability of a scalar equation 2F(M) = 1, where F is a real function depending on V. Moreover, we prove some existence and multiplicity results for the Dirichlet problem in the superlinear case.     

Multiple solutions for a nonlinear and non-homogeneous problem in Orlicz-Sobolev spaces

We study a non-homogeneous boundary value problem in a smooth bounded domain in R^N. We prove the existence of at least two non-negative and non-trivial weak solutions. Our approach relies on Orlicz-Sobolev spaces theory combined with adequate variational methods and a variant of Mountain Pass Lemma.     

On quasimonotone increasing homeomorphisms

Let f ? C(\Bbb Rⁿ,\Bbb Rⁿ) f\in C(\Bbb R^n,\Bbb R^n) be quasimonotone increasing such that Y(f(y)-f(x)) ￡ -c Y(y-x) (x << y) \Psi (f(y)-f(x)) \!\le -c \Psi (y-x) (x\ll y) for a linear and strictly positive functional Y \Psi and c > 0. We prove that f is a homeomorphism with decreasing and Lipschitz continuous inverse and we prove the global asymptotic stability of the equilibrium solution of x￠=f(x) x'=f(x) .     

Embedding smooth diffeomorphisms in flows

In this paper we study the problem on embedding germs of smooth diffeomorphisms in flows in higher dimensional spaces. First we prove the existence of embedding vector fields for a local diffeomorphism with its nonlinear term a resonant polynomial. Then using this result and the normal form theory, we obtain a class of local Ck diffeomorphisms for k∈N∪{∞,ω} which admit embedding vector fields with some smoothness. Finally we prove that for any k∈N∪{∞} under the coefficient topology the subset of local Ck diffeomorphisms having an embedding vector field with some smoothness is dense in the set of all local Ck diffeomorphisms.