New Developments on Existence and Uniqueness of Solutions to Some Models in Atmospheric Dynamics

This survey is concerned with the new developments on existence and uniqueness of solutions of some basic models in atmospheric dynamics, such as two-and three-dimensional quasi-geostrophic models and three-dimensional balanced model. The main aim of this paper is to introduce some results about the global and local (with respect to time) existence of solutions given by the authors in recent years, but others' important contributions and the literature on this subject are also quoted. We discuss briefly the relationships among the existence and uniqueness, physical instability and computational instability. In the appendixes, some key mathematical techniques in obtaining our results are presented, which are of vital importance to other problems in geophysical fluid dynamics as well.

EXISTENCE,UNIQUENESS AND APPROXIMATION OF THE SOLUTION OF AN ODE WITH (INFINITELY MANY) STATE-DEPENDENT IMPULSES VIA FIXED MESH GALERKIN FORMULATION

A fixed mesh variational formulation is used to establish existence and uniqueness of the solution of ordinary differential equations with (in finitely many) state-dependent in pulses on the right-hand side. This approach gives a natural numerical scheme to approximate the solution.The convergence of the approximation is proved and its asymptatic order obtained.

EXISTENCE AND UNIQUENESS FOR SECOND-ORDER VECTOR BOUNDARY VALUE PROBLEM OF NONLINEAR SYSTEMS

This paper is concerned with the following second-order vector boundary value problem ：x^R=f（t,Sx,x,x＇）,0〈t〈1,x（0）=A,g（x（1）,x＇（1））=B,where x,f,g,A and B are n-vectors. Under appropriate assumptions,existence and uniqueness of solutions are obtained by using upper and lower solutions method.

The Long-Term Dynamic Behavior of Solutions to a Class of Generalized Higher-Order Kirchhoff-Type Coupled Wave Equations

In this paper, we study the long-term dynamic behavior of a class of generalized high-order Kirchhoff-type coupled wave equations. Firstly, the existence of uniqueness global solution of this kind of equations in Ek space is proved by prior estimation and Galerkin method;Then, through using Rellich-Kondrachov compact embedding theorem, it is proved that the solution semigroup S(t) has the family of the global attractors Ak in space Ek;Finally, through linearization method, proves that the operator semigroup S(t) Frechet differentiable and the attenuation of linearization problem volume element. Furthermore, we can obtain the finite Hausdorff dimension and Fractal dimension of the family of the global attractors Ak.

The Dynamic Behavior of a Class of Kirchhoff Equations with High Order Strong Damping

In this paper, we study the long time behavior of a class of Kirchhoff equations with high order strong dissipative terms. On the basis of the proper hypothesis of rigid term and nonlinear term of Kirchhoff equation, firstly, we evaluate the equation via prior estimate in the space E0 and Ek, and verify the existence and uniqueness of the solution of the equation by using Galerkin’s method. Then, we obtain the bounded absorptive set B0k on the basis of the prior estimate. Moreover, by using the Rellich-Kondrachov Compact Embedding theorem, we prove that the solution semigroup S(t) of the equation has the family of the global attractor Ak in space Ek. Finally, we prove that the solution semigroup S(t) is Frechet differentiable on Ek via linearizing the equation. Furthermore, we can obtain the finite Hausdorff dimension and Fractal dimension of the family of the global attractor Ak.

Global Attractors and Their Dimension Estimates for a Class of Generalized Kirchhoff Equations

In this paper, we studied the long-time properties of solutions of generalized Kirchhoff-type equation with strongly damped terms. Firstly, appropriate assumptions are made for the nonlinear source term g (u) and Kirchhoff stress term M (s) in the equation, and the existence and uniqueness of the solution are proved by using uniform prior estimates of time and Galerkin’s finite element method. Then, abounded absorption set B0k is obtained by prior estimation, and the Rellich-kondrachov’s compact embedding theorem is used to prove that the solution semigroup S (t) generated by the equation has a family of the global attractor Ak in the phase space . Finally, linearize the equation and verify that the semigroups are Frechet diifferentiable on Ek. Then, the upper boundary estimation of the Hausdorff dimension and Fractal dimension of a family of the global attractor Ak was obtained.

PERIODIC BOUNDARY VALUE PROBLEM AND CAUCHY PROBLEM OF THE GENERALIZED CUBIC DOUBLE DISPERSION EQUATION

In this article, the existence, uniqueness and regularities of the global generalized solution and global classical solution for the periodic boundary value problem and the Cauchy problem of the general cubic double dispersion equationutt - uxx - auxxtt ＋ bux4 - duxxt = f（u）xxare proved, and the sufficient conditions of blow-up of the solutions for the Cauchy problems in finite time are given.

Global Attractors for a Class of Generalized Nonlinear Kirchhoff-Sine-Gordon Equation

In this paper, we consider a class of generalized nonlinear Kirchhoff-Sine-Gordon equation . By a priori estimation, we first prove the existence and uniqueness of solutions to the initial boundary value conditions, and then we study the global attractors of the equation.

Analysis and Dynamics of Illicit Drug Use Described by Fractional Derivative with Mittag-Leffler Kernel

