Wellposedness for the Navier–Stokes flow in the exterior of a rotating obstacle

In this paper we study the Navier–Stokes boundary‐initial value problem in the exterior of a rotating obstacle, in two and three spatial dimensions. We prove the local in time existence and uniqueness of strong solutions. Moreover, we show that the solutions are global in time, in two spatial dimensions. Copyright © 2005 John Wiley & Sons, Ltd.     

On a nonlocal diffusion model with Neumann boundary conditions

We study a nonlocal diffusion model analogous to heat equation with Neumann boundary conditions. We prove the existence and uniqueness of solutions and a comparison principle. Furthermore, we analyze the asymptotic behavior of the solutions as the temporal variable goes to infinity and the boundary datum depends only on a spacial variable.     

Analysis and numerical solution of Benjamin-Bona-Mahony equation with moving boundary

In this work we present the existence, the uniqueness and numerical solutions for a mathematical model associated with equations of Benjamin-Bona-Mahony type in a domain with moving boundary. We apply the Galerkin method, multiplier techniques, energy estimates and compactness results to obtain the existence and uniqueness. For numerical solutions, we shall employ the finite element method together with the Crank-Nicolson method. Some numerical experiments are presented to show the moving boundary for the problem.     

Spectral method for vorticity‐stream function form of Navier–Stokes equations with slip boundary conditions

In this paper, we propose a spectral method for the vorticity‐stream function form of the Navier–Stokes equations with slip boundary conditions. The numerical solutions fulfill the incompressibility and the physical boundary conditions automatically. The stability and convergence of the proposed methods are proven. Numeric results demonstrate the efficiency of suggested algorithm. Copyright © 2011 John Wiley & Sons, Ltd.     

Initial-boundary value problems for anisotropic Landau-Lifshitz equations in three or four space dimensions

In this paper, we will show the existence of partially regular solutions to the initial-boundary value problem for Landau-Lifshitz equations with nonpositive anisotropy constants in three or four space dimensions. The partial regularity is proved up to the boundary both for the Dirichlet problem and for the Neumann problem. In addition, for the Neumann case, a generalized stability condition which ensures the partial regularity is given. For equations with positive or negative anisotropy coefficients, we will give two results of existence and uniqueness for the solutions corresponding to ground states.     

The initial boundary value problems for the semilinear diffusion equations with data in L p spaces

In this paper, I have established conditions under which the existence and uniqueness of weak solutions of some Semilinear diffusion equations with initial and boundary data in fractional LL ^p spaces can be established in a bounded domain with smooth boundary The interest of this method relies on the fact that it is by successive approximations and hence amenable to numerical treatment. The paper also considers the semigroups theory on the existence of weak classical solutions.     

Homogenization of boundary hemivariational inequalities in linear elasticity

In this paper we consider a mathematical model describing static elastic contact problems with the Hooke constitutive law and subdifferential boundary conditions. We treat boundary hemivariational inequalities which are weak formulations of contact problems. We establish existence and uniqueness of solutions to hemivariational inequalities. Using the notion of H-convergence of elasticity tensors we investigate the limit behavior of the sequence of solutions to hemivariational inequalities.     

Non‐linear initial boundary value problems of hyperbolic–parabolic type. A general investigation of admissible couplings between systems of higher order. Part 2: abstract quasilinear theory

This is the second part of an article that is devoted to the theory of non‐linear initial boundary value problems. We consider coupled systems where each system is of higher order and of hyperbolic or parabolic type. Our goal is to characterize systematically all admissible couplings between systems of higher order and different type. By an admissible coupling we mean a condition that guarantees the existence, uniqueness and regularity of solutions to the respective initial boundary value problem. In part 1, we develop the underlying theory of linear hyperbolic and parabolic initial boundary value problems. Testing the PDEs with suitable functions we obtain a priori estimates for the respective solutions. In particular, we make use of the regularity theory for linear elliptic boundary value problems that was previously developed by the author. In part 2 at hand, we prove the local in time existence, uniqueness and regularity of solutions to the quasilinear initial boundary value problem (3.4) using the so‐called energy method. In the above sense the regularity assumptions (A6) and (A7) about the coefficients and right‐hand sides define the admissible couplings. In part 3, we extend the results of part 2 to non‐linear initial boundary value problems. In particular, the assumptions about the respective parameters correspond to the previous regularity assumptions and hence define the admissible couplings now. Moreover, we exploit the assumptions about the respective parameters for the case of two coupled systems. Copyright © 2002 John Wiley & Sons, Ltd.     

