Some Theorems in the Theory of Microstretch Thermomagnetoelectroelasticity

The linear dynamic theory of microstretch thermomagnetoelectroelasticity is studied in this paper.First,a reciprocity relation which involves two processes at different instants is established to form the basis of a uniqueness result and a reciprocal theorem.The proof of the reciprocal theorem avoids both using the Laplace transform and incorporating the initial conditions into the equations of motion.The uniqueness theorem is derived with no definiteness assumption on the elastic constitutive coefficients.Then the continuous dependence theorem is discussed upon two external data systems.Finally,the variational principle of Hamilton type which fully characterizes the solution of the mixed boundary-initial-value problem(mixed problem) is obtained.These theorems lay a solid foundation for further theoretical and numerical studies on microstretch thermomagnetoelectroelastic materials.     

An invariant-manifold analysis of electrophoretic traveling waves

A new, geometric proof of a theorem of Fife, Palusinski, and Su on electrophoretic traveling waves is presented. The proof is based upon the perturbation theory for invariant manifolds due to Fenichel. The results proved here reproduce the existence, uniqueness, and asymptotic approximation theorem proved by Fifeet al. The proof given here is substantially simpler, and in addition, it provides additional insight into the geometric structure of the phase space of the traveling wave equations for this system.     

Maximal elements and generalized games involving condensing mappings in locally FC-uniform spaces and applications （II）

This paper is a continuum of the preceding paper of author. Some new systems of generalized vector quasi-equilibrium problems involving condensing mappings are introduced and studied in locally FC-uniform spaces. By applying the existence theorem of maximal elements of condensing set-valued mappings in locally FC-uniform spaces obtained by author in the preceding paper, some new existence theorems of solutions for the systems of generalized vector quasi-equilibrium problems are proved in locally FC-uniform spaces. These results improve and generalize some known results in literature to locally FC-uniform spaces. Project supported by the Natural Science Foundation of Sichuan Education Department of China (No. 2003A081 and SZD0406)     

Dynamics of Quasiconformal Fields

A uniqueness theorem is established for autonomous systems of ODEs, [(x)\dot] = f(x){\dot{x}\,{=}\,f(x)}, where f is a Sobolev vector field with additional geometric structure, such as delta-monotonicity or reduced quasiconformality. Specifically, through every non-critical point of f there passes a unique integral curve.     

Bingham Viscoplastic as a Limit of Non-Newtonian Fluids

A new formulation is proposed for the equations of the Bingham viscoplastic. Global existence of x--periodic solutions is proved. A uniqueness theorem is established in the two-dimensional case. A relation with the G. Duvaut--J. L. Lions variational inequality is discussed, and a result on equivalence is obtained. The question of interaction between fluid-rigid phases is studied when the initial state is rigid. A free-boundary problem that describes two-phase one-dimensional flows is considered.     

On the dynamics of an elastic body containing a moving crack

It is proved that the energy release rate and the rate of entropy production in the dynamics of an elastic body containing a moving crack are proportional. Moreover, a theorem of the domain of influence type and a uniqueness theorem for solutions to the boundary-initial-value problem of brittle fracture mechanics are proved.     

On a non-linear moving boundary problem for a diffusion–convection equation

We study a one-dimensional free boundary problem for a non-linear diffusion–convection equation whose diffusivity is heterogeneous in space as well as being non-linear. Under the Bäcklund transformation the problem is reduced to an associated free boundary problem. We prove the existence and uniqueness, local in time, of the solution by using the Friedman Rubinstein integral representation method and the Banach contraction theorem.     

Maximal elements and generalized games involving condensing mappings in locally FC-uniform spaces and applications （I）

First, the notions of the measure of noncompactness and condensing set-valued mappings are introduced in locally FC-uniform spaces without convexity structure. A new existence theorem of maximal elements of a family of set-valued mappings involving condensing mappings is proved in locally FC-uniform spaces. As applications, some new equilibrium existence theorems of generalized game involving condensing mappings are established in locally FC-uniform spaces. These results improve and generalize some known results in literature to locally FC-uniform spaces. Some further applications of our results to the systems of generalized vector quasi-equilibrium problems will be given in a follow-up paper. Project supported by the Natural Science Foundation of Sichuan Education Department of China (Nos. 2003A081 and SZD0406)     