Illicit drug use is a significant problem that causes great material and moral losses and threatens the future of the society.For this reason,illicit drug use and related crimes are the most significant criminal cases examined by scientists.This paper aims at modeling the illegal drug use using the Atangana-Baleanu fractional derivative with Mittag-Leffler kernel.Also,in this work,the existence and uniqueness of solutions of the fractional-order Illicit drug use model are discussed via Picard-Lindelöf theorem which provides successive approximations using a convergent sequence.Then the stability analysis for both disease-free and endemic equilibrium states is conducted.A numerical scheme based on the known Adams-Bashforth method is designed in fractional form to approximate the novel Atangana-Baleanu fractional operator of order 0<a≤1.Finally,numerical simulation results based on different values of fractional order,which also serve as control parameter,are presented to justify the theoretical findings.

LEVEL SET METHODS BASED ON DISTANCE FUNCTION

Some basic problems on the level set methods were discussed, such as the method used to preserve the distance junction , the existence and uniqueness of solution for the level set equations. The main contribution is to prove that in a neighborhood of the initial zero level set, the level set equations with the restriction of the distance function have a unique solution, which must be the signed distance function with respect to the evolving surface. Some skillful approaches were used: Noticing that any solution for the original equation was a distance function, the original level set equations were transformed into a simpler alternative form. Moreover, since the new system was not a classical one, the system was transformed into an ordinary one, for which the implicit function method was adopted.

Existence and Uniqueness of Positive Solutions to Sublinear-Linear Initial Value Problems

Existence and uniqueness conditions for nonnegative solutions to initial value prob- lems of general sublinear-linear differential equations are obtained.They extend the uniqueness theorem due to H.Murakami~[6] and the main results of H.G.Kaper and M.K.Kwong~[4].

Boundary Control for Cooperative Elliptic Systems under Conjugation Conditions

The existence and uniqueness of the state for 2 × 2 Dirichlet cooperative elliptic systems under conjugation conditions are proved using Lax-Milgram lemma, then the boundary control for these systems is discussed. The set of equations and inequalities that characterizes this boundary control is found by theory of Lions, Sergienko and Deineka. The problem for cooperative Neumann elliptic systems under conjugation conditions is also considered. Finally, the problem for n × n cooperative elliptic systems under conjugation conditions is established.

The Family of Global Attractors of Coupled Kirchhoff Equations

In this paper, we study the initial boundary value problem of coupled generalized Kirchhoff equations. Firstly, the rigid term and nonlinear term of Kirchhoff equation are assumed appropriately to obtain the prior estimates of the equation in E0 and Ek space, and then the existence and uniqueness of solution is verified by Galerkin’s method. Then, the solution semigroup S(t) is defined, and the bounded absorptive set Bk is obtained on the basis of prior estimation. Through using Rellich-Kondrachov compact embedding theorem, it is proved that the solution semigroup S(t) has the family of the global attractors Ak in space Ek. Finally, by linearizing the equation, it is proved that the solution semigroup S(t) is Frechet differentiable on Ek, and the family of global attractors Ak have finite Hausdroff dimension and Fractal dimension.

The Family of Global Attractors for Kirchhoff-Type Coupled Equations

This paper mainly studies the initial value problems of Kirchhoff-type coupled equations. Firstly, by giving the hypothesis of Kirchhoff stress term , the Galerkin’s method obtains the existence uniqueness of the overall solution of the above problem by using a priori estimates in the spaces of E0 and Ek, and secondly, it proves that there is a family of global attractors for the above problem, and finally estimates the Hausdorff dimension and the Fractal dimension of the family of global attractors.

EXISTENCE UNIQUENESS AND ASYMPTOTIC STABILITY OF PERIODIC SOLUTIONS OF A NONLINEAR EQUATION IN PHASE LOCKED TECHNOLOGY

In [1] and [2], the authors made a deep qualitative analysis of the equationwith the character of tangent detected phase and they mathematically provided atheoretical basis of why the phase looked loop has no look--losing point. However,according to many practical experts, it is rather difficult to put such a phaselooked loop into practice, though it has fine properties. W. C. Lindsey [3] made a

UNIQUE EXISTENCE OF PERIODIC SOLUTIONS OF NEUTRAL VOLTERRA INTEGRODIFFERENTIAL EQUATIONS

This paper deals with the uniqueness and existence of periodic solutions of neutral Volterraintegrodifferential equations (1) and (2). Some new unique existence criteria are obtained.

Existence and Uniqueness in Shapefrom Shading

For the image of a smooth surface object fully contained within the field of view and illuminated in an arbitrary direction, this paper discusses the ekistence and uniqueness of the conditions for solving a shape-from-shading problem under the conditions that the Fourier series expansion of the image intensity contains only zero and first order terms in a polar coordinate system. Three theorems are established, one for the ekistence and two for the uniqueness of z-axis symmetric shape from shading.

On the Cauchy Problem of Evolution P-Laplacian Equations with Strongly Non-linear Sources When 1

We study the solvability of the Cauchy problem （1.1）-（1.2） for the largest possible class of initial values,for which （1.1）-（1.2） has a local solution.Moreover,we also study the critical case related to the initial value u0,for 1【p【∞.