Global existence and exponential stability for a nonlinear thermoelastic Kirchhoff–Love plate

We study an initial–boundary-value problem for a quasilinear thermoelastic plate of Kirchhoff & Love-type with parabolic heat conduction due to Fourier, mechanically simply supported and held at the reference temperature on the boundary. For this problem, we show the short-time existence and uniqueness of classical solutions under appropriate regularity and compatibility assumptions on the data. Further, we use barrier techniques to prove the global existence and exponential stability of solutions under a smallness condition on the initial data. It is the first result of this kind established for a quasilinear non-parabolic thermoelastic Kirchhoff & Love plate in multiple dimensions.     

Stability analysis of a coupled system of nonlinear implicit fractional anti‐periodic boundary value problem

In this article, we study the existence and uniqueness of solution for a coupled system of nonlinear implicit fractional anti‐periodic boundary value problem. Further, we investigate different kinds of stability such as Ulam‐Hyers stability, generalized Ulam‐Hyers stability, Ulam‐Hyers‐Rassias stability, and generalized Ulam‐Hyers‐Rassias stability. We develop conditions for existence and uniqueness by using the classical fixed point theorem. Also, two examples are provided to illustrate the obtained results.     

Non‐linear initial boundary value problemsof hyperbolic–parabolic type. A general investigationof admissible couplings between systems of higher order. Part 1: linear theory

In this article (which is divided in three parts) we investigate the non‐linear initial boundary value problems (1.2) and (1.3). In both cases we consider coupled systems where each system is of higher order and of hyperbolic or parabolic type. Our goal is to characterize systematically all admissible couplings between systems of higher order and different type. By an admissible coupling we mean a condition that guarantees the existence, uniqueness and regularity of solutions to the respective initial boundary value problem. In part 1 at hand, we develop the underlying theory of linear hyperbolic and parabolic initial boundary value problems. Testing the PDEs with suitable functions we obtain a priori estimates for the respective solutions. In particular, we make use of the regularity theory for linear elliptic boundary value problems that was previously developed by the author. In part 2, we prove the local in time existence, uniqueness and regularity of solutions to the quasilinear initial boundary value problem (1.2) using the so‐called energy method. In the above sense, the regularity assumptions about the coefficients and right‐hand sides define the admissible couplings. In part 3, we extend the results of part 2 to the non‐linear initial boundary value problem (1.3). In particular, the assumptions about the respective parameters correspond to the previous regularity assumptions and hence define the admissible couplings now. Moreover, we exploit the assumptions about the respective parameters for the case of two coupled systems. Copyright © 2002 John Wiley & Sons, Ltd.     

Non‐linear initial boundary value problems of hyperbolic–parabolic type. A general investigation of admissible couplings between systems of higher order. Part 3: applications

This is the third part of an article that is devoted to the theory of non‐linear initial boundary value problems. We consider coupled systems where each system is of higher order and of hyperbolic or parabolic type. Our goal is to characterize systematically all admissible couplings between systems of higher order and different type. By an admissible coupling we mean a condition that guarantees the existence, uniqueness and regularity of solutions to the respective initial boundary value problem. In part 1, we develop the underlying theory of linear hyperbolic and parabolic initial boundary value problems. Testing the PDEs with suitable functions we obtain a priori estimates for the respective solutions. In particular, we make use of the regularity theory for linear elliptic boundary value problems that was previously developed by the author. In part 2, we prove the local in time existence, uniqueness and regularity of solutions to quasilinear initial boundary value problems using the so‐called energy method. In the above sense the regularity assumptions about the coefficients and right‐hand sides define the admissible couplings. In part 3 at hand, we extend the results of part 2 to the nonlinear initial boundary value problem (4.2). In particular, assumptions (B8) and (B9) about the respective parameters correspond to the previous regularity assumptions and hence define the admissible couplings now. Moreover, we exploit assumptions (B8) and (B9) for the case of two coupled systems. Copyright © 2002 John Wiley & Sons, Ltd.     

The Cauchy–Neumann problem for a multi‐dimensional isentropic hydrodynamic model for semiconductors

We investigate a multi‐dimensional isentropic hydrodynamic (Euler–Poisson) model for semiconductors, where the energy equation is replaced by the pressure–density relation p(n) . We establish the global existence of smooth solutions for the Cauchy–Neumann problem with small perturbed initial data and homogeneous Neumann boundary conditions. We show that, as t→+∞, the solutions converge to the non‐constant stationary solutions of the corresponding drift–diffusion equations. Moreover, we also investigate the existence and uniqueness of the stationary solutions for the corresponding drift–diffusion equations. Copyright © 2005 John Wiley & Sons, Ltd.     

