The existence and uniqueness of the local solution for a Camassa-Holm type equation

A shallow water equation of Camassa-Holm type, containing nonlinear dissipative effect, is investigated. Using the techniques of the pseudoparabolic regularization and some prior estimates derived from the equation itself, we establish the existence and uniqueness of its local solution in Sobolev space H^s(R) with . Meanwhile, a new lemma and a sufficient condition which guarantee the existence of solutions of the equation in lower order Sobolev space H^s with are presented.     

A computational verification method of existence of solution for elastoplastic torsion problems with uniqueness

We propose a numerical method to verify the existence and uniqueness of solutions to elasto-plastic torsion problems. We numerically construct a set containing solutions which satisfies the hypothesis of Banach fixed-point theorem in a certain Sobolev space.     

Two algorithms for two-phase Stefan type problems

In this paper,the relaxation algorithm and two Uzawa type algorithms for solving discretized variational inequalities arising from the two-phase Stefan type problem are proposed.An analysis of their convergence is presented and the upper bounds of the convergence rates are derived.Some numerical experiments are shown to demonstrate that for the second Uzawa algorithm which is an improved version of the first Uzawa algorithm,the convergence rate is uniformly bounded away from 1 if τh^-2 is kept bounded,where τ is the time step size and h the space mesh size.     

On the existence and uniqueness of solution to problems of fluid dynamics on a sphere

Orthogonal projectors and fractional derivatives on a two-dimensional unit sphere are introduced. Hilbert and Banach spaces of smooth functions on the sphere and some embedding assertions are given. The unique solvability of a nonstationary problem of vortex dynamics of viscous incompressible fluid on a rotating sphere is shown. The existence of a weak solution to stationary problem is proved too, and a condition guaranteeing the uniqueness of solution is also given.     

The existence and uniqueness of the solution for nonlinear Kolmogorov equations

By means of backward stochastic differential equations, the existence and uniqueness of the mild solution are obtained for the nonlinear Kolmogorov equations associated with stochastic delay evolution equations. Applications to optimal control are also given.     

一类广义Lienard方程的周期边值问题

利用整体反函数理论对一类广义Lienard方程x″ f(x,x′)x′ g(t,x,x′)=e(t)进行了研究,证明了周期解的存在唯一性,推广和改进了现有的结果.     

An existence and uniqueness criterion for solutions of boundary value problems

In this paper a technique is developed for the study of the existence and uniqueness of solutions to nth order ordinary differential equations satisfying n-point boundary conditions. Liapunov-like functions are employed to determine the existence and uniqueness of solutions to linear equations satisfying the boundary conditions, and these solutions are in turn used to determine existence for the general nonlinear case. A by-product of this technique is a matching technique for linear equations by which solutions of certain k-point boundary value problems (k < n) can be matched to extend the interval of existence for solutions to the n-point problem.     

Constructive existence and uniqueness for some nonlinear two-point boundary value problems

Constructive existence and uniqueness theorems are presented for the problem $\text{y″ = ?(x, y), y(0) = y}{}_0\text{, y(1) = y}{}_1$. Applications to several problems are also given including one in which the boundary values are y′(0) = y′₀, y(1) = y₁.     

Some existence and uniqueness results for boundary value problems for difference equations

Existence and uniqueness results for bvp problems for difference equations are discussed. The weighted norm technique and the Banach contraction mapping principle are employed     

On the existence and uniqueness of classical global solution to a type of Boussinesq equations

The existence and uniqueness of classical global solutions to a type of Boussinesq equations with initial and boundary values are studied in this paper. The existence of such solutions is proved by means of compactness theorem and Schauders fixed point theorem, and its uniqueness by the so called energy method.Projects Supported by the Science Fund of the Chinese Academy of Sciences.     

Global existence of solutions to one-phase Stefan problems for semilinear parabolic equations

We consider one-phase Stefan problems for the equation u _i =u _xx +u ^1+a (>0)in one-dimensional space, which have blow-up solutions for a larger initial data. In this paper, the global existence result for our problem is proved by using energy inequalities. More precisely, if >1 an initial function is sufficiently small, then the free boundary is bounded and decay in exponential order.     

Local existence, uniqueness and smooth dependence for nonsmooth quasilinear parabolic problems

We prove local existence, uniqueness, Hölder regularity in space and time, and smooth dependence in Hölder spaces for a general class of quasilinear parabolic initial boundary value problems with nonsmooth data. As a result the gap between low smoothness of the data, which is typical for many applications, and high smoothness of the solutions, which is necessary for the applicability of differential calculus to abstract formulations of the initial boundary value problems, has been closed. The theory works for any space dimension, and the nonlinearities in the equations as well as in the boundary conditions are allowed to be nonlocal and to have any growth. The main tools are new maximal regularity results (Griepentrog in Adv Differ Equ 12:781–840, 1031–1078, 2007) in Sobolev–Morrey spaces for linear parabolic initial boundary value problems with nonsmooth data, linearization techniques and the Implicit Function Theorem.     

Weak solution to hyperbolic Stefan problems with memory

A model for Stefan problems in materials with memory is considered. This model is mainly characterized by a nonlinear Volterra integrodifferential equation of hyperbolic type. Colli and Grasselli proved the uniqueness of a weak solution under the natural assumptions on data and the existence of a strong solution for smoother data. Taking advantage of these two results and assuming just the hypotheses ensuring uniqueness, the existence of a weak solution is here shown. Received October 19, 1995     

On the existence and uniqueness of smooth solution for a generalized Zakharov equation

The paper deals with the existence and uniqueness of smooth solution for a generalized Zakharov equation. We establish local in time existence and uniqueness in the case of dimension d=2,3. Moreover, by using the conservation laws and Brezis-Gallouet inequality, the solution can be extended globally in time in two dimensional case for small initial data. Besides, we also prove global existence of smooth solution in one spatial dimension without any small assumption for initial data.     

Constructive existence and uniqueness for two-point boundary-value problems with a linear gradient term

Constructive existence and uniqueness theorems are established for nonlinear two-point boundary-value problems governed by the equation y″=f(x, y)+p(x)y′, 0?x?1. The existence and uniqueness is established for functions y(x) that satisfy a certain constraint, i.e., that sfncy(x)sfnc is bounded by a known function or that 0?y(x)?M for some M. Applications to scientific problems in the literature are given.     

An analytic approach to existence and uniqueness for martingale problems in infinite dimensions

We prove existence and uniqueness for a class of martingale problems in a Hilbert space. We solve the associated Kolmogorov equation and prove that the corresponding semigroup is determined by a kernel of measures if a Schauder-type regularity is satisfied. Received: 18 May 1998 / Revised version: 27 September 1999 / Published online: 5 September 2000