Systems of generalized vector quasi-variational inclusions and systems of generalized vector quasi-optimization problems in locally <Emphasis Type="Italic">FC</Emphasis>-uniform spaces

In this paper, we introduce some new systems of generalized vector quasi-variational inclusion problems and system of generalized vector ideal （resp., proper, Pareto, weak） quasi-optimization problems in locally FC-uniform spaces without convexity structure. By using the KKM type theorem and Himmelberg type fixed point theorem proposed by the author, some new existence theorems of solutions for the systems of generalized vector quasi-variational inclusion problems are proved. As to its applications, we obtain some existence results of solutions for systems of generalized vector quasi-optimization problems.     

Uniqueness and drag for fluids of second grade in steady motion

For incompressible fluids of second grade that are compatible with the Clausius-Duhem inequality, non-uniqueness of steady flows with small Reynolds number (i.e. creeping flows) is possible provided the ‘absorption number’ is also small. We discuss this uniqueness question, generalize a well-known theorem of Tanner concerning how solutions of the Stokes equations may be used to generate solutions of the creeping flow equations for fluids of second grade, and give a new uniqueness theorem appropriate to a class of problems for the steady creeping flow of fluids of second grade. Under the conditions for uniqueness, we obtain a simple formula for the drag force on a fixed body which is immersed in a fluid of second grade which is undergoing uniform creeping flow. For bodies with certain geometric symmetries, the non-Newtonian nature of the fluid has no effect upon the drag.     

Identification of a moving boundary for a heat conduction problem in a multilayer medium

In this paper, we give a uniqueness theorem for the moving boundary of a heat problem in a composite medium. Through solving the Cauchy problem of heat equation in each subdomain, we finally find an approximation to the moving boundary for one-dimensional heat conduction problem in a multilayer medium. The numerical scheme is based on the use of the method of fundamental solutions and a discrete Tikhonov regularization technique with the generalized cross-validation choice rule for a regularization parameter. Numerical experiments for five examples show that our proposed method is effective and stable.     

Uniqueness of Positive Solutions of Δu+f(u)=0 in ℝN, N≦3

We study the uniqueness of radial ground states for the semilinear elliptic partial differential equation in ℝ ^N . We assume that the function f has two zeros, the origin and u ₀>0. Above u ₀ the function f is positive, is locally Lipschitz continuous and satisfies convexity and growth conditions of a superlinear nature. Below u ₀, f is assumed to be non-positive, non-identically zero and merely continuous. Our results are obtained through a careful analysis of the solutions of an associated initial‐value problem, and the use of a monotone separation theorem. It is known that, for a large class of functions f, the ground states of (*) are radially symmetric. In these cases our result implies that (*) possesses at most one ground state. (Accepted July 3, 1996)     

On the uniqueness of a rate-independent plasticity model for single crystals

This paper presents the uniqueness and existence conditions for a rate-independent plasticity model for single crystals under a general stress state. The model is based on multiple slips on three-dimensional slip systems. The uniqueness condition for the plastic slips in a single crystal with nonlinear hardening is derived using the implicit function theorem. The uniqueness condition is the non-singularity of a matrix defined by the Schmid tensors, the elasticity, and the hardening rates of the slip systems. When this matrix becomes singular, the limitations on the loading paths that can be accommodated by the active slip systems (i.e., the existence conditions) are also given explicitly. For the compatible loading paths, a particular solution is selected by requiring the solution vector to be orthogonal to the null space of the singular coefficient matrix. The paper also presents a fully implicit algorithm for the plasticity model. Numerical examples of an fcc copper single crystal under cyclic loadings (pure shear and uniaxial strain) are presented to demonstrate the main features of the algorithm.     