A reduced‐order extrapolated natural boundary element method based on POD for the 2D hyperbolic equation in unbounded domain

In this article, we primarily focuses to study the order‐reduction for the classical natural boundary element (NBE) method for the two‐dimensional (2D) hyperbolic equation in unbounded domain. To this end, we first build a semi‐discretized format about time for the hyperbolic equation and discuss the existence, stability, and convergence of the time semi‐discretized solutions. We then establish the classical fully discretized NBE format from the time semi‐discretized one and analyze the existence, stability, and convergence of the classical NBE solutions. Next, using proper orthogonal decomposition method, we build a reduced‐order extrapolated NBE (ROENBE) format containing very few unknowns but having adequately high accuracy, and we also discuss the existence, stability, and convergence of the ROENBE solutions. Finally, we use some numerical examples to show that the ROENBE method is far superior to the classical NBE one. It shows that the ROENBE method is reliable and effective for solving the 2D hyperbolic equation with the unbounded domain.     

Two-point and three-point boundary value problems for n th-order nonlinear differential equations

In this article, we are concerned with existence and uniqueness of solutions of four kinds of two-point boundary value problems for nth-order nonlinear differential equations by “Shooting” method, and studied existence and uniqueness of solutions of a kind of three-point boundary value problems for nth-order nonlinear differential equations by “Matching” method.     

The Order Completion Method for Systems of Nonlinear PDEs Revisited

In this paper we presents further developments regarding the enrichment of the basic Theory of Order Completion as presented in Oberguggenberger and Rosinger (Solution of continuous nonlinear PDEs through order completion, North-Holland, Amsterdam, 1994). In particular, spaces of generalized functions are constructed that contain generalized solutions to a large class of systems of continuous, nonlinear PDEs. In terms of the existence and uniqueness results previously obtained for such systems of equations (van der Walt, Acta Appl. Math. 103:1–17, 2008), one may interpret the existence of generalized solutions presented here as a regularity result. Furthermore, it is indicated how the methods developed in this paper may be adapted to solve initial and/or boundary value problems. In particular, we consider the Navier-Stokes equations in three spacial dimensions, subject to an initial condition on the velocity. In this regard, we obtain the existence of a generalized solution to a large class of such initial value problems.      

Steady-state Solution for Reaction-diffusion Models with Mixed Boundary Conditions

In this paper, we deal with a diffusive predator-prey model with mixed boundary conditions, in which the prey population can escape from the boundary of the domain while predator population can only live in this area and can not leave. We first investigate the asymptotic behaviour of positive solutions and obtain a necessary condition ensuring the existence of positive steady state solutions. Next, we investigate the existence of positive steady state solutions by using maximum principle, the fixed point index theory, Lpestimation, and embedding theorems, Finally, local stability and uniqueness are obtained by linear stability theory and perturbation theory of linear operators.     

等熵可压Navier-Stokes-Poisson方程局部强解适定性

该文得到了三维情形等熵可压Navier-Stokes-Poisson方程局部强解的存在性、唯一性及稳定性. 重要的是,该文允许初始密度真空的存在. 首先用推广形式的Gronwall不等式得到了强解的局部存在性,然后得到了较弱条件下的唯一性,在证明唯一性的同时得到了稳定性.     

Global existence and uniqueness of measure valued solutions to a Vlasov‐type equation with local alignment

We use a particle method to study a Vlasov‐type equation with local alignment, which was proposed by Sebastien Motsch and Eitan Tadmor [J. Statist. Phys., 141(2011), pp. 923‐947]. For N‐particle system, we study the unconditional flocking behavior for a weighted Motsch‐Tadmor model and a model with a “tail”. When N goes to infinity, global existence and stability (hence uniqueness) of measure valued solutions to the kinetic equation of this model are obtained. We also prove that measure valued solutions converge to a flock. The main tool we use in this paper is Monge‐Kantorovich‐Rubinstein distance.     

Runge–Kutta methods for first-order periodic boundary value differential equations with piecewise constant arguments

In this paper we deal with the numerical solutions of Runge–Kutta methods for first-order periodic boundary value differential equations with piecewise constant arguments. The numerical solution is given by the numerical Green’s function. It is shown that Runge–Kutta methods preserve their original order for first-order periodic boundary value differential equations with piecewise constant arguments. We give the conditions under which the numerical solutions preserve some properties of the analytic solutions, e.g., uniqueness and comparison theorems. Finally, some experiments are given to illustrate our results.