Constant-sign solutions of systems of higher order boundary value problems with integrable singularities

We consider some systems of boundary value problems where the nonlinearities may be singular in the independent variable and may also be singular in the dependent arguments. Using the Schauder fixed point theorem, we establish criteria such that the systems of boundary value problems have at least one constant-sign solution.     

Exact boundary observability for nonautonomous first-order quasilinear hyperbolic systems

By means of the theory on the semiglobal C¹ solution to the mixed initial-boundary value problem for first-order quasilinear hyperbolic systems, we establish the local exact boundary observability for general nonautonomous first-order quasilinear hyperbolic systems without zero eigenvalues and reveal the essential difference between nonautonomous hyperbolic systems and autonomous hyperbolic systems. Copyright © 2008 John Wiley & Sons, Ltd.     

Mixed initial boundary value problem for hyperbolic geometric flow on Riemann surfaces

The hyperbolic geometric flow equations is introduced recently by Kong and Liu motivated by Einstein equation and Hamilton Ricci flow. In this paper, we consider the mixed initial boundary value problem for hyperbolic geometric flow, and prove the global existence of classical solutions. The results show that, for any given initial metric on R² in certain class of metric, one can always choose suitable initial velocity symmetric tensor such that the solutions exist, and the scalar curvature corresponding to the solution metric gij keeps bounded. If the initial velocity tensor does not satisfy the certain conditions, the solutions will blow up at a finite time. Some special explicit solutions to the reduced equation are given.     

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.     

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.     

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.     

Uniform Stability Estimates for Constant-Coefficient Symmetric Hyperbolic Boundary Value Problems

Answering a question left open in Métivier and Zumbrun (2005 Métivier , G. , Zumbrun , K. ( 2005 ). Variable multiplicities, hyperbolic boundary value problems for symmetric systems with variable multiplicities . J. Diff. Eq. 211 ( 1 ): 61 – 134 . [Google Scholar]), we show for general symmetric hyperbolic boundary problems with constant coefficients, including in particular systems with characteristics of variable multiplicity, that the uniform Lopatinski condition implies strong L ² well-posedness, with no further structural assumptions. The result applies, more generally, to any system that is strongly L ² well-posed for at least one boundary condition. The proof is completely elementary, avoiding reference to Kreiss symmetrizers or other specific techniques. On the other hand, it is specific to the constant-coefficient case; at least, it does not translate in an obvious way to the variable-coefficient case. The result in the hyperbolic case is derived from a more general principle that can be applied, for example, to parabolic or partially parabolic problems like the Navier–Stokes or viscous MHD equations linearized about a constant state or even a viscous shock.     

The RH boundary value problem of the k-monogenic functions

In this paper we study the Riemann and Hilbert problems of k-monogenic functions. By using Euler operator, we transform the boundary value problem of k-monogenic functions into the boundary value problems of monogenic functions. Then by the Almansi-type theorem of k-monogenic functions, we get the solutions of these problems.     

Exact boundary controllability for a kind of second‐order quasilinear hyperbolic systems and its applications

In this paper, by means of a constructive method based on the existence and uniqueness of the semi‐global C² solution, we establish the local exact boundary controllability for a kind of second‐order quasilinear hyperbolic systems. As an application, we obtain the one‐sided local exact boundary controllability for the first‐order quasilinear hyperbolic systems of diagonal form with boundary conditions in which the diagonal variables corresponding to the positive eigenvalues and those corresponding to the negative eigenvalues are decoupled. Copyright © 2009 John Wiley & Sons, Ltd.     

Interaction of elementary waves on a boundary for a hyperbolic system of conservation laws

In this paper, we study the interaction of elementary waves including delta‐shock waves on a boundary for a hyperbolic system of conservation laws. A boundary entropy condition is derived, thanks to the results of Dubois and Le Floch (J. Differ. Equations 1988; 71 :93–122) by taking a suitable entropy–flux pair. We obtain the solutions of the initial‐boundary value problem for the system constructively, in which initial‐boundary data are piecewise constant states. Copyright © 2008 John Wiley & Sons, Ltd.     

Approximation of pseudodifferential operators in absorbing boundary conditions for hyperbolic equations

Summary Engquist and Majda [3] proposed a pseudodifferential operator as asymptotically valid absorbing boundary condition for hyperbolic equations. (In the case of the wave equation this boundary condition is valid at all frequencies.) Here, least-squares approximation of the symbol of the pseudodifferential operator is proposed to obtain differential operators as boundary conditions. It is shown that for the wave equation this approach leads to Kreiss well-posed initial boundary value problems and that the expectation of the reflected energy is lower than in the case of Taylor- and Padé-approximations [3, 4]. Numerical examples indicate that this method works even more effectively for hyperbolic systems. The least-squares approach may be used to generate the boundary conditions automatically.     

The lower bounds of life span of classical solutions to one‐dimensional initial‐Neumann boundary value problems for general quasilinear wave equations

In this paper, we will study the lower bounds of the life span (the maximal existence time) of solutions to the initial‐boundary value problems with small initial data and zero Neumann boundary data on exterior domain for one‐dimensional general quasilinear wave equations u_tt?u_xx=b(u,Du)u_xx+F(u,Du). Our lower bounds of the life span of solutions in the general case and special case are shorter than that of the initial‐Dirichlet boundary value problem for one‐dimensional general quasilinear wave equations. We clarify that although the lower bounds in this paper are same as that in the case of Robin boundary conditions obtained in the earlier paper, however, the results in this paper are not the trivial generalization of that in the case of Robin boundary conditions because the fundamental Lemmas 2.4, 2.5, 2.6, and 2.7, that is, the priori estimates of solutions to initial‐boundary value problems with Neumann boundary conditions, are established differently, and then the specific estimates in this paper are different from that in the case of Robin boundary conditions. Another motivation for the author to write this paper is to show that the well‐posedness of problem 1.1 is the essential precondition of studying the lower bounds of life span of classical solutions to initial‐boundary value problems for general quasilinear wave equations. The lower bound estimates of life span of classical solutions to initial‐boundary value problems is consistent with the actual physical meaning. Finally, we obtain the sharpness on the lower bound of the life span 1.8 in the general case and 1.10 in the special case. Copyright © 2015 John Wiley & Sons, Ltd.     

Existence of solutions for linear hyperbolic initial-boundary value problems in a rectangle

In a recent article, we achieved the well-posedness of linear hyperbolic initial and boundary value problems (IBVP) in a rectangle via semigroup method, and we found that there are only two elementary modes called hyperbolic and elliptic modes in the system. It seems that, there is only one set of boundary conditions for the hyperbolic mode, while there are infinitely many sets of boundary conditions for the elliptic mode, which can lead to well-posedness. In this article, we continue to consider linear hyperbolic IBVP in a rectangle in the constant coefficients case and we show that there are also infinitely many sets of boundary conditions for hyperbolic mode which will lead to the existence of a solution. We also have uniqueness in some special cases. The boundary conditions satisfy the reflection conditions introduced in Section 3, which turn out to be equivalent to the strictly dissipative conditions.     

A uniqueness theorem for two-point boundary value problems

We prove a uniqueness theorem for solutions of two-point boundary value problems, which says that when the nonlinearity is sublinear and Lipschitzian, and one of the boundary values is fixed, then for sufficiently large values of the other boundary value there is a unique solution of the problem. The proof is based on the Banach's fixed-point theorem, and the argument used to show that the relevant operator is a contraction makes use of a generalization of the Riemann-Lebesgue lemma     

高阶拟线性双曲型方程的精确边界能控性

By means of the existence and uniqueness of semi-global C^1 solution to the mixed initial-boundary value problem with general nonlinear boundary conditions for first order quasilinear hyperbolic systems with zero eigenvalues ,the local exact boundary controllability for higher order quasilinear hyperbolic equations is established.     

Some Riemann boundary value problems in Clifford analysis

In this paper, we mainly study the R_m (m>0) Riemann boundary value problems for functions with values in a Clifford algebra C?(V_{3, 3}). We prove a generalized Liouville‐type theorem for harmonic functions and biharmonic functions by combining the growth behaviour estimates with the series expansions for k‐monogenic functions. We obtain the result under only one growth condition at infinity by using the integral representation formulas for harmonic functions and biharmonic functions. By using the Plemelj formula and the integral representation formulas, a more generalized Liouville theorem for harmonic functions and biharmonic functions are presented. Combining the Plemelj formula and the integral representation formulas with the above generalized Liouville theorem, we prove that the R_m (m>0) Riemann boundary value problems for monogenic functions, harmonic functions and biharmonic functions are solvable. Explicit representation formulas of the solutions are given. Copyright © 2009 John Wiley & Sons, Ltd.     

Existence of symmetric positive solutions for a class of Sturm-Liouville-like boundary value problems

This paper deals with the existence of symmetric positive solutions for a class of singular Sturm-Liouville-like boundary value problems with a one-dimensional p-Laplacian operator. By using the fixed theorem of cone expansion and compression of norm type in a cone, the existence of positive solutions is established though nonlinear term contains the first derivative of unknown function.     

Multiple solutions of semilinear degenerate elliptic boundary value problems

The purpose of this paper is to study a class of semilinear elliptic boundary value problems with degenerate boundary conditions which include as particular cases the Dirichlet problem and the Robin problem. The approach here is based on the super‐sub‐solution method in the degenerate case, and is distinguished by the extensive use of an L^p Schauder theory elaborated for second‐order, elliptic differential operators with discontinuous zero‐th order term. By using Schauder's fixed point theorem, we prove that the existence of an ordered pair of sub‐ and supersolutions of our problem implies the existence of a solution of the problem. The results extend an earlier theorem due to Kazdan and Warner to the degenerate case. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

Free boundary problem for an initial cell layer in multispecies biofilm formation

The initial attached cell layer in multispecies biofilm growth is considered. The corresponding mathematical model leads to discuss a free boundary problem for a system of nonlinear hyperbolic partial differential equations, where the initial biofilm thickness is equal to zero. No assumptions on initial conditions for biomass concentrations and biofilm thickness are required. The data that the problem needs are the concentration of biomass in the bulk liquid and biomass flux from the bulk liquid. The method of characteristics is used to convert the differential system to Volterra integral equations for which an existence and uniqueness theorem is proved. Subsequently, we show that the free boundary is an increasing function of time and biomass concentrations are positive in agreement with the biological process.     

On efficient numerical methods for an initial-boundary value problem with nonlocal boundary conditions

Many physical phenomena are modeled by nonclassical hyperbolic boundary value problems with nonlocal boundary conditions. In this paper, the problem of solving the one-dimensional wave equation subject to given initial and non-local boundary conditions is considered. These non-local conditions arise mainly when the data on the boundary cannot be measured directly. Several finite difference methods with low order have been proposed in other papers for the numerical solution of this one dimensional non-classic boundary value problem. Here, we derive a new family of efficient three-level algorithms with higher order to solve the wave equation and also use a Simpson formula with higher order to approximate the integral conditions. Additionally, the fourth-order formula is also adapted to nonlinear equations, in particular to the well-known nonlinear Klein–Gordon equations which many physical problems can be modeled with. Numerical results are presented and are compared with some existing methods showing the efficiency of the new algorithms.