Motion of an Elastic Solid inside an Incompressible Viscous Fluid

The motion of an elastic solid inside an incompressible viscous fluid is ubiquitous in nature. Mathematically, such motion is described by a PDE system that couples the parabolic and hyperbolic phases, the latter inducing a loss of regularity which has left the basic question of existence open until now.In this paper, we prove the existence and uniqueness of such motions (locally in time), when the elastic solid is the linear Kirchhoff elastic material. The solution is found using a topological fixed-point theorem that requires the analysis of a linear problem consisting of the coupling between the time-dependent Navier-Stokes equations set in Lagrangian variables and the linear equations of elastodynamics, for which we prove the existence of a unique weak solution. We then establish the regularity of the weak solution; this regularity is obtained in function spaces that scale in a hyperbolic fashion in both the fluid and solid phases. Our functional framework is optimal, and provides the a priori estimates necessary for us to employ our fixed-point procedure.This revised version was published in April 2005. The volume number has now been inserted into the citation line.     

High-Field Limit for the Vlasov-Poisson-Fokker-Planck System

This paper is concerned with the analysis of the stability of the Vlasov-Poisson-Fokker-Planck system with respect to the physical constants. If the scaled thermal mean free path converges to zero and the scaled thermal velocity remains constant, then a hyperbolic limit or equivalently a high-field limit equation is obtained for the mass density. The passage to the limit as well as the existence and uniqueness of solutions of the limit equation in L ¹, global or local in time, are analyzed according to the electrostatic or gravitational character of the field and to the space dimension. In the one-dimensional case a new concept of global solution is introduced. For the gravitational field this concept is shown to be equivalent to the concept of entropy solutions of hyperbolic systems of conservation laws. Accepted December 1, 2000?Published online April 23, 2001     

Theorem on perturbation of coisotropic invariant tori of locally Hamiltonian systems and its applications

We study the problem of perturbations of quasiperiodic motions on coisotropic invariant tori in a class of locally Hamiltonian systems. We prove a general KAM-theorem on the perturbation of coisotropic invariant tori for locally Hamiltonian systems. As applications of this theorem, we consider the motion of an electron on a two-dimensional torus under the action of an electromagnetic field and extend results concerning the bifurcation of a Cantor set of coisotropic invariant tori to the case of locally Hamiltonian systems. __________ Translated from Neliniini Kolyvannya, Vol. 8, No. 4, pp. 490–515, October–December, 2005.     

Existence and uniqueness of periodic solutions for fourth-order nonlinear periodic systems

In this paper, we study the existence, uniqueness and stability of the periodic solutions for fourth-order nonlinear nonhomogeneous periodic systems with slowly changing coefficients by using the method of Liapunor Function. We obtain some sufficient conditions which guarantee the existence, uniqueness and asymptotic stability of the periodic solutions of these systems and estimate the extent to which the coefficients are allowed to change.     

An Isomorphism Theorem for Linear Evolution Problems on the Line

We prove an isomorphism theorem for the operator in the setting of X-valued Sobolev spaces on the line, where X is a Banach space and A a closed linear operator on X. The result is derived from a recent multiplier theorem of Weis and depends upon both the geometry of X and the behavior of the resolvent of A. Applications are discussed, with an emphasis on PDE Hamiltonian systems.     

Singular perturbation of linear algebraic equations with application to stiff equations

In this paper the singular perturbation problem of linear algebraic equations with a small parameter is presented by an example in practice. The existence and uniqueness theorem of its solution is proved by the perturbation method and the estimation of error for its approximate solution is given. Finally, the example mentioned above explaining how to apply the theory to solve the stiff equations is shown.     

Continuous Dependence on Initial Data in Fluid–Structure Motions

We prove a continuous dependence theorem for weak solutions of equations governing a fluid–structure interaction problem in two spatial dimensions. The proof is based on a priori estimates which, in particular, convey uniqueness of weak solutions. The estimates are obtained using Eulerian coordinates, without remapping the problem into a fixed